Analyzing market competition between Airbus and Boeing using a duo hierarchical graph model for conflict resolution

A duo hierarchical graph model for conflict resolution is developed to investigate market competition between Airbus and Boeing over aircraft sales in the Asia Pacific region. The duo hierarchical graph model, a significant extension of the graph model for conflict resolution methodology, contains two common decision makers, who take part in two related subconflicts, as well as local decision makers, who participate in only one subconflict. New stability definitions are proposed to describe forms of sanction unique to the hierarchical model. The interrelationships between stabilities in the overall graph model and in the two local models are investigated. Then the duo hierarchical graph model is applied to the competition between Airbus and Boeing in both the wide and narrow body markets in the Asia-Pacific region. The two types of Asian airlines have different operating strategies, so that the two markets constitute sub-competitions that can be modelled naturally using the duo hierarchical graph model. The stability results indicate a resolution for all decision makers that implies marketing strategies for the aircraft manufacturers and guidelines for aircraft purchase by the airlines. Thus, this model provides decision makers with a comprehensive understanding of the dynamics of the competition and guidance in identifying beneficial actions.     

基于SMP2的仿真模型测试方法研究

仿真模型的有效性评估一直是建模与仿真领域研究的重要课题。在工程大系统的仿真模型集成过程中,由于传统仿真模型的验证方法受到建模方法和建模语言的多样性以及模型重用语境变化的影响,使工程总体难以确定导致系统行为产生偏差的模型单元。从测试的角度以SMP2（仿真模型可移植性规范）为基础提出层次化语境驱动的仿真模型测试方法论,从测试框架的描述机制、测试框架的分解机制以及面向测试的仿真模型验证方法等三个方面讨论方法论的具体内容,为基于SMP2的仿真模型提出可测试性设计方法。     

结构VAR模型辨识的条件互信息图模型

在结构向量自回归(VAR)模型辨识的图模型中引入信息论方法.定义了线性条件互信息图,图中的结点表示时间序列不同时刻的随机变量,结点间的边表示随机变量之间存在的因果相依关系.提出了随机变量之间条件线性联系存在性的信息论检验方法.图中边的存在性用基于线性条件互信息的枢轴量检验,枢轴量的显著性用置换检验决定.用统计分析的方法确定当前变量之间联系的方向,建立了有向非循环图.最后以模拟序列为例,验证了所提出的方法是可行且有效的.     

用专家系统方法建立线性规划模型

线性规划是管理决策领域中常用的基本工具之一,我们开发了一个建立线性规划模型的专家系统原型LPES。该系统用户界面友好,面向实际生产和商业规划领域,采用规则-框架相结合的复合知识表示形式,实现了数值计算与符号处理的有机结合。本文着重介绍了其知识库系统并通过一个例子简要说明了模型综合的思想。     

反坦克导弹模拟训练器三维图形生成方法的研究

结合某种反坦克导弹模拟训练器的实际开发，在WTK(World Tool Kit)环境下，对三维图形的生成方法进行了研究。详细介绍了三维场景图的生成方法、坦克的地形匹配算法和导弹与坦克的碰撞检测方法。     

IS γα≤δ FOR GRAPHS WHICH HAVE DIAMETER TWO?

A subset of S of the vertex set of a graph G is called acyclic if the subgraph it induces in G contains no cycles. S is called an acyclic dominating set of G if it. is both acyclic and dominating. The minimum cardinality of an acyclic dominating set, denoted by 7a(G), is called the acyclic domination number of G. S. M. Hedetniemi et al. on 2000 introduced the concept of acyclic domination and posed the following open problem: Is -ya(G) < <5(G) for any graph whose diameter is two? In this paper, we give a counterexample which disproves the problem.     

电子政务的层次角色网络模型研究

针对电子政务中平行部门的业务集成问题,首先对现有角色网络模型做进一步的整理、抽象和完善,并在此基础上进行扩展,提出了层次角色网络模型(HRNM).然后将HRNM作为平行组织业务集成的管理和控制模型,提出了应用集成的体系结构及业务集成的策略.最后给出了一个基于HRNM的行政审批业务集成的实例.     

Top-level modeling theory of multi-discipline virtual prototype

Multi-disciplinary virtual prototypes of complex products are increasingly and widely used in modern advanced manufacturing.How to effectively address the problems of unified modeling,composition and r...     

基于模型的定性推理故障诊断方法研究

提出了一种基本模型的定性推理故障诊断方法 ,其基本思想是以定性推理方法为基础 ,并结合系统的模型知识进行故障诊断。首先通过建立系统部件模型的正常和故障工作模式库 ,以及用有向连接图和支路关联矩阵来建立系统的结构描述 ,然后在部件模式库中搜索满足已知条件的模式 ,来诊断出故障的部件     

A Study on Integrated Model of Decision Support Systems

1　IntroductionToday,systems integration has been becoming a challenge issue lying the front of DSStheories and applications. Numbers of new models,technologies and methods have beenintroduced to develop DSS with the developmentand inter- permeation of sy…     

面向应急管理的人工社会元建模方法

