用动态模拟方法实现C程序输入变量的取值分析

程序输入变量取值范围的确定对于测试数据的选取,尤其对边界值分析,有着直接的指导作用.一般情形下,通过对源程序进行数据流和相关性分析,可实现输入变量的取值分析.但对某些有特殊取值限制要求的表达式,用静态分析方法,难以实现其输入变量的取值分析.为此,采用动态模拟的方法,对有特殊取值限制要求的表达式,进行输入变量的取值分析.实验表明,该方法是行之有效的.     

基于多目标模糊决策模型的联合作战方案优选

为选择作战方案中的最优方案,对所有的方案进行了排序,依据定性准则和定量的数学模型,利用多目标模糊决策分析方法,对联合作战方案的相关因素进行了分析,综合评价出各方案的优劣程度,最后得到了较为合理的作战方案先后顺序.     

面向容侵的秘密共享系统的设计

针对Intemet服务器间安全连接所使用的会话密钥面临的威胁,利用秘密共享理论,结合Shamir有限域Zp中的多项式方程,提出面向容侵的(w,t)丁限设计方案.此方案是将会话密钥K分成W个子密钥,并秘密存储在不同的共享服务器中,若恢复会话密钥K,只需W个子密钥中的t个子密钥.而入侵者得到t个子密钥要比得到一个会话密钥更难,因此系统具有一定容侵功能,以保证会话密钥的安全.从结构、协议工作和特点等方面加以描述,并对安全性作了分析.初步建立了基于(w,t)秘密共享理论的网络容侵模型.     

军队院校科研工作绩效评估探讨

阐述了军队院校科研工作绩效评估的目的、作用和内容等,讨论了军队院校科研工作绩效评估的基本方法,对开展军队院校科研工作绩效评估的相关问题进行了探讨.     

军事装备仿真学初探

随着军事装备学和系统仿真理论体系的完善,以及系统仿真技术在军事装备领域的广泛应用,军事装备理论与系统仿真理论相互渗透、融合,具备了形成军事装备仿真学的基本条件.就军事装备仿真学的定义、研究对象、学科理论,以及与各学科之间的关系进行了探讨.     

基于多媒体辅助的高等数学教学模式探究

在对高等数学教学模式构建的理论基础和价值取向分析的基础上,确立了"双主-双线"的教学模式:即在高等数学教学中,发挥教师主要导向作用,体现学生自主学习的主体地位,以师生共同探究、学生自主建构为主线,以现代多媒体和传统媒体的灵活运用为辅线的教学模式.并以此为基础陈述了模式的实施步骤及遵循的原则.     

电子对抗装备软件的静态分析方法

软件的静态分析在很大程度上是对编写软件的语法和文本进行检查,使其符合工程项目的需要.使用C Test可以帮助编程人员和测试人员完成对程序的自动静态测试.测试人员还可以自定义检查规则来完成对代码的特定需求检查.     

地形通视性算法改进

为提高地形上两点间的通视性查询效率,满足仿真系统实时性要求,对通视性算法进行改进,并将改进算法与现有算法进行试验比较,结果表明改进算法的精度和计算效率是满足仿真需要的。     

COBP方法及其在C4ISR系统评价中的作用

COBP（NATO Code of Best Practice for C2 Assessment）是北大西洋公约组织近期用来指导C4ISR系统效能评估的最新理论成果,本文首先对其主要部分进行了总结,详细阐述了它的评估过程,接下来给出了外军应用COBP方法进行C4ISR系统评估的一个应用实例,最后比较了COBP方法与其他系统效能评估框架的异同,总结指出COBP方法对我军指挥自动化系统评估的借鉴意义。     

C4ISR领域本体研究初探

如何实现C4ISR系统的跨越式发展,是当前的研究重点。本体论作为最新的知识工程化技术,信息系统建设是其研究、应用的重要领域。通过分析C4ISR系统特点及未来军事发展趋势,结合C4ISR系统建设的实际情况,阐述了军事领域开展本体研究的广阔前景,并探求建立C4ISR领域本体库,对本体库的作用及发展过程提出了初步设想,在C4ISR系统建设和本体应用两方面做出了有益的探索。