论文部分内容阅读
研究信息/求解扩展Petri网系统（I/S系统）可达图的生成问题及基于可达图的活性分析问题.给出了I/S系统与活性相关的几个定义,提出了I/S系统可达图的定义及生成算法,基于可达图给出了关于系统活性的几个定理.最后举例验证了可达图生成算法的有效性.
信息/求解网系统的可达图分析
【摘 要】
：
研究信息/求解扩展Petri网系统（I/S系统）可达图的生成问题及基于可达图的活性分析问题.给出了I/S系统与活性相关的几个定义,提出了I/S系统可达图的定义及生成算法,基于可达图给
【机 构】
：
海理工大学管理学院,上海系统科学研究院
【出 处】
：
微电子学与计算机
【发表日期】
：
2010年12期
【基金项目】
：
上海市重点学科建设项目（S30501）
其他文献
一、社会主义新农村图书馆建设的现实意义 1.提高农民综合文化素质,增加脱贫致富的本领.农民文化素质是决定农村发展的一个重要因素.当前农村文化的贫乏状况,严重制约了农
目的：评价参麦冻干剂型用于心肌梗死猫心肌保护作用的有效性。方法：采用冠状动脉结扎法制备猫心肌梗死模型。随机将动物分为心肌梗死模型组（给予4ml／kg生理盐水）、参麦冻干剂大剂
根据车牌区域的灰度分布特征,提出一种定位车牌区域的新方法.该方法先利用车牌区域灰度分布特征,对车辆图片进行粗定位并得到车牌上下边界;再根据车牌区域字符紧密性特征,利用垂直投影方法初步得到车牌的左右边界,最后根据字符宽度和间距进一步修正车牌的左右边界.经实验证明,该方法具有在复杂背景下适应性好、抗干扰、实时性好、定位精确等特点.
超长指令字（Very Lone Instruction Word,VLIW）结构是数字信号处理器（DSP）设计中的一种常用结构.用户在开发应用程序的过程中常常会出现错误,查找并修复错误的调试过程要求芯片具
目的:观察颈性眩晕患者血浆降钙素基因相关肽(CGRP)的水平及单向中频电中药导入治疗后患者血浆CGRP的改变.方法:对34例颈性眩晕患者采用单向中频电中药导入治疗(导入组);另34
摘要:本文根据热处理生产线的实际生产情况,详细介绍了西门子M440变频器在热处理炉跟踪控制系统紧急摆动控制功能的应用实现。根据工艺要求使用了变频器的BICO自由互联技术、多组参数切换和自由功能块技术等功能。充分体现了西门子传动技术的功能强大和灵活特性。 关键词:西门子;M440变频器;传感器的矢量控制-速度控制;参数组切换 中图分类号:TG155 文献标识码:A 文章编号:1674-771
通过研究MVC等开发模型,提出了一种在分层开发模式下引入数据访问模型的设计方法,该方法用于屏蔽表示层开发者对底层数据库的依赖性,设计了数据访问模型构造器,加快了程序开
新型航空侦测技术的快速发展，使得飞行导航设备的重要性日益突出，以惯性导航、大气实时数据侦测和GPS为代表的导航技术飞行活动提供了大量精确实时的飞行参数。本文以飞机导航
针对超高频RFID标签芯片小面积、低功耗的要求,设计了一种符合EPC C1G2标准的数字基带处理器.在分析其功能基础上进行模块划分,提出了一种新的体系结构;论述并推导了标签工作所需的最低频率;设计了功耗管理模块,在降低功耗的同时,通过调度各个模块,使其正确地协同工作;采用流水线方式进行编码输出;简化了存储器接口的设计.仿真结果符合标准要求,综合后电路规模约7 200门.该电路可应用于超高频RFID
目的:观察痰热清注射液在儿童急性呼吸道感染中的疗效.方法:将70例急性呼吸道感染的患儿随机分为痰热清组和对照组,观察两组患儿发热、咳嗽、痰量、咳痰难易程度及舌脉的临床