离散型生产排序的自适应控制

离散型生产活动排序的自适应控制系统包含预测器、最优控制器、参数估计器三部分。基于极大极小代数法的预测器计算各种排序方案的完工时间，该算法以任务投入加工的时间作为状态变量，以预测的任务加工的完工时间作为输出变量，通过输入工艺路线矩阵、加工顺序矩阵和加工时间矩阵，根据生产活动状态变迁的规则建立状态变量的递推计算公式，经过多重循环求出所有状态变量的取值；最优控制器以加工顺序矩阵为控制变量，利用预测器逐步试探求解，最后稳定在性能指标最优的加工顺序矩阵的方案上；参数估计器对加工工时定额进行自适应地学习，利用反馈的真实的加工工时，不断修正定额并收敛到平均值。文中阐述了这种控制方法的仿真实例。     

基于奇异摄动的最优滑翔制导律

针对高超声速滑翔式再入飞行器轨迹优化和制导关键技术,设计了一种新型的最优滑翔制导律.首先,通过对再入飞行器运动学、动力学状态变量变化特点的假定,将其进行三个快慢时间尺度的划分;然后,应用最优控制理论分别求解三个不同时间尺度上的子问题,得到其解析解;在此基础上,基于奇异摄动方法,设计出具有闭环反馈形式的最优滑翔制导律;最后,对所求制导律的有效性进行了数学仿真验证.仿真结果表明:该制导律能在三维空间内导引/再入飞行器朝目标方向最远距离滑翔飞行;该算法得出的闭环解析解满足制导过程中实时计算需求,具有工程应用前景.     

面向任务的舰船装备备件利用率计算模型

针对舰船装备远航任务时间长、远离岸基且备件难以及时得到补给的现实，系统研究了面向任务的舰船装备备件利用率计算问题。首先，对单元级备件利用率的计算方法进行了分析，建立了单元级备件利用率模型。其次，基于上述基础，按照备件短缺时是否会引起系统停止工作的标准，把备件分为关键单元(会引起系统停机)和非关键单元(不会引起系统停机),将复杂装备系统近似为串联系统，按照任务成功或失败两种情况研究了任务过程中系统级备件利用率计算模型。然后，以任务成功率为指标约束，建立了远航任务装备系统级备件利用率的计算模型。案例计算与仿真分析表明，所提模型能够满足工程应用要求，可为装备保障部门制定远航任务备件配置方案提供理论支撑。     

基于UML的铁道车辆动力学仿真建模研究

铁道车辆动力学仿真活动包括仿真软件开发和使用软件建模仿真两个阶段。以面向对象的观点和方法重新研究了铁道车辆动力学仿真建模的需求和仿真软件设计。使用统一建模语言UML记录了3D组态动力学仿真建模需求，系统、部件、状态变量三级结构下的动力学计算机制，仿真软件结构和应用领域中重要的类及其关系。实现了一个基于部件影射的6自由度全量非线性的铁道车辆动力学仿真软件。     

红外成象自寻的制导导弹半实物仿真系统的精度最优分配

对红外成象自寻的制导导弹半实物仿真系统精度的最优分配进行了研究，提出了基于半实物仿真系统各设备误差对整个仿真系统仿真精度影响灵敏度和各设备造价概型函数的精度最优分配方法。文中描述了影响系统仿真精度的主要因素及灵敏度的计算方法、各设备造价概型函数的计算方法和半实物仿真系统仿真精度的最优分配方法。该方法适应于各种自寻制导武器的半实物仿真系统的最优分配，同时突出了红外成象系统对精度分配的影响     

运载火箭动力学的面向对象仿真框架

