具有最大稳定域的实时RK4公式

实时仿真通常要求计算机在一个动态循环中与外部硬件相互作用。外部数据必须从输入信号中采集，并融入到数值积分算法中以计算出状态变量。同样，从积分过程中求得的数据也必须及时被输出。因此，一般希望能选择较大的积分步长，以保证能有足够的计算时间。首先将实时四阶龙格-库塔公式的稳定域问题化为一个约束求极大值问题，利用优化方法，找到了具有最大稳定域的实时四阶龙格-库塔公式应满足的条件。然后，根据局部截断误差与相关系数的关系，将其化为一个约束求极小值问题，并最终导出了一个新的实时RK4公式。该公式不仅具有最大的稳定域，而且局部截断误差函数值也小于其它已知的实时RK4公式。仿真结果表明，该公式是有效可行的。     

实时RK算法的稳定性分析

首先针对一般RK算法与实时RK算法的稳定域进行比较,提出了求解绝对稳定域的方法,分析了绝对稳定域面积与绝对稳定区间大小的区别,采用寻优方法推导出实时三级二阶、四级三阶、五级四阶、六级五阶实时RK算法的最大稳定域,并画出不同阶实时RK算法可能达到的最大稳定域与稳定区间的图形。最后通过对实时RK算法的绝对稳定域面积与稳定区间的比较和仿真实例分析,得出了采用绝对稳定域面积能更好地表征实时RK算法稳定性的结论。而且基于最大稳定域面积的实时RK算法将在实时仿真中得到了广泛的应用。     

间断动力学系统实时仿真的分段组合算法

对于含有间断动力学系统的实时仿真问题，由于间断点的不确定性和实时仿真的快速性，无法直接采用定步长和变步长RK方法以及一般非实时间断仿真算法进行处理。针对间断点采用四阶实时连续RK公式进行预估和对间断区间进行平均分段处理的思想，构造并且研究了实时间断处理的分段组合算法．在舍间断点的分段区间上采用新的加权值法，其余分段区间应用不同阶次的实时RK公式，可以有效地提高实时仿真的精度。数值实验的结果表明该算法是有效可行的。     

实时仿真的数学模型及实时Runge-Kutta算法的收敛性分析

本文讨论了实时仿真的数学模型,和实时Runge—Kutta算法的收敛性分析,给出了补尝阶与实时算法收敛阶之间关系的理论证明。     

实时仿真飞行管理系统的研究

对在基于网络的实时仿真系统上建立可行的仿真飞行管理系统进行了研究。在满足实时性要求前提下，实现了飞行管理系统中控制显示组块（ＣＤＵ）的动态图形仿真。对横向飞行剖面的生成进行了讨论，并实现了实时运行环境中横向飞行计划的生成。给贞了一种航线导航的控制率设计方法。建立了一个通用的、基于网络连接的飞行管理系统模型。     

基于硬件的苛刻实时仿真系统研究

实时仿真是仿真研究的一个重要领域,随着仿真规,模的扩大和复杂度的提高,对于现有实时仿真系统提出了挑战.分析了现有实时仿真平台的局限性,在现有的实时仿真平台基础上,借用分布仿真的概念将实时仿真进一步分离,基于硬件平台提出了苛刻实时层的概念,为实时仿真性能的提高提出了解决方案,并分析了苛刻实时层的各项性能指标.     

基于HLA的实时仿真研究

服务,联邦成员依靠墙上时间(简称WCT)进行DR推算和接收RO消息,但这往往会引起因果倒置和逻辑颠倒。本文阐述了当前HLA用于实时仿真的局限性和存在的问题,分析了实时仿真的运行模型,针对HLA的实时问题提出了解决方案,并对HLA中接口规范进行了实时扩展,构想了一个实时RTI的体系结构。     

基于威胁特征点的启发式航迹规划方法

