混和Petri网的可达性分析

来源 :2005年全国测控、计量、仪器仪表学术年会 | 被引量 : 0次 | 上传用户:green7116xxxx
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在文中,给出了混和Petri网的一些基本定义.特别是引入补偿位置的概念以及有多少个补偿位置可以加入并且回答了补偿位置加在何处,然后用一个例子说明加入补偿位置来研究混和Petri网的可达性.
其他文献
温度监测是GPS共视接收机恒温系统的一个重要组成部分.利用DALLAS公司生产的带I2C总线串行接口的数字式温度传感器DS1621设计的温度监测系统,具有工作模式和硬件电路简单、可靠性高、测温范围广等特点.测试结果表明该温度监测系统可实时地监测室内和室外温度,测量精度为0.5℃,可用于GPS共视接收机恒温系统的温度监测.
容差的存在是模拟电路的故障诊断中的最大困难.迄今为止,尚没有一种通用的、行之有效的诊断方法.针对此,尝试将Kohonen网络引入到模拟电路的诊断过程中,并提出一种基于Kohonen网络的诊断方法.由于Kohonen网络具有较强的容错功能和抗干扰能力,理论上可以消除容差对于模拟电路元件参数的影响,提高诊断精度.实例表明,基于Kohonen网络的诊断方法能够准确识别出电路中的故障.
本文基于含水率不同的原油其有效介电常数不同的理论,针对油田沉降罐内各层介质的分界面动态变化的特点,提出了一种在线、实时动态检测原油沉降罐多界面的新方法.详细的介绍了多界面测量原理和系统的组成,并通过实验验证了方案的可行性.
本文介绍并实现一种多通道多功能高速计数器设计方法.首先对每个输入通道的诸如TTL、ECL、NIM等多种电平的正相或反相信号进行甄别,利用复杂可编程逻辑器件和单片机实现多通道计数并发送给计算机,由上位软件显示计数结果和控制计数器.该多通道计数器用来记录量子信息实验中单光子探测器信号.实验测试表明这种方法设计的计数器有很好的性价比、稳定性、电磁兼容性和易扩展性.
本文在对目前装备中在用润滑油液质量检测方法进行原理分析的基础上,介绍了一种基于SST89E554和MAX191的油质智能检测仪的设计思想、硬件组成和软件实现,并对其中的关键技术进行了简要论述.
垃圾焚烧发电在国内环保行业是全新领域,本文对其烟气排放连续监测系统(CEMS)的组成、测量原理等进行了简单介绍,并提供了国外一些典型产品的主要技术性能参数.
本文提出了一种利用.NET技术构建的三层架构教学平台,此平台由用户层、功能层和数据层三层组成.与传统的教学平台相比,具有稳定性高及所要求的网络资源低等特点,实际使用证明,该系统具有较好效果.
随着网络技术的发展,网络安全的重要性被越来越多的人认识到.现在,如何保证及加强信息安全成为目前迫切需要解决的热点问题.入侵检测技术作为一种新型的安全机制,通过监测系统关键信息的使用情况来保证网络系统的安全.它是防火墙、虚拟专用网的进一步深化.它可以在保证网络安全运行的同时大大简化系统的管理.因此,入侵检测系统越来越成为网络安全的重要手段.
本文运用先进的虚拟仪器技术、传感技术、测试技术和控制技术相结合的方法,对食用菌液体发酵过程中的参数进行了检测和控制,重点研究了温度、pH值、溶氧浓度等环境参量的调节与控制问题.系统硬件主要由液体发酵罐、水泵、传感器、计算机、PCI-DAQ数据采集板等组成;软件开发工具选用了LabWindows/CVI,采用模块化的设计思想.
本文论述了SPC理论的基本概念,并介绍了一套基于SPC设计的系统,整套系统包括智能化数据采集系统和质量管理控制系统.介绍了系统在实际使用过程中的情况,并根据实际使用的情况说明了SPC理论在当前环境下对于企业的重要性.