基于系统六元的仿真想定规范化描述方法研究

六元抽象建模方法以系统论为基础,按照系统相似性原理,将系统组成抽象为系统的内涵、要素、结构、状态、运行和功能六个方面。在分析当前仿真想定描述不规范,可重组、可裁剪、可重用性差的基础上,结合系统论的基本原理,提出了基于系统六元抽象的仿真系统建模方法,给出了六项标识的一般形式,建立了系统与概念模型、对象模型、执行模型之间的映射关系,构建了三级抽象建模方法,规范了仿真想定六元抽象概念模型、逻辑模型和物理模型建模方法。最后,明确了下一步研究方向,展望了仿真想定模型标准化模板。     

系统抽象与面向Agent六视图建模方法

面向智能体建模方法在建模与仿真领域的广泛应用对面向智能体的系统抽象和系统描述提出了新的研究方向,提出了面向智能体的六视图建模方法.首先提出了六视图建模方法模型框架.六视图建模方法是在系统思想的指导下,从系统范畴视图、要素视图、结构视图、状态视图、运行视图、功能视图来描述实际作战系统的各个方面.然后详细阐述了六视图建模方法模型映射和概念模型技术.面向Agent的六视图建模方法有助于提高仿真模型的完备性、逼真度和建模方法的规范化、可操作性.     

基于本体的仿真系统元概念模型研究*

在仿真系统的概念模型开发过程中存在着模型重用性不高和缺乏管理等问题,这些问题将影响模型开发效率和仿真系统的可靠性.为解决以上问题,提出了元概念模型(MCM)的概念,以实现在更高层次对概念模型进行抽象.将本体思想引入MCM的设计中,提出了基于本体的元概念模型(OMCM)建模方法,并给出了OMCM的层次结构和建模方法.最后,将该方法应用于装备保障仿真系统元概念模型的建模中,得到了较好的验证.     

基于系统六元本体的装备保障概念模型磁

针对当前概念模型中存在的问题,运用系统六元本体建模方法构建概念模型的技术框架。运用本体建模技术,从系统环境、系统组元、系统结构、系统状态、系统运行和系统功能六个方面构建系统完备的、规范的概念模型。在此基础上,运用基于系统六元本体的概念建模方法构建装备保障概念模型。结果表明,构建的装备保障概念模型更接近于自然语言表述,有一定的实用及理论研究价值。     

Conceptual Modeling Method of Simulation System Based on OMCM

针对仿真系统概念模型开发中存在的模型重用性不高和缺乏管理等问题,提出了元概念模型(Meta Conceptual Model,MCM)的概念,以实现更高层次上的概念模型抽象.将本体思想引入MCM的设计中,提出了基于本体的元概念模型(Ontology-based MCM,OMCM)概念,并给出了OMCM的层次结构和建模方法.通过将OMCM和概念模型进行映射,实现了基于OMCM的概念模型建模.最后,将该方法应用于装备保障仿真系统概念模型的建模中,起到了很好的效果.     

基于UML的作战系统概念模型六元抽象描述

系统六元抽象分析方法,从系统的范畴、系统的组元、系统的结构、系统的状态、系统的运行和系统的功能六个方面对系统进行抽象描述,它对作战系统的抽象更具准确性和完备性。文章通过分析系统概念模型的任务空间、实体、状态、结构、行为和交互的内涵以及UML图形表示法的特征,在概念模型同UML表示法之间建立对应关系。     

作战任务计划想定建模及其视景仿真研究

仿真想定开发是军事仿真中的重要环节.如何将作战任务计划从军事自然语言描述最终转换成视景仿真表述,是军事推演仿真中急需解决的问题.借鉴军事概念模型的建模方法,运用面向对象的软件开发思想,提出了想定从概念建模到可视化仿真的基本思路,包括:想定的结构化描述;想定的军事概念建模;想定从概念模型到信息模型的映射;想定文档的规范化描述框架;想定数据库的构建;想定的类封装与可视化.结合某型武器作战任务背景对上述思路进行了实例化描述.最后确认了思路的可行性,并总结了若干实践经验.     