针对现有启发式航迹规划方法在决策变量、启发函数的选取和航迹表示方法等方面存在的不足,提出了一种基于威胁特征点的航迹规划新方法。该方法以导弹运动姿态角作为决策变量,通过引入特征点构造新的启发函数,以导弹经过空间的威胁度累积值、需用过载等为代价,结合导弹性能约束,采用龙格-库塔(Runge Kutta, R-K)积分得到平滑航迹。最后,以倾斜转弯面对称远程超音速导弹为例,通过攻防仿真实验,证明该方法规划生成的航迹满足各种约束条件且具有较高突防概率。     

微型足球机器人伺服控制实时仿真系统研究

基于dSPACE实时仿真技术,应用MATLAB/Simulink的系统建模方法和dSPACE系统的软硬件环境,设计开发了微型足球机器人伺服控制实时仿真系统。将实际受控对象-足球机器人放置在仿真系统回路中进行仿真研究,实时监控系统运行,在线对控制参数进行调整,并对系统的动态性能进行测试,利用测得的实验数据对机器人小车模型进行了辨识,取得了较好的控制效果。仿真结果表明,该系统是一个很好的实验研究平台。     

基于SAAS的LVC装备试验资源实时调度模型研究

真实-虚拟-构造仿真为装备体系试验提供了有效技术手段。针对试验中大量异构仿真资源对象间的交互难以满足试验任务实时性需求问题,开展仿真资源实时调度模型研究。分析模型的功能组成,将调度模型划分为远程方法通信实现、远程方法云服务、优化调度策略3个子模型,分析各子模型的功能及其之间的关系,给出模型运行的步骤以及实现原理,并构建标准实验环境,验证模型算法。实验表明,在模型时延要求小于1 ms的标准测试环境下,云服务环境最多可承载大约30个节点同时提出订阅需求,并且调度成功率均大于98.5%,丢包率为0,符合模型性能要求。     

Algebraic Stability of Multistep Runge-Kutta Methods

ＡｌｇｅｂｒａｉｃＳｔａｂｉｌｉｔｙｏｆＭｕｌｔｉｓｔｅｐＲｕｎｇｅ－ＫｕｔｔａＭｅｔｈｏｄｓ￥ＬｉＳｈｏｕｆｕ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＸｉａｎｇｔａｎＵｎｉｖｅｒｓｉｔｙ，Ｈｕｎａｎ，４１１１０５，Ｐ．Ｒ．Ｃｈｉｎａ）（Ｒ...     

实时仿真系统可信性验证

实时仿真系统可信性验证是实时仿真理论研究及工程应用的重要内容。主要研究了实时仿真系统可信性验证，给出了验证的基本步骤，提出了从实时性、逻辑计算正确性及稳定性三个方面验证实时仿真系统可信性的观点；然后提出了三个指标来验证实时性，给出了各指标的定量计算模型；并研究了实时仿真系统逻辑计算正确性的相关问题，给出了逻辑计算正确性验证的基本步骤；最后分析了实时仿真系统稳定性验证。     

多步Runge—Kutta方法的代数稳定性

本文获得了多步Runge—是Kutta方法代数稳定的一系列必要充分条件,其中多数结果可视为关于Radau I A、Radau ⅡA及Gauss型Runge—Kutta方法已有结果的推广。     

基于CAN总线的分布式无人机实时仿真设备研究

CAN总线在汽车与工业过程控制领域应用广泛,并扩展到航空航天领域.设计了一种基于CAN总线的小型分布式实时仿真设备,用于在外场开展无人机半物理实时飞行仿真试验.根据实时仿真设备对CAN的实时性需求,提出了一种基于时间触发的,并充分发挥了CAN本身位仲裁机制优点的CAN总线高层协议.实验表明该协议完全满足实时仿真设备的实时性要求;同时也表明其提高了总线的带宽利用率达80%以上,适合于需要在较短周期内传输大量数据的应用.     

公共交通实时放车调度方法研究

在公共交通的运行中 ,放车调度是经常使用的一种调度控制手段 ,实时放车调度就是要决定哪些车辆应该实施实时放车调度和对被实施放车调度的车辆而言应该有多少车站被实施不停车策略以便使乘客的总费用最小 .本文描述了实时放车调度问题 ,重点讨论了 1 -放车调度问题的模型以及它的求解 ,最后给出了实例进行说明.