多色集合及其在概念设计产品模型形式化描述中的应用

首先介绍了多色集合的主要思想和基本概念 .然后将多色集合应用于概念设计产品模型( CDPM)形式化描述中 ,以获得便于计算机仿真的 CDPM数学描述 .     

基于多AGENT联合意图的反潜编队仿真模型研究

分析了反潜编队的协同作战过程,提出了编队多Agent的形式化描述方法,给出了单个兵力Agent的行为模型,包括组成结构和控制策略.提出了多Agent联合意图的六元组模型,并应用于舰艇和直升机协同反潜过程进行了形式化描述.采用黑板模型,实现多Agent兵力的战场态势和作战状态共享;基于有穷状态自动机,给出了多Agent兵力协同作战过程描述模型.最后,指出多Agent联合意图理论在计算机兵力生成方面,尤其是兵力协同作战研究方面,具有理论和方法可行性和可实现性.     

基于描述逻辑的C4ISR系统体系结构一致性验证方法

综合电子信息系统的体系结构开发涉及多视图产品集成,容易引发视图之间的信息不一致性问题。引入描述逻辑形式系统,对视图中的关键元素进行形式化处理,将体系结构模型转化为描述逻辑知识库,进而借助描述逻辑推理系统,推理判断体系结构产品中存在冲突或矛盾的信息。实验证明,该方法不仅具有完备的形式化理论基础,而且自动化程度高。     

基于Z的虚拟加工仿真环境规范技术研究

对虚拟加工仿真环境模型的规范化技术进行了研究,针对虚拟加工仿真环境的快速创建和不同平台之间模型共享需求,分析并提出采用Z语言描述虚拟加工仿真环境中的几何模型、逻辑模型和机构模型的要素定义及形式化表达方案,用于保证模型描述的严谨性和无二义性,通过实例验证了机床模型形式化表迭方案的有效性.规范描述的实现方法选用中性文件,易于理解和实现.     

基于MSDL和C-BML的想定形式化描述

作战想定的形式化描述是将概念模型转化为计算机可以识别的数据形式,统一的形式化标准对提高想定的可重用性以及作战领域的互操作性具有重要意义。首先,简单介绍了军事想定定义语言MSDL和联合作战管理语言C-BML,然后提出了一种基于MSDL和C-BML的想定形式化描述方法,为我军形成规范的作战想定描述提供一定的参考价值,最后采用这种描述方法开发实现了一个想定生成系统。     

复杂产品虚拟样机描述中的多粒度建模方法

多粒度建模是支持虚拟样机可扩展、可演化建模的一种新方法.为支持从不同层次、不同粒度上进行复杂产品虚拟样机模型的描述,提出了多粒度建模框架,研究了多粒度建模的通用方法,多粒度模型的形式化表示及数据描述格式,在此基础上,给出了多粒度模型的建立过程及关键技术.     

虚拟样机一体化建模方法研究

虚拟样机在协同设计过程中的核心是虚拟样机模型，虚拟样机模型负责提供一个特定产品全寿命周期设计过程中各个侧面的信息，是虚拟样机研究的主要领域之一。本文首先对虚拟样机模型当前的研究现状进行分析。在对虚拟样机一体化模型的基本特点进行介绍的基础上，提出了VIM形式化模型描述方法。     

基于多Agent系统网管模型的形式化建模

运用多Agent系统实现分布、自治的网络管理是构造下一代网络管理系统的一条全新思路。然而,大多数基于多Agent系统的网管模型均采用非形式化的方法进行描述,容易造成人们对模型理解的歧义性和在系统开发过程中的随意性。一种利用有色Petri网对分布式网络管理模型进行形式化建模的方法被提出。利用该方法所建立的形式化模型,能够对分布式网管模型中多Agent系统的组成结构和运行机制进行全面刻画,能够描述模型中用到的Agent的各种特性。     

使命空间模型研究初步

使命空间模型(MSM)是使命空间概念模型(CMMS)的核心问题,是军事仿真领域的重要问题,是作战人员对真实世界军事行动的形式化规范描述,它描述了军事领域中过程、实体、环境、交互和任务。文中首先对MSM中经常使用的一些概念进行了阐述,接着介绍了MSM开发中的上下文、数据的收集和形式化及公共的语义和语法,给出了使命-阶段-任务的三层分解机制,最后结合一个攻击机场的实例进行了使命分解。     

基于XML的作战方案形式化描述

作战方案的形式化是实现作战指挥自动化的基础之一,也是实现作战方案仿真评估的前提。本文通过分析作战方案的组成要素,分别运用EATI方法和XML方法对作战方案进行结构化与形式化描述。构建了作战方案类,在对作战决心进行形式化描述的基础上,逐步细化,完成对作战方案的形式化描述,对于推动和促进作战指挥自动化的发展具有一定的参考价值。     

一种军事仿真概念模型的定性反馈表示方法

军事仿真是一个复杂系统,良好的概念模型设计是系统开发的正确性保证,为了便于军事领域专家和系统开发人员交流,提出一种定性反馈表示方法,在基于HLA的军事仿真概念模型设计中引入定性反馈方法表示联邦成员数据交互关系,可以直观表示出各联邦成员的静态和动态关系,为实际仿真系统的开发建立基础。     

面向Agent的导弹作战仿真概念模型设计

