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

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

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

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

社会计算实验动态仿真引擎的研究与实现

应对新形势下非常规突发事件的严峻挑战是各国政府亟待解决的问题,综合人工社会-计算实验-平行执行的ACP方法,是解决非常规突发事件应急管理问题的有效方法.本文引入ACP方法,阐述构建高性能社会计算实验动态仿真引擎的作用;按照层次化模块化思想设计动态仿真引擎D-PARSE的体系结构,详细描述各组成部分的具体功能,并基于并行...     

基于ISM的武器装备效能评价体系的构建方法

将系统工程中解释结构模型法引入到武器装备效能评价体系的构建过程中,在可拓空间确定武器效能影响因素逻辑关系的基础上,求解系统可达矩阵,建立结构模型,构建多层递阶的效能评价指标体系;应用该ISM,分析了评价体系的内部层次结构及主次因素,掌握系统评价的神经支撑结构;并以机动性指标为例,确定了单指标的因素支撑影响图。系统效能ISM的建立,可为确定提高武器效能的突破点、研发(R&D)控制的立足点等方面进行系统解释,为科学建立评价体系、判定内部结构提供理论基础。     

创新让难题不再——山东省潍坊市奎文区人武部依托社区开展民兵政治教育纪实

城市现代化进程的加快和流动人口的增加,大量民兵涌入城市,城市民兵呈现出大流量、多流向状况和分布点多面广、隶属关系复杂等特点,使思想政治教育人员难集中、时间难保证、内容难落实的问题更加突出。近年来,山东省潍坊市奎文区人武部坚持用科学发展观理思路、找对策、解难题,探索建立依托社区开展民兵思想政治教育的新途径,使社区民兵受教育面达到95％以上。     

开创国防和军队现代化建设新局面

新华社北京10月15日电胡锦涛同志在十七大报告中谈到开创国防和军队现代化建设新局面时说,必须站在国家安全和发展战略全局的高度,统筹经济建设和国防建设,在全面建设小康社会进程中实现富国和强军的统一。胡锦涛指出,全面履行党和人民赋予的新世纪新阶段军队历史使命,必须坚持以毛泽东军事思想、邓小平新时期军队建设思想、江泽民国防和军队建设思想为指导,把科学发展观作为国防和军队建设的重要指导方针,贯彻新时期军事战略方针,加快中国特色军事变革,做好军事斗争准备,提高军队应对多种安全威胁、完成多样化军事任务的能力,坚…     

影响图建模理论及其应用实例分析

影响图方法体现了定性分析与定量分析相结合的建模思想,可对复杂系统进行规范化建模。介绍了影响图建模思想和相关的基础理论,通过对C4ISR系统参与下的战术防空作战过程的分析,给出了描述作战过程所需的参数及其间耦合关系,最后采用影响图方法建立了防空作战的影响图模型,并指出了应注意的几个问题。     

应用新型Lanchester方程的非对称空战进程预测

针对未来空战中可能出现的非对称空战问题进行研究,在设定的非对称空战背景下构建新型Lanchester方程对问题进行建模分析,得到单一机种和多兵种非对称空战模型,并通过仿真试验验证了模型的有效性,对非对称空战指挥决策提供了一定的帮助。     

韦慧晓:以心相许“嫁”海军

＂战斗警报!＂伴随着一长声警铃,一阵清脆悦耳却又铿锵有力的声音传遍全舰。9月8日,东海某海域风高浪急、波诡云谲,东海舰队某驱逐舰支队郑州舰作战指挥室内,一位中校女军官目不转睛盯着战场态势图,沉着冷静地下达着作战指令。她就是郑州舰博士副舰长韦慧晓。翻开韦慧晓的简历,记者看到她精彩的人生跨越：从高薪白领到携笔从戎的军人,从优秀的博士生到合格的舰艇指挥官。参军入伍是韦慧晓从小的梦想和追求。2012年1月,韦慧晓梦想成真,被特招入伍,加入海军部队。入伍当天,韦慧晓在日记本上郑重地写道＂此生嫁给海军＂。     

定格在中国核燃料元件产业发展史上的荣耀

<正>中核建中推进产业升级,建设绿色文明园林式核工厂湿法工艺制备UO2粉末生产线运行近50年后退出历史舞台进入冬日,金沙江水静静地流淌着,绿得发蓝,宛如一条玉带,蜿蜒在川南大地间。在金沙江畔,奋斗着一群可爱可敬的建中人,在这片燃烧激情、收获希冀的土地上,书写着一个又一个精彩的故事……1月20日,对于中核建中一车间湿法线的41名职工来说,必定是他们职业生涯中一个令人难忘的日