基于仿真资源库的HLA仿真资源描述方法研究

HLA目前已取代DIS而成为分布式仿真的新一代标准,为仿真资源的互操作和重用提供了技术支持.建模与仿真资源库是仿真环境的核心,也是实现建模与仿真资源重用和提高仿真系统开发效率的重要支撑.如何为仿真资源建立一种规范高效的描述方法使用户能通过资源库平台方便地实现资源的重用与共享,这在资源库的开发中显得非常重要.文中首先对HLA仿真资源进行了简单的介绍,然后通过几个实际的例子对HLA仿真资源的描述进行了一些研究.     

遥感卫星仿真综合集成环境中资源的描述

资源规范化管理是提高遥感卫星仿真综合集成环境运行效率的基础,仿真资源的描述是资源管理的关键技术,而资源描述的目的是使其在网络上和仿真环境中以标准化形式更好地被接收和处理.通过分析遥感卫星仿真综合集成环境资源的特点,讨论了资源描述的一般过程,对SRML元素体系进行扩展使得它能对集成环境中资源进行描述,并将其运用到系统中,提高了仿真运行效率.     

仿真空间服务原理与实现

随着现代仿真技术领域的不断扩展和先进分布式仿真技术的兴起,仿真系统的规模和复杂性与日俱增.面向过程的建模与仿真方法,由于实体、过程和环境之间的相互耦合,已无法满足像电子战这种实体众多、时空交互关系错综复杂的大型系统仿真的需求.面向对象建模与仿真以公共仿真服务的形式为所有仿真对象提供统一的时间、空间描述和一致的自然环境效应,是实现交战级仿真的有效途径.仿真空间服务是空间一致性在仿真中的实现,负责维护和管理仿真中所有空间对象的运动状态和对象之间的空间关系.文中介绍空间服务的基本原理、数学描述及工程实现,最后给出一个基于空间服务的"飞行表演"仿真实例.     

分布式集成化作战建模环境研究

要解决作战模拟系统中军事领域专家与仿真技术专家之间的沟通问题,保证军事领域的战争系统模型和仿真领域的仿真实现模型描述的一致性,就必须建立对真实世界一致性描述模型,分布式集成化作战建模环境正是构建上述一致性描述模型所必需的软件系统。将对集成化作战建模环境进行研究,并提出一个切实可行的构架方案。     

基于图形建模的可视化群仿真技术研究

本文研究基于图形建模技术的可视化群仿真环境的软件实现问题,针对复杂动态参数摄动系统,应用先进仿真技术,用通用软件实现了复杂系统在参数摄动条件下的整个群仿真软件环境的高度可视化和一体化。     

基于YHSIM环境半实物仿真软件的研制与应用

YHSIM一体化建模仿真环境是银河系列仿真计算机的专用仿真环境,在多个院校的仿真实验室得到广泛应用,对YHSIM环境下建模方法的研究具有一定的现实意义.结合某型号半实物仿真软件的研制,详细介绍了在YHSIM环境下开发仿真软件的方法,同时介绍了软件研制过程中的一些难点问题和对应的解决措施,最后,对软件的应用情况进行了简要描述.     

作战仿真想定描述语言及描述规范综述

仿真想定描述规范对加快想定数据准备速度,提高想定数据质量,并促进想定数据重用具有重要意义.深入辨析了军事想定、仿真想定、仿真想定片段、仿真想定变体等相关概念,梳理了基于定制数据格式的仿真初始化、仿真想定描述语言及应用、仿真想定描述规范等方面国内外研究现状,归纳了现有研究在描述规范的结构化、基本元素模型、仿真想定元数据方面存在的不足,指出了仿真想定数据体系构成、仿真想定数据描述规范以及仿真想定数据管理机制等下一步重点研究方向.     

SCICOS环境下通信链路层次化仿真建模研究

基于开放源代码软件SCILAB和图形化动态仿真器SCICOS,提出了一种构建通信系统动态集成设计环境的技术方案。该方法具有很强的描述能力和可扩展性,图形模块与实际物理环境具有一致性,并且对各种仿真资源进行了统一的管理。仿真实验证明,该系统架构为通信链路系统的建模仿真提供了通用的框架。     

