任务图模型中实时任务设计

仿真技术的进步推动了实时系统(如核反应堆、军事战场和fly-by-wire系统)的深入研究.用仿真方法解决实时问题,必须首先给出实时系统描述模型.TGM(task graph model)模型是实时系统描述模型之一,其模型最重要的成员是实时任务.使用量化仿真方法定义了实时任务的4种参数,并细分任务为子任务.此方法更易描述实时应用系统,更易构造TGM的执行模型,其层次化的结构更容易进行研究和软件实现.TGM模型及其任务设计已成功地应用于分布式三星实时侦察仿真系统.

基于X射线脉冲星绝对定位中的整周模糊度改进算法研究

基于X射线脉冲星导航定位方法是一种全新的自主导航技术。该文给出了脉冲星绝对定位的基本原理,针对有关文章存在的疑问,提出了脉冲星导航绝对定位中整周模糊度改进算法,并对其进行了深入的分析和理论推导,通过仿真计算脉冲星整周模糊度和航天器的位置,得到了较理想的定位精度。这种新改进的整周模糊度算法为脉冲星绝对定位提供了新的思路。

重构X射线脉冲星信号的纯数值模拟新算法

基于X射线脉冲星的导航技术,无论技术研究还是实验验证,都是以X射线脉冲星信号为基础。但是实际的观测数据无法确定其精确值,不便于进行导航算法的分析验证。因此,通过模拟算法重构X射线脉冲星信号十分必要。基于泊松分布建立X射线脉冲星信号模型,介绍脉冲轮廓的构建方法;介绍了两种纯数值的脉冲星信号模拟算法。针对这两种算法因近似导致信号模拟不精确的问题,提出一种基于精确光子流量函数的纯数值X射线脉冲星信号的模拟算法,该算法采用分段线性函数拟合的脉冲轮廓函数,基于分布函数及其反函数导出。模拟算法重构PSR B0531+21脉冲星的信号,并利用χ2拟合优度检验验证模拟算法生成的光子到达时间服从泊松分布。将提出的算法与两种已有的算法进行比较,仿真结果表明从光子数目和脉冲轮廓误差来看,提出的算法都优于其他两种算法,更接近实际信号。由新算法重构的脉冲星信号进行历元折叠得到观测脉冲轮廓,并将其与标准脉冲轮廓比较,发现随着观测时间的增长,观测脉冲轮廓趋近于标准脉冲轮廓,验证了模拟算法是有效可行的。

实时仿真系统参考模型

实时仿真是一个重要研究领域。我们认为复杂实时仿真系统必须分解，进行分层功能描述。因此，本文根据多年实时仿真工作经验，给出了仿真计算机的体系结构。文章借鉴PERTS[8]系统，提出了实时仿真系统的参考模型。即：TGM模型、AS算法调度器、RGM模型和RACP资源访问控制协议。文章通过例子阐述了此模型的逻辑功能和基本概念。

TGM任务图模型和理论基础

实时仿真系统参考模型中最为重要的组成成员是 TGM任务图模型 ,本文将深入研究TGM模型的定义和理论基础。

基于X射线脉冲星自主导航中UKF滤波算法的仿真研究

基于X射线脉冲星的航天器导航是新的自主导航技术。鉴于该导航系统所建的状态方程和测量方程都是非线性的,本文给出在X射线脉冲星导航中采用UKF(Unscented Kalman Filter)算法仿真研究,并与传统的EKF(Extended Kalman Filter)算法进行对比分析,仿真结果显示,采用UKF算法时的导航精度比EKF算法有显著提高。

YFRIO实时I／O语言与YFSIM仿真语言的同步关系

本文介绍ＹＦＲＩＯ语言和ＹＦＳＩＭ语言的同步关系，阐述了两者同步的硬件、软件机制，以及如何进行程序设计。

仿真计算机和仿真软件发展

介绍仿真机和仿真软件的发展，分析了银河仿真机系统性能，探讨了仿真机的未来发展特征。

TGM模型的RTL形式化描述

TGM模型是实时仿真参考模型的重要组成模型。它可以描述、构造实时系统行为。本文选取基于事件的RTL语言 ,形式化定义了TGM模型和其表现形式 ,如 :断开子图、任务断开子图、非断开子图和混合子图等。

实时编程语言RTS/Java设计

实时编程语言是有时间约束的系统描述语言 .已有语言在时态机制方面存在不同程度的缺点 .因此 ,本文提出了基于Java的实时语言RTS/Java ,用于解决TGM模型到RT Actor模型的映射 .文章详细定义了RTS/Java类和方法及其约束 ,设计了方法的激发机制 .此激发机制解决了Allen教授提出的时态约束 .RTS/Java语言支持多前端资源共享 。

