摘要：针对任务关键性的武器装备控制领域,选用B方法来设计通用弹道计算机程序,显著地提高了软件的质量和可靠性。在开发过程中,利用抽象机机制对基本弹道计算机进行建模,并通过逐步精化的方法扩展弹道计算机功能,从而有效地控制了弹道计算参数之间的复杂关系,依赖不变式技术形式化地保证了软件运行时的安全性,并使得生成的程序具有良好的重用性和可扩展性。

摘要：借助台湾联发科技公司的MTK芯片解决方案和近乎无所不能的想像创意,近几年来,山寨手机攻城掠地,成为甚至让国际知名大厂也不敢小觑的强劲对手。

摘要：针对俄军数以万计的各型T-72主战坦克,下塔吉尔车辆机械设计局推出了T-72最新型的改进型—T-72BA。它采用了大量T-90A和T-80UM的关键性部件,核心在于提高T-72坦克的火力、防护、火控与指挥系统,使其获得与最新型坦克同等的水平,尤其加强其防护能力。

摘要：美国士兵在德国测试新型步兵武器2005年10月初,美国陆军第1步兵师士兵在德国训练基地测试了美国皮卡汀尼兵工厂提供的3种试验型步兵武器:XM25式半自动榴弹发射器、XM312式机枪和SM320式枪挂榴弹发射器。这些武器的设计完全遵循士兵的反馈意见,具有良好的人机工效。在试验期间,这些武器演示了出色的首发命中率。XM25式半自动武器配有弹道计算机、热瞄具和可变焦光学瞄具。XM312式机枪可以采用与轻机枪相同的射击、操作和维护程序,而且。