【摘 要】
：
火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭
【机 构】
：
白城师范学院,长春职业技术学院,陆军驻南京地区军事代表室
论文部分内容阅读
火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭代转换为射击诸元,由于其复杂性,当前软件测试用例只是在几个关键点上进行校验,很难覆盖程序所有分支和路径,存在着测试不充分。针对这个问题,提出了一种基于符号执行的用例自动生成技术,结合解弹道方程组约束条件和程序分支控制变量使用符号执行框架内能够得到覆盖所有可能的执行路径,从而保证测试的充分性。
其他文献
从传统的有损光纤结构的液位传感方法入手，深入研究塑料多模光纤传输过程中的包层模式下的弯曲损耗、受抑全内反射以及光能量耦合机理，在理论上揭示传感器效应的作用机制，从几何
ＤｉｒｅｃｔＥｌｅｃｔｒｏｎ－ｔｒａｎｓｆｅｒＲｅａｃｔｉｏｎｏｆＣｙｔｏｃｈｒｏｍｅＣａｔａＢａｒｅＳｐｅｃｔｒｏｇｒａｐｈｉｃＧｒａｐｈｉｔｅＥｌｅｃｔｒｏｄｅＹＵＡｉ－ｍｉｎ，ＣＨＥＮＨｏｎｇ－ｙｕａｎａｎｄＨＡＮＪｉ－ｌｉｎ（Ｄｅｐａｒｔｍｅ...
瞻仰先生的胸像,每每闪出一种怪念:我卑微之心可能雕刻成供你安居的神龛? 短髭浓蓄着刚烈,密发倔立起愤激,额耸如山峤,仿佛是盘古精心斧削的崇高,让我渴望登攀之雄姿而频频
不同类型的人才是存在差异性的.这种差异性是和一系列主客观因素紧密相连的,不仅与个体的主观能力有关,而且更深刻地制约于个人生活成长、接受教育和使用的客观环境.人的各种
在军用文书处理中,提出了一种基于规则和CRFs的部队组合名称识别方法,旨在识别部队组合名称中包含的建制单位。首先在词语粗切分的军用文书上使用CRFs模型识别出部队组合名称
向量网格法是一种计算目标毁伤效果的新方法。该方法借鉴像素仿真法的思想,将目标划分成一定数量的网格,使用向量对每个网格进行详细描述,弹药毁伤仿真后向量发生变化,最后进
ＴｗｏＮｅｗＳｔｅｒｏｌｓｆｒｏｍＡｄｅｎｏｐｈｏｒａＳｔｅｎａｎｔｈｉｎａＳｕｂｓｐ．ＸｉｆｅｎｇｅｎｓｉｓＨＯＵＺｈｅｎ－ｆｕ，ＳＨＩＹａｎ－ｐｉｎｇ，ＭＥＩＳｈｕａｎｇ－ｘｉａｎｄＬＩＹｕ＊（ＩｎｓｔｉｔｕｔｅｏｆＯｒｇａｎｉｃＣｈｅｍｉｓｔｒ...
Nanotube TiO2 is a novel kind of nanomaterials. In 1998, Kasuga et al. first found that the nanotube TiO2 can be obtained through the treatment of the powered p
ＳｙｎｔｈｅｓｉｓｏｆＮｏｒｂｏｒｎｅｎｅ－ＥｔｈｙｌｅｎｅＢｌｏｃｋＣｏｐｏｌｙｍｅｒｂｙｔｈｅＰｏｌｙｍｅｒｉｚａｔｉｏｎＭｅｃｈａｎｉｓｍＣｏｎｖｅｒｓｉｏｎ￣＊ＷＵＱｉｎｇ￣＊￣＊，ＬＵＺｅ－ｊｉａｎ，ＣＨＥＮＸｕｅ－ｘｉｎ，ＳＯＮＧＹａｎｇ...