基于有色Petri网的移动IP注册过程安全性分析

在分析移动IP注册工作机制及安全威胁的基础上,分别建立了基于有色Petri网的移动IP注册模型和攻击模型,通过推理验证了攻击的可达性,最后给出了相应的防护方法。     

递归划分的标签约束可达性计算方法

现实世界中的图往往在结点和边上包含描述信息,可达性查询是图数据管理和挖掘中的基本操作之一。针对图数据中标签约束的可达性计算问题,提出一种基于递归划分的可达性计算方法 RP-Hop。该算法基于层次划分思想,利用独立集性质,在保持标签和可达性前提下对大规模图进行递归划分,并结合贪婪扩展思想和递归编码,为标签约束的可达性查询提供压缩索引。经过合成和真实数据集上的实验,结果表明,RP-Hop算法不仅降低了索引大小和构建时间,而且提高了查询效率。     

基于仿真的飞机战损部位及备件需求确定

飞机战斗损伤部位及战时备件需求的确定对做好战时维修保障工作具有重要意义.提出了作战飞机的战斗损伤部位的确定方法,建立了飞机部件的当量模型和飞机受导弹攻击的仿真模型,确定了飞机的战伤分布规律.在确定飞机战伤分布规律的基础上,建立了飞机战伤备件和故障备件需求模型,为作战飞机的战伤研究及航材储备作了有益的探讨.     

企业动态

中国与巴西合资生产涡扇支线飞机项目合同签字仪式,12月2日下午在北京人民大会堂举行。 中国航空工业第二集团公司与巴西航空工业公司合资生产涡扇支线飞机是经国务院批准的民用飞机重大项目。此次中巴签署的合资生产支线飞机合同,主要明确了“合资总装、部件国产化、联合改进改型”三步走的合作计划,确定了中巴双方在民用飞机领域建立长期战略合作伙伴关系。按照项目计划,合资公司成立一年后     

基于专家系统的飞机致命性部件辨识方法研究

介绍了飞机致命性部件的辨识方法,尤其对该方法的核心部分,即损伤模式影响及致命性分析(DMECA)进行了详细的剖析。引用可靠性分析中比较成熟的FMECA(故障模式影响及致命性分析)思路来确定飞机的致命性部件,从而可为飞机易损性评估及战伤修复提供前提条件。通过考虑影响部件损伤率的因素(部件的尺寸大小、防护与遮挡、复杂程度等),借助系统综合评价中的关联矩阵方法,解决了DMECA分析表单中损伤率的来源问题,从而使DMECA方法切实可行。     

飞机近距发射空空导弹时安全性评估方法

以概率方法确定了飞机近距发射空空导弹时的安全性评估指标,分析了载机、导弹和目标三者初始状态,飞机轨迹等诸多因素对载机安全性的影响,同时给出了评估飞机运用空空导弹攻击目标时的安全性评估指标的原理框架。运用此模型可以解决新型飞机的安全性设计问题以及通过对现有飞机的安全性评估来改进飞机的安全性等级。     

基于改进战役优势参数的作战飞机优化配置

空军在现代战争中起着不可替代的作用,而作战飞机是空中力量的重要组成部分.在考虑信息支援和预警机的情况下,改进了多元兰彻斯特方程,并进一步导出了改进的战役优势参数.以战役优势参数为目标函数,建立了作战飞机在装备数量和采购经费限制条件下的优化配置模型,最后通过算例验证了模型的有效性.     

基于D-S证据理论的飞机空气制冷机寿命趋势分析

针对飞机空气制冷机的寿命趋势分析问题,为了提高预测精度,提出了基于改进D-S证据理论融合的飞机空气制冷机寿命趋势分析方法。分别采用SVM、BP神经网络和GRNN神经网络预测模型对飞机空气制冷机的寿命进行趋势分析;然后采用改进的D-S证据理论求取每个模型的基本信度值,可使预测效果好的模型具有更大的信度值;最后通过D-S合成法则对得到的可信度进行分析评价并合成,确立最终的组合预测模型。研究表明,经过改进的证据理论融合后的趋势预测模型,能很好地实现对飞机空气制冷机的趋势分析和寿命预测,该方法有效可行。     

基于AHP和ANP作战飞机系统效能评估

分析了影响飞机系统效能的一系列非人为因素,应用现代综合评价理论,建立了评估体系的结构模型,进行了AHP分析。通过对评估体系中的层次结构、要素的相对重要程度的计算和评价,并提出了基于ANP的进一步的理论拓展和模型改进,为飞机系统效能的评估提供了较为科学的参考依据。     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

基于路径规划的虚拟人上肢可触及性检查技术

针对目前虚拟人上肢可触及性检查操作烦琐、效率低的问题,提出一种RRT（Rapidly-exploring RandomTree）算法与逆向运动学算法相结合的路径规划方法,通过检测可行路径是否存在来实现人体上肢可触及性检查。给出了该方法的具体流程和关键问题的解决策略,并基于Jack软件进行了实例验证。     

机械系统维修性预计方法分析与应用

