期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
取值于完备格的同步机及其最小实现化
1
作者
李平
李永明
《计算机工程与应用》
CSCD
北大核心
2010年第18期13-14,17,共3页
首先给出了取值于完备格的同步机以及它的可达性、可观测性的定义,得到了取值于完备格的同步机的两个基本结论:值有限性及序引理。其次,利用值有限性质及序引理,进一步给出了取值于完备格的同步机的最小实现化问题,并证明了可达且可观...
首先给出了取值于完备格的同步机以及它的可达性、可观测性的定义,得到了取值于完备格的同步机的两个基本结论:值有限性及序引理。其次,利用值有限性质及序引理,进一步给出了取值于完备格的同步机的最小实现化问题,并证明了可达且可观测的取值于完备格的同步机就是最小实现化的同步机。
展开更多
关键词
完备格
取值于完备格的同步机
最小
实现
化
下载PDF
职称材料
题名
取值于完备格的同步机及其最小实现化
1
作者
李平
李永明
机构
陕西师范大学数学与信息科学学院
陕西师范大学计算机科学学院
出处
《计算机工程与应用》
CSCD
北大核心
2010年第18期13-14,17,共3页
基金
国家自然科学基金 No.10571112
陕西师范大学研究生培养创新基金No.2007CXB004~~
文摘
首先给出了取值于完备格的同步机以及它的可达性、可观测性的定义,得到了取值于完备格的同步机的两个基本结论:值有限性及序引理。其次,利用值有限性质及序引理,进一步给出了取值于完备格的同步机的最小实现化问题,并证明了可达且可观测的取值于完备格的同步机就是最小实现化的同步机。
关键词
完备格
取值于完备格的同步机
最小
实现
化
Keywords
complete lattices
synchronous machines valued in complete lattice
smallest realization
分类号
TP301.1 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
取值于完备格的同步机及其最小实现化
李平
李永明
《计算机工程与应用》
CSCD
北大核心
2010
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
