论文部分内容阅读
讨论基于自动机／形式语言模型的离散事件系统（DES）稳定性问题，引入了确定性离散事件系统N步稳定性定义．并得到了稳定性的判据定理，推导了具体的算法实现。该算法具有多项式复杂度。
离散事件系统N步稳定性分析
【摘 要】
：
讨论基于自动机／形式语言模型的离散事件系统（DES）稳定性问题，引入了确定性离散事件系统N步稳定性定义．并得到了稳定性的判据定理，推导了具体的算法实现。该算法具有多项式复杂度。
【机 构】
：
同济大学电信学院,韦恩州立大学电子与计算机工程系
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年7期
【基金项目】
：
美国国家科学基金项目No.INT-0213651.
其他文献
可编程移动电脑加密机是一种新型的电脑加密设备，用于对电脑上的文件进行加／解密处理。可编程移动电脑加密机采用可重构密码协处理器作为加密芯片、采用USB接口与电脑通信，因此
通过实验研究了三种合成接枝絮凝剂在工业废水处理中的性能,确定三乙烯四胺接枝絮凝剂为最佳絮凝剂。实验结果表明：当保持pH值不变,废水CODCr浓度在300mg/L时三乙烯四胺接枝絮
在传统马尔可夫场模型的基础上,建立了模糊马尔可夫场模型。通过对模型的分析得出图像像素对不同类的隶属度计算公式,提出了一种高效、无监督的图像分割算法,从而实现了对脑部MR图像的精确分割。通过对模拟脑部MR图像和临床脑部MR图像分割实验,表明新算法比传统的基于马尔可夫场的图像分割算法和模糊C-均值等图像分割算法有更精确的图像分割能力。
介绍了京沪高速铁路后张法预应力箱梁梁场冬季施工采取的措施。针对华北地区冬季气温在-8℃以下且风速一般较大的情况,通过对钢筋、模板、混凝土以及预应力和注浆等工序在实
淮化集团18万吨/年合成氨装置氢回收装置非渗透气经过技术改造后,现送至130吨/小时锅炉进行燃烧,其产生的经济效益有限。经过论证,将非渗透气回收,经过燃气发电机组进行发电,
大相岭隧道斜井斜距长,坡度大,地质情况复杂,担负着正线隧道通风的繁重任务。介绍了大倾角斜井右线长曲线二次衬砌施工设备的配置方案、混凝土输送方式及施工技术,经过3种方