摘要：概要介绍了协议和网络地址转换()协议的基本原理。着重介绍了协议与协议所存在的矛盾,并阐述了解决矛IPSecNATIPSecNAT盾所采用的方法。最后介绍了采用封装方式实现报文处穿越的完整方案。

摘要：ＡＴＭ网络的实现和应用日益广泛，使用卫星互连分散的ＡＴＭ网络能提供高带宽的广域网连接并实现多种服务质量。互联网协议（ＩＰ）是用于异种网互连的成熟协议，适于卫星信道的广播特性。用ＩＰ协议在卫星信道传输（ＩＰＯＳ）互连ＡＴＭ网络能充分发挥卫星信道和ＡＴＭ网络的作用，实现全球互连。本文提出了ＩＰＯＳ实现ＡＴＭ互连的模型框架、协议栈，从网络交换结构和传输协议两方面设计用ＩＰ在卫星ＡＴＭ网（ＳＡＴＡＭ）上传输交换的方式。

摘要：日冕物质抛射(Coronal mass ejection,CME)是空间灾害天气最主要的驱动源。在CME的众多伴生现象中,日冕暗化与之最为紧密相关。因此,对日冕暗化现象进行检测,有助于预报CME的爆发。随着观测数据量的增加,现有日冕暗化检测算法的效率亟待提升。本文基于一种半自动暗化检测算法,提出并实现该算法的并行方案,以提高算法效率,为实现日冕暗化的实时检测奠定基础。首先介绍了日冕暗化的现有工作,接着详细分析了一种半自动暗化检测方法,它在一定程度上提高了人工识别暗化区域的效率,但其效率并不能满足检测的实时性要求。然后,基于Matlab R2014a平台并行机制的特点,从数据、计算量和图像分块角度对半自动暗化检测算法提出了3种不同的并行方案,实验对比分析结果表明图像分块并行方案的效果最优。

摘要：新型竞争行为的正当性需要借助《反不正当竞争法》一般条款进行认定,但囿于其语义内涵模糊和外延宽泛,给司法统一裁判带来挑战,其中以视频贴片广告屏蔽最为典型,这一现实困境在新法实施之后无明显改观。基于实践需求和理论推演,利益衡量方法在行为正当性认定中具有体系适配和逻辑自洽的功能优势。在适用中,应该在横向上将利益全面解析为当事人利益、消费者利益、制度利益和社会公共利益,在纵向衡量中引入比例原则和经济分析方法,以保证利益衡量的过程理性和结果正义。

摘要：文章对基于单一服务器的视频点播系统进行了扩展 ,分析并完成了分级存储结构下分布式可扩展点播系统的设计。

摘要：为了实现基于UML顺序图的自动化测试,研究了顺序图中消息的形式化描述方法。形式化地定义了消息的发送和接收,并对二者的一致性关系进行了分析。提出了活动点的概念,讨论了其所具有的性质。建立了活动点集合上的二元关系描述方法,形式化地讨论了单个对象活动点集合与顺序图中全部活动点集合中该二元关系的具体表现。定义了消息集合上的二元关系,分析了其所具有的性质。最后,对顺序图中的时间约束特性和消息约束特性进行了形式化的分析。

摘要：IPv6网络的区分服务模型能够为各种应用提供不同的服务质量。在实现不同等级之间的服务差异时 ,研究者提出了不同的策略 ,其中具有代表性的有Ramanathan提出的按比例实现区分服务的算法[1 ,2 ] 。本文中 ,我们提出了加性区分服务的概念 ,设计了能提供加性区分服务的动态PGPS(D PGPS)算法 ;在NS 2仿真环境下 ,研究了该算法对各等级服务的延时效果。

摘要：环境是重要的教育资源,也是幼儿园的一种“隐性课程”。《幼儿园教育指导纲要(试行)》对环境的创设提出要求:“应通过环境的创设和利用,有效地促进幼儿的发展。”心理学家皮亚杰也曾提出,“儿童认知发展是在与周围环境的互动中积极主动建构的”。幼儿园主题墙不仅可以起到装饰的作用,也可以提升教育环境的质量,与幼儿建立密切联系,进行有效对话,更是一个对外展示、对内交流的互动平台。所以,幼儿园主题墙的开发与利用应当紧紧围绕幼儿、环境、课程三个方面进行。

摘要：传统的复杂机电产品如军用直升机的平均修复时间(Mean Time to Repair,MTTR)的验证完全依照国军标的要求,所需维修作业样本量较大,耗费时间,影响产品定型,工程上无法实施。为解决上述问题,根据实际工程需求研究设计了一种仿真验证方法,在故障率未知的条件下,减少了所需的每个LRU样本量,利用仿真工具的分布拟合和随机数生成功能得到大量随机的同分布数据,在保证验证精度的前提下最终达到缩减整机验证所需总样本量的目的。通过对实际数据进行仿真,验证了模型的有效性,并为MTTR验证方法科学合理地应用于实际工程应用中提供了有效的解决方法。

摘要：粗粒度可重构密码阵列提供了大量并行的密码硬件资源,是针对多种分组密码算法硬件快速实现而设计的加速平台。该平台以提升性能和资源效率为目标对SM4算法进行了映射。在直接映射方案的基础上,使用合并操作和任务并行的思路提出了3种改进方案。实验结果表明,改进方案不同程度地发挥了阵列运算资源优势,吞吐率和资源使用效率有了大幅度提升。