期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
非完全确定有限状态机最小闭覆盖的有效算法
被引量：
1
1
作者
李炜
吴建国
刘政怡
《四川大学学报（工程科学版）》
EI
CAS
CSCD
北大核心
2007年第S1期82-86,共5页
有限状态机(FSM)综合中,状态化简对减少电路的复杂度是非常重要的,由于EDA综合系统的发展和需要,要求能够有效地对较大规模的FSM最小化,对于完全确定的有限状态的已有较好的算法,而非完全确定的有限状态机的最小化的问题一直是个难题。...
有限状态机(FSM)综合中,状态化简对减少电路的复杂度是非常重要的,由于EDA综合系统的发展和需要,要求能够有效地对较大规模的FSM最小化,对于完全确定的有限状态的已有较好的算法,而非完全确定的有限状态机的最小化的问题一直是个难题。利用生成序列、动态构造搜索树、修剪、启发式深度搜索和分支限界等方法,提出了一种有效的求解非完全确定有限状态机的状态最小化算法,减少了搜索的空间,提高求解速度。
展开更多
关键词
有限状态机(FSM)
非完全有限状态机(
issm
)
状态化简
在线阅读
下载PDF
职称材料
一类非完全定义时序机的状态化简
被引量：
1
2
作者
杨贯中
陆应平
王荣湘
《湖南大学学报（自然科学版）》
EI
CAS
CSCD
1998年第2期103-108,共6页
应用矩阵模型，提出了一类非完全定义时序机的映射矩阵Ａｉ和Ｂｉ的计算方法和状态相容条件，根据状态相容求出Ｐｋ划分，从而得到了该类时序机状态化简的算法．
关键词
时序机
状态相容
状态化简
矩阵模型
计算机
在线阅读
下载PDF
职称材料
题名
非完全确定有限状态机最小闭覆盖的有效算法
被引量：
1
1
作者
李炜
吴建国
刘政怡
机构
安徽大学信号与智能计算实验室
出处
《四川大学学报（工程科学版）》
EI
CAS
CSCD
北大核心
2007年第S1期82-86,共5页
基金
安徽高校省级自然科学研究资助项目(2006KJ013A)
文摘
有限状态机(FSM)综合中,状态化简对减少电路的复杂度是非常重要的,由于EDA综合系统的发展和需要,要求能够有效地对较大规模的FSM最小化,对于完全确定的有限状态的已有较好的算法,而非完全确定的有限状态机的最小化的问题一直是个难题。利用生成序列、动态构造搜索树、修剪、启发式深度搜索和分支限界等方法,提出了一种有效的求解非完全确定有限状态机的状态最小化算法,减少了搜索的空间,提高求解速度。
关键词
有限状态机(FSM)
非完全有限状态机(
issm
)
状态化简
Keywords
finite
state
machine（
FSM）
incompletely specified finite state machine（issm）
state
reduction
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
一类非完全定义时序机的状态化简
被引量：
1
2
作者
杨贯中
陆应平
王荣湘
机构
湖南大学计算机科学系
出处
《湖南大学学报（自然科学版）》
EI
CAS
CSCD
1998年第2期103-108,共6页
基金
机械部教育司青年基金
文摘
应用矩阵模型，提出了一类非完全定义时序机的映射矩阵Ａｉ和Ｂｉ的计算方法和状态相容条件，根据状态相容求出Ｐｋ划分，从而得到了该类时序机状态化简的算法．
关键词
时序机
状态相容
状态化简
矩阵模型
计算机
Keywords
incompletely
specified
sequential
machine
,
state
compatibility,
state
minimization,martix model, P k partition
分类号
TP3 [自动化与计算机技术—计算机科学与技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
非完全确定有限状态机最小闭覆盖的有效算法
李炜
吴建国
刘政怡
《四川大学学报（工程科学版）》
EI
CAS
CSCD
北大核心
2007
1
在线阅读
下载PDF
职称材料
2
一类非完全定义时序机的状态化简
杨贯中
陆应平
王荣湘
《湖南大学学报（自然科学版）》
EI
CAS
CSCD
1998
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
