分布式实时系统中的多Agent调度

以机场航班运营管理系统(flight operation and management system，FOMS)为应用背景，对分布式实时系统中的Agent调度算法进行探讨。在分析实时系统特点的基础上，结合具有定时事件序列特征的FOMS，对定时事件序列进行了形式化描述，建立了分布式实时多Agent。系统的结构模型，并对其结构特点、系统负载能力和常用的Agent实时调度算法分别进行了分析与论述。为解决分布式实时系统中多Agent调度与迁移过程中实时任务处理不问断性和通信可靠性问题，本文提出了事件处理的分级调度策略和多Agent调度的迁移与定位同步算法(Synchronization of agent moving and locating，SAML)，并对其实现机理以及Agent djrectory和Agent scheduler的中介服务在实现SAML中的作用进行了介绍。最后分别对采用SAML和异步迁移算法时事务处理的实时特性作了分析比较。     

动态作业车间实时调度系统

本文在分析现有作业车间调度问题的基础上,设计实现了动态作业车间实时调度系统。该系统采用SQL Server创建数据库,使用Delphi实现数据库的管理,调度目标可实时灵活调整,调度算法为C++语言实现的改进差分进化算法,调度结果可转换为excel表格。实践表明了该实时调度系统的有效性和可靠性。     

一种高度并行的Schwarz型混乱松弛法及其收敛性证明

文[1—2]把混乱松弛思想引入到Schwarz交替法中,构造了一种Schwarz型混乱松弛法。但这个方法在进行第n+1步迭代时,在拟边界上必须要用到第n步迭代的值,从而影响了算法的并行性,得不到相应的同步或异步MIMD并行算法、为此,本文给出一种高度并行的Schwarz型混乱松弛法,这个方法包括了Schwarz交替法及其相应的同步和异步MIMD并行算法。对于二阶线性与非线性微分方程Dirichlet问题,本文应用微分方程极值原理证明了该方法的收敛性。     

基于软硬件特性的计算机系统的可靠性分析

根据计算机系统中软硬件的具体特性,将计算机系统描述为由软、硬件串联组成的可修系统,其中硬件修复如新,软件不能修复如新且可靠性不断增长。利用几何过程和补充变量法分析了系统的可靠性,得出了系统的一系列可靠性指标。同时,利用蒙特卡罗方法设计了系统可靠性指标仿真算法,并给出仿真实例,证明本文分析结论。     

多网段控制系统实时任务的建模与调度

网络化控制系统中任务的调度影响控制系统与网络的性能。多网段控制系统中节点任务、通信任务与网关任务的调度是具有顺序、时限与网络资源约束的NP完全问题。建立了多网段控制系统控制任务的数学模型,以控制回路的采样周期与网络利用率为优化目标,采用遗传算法实现控制任务调度,优化了系统整体性能,仿真实例证实了调度模型及调度算法的有效性。     

仿真系统中被动式时间同步算法的实现

随着仿真技术的发展,新的仿真系统对系统内部的时间同步性能有了更高的要求．旧的主动式时间同步算法由于精度差,越来越不能满足仿真系统的要求．本文在分析传统的主动式时间同步算法基础上,探讨了一种新的适用于仿真系统网络环境的被动式时间同步算法．该算法比传统的被动式算法精度更高,但算法和原理更简单,更适合仿真系统的网络环境．     

基于生产成本的作业调度

提出了一个基于净现值的调度指标，该指标充分考虑到影响调度决策的各项费用．如在制品库存费用、机床工时费、直接工人的工资、工件提前或拖期完工造成的损失等。然后以遗传算法为工具，研究了作业调度问题，设计了一种很实用的算法。该算法采用基于工序的编码方法把调度编码成染色体，并通过遗传操作来搜索最佳染色体。解码算法根据工序在染色体中的次序和最短加工时间一紧迫度规则得到调度。仿真结果表明该方法是可行的。并有一定的优越性。     

涡扇发动机的一类大包线系统建模

基于涡扇发动机部件级模型,研究了具有非线性和时变特性的涡扇发动机非线性变参数系统建模问题。通过系统辨识的方法,以高压转子转速为调度变量,得到典型工作点的多项式非线性系统。在此基础上,借鉴增益调度思想,将高度和马赫数拟合成系统的时变参数,利用回归算法,建立大包线慢车以上非线性变参数(Nonlinear parameter-varying,NPV)模型。仿真表明,采用该方法建立的非线性系统与部件模型在单个转速状态时误差小于0.05%,非线性变参数模型与部件模型在大包线范围内的误差小于1%,验证了本文方法的可行性和有效性。     

基于模型转换的IMA系统可调度性验证方法

综合模块化航空电子系统（Integrated modular avionics ,IMA）中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(Model driven engineering ,MDE)框架下,基于实时嵌入式系统建模与分析（Modeling and analysis of real time and embedded system,MARTE）模型的ARINC653分区调度系统建模转换与可调度性验证的方法。借助MAST工具及其自定义调度策略功能,分析分区系统调度特性并利用MARTE 对其进行建模,并利用该工具对MARTE模型进行仿真以验证其可调度性,最后给出了一个实例分析。     

云制造资源的工序级多目标调度方法研究

