边界扫描测试的数学描述模型

IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。     

非结构动网格分区并行计算方法

针对包含运动边界的非定常流动问题,基于弹簧近似法设计了一套非结构动网格分区并行计算流程,引入了METIS软件进行非结构网格二次剖分,研究了对接边界通信类型及其处理方法,基于消息传递并行编程模式实现了非结构动网格求解器的并行化。测试结果表明:该求解器具有较高的并行效率,网格变形模块对非结构动网格并行计算性能具有重要影响。     

加肋圆柱壳结构的FE-IE算法网格尺度划分原则

为了研究结构有限元耦合流体无限元算法的网格尺度划分原则,提出有限元-无限元算法中结构湿表面的网格尺度划分原则。数值计算结果表明,对加肋圆柱壳而言,在保证一个肋骨间距至少有2个有限元单元的前提下,将结构主振型弯曲波波长作为有限元-无限元算法中结构湿表面网格尺度划分的参考标准是可行的,即保证一个主振型分量波长内至少有6个有限元单元。提出以结构主振型分量的弯曲波波长(而不是最短的结构波长)作为有限元-无限元算法中网格尺度划分的参考标准,所得结论对于有限元-无限元算法中结构湿表面的网格划分以及控制内域流体有限元数量均具有十分重要的参考意义。     

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

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

基于参数优化的SVM联合作战战场建设方案优选

联合作战战场建设方案优选可最大可能降低建设工程的损耗、提高整体建设效益。针对联合作战战场建设方案优选问题进行研究,首先梳理联合作战战场建设方案优选流程,然后构建包括作战保障工程、后勤保障工程、装备保障工程和战场基础信息数据库的指标体系,并提出基于网格搜索和交叉验证优化的改进SVM方法实施方案优选,仿真结果表明优化后参数的性能明显优于默认参数,更加适用于联合作战战场建设方案优选问题。     

防空武器系统仿真中的三维图形实时成像技术

图形图像技术在仿真中的应用除使之高度可视化外,更重要的是引入了“三维描述”的概念,扩大了“定量”     

适应企业转制特点 改进城市民兵编组

随着国有大中型企业改革、改组、改造步伐的加快,企业所有制结构多元化的生成、发展和完善,对以国有大中型企业为主体建立民兵组织的传统做法产生了强大冲击,严重地影响了民兵组织的稳定和建设质量。主要表现在以下几个方面:一是部分国有大中型企业经营困难,民兵组织逐渐萎缩;二是生产经营组织和规模变化频繁,民兵组织不够稳定;三是多种所有制经济体制的建立,有“兵”无“组”的矛盾日趋突出;四是民兵编组结构不尽合     

网格状玻璃纤维布在公路小修保养中的应用

玻璃纤维布是公路工程和公路养护的新材料,利用玻璃纤维布阻止裂缝的反射,阻止地表水的渗透,延长路面的使用寿命,此种技术在国内尚属首次。１９９９年宁夏公路管理局安排在１０９线１１７７K－１１８０K进行试验,取得成功。现总结如下：一、材料的选择⒈纤维布：玻璃纤维布的选择应根据公路技术等级、交通量和路况质量等因素综合考虑,选定符合公路技术要求的玻璃纤维布。⒉粘层油：洒铺粘层油是工程施工中的重要一环,粘层油可采用乳化沥青和热沥青。采用乳化沥青作粘层油时,应尽量采用快、中裂乳化沥青。无论是用乳化沥青,还是热…     

索赔离散到达的风险模型

讨论了索赔到达时间和索赔额均服从几何分布的风险模型 ,利用逐段决定马尔可夫骨架过程的广义生成算子去构造有关盈余过程的鞅 ,精确求解了模型的破产概率     

军事应用网格MAGrid本体研究

本体论提供了对研究领域进行概念化描述的基本理论和方法.为了适应网络中心战的发展需求,提出了一种新的军事应用网格构想--MAGrid,并着重从本体论的角度对其进行研究和设计.在介绍本体论相关知识的基础上,提出了相应的层次化本体结构,并对MAGrid的两类主要本体--网格服务本体和网格应用本体进行了描述.通过该研究,为新时期军事应用系统的开发提供了新的思路和方法,对于提高军事系统整体效能具有一定的理论参考和应用价值.