摘要：首先通过分析Walker星座空间结构,得到星座星间链路基本几何关系;其次研究了卫星之间的相对运动规律和星座几何构型,确定了能够反映空间几何特性的Walker星座星间链路设计的基本准则,得到了星座全连通性数学解析判据,并根据星座一体化设计中的层次约束准则思想,给出了星间链路分析设计流程;最后,针对几个考虑星间链路的Walker星座的一体化优化设计问题,给出了分析设计实例。

摘要：偏心安装的子卫星在轨分离是一类特殊的卫星在轨分离问题。为了给分离地面试验和分离系统设计提供依据,在惯性参考系中分析了筒式偏心在轨分离问题的运动特性。以刚体运动学原理和动力学动量定理、角动量定理及能量定理为依据,建立了分离过程的动力学模型。运用数值求解方法,给出了不同初始条件下的模型求解算例,并对求解结果进行了比较和分析。分析结果表明,分离弹簧物性参数是影响分离速度的主要因素;卫星相对安装位置是影响分离角速度的主要因素。

摘要：基于对称密钥密码体制的军网身份鉴别系统，其主要特点是安全强度高，密钥采用集中管理方式，身份鉴别协议简洁，鉴别步骤少，密码处理量小，效率高，适合于局域网络环境下的身份鉴别。本文从系统的硬件组成和软件结构、密钥数据库和密码模块的设计、增强用户端安全性的措施等方面对军网域内身份鉴别系统设计与实现过程中的有关问题作了较详细的介绍。结合各个部分可能出现的安全漏洞，论述了增强系统安全性所采取的措施。军网身份鉴别系统满足了军网应用系统的安全需求。

摘要：软件脆弱性的本质是利用该脆弱性可以影响系统的安全。每个软件脆弱性对系统安全造成的影响及其危害程度是不同的。基于此,在研究软件脆弱性影响相关分类存在的问题的基础上,分析脆弱性的直接影响和最终影响及其关系,指出确定软件脆弱性直接影响的原则,设计出基于影响广度和深度的脆弱性直接影响的分析模型。分析系统级、用户级和文件级的脆弱性直接影响模式,并给出模型在大规模特定域网主动防御系统中的相关设计与实现。

摘要：形式逻辑是一种抽象的逻辑证明工具，密码协议的形式逻辑证明技术日趋得到重视，人们采用形式逻辑分析方法发现了许多协议中存在的安全缺陷，它的实用性已经得到了充分证明。本文对目前较为常用的形式逻辑分析方法——BAN逻辑的形式化分析理论进行了介绍，在此基础上对军网身份鉴别协议进行了BAN逻辑描述，并对协议的安全性进行了理论分析与证明。结果为：协议能正确传递鉴别双方的信任关系，协议设计上不存在冗余步骤。

摘要：在分析实验室现存设备控制情况下,选用WinCC工业软件来实现对西门子公司PLC和A-B公司PLC的过程监控,本文着重论述如何使用Opc方式实现WinCC与A-B PLC之间的通信,以及使用组态软件结合Opc方式对实验室设备统一监控和管理。

摘要：为实现网络环境下信息的安全传输,介绍了采用“瘦客户/胖服务器”结构时安全通道的实现流程和相关技术,通过在军队科技档案信息管理网络系统中的实际应用得出结论,安全通道可以保证信息传输和使用的安全性.

摘要：前提假设反映了军民一体化装备维修保障体制建立的理念与核心价值观,是体制设计和任务建立的理论基础。军民一体化装备维修保障体制设计的前提假设包括：维修主体的人性有善有恶,维修行为主要体现为经济人模式,军方具有有限维修能力,装备维修保障系统是开放的多主体复杂适应系统。最后,对加强我军军民一体化装备维修保障体制建设提出了几点启示。

摘要：为了更有效地反击卫星作战,对基于系统建模语言(System Modeling Language,SysML)的反卫作战体系可视化模型进行构建。分析了将DoDAF和SysML相结合并用于复杂军事系统设计的合理性;借鉴美军海基反卫试验的相关成果,设计了在DoDAF框架下的反卫作战体系,描述了相关军事需求,构建了其在DoDAF框架下最小产品集的SysML模型。该模型为下一步进行定性和定量相符合的分析和评价打下了基础。

摘要：从理论、体系结构和语言三个方面,对Agent的主要技术和研究现状进行综合分析介绍,并通过一个应用实例对Agent的设计实现作分析说明.