多维运动平台对武器发射精度的影响及修正

根据运动学原理推导了六维运动平台对发射精度影响的较精确数学模型(经弹导方程验证),给出了修正或控制的方法,指出现行修正方法的缺陷和适用条件。

某型飞机武器发控通道测点选择方法及应用

测点选择是故障诊断的前提。通过对信号和故障模式之间关系的分析,建立了武器发控通道系统关系模型和相关性矩阵,以构造衡量测点优劣程度的启发式函数为基础,设计了一种启发式测试优化方案,运用遗传算法求解最佳测点集。仿真结果表明,该方案能够有效地提高某型飞机武器发控通道故障诊断效率。

基于系统理论过程分析的软件安全性需求分析与验证方法

针对传统系统理论过程分析(STPA)方法缺乏自动化实现手段、自然语言结果分析存在歧义性的问题,提出一种基于STPA的软件安全性需求分析与验证方法。首先,提取软件安全性需求,并利用算法将其转化为形式化表达式;其次,建立状态图模型来描述软件安全控制行为逻辑,并将其转化为程序可读的形式化语言;最后,采用模型检验技术进行形式化验证。结合某武器发射控制系统案例验证了方法的有效性,结果表明,该方法能够实现安全需求分析的自动化生成与形式化验证,解决了传统方法对于人工干预的依赖问题及自然语言描述问题。

Fracture of the humerus caused by a slingshot projectile

Unconventional and ＇non-lethal＇ weapons are being used in crowd control regularly nowadays. The use of these arms is not risk-free. The paramilitary forces in 2010 used the old fashioned slingshots for crowd control in Kashmir. A young male suffered from a fracture of the distal humerus due to a marble from a slingshot. He was managed by debridement and plaster splintage. Use of apparently innocuous weapons for crowd control is not without risk, as the projectiles fired from them can achieve high velocities and cause significant damage.