THE MORAL PERMISSIBILITY OF AUTOMATED RESPONSES DURING CYBERWARFARE

Automated responses are an inevitable aspect of cyberwarfare, but there has not been a systematic treatment of the conditions in which they are morally permissible. We argue that there are three substantial barriers to the moral permissibility of an automated response: the attribution, chain reaction, and projection bias problems. Moreover, these three challenges together provide a set of operational tests that can be used to assess the moral permissibility of a particular automated response in a specific situation. Defensive automated responses will almost always pass all three challenges, while offensive automated responses typically face a substantial positive burden in order to overcome the chain reaction and projection bias challenges. Perhaps the most interesting cases arise in the middle ground between cyber-offense and cyber-defense, such as automated cyber-exploitation responses. In those situations, much depends on the finer details of the response, the context, and the adversary. Importantly, however, the operationalizations of the three challenges provide a clear guide for decision-makers to assess the moral permissibility of automated responses that could potentially be implemented.     

大学英语课堂教学存在的主要问题及应对策略

课堂是学员语言学习实践的重要场所,无论科技怎样发展,教学如何改革,英语课堂教学仍有不可替代的作用。通过调查研究和教学实践发现,武警初级院校的大学英语课堂活力不足,学员学习热情不高。针对这一现象进行原因分析和探究,找到了激活英语课堂气氛的应对策略,便于指导教学实践。     

基于CFD方法的典型防空导弹气动反设计研究

建立了基于计算流体动力学(CFD)的防空导弹气动反设计方法,对世界几种典型防空导弹气动外形进行了反设计研究,计算了气动特性参数,进一步通过综合对比,剖析了气动布局以及气动外形的主要特点,最后给出了总结和启示,可作为工程设计的有益参考。     

调频连续波ISAR目标微多普勒特征分析

分析了调频连续波逆合成孔径雷达(FMCW-ISAR)的回波信号特性,讨论了脉冲持续时间内目标连续运动引起的多普勒频移对成像的影响,推导出导致一维距离像主瓣展宽和走动的相位因子,并进一步研究了该相位因子对基于调频连续波逆合成孔径雷达的目标微多普勒特征的影响,在此基础上讨论了调频连续波逆合成孔径雷达目标微多普勒特征与脉冲式逆合成孔径雷达目标微多普勒特征的主要区别.最后的仿真试验验证了理论分析的正确性.     

反解法在再入机动弹道设计中的应用研究

简要分析了一般的再入机动弹道设计方法,即正解法.针对正解法对模型依赖性强和对初值非常敏感的问题,提出了一种基于误差补偿的机动弹道设计方法——反解法.该方法从弹道终端出发反解弹道,将计算结果误差转化为机动点参数误差,再通过关机点或中制导的调整进行误差补偿,从而有利于命中精度和打击效果的实现.仿真结果表明,该方法计算简便,对工程应用有一定的参考价值.     

高速互联线的高频串扰仿真研究

为了研究PCB板上高速互联线之间的串扰,基于传输线分布参数节点导纳方程和快速傅里叶逆变换技术,仿真研究了PCB板布线间的串扰电压响应,分析了分布参数、线长度及端接阻抗对串扰强弱的影响,提出了减少串扰的措施。仿真结果表明：串扰电压值随分布电感的增加而减小,随分布电容的增加变化不明显;串扰电压值随线长增加而减小;串扰电压值随干扰线端接阻抗的增加而减小,随受扰线端接阻抗的增大而增大。     

基于逆动力学分析的履带车辆行驶路面测量方法研究

履带车辆行驶路面多为山地、丘陵等非人工构筑路面。以该类行驶路面为研究对象,利用Kane-Huston方法对履带车辆进行逆动力学分析,给出履带车辆行驶路面的测量原理,在此基础上设计一种间接进行行驶路面测量的方法,并在某车辆试验场预设行驶路面进行实地测量。通过测量结果的计算和比较,证明该方法是切实可行的。     

有限群的极大子群的正规指数

有限群的结构与其子群性质间的关系问题是群论的一个重要研究方向,通过群的极大子群、正规子群、半正规子群、极大子群的正规指数等去研究群的可解性,超可解性、幂零性等,已有一系列结果.应用极小反例方法,利用有限群极大子群的正规指数,得到了一个有限群是π-可解群的充分条件,2个有限群是π-可解群的充分必要条件.     

二次型极小化问题带误差的迭代算法

证明了二次型极小化问题带误差的迭代算法的有效性,所得结果推广了关于二次型极小化问题迭代的收敛性。     

中继卫星调度问题的CSP模型

中继卫星在地球同步静止轨道上运行,既能直视中、低轨道用户航天器,又能直视地面站,是沟通用户航天器与地面站的桥梁。中继卫星调度问题是一类非常重要的调度问题。基于约束满足理论,通过分析中继卫星调度问题的特点与约束条件,建立了中继卫星调度问题的CSP模型。利用卫星工具箱STK进行模拟仿真,对CSP模型进行了求解。结果表明,所建立的CSP模型是合理的。