一类混杂Petri网的极大代数模型研究

针对时间事件图(TEG)建模范围窄的问题,提出了一种用来描述制造系统中的离散和连续事件的混杂事件图(HEG).HEG在TEG的基础上引入连续位置和连续变迁.通过构造一个由四个基本函数组合而成的双子代数系统,推导出一组极小代数等式来表示HEG,证明这组等式在极大代数意义下是线性的.这样可以继续采用极大代数方法来研究HEG.实例表明,HEG及其极大代数方法的适用范围比TEG广,可以用来建模制造系统的混杂动态行为.     

网上服务合成系统中的服务描述

为了解决服务合成中的服务描述这一关键问题,提出了一种基于输入-输出接口模型和数据流图模型的服务描述方法.用功能对象的概念表示通过网络连接的各种硬件、软件和多媒体资源,通过描述功能对象的输入-输出接口来表示用户所需要的资源.采用数据流图来表示所需资源之间的连接.根据以上基于输入-输出接口描述和数据流图的模型,提出了基于扩展标记语言(extensible markup language,XML)的服务描述规范,同时介绍了一个生成服务描述文档的客户端软件工具,并已应用于网上服务合成平台STONE(Service syn Thesizer On NEt)系统中.研究表明,基于输入-输出接口描述和数据流图的服务描述方法,是解决网上服务合成中服务描述的有效途径.     

事件驱动的电信业务过程建模方法

通过分析电信业务过程中涉及的动作和事件的关键概念,提出一种基于扩展UML活动图的方法. 该方法通过事件驱动机制将动作和事件进行组合,使业务逻辑能正确响应来自网络的各种异步事件,而且能满足对电信业务过程建模的需求. 重点研究了UML活动图的扩展、事件驱动机制的模型描述和业务过程模型的执行机制.     

实时离散事件系统监督控制的代数分析

本文基于离散事件动态系统（ＤＥＤＳ）的自动机模型，用极大和极小代数时状态转移时间，在某一范围内变化时的有关问题进行了分析。     

混杂时间事件图的最小初始标志计算方法

采用极大代数方法研究混杂时间事件图（HTEG）的最小初始标志问题.通过构造新型的双子代数系统，给出了HTEG的线性极大代数模型，并基于该模型诱导出偏序关系.利用这个极大代数系统及其偏序关系的单调性、可逆性等性质，提出了一种HTEG最小初始标志的计算方法.HTEG的标志往往表示系统资源，提出的最小初始标志计算方法是一种最小资源分配算法，适用于制造系统、计算机网络等人造系统.最后用一个简单的实例说明了该方法的正确性.     

ML语言环境下抽象数据类型的构造型说明

用和经典的代数说明法及操作说明法不同的构造型说明法为抽象数据类型提供了一种具体的描述，这种描述可以用函数型语言ＭＬ加以实现。文章介绍了构造型说明法的特点以及关于一个代数系统的类别及操作的语义，以及如何用ＭＬ的函于（ｆｕｎｃｔｏｒ）来完成从输入代数到输出代数的扩充。     

采用近似方法的实代数数准确表示及其应用

针对如何保证实代数数的二进制展开不形成伪随机序列的问题,提出了通过实代数数的近似值重构它的准确极小多项式的算法,以此为基础提供了一种新的计算机实代数数表示方法.采用1个三元组序列:适当误差控制的实代数数近似值,极小多项式的次数和高度的上界.与目前的3种实代数数的计算机表示方法相比,在稀疏极小多项式情况下,新表示方法占有的二进制比特位与区间方法一致,低于符号方法,而略高于序方法;在稠密极小多项式情况下,比目前的3种表示方法都低.同时利用近似值重构极小多项式的方法,可获得多项式的准确因式分解.通过理论的分析和试验的验证,显示新的实代数数准确表示方法和应用是高效合理的.     

极大极小代数的动态规划中的应用

本文根据极大极小代数理论，给出了一种用求解动态规划中有限多阶段决策问题的代数算法。并通过实例验证了该法的有效性。     

城市交通网络的混杂Petri网建模

针对城市交通网络中的动态车流具有连续时间特性而动态信号灯具有离散事件特性的情况, 采用混杂Petri网建立了一个四相位信号交叉口模型，该模型包含了城市交通网络中的连续车流动态和离散信号灯动态.在此基础上分析了交叉口各个方向的输入、输出车流动态，并与四相位信号交叉口的物理模型相对比，结果表明该混杂Petri网模型能够较好地描述城市交通网络的混杂特性.仿真结果表明了混杂Petri网模型的有效性.     

自适应事件触发机制下带有未知输入的多速率信息物理系统的递归滤波（英文）