军事概念模型分阶段分层次开发过程研究

针对军事概念模型内涵多样化的问题,参考美军思想,将军事概念模型开发过程扩展为领域知识层概念模型和系统分析层概念模型2个阶段;并将后者进一步细分为仿真联合体层、仿真应用层、复合模型层等3个基本层次;然后,以空间作战模拟为例,给出了每个阶段、每个层次概念模型的含义以及它们的建模方法.分阶段、分层次开发军事概念模型的优点在于:每种概念模型侧重描述不同的内容,目标明确,能够很好地满足作战模拟系统开发周期中不同阶段、不同系统开发人员的需要,具有较好的应用价值.     

基于OMCM的仿真系统概念建模方法

针对仿真系统概念模型开发中存在的模型重用性不高和缺乏管理等问题,提出了元概念模型(Meta Concep-tual Model,MCM)的概念,以实现更高层次上的概念模型抽象。将本体思想引入MCM的设计中,提出了基于本体的元概念模型(Ontology-based MCM,OMCM)概念,并给出了OMCM的层次结构和建模方法。通过将OMCM和概念模型进行映射,实现了基于OMCM的概念模型建模。最后,将该方法应用于装备保障仿真系统概念模型的建模中,起到了很好的效果。     

国民经济动员仿真演练仿真概念建模研究

国民经济动员仿真演练是一个复杂的HLA分布式交互仿真系统,为解决系统仿真概念建模问题,首先针对动员仿真演练建模要素进行分析,借鉴军事仿真概念建模思想,提出CMMS的动员仿真演练分层概念模型逻辑结构.其次,对于工作流模式,提出概念模型形式化描述方法,以及慨念模型校核规则,为管理部门各单位提供仿真训练服务.通过建立形式化概念模型及其校核方法,能有效加强动员领域专家与仿真技术专家之间的沟通效果,并为系统建模与仿真互操作、重用、质量等提供有力保证.     

Only connect: teaching, technology and telesis

Abstract This paper describes an approach to the design of interactive multimedia materials being developed in a European Community project. The developmental process is seen as a dialogue between technologists and teachers. This dialogue is often problematic because of the differences in training, experience and culture between them. Conditions needed for fruitful dialogue are described and the generic model for learning design used in the project is explained.     

European Community policy and the market

Abstract This paper starts with some reflections on the policy considerations and priorities which are shaping European Commission (EC) research programmes. Then it attempts to position the current projects which seek to capitalise on information and communications technologies for learning in relation to these priorities and the apparent realities of the marketplace. It concludes that while there are grounds to be optimistic about the contribution EC programmes can make to the efficiency and standard of education and training, they are still too technology driven.     

一种自适应子融合集成多分类器方法

融合集成方法已经广泛应用在模式识别领域,然而一些基分类器实时性能稳定性较差,导致多分类器融合性能差,针对上述问题本文提出了一种新的基于多分类器的子融合集成分类器系统。该方法考虑在度量层融合层次之上通过对各类基多分类器进行动态选择,票数最多的类别作为融合系统中对特征向量识别的类别,构成一种新的自适应子融合集成分类器方法。实验表明,该方法比传统的分类器以及分类融合方法识别准确率明显更高,具有更好的鲁棒性。     

Avoiding semantic and temporal gaps in developing software intensive systems

Development of software intensive systems (systems) in practice involves a series of self-contained phases for the lifecycle of a system. Semantic and temporal gaps, which occur among phases and among developer disciplines within and across phases, hinder the ongoing development of a system because of the interdependencies among phases and among disciplines. Such gaps are magnified among systems that are developed at different times by different development teams, which may limit reuse of artifacts of systems development and interoperability among the systems. This article discusses such gaps and a systems development process for avoiding them.     

Designing economic np control charts: A programmed simulation approach

