巨型机FORTRAN NAMELIST输出的研制

本文给出了FORTRAN NAMELIST輸出的文本要求,提出了NAMELIST输出的功能设计、算法思想和系统接口,並对设计思想进行了初步的性能评价。     

基于TLA的事件图模型形式化验证方法*

针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logic of action,TLA)的事件图模型形式化验证方法.该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模型及性质规约用TLA语言进行形式化描述,从而使该模型能够被TLA模型...     

YH-2C语言优化编译器的设计

Ｃ语言优化编译器是借助于微机上的Ｉｎｔｅｌ８０３８６Ｃ语言编译器为研制平台，采用交叉编译的方法设计实现的，它是我国自行设计的第一个从底层开发实现的巨型机Ｃ语言编译器。本文首先给出了ＹＨ－２Ｃ语言优化编译器的设计原理，然后详细介绍了其主要系统组成和技术特点，最后指出了我们以后进一步要做的工作     

一种多功能快速数据输入转换方法

本文首先简述了该数据输入转换系统所接收的数据形式,然后给出了其功能、入出口参数及算法思想,并进行了简略的性能评价,给出了测试结果。     

复杂系统高效能仿真技术研究

首先给出了复杂系统高效能仿真技术的内涵和重要作用,并从复杂系统高端建模仿真及为海量用户按需提供云仿真服务两类应用需求的角度,讨论了发展复杂系统高效能仿真技术的技术需求及介绍了相关的国内外技术概况。接着,从高效能仿真建模技术、高效能仿真系统及支撑技术、高效能仿真应用工程技术等三个方面论述了当前复杂系统高效能仿真技术研究中值得关注的9类技术：1）复杂系统高效能仿真语言;2）复杂系统高效能仿真算法;3）高效能仿真系统体系结构;4）高效能仿真硬件优化技术;5）高效能仿真软件支撑技术;6）高效能云仿真技术;7）复杂系统高效能仿真系统VV＆A技术;8）海量数据管理技术;9）复杂系统仿真实验及结果分析与评估技术等技术,包括其研究内容和作者所在团队的研究成果与进一步的研究方向。最后给出几点结论与建议。     

符合IEEE1516规范的HLA/RTI时间管理

时间管理是HLA的一项关键服务。本文综合介绍了IEEE15 16规范中时间管理的主要内容 ,包括消息的排序传递以及仿真中逻辑时间的推进机制 ,然后结合RTI开发的工程实践 ,阐述了在设计和实现符合规范的时间管理服务时的具体做法 ,给出了基于CORBA的RTI时间管理服务的实现模型。     

YH-AStar高性能实时仿真平台

仿真计算机是大型复杂动力学系统研究、设计、试验、评估不可缺少的重要工具,基于通用计算机和Windows NT操作系统进行实时半实物仿真一直是仿真用户企盼的愿望.该文介绍了基于Intel平台和Windows NT操作系统的高性能实时半实物仿真平台YH-AStar的研制目标、系统结构与组成,阐述了YH-AStar软硬件部分的主要功能.     

基于工作流的指挥决策系统模型研究

针对传统的指挥决策系统自动化程度不高等问题,提出了基于工作流的指挥决策系统模型。该模型由工作流元模型演化而来,将指挥决策的共性流程划分为若干个关键业务活动，通过一定规则前后进行关联,每个活动又可以根据实际特点划分为子活动，有效地利用了工作流思想提高了系统的自动化程度。基于该模型开发了一个指挥决策原型系统，该原型系统参照工作流管理系统设计方法，采用C/S体系架构，通过调度服务器任务指令自动控制客户端的活动。经定性分析，该模型相对于传统的设计方法具有通用性、可靠性、智能性等优点。     

集中式RTI中时间管理的不必要性

本文研究HLA/RTI实现的结构和时间管理之间的关系。当前,人们在为不同的应用构造联盟的过程中设计实现了各种各样的RTI,例如网络多人游戏应用的集中式RTI、国防应用的分布式RTI等。现在,在开发RTI软件的过程中,为了满足IEEE标准且获得所有HLA特征,人们通常在所有RTI中都需要完成时间管理。首先,本文展示了集中式RTI和层次式RTI的结构,解释了时间管理需求的原因。然后,基于基本的结构分析,得出在集中式RTI中并不需要时间管理的结论。最后,本文列举了一些推论,例如层次式RTI的时间管理。     

集群计算环境下基于复杂网络的社会学仿真负载划分优化算法

负载划分是决定集群计算环境下基于复杂网络的并行社会学仿真性能的核心因素之一.由于背景负载等因素的影响,集群系统中往往需要根据实际可用计算资源非均匀分配仿真任务,而现有针对无标度特性拓扑结构的并行仿真负载划分算法无法适应集群环境下计算负载非均匀划分的需求.针对这一问题,提出了一个基于集散节点聚合的负载划分算法,将集群计算...