基于CA与MAS的军用装备维修保障建模仿真

在装备维修保障建模仿真中引入元胞自动机(CA)与多智能体系统(M A S),提出了基于CA与M A S的装备维修保障系统双层结构建模框架,设计了系统的环境模型和主要A gen t模型。采用N etlogo平台开发了装备维修保障仿真系统,通过实例仿真分析了不同维修协作策略对系统整体效能的影响方式及程度,得出信息化条件下通过实施区域化的协作保障可以提高维修保障效率、节约维修资源的结论。     

装备保障计划本体的建立和分析

基于本体论方法形式化地探讨装备保障计划本体的建立和分析,具体介绍了机械化步兵师装备保障计划本体的建立方法、本体元素的描述、本体的一致性等方面的内容。给出两个判断类间关系一致性的算法并分析其性质,探讨了基于公理化的知识的一致性。     

软件质量保证技术研究综述

概述了软件可靠性研究的必要性 ,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等 5个方面给出了软件质量问题的解决办法 ,并对所研究的成果做了介绍 .最后指出了在统计测试、形式化方法方面有待进一步研究的问题     

一种基于规则的OWL-S本体语法一致性维护方法

OWL-S本体语法一致性维护是语义Web服务维护工程中需要重点研究的问题.提出一个一致性维护框架指导知识工程师进行OWL-S本体语法一致性维护,定义并抽象出OWL-S本体基本变化,提出变化关联矩阵分析基本变化间的依赖关系,基于关联矩阵提出额外变化序列生成算法分析基本变化对全局的影响,并分析了算法时间复杂性.对OWL-S本体语法一致性规则进行了形式化定义,使机器能够自动检测这些规则,辅助知识工程师完成OWL-S本体语法一致性维护工作.     

反导作战预案形式化建模研究

反导作战预案是提高作战决策方案生成实时性和准确性的关键.通过对反导作战预案具体应用流程的分析,结合SysML,OWL_DL和CBML等形式化建模语言,提出了一种具有模型验证环节的预案形式化建模方法;根据所提出的方法,分析提炼了反导作战预案构成要素,定义了SysML块定义图、预案要素、OWL_DL和XML Scheme元素之间的映射规则;依据相应的转换规则,分别建立了反导作战预案概念层模型、逻辑层模型、物理层模型和预案本体模型,并应用预案本体模型对概念层模型进行了模型一致性验证.     

多Agent系统中Agent计算的能力理论

能力是规范Ａｇｅｎｔ的一个重要抽象概念。本文提出了规划树概念以刻划在动态、不确定的多Ａ－ｇｅｎｔ系统中Ａｇｅｎｔ如何通过对其规划进行合理、有效的组织来实现其任务、维护某些条件。基于规划树概念,本文给出了能力概念的形式化语义定义,获取和描述了它的一些重要属性。     

当前火灾调查区域协作机制的思考

从新时期火灾调查工作的实际出发,阐述了火灾调查区域协作机制的含义、构成及范畴,在此基础上,分析了火灾调查区域协作机制应用中可能出现的问题和难点,提出了规范和加强火灾调查区域协作机制的具体建议。     

基于组件的CSCW系统协作多用户界面模型

简要阐述了研究协作多用户界面模型的必要性,介绍并分析了几种传统的用户界面模型,提出了协作多用户界面的结构模型,重点阐述了协作多用户界面结构模型的建模原则、模型组成以及界面模型中各个组件间的关联,分析和比较了传统用户界面模型与协作多用户界面结构模型的不同。     

基于面向对象思想的作战单位形式化描述方法北大核心

为了使各军事仿真系统一致地理解作战单位的含义和能力,对作战单位的形式化描述方法进行了深入的研究,提出了一种基于面向对象思想的作战单位形式化描述方法。首先,分析作战单位的属性和构成,对其属性进行抽象和封装,得到作战单位类的静态属性,进而形成作战单位的描述规范;然后,为了使其可以在不同分辨率的系统平台上应用,在描述规范的基础上,采用聚合方法对作战单位之间的动态关系进行描述,得到作战单位类的动态方法,并给出了适用于该描述规范的作战单位聚合方法;最后在一体化仿真系统中应用了所提出的作战单位描述方法,证明了该描述方法的可用性和有效性。     

C4ISR体系结构服务视图产品描述方法

针对原有的C4ISR体系结构描述中军事资源系统之间紧密耦合难以适应作战视图中作战任务过程动态变化的问题,结合面向服务的思想对原有的体系结构描述框架进行了扩展.为了保证C4ISR体系结构数据一致性,在底层体系结构基本数据元素模型分析的基础上通过服务元素之间以及原有的体系结构数据元素之间的关系,确定C4ISR体系结构服务视图描述框架,并对服务视图产品的描述内容、涉及的数据元素以及产品的形式化定义进行了分析,最后通过分析服务视图产品形式化定义之间的逻辑关系确定了服务视图产品之间的关系.     

基于灰色时序的完整性规范技术

计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。     