以面向Agent的方法为基础,通过概念模型设计来描述导弹作战仿真建模,实现问题域的表达。通过分析概念模型的表达要素,利用一系列规范形式来描述所建立的Agent模型及其扩展模型。提出一种面向Agent的概念化范例指导导弹作战仿真概念模型的分析和设计,并给出详细的过程与步骤。与其他现有面向Agent方法比较,此构造概念模型的技术能够在导弹作战仿真建模之初就抽象出系统中的实体、实体活动、实体间的交互等要素,直接反应在概念模型中,为系统仿真提供了一套行之有效的概念建模方法。     

Enabling Network System (ENS)

Certain developments in our understanding of language, cognition, and conceptual processes are leading to novel implementations of information technology and the emergence of new families of computer software. This paper outlines the design of one such system and describes the sort of consensual coordinations of actions that this system enables. Implementation of the ENS entails a novel way of understanding the way humans orient and an unusual explanation of how conceptual processes relate to the consensual domain. The underlying concepts are indebted to two major sources: (a) the Biology of Cognition and Language, Humberto Maturana, University of Chile, Santiago; and (b) Conversation Theory, developed by Gordon Pask, University of Amsterdam, and the associated software THOUGHTSTICKER.     

基于IDEAS的联合论证元模型

为统一描述联合论证模式中体系结构数据,基于《国际国防企业体系结构规范》(international defense enterprise architecture specification, IDEAS)提出了联合论证元模型(joint demonstration meta-model, JDM2)。首先,介绍了业务对象参考本体(business object reference ontology, BORO)、IDEAS和国防部元模型(department of defense meta-model,DM2),从设计机理方面剖析了DM2不适用于描述联合论证内容的根本原因以及DM2概念数据模型(conceptual data model,CDM)、逻辑数据模型(logical data model, LDM)和物理交换规范(physical exchange schema, PES)3层结构的优点;然后,借鉴本体理论和DM2设计思想基于联合论证空间提出了JDM2中的概念数据模型;在概念数据模型基础上基于IDEAS规范构建了JDM2中的逻辑数据模型。最后通过实例说明了JDM2的可行性。     

仿真概念模型的开发过程研究

仿真概念模型是为了满足仿真应用目标而对真实世界进行的首次抽象,它为领域专家、开发人员和VV&A人员提供了关于真实世界的一致规范的描述,它把具体的仿真需求转化成为详细的设计框架.仿真概念模型包括仿真背景,任务空间和仿真空间三个组件,针对它们各自的特点,提出了工程上可用的仿真概念模型的开发过程.     

三自由度运动平台可视化设计研究与实现

传统的三自由度平台设计是一个串行设计过程,基于物理样机的设计与验证过程制约了产品开发的周期和效率。为快速高效地实现由概念设计到样机设计,提出将虚拟现实技术与三自由度运动平台的运动学分析、动力学分析、结构设计相结合,构建一个可视化设计平台,作用于机械设计、虚拟装配、运动可视化仿真,以及系统的动力学特性分析。推导了三自由度运动平台的运动学解析模型,就平台实现的关键技术,包括XML信息集成、运动可视化、VRML文件生成、基于动态特性分析的模型检验等,进行了研究探讨。     

基于模型的无人机系统架构综合评估方法

系统架构综合评估是无人机(unmanned aerial vehicle, UAV)研制中的重要环节,本文从UAV总体设计的需求出发,提出了系统架构综合评估指标体系的全面性和层次性原则。根据基于模型的系统工程方法构建了三级评估指标体系。通过将系统架构模型的仿真结果作为评估指标体系的输入,建立了一种系统架构模型与评估模型关联的综合评估分析方法,以达到UAV总体技术方案快速闭环设计与优化的目标。面向工程应用,开发了一个系统架构多方案权衡软件。以某UAV系统架构综合评估作为实例,验证了方法与工具的正确性和工程实用性。     

Developing an Information System for Sustainable Natural Resource Management in Alborz Watershed, Northern Iran

This article explores the potentials of systems analysis and design of information system for sustainable natural resource management. Soft and hard system analyses were performed to better understand the information needs and design of an information system for improving decision making for achieving sustainable natural resource management. In order to analyze the complex and soft systems situations for developing an effective information system, which meets related actors’ changing needs, a conceptual model inspired by soft systems methodology (SSM) was developed. This model is based on information derived from twelve farmers who were purposely selected to represent diverse conditions and 23 agricultural extension experts across the Alborz Watershed in Mazandaran Province, located in northern Iran. Since a conceptual model resulting from SSM is not in itself sufficient as the basis for the implementation of information systems, a hard system methodology was used to structure the data handling by using unified modeling language. This research has shown the promising potentiality of using soft system analysis methodology as a preliminary step to the actual design of an information system in the natural resource management situation in the watershed system level when combined with hard system analysis methods.     

基于I-GM(0,N)模型的干线客机价格预测方法

针对概念设计阶段干线客机相关信息难以获取的特点, 利用整机价格与性能参数的相关性和 利用灰关联分析筛选出了影响飞机价格的关键性能参数; 通过确定排序基准序列, 建立了基于特征序列内部空穴点预测的I-GM(0, N)模型. 在案例分析中利用该模型对我国X型新研干线客机的目录价格进行预测, 并对各现役干线客机的目录价格进行模拟. 误差分析和精度检验证明模型的模拟结果较好, 并可以预见模型对我国X型客机的目录价格能够进行较为准确的预测, 是一种概念设计阶段较为实用的干线客机价格预测方法.