雷达预警探测系统建模与仿真研究

提出了一种雷达预警探测系统的建模与仿真导视图,分析了系统建模过程及仿真系统的组成形态,讨论了面向服务体系(SOA)的软件体系结构,该体系结构运用组件技术建立组件模型,并结合Web服务技术中包装与发布机制将组件对象模型包装成服务模型,从而提高了网络环境中的异构组件对象模型的可重用性、互操作性、可配置性及应用系统的集成度.     

复杂系统仿真的可组合问题研究综述

复杂仿真系统的开发与集成对仿真的可组合性提出了需求。首先介绍了仿真可组合问题的基本概念，分析总结了影响仿真可组合性的因素以及可组合问题的层次化特征。针对不同层次的组合仿真，重点分析几种不同的组合建模方法，包括公共模型库方法、基于互操作协议的方法，基于组合有效性的语义组合方法，基于DEVS的形式化组合方法以及基于MDA的组合建模仿真方法。通过对不同方法的分析比较，提出进一步研究多层次组合问题以及跨县次组合建模仿真方法的展望。     

一种基于MDE的形式化组合建模仿真方法

大规模的联合建模与仿真迫切需要提高模型及仿真的可组合性.针对实现可组合仿真的主要问题,分析并提出了基于不同抽象程度的组合仿真的层次化功能结构模型.结合MDE模型驱动工程的设计思想,应用形式化建模的相关方法和π语言,提出了覆盖可组合仿真系统设计整个生命周期的一整套开发方法.同时,建立了基于MDE的模型映射机制,实现了基于一系列工具支持的不同模型之间的相互关联和转换,并在某大型分布式仿真系统开发中得到了应用.     

基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.     

水下航行器组合自导系统声学建模与仿真

组合自导是新型水下航行器制导系统的发展方向,通过仿真手段对其性能及技术特点进行研究是水声仿真研究领域非常关心且亟待解决的问题.对水下航行器组合自导系统的功能及系统构成进行了研究,基于层次化、模块化的建模原则,将组合自导系统分解为13个相互独立的模块,给出了主要模块的数学模型,并利用Visual C 平台在声信号层次上设计并建立了水下航行器组合自导声学仿真系统,仿真结果表明了各模块及整个仿真系统的正确性和有效性.     

防空雷达预警监视系统建模与仿真框架及实现

针对防空雷达预警监视系统作战呈现的体系对抗特点,基于CAS理论和实体M&S方法,提出了一种由"一个核心"、"二个系统"和"四个模型"组成的防空雷达预警监视系统建模与仿真一体化框架,其中,"一个核心"为SEBI-TE(System Entity Behavior Interaction-Task Efficiency)方法,"二个系统"为真实系统和仿真系统,"四个模型"包括概念模型、数学模型、仿真概念模型和仿真模型;并简述了框架的各个组成部分;最后,通过雷达群站系统在有源压制背景下探测空中突防目标的建模与仿真实例分析,验证了该框架的有效性和优越性。     

武器装备效能仿真的可组合建模框架研究

武器装备效能仿真不同于一般的复杂系统仿真, 具备很大的组合建模潜力和迫切的组合仿真需求. 当前的统一仿真协议、统一建模方法、统一模型规范等组合仿真途径主要还是从技术角度出发的, 没有充分结合应用领域的实际, 难以真正实现组合仿真. 提出了基于模型框架实现组合仿真的思路, 通过将领域共性不变知识(DIK)固化为可组合的模型框架, 而应用可变知识(AVK)则可在模型框架基础上通过定制或扩展的方式进行描述. 设计了武器装备效能仿真的可组合建模框架(CMF), 应用实践表明能够明显地提高仿真开发效率, 有力地支持模型级可组合.     

仿真建模与形式化

离散事件仿真在复杂系统的分析和设计中正得到越来越广泛的应用, 在仿真研究中仿真建模是一项十分复杂而且难以掌握的工作。对仿真建模形式化的研究可以增强对离散事件系统的认识, 改进仿真建模过程、从而构造出更有效的仿真模型。本文讨论了形式化在仿真建模中的作用, 回顾了在仿真建模形式化方面所进行的研究工作, 重点讨论了基于系统理论的形式化系统描述和离散事件仿真的数学形式理论。     

中层管理者胜任力组合评价模型及实证研究