针对非常规突发事件应急管理建模的需要探索新的方法,面向应急管理的人工社会元建模方法尝试利用元模型描述人工社会基本要素,利用领域建模方法刻画应急管理领域模型,采用模型变换和代码生成支持计算实验.本文以公共卫生突发事件应急管理研究为案例,利用人工社会元建模方法构造了人工社会元模型、突发事件模型、应急管理模型,并采用仿真模型代码生成技术直接产生计算实验模型代码框架.案例的构造过程表明面向应急管理的人工社会元建模方法是一种自洽的、贴近应急管理问题研究的建模方法,可以在集成项目的工作中发挥重要的作用.     

航空发动机虚拟采办的构建和发展设想

随着飞行器对航空发动机的能力需求和发动机自身技术难度的提高,其研制的风险、周期、成本不断上升,对采办模式也提出了更高的要求。提出将发动机采办过程数字化的思路,从联合需求分析入手,运用多维缩放技术,以虚拟样机各维度的仿真模型为基础,开展一体化仿真,实现对技术方案的评估;以工作分解结构为纽带,建立技术方案、进度和费用等的映射关系,构建发动机虚拟采办的基本框架,实现物理域模型与业务域模型的有效集成,可快速预测进度和费用,提升采办评估的科学性。     

基于多层次MRF的多分辨率图像融合算法

图像数据融合的目的是恢复出分布在不同图像中的有用信息。在多层次MRF模型的基础上提出了一种多分辨率图像融合算法。该算法将定义在多层次图结构上的非线性因果Markov模型与贝叶斯SMAP(sequenti almaximumaposteriori)准则结合起来 ,弥补了MAP(maximumaposteriori)准则在多层次图结构上计算不合理的缺陷。实验部分中 ,对两种算法用于被高斯白噪声污染的合成图像的恢复结果进行了比较 ,并将该算法用于实际的多分辨率航空图像。实验结果表明了该算法的优越性。     

供应链信息流管理结构及评价

用图论中的标号图构建了供应链信息流管理结构的数学模型,给出信息集成图、信息集成块和信息集成度的概念,提出了供应链信息集成的一种新模式,并对这种新的信息集成模式的特征和优点进行了分析,与已有的信息流管理模式进行了比较。     

基于IDEF3 的业务过程仿真模型的存储与获取

模型的集成和重用是提高仿真建模效率的有效方法,而模型的存储和获取是实现模型集成和重用的关键技术.在研究基于IDEF3的业务过程仿真建模的基础上,分析设计了相应的数据库概念模型,实现了仿真模型在关系数据库中的存储及与描述模型在数据上的共享和集成.然后,重点研究了如何通过结构化参数化的查询从模型库中获取用户想要的特定仿真模型,提出了综合考虑模型基本元素、基本模块、基本属性和整体结构的计算仿真模型相似性的算法,并开发了相应的支持软件工具.     

武器装备体系概念建模与分析验证

探讨了武器装备体系概念建模与分析验证技术。提出了武器装备体系概念建模的基本原则,以及概念建模的三要素。提出了功能-能力层次图与实体结构层次图两个建模框架。分析了一些常见建模工具的优缺点。最后介绍了几种典型的概念模型分析验证手段。     

线控系统协调优化模型及其改进粒子群算法研究

为合理控制线控系统,控制参数应协调设置.本文基于分层递阶技术优化设计控制参数.首先将元胞传播模型(CTM)进行改进,考虑出口道车队离散延误,建立干线路段及交叉口分流、合流交通流模型,使CTM适于网络交通流分析.然后,针对线控系统现状研究忽视共用周期优化的问题,基于控制参数间的相依关系,考虑上、下行相位差关系,建立两级递阶控制模型;协调级根据主次干道车流状况,以系统总延误最小为目标同时优化共用周期和双向相位差;控制级优化绿信比使所控交叉口延误最小.同时,采用分段变化的惯性因子选择机制改进粒子群优化算法.最后,将协调优化模型及其粒子群算法应用于某仿真线控系统,比较研究发现协调控制效果良好.     

基于Multi-Agent的面向过程混杂系统的集成技术

基于 Multi-Agent提出了面向过程的混杂系统的集成框架 ,设计了用于该框架的单个 Agent的基本模型 ,分析了异构 Agent之间的关系 ,给出了一种新颖的 Agent变迁策略 .该框架能有效地刻画复杂过程控制系统的动态行为 ,便于系统的分析和设计 .     

COMPARISON OF THE ANALYTIC NETWORK PROCESS AND THE GRAPH MODEL FOR CONFLICT RESOLUTION

1. Introduction A strategic conflict is a situation in which two or more decision-makers are to make a decision that affects issues they have different preferences about (Fang et al. 1993). Conflicts are one of the most characteristic attributes of human societies. Various forms of strategic conflict exist all around us, in areas such as environmental management, international rela-tions, economic competition, and relationships among individuals. Conflicts are studied in a wide range of disci…     

组件化的变结构Petri网建模仿真方法

Petri网模型建立后,其结构相对固定,不易描述实际系统结构的动态变化。借鉴软件组件的设计思想,提出了组件化的变结构Petri网的描述规范、组合机制和仿真方法,实现了仿真运行中Petri网结构的动态变化。该方法增强了Petri网模型的重用性,支持层次化建模,便于实现与其他模型的集成,提高了Petri网的建模仿真能力。