面向C程序的测试用例自动生成实现

软件测试工具很难达到通用的目标,大多数该类工具都是具体针对某一种或几种程序语言的.对于目前我军常用的程序编写语言开发相应的软件自动测试工具是十分必要的.介绍了一个面向C程序的测试用例自动生成系统,重点阐述了其系统结构的构成以及所采用的一个新的搜索寻优算法.该算法有效地改善了前有算法的一些缺陷,显示出不错的效果.     

7A52铝合金的搅拌摩擦焊工艺优化

对8 mm厚的7A52铝合金板材搅拌摩擦焊接后,分别测定了不同焊接规范下接头的抗拉强度.重点讨论了搅拌头旋转速度和焊接速度对抗拉强度的影响,并根据试验结果优化出最佳的焊接工艺为焊接速度v=118～150 mm/min,搅拌速度n=1 180～1 500 r/min,焊接倾角为2°,轴肩压入深度为0.2 mm.此时焊接接头具有高的力学性能,其抗拉强度可达430 MPa左右,为母材抗拉强度的88.5%,且具有较高的焊接效率.     

高压细水雾灭火装置在灭火救援中的应用

着重阐述了细水雾灭火技术作为一种新型灭火技术,其产生的背景和意义,介绍了细水雾灭火装置的灭火原理和技术特点,并结合高压细水雾灭火装置,提出了在消防部队灭火救援应用中存在的问题和应掌握的技术要领。     

助推段反TBM装备发展构想

根据战术弹道导弹射程与助推段发动机关机高度和关机点距发射点斜距的关系,比较了2种周边国家和地区的战术弹道导弹助推段发动机关机数据,通过设想的反导武器,分析了对这2种战术弹道导弹拦截的可行性,结合可行性分析结果,提出助推段预警、指控、拦截等反导装备的发展构想。     

Decentralized admission control of a queueing system: A game‐theoretic model

Consider a distributed system where many gatekeepers share a single server. Customers arrive at each gatekeeper according to independent Poisson processes with different rates. Upon arrival of a new customer, the gatekeeper has to decide whether to admit the customer by sending it to the server, or to block it. Blocking costs nothing. The gatekeeper receives a reward after a customer completes the service, and incurs a cost if an admitted customer finds a busy server and therefore has to leave the system. Assuming an exponential service distribution, we formulate the problem as an n‐person non‐zero‐sum game in which each gatekeeper is interested in maximizing its own long‐run average reward. The key result is that each gatekeeper's optimal policy is that of a threshold type regardless what other gatekeepers do. We then derive Nash equilibria and discuss interesting insights. © 2003 Wiley Periodicals, Inc. Naval Research Logistics 50: 702–718, 2003.     

美国反卫星武器发展方向及启示

21世纪以来,美国调整了反卫星武器的发展政策,动能反卫星、微小卫星反卫星、激光反卫星成为其反卫星武器发展的主要方向,同时美国还注重利用电子对抗等软杀伤手段实施反卫星,并将依托航天技术发展更加先进的反卫星武器。为了抵御军事强国的空间挑衅,有效维护国家安全和战略利益,我国在反卫星武器发展方面应该加强顶层设计,加大经费投入,着力突破关键技术,争取早日形成攻防兼备、慑战一体的空间攻防体系。     

基于3D模型的运加油车辆纵向稳定性校核

在运加油车辆纵向稳定性校核中,准确确定在坡道使车辆倾翻最危险时罐内油料的装载量和质心位置是关键。由于罐体形状的复杂性,使得理论计算非常困难。介绍了利用3D模型对运加油车稳定性校核的新方法,该方法可快速准确地求解各种复杂罐体运加油车在坡道上不同装载量下的质心位置。     

把握GJB 9001B标准精髓促进质量管理体系建设

本文通过对GJB 9001B标准的思想精髓的探讨,论述了贯穿于该族标准中的系统设计、过程控制、预防为主、持续改进的思想理念。客观分析了军工企业第三方质量管理体系认证的特点和存在的局限性。在此基础上,对第三方质量管理体系认证与第二方质量管理体系认定,在目的要求、方式方法及测重点上的区别进行了比对,强调了第二方认定过程中"过程控制"、"持续改进"环节的重要性。并论述了发挥驻厂军事代表的重要作用,搞好质量管理体系认定和监督,促进质量管理体系发展的一些方法。     

光纤光栅技术与应用专题讲座(二) 第4讲 基于光纤光栅编解码器的OCDMA系统

光纤光栅凭借良好的时/频域特性,迅速成为光码分多址编解码器实现方法的一个重要研究方向,在时域、频域和时/频域二维等编解码方案中都得到了广泛而深入的研究。文中对光码分多址技术及光纤光栅编解码器的原理进行了综述,并对基于光纤光栅的时域相位编解码、频谱相位编解码和时/频域二维编解码这三种编解码方案进行了介绍。