时序逻辑电路的Petri网分析方法

来源 :计算机学报 | 被引量 : 0次 | 上传用户:xianfaxianfa
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文应用带抑止弧的增广Petri网,建立了基本门电路和常用触发器的Petri网模型,讨论了运用该模型描述同步和异步时序逻辑电路,给出了此增广Petri网的矩阵描述和状态转移方程,在此基础上提出了同步和异步时序逻辑电路统一分析的Petri网方法.
其他文献
为了缩小海上油气田开发工程中压开关设备尺寸,减小电气设备占地面积,根据海上平台特殊要求,开展了针对目标油气田中压系统方案的12 kV移开式中压固体绝缘开关柜关键技术研究
随着社会的发展及高等教育改革的不断深入,我国高校图书馆事业与时俱进,在发展的同时,对高校图书馆员的角色定位也提出了新的要求。目前我国大部分高校图书馆员能够履行自己
在信息时代和知识背景下,危机事件频发,风险管理的问题已成为我国企业必需面对不得逃避的问题。近些年来我国中小企业接连倒闭的现象频频出现,此现象引起社会和政府的高度关
《责任的判断》一书以归因理论特有的深入浅出的方式,采用日常生活中常见的事例。阐明复杂的心理现象.书中从归因入手,阐明判断责任不同于成就归因和责任归因.责任判断是一种复杂
<正>美术新课标提倡尽可能运用自然环境资源(如自然景观、自然材料等)以及校园和社会生活中的资源(如活动、事件和环境等)进行美术教学。本土文化资源是美术课堂的宝贵财富,
近几年来,随着国民经济的快速发展,我国的房地产业也迅速发展起来,从2004年以来,房价持续上涨,已经成为全社会关注的热点问题。为了抑制房价过快上涨,我国调控政策纷纷出台,
吴茱萸为芸香科吴茱萸属植物吴茱萸Evodia rutaecarpa(Juss.)Benth.、石虎Evodia rutaecarpa(Juss.)Benth.var.officinalis(Dode)Huang或疏毛吴茱萸Evodiarutaecarpa(Juss.)Benth.var
随着我国高速铁路的发展,高速动车组的空气动力学尤其是横风作用下动车组的安全性研究值得重视。本文以国内某高速动车组为研究对象,研究了横风作用下该动车组在我国秦沈线及
<正>土地流转是推动农村土地规模经营实现"二次飞跃"的重要政策途径。近年来,随着城镇化进程的大力推进,土地流转的速度与规模均大幅提高。十八届三中全会之后,以信托为代表
本文通过对房地产预告登记的概念、法理依据、法律效力、法律性质等核心内容的分析,明确房地产预告登记的法理意义。在此基础上,剖析我国房地产预告登记立法存在的缺陷及其成