为了准确测量中层管理者的胜任力,针对已有研究的不足和胜任力评价的特点,本文提出了一种新的组合评价模型,该模型将熵、层次分析法、雷达图、支持向量机四种方法有机结合起来:通过信息熵与层次分析法进行组合赋权;应用雷达图对决策信息进行集成;借助SVM形成专家决策模型。然后,以北京GH集团公司为例构建了中层管理者的胜任力评价模型,并应用该组合模型对其进行实证研究,仿真结果表明该方法是可行的、有效的,对于同类问题具有一定的推广价值。     

天空双基雷达回波空时二维建模与分析

天空双基地雷达作为一种新型预警雷达体制,具有探测范围大、抗干扰能力强等优点。本文首先建立了天空双基地雷达的几何模型,然后对目标回波、杂波及直达波进行建模,并分别分析了三者的距离特性与多普勒特性,最后对有无地球自转情况下多普勒频率与目标飞行速度角度的关系、空时二维杂波谱以及目标回波与直达波的空时二维谱进行了仿真。综合理论与仿真结果,表明所建模型是合理的,能为天空双基地雷达关键技术研究提供参考。     

THE 8~(th) INTERNATIONAL CONGRESS ON INDUSTRIAL AND APPLIED MATHEMATICS

正August 10-14,2015Beijing,ChinaThe International Congress on Industrial and Applied Mathematics(ICIAM)is the premier international congress in the field of applied mathematics held every four years under the auspices of the International Council for Industrial and Applied Mathematics.From August 10 to 14,2015,mathematicians,scientists     

2014 List of Referees

正~~     

《Journal of Systems Science and Systems Engineering》Contents of Volume 23,2014

正~~     

TSINGHUA UNIVERSITY,Beijing, China

正AF:Any Field The School of Economics and Management at Tsinghua University(Tsinghua SEM)invites applications for faculty positions at all levels(Assistant Professor,Associate Professor and Full Professor)in any fields of business administration and management.Tsinghua SEM is the only school     

分布交互仿真技术综述

介绍了ＤＩＳ的技术特点,综述了ＤＩＳ中关键技术和相关技术,并对目前ＤＩＳ发展过程中遇到的问题进行了深入的分析与论证。     

Innovation Versus Environmental Protection Presumptions

The paper is about negotiating with issues that discourage innovation. The subject is environmental deterioration, with concern directed at the impediments that keep it from being innovatively resolved. The paper is organized around three issues. (1) The dominant model of environmental concern, called environmental protection, is managed predominantly via command and control approaches. (2) Command and control, by relying on analytical segmentation to subdivide the problem into digestible bits and using formal legislation to direct it, are not up to emerging challenges in the area. (3) More robust models are available but difficult to experiment with due to impediments that discourage change. These impediments are seen in ideals associated with protection, prevention, recycling, and sustainability that tend to do more to sustain harmful practices than to seek beneficial alternatives. Being able to appreciate the underlying restrictions of entropy could help stimulate a more innovative agenda. These issues are tested via a project funded by the EPA entitled ENERGY STAR Homes.     

Knowing Wuli,Sensing Shili,Caring for Renli: Methodology of the WSR Approach

This paper presents an outline of an Oriental systems methodology: the Wuli Shili Renli approach (WSR). The basic theme of WSR contends that wuli (regularities in objective existence), shili (ways of seeing and doing), and renli (patterns underlying human relations) constitute a differentiated whole that conditions systems projects. WSR suggests that we should design and employ appropriate methods to address and tackle wuli shili and renli elements in a theoretically informed and systemic way. The background, philosophy, process, principles, and some practical applications of the methodology are preliminarily outlined.     

多Agent仿真中Agent行为的形式化描述方法

提出了一种从状态、动作、动作序列到活动,逐步地建立对Agent行为的形式化描述方法。该方法能有效地用于多Agent仿真系统的设计中Agent行为特征的分析、定义和描述。     

电子设计自动化中的模块生成技术研究

模块生成技术是随EDA设计技术的应用而发展起来的一种新技术。它对EDA软件的广泛使用，设计产品的性能、质量，降低产品开发成本等有重要影响。根据当前EDA设计中所遇到的问题和EDA软件的不足，结合作者多年从事这方面的研究、设计，提出了应用于EDA设计中的模块生成技术的方法。较好地解决了EDA设计、仿真过程的新问题。