信息物理系统具有多速率的信息收集和处理功能,并且对信息交换具有依赖性。本文旨在设计一种联合递归滤波方案,用于估计具有未知输入的多速率信息物理系统的输入和系统状态,其中联合递归滤波器和传感器之间的信息传输受自适应事件触发策略控制。通过求解一组代数矩阵方程,可以递归地确定满足要求的联合滤波器增益,并且可以通过一些代数运算获得保证滤波误差协方差有界的充分条件。基于协方差交叉融合的概念,提出一种利用局部状态估计的融合估计方案。最后,通过一个数值仿真验证了所提自适应事件触发递归滤波算法的有效性。     

一类DEDS的稳定性与最优控制

本文分析了一类离散事件动态系统的运行特性，提出了时间间隔参数的概念，得出了系统最佳初始始投入及反馈控制矩阵。     

欠驱动航天器姿态稳定的非线性控制

针对欠驱动航天器姿态稳定的非线性控制设计问题,给出了欠驱动航天器姿态运动的运动学方程和动力学方程,并将姿态四元数和角速度整合,引进分段连续变量和相应的时变函数,提出周期性连续时变反馈控制律,使欠驱动航天器姿态达到稳定状态.数值仿真实验结果表明了所设计控制律的有效性.     

基于渗漏模型的城市排水系统建模与分析

针对城市排水系统管网中管道发生渗漏这一不确定因素,结合传统圣维南方程组研究渗漏发生时的系统建模与分析问题.分析某段发生渗漏的管道内的水流运动状态,推理计算得出改进后的连续性方程和动量方程.结合我国城市排水系统管网中管道的具体运行情况,对方程组进行线性化,建立以流量为状态的城市排水系统水力学状态空间模型.分析系统稳定性,设计系统状态反馈控制器,通过仿真验证了所提方法的正确性.     

四轮移动机器人轨迹跟踪的最优状态反馈控制

对具有量测噪声、模型噪声和输入信号干扰的四轮移动机器人轨迹跟踪的最优状态反馈控制进行研究.建立系统的运动学与动力学方程和轨迹生成方程,导出了相应的离散状态方程式,采用卡尔曼滤波器对伴有高斯白噪声的系统状态方程进行了状态估计,提出一种基于李亚普诺夫稳定性的最优状态反馈控制策略.给出了补偿输入信号干扰的自适应算法.仿真结果表明,所提出的控制算法,在四轮移动机器人轨迹跟踪中,能有效地抑制系统的模型、量测和输入信号中的随机噪声和扰动,提高系统的跟踪精度和动态响应速度,使系统具有优良的静、动态特性．     

具有干扰的非线性系统的一种线性化方法

对具有干扰的非线性系统,给出了一种线性化方法,通过状态反馈和干扰前馈变换,将非线性系统变换为等价的伪线性系统,给出了线生化的具体算法,并通过实例将非线性系统线性化,该法是不含干扰非线性系统反馈精确线性化方法的推广,具有更广泛的实用性。     

离散事件动态系统仿真优化方法综述

仿真优化方法是离散事件动态系统研究的一种有效工具.对离散事件动态系统研究的仿真优化方法的最新进展进行了综述.根据仿真输入参数,分为连续参数方法和离散参数方法两种进行讨论.     

CMAC神经网络用于一类不确定MIMO非线性系统的鲁棒自适应反馈线性化

在已知标称系统的基础上,将CMAC神经网络用于一类状态反馈可线性化的多输入多输出（MIMO）不稳定连续时间非线性系统的鲁棒自适应反馈线性化,使系统获得要求的跟踪性能。在很弱的假设条件下,应用李雅普诺夫稳定性理论证明了闭环系统内的所有信号为UUB（一致最终有界）。仿真算例进一步验证了算法的正确与有效。     

Restricted Morgan''''s problem

A new list of regular feedback invariant integers called right independent orders is introduced.That the restricted Morgan's problem is equivalent to a kind of nonlinear algebraic equations is proved and the condition that the nonlinear algebraic equations degenerate into linear algebraic equations is given.     

一种离散连续混成的时空事件驱动的CPS体系架构

为描述信息物理融合系统(cyber-physical system,CPS)中离散信息系统和连续物理系统交互融合的混成特性,基于混成自动机理论,结合多智能体系统(multi-agent system,MAS)和时空事件驱动方法,提出一种CPS体系架构.该架构用改进的混成自动机理论刻画了离散空间和连续状态混成的CPS体系架构的主体,同时定义了基于时空事件的CPS事件,设计了基于MAS的CPS端,并运用定义不同功能的CPS端和CPS事件驱动机制解析了CPS体系架构内部信息物理交互反馈过程.最后以车速调控系统为例,采用提出的CPS体系架构分析了协同驾驶过程中单一车辆内部速度调控的信息物理融合过程,并对其进行了形式化描述,实例的形式化过程表明提出的体系架构的有效性.构建的CPS体系架构为刻画CPS的本质特征提供了新的方法.