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

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

军事装备仿真学初探

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

软件测试自动化实践

介绍了软件自动化测试技术及其特点,提出了一种具有一定自动化程度的软件测试综合方案,对其原理、方法进行了阐述,讨论并展望了该技术的特点和应用.     

舰船航向保持的变结构控制及仿真

运用变结构控制理论和计算机仿真技术研究舰船航向保持过程的变结构控制问题,针对舰船定向航行要求航向准、舵角小的控制特点,采用二次型最优控制方法设计滑动模态超平面,设计了满足滑模超平面到达条件的指数趋近律,导出了对应的控制律。同时,为进行比较研究,设计了PID控制器并整定了相关参数。理论分析与仿真研究表明:对于舰船定向航行,变结构控制方案正确可行,控制效果优于PID控制方案。     

舰载水声系统信息融合性能评估

以检验舰载水声系统信息融合性能为目标,提出一种在海洋声学环境、敌我战术机动过程扣声纳处理结果仿真条件下的水声系统信息融合性能评估方法,通过某型水声系统的两种融合模块的实际评估应用,证明该方法有效可行。     

基于QoS的网络计费管理软件的设计与实现

针对原来的基于时间和基于流量的计费模式在实时多媒体业务中显现出来的弊端,提出了一种基于QoS的网络计费模式,并介绍了在小区宽带接入系统中的实现,给出了这种计费模式的策略和主要数据结构.     

三维运动捕捉技术在消防模拟训练中的应用

从角色模型的创建、消防员个性化动作数据的捕捉和处理以及利用该数据对模拟训练场景里消防员的驱动,探讨了如何将三维运动捕捉技术应用于消防模拟训练中。结果表明：三维运动捕捉技术的应用为解决消防模拟训练场景中虚拟消防员实时动画问题,人员疏散的视景仿真问题等探索了道路,奠定了基础。     

关于火灾模拟技术应用和发展的思考

火灾模拟技术为性能化设计提供依据和分析手段,促进了消防技术的发展。对火灾模拟技术进行了综述,介绍了火灾模拟技术在防灭火工作中的应用,对我国火灾模拟技术发展进行了展望。     

反导作战指控系统信息流时延模型研究与应用

在现代反导作战中,如何规划反导作战指控系统从而缩短目标、指挥信息传输时间和提高指挥精度是很重要的问题。基于此展开讨论,首先设计规划了3种反导作战指控系统信息流时延模型并提出了应用原则,其次分别以一典型3 500 km TBM和不同射程TBM为例进行了时延模型仿真计算和分析,最后通过分析计算结果给出反导作战指控系统建设性结论。     

改进的GPS弱信号差分捕获方法研究

捕获是GPS接收机信号处理中的关键部分,在微弱信号情况下,传统的弱信号捕获方法不能很好地捕获到卫星信号,采用一种改进的GPS弱信号差分捕获方法来进行捕获研究.并对一组GPS的数据信息,分别采用以上2种方法对其进行捕获仿真.结果显示,新方法可以捕获到较微弱的GPS信号,提高了接收机的灵敏度.