逆网在离散事件系统监控理论中的应用

来源 :系统仿真学报 | 被引量 : 0次 | 上传用户:liuyu80237029
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Petri网理论研究中,逆网由于仅仅改变了原网中弧的方向而其状态空间没有任何变化,因此尚无深入的研究.但因其行为与原网行为的可逆性,在基于Petri网的离散事件系统监控理论中得到了一定的应用:一是用于求取弱禁止状态集,二是用于计算状态反馈控制策略.本文对这两个方面进行了简要的介绍,随后用一个简单的示例做了说明.
其他文献
随着人机界面朝着自然高效的方向发展,手写笔迹的结构分析和智能编辑越来越被人们所关注.给出了一种基于多层次相互作用的结构理解的笔迹智能编辑方法.该方法先自下而上初步提取单字、行、段,然后自上而下利用整体信息对组成信息进行精确分割,提取的信息表示成一个多层次的结构.基于笔迹的结构,用户可以使用笔手势对笔迹进行编辑.实验评估表明,该方法对笔迹的智能编辑具有较好的效果。
利用空气焓值测量方法对热泵的制热量进行测量时,通常采用测流量法测量空气的流量和截面平均温度.这种方法受温度测量布点的限制,使精度很难进一步提高,本文对这种方法进行了
方法学的选用是企业建模领域中的一项重要主题。企业建模方法学应分为统一方法学、集成方法学和系统方法学三类,提出了集成方法学的创建方式,包括建模语言、技术、信息库、建模工具和应用软件等方面。同时,比较了国际著名的GERAM和Zachman Framework,并提出了一种具有三维结构的企业体系结构框架。然后,结合现代软件工程的要求,提出了企业建模工具的12项评价指标。最后,详细给出了部分国外建模工具的
多分辨率建模技术用于解决不同分辨率模型之间的互连问题,是基于HLA的分布式仿真的关键技术之一。在简要介绍多分辨率建模相关概念的基础上,重点分析了基于HLA的多分辨率建模支撑框架MRMF/HLA(HLA-BasedMulti-ResolutionModelingFramework)的设计实现问题。提出了多分辨率建模框架的设计目标和总体思路,讨论了MRMF/HLA中FOM的设计、多分辨率建模基类和框架
文章针对车用交流发电机的特点,建立了故障现象与故障征兆列表,并应用基于模糊神经网络的故障诊断方法,实现了对该类发电机故障的模糊诊断。文中还介绍了模糊神经网络的结构和对应的学习方法,以及基于CAN总线的实时的车用交流发电机故障诊断系统的组成,该系统利用计算机作平台。仿真和试验结果表明,该诊断方法是行之有效的。
地球的三维可视化是三维GIS研究领域的一个热点。本文给出了基于全球DEM数据的地球三维可视化的实现方法。在此基础上,本文分别讨论了适合于与球形物体进行交互式操作的基本方法:采用四元数的方法解决地球的任意旋转问题;采用一种弦弧映射的近似方法实现在球面上任意两点间的漫游;采用OpenGL提供的特殊函数,结合数据库技术实现三维图形与物体属性之间的双向查询。实践表明,这些方法能够获得较好的视觉效果,并可在