分段线性凸费用网络流的两个算法

本文讨论了分段线性凸费用网络流问题,推广了线性费用网络流中的负回路方法和最小费用路方法,从而得到了求分段线性凸费用网络的最小费用流的两个算法。     

YH-GKS的设计与实现

图形核心系统GKS是二维图形软件的唯一的国际标准,且为我国采纳为国家标准。YH-GKS是基于GKS,为银河机设计的图形软件系统。文中介绍了YH-GKS的设计特色与实现方法。     

探索性分析工具EASim的设计与实现

探索性分析是一种研究深度不确定条件下复杂高层问题的分析方法.为使其能够有效地解决实际问题,需要探索性分析工具的支持.国内目前的探索性分析工具大都是面向特定应用开发的,缺乏规范化的探索性分析模型描述方法.采用扩展影响图作为探索性分析模型的统一描述规范,自主开发了通用型探索性分析工具EASim.介绍了EASim的功能结构、...     

基于簇的无线传感器网络密钥管理方案

在无线传感器网络中,安全通信有两种类型:一对多和一对一.提出一套低复杂度算法产生并分配两种类型的密钥.算法对基于簇的层次型网络进行设计,算法包括初始密钥管理、周期密钥管理和簇动态密钥管理,算法中的所有通信都使用椭圆曲线数字签名方案验证.通过仿真实验,结果清晰地显示出该方案对资源受限的无线传感器网络是安全可行的.     

基于簇的Ad Hoc网络密钥管理机制研究

Ad Hoc网络可以不依赖于现有网络基础设施,快速搭建起一个移动通信网络,然而其灵活性又使其安全性面临着严峻的挑战.密钥管理是Ad Hoc网络安全的关键技术,在分析现有的Ad Hoc网络分布式信任方案基础上,提出一种有效的基于簇的密钥管理方案.该方案实现了节点之间的双向认证,具有较强的抗假冒攻击能力,密钥分发过程简单,...     

混合对策无人战机空战决策

在混合对策理论的基础上,将空战过程看作是由一系列离散的状态组成的离散事件动态系统,建立了空战过程的离散状态子模型,利用空战态势指数和战机空战能力指数构造了战术评估函数,以完成对战术动作的筛选工作,并结合3DOF质点模型设计了机动指令生成器,实现对无人机运动状态的控制,并在Matlab环境下对机动实例进行了仿真.     

基于OBDD的防空导弹系统效能评估研究

首先对OBDD的概念和操作运算进行了简要介绍;接着对ADC系统效能模型进行了分析,首次提出了应用shannon展开和ite操作进行效能模型可用性和可信性向量计算的方法;最后应用OBDD操作运算对典型防空导弹系统进行了分析,并以可用性向量计算为例说明了应用OBDD的具体方法.该方法适用于各种故障分布情况下防空导弹系统效能的评估,具有一定的军事应用价值.     

截击机作战起飞规划分析

根据截击机在优化的目标分配形式下拦截效果的概率模型,导出了截击机在拦截多攻击机机群时的最优目标分配形式,研究了机场飞机起飞架数与机场战术、技术参数、机场飞机的战术、技术参数以及与攻击机的进攻态势之间的关系,确定了多机场飞机对多攻击机机群进行最优目标分配时所应满足的量化关系,给出的模型可对作战决策过程提供理论依据     

网络化战争的本质

网络化战争不同于传统的以火力打击平台为中心的战争，它是指通过战场各个作战单元的网络化，把信息优势变为作战行动优势，使主战部队、友邻部队和后备部队共同感知战场态势，从而协调行动，发挥最大作战效能的作战样式。