通过对美国及前苏联维修性预计方法的分析,确定前苏联“以类似产品的维修性多元线性回归方程作为新产品维修性预计模型”的方法为机械系统维修性预计方法.在限定的条件下,采集了装甲车辆机械系统的维修性数据,并应用这些数据进行分析得出相应的机械系统维修性预计模型.     

Helping hands: civil–military cooperation and Italy's military operation abroad

In the Post-Bipolar Era the growing complexity of the military operations requires a new approach for the resolution of international crises. Since the end of the Cold War, peace support operations (PSO) have become the mainstay and principal occupation of most Western armies. At the same time, Italy has been one of the most important actors in such an area. The article focuses on the cooperation between military and civil components (a process called CIMIC) as a key variable in the Italian PSOs. We will analyse in detail the main lessons learned from past military interventions as well as the general context in which new tendencies are taking place. The maintaining of a minimum security frame becomes essential to fulfil activities ‘collateral’ to the mission: reconstructing services and infrastructure, food distribution, water and medication, law and order, de-mining, training of local forces, and supporting local institutions. These are the main tasks to obtain thrust and support from the population.     

Terrorism,insurgency, kidnapping,and security in Africa's energy sector

Energy continues to serve as the bedrock of modern economies and the main driver of modern society. For Africa, the production and supply of energy resources such as crude oil, natural gas, uranium, coal, biomass, biofuels and other renewables are an important source of employment, rents, taxes, royalties and profits. This sector brings in several tens of billions of dollars of revenue annually. The production and delivery of such resources, however, depend on critical infrastructures such as pipelines, refineries, processing plants, terminals, rigs, electrical energy pylons, substations, pump stations, vessels, and tankers. These infrastructures have been attacked by terrorists, insurgents, vandals and saboteurs, all of whom see them as targets against which to register their grievances and extract concessions from the state. This paper is a chronological account of some of the documented incidents of terrorism, insurgency, kidnapping, destruction, sabotage, and human casualties suffered in the oil and gas sectors in Africa between 1999 and 2012. It is based on data extracted from the databases of the RAND Database of World Terrorism Incidents and the University of Maryland's Global Terrorism Database (GTD).     

A1 Qaeda and the radical Islamic challenge to western strategy

The September 11 global crisis prompted by the attacks on the World Trade Center and the Pentagon raises major questions concerning the nature and trajectory of terrorism in the post-Cold War global order. Hitherto, terrorism has been largely debated by analysts at the level of nation states. Terrorist and insurgent movements have also been largely anchored in nationalist and ethnic power bases even when they have sought to mobilise a transnational ideological appeal on religious or class grounds. There have been a few exceptions to this pattern such as the alliance between the German Baader-Meinhof group and the Japanese Red Army Faction, but even such international alliances as this did not, until at least the 1980s, presage anything like a global terrorist network necessitating a global strategic response. This study examines terrorism and global strategic responses.     

Tacit support for terrorism: The rapprochement between the USSR and Palestinian guerrilla organizations following the 1967 war

This article demonstrates the inconsistent and wavering Soviet attitude towards national liberation movements in general and the Palestinian organizations in particular. Until the late 1960s, the Soviets viewed these organizations with suspicion, hesitating to engage in political dialogue with them. However, in the 1970s, political and military events in the region, as well as modifications in the Kremlin's Cold War strategies, led to a general shift towards the Middle East in Soviet foreign policy. Soviet leaders showed increased willingness to provide certain Palestinian organizations with arms with which to conduct terrorist activities against Israeli, pro-Israeli, Jewish and Western targets. The article explores the complex relations between Palestinian organizations and the USSR in the field of international terror. The study also exposes and analyzes the nature and content of Soviet–Palestinian arms dialogues and transactions. It provides clear evidence that Soviet policymakers and other luminaries were fully informed of, and sometimes directly involved in, these transactions and dialogues at the highest levels.     

Helping hands: external support for the KNU insurgency in Burma

This article analyses to what extent the Burmese KNU insurgency made use of external support from states, refugees, and diasporas. Based on extensive fieldwork it is concluded that support from neighbouring states and refugees has for years kept the Karen rebellion alive. Western countries perceived forms of resistance to the illegitimate Burmese regime as just and have therefore played a crucial role in the continuation of conflict in Karen State. It is important that policymakers and donors as well as executing organizations continue to reflect critically on the way they exercise their work.     

基于GTST-DMLD-ESD的装备RMS建模仿真

装备的RMS是装备的重要设计参数,是影响战备完好和保障能力的关键因素.引入GTST-DMLD作为主要建模工具,建立起装备系统的RMS描述模型,以ESD为补充和扩展,对维修过程进行建模.并以GTST-DMLD-ESD模型作为装备RMS仿真的核心,对装备RMS仿真模型的总体框架进行了研究,并对各模块进行了较为详细的探讨.     

Cyber sheiks and grassroots jihadis: the war in Syria and the devolution of the Bosnian Salafi communities

ABSTRACT

What was the scope of the Bosnian jihadi participation in the war in Syria? Did the Bosnian volunteers tend to join one particular faction? Why did the Bosnian youngsters decide to join the holy war in the Levant? Was this an organized and hierarchical process or was this a grassroots movement? Last, were all the Salafis in Bosnia supportive of this dynamic or did this process cause internal frictions? These are some of the questions that this research will try to answer.