分布式仿真系统非阻塞式协同检查点协议

联邦存储是实现分布式仿真系统容错的基础,IEEE1516-2000中提供了一种阻塞式的系统状态存储协议,实际使用时会给系统带来很大开销。根据对系统状态存储过程中仿真组件状态变化影响因素的分析,提出了一种非阻塞式的系统状态存储协议,该协议完整地解决了由于在系统状态存储期间允许时间推进导致所保存的RTI状态和对应成员状态时间上的不一致、由于成员间消息传递导致不同成员状态的不一致及in-transit消息问题。先完成状态保存的成员不需阻塞,该协议在一定程度上降低了联邦存储的开销。证明了该协议的正确性。     

有色观测噪声条件下的分布式Kalman最优融合

传统分布式Kalman融合算法通常假定观测噪声是白噪声,在有色观测噪声条件下将导致系统性能的降低,而白化有色观测噪声会加剧传感器估计误差的相关性,对这种相关性的处理是分布式Kalman融合的难点.提出了一种基于有色观测噪声多传感器系统的分布式Kalmn最优融合算法,将系统状态分解为不相关的两部分,进行非扩维Kalman滤波以及分布式状态融合,证明了分布式状态融合等价于集中式Kalman最优融合,并进一步分析了具有反馈和非反馈两种结构的多传感器系统,给出了反馈结构下修正的分布式Kalman最优融合算法.同时分析了有色观测噪声对Kalman滤波器的影响.理论分析与蒙特卡罗仿真表明:所提算法具有全局最优性并且便于工程实时计算.     

VTOL直升机的鲁棒非脆弱H∞控制

针对含有飞行时滞的垂直起飞着陆(VTOL)直升机系统,基于Lyapunov稳定性理论和线性矩阵不等式(LMI)方法,设计了考虑加性控制器增益摄动的时滞相关鲁棒非脆弱H∞控制器.利用描述系统变换,得到了状态反馈鲁棒非脆弱H∞控制器存在的充分条件.在无控制增益摄动的情形下,读控制器能够允许更大的飞行时滞.引入凸优化算法,求解使闭环系统渐近稳定且干扰抑制水平最小的最优控制器参数.仿真结果表明所设计的控制器具有良好鲁棒性和非脆弱性.     

DEDS有限扰动分析效率

离散事件动态系统（ＤＥＤＳ）有限扰动分析（ＦＰＡ）通过状态匹配和事件匹配对样本轨迹进行“剪切和粘接”，构造依概率等价的扰动样本轨迹，扩展了无穷小扰动分析ＩＰＡ的应用领域。简单实例的分析和实验结果表明：事件匹配比状态匹配具有更高的效率.     

基于区间牛顿法的混杂系统状态事件探测算法

准确的探测状态事件对混杂系统仿真至关重要,特别是求解有奇点或有重根的模型。提出一个基于可变步长显式多步法的插值多项式来预测事件函数的值,并使用扩展的区间牛顿法求解事件方程的根,从而使状态事件能够被可靠地发现。插值多项式不需使用下一步的状态变量估计值,可用于有奇点系统中。区间牛顿算法可求解具有多重根的方程,并将根的不存在性探测和求根过程结合在一起。仿真实例表明本算法对混杂系统有效,在几种严苛情况下都能探测到状态事件,及时避开模型奇点,避免仿真失败。     

变采样周期网络控制系统的非脆弱保性能控制

研究了一类具有随机时延和控制器增益扰动的非线性网络控制系统的非脆弱保性能控制问题。基于变采样周期的方法,将网络控制系统建模为非线性Markov跳变系统。利用Lyapunov稳定性理论,给出了保证整个闭环系统均方随机渐近稳定的充分条件。通过线性矩阵不等式的方法,设计了一种非脆弱状态反馈控制器,在该控制器的作用下,闭环系统的能量函数值不超过一个规定的上界。仿真算例说明了所提方法的有效性。     

非匹配不确定线性系统离散滑模输出反馈控制

