符号执行火控系统诸元解算程序测试用例生成技术

火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭代转换为射击诸元,由于其复杂性,当前软件测试用例只是在几个关键点上进行校验,很难覆盖程序所有分支和路径,存在着测试不充分。针对这个问题,提出了一种基于符号执行的用例自动生成技术,结合解弹道方程组约束条件和程序分支控制变量使用符号执行框架内能够得到覆盖所有可能的执行路径,从而保证测试的充分性。     

电感储能高功率微波系统的数值模拟

介绍了REFORM程序,使用等效电路模型,研究了电感储能驱动高功率微波系统的性能问题。电路中考虑了初级能源,脉冲变压器,电爆炸丝切断开关,同轴传输线,火花隙陡化开关,以及微波二极管负载等。由模拟结果得到了一些有用的结论,即通过电路参数优化可以提高整个系统的效率,进而验证电感储能高功率微波系统方案的可行性。     

式论消防行政强制

消防行政强制是消防行政执法主体在消防行政执法中享有的一项重要职权,它包括强制预防、强制制止和强制执行;消防行政强制在理论上可以划分为即时性的消防行政强制和执行性的消防行政强制;消防行政强制还应当依照法定的程序来实施。     

机载多目标攻击武器系统作战飞行程序设计

机载多目标攻击武器系统是当今航空武器系统研究的重点和发展的标志 ,其作战飞行程序设计是系统顶层设计的主要内容之一。综合了已有的研究成果 ,绘制了机载多目标攻击武器系统的功能逻辑流程图。在此基础上 ,采用模块化设计思想 ,进行了机载多目标攻击武器系统的作战飞行程序的组织结构设计 ,并阐述了基于表驱动和时间刻度管理的系统任务调度技术。     

采取有力措施畅通党员“出口”

用“三个代表”思想正确认识“出口”。近些年来,党员入党就算进“保险箱”,只要不出现“硬伤”,进来就出不去。这也使一些人在对待党员“出口”问题上产生了许多模糊认识和思想障碍:①领导层有顾虑。有的担心公开处理党员,影响稳定,影响个人政绩,影响单位形象和荣誉。②基层支部有畏难情绪。有的感到情面上过不去;也有的怕政策不好把握,操作起来麻烦。③党员层认识偏、观念旧。对合格党员的标准认识不清,认为履行一般职责,不违法违纪就是合格党员,很少从先进性上考虑问题。④群众层有无关思想。有的认为对党员的教育管理是党组织的事,自己…     

核动力装置热工水力运行分析程序中的堆芯物理模型

提出了一套用于微机版船用核动力装置热工水力运行分析程序的堆芯物理模型 ,该模型既能较逼真地描述实际的物理过程 ,又能满足运行实时性要求和运行监督所要求的计算精度     

谈加强设计更改的管理

对设计更改实施有效的控制是技术状态管理的重要内容之一,要保证不会由于更改不当带来的损失。因此,加强对设计更改的管理势在必行。     

对军品价格审查程序和方法的探讨

文章在分析以往军品审价程序和方法的基础上指出,目前军品审价可根据所研制、订购的品种与数量实行两种程序并采取事前审价的办法。     

论出入境管理行政处罚救济程序的完善

公安、边检机关对违反出入境法律法规的当事人给予行政处罚 ,是公安、边检机关的职责。而以行政复议为主体的行政救济程序 ,则是用来保护当事人的合法权益、保障和监督公安、边检机关依法行使职权的重要机制之一。随着公民权意识的提高和《行政复议法》的颁行 ,现行出入境法律法规有关行政复议的规定显得不规范、不统一 ,没能科学的体现程序公正原则。从“申诉”与“复议”的区别、救济程序模式的重新设置、复议程序中期间的适用、复议范围的扩大等 ,论述现行出入境救济程序中存在的问题与不足。     

高精度CFD程序的内外子区域划分异构并行算法

对计算流体力学(Computational Fluid Dynamics, CFD)程序CNS提出一种Offload模式下对任务内外子区域划分的异构并行算法,结合结构化网格下有限差分计算和四阶龙格-库塔方法的特点,引入ghost网格点区域,设计了一种ghost区域收缩计算策略,显著降低了异构计算资源之间的数据传输开销,负载均衡时CPU端的计算与MPI通信完全和加速器端的计算重叠,提高了异构协同并行性。推导了保证计算正确性的ghost区域的参数,分析了负载均衡的条件。在"CPU(Intel Haswell Xeon E5-2670 12 cores×2)+加速器(Xeon Phi 7120A×2)"的服务器上测得该算法较直接将任务子块整体迁至加速器端计算的异构算法性能平均提升至5.9倍,较MPI/OpenMP两级并行算法使用24个纯CPU核的性能,该算法使用单加速器时加速至1.27倍,使用双加速器加速至1.45倍。讨论和分析了性能瓶颈与存在的问题。