GSEIB 软件工程信息库图形规范子系统的设计与实现

软件信息库是集成化软件工程环境的核心。本文给出了一种图形化的软件过程与产品（ｓｏｆｔｗａｒｅｐｒｏｃｅｓｓａｎｄｐｒｏｄｕｃｔ）规范语言及其支撑环境的设计与实现。采用这种规范语言可对给定的软件开发项目进行规划,据此自动产生定做的软件信息库,从而真正反映和支持该软件工程项目的开发。     

探索性分析工具EASim的设计与实现

探索性分析是一种研究深度不确定条件下复杂高层问题的分析方法.为使其能够有效地解决实际问题,需要探索性分析工具的支持.国内目前的探索性分析工具大都是面向特定应用开发的,缺乏规范化的探索性分析模型描述方法.采用扩展影响图作为探索性分析模型的统一描述规范,自主开发了通用型探索性分析工具EASim.介绍了EASim的功能结构、...     

GSPN的分析方法及其应用

随着计算机和信息技术的发展,广义随机Petri网(G SPN)作为一种图形化的建模工具,不仅可以对系统进行形式化的描述和快速原型开发,而且由于其具有坚实的数学理论基础,可以对系统进行正确性验证和性能评价,因此在系统的设计过程中,得到了广泛的应用。基于结构分析方法、可达图分析和数值分析方法讨论分析了G SPN,并给出了具体的算例,最后讨论了G SPN的应用领域。     

The Un-Holy Russo-Chinese alliance

ABSTRACT

This essay argues that a Sino-Russian alliance has come into being over many years of the two states’ evolutionary policies. Although Vladimir Putin has emphasised that this is a multi-faceted relationship, this essay focuses exclusively on its military dimension. It comprises extensive inter-ministerial and inter-governmental cooperation, arms sales, joint exercises, and shared political orientation. While it may not be a formal alliance like NATO research, e.g. by Alexander Korolev, indicates that in general experts argue that what they have achieved is even better than an alliance.     

Measuring Military Professionalism in Partner Nations: Guidance for Security Assistance Officials

The U.S. spends billions of dollars in its security cooperation program to develop “professional, accountable, and capable security forces” in other nations, part of a grand strategy to improve global stability and counter violent extremism. Despite its great investment in professionalizing foreign militaries, however, the U.S. has no functional definition of military professionalism – a term that until now has been considered too vague and multi-faceted to operationalize. In this article, the author seeks to remedy this oversight, drawing from twenty years of security cooperation fieldwork in Latin America and Africa, as well as a vigorous literature review, to define four important components of military professionalism: (1) formal military education and vocational training, (2) military subordination to elected civilian officials, (3) knowledge and practice of the law of armed conflict and human rights law, and (4) a clearly established program of professional military ethics. This article provides guidelines for U.S. and European officials who work with partner nations to develop more professional military forces and, in particular, for officials managing security assistance programs with developing countries.     

When ties do not bind: the failure of institutional binding in NATO Russia relations

Russia and NATO have failed to establish binding institutional arrangements and they are now locked in increasingly dangerous security competition. A closer look at two issue areas where their efforts at binding have failed—NATO enlargement and missile defence—shows that Russia and NATO find themselves facing a ‘catch 22’. They need binding arrangements to overcome the relative gains problems that inhibit security cooperation, yet their concerns about relative gains prevent them from establishing these arrangements in the first place. To overcome this dilemma, NATO and Russia have to craft binding arrangements that seriously address each side’s concerns about relative gains. Less formal and institutionalized binding arrangements may better serve this goal. Such arrangements will not put an immediate end to security competition, but they will help them build a higher level of trust, allowing them to gradually develop deeper and more comprehensive binding arrangements.     

A model of the international arms market∗

Sales of arms are a significant component of international trade and raise a range of pressing policy issues. After a short review of the market, this paper provides a formal model of the trade which allows for competing forward‐looking suppliers whose welfare depends on both the economic benefits from the sales and the security repercussions of recipient behaviour. The recipient's behaviour depends on its military capability, a function of the stock of arms it has acquired. We first examine a myopic recipient, whose behaviour depends on current stocks, then a forward looking recipient for whom questions of the time‐consistency and the credibility of supplier threats to embargo or promises to resupply become crucial. Finally we examine the impact of supplier cooperation of the sort currently being discussed in the UN Security Council.     

基于截尾正态分布的最大值指标精度换算方法

提出了基于截尾正态分布的最大值指标精度换算方法,为最大值指标与常用精度指标间的精度换算,以及真值测量系统精度指标的确定提供了参考依据。该方法假设系统输出序列中各观测点的合格概率服从对数截尾正态分布;根据给定最大值指标的置信水平及序列样本量,证明并推导了截尾正态分布之截尾上限、截尾下限、均值及标准偏差的计算公式,导出了最大值精度指标与 等常用精度指标间的换算关系,最后结合精密仪器有关理论给出了最大值指标下真值测量系统精度指标的确定方法。实例应用的实验结果表明,该方法是可行的。