基于VRML的实时离散事件仿真器设计

针对以往仿真控制中存在的场景抖动、易产生仿真逻辑错误的问题 ,提出了使用VRMLScript构建实时离散事件仿真器的思想 ,讨论了实时仿真器的仿真策略、时钟推进机制、仿真模型以及实时仿真中所需的仿真器暂停和重新运行处理 ,给出了仿真器的实现方法。

具有硬实时上限的离散事件系统的建模

实时离散事件系统中有两种具有硬实时上限的离散事件———有界事件和有效期事件，它们比基本实时离散事件———无界事件和强迫事件具有更强的时间约束，对包含这两类事件的系统进行研究就变得十分复杂．文中给出了基于基本实时离散事件的Ｐｅｔｒｉ网模型，并为有界事件和有效期事件找到了由基本实时离散事件构成的Ｐｅｔｒｉ网模型，从而使文中的模型能够描述更广泛的离散事件系统．

实时状态树结构模型的最优非阻塞模块化监督控制研究

针对传统的实时离散事件系统监督控制方法中存在监控器的设计复杂度高、结构不灵活且不易维护的问题,在实时状态树结构模型的基础上,提出了一种实时离散事件系统的最优非阻塞模块化监督控制方法。该方法根据不同的控制任务,将被控系统的性能指标划分为若干个子性能指标的合取形式,并且对每一个子性能指标分别设计子最优非阻塞监督控制器。由这些子最优非阻塞监督控制器构造被控系统的模块化监督控制器,给出了最优非阻塞模块化监督控制器的存在条件;通过设计协调器来解决整个闭环系统可能阻塞的问题。实验结果表明,模块化监督控制方法不但可以有效地降低实时离散事件系统监督控制器的设计复杂度,而且保证所得到的模块化监督控制器是最优且非阻塞的。