利用面向对象思想和统一建模语言（UML），设计了运载火箭动力学的通用仿真框架。在该框架中，运载火箭、子级火箭、状态变量及对应的右函数、GNC系统、发动机、空气动力、控制执行机构和地球等，都作为独立的对象建模，诸如积分、坐标变换、插值等算法也利用对象技术实现，从而极大地提高了仿真框架的适应性和可扩展性，可以支持不同仿真背景，不同粒度下的仿真要求。利用该框架,基于分布组件技术建立的分布式运载火箭动力学仿真平台，验证了该框架的有效性。     

多联邦系统构建原则和时间延迟的探讨研究

在实际仿真应用中，有时单纯的一个基于HLA的联邦不能满足仿真任务要求，需要构建一个复杂的分布仿真系统来完成仿真任务，复杂分布仿真系统可以分为多联邦协同仿真系统，多协议复合系统，平台级和聚合级混合仿真系统。本文研究了通过使用PROXY构建的由多联邦系统组成复杂HLA系统的构建原则，并分析了多联邦系统中数据传输的时间延迟问题。     

军机仿真系统的系统设计与先进技术

该文归纳了现代军机飞行仿真训练系统的任务和特点，提出并分析了现代军机飞行仿真训练系统顶层设计重点关注的功能和要求，以一个全任务型军机仿真系统实例阐述了仿真系统的系统构成，提出并论述了一些关键系统的新技术。最后，对军机仿真软件进行了归纳和划分。     

基于SGE的分布式仿真网格框架研究

SGE(SunGridEngine)是构建本地和集群级网格的工具。研究以SGE为基础,根据HLA仿真任务的特点,进行分布式仿真网格的框架研究和设计。分析了仿真网格的时间管理机制和仿真任务的迁移机制,采用点检查的方式实现了仿真任务迁移和动态调度,提供了用户级和内核级的点检查任务的支持。提出了仿真网格的双通道通信机制和仿真任务在仿真网格中的两种调度模式。通过研究构建了仿真网格的原型系统,并进行了HLA仿真应用的测试。     

农业系统仿真及应用

本论述农业系统仿真的概念和特征以及农业系统仿真的基本方法－状态变量法和系统关联图法，还列举了农业系统仿真的应用。     

基于变效能因子的Lanchester协同干扰最优功率分配

针对协同电子干扰中的功率分配问题,分析了电子干扰与作战效能之间的数学关系,并以此为基础建立了变效能因子的Lanchester平方律扩展模型。以模型的状态方程构建目标函数,在作战编队干扰功率总量恒定的约束条件下,分别分析求解了红方在资源与火力处于优势与劣势情况下的电子干扰的最优功率协同分配策略,并给出了详细的数学推导过程。仿真结果表明,该协同功率分配策略能够实现整体作战效能与干扰效能的最优化,即模型的合理性得到了验证。     

多起点多讫点公共交通系统早高峰乘车均衡模型、算法与变动票价管理

分析早高峰时段多起点多讫点公共交通系统乘客乘车行为,考虑乘客的乘车时间成本、车票价格、拥挤成本和误时成本,区分有无座位情况,建立固定交通需求下的用户均衡模型和系统最优模型,针对模型建立有效算法,比较各模型导出系统最优的变动票价管理方案.数值算例结果验证了模型、算法和变动票价管理方案的有效性.对计算结果分析中,发现误时成本较小车次上,短途乘客对于长途乘客存在"挤出效应".     

一种启发式并行逻辑模拟划分算法

随着并行计算机应用的日趋广泛，在大型数字系统设计验证中，并行逻辑模拟已成为提高模拟验证效率的重要技术途径。并行逻辑模拟算法性能受多种因素影响，其中电路划分算法是直接影响并行逻辑模拟性能的主要因素。提出了一种利用预模拟信息的启发式划分算法，可以明显改善多 Ｃ Ｐ Ｕ 的负载平衡效果，减少处理器间通讯量，有效提高并行逻辑模拟效率。     

SAR成像信号的并行处理算法研究

