装备研发与制造一体化物资供应支持系统研究

首先分析了研发与制造一体化技术是适应武器装备柔性化制造需求的先进制造技术,然后介绍了装备研发与制造一体化技术的涵义和体系结构,分为以研发为中心的研发与制造一体化技术和以制造为中心的研发与制造一体化技术。最后详细研究了其中的物资供应支持系统及其体系结构。     

基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述,给出了资源泄漏缺陷状态机,定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中,按照资源泄漏缺陷状态机给出的转换条件进行状态计算,如果计算结果为故障,则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试,发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。     

基于MDA的HLA系统开发流程与框架设计

HLA作为IEEE认定的分布式仿真标准,随着在军事、民用等仿真领域的广泛运用,其自身的模型重用性、互操作性等不强的弱点逐渐暴露出来,越来越不能满足大型复杂仿真系统的需要。将MDA方法引入HLA仿真系统设计中,尝试用MDA的模型思想对HLA系统进行开发,提升HLA的模型重用性和互操作性。对MDA在HLA系统中各种模型的设计和表述方式进行了分析研究,提出了一个基于MDA开发HLA仿真系统的开发流程,建立了一个基本开发框架,从软件开发的角度提高了系统的开发效率。     

自然元素在建筑设计中的创意与表达——石材

石材,在建筑发展的历史上一直扮演着重要角色,不但为人类提供遮风避雨的场所,还以其多变的魅力活跃在当今建筑文化的舞台上.建筑师通过各种充满创意的设计表达手法,赋予建筑更多的品质和意义.从石材在建筑上应用的起源入手,分析石材在景观和建筑设计中的表现手法,并结合大量的实例总结了石材的创意设计方法.     

某自行战车火控系统动态航路制定及软件实现

根据某型自行战车对空中目标作战的精度需求,为突破火控系统自带动态航路的局限性,提出了动态航路制定模型.在基准战车时目标起始点坐标进行测量的基础上,由连战斗队形配置确定全连其余战车相对基准车档坐标值,通过坐标转换计算,得到其余战车动态航路参数.采用面向对象的可视化编程语言C#2.0编写程序,设计动态航路制定软件.通过举例分析,证明了该方法的可行性,为有效提高自行战车的射击精度提供了一种较为科学的方法.     

军用软件测试现状及对策

随着我军信息化建设深入发展,军用软件的规模和数量空前增长,军用软件的质量建设成为极端重要而紧迫的任务。软件测试是保证软件质量、提高软件可靠性的重要途径和必备手段,但当前无论是在软件测试的认识层面,还是对软件测试的管理和技术支撑等方面,仍然存在着许多问题,软件测试工作形势依然严峻,急需得到改进和加强。在深入分析军用软件测试现状、存在的问题和原因的基础上,综合设计体系结构,研究提出对策措施,为整体推进软件测试工作提供了可行的解决方案。     

J-M模型改进与可靠性预测研究

软件可靠性J-M预计模型对可靠性测试数据的假设要求比较严格,与实际情况不太符合。针对可靠性测试中各种因素的影响,适当修改了排除错误的条件假设,使得模型的适用性更强。对J-M模型用迭代法确定了参数的估计值,结合1组可靠性测试数据,得到可靠性预测结果。     

基于Web Service网络管理体系结构研究

传统层次型网络管理体系结构中网络管理系统之间交互困难。基于Web Service体系结构的思想,将网络管理系统提供的管理功能抽象成管理服务,提出了具有面向服务、动态协作等特点的基于Web Service的网络管理体系结构,并详细讨论了该体系结构涉及的网络管理资源和服务的描述方法以及服务组合技术。     

一种基于Wallace树的分散式DCT/IDCT体系结构

提出了一种新的基于Wallace树的分散式DCT/IDCT体系结构。它不依赖于ROM和乘法器,用面积开销低的加法器、移位器和4-2压缩器,实现了乘法密集的DCT/IDCT算法。该体系结构在SMIC 0.18μm工艺上进行了设计和综合,可以达到100Mpixels/s的吞吐率,只消耗了36 141个晶体管和1024bits转换存储器,时序—面积性能较已有的体系结构有了显著的改善。     

带失效因子的J-M软件可靠性预计模型

提出带失效因子的J-M软件可靠性预计模型.先分析了原有J-M软件可靠性预计模型的特性,指出了此模型产生与实际情况差异的原因;基于在测试初期软件出现的错误,对软件失效率的影响大于测试后期出现的错误对软件失效率的影响的思想,提出了带失效因子的J-M软件可靠性预计模型.最后,针对所提出的模型,利用测量的数据进行了实际验算.