测试系统的petri网建模和性能分析研究

来源 :电子科技大学 | 被引量 : 0次 | 上传用户:alanyu97
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  本文应用Petri网理论,对测试系统进行定性和定量研究,分别建立了测试系统(包括系统整体、硬件电路、总线协议、软件等)的几种类型Petri网模型,对模型进行分析和计算,研究对测试系统建模的方法和分析技术,同时对Petri网的理论和应用进行扩展。 本文利用所建立的ETPN网,对系统进行了特性分析。本文利用GSPN,对测试系统建模和分析。在对GSPN的可达状态通过消去瞬时状态进行化简时,提出了等效转移概率的简化计算方法,从而对方程求解,得到状态的稳态概率,据此计算各部件的资源利用率和测试任务的速率。 本文为解决复杂系统的Petri网状态空间的爆炸式膨胀问题,作者采用了不同于一般随机Petri网的分析方法,研究了Petri网的基本结构——串并联结构模型的化简技术,推导出化简串联模型的等价理论公式;通过模拟仿真计算,提出了并联模型在常见几种情况的近似估算公式;并给出了一个测试系统采集卡的NGSPN模型及其串并联化简的实例。 本文讨论了混合Petri网的定义、性质、演进方程、分析方法等,并把测试系统作为混合系统进行研究,提出了使用HPN建模和分析的方法。
其他文献
动力定位是在近些年来才被逐渐提出的一个问题,其区别于传统的锚泊定位,是指海洋船舶或结构物通过自身的动力系统,在克服外界干扰的情况下,保持船舶或结构物的运动状态或者定
传统的脑肿瘤治疗方法有手术治疗、放射治疗、化学治疗、免疫治疗等,这些手段均有一定的局限性。肿瘤热疗是利用射频电磁波、微波或超声波等各种致热源的热效应,将肿瘤区或全身加热至有效治疗温度范围并维持一段时间,使肿瘤组织发生即时性的代谢反应,从而引起肿瘤细胞分子结构发生改变和溶酶体活性增强,达到杀灭肿瘤细胞,治疗肿瘤的目的。本文研制的自动化脑肿瘤射频热疗仪基于射频热疗原理。射频热疗主要是通过频率一定的射频
论文研究旨在提出适于ECDIS的可用性评估方法并构建评估框架,经实例研究得出评估结果并给出可用性改进建议。论文首先从可用性的概念及内涵出发,论述了人机界面可用性设计与评
基于多站法原理的激光跟踪干涉坐标测量系统具有测量范围大、精度高、柔性、动态、可现场测量等一系列突出特点,并且通过冗余设计,系统具有自标定、丢失信息自恢复和误差自补偿的能力,因此,多路激光跟踪坐标测量系统在大尺寸精密测量、机器人标定等许多领域都有着极为广阔的应用前景。世界各国对此高度重视,并投入了相当的人力和物力进行这方面的研究。我们也首次在国内研制激光跟踪干涉柔性坐标测量系统,并受到国家自然科学基
近年来,在工业生产中,CO中毒和爆炸是严重危害人民生命和国家财产安全的事故,给国民经济和人身安全造成了巨大损失。因此,实现CO气体的实时在线监测对于国民人身安全及环境保
本文通过对荣华二采区10
期刊
FPSO单点系泊系统作为海上油田区油、气、水、电等介质的枢纽,一旦出现风险,将严重影响采油系统的生产和安全。因此,本文针对FPSO软刚臂单点系泊系统进行风险评估研究,对于确保单
随着中国经济的高速发展,电网规模的日益庞大,高压断路器作为电力系统中必不可少的电气设备之一,其工作状态是否正常关乎整个电力系统能否安全高效地运行。为了避免高压断路器因
石油资源是世界上最重要的能源之一,而石油探测在石油开发中起着不可忽视的作用。电法测井作为三大测井方法之一,历经了七十多年的发展已经成为一个独立的学科。电法测井中的感
声呐信号模拟器在声纳的整个研制、生产过程中都起着非常重要的重用,它用于声呐整机调试和性能指标测定,是声呐系统的重要测试设备。本文设计开发了一种基于PCI总线的声呐信