论文部分内容阅读
有限状态机（ＦＳＭ）、Ｐｅｔｒｉ网、通信顺序进程（ＣＳＰ）和有限递归进程（ＦＲＰ）都是用来描述离散事件动态系统逻辑行为的，都可以化为一种代数形式。本文首先描述了构造离散事件模型的一般方法，然后讨论了在其上发展的监控理论。
离散事件模型的代数方法及其监控理论
【摘 要】
：
有限状态机（ＦＳＭ）、Ｐｅｔｒｉ网、通信顺序进程（ＣＳＰ）和有限递归进程（ＦＲＰ）都是用来描述离散事件动态系统逻辑行为的，都可以化为一种代数形式。本文首先描述了构造离散事件模型的一般方法，然后讨论了在其上
【机 构】
：
上海宝钢自动化研究所,上海交通大学自动化系
【出 处】
：
上海交通大学学报
【发表日期】
：
1996年4期
其他文献
提出了柔性制造系统基于知识的动态调度算法，调度器以黑板为平以，融合启发式知识，活动调度算法和灵活路径抉择法，缩短了获得最优调度的时间，并可实现动态情况下实时再调度。
由环境保护部主办、中国环境科学研究院承办的2012年度国家环境技术管理项目启动会日前在北京召开。国家环境技术管理项目于2011年开始启动,致力于构建以环境技术指导体系、
从系统性的角度出发，采用动态规划方法建立了在多阶段投资决策的远洋渔船编队优化网络模型，在模型中考虑了有限投资范围内优选船型方案的各种船队组合，并结合世界当前的渔业生产
介绍了一种同时利用患者股骨的Ｘ线片和ＣＴ片图象进行了关节假体设计的新方法。利用该方法已成功地设计了一种新型人工髋关节假体，并完成了假体的三维造型及加工出假体铝合金模型。
报道了半导体激光血管内照射对人体外周血Ｔ淋巴细胞亚群及ＮＫ细胞的免疫调节作用，实验结果提示：在２３例患者中经波长６５０ｎｍ，功率５ｍＷ的半导体激光血管内照射治疗１次，５次和１０次的患者中，ＣＤ３＾＋细胞亚群的百分率
介绍了一种超小型光纤导光干涉仪，它利用光纤和自聚焦透镜的耦合来形成平行光路，利用半反和全反光学膜片分光。该干涉仪小巧，且灵敏度高，可用于透明气体和液体的折射率测量。
针对盘锦市农村污水来源广、收集困难、治理难度大的现状,盘锦市制定了农村污水治理的3种处理模式和处理工艺。总结盘锦市农村污水治理实践取得的显著成效和经验,并对存在的
具有复杂断面形状的阶梯精密梁模型作为扭转随机分析的基础，可以计及翘曲约束引起的二次剪流，提出了改进点估计法计算薄壁梁结构扭转的概率特性。文中给出了的算例表明了所提出
作为公认的传统能源的可行性替代品,可燃冰开采利用日益明朗化,让人们有理由期待并见证新能源应用领域的又一里程碑。可燃冰是天然气水合物的俗称,它既指天然气与水在高压低
提出了一种计算带制流板舵在螺旋桨尾流中水动力性能的方法，舵的水动力及周围流场用面元法计算，螺旋桨性能及尾流场通过无限叶数的简易螺旋桨理论来预估，而舵上下制流板的影响则