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

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

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

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

公钥基础设施PKI的设计

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

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

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

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

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

基于视觉语义与激光点云交融构建的SLAM算法

激光雷达作为同时定位与地图构建(SLAM)传感器之一,因精度高、性能稳定等特点而被广泛研究使用.但其获得的点云数据较稀疏,包含特征信息少,会导致误匹配、位姿估计误差大等问题,影响SLAM的定位和建图精度.对此,提出一种将视觉语义信息与激光点云数据融合的SLAM算法(VSIL-SLAM).首先,基于投影思想将聚类后的点云映射到语义检测框内,生成语义物体,解决原始激光点云特征稀缺问题;然后,在形状特征的基础上引入拓扑特征对语义物体进行表述,提出基于匹配的拓扑相似性度量方法,解决单一特征造成的误匹配问题,提高匹配准确度;最后,加入语义物体点到点的几何约束,基于几何特征和语义物体构建前端里程计,并完成后端回环检测和位姿图优化设计.实验结果表明,所提出算法在定位和建图效果上都有显著提高,改善了激光SLAM算法的性能.     

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

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

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

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