This paper presents control charts models and the necessary simulation software for the location of economic values of the control parameters. The simulation program is written in FORTRAN, requires only 10K of main storage, and can run on most mini and micro computers. Two models are presented - one describes the process when it is operating at full capacity and the other when the process is operating under capacity. The models allow the product quality to deteriorate to a further level before an existing out-of-control state is detected, and they can also be used in situations where no prior knowledge exists of the out-of-control causes and the resulting proportion defectives.     

The development of robot art

Going through a few examples of robot artists who are recognized worldwide, we try to analyze the deepest meaning of what is called “robot art” and the related art field definition. We also try to highlight its well-marked borders, such as kinetic sculptures, kinetic art, cyber art, and cyberpunk. A brief excursion into the importance of the context, the message, and its semiotics is also provided, case by case, together with a few hints on the history of this discipline in the light of an artistic perspective. Therefore, the aim of this article is to try to summarize the main characteristics that might classify robot art as a unique and innovative discipline, and to track down some of the principles by which a robotic artifact can or cannot be considered an art piece in terms of social, cultural, and strictly artistic interest. This work was presented in part at the 13th International Symposium on Artificial Life and Robotics, Oita, Japan, January 31–February 2, 2008     

Explanation and prediction: an architecture for default and abductive reasoning

Although there are many arguments that logic is an appropriate tool for artificial intelligence, there has been a perceived problem with the monotonicity of classical logic. This paper elaborates on the idea that reasoning should be viewed as theory formation where logic tells us the consequences of our assumptions. The two activities of predicting what is expected to be true and explaining observations are considered in a simple theory formation framework. Properties of each activity are discussed, along with a number of proposals as to what should be predicted or accepted as reasonable explanations. An architecture is proposed to combine explanation and prediction into one coherent framework. Algorithms used to implement the system as well as examples from a running implementation are given.     

Three Process Perspectives: Organizations, Teams, and People

This paper provides the author's personal views and perspectives on software process improvement. Starting with his first work on technology assessment in IBM over 20 years ago, Watts Humphrey describes the process improvement work he has been directly involved in. This includes the development of the early process assessment methods, the original design of the CMM, and the introduction of the Personal Software Process (PSP)^SM and Team Software Process (TSP){^SM}. In addition to describing the original motivation for this work, the author also reviews many of the problems he and his associates encountered and why they solved them the way they did. He also comments on the outstanding issues and likely directions for future work. Finally, this work has built on the experiences and contributions of many people. Mr. Humphrey only describes work that he was personally involved in and he names many of the key contributors. However, so many people have been involved in this work that a full list of the important participants would be impractical.     

基于QTE的蒙古文显示机制研究与实现

蒙古语言是中国蒙古族使用的通用语言,由于蒙古文区别于其他文字的书写方式和其自身变形机制等特点,在很多通用的文字处理引擎中都不被支持。在嵌入式产品开发与应用领域中Linux加QTE已经成为流行方式。该文给出了一种在QTE环境上实现基于标准Unicode的蒙古文点阵显示和变形算法, 并自定义了支持蒙古文的QTE组件,扩展了QTE功能,为在Linux加QTE方式的嵌入式体系结构中处理蒙古文提供了一种解决方法。     

基于复小波噪声方差显著修正的SAR图像去噪

提出了一种基于复小波域统计建模与噪声方差估计显著性修正相结合的合成孔径雷达(Synthetic Aperture Radar,SAR)图像斑点噪声滤波方法。该方法首先通过对数变换将乘性噪声模型转化为加性噪声模型,然后对变换后的图像进行双树复小波变换(Dualtree Complex Wavelet Transform,DCWT),并对复数小波系数的统计分布进行建模。在此先验分布的基础上,通过运用贝叶斯估计方法从含噪系数中恢复原始系数,达到滤除噪声的目的。实验结果表明该方法在去除噪声的同时保留了图像的细节信息,取得了很好的降噪效果。