基于XML的潜艇作战仿真想定开发

作战仿真想定是军事仿真系统的重要组成部分,为仿真系统的运行提供了初始态势和作战任务.目前在仿真想定中存在的主要问题是对想定描述的格式和手段不统一,生成的仿真想定可读性和可移植性不好,影响了仿真系统的真实性和可信度.该文着眼于解决上述问题,通过分析潜艇作战想定描述的层次结构,针对XML技术在数据表达方面的特点和应用,探讨了使用XML表示标准的潜艇作战想定开发方法,并对仿真想定编辑系统进行了实现.为潜艇作战仿真系统的剧情开发与编辑提供了标准化的思路.     

一种SaaS模式防空作战仿真想定编辑系统实现

针对目前仿真想定编辑系统在通用性、灵活性以及更新升级等方面存在的问题,设计了一种SaaS(Software-as-a-service)模式的防空作战仿真想定编辑系统。通过为防空武器建立统一的数据模型(数据类集)实现数据处理的独立性;通过设计与具体武器独立的想定编辑相关的业务逻辑模块,实现业务逻辑的相对独立性;利用MapXtreme Java智能多线程机制解决多用户的并发编辑问题。另外,将系统部署在云计算基础设施平台上,解决了传统C/S模式系统与平台相关联、更新升级困难等缺点,也提升了系统的使用灵活性和用户体验。最后通过实例验证了系统的科学性和有效性。     

基于XML的海上雷达对抗仿真想定技术研究

仿真想定在军事仿真系统中具有重要的地位和作用,例如可在雷达对抗仿真系统中为剧情描述和数据操作提供便利。为此研究了雷达对抗仿真想定模型的结构和特点,结合可扩展标记语言（Extensible Markup Language,XML）可进行语言描述和建模的优点,开发了基于XML技术的雷达对抗仿真想定模型文档。最后给出了仿真想定模块在雷达对抗仿真系统中的实现,为该领域的仿真想定开发提供了解决方案。     

卫星组网仿真中想定生成系统的设计与实现

为解决卫星组网仿真中的想定编辑生成问题,分析了组网仿真多任务多粒度的特点,提出了一种基于可扩展标记语言XML建模结合共享技术的想定动态生成方法.该方法将想定场景中的实体对象模型以及关系对象模型采用XML文档组织,可以根据仿真任务目的灵活选取所需模型生成想定文件.使用了将细粒度对象共享使用的方法,有效地提高了系统的效率....     

基于XML的作战仿真想定方案生成软件设计

作战仿真想定作为作战仿真中的假设性预案,是作战仿真系统的重要组成部分。目前在想定处理中存在的主要问题是对想定的格式和修改手段不统一,生成的仿真想定可读性和可移植性不好,影响了仿真系统的真实性和可信度。着眼于解决上述问题,本文设计的想定方案生成软件针对XML技术在数据表达、数据交换等方面的应用,从使用XML描述的想定信息入手,实现想定的读取、图形化显示、编辑和存储,使仿真想定数据的处理规范化,方便仿真数据交换,提高想定生成软件对仿真系统互操作性的支撑能力。     

基于CORBA的XML映射中间件研究

在分析XML文档特点基础之上,利用DOM建立XML文档的节点树,研究并提出了一套规则将一个XML节点树映射为三个公共类.为此提出两个算法以实现XML文档与这三个公共类之间的双向映射.利用持久层框架(Hibernate)来实现这三个类与数据库之间的映射.从而在XML文档与数据库之间建立了一个映射持久层,以实现软件元素的大粒度重用,增强系统的可移植性.同时为了解决异构环境下系统的通信问题,利用CORBA具有平台和语言无关的特性来设计系统的通信模块,使得用户可以在不同的平台上,以不同的编程语言采用静态或动态的方式对服务发起调用.     

JavaScript FSO实现客户端XML文件读写

XML是W3C为克服HTML形式与内容不分,难以查询而提出的一种元语言标准,具有易编辑、管理、存档和查询的特点。利用文档对象模型DOM可以很方便地对XML文件进行查询,但无法直接在客户端进行写入。探讨了利用JavaScript的DOM和FSO高效实现客户端XML文件的读写的方法,总结了实现过程中的几个关键技巧。该方法具有较好通用性,可推广到任意文本文件客户端读写中去。     

基于XML的机载航电系统仿真模型结构化描述

通过分析机载航电系统仿真模型存在的问题,给出了XML数据模型描述的方法和特点,提出了以想定任务需求为仿真建模的驱动数据的方法,基于XML技术设计了想定任务-飞机-机载装备三层描述关系。分别给出了想定任务和航电系统仿真模型的组成、结构化语言描述、有向树模型及XML技术描述的方法,并在此基础上形成规范的系统接口,为系统建模平台的建设提供重要的技术基础。最后,根据有向树和XML技术的特点,以节点和元素为基本单元,设计了XML文件数据访问的操作函数,形成系统建模平台的基础资源,利用设计的XML任务描述文件给出了航电系统仿真应用平台的设计架构。分析表明该方法用于航电系统仿真平台的建设将很大程度上提高仿真模型资源的重用性和共享性。     

基于XML的作战仿真想定的研究与实现

作战仿真想定是作战方案的剧本,是作战仿真系统的前提和重要组成部分。目前各个仿真团体采用不同的仿真想定描述方法,导致想定的可读性和可重用性降低。文章以基于Agent的空军作战仿真为研究背景,分析空军作战的特殊形势,制定出了一套适合空军空战的想定组成结构,同时采用XML(eXtensible Markup Language)对想定各组成部分进行描述,并制定好XML Schema进行语法约束,从而实现想定的规范性和可重用性。设计了一种基于XML的想定生成系统,系统以空军空战为例,实现了想定的快速生成。     

基于XML的想定描述与作战任务分析

分布交互式作战仿真系统对作战想定的描述和作战任务的分析依赖于统一的表达格式和功能强大的表示手段.该文通过对XML在数据表达与交互方面的介绍,探讨了基于XML的想定描述与作战任务分析的基本方法.提出了在分布交互作战仿真系统中通过XML文档的发布,实现异构信息的交换与共享的一种思路.     

考虑车辆横向主动安全的智能驾驶员模型

结合智能车面临的横向安全问题, 设计了一种具有横向安全性的智能驾驶员模型. 该系统由转向控制、速度控制和决策规划三个模块组成. 该系统的主要作用包括: 一是通过在转向控制中加入主要约束提高车辆在转向过程中的横向稳定性, 减小车辆发生侧滑、侧倾、侧偏等风险; 二是在换道场景下, 决策规划单元合理分析交通环境中的车间距并计算出驶入临近车道的速度和轨迹, 使智能车实现安全换道. CarSim/Simulink仿真结果表明, 该智能驾驶员系统提高了车辆行驶的横向安全性.     

Future AMT and ergonomics: Knowledge, organisational issues and human roles

The paper begins by outlining the growing market for Advanced Manufacturing Technology, providing a sample scenario and some instances of the human factors issues underlying this scenario. The importance of knowledge is emphasised. Two classes of 'knowledge-manipulating' knowledge and 'data-manipulating' knowledge are discussed, and the problems of error propagation are mentioned. Finally, the implications of fast response to the market are explored, from the point of view of optimising the enterprise's operations. The need for human factors input to AMT is emphasised throughout the paper.     

Structural analysis of the intervertebral discs adjacent to an interbody fusion using multibody dynamics and finite element cosimulation

This work describes a methodology for the dynamic and structural analysis of complex (bio)mechanical systems that joins both multibody dynamics and finite element domains, in a synergetic way, through a cosimulation procedure that takes benefit of the advantages of each numerical formulation. To accomplish this goal, a cosimulation module is developed based on the gluing algorithm X-X, which is the key element responsible for the management of the information flux between the two software packages (each using its own mathematical formulation and code). The X-X algorithm uses for each cosimulated structure multiple pairs of reference points whose kinematics are solved by the multibody module and prescribed, as initial data, to the finite element counterpart. The finite element module, by its turn, solves the structural problem imposed by the prescribed kinematics, calculates the resulting generalized loads applied over the reference points and return these loads back to the multibody module that uses them to solve the dynamic problem and to calculate new reference kinematics to prescribe to the finite element module in the next time step. The proposed method is applied to study the cervical spine dynamics in a pathologic situation in which an intersomatic fusion is simulated to confirm its potential advantages. Taking into account the proposed simulation scenario, a cervical spine multibody model that includes the rigid vertebrae, the facet joints’ and spinous processes’ contacts, ligaments and the finite element models of the intervertebral discs, and their surrogates is developed. The proposed model is simulated for extension in a forward dynamics perspective.     

Using symbolic execution to guide test generation

Although a number of weaknesses of symbolic execution, when used for software testing, have been highlighted in the literature, the recent resurgence of strongly‐typed languages has created opportunities for re‐examining symbolic execution to determine whether these shortfalls can be overcome. This paper discusses symbolic execution in general and makes two contributions: (a) overcoming one of the key problems, analysing programs with indexed arrays; and (b) describing the incorporation of a symbolic execution module for test case generation into an integrated testing tool. For methods which index arrays, a new approach determines all the possible values of each array index, allowing the generation of equivalence classes for every possible combination of array element aliases. An incremental simplification approach, which converts path expressions to canonical forms in order to identify infeasible paths at the earliest opportunity and thus reduce the analysis time, is also described. Symbolic execution is most effective when included in an integrated test and analysis environment: a component test bench was built with a symbolic execution module integrated into it, providing a toolbox of software component test and code analysis methods aimed at programmers at all levels. Copyright © 2000 John Wiley & Sons, Ltd.     

面向航天任务综合仿真的想定生成系统研究

设计和实现了一个面向航天任务综合仿真的想定生成系统。目前，多数的想定生成系统都是为军事战术仿真服务，而所描述的想定系统，则是建立在航天任务综合仿真的基础上。航天任务综合仿真的想定生成系统有如下特点；首先，它支持同一概念模型向不同仿真模型的映射；其次，由于想定模型种类多样，模型之间关系复杂，想定生成系统在对多粒度模型支持以及想定的描述方法等方面也异于一般想定生成系统。首先定义了航天任务综合仿真的想定的内涵，并阐述了想定生成系统的特点。接下来给出了系统的组成结构，最后是系统实现方案及运行流程。     

计算机生成群体兵力系统中的想定生成系统实现

介绍了计算机生成群体兵力系统中的想定生成系统实现方法.首先,描述了想定生成系统的总体结构.然后从作战单元、作战环境、作战行为等方面介绍了想定生成系统各模块的实现方法.最后面向大规模并行仿真,提出想定数据的处理方法.该想定生成系统具有很好的模块独立性、可重用性、可移植性和可维护性等优点.     

Product variety optimization under modular architecture

In this paper, product variety design is discussed under an optimization viewpoint. Product variety design means the challenge to simultaneously design multiple products for achieving higher optimality beyond ordinary design methods for a single product. When the possibilities of computational optimization for product variety design under fixed product architecture are explored, optimization is demanded to determine the contents of modules and their combinations under fixed modular architecture. This indicates that product variety optimization includes three classes of optimization problems: attribute assignment, module combination, and simultaneous design of both. Following problem classification, the domains and situations of such optimization problems are investigated. Then, two typical optimization examples are demonstrated through aircraft design for simultaneous optimal attribute assignment and through design of television receiver circuits for optimal module combination, respectively. The discussion concludes with the roles of problem classification and the direction of future works.     

卫星全球普查任务调度系统的设计与实现

卫星全球普查任务是指利用星载遥感设备,周期性地对全球表面进行覆盖监测和数据采集。论文针对卫星全球普查任务需求的特点和卫星资源能力,建立了卫星全球普查任务调度系统。卫星全球普查任务调度系统主要包括想定管理模块、资源管理模块、场景管理模块、调度模块与仿真评估模块等功能模块,文中重点分析了系统核心的场景管理模块、调度模块与仿真评估模块的实现。     

一种保护隐私的高效远程验证机制

基于Merkle哈希树提出了一种效率高、方式灵活并能保护平台隐私的远程验证机制.针对特定的目标应用场景,分析IMA(integrity measurement architecture)体系架构的不足,详细描述基于Merkle哈希树的远程验证机制的体系架构和度量验证过程,阐述新机制对现有TPM(trusted platform module)的功能增强即TPM_HashTree命令的功能及伪代码,并分析讨论新机制的优点.