基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。     

信息战战场分析模型

根据区域攻防的不同战场信息行动,建立3个非线性微分方程模型.以防御方的总射击速率和战斗力消耗率作为评价指标,着重探讨了进攻方的指挥控制系统、侦察监视系统、战毁评估系统和火力系统之间的性能匹配关系.     

防空导弹武器系统C3I仿真系统一体化研究

现代化的高科技战争中,C3I系统已成为武器系统的"神经中枢",建立一体化的C3I系统是联合作战、统一指挥的需要,同时也对C3I的仿真系统提出了一体化的要求。结合防空导弹武器两级指控仿真系统互操作问题的研究,首先简要介绍了仿真系统一体化的有关标准,然后介绍了互连的方式和对象,探讨和分析了互操作的模型、特点以及互操作性等级的评定。     

一个动态互连全透明训练系统

介绍一个动态互连全透明模拟训练系统设计过程,运用二级分布式结构实现实时模拟,并给出了某型导弹火力控制模拟系统硬件和多媒体软件结构模式     

军费支出结构模型及策略选择

军费支出结构优化模型,可以为实现既定国防安全产出提供军费支出的调整策略;军费支出结构控制模型,可以分析军费支出结构变动状况,及查找其与最优状态存在差距的原因;军费支出结构战斗力模型,可以用于判定军费支出结构效益高低。     

建立后备力量非战争军事行动储备基金

在市场经济社会,资金是调节个人和组织行为的重要工具.后备力最遂行非战争军事任务,当然也离不开必要的资金支持.根据<军队参加抢险救灾条例>规定,军队参加地方人民政府组织的抢险救灾所耗费用由地方政府负担.这个规定同样适用于后备力量遂行非战争军事任务.鉴于非战争安全威胁爆发突然,后备力量建设经费十分有限,短期内很难筹足所需资金,可能影响非战争军事行动效果,建议政府建立后备力量非战争军事行动储备基金.     

面向GPU的非结构网格有限体积计算流体力学的图染色方法优化

采用图染色方法解决通量累加和局部最大压力计算引起的两种典型资源竞争问题,并通过共享内存的使用、体编号和面编号的重排、面数据的重排三种策略优化图染色方法。针对应用在空气动力学多种规模的三维网格,分别采用双精度和单精度操作数,在Nvidia Tesla V100和K80 GPU上,展开性能测试。结果表明:共享内存的优化效果不明显;体编号和面编号重排降低了图染色方法的计算性能;面数据重排可以有效地优化图染色方法;计算性能在V100上提高20%左右,在K80上提高15%左右。     

灭火初战应把握的关键环节

灭火作战初战是整个灭火战斗的前期战,它的成功与否直接影响到整个灭火战斗的成败。重点论述了如何把握初战的火情侦查、火场救人、控制火势等三个关键环节,以期对基层广大指战员有所指导。     

军事工程投资控制管见

加强军事工程投资控制,应建立科学的工程项目决策机制,实行严格的限额设计,并通过改革设计费计算办法,改进工程招投标办法,加强对工程投资全过程的监控,借以提高军事工程投资效益。     

完善资产全过程动态管理机制之我见

军事资产全过程动态管理机制是指通过单位内部各部门之间的相互制约和牵制,对资产购置、计价核算、使用调剂、处置报废等资产活动各环节进行动态跟踪和管理的一种系统运行制度和机理。完善军事资产全过程动态管理机制涉及到各子系统,从目前军事资产管理系统运行情况看,应重点抓住资产动态管理组织机制、资产动态管理制度机制和资产动态管理行为机制等的建立与完善。