论文部分内容阅读
讨论基于自动机/形式语言模型的离散事件系统（DES）的可测性问题。可测性即为根据系统的可观事件和状态输出的信息估计系统的当前状态。定义了四种可测性：强可测性,弱可测性,强周期可测性,弱周期可测性。给出了这些可测性的充要条件,这些充要条件可通过构建观测器进行有效的判定。
离散事件系统的可测性
【摘 要】
：
讨论基于自动机/形式语言模型的离散事件系统（DES）的可测性问题。可测性即为根据系统的可观事件和状态输出的信息估计系统的当前状态。定义了四种可测性：强可测性,弱可测性,强周
【机 构】
：
同济大学电信学院,韦恩州立大学电子与计算机工程系
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年15期
【基金项目】
：
美国国家科学基金项目（N0.INT-0213651）.
其他文献
在混凝土防渗渠维修中，渠道中部分地区会出现蹋陷或凸起变形严重问题，但该部分混凝土板未出现裂缝、断裂情况，仅是与周边板出现衔接裂缝，不拆除存在安全隐患，拆除重新浇筑费用较高
本刊讯6月18日,首届中国金银花节,第20届中国巨鹿红杏商务节在千年古郡河北省巨鹿县隆重开幕。本次节会,有来自韩国、马来西亚、西班牙等国家和我国台湾及京、津、冀、豫、浙
目的 观察微血管减压术治疗三叉神经痛的疗效和安全性。方法 采取微血管减压手术治疗182例患者，对手术入路及血管神经隔离方法进行改良。结果 手术早期的总有效率为97．3％，无一例
对药物治疗无效的癫痫发作，胼胝体切开能减少癫痫发作频率及严重程度，但其手术疗效、并发症的发生及病例选择和胼胝体切开范围仍困扰临床医生。本文对胼胝体切开术在治疗难治性
5月13日晚在北京中山音乐堂举行了由四川省委宣传部、四川省文联主办，由四川音乐学院承办的大型交响音乐会《生命》。音乐会以四川音乐学院以党委书记柴永柏教授、院长敖昌群
目的回顾性分析伽玛刀放射外科对非听神经性神经鞘瘤的疗效及治疗剂量。方法应用γ刀治疗非听神经神经鞘瘤,43例获得完全随访资料,包括24例三叉神经鞘瘤和19例颈静脉孔神经鞘
提出基于粒子群优化的多处理机调度算法,采用列表调度,同时把粒子群的矢量表达方式转换为基于调度优先级的模型。调度结果显示能提高全局搜索能力,加快进化速度,优于模拟退火
目的建立数学模型,预测靶点与AC-PC线之间的垂直距离(靶点X坐标值),并对预测准确性进行前瞻性研究.方法根据病人入院时的先后顺序将本研究分为两个阶段,通过第一阶段的资料建
目的探讨微血管减压手术治疗三叉神经痛术后无效的原因。方法回顾性分析1998年1月至2005年12月间微血管减压术后无效患者13例的临床资料和再次手术探查情况。结果发现Teflon
对于无线网络，信道的高误码率和节点移动等会导致丢包，多路径路由和节点移动切换等会导致乱序。由于传统的拥塞控制机制没有考虑由于非拥塞因素和乱序引起的丢包，会把非拥塞包丢