研究了一类非匹配不确定离散系统的输出反馈变结构控制问题,采用输出反馈控制不需状态完全可测.根据LyapunoV方法,给出了基于LMI技术的输出反馈变结构控制系统的滑模平面的设计方法,推导了稳定滑动模面存在的充分条件;根据滑模控制的到达条件给出了滑模控制器的设计方法.所设计的控制器与状态反馈相比更具实用性.最后通过仿真算例验证了所提方法的有效性.     

基于时间事件模型的实时系统仿真与时序分析

提出了一种基于时间事件模型的实时系统时序分析方法。该方法以仿真为基础对目标系统进行分析,不仅可以描述实时系统的周期和非周期任务,各种同步事件以及与时间有关的行为特征,而且还能够刻画实时系统中多个任务间的通信与同步特性;通过基于优先级的可抢占式的任务调度算法对目标模型进行仿真执行,并基于仿真结果对其进行时序分析,如任务响应时间和执行时间等,避免了形式化分析方法存在的状态空间爆炸问题。最后通过实例验证本模型与方法的有效性与实用性。     

因素空间理论与知识表示的数学框架（续）——DFE决策与因素状态的合成

本文是文〔１,２,３,４〕的继续,该文及后续论文仍将系统地研究因素空间理论及其在知识表示中的应用。首先介绍最大隶属原则,然后讨论基于反馈外延的决策,即ＤＦＥ决策,最后研究因素状态的合成方法。指出在很多情况下使用加权求和公式是不合理的,比如模糊控制中清晰化环节使用的加权求和公式或重心法就是不合理的。     

基于状态观测器的不确定时滞系统非脆弱$H_\infty$控制

研究了基于状态观测器的一类不确定时滞线性系统的非脆弱H∞ 鲁棒控制问题. 考虑被控对象、状态观测器以及控制器均存在不确定性,采用Lyapunov 稳定性理论和线性矩阵不等式(LMI)方法,给出了非脆弱状态观测器和非脆弱鲁棒控制器的存在条件与设计方法. 仿真实例表明了所提方法的有效性和可行性.     

THE 8~(th) INTERNATIONAL CONGRESS ON INDUSTRIAL AND APPLIED MATHEMATICS

正August 10-14,2015Beijing,ChinaThe International Congress on Industrial and Applied Mathematics(ICIAM)is the premier international congress in the field of applied mathematics held every four years under the auspices of the International Council for Industrial and Applied Mathematics.From August 10 to 14,2015,mathematicians,scientists     

2014 List of Referees

正~~     

TSINGHUA UNIVERSITY,Beijing, China

正AF:Any Field The School of Economics and Management at Tsinghua University(Tsinghua SEM)invites applications for faculty positions at all levels(Assistant Professor,Associate Professor and Full Professor)in any fields of business administration and management.Tsinghua SEM is the only school     

《Journal of Systems Science and Systems Engineering》Contents of Volume 23,2014

正~~     

Call for Papers The 12th International Conference on Service Systems and Service Management ICSSSM'15

正June 22-24,2015Guangzhou,China http://iec.cnsba.com/index.htmlCo-Sponsored by:ffiEE SMC(pending)South China University of Technology The Chinese University of Hong Kong Tsinghua UniversityHosted bv:School of Business Administration,South China University of Technology,China Conference Co-Chairs:     

分布交互仿真技术综述

介绍了ＤＩＳ的技术特点,综述了ＤＩＳ中关键技术和相关技术,并对目前ＤＩＳ发展过程中遇到的问题进行了深入的分析与论证。     

Innovation Versus Environmental Protection Presumptions

The paper is about negotiating with issues that discourage innovation. The subject is environmental deterioration, with concern directed at the impediments that keep it from being innovatively resolved. The paper is organized around three issues. (1) The dominant model of environmental concern, called environmental protection, is managed predominantly via command and control approaches. (2) Command and control, by relying on analytical segmentation to subdivide the problem into digestible bits and using formal legislation to direct it, are not up to emerging challenges in the area. (3) More robust models are available but difficult to experiment with due to impediments that discourage change. These impediments are seen in ideals associated with protection, prevention, recycling, and sustainability that tend to do more to sustain harmful practices than to seek beneficial alternatives. Being able to appreciate the underlying restrictions of entropy could help stimulate a more innovative agenda. These issues are tested via a project funded by the EPA entitled ENERGY STAR Homes.