基于着色时间Petri网的检测系统建模方法与实时调度研究

来源 :华中科技大学 | 被引量 : 0次 | 上传用户:jmgxy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文运用Petri网理论、面向对象技术和可视化技术对检测系统的建模和实时调度等问题进行了系统和深入的研究.作为一种图形化的建模工具,Petri网被广泛用于离散事件动态系统的建模和分析,该文在普通Petri网的基础上,根据实时检测系统的需要引入了颜色和时间的概念,将着色时间Petri网用于实时检测系统的建模分析,给出了实时检测系统的S不变量、T不变量、可达树以及最大流通率算法,为实时检测系统的建模和性能分析提供了一种新的方法.Petri网用于实时检测系统的建模是适当的和可行的,但是目前检测系统还没有统一的软件开发平台,该文对实时检测系统的软件开发模式和开发方法进行了研究.实时系统的一个最重要的问题就是实时任务调度,该文应用着色时间Petri网,对实时检测系统的任务单元、调度规则以及系统结构进行了建模研究,给出了基于着色时间Petri网的实时调度方法和可调度的决策范围,为实时检测系统的可视化调度分析提供了一种新的手段.
其他文献
本文在分析国内外CAD/CAE/CAPP技术各自的发展历史与现状的基础上,结合专家系统,提出了智能集成的研究方向。以齿轮类零件作为研究对象,在分析了其特征及约束的基础上,利用数据库技术和图形单元建模技术,建立了基于约束的特征模型,实现了CAD/CAE/CAPP之间的数据传输和信息共享;分析了齿轮参数确定、强度校核的一般原则,进行基于特征的齿轮强度校核的算法研究;将专家知识融入在CAD、CAE、CA
该文开发了一种新的方法用来对计及柔性体的机械多体系统进行动力学分析和可视化仿真.通过Huston提出的低序体阵列来描述和建立多体系统的数学模型,三维几何模型采用工业三维
《与鸟为邻》是严榕一本关于成长的书、故乡的书.在开卷第一篇《回望》里,她写道:rn"故乡的面貌,越来越模糊.她似乎只是仅存于我童年少年的梦影中.其实,就让它留在梦影中,也
期刊
气体静压轴承因其高精度、高速度、高分辨率等方面的特点在精密加工机械和精密测量设备上得到广泛应用,而多孔质气体润滑轴承因其出色的承载能力和刚度及稳定性,显示出巨大的
随着教育改革的不断深化,越来越多的教师开始注重绘本对小学低年级语文教学中的促进作用.但是仍然有一些教师在进行教学过程中忽视绘本对学生带来的作用,仍然使用传统教学模
随着人们对雷达性能要求的不断升级,雷达阵面的面积和重量越来越大,传统的非冗余并联支撑结构支撑点数不超过六个,已难以满足雷达在平面度和重量等方面的需求。本文以大型相控阵
本文首先概述了模式识别的分类过程、系统设计和应用领域,分析了低信噪比图像中多运动目标实时识别的难点,重点介绍了本课题的研究内容以及解决方案。 接着,讲述了分割图像的
该文针对二氧化碳喷射器系统,研究以下几个方面:1.总体方案设计.2.机械部分中的传动机构,特别是对摇杆机构的位移、速度、加速度的分析.3.喷管部分,对喷嘴进行定量计算以确定