嵌入式浏览器中SSL的设计与实现

针对嵌入式浏览器信息传输的安全性问题和嵌入式软件的特点,介绍了SSL协议,提出了一种在嵌入式浏览器中实现对SSL协议支持的方法.通过分析影响SSL协议客户端性能的因素,对SSL的实现过程进行了适当的优化,使用会话恢复机制、只对服务器进行验证的简单握手模式、减少TCP调用次数和优化对批量数据加密算法等方法,实现了嵌入式浏览器对SSL协议的支持;并介绍了方法在嵌入式浏览器JARI_Browser中的实现过程.实际的应用验证了该方法的可行性和正确性.     

“This program will not be a threat to them”: Ballistic Missile Defense and US relations with Russia and China

Although the Obama Administration has differed from its predecessor in a number of respects, on the specific issue of Ballistic Missile Defense (BMD), there is a striking continuity. The Obama Administration has remained committed to the BMD project, even as it has modified the schedule of deployments and prioritized different systems from the Bush Administration. Significantly, this has led to Chinese and Russian balancing in the nuclear sphere. As a result, there is evidence of a security dilemma-type dynamics in US relations with China and Russia. At present, there is no study that analyzes Russian and Chinese hard internal balancing against the USA in the sphere of missile defense during the Obama Administration. This article fills this gap.     

Pakistan’s nuclear weapons: how safe is safe enough? Transparency versus opacity

Due to expanding and increasing religious extremism and terrorism coupled with political instability in Pakistan, most western observers believe that Pakistan's nuclear weapons are not secure and could be taken over by terrorists. This would have adverse implications for the region and for global peace, especially for the security of USA and Europe. This article argues that this perception is based on a flawed understanding and knowledge of how Pakistan's command and control setup has evolved and operates. Pakistan's nuclear weapons are as safe as any other state's nuclear weapons. Pakistan has also been active in supporting and participating in global efforts to improve nuclear safety and security. Over the years, Pakistan has been quite open in sharing information regarding how it is improving its command and control system with western governments as well as scholars. This article argues that the steps Pakistan has taken to secure its nuclear weapons are adequate and that Pakistan would continue to further strengthen these measures; however, it is the expanding religious extremism, terrorism and anti-Americanism in the country which make the international perception of Pakistan extremely negative and then seep into the perception of Pakistan's nuclear weapons safety and security.     

Strategic “defensivism” and post-reset blues: US–Russian nuclear arms reductions,missile defenses and minimum deterrence

US nuclear deterrence and arms control policy may be moving, by design and by inadvertence, toward a posture of strategic “defensivism”. Strategic “defensivism” emphasizes the overlapping and reinforcing impact of: (1) reductions in US, Russian and possibly other strategic nuclear forces, possibly down to the level of “minimum deterrence,” (2) deployment of improved strategic and/or theater antimissile defenses for the US, NATO allies and other partners; and (3) additional reliance on conventional military forces for some missions hitherto preferentially assigned to nuclear weapons. This article deals with the first two of these aspects only: the interaction between missile defenses and offensive force reductions in US–Russian strategy and policy. The findings are that stable deterrence as between the USA and Russia is possible at lower than New Strategic Arms Reduction Treaty levels, but reductions below 1000 deployed long-range weapons for each state, toward a true minimum deterrent posture, will require multilateral as opposed to bilateral coordination of arms limitations. Missile defenses might provide some denial capability against light attacks by states with small arsenals, but they still fall short of meaningful damage limitation as between powers capable of massive nuclear strikes.     

飞机再次出动保障活动设计方法

飞机再次出动保障活动所需时间长短对提升飞机的作战效能至关重要,针对当前在飞机保障资源有限约束条件下,再次出动保障活动工期最短难以实现的难题,提出了基于分支切割法的再次出动保障活动时间优化方法。该方法以飞机再次出动保障活动所需时间最短为目标,以有限的保障人员和保障作业间逻辑关系为约束条件,可计算出时间最短的飞机再次出动保障活动具体流程,并用VB6.0编制成计算机程序,开发了飞机再次出动保障活动分析系统。最后,对某型飞机真实保障活动进行了实例分析,结果表明,使用该方法计算得到的结果准确、可靠,与实际保障情况相符,可为飞机再次出动保障与决策提供指导,提升保障活动的自动化水平,具有很好的工程应用价值。     

无人机配载弹射式导弹静稳定性分析

通过刚体飞行六自由度动力学方程建立弹射式导弹初始段无控飞行模型,并结合弹射装置动力模型和导弹发动机推力模型进行仿真计算。基于无控飞行模型和仿真结果分析了无人机配载弹射式导弹发射特性,在导弹初始飞行段对机弹分离安全性和导弹姿态控制要求进行了研究。对导弹不同静稳定度下的运动特性对比分析,分别给出了满足各种安全和控制要求的导弹静稳定度范围。进一步综合所有安全和姿态控制要求,得到了满足所有要求的最佳静稳定度。经过一个实例的仿真研究,结果表明建立的模型与所用到的方法是合理有效的。     

电传操纵系统可靠性分析及飞行安全评估

分析了电传操纵系统可靠性,介绍了可靠性设计的工程方法。建立了飞行员排除故障的数学模型,提出了确定驾驶员排除飞行危险的条件概率的两种方法;在研究人-机闭环系统基础之上,建立了基于马尔可夫链的飞行安全评估模型,提出了由于飞行控制系统故障引起飞行危险的安全评估计算方法。最后以横向通道传感器故障为例对某型飞机进行安全评估。     

一种管道机器人电磁离合器的设计

针对管道检测作业安全性问题,研制了一种确保管道机器人可安全退出管道的电磁离合器。该离合器直径Φ42mm,长220mm,动作行程10mm,结构紧凑,可传递较大转矩。详细介绍了电磁离合器机构及其工作原理,分析计算了磁路与线圈发热量,应用拉格朗日-麦克斯韦方程推导出了该机构吸引力关于气隙长度的关系式,并通过有限元仿真软件对理论计算结果进行验证,对挡铁长度进行优化,最终依据理论结果研制了试验样机。