面向C程序的测试用例自动生成实现

软件测试工具很难达到通用的目标,大多数该类工具都是具体针对某一种或几种程序语言的.对于目前我军常用的程序编写语言开发相应的软件自动测试工具是十分必要的.介绍了一个面向C程序的测试用例自动生成系统,重点阐述了其系统结构的构成以及所采用的一个新的搜索寻优算法.该算法有效地改善了前有算法的一些缺陷,显示出不错的效果.     

产业集群：现代军工产业发展的重要途径

产业的发展要放到经济全球化的大背景下去把握。经济全球化的趋势,带来了产业发展的一些新特点。一是企业巨型化。一般具有较强竞争力的企业,销售收入总量也较大,而且还带动了一大批中小企业的发展;二是产业集群化。一般强势产业都形成了集生产链、供应链和现代物流于一体的集群优势;三是区域集中化。主要产业经济规模集中于某个区域,从而使配套路径缩短、成本费用降低。我们在发展现代军工产业时应根据现代产业发展的新变化、新特点来推进产业的发展。现代产业发展的大趋势一个企业的发展离不开自身的核心竞争力。美国的企业战略权威迈克尔…     

飞行员自行截击搜索发现概率计算机仿真

本文通过对建立飞行员目视和使用机载截击雷达搜索发现概率数学模型 ,利用计算机模拟电磁干扰环境下 ,我机在待战空域巡逻自行截击敌机时的搜索发现问题 ,得出了我机在不同情况下应采用的较优飞行航线及其相应的巡逻诸元 ,为在防空作战时指挥员正确决策提供了定量分析的依据     

时间Petri网和启发式搜索在流程调优中的应用

本文利用时间Ｐｅｔｒｉ网对流程调优问题进行建模,和人工智能上的启发式搜索算法,进行求解,这就把时间Ｐｅｔｒｉ网和启发式搜索结合起来,可解决一些较为复杂的流程调优问题。     

谈捕歼战斗中对建筑物的搜索与通过

捕歼战斗是武警部队完成“处突”作战任务中最多的作战样式,犯罪分子又多以建筑物为藏身之处,本文就捕歼战斗中如何能隐蔽、快速、安全地对建筑物实施通过、占领、搜索等,作了深入探讨,对捕歼隐藏在建筑物的犯罪分子的作战具有较强的实用意义.     

IRST 系统的数学仿真研究

讨论了目标红外辐射、大气传输和ＩＲＳＴ系统,并根据建立的数学模型,完成了ＩＲＳＴ系统的数学仿真研究。     

红外搜索跟踪系统的目标截获判据

红外搜索跟踪（ＩＲＳＴ）系统在探测时对潜在目标的判别是系统工作的一个重要环节。通过建立目标的截获判据,提出了判决树多级识别方法和模糊综合评判方法,并为两种方法的融合使用提供了基础,为系统判别一般红外目标以及远距离小目标提供了依据和实现手段。     

航空集群机载网络Failure-Oblivious路由策略

航空集群机载网络作为集群成员间信息交互的纽带,其路由策略性能优劣直接影响信息传输实时性与可靠性,从而制约网络化集群作战效能发挥.考虑到航空集群机载网络具有诸多不确定性,为应对路由失效以及尽可能避免路由更新,从路由选择算法的角度,在软件定义网络架构下提出Failure-Oblivious路由策略.与传统路由策略不同的是,...     

面向SPR的异构路由器聚合交换技术

互联网的快速发展使得传统的POP组网方式面临巨大的挑战,部署SPR(Single POP Router)路由器被认为是解决问题的有效手段。提出了异构路由器的聚合交换技术,可以将POP中的多个异构路由器以集群的方式实现一个规模更大的SPR路由器,具有降低组网成本、保护现有投资、简化网络管理、提高交换效率等优点。给出了聚合交换技术中需要重点研究的几个关键问题以及研究思路。