论文部分内容阅读
文中研究了时序逻辑网络中有限驱动机的自动综合，论述了由正则事件构造有限驱动机的构造性定理，给出了由可始元素、可跟元素自动求解有限驱动机状态集合的程序设计方法．文中以串行加法器为例，给出了正则事件Ｓ０，Ｓ１，并用所研制的软件给出了计算机自动综合的实时记录．
有限驱动机的自动综合
【摘 要】
：
文中研究了时序逻辑网络中有限驱动机的自动综合，论述了由正则事件构造有限驱动机的构造性定理，给出了由可始元素、可跟元素自动求解有限驱动机状态集合的程序设计方法．文中以串
【机 构】
：
烟台大学数学与信息科学系
【出 处】
：
计算机研究与发展
【发表日期】
：
1998年4期
其他文献
林业资源型城市的资源要素禀赋、生态安全、城市规模和空间尺度的特征使其面临森林资源枯竭、需要产业转型时,区别于一般的资源型城市。在分析林业产业转型在森林资源、产业
随着社会经济的发展，人们的生活水平不断提高，对于物质上的需求也不断提高，因此，作为人们经常食用的肉类的质量安全也得到人们的重视。笔者多年从事畜牧兽医工作，并结合了前人的工
山地大学的校园植被建设问题较为复杂，而乐山高校可以视为典型案例。藤本植物在乐山高校园林中主要有两种用途，即坡面生态工程与园林绿化。从生态工程学角度看，前者对于操作工艺
一直以来，环境哲学都致力于汲取不同学科和知识领域的养料，以形成自身有益于立法者和公众追求和谐的、可持续的人与自然关系的原则和动力。环境哲学的重要起源之一是对历史学家
在实际生活中经常会遇到利用已知的一些事实来解释观察到的现象问题，其推理方法可分为演绎、诱导和归纳。在已知的事实中往往会有矛盾的知识存在，利用这些含有矛盾的已知事实来
近年来，我国城镇化建设进程不断加快，成为推动经济社会发展的主要动力。但是，有些地方政府一味地注重城镇化的速度与规模，忽视城镇化建设过程中的生态环境保护，使城镇化进程中出现
移动IPv6协议是下一代互联网解决移动通信的基本理论,但在给人们带来方便的同时也引入了一系列的安全问题.讨论移动IPv6协议目前所面临的主要安全威胁,并着重对移动IP的3种认
本文提出了一种面向对象规则库的设计方法。它以类为基础，并根据类的层次结构和继承关系用链表来构造规则库。
文中给出了Ｃ３模型［１，２］上并行ＦＦＴ算法的设计方案，算法的时间复杂度为Ｏｎｌｏｇｎｐ＋ｎ（ｈ＋ｐ／ｂ）ｐｌ，采用Ｋｕｍａｒ等提出的等效率（ｉｓｏ－ｅｆｉｃｉｅｎｃｙ）分析法［３］对算法进行可扩放性（ｓｃａｌａｂｉｌｉｔｙ）分析．通过Ｔｒａｎｓｐｕｔｅｒ系统上的几组实验对理论结果给予了验证．最后讨论了Ｃ３模型作为算法
大树移植是城市园林绿化建设中的一种重要手段，它可以加快园林绿化建设的速度，提高景观效果，在较短的时间内使一个区域的绿化面貌得到明显改善，让广大市民提前享受树木的生态效益