XML在分布式交互仿真系统数据管理中的应用研究

HLA的提出为解决分布式交互仿真系统中资源的重用和互操作性提供技术支持,而仿真资源逻辑层面上的重用和互操作性问题的解决有赖于规范的数据管理的实现。数据管理的主要工作体现在标准化描述仿真资源、定义通用标准的数据互换格式以及创建建模与仿真资源库系统三个方面,在讨论数据管理工作现状的基础上,提出了基于XML技术的解决方案,对XML技术在数据管理中的应用作了可行性分析,为实际工作的开展提供指导性的观点。     

离散事件系统规范DEVS研究

离散事件系统是一类常见的系统，如何对这类系统进行描述与建模是离散事件系统仿真研究的核心内容。离散事件系统规范DEVS是一种离散事件系统形式化描述方法，它具有层次化和模块化的特点，利用该方法可对复杂的离散事件系统进行建模、设计、分析和仿真。该文详细介绍了DEVS基本模型和耦合模型，给出了DEVS在耦合运算下的封闭性构造证明，并提出了一种具有嵌套层次结构的DEVS耦合模型实现算法，该算法对基于DEVS描述的离散事件系统的仿真实现具有一定参考价值。     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Models and Complexity of Problems of Design and Reconstruction of Telecommunication and Transport Systems

This article considers network synthesis problems arising in the design and exploitation of telecommunication and transportation systems. A formalization of network synthesis problems on graphs is proposed in which constraints on cut capacities are given and possibilities of failing some network components are taken into account. Approaches to the solution and analysis of the complexity of the considered problems are described.     

Teamcenter与NX集成客户化定制技术研究与实现

PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。     

椭圆拉伸变形长短轴的计算及应用

在CAD应用软件程序编制中,椭圆的长短轴是很重要的参数。应用相关数学知识推导出6个计算公式,可利用这些公式确定椭圆沿坐标轴拉伸变形后的长短轴大小与位置并在CAD软件中实现与之相关的功能。     

IPSEC与防火墙协同工作设计与实现

IPSEC提供网络层的安全服务，通过对IP报文的加密和验证，保证数据在传输过程中的安全．由于IPSEC封装了报文中一些重要信息，使得IPSEC与防火墙不能同时有效地工作．本文提出一种分层IPSEC(Layered IP Security，L_IPSEC)思想，即将协议头和数据部分分别进行安全处理．并将这种分层思想与分布式处理技术结合，设计与实现一种IPSEC与防火墙协同工作方案．     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通。文中首先介绍了互通的种类和方案，并重点讲述了智能网和软交换互通过程中模型的重要部分——软交换侧的SSP。在此基础上，提出了智能网和软交换互通的实现方案，并且以智能用的典型业务FPH为例简明分析了方案，对利用业务服务器实现软交换中的智能业务进行了插述和分析。     

Binary perfect and extended perfect codes of lengths 15 and 16 and of ranks 13 and 14

Inaccuracies in computations in the paper of the authors on classification of perfect binary codes of lengths 15 and 16 and of rank 13 are fixed. An explicit construction of all extended perfect codes of length 16 and rank 13 with a given kernel size is presented. Perfect binary codes of length 15 and rank 14 obtained by the general doubling construction are classified.     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通.文中首先介绍了互通的种类和方案,并重点讲述了智能网和软交换互通过程中模型的重要部分--软交换侧的SSP.在此基础上,提出了智能网和软交换互通的实现方案,并且以智能网的典型业务FPH为例简明分析了方案,对利用业务服务器实现软交换中的智能业务进行了描述和分析.     

Kohonen与Madaline用于解析重叠光谱测定钨和钼

首先应用Kohonen网络对钨、钼的混合吸收光谱进行波长选择，在全光谱中优选最能代表光谱特征的波长，被选波长处吸光度作为Madaline网络的输入，设定输出目标函数为G（λ）＝∑Aiexp[-4(ln20）(λ-t）^2/2]，进行解析重叠光谱，同时测定了钨和钼，该法利用特征光谱代表全谱进行光谱解析，减少了解析光谱中大量的数据。