银河仿真机YHF2的CSCW环境

银河仿真Ⅱ型机的应用为我国的航天事业作出了贡献，围绕ＹＨＦ２的应用，软件研究则是一个重要的课题。基于ＹＨＦ２的ＣＳＣＷ系统是以ＹＨＦ２为中心，并作为用户（客户）的服务器的系统。本文从分布式客户／服务器结构出发，阐明了基于ＹＨＦ２的ＣＳＣＷ工作机制。

基于 YHF2 环境下的多系统协同仿真

从分布Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ观点解剖ＹＨＦ２协同仿真问题。详细介绍了ＹＨＦ２的ＣＳＣＷ（ＣｏｍｐｕｔｅｒＳｕｐｐｏｒｔＣｏｏｐｅｒａｔｉｖｅＷｏｒｋ）系统结构，多机（处理机与处理机，计算机与计算机）通讯协议和同步机制。重点研究基于ＹＨＦ２协同仿真思想、方法。

高速通讯双端口存储器DPM结构和程序设计

本文讨论了基于ＹＨＦ２仿真机高速通讯设施：双端口存储器ＤＰＭ。此ＤＰＭ为多机并发仿真提供了基础。从硬件方面，本文介绍了ＤＰＭ以及ＤＤＡ适配器的结构。从软件方面，介绍了高速通讯设备的运行特征，提出了访问ＤＰＭ的方法。最后，提供了ＹＨＦ２访ＩＮＤＰＭ的实例。

银河仿真Ⅱ型机实时输入／输出语言YFRIO分析

仿真计算机应支持实物在回路中的仿真。本文从半实物仿真中实物和仿真模型各自的特点和连接关系出发，讨论银河仿真Ⅱ机ＹＦＲＩＯ语言解决实物在回路中的实时输入／输出问题。

强实时系统静态优先级调度的可调度性分析

文章在系统阐述和借鉴经典的强实时系统静态优先级调度理论的基础上，通过引入忙周期的概念，分析了任务时限超过任务周期的实时系统任务集的可调度特性，拓宽了该理论的应用范围，更有利于实时系统的设计者对任务的运行时间行为进行事前分析与预测。

强实时环境下调度非周期任务的时限寻优方法

文章提出了强实时环境下调度弱时限非周期任务的时限寻优方法（ＤＯＡ），该方法在保证周期任务和偶发性任务满足时限要求的前提下，使非周期任务的响应时间达到最优。它还可根据实时应用的需要对算法的执行性能和计算复杂度进行折衷调整。仿真实验表明，ＤＯＡ与现有的动态调度算法相比，使非周期任务响应时间更短，同时它收敛快，额外开销小，计算复杂度低，实现方便，因此是强实时环境下对周期任务与非周期任务进行混合调度的一种较好的方法。

开发RTEMS实时系统的板级支持包

板级支持包BSP在嵌入式系统中处于关键的位置,有力地支持了嵌入式系统的移植,而BSP的结构与功能随不同的嵌入式系统的软件硬件环境呈现较大的差异。本文介绍板级支持包的功能和实时系统RTEMS的体系结构,分析RTEMS的启动过程。借鉴SPARC微处理器ERC32 BSP,提出一种RTEMS板级支持包的开发流程,主要说明模板BSP的选取、启动代码模块和设备驱动程序模块的实现,链接器命令脚本的修改等。最后把BSP与RTEMS系统的其他模块组合在一起,生成最终可执行映像的过程。

随机弱实时系统作业时限延误率上界估计

本文提出了关于随机弱实时系统的统计处理机需求分析 (SPDA)方法 ,该方法可用于估计可剥夺静态优先级调度策略下作业满足时限约束的概率的下界 .给出了SPDA的数值解法 .对实例系统的仿真结果表明 ,SPDA分析的误差小于 6 % ,计算速度快 ,可以为弱实时应用的设计提供重要的参考依据 .

银河仿真Ⅱ型机一体化软件支撑系统的图形生成与分析处理

对一体化软件支撑系统的图形生成与分析子系统的功能、设计原则及设计思想进行了介绍，并详细介绍了该子系统的实现方法。该子系统为用户建立了方便、灵活、有效的仿真结果分析处理环境。把仿真中产生的结果数据变为直观的图形曲线，并提供了常用的分析处理手段。

基于银河仿真Ⅱ型机的一体化仿真平台

本文介绍了基于银河仿真Ⅱ型机的一体化仿真平台的组成、功能、设计思想及使用方法，为用户建立了一个集建模、校模、仿真结果显示和处理，直到生成试验报告于一体的仿真平台，从而使用户缩短仿真试验周期，提高仿真效率．