切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
有限驱动机的自动综合
有限驱动机的自动综合
来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:yqy1980
【摘 要】
:
文中研究了时序逻辑网络中有限驱动机的自动综合,论述了由正则事件构造有限驱动机的构造性定理,给出了由可始元素、可跟元素自动求解有限驱动机状态集合的程序设计方法.文中以串
【作 者】
:
王世昌
【机 构】
:
烟台大学数学与信息科学系
【出 处】
:
计算机研究与发展
【发表日期】
:
1998年4期
【关键词】
:
正则事件
有限驱动机
时序逻辑网络
自动机
regular event
finite drive machine
startable element
follo
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文中研究了时序逻辑网络中有限驱动机的自动综合,论述了由正则事件构造有限驱动机的构造性定理,给出了由可始元素、可跟元素自动求解有限驱动机状态集合的程序设计方法.文中以串行加法器为例,给出了正则事件S0,S1,并用所研制的软件给出了计算机自动综合的实时记录.
其他文献
林业资源型城市产业转型思考
林业资源型城市的资源要素禀赋、生态安全、城市规模和空间尺度的特征使其面临森林资源枯竭、需要产业转型时,区别于一般的资源型城市。在分析林业产业转型在森林资源、产业
期刊
林业资源型城市
转型约束
产业转型
forestry resource-based cities restraint of transformation ind
中药治疗猪牛常见病的方法
随着社会经济的发展,人们的生活水平不断提高,对于物质上的需求也不断提高,因此,作为人们经常食用的肉类的质量安全也得到人们的重视。笔者多年从事畜牧兽医工作,并结合了前人的工
期刊
中药
猪牛常见病
治疗方法
山地高校生境中的藤本植物刍论
山地大学的校园植被建设问题较为复杂,而乐山高校可以视为典型案例。藤本植物在乐山高校园林中主要有两种用途,即坡面生态工程与园林绿化。从生态工程学角度看,前者对于操作工艺
期刊
山地大学园林
大型藤本植物
植被生态学
生态工程学
garden in mountain universitylarge lianavegetation eco
佛教生态哲学研究与环境美德伦理的结合--评陈红兵教授《以德性论为核心研究佛教生态哲学》
一直以来,环境哲学都致力于汲取不同学科和知识领域的养料,以形成自身有益于立法者和公众追求和谐的、可持续的人与自然关系的原则和动力。环境哲学的重要起源之一是对历史学家
期刊
环境哲学
日本佛教
生态哲学
美德伦理
哲学研究
人与自然关系
德性论
20世纪90年代
一类诱导问题的多项式时间算法
在实际生活中经常会遇到利用已知的一些事实来解释观察到的现象问题,其推理方法可分为演绎、诱导和归纳。在已知的事实中往往会有矛盾的知识存在,利用这些含有矛盾的已知事实来
期刊
诱导问题
多项式
时间算法
逻辑推理
Abduction
2SAT abduction problem
incompatibility abduction
城镇化进程中的政府环境责任
近年来,我国城镇化建设进程不断加快,成为推动经济社会发展的主要动力。但是,有些地方政府一味地注重城镇化的速度与规模,忽视城镇化建设过程中的生态环境保护,使城镇化进程中出现
期刊
城镇化进程
政府
环境责任
urbanization: government: environmental responsibility
移动IPv6安全认证机制的研究
移动IPv6协议是下一代互联网解决移动通信的基本理论,但在给人们带来方便的同时也引入了一系列的安全问题.讨论移动IPv6协议目前所面临的主要安全威胁,并着重对移动IP的3种认
期刊
移动IPV6
安全威胁
认证机制
面向对象规则库设计的研究
本文提出了一种面向对象规则库的设计方法。它以类为基础,并根据类的层次结构和继承关系用链表来构造规则库。
期刊
面向对象
规则库
专家系统
规则表示
Object-oriented
rule base
class
C+ + programming language.
C~3模型上FFT算法的设计与分析
文中给出了C3模型[1,2]上并行FFT算法的设计方案,算法的时间复杂度为Onlognp+n(h+p/b)pl,采用Kumar等提出的等效率(iso-eficiency)分析法[3]对算法进行可扩放性(scalability)分析.通过Transputer系统上的几组实验对理论结果给予了验证.最后讨论了C3模型作为算法
期刊
C~3模型
FFT算法
可扩放性
C3 model
FFT algorithm
scalability
浅谈大树移植技术及养护要点
大树移植是城市园林绿化建设中的一种重要手段,它可以加快园林绿化建设的速度,提高景观效果,在较短的时间内使一个区域的绿化面貌得到明显改善,让广大市民提前享受树木的生态效益
期刊
移植
生养
大树移植
与本文相关的学术论文