由于云制造资源的分散性、多样性、负载率不均衡性等特点对其调度与调度粒度有更高的要求,将云制造任务分解后的工序作为调度的最小粒度,构建一种以最短制造服务时间、最低制造服务成本以及均衡负载率为多目标的云制造资源工序级调度模型,采用以粒子群、遗传相结合的混合多目标调度算法,将遗传算法中通过双层编码的染色体作为粒子群算法的粒子,双层编码方式是指以工序加工顺序作为第一层、工序对应加工资源编号为第二层,随后通过对染色体交叉变异进行粒子更新,使整个调度过程快速收敛于全局最优解。最后电梯实例证明了该算法能在较短的时间内给出最优的调度方案,从而有效地解决云制造资源多目标调度问题。     

柔性生产线信息管理系统关键技术的实现

介绍了一种基于柔性生产线的信息管理系统的结构、功能及特点，并对系统设计中有关技术问题提出了有效的解决办法。该系统是ＰＡＣ模型的一个实例，它不仅能根据设备能力及各种物料实际准备情况，对ＭＲＰＩＩ下达的作业计划作出优化调整，产生较优的生产次序；且能通过对生产线生产信息和设备状况信息的数据采集，实时仿真生产线运行状况，实现对生产状况的远程监视；并对质量进行统计和分析，找到问题的症结，为进一步提高质量提供     

参数平面法及其在飞机控制增稳系统设计中的应用

本文提出了一种新的参数平面法,设计了某型歼击机的控制增稳系统,并取得了满意的结果。     

关于线性阻尼系统的本征值亏损

本文讨论一般线性阻尼系统的本征值亏损问题,获得了简单有效的亏损判定定理;作为初步应用,还对带有陀螺阻尼力的线性阻尼系统进行了亏损判别及稳定性讨论。     

基于控制分配器的可重构飞行控制系统研究

今天的飞机，使用硬件余度方法无法恢复关键舵面缺损所造成的严重故障。可重构技术利用多舵面的空气动力余度，可以将失效舵面的控制效果分配给别的舵面，消除了故障舵面的影响。本文针对飞机控制舵面／作动器故障，推导出了基于控制分配器概念的可重构飞行控制系统算法，并分析了飞行控制系统结构对飞机气动力余度大小的影响，讨论了重构算法的重构特性。理论分析和仿真验证表明，在控制舵面／作动器产生一定水平故障时，这种方法可以保证飞机满足一定飞行品质的安全飞行。     

网络系统的容错控制、优化与博弈研究综述

网络系统是一类由多个子系统通过机械或通信相互耦合所构成的系统。该系统由于其结构复杂、耦合机制多变,具有较高发生故障的概率。随着近几年人工智能的快速发展,网络系统除了可能发生物理故障,还可能存在恶意决策,为系统的安全性带来了新的威胁。本文首先针对网络系统的物理故障,从容错控制和容错优化两个角度总结和梳理当前国内外相关的研究成果。接着,沿着容错博弈控制技术发展的脉络,从博弈控制到分别面向物理故障和恶意决策的容错博弈控制,总结了相关的研究成果。进一步,梳理了当前博弈论在集群飞行器中的应用现状,并以此抛砖引玉,希望推动容错博弈成果在航空航天领域中的应用。最后给出了几个未来值得探索的研究方向。     

一类不确定非线性系统的故障诊断方法

提出一种基于观测器的残差生成器方法来达到对一类多输入多输出非线性不确定系统进行故障分离的目的。通过对待监测故障引入适当的假设,同时假定不确定性满足Lipschitz条件,设计了一种残差信号来完成故障诊断,设计过程应用了高增益观测器和自适应故障诊断观测器方法,同时不需要借助线性逼近方法。最后分析了该残差信号对于待监测故障的敏感性和对于不须报警的故障的不敏感性。     

采用抗积分器卷绕改进高增益PI控制器的性能

研究了饱和非线性对采用Ｓａｌｆｏｒｄ奇异摄动法设计的高增益（快采样）误差驱动ＰＩ控制器的影响，在分析了使系统性能降低的原因后，提出了抗积分器卷绕方案，以ＡＦＴＩ／Ｆ－１６直接力控制系统为例，说明了该方法是可行和有效的。     

多时滞不确定系统鲁棒稳定控制器的设计

本文给出多重状态滞后不确定系统鲁棒稳定控制器的设计方法，通过适当构造Ｌｙａｐｕｎｏｖ函数，使设计的控制系统闭环稳定，并具有一定的鲁棒性，最后给出一例子，说明本文提出的鲁棒稳定控制器的设计方法。     

位置伺服滑态控制系统的单片机实现

本文以MCS-51(8031)为基础研究了位置伺服的滑态控制(Sliding Mode Control,简称为SMC)系统的实现。提出了SMC律的设计方法,给出了8031 SMC控制器的硬软件的设计方法与技巧,并在8031 SMC控制器上作了模数混合仿真,给出了仿真结果。     

非连续系统的隐连续性

通过典型例子引出相对于显连续性隐连续性的概念。同时基于隐式系统的表达形式给出系统隐含连续的一个充要条件证明，这也是动力学系统一类不连续点确定初始值解的条件。文中还对动力学系统隐续性的物理意义作了讨论。