对SAR并行成像处理进行了深入研究 ,在串行成像算法的基础上 ,提出了SAR并行成像处理的一种中粒度并行算法和一种混合FFT算法。中粒度并行算法针对SAR信号处理大数据量的特点 ,在系统内存有限的情况下 ,对任务划分进行优化 ,以提高系统处理性能。混合FFT算法将Cooley -TukeyFFT算法和WinogradFFT算法结合起来 ,使得FFT算法在通用平台上更高效地运行。在国产曙光系列并行机上的实验结果证明 :我们的研究工作是有成效的。     

基于多时间尺度和VR的输电线运检培训仿真

输电线路运检是确保电网安全运行的重要工作,涉及到带电作业、停电检修及故障诊断,仅采用三维虚拟技术进行培训不能取得逼真的效果,需要将三维虚拟场景与数字电网相结合.为此利用采集的监测数据及多时间尺度的计算模型,针对带电作业构建了孪生态的数字电网,针对停电检修构建了平行态的数字电网,并为平行态的数字电网添加了相应的模拟装置来...     

作物氮素吸收与分配的动态模拟

对作物氮素的吸收和分配的模拟作了一些改进:假定作物地上部与根系的生长总是处于基本平衡状态,作物根系本身不成为限制养分吸收的因素,从而避免了对根系生长和功能变化模拟的困难;采用高产条件下的作物氮素相对吸收速率反映作物对土壤养分要求随生育期的变化;用氮素分配指数描述氮素的分配。采用江苏响水、扬州两地的试验资料对模型检验,表明模型对小麦植株含氮率动态有较好的预测效果。图5,参15。     

多核乐观并行仿真的负载均衡研究

对于运行于多核计算机、基于多线程实现的乐观并行仿真,虽然操作系统可对线程进行调度以平衡各个核的负载,但它无法控制各逻辑进程本地虚拟时钟的平衡推进。提出了多核乐观并行仿真的四层负载分配模型及一种静态划分与动态负载均衡相结合的负载均衡方案。静态划分使用Metis图划分包对模型实例进行划分;动态负载均衡优先调度本地虚拟时钟较小的逻辑进程以实现各逻辑进程的平衡推进,无须进行模型迁移,易于实现。通过一序列实验检验了所提出的负载均衡方案的有效性。     

Perturbation Methods of Stability Analysis for Parallel Real-Time Digital Simulation Models

In this paper, the stability analysis for parallel real-time digital simulation models is discussed. The coupling coefficient perturbation method and the simulation stepsize perturbation method are established. For two classes of systems of test equations, we construct the parallel simulation models and prove that they have the stability behaviour which is similar to the original continuous systems.     

基于绿灯时间等饱和度的离线Q学习配时优化模型

首先对传统的绿灯时间等饱和度概念进行了扩展,提出了分级绿灯时间等饱和度。在此基础上,针对分级绿灯时间等饱和度目标,构造了奖赏函数,建立了定周期和变周期两种模式下的四种离线Q学习配时优化模型。相对于在线Q学习模型,离线Q学习模型更适合交叉口信号配时优化,变周期模式的离线Q学习模型可以获得解的结构、最优解的分布,这是传统配时理论不具备的。算例结果表明,定周期模式下最优解是唯一的。变周期模式下最优解是不唯一的,呈带状,奖赏分级模型比奖赏不分级的最优解更加集中。     

并行程序与状态序列--交叉语义约定的研究

许多程序模型是以数学或逻辑为基础设计并分析的,但程序模型的实现首先是个物理系统,它依物理规律,而非数学或逻辑规则活动.但人们习惯于用状态序列对并列程序模型的语义作数学处理.一旦偏序的状态空间用交叉的方法全序化,并用于论证程序性质,误导就在所难免.所谓误导,指的是与实际运行的偏差,借助于Petri网,可以将它们暴露出来.其实偏差的出现与Petri网的基本现象冲突(conflicct)、冲撞(contact)、并发(concurrency)和混惑(confusion)相关.本文用Petri网分析误导的情况.