一种面向对象类级状态测试的形式化方法研究

面向对象的软件开发给测试带来了新的挑战,传统的测试技术不能直接用于面向对象的软件测试中,必须对其进行扩充和完善.类级测试是面向对象测试过程中的一个重要阶段,而类状态的测试是类级测试的核心.作者将扩充后的黑盒测试技术应用到类状态的测试过程中,可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化.最后,通过一个实例说明对类级状态的测试及其测试用例的生成.     

支持广义多方案分析仿真的异地克隆研究

仿真克隆可以提高并行离散事件仿真的效率和并行性,方便快捷地对仿真中的多种可能性进行分析、比较和评估.给出广义多方案分析仿真概念,介绍仿真克隆的相关概念,分析当前仿真克隆方法的不足,提出提高广义多方案分析仿真整体运行效率的异地克隆概念.基于检查点与恢复方法,在动态并行仿真引擎中实现了异地克隆.利用Phold测试程序对异地克隆方法的效率进行测试,测试结果表明,异地克隆可以提高多方案分析仿真系统整体运行效率.     

电视制导系统抗干扰性能评估

提出了一种空地电视制导导弹图像传输系统抗干扰评估的总体框架,建立了电磁干扰条件下系统的抗干扰评估的空间模型。而后基于有限状态机理论,建立了电视制导导弹图像识别模态转换模型,详细讨论了典型干扰对电视图像数据链的影响。最后,应用计算机仿真技术,得到制导系统在不同信噪比条件下导弹的最大作用距离和图像干扰效果。     

动基座条件下垂直发射装置状态参数检测方法

针对在海上动基座条件下舰载垂直发射装置的安装精度和发射架导轨状态参数的检测问题,在分析其技术难点的基础上,提出了利用测距仪差分原理实现对水平误差的检测;采用数字激光自准直仪解决发射筒各架体的垂直度测量。并通过对该检测方法进行的不确定度分析与计算,验证了该检测理论的正确性。     

Supercritical carbon dioxide as a new working medium for pneumatic launch: A theoretical study

Compared with the conventionally gaseous or liquid working media, the specific internal energy of supercritical carbon dioxide (SCD) is higher at the same temperature and pressure, and the critical temperature of carbon dioxide is close to room temperature, making SCD a potential new working medium for pneumatic launch. To analyze the feasibility of this conception, an analytical model of a pneumatic catapult is established on basis of the conservations of mass and energy. The model consists of a high-pressure chamber and a low-pressure chamber connected by multiple valves, and there is a movable piston in the low-pressure chamber that can push an aircraft to accelerate. The effects of the launch readiness state of SCD in the high-pressure chamber, the initial volume of the low-pressure chamber and the valve control on the movement of the aircraft are analyzed. It is found that there is a restrictive relation between the temperature and pressure of the launch readiness state of SCD, i.e., there is a maximum allowable launch readiness pressure when the launch readiness temperature is fixed. If this restrictive relation is not satisfied, the working medium in the low-pressure chamber will drop to its triple point within a few milliseconds, leading to a launch failure. Owing to this restrictive relation, there is an optimal launch readiness state of SCD with the highest working capacity for any allowable launch readiness temperature. The pressure of the low-pressure chamber will decrease significantly as the initial volume increases, leading to a decreased acceleration of the aircraft. The ac-celeration can be controlled below a critical value by a designed sequential blasting technique of multiple valves. The calculated results show that a 500 kg aircraft can be accelerated from 0 to 58 m/s in 0.9 s with 36 kg of carbon dioxide. This research provides a new technique for the controllable cold launch of an aircraft.     

The ligaments of counter-terrorism regime: sexual violence and the vicarious traumatisation of female non-governmental organisation workers: evidence from Nigeria

ABSTRACT

There is a dearth of studies on indirect victims of sexual violence in counter-terrorism efforts. Using Nigeria as a case study, this paper argues that global and state-level counter-terrorism policies have generally failed to account for the psychological effects of the engagement of female NGO workers in counter-terrorism operations or mitigating the effects of terrorism in conflict zones. Specifically, there has been an increase in sexual violence perpetrated by some members of the security agencies involved in counter-terrorism operations in North-eastern Nigeria. As a result, female NGO workers carry out Medicare, psychosocial counselling and advocacy for these victims. Female NGO workers become exposed to the trauma of victims of sexual violence, which affects their mental health and thus performances in counter-terrorism activities in the country. This altered their worldview on issues of safety even among secured locations or among the presence of security agents and reinforced feelings of powerlessness.     

The Ethics of Cyber Attack: Pursuing Legitimate Security and the Common Good in Contemporary Conflict Scenarios

ABSTRACT

Cyber attack against Critical National Infrastructure is a developing capability in state arsenals. The onset of this new instrument in national security has implications for conflict thresholds and military ethics. To serve as a legitimate tool of policy, cyber attack must operate in accordance with moral concerns. To test the viability of cyber attack, this paper provides a new perspective on cyber ethics. Cyber attack is tested against the criteria of the common good. This involves identifying the four core components of the common good from a conflict perspective: respect for the person; social wellbeing; peace and security; and solidarity. The fate of these components is assessed in relation to the six key characteristics of cyber attack from a moral standpoint: security; the role or absence of violence; discrimination; proportionality; cyberharm; and the threshold of conflict. It is concluded that the common good must be incorporated into developing state cyber strategies.     

US grand strategy and the origins of the developmental state

ABSTRACT

Scholars have credited a model of state-led capitalism called the ‘developmental state’ with producing the economic miracles of Japan, South Korea, and Taiwan. This article examines how the developmental state was shaped by the Cold War. US grand strategy focused on accelerating economic development among allies that were under the greatest threat from Communist China and North Korea. American aid agencies became involved in the process of state-building in Japan, South Korea, and Taiwan and supported economic planning. I verify this claim by contrasting US policies on Taiwan with US policies in the Philippines, which faced a weaker Communist threat.