UML顺序图中消息的形式化描述与相关特性分析

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

仿真技术在装备维修规划中的应用研究

该文应用系统仿真的方法研究了战场武器装备损坏的修理情况。根据实战和训练记录数据资料,研究分析得出了武器战场损坏修理时间服从对数正态分布的规律。用SIMAN仿真语言建立了仿真模型并进行仿真运行实验。这些分析研究结果对于有效组织战损装备抢修,提高武器装备的使用效率有实际应用价值和重要意义。     

公钥基础设施PKI的设计

介绍了公共基础设施PKI系统设计目标、PKI系统开发遇到的主要难点和采用的对应技术,并就证书处理的格式与编码、安全传输使用的SSL技术、浏览器的PKI接口结合开发经验和实例作了比较详细的分析。     

基于PKI的IPSec—VPN网关的设计与实现

针对IPSec-VPN网关开发的特点,提出了PKI代理网关的概念,并就一个基于PKI的IPSec-VPN网关开发的实例作了比较详细的描述,给出了实现的框图和几个主要算法。     

嵌入式网络开发平台的设计与实现

以嵌入式系统的基本组件为基础，分析了嵌入式网络开发平台的设计方法，并给出了一个基于x86 CPU及Linux的设计实例。     

用OAKLEY密钥确定协议在Internet2上建立安全通信连接

该文论述了用ＯＡＫＬＥＹ密钥确定协议在Ｉｎｔｅｒｎｅｔ２上建立安全通信密钥的方法,ＯＡＫＬＥＹ密钥确定协议使得经过身份认证双方可以通过一定的协商建立起安全的保密连接,包括采用何种加密算法,保密通信协议和通信密钥等。这个协议的核心是基于Ｄｉｆｆｉｅ－Ｈｅｌｌｍａｎ密钥交换算法的。     

龙忠管线三甘醇脱水干燥方案计算

由于龙-忠线地理环境的复杂性,管道在进行初步的吹扫之后,需要进行深度的干燥工作。经过经济优选,决定采用三甘醇与深度脱水天然气吹扫组合方案。文章计算出三甘醇所需要的量,安全投产所需要的气源条件,以及深度脱水时的干燥天然气的数量,为龙-忠线管道的脱水干燥提供技术指导。     

水平圆管内超临界甲烷非均匀流场的对流传热特性

为了揭示超临界甲烷热交换器的对流传热机理,建立了求解固体壁面导热和超临界甲烷对流传热耦合模型,分析了水平圆管内超临界甲烷非均匀流场的对流传热特性.结果表明:超临界甲烷受热过程中,Re随着主流体温度升高而单调增加,Pr出现了波峰和波谷双极值;受浮升力和重力的双重作用,圆管截面上超临界甲烷各项热物性均呈现"扭曲"和"分层"...     

关于直升机多功能显示器掉电问题浅析

配电系统是直升机安全飞行的重要组成部分,一旦配电系统出现故障就会导致机载设备无法正常工作,严重的配电系统故障甚至会导致直升机出现安全事故。本文通过对“直升机地面电源启动后,脱开地面电源插头时多功能显示器掉电问题”进行仔细的故障排查并进行详细的机理分析,提出纠正措施,对纠正措施进行相关试验验证,对该类问题举一反三防止类似问题的再次发生,最大程度上保证飞机的飞机安全,对直升机的配电系统的维护和发展具有重要意义。