取值于完备格的同步机及其最小实现化

doi:10.3778/j.issn.1002-8331.2010.18.005

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (18): 13-14.DOI: 10.3778/j.issn.1002-8331.2010.18.005

取值于完备格的同步机及其最小实现化

李平¹，李永明^1，2

1.陕西师范大学数学与信息科学学院，西安 710062
2.陕西师范大学计算机科学学院，西安 710062

收稿日期:2009-11-24 修回日期:2010-05-10 出版日期:2010-06-21 发布日期:2010-06-21
通讯作者: 李平

Synchronous machines valued in complete lattices and their smallest realization

LI Ping¹，LI Yong-ming^1，2

1.College of Mathematics and Information Science，Shaanxi Normal University，Xi’an 710062，China
2.College of Computer Science，Shaanxi Normal University，Xi’an 710062，China

Received:2009-11-24 Revised:2010-05-10 Online:2010-06-21 Published:2010-06-21
Contact: LI Ping

摘要/Abstract

摘要： 首先给出了取值于完备格的同步机以及它的可达性、可观测性的定义，得到了取值于完备格的同步机的两个基本结论：值有限性及序引理。其次，利用值有限性质及序引理，进一步给出了取值于完备格的同步机的最小实现化问题，并证明了可达且可观测的取值于完备格的同步机就是最小实现化的同步机。

关键词: 完备格, 取值于完备格的同步机, 最小实现化

Abstract: The concepts of the synchronous machines valued in complete lattices and the accessibility，the observability are introduced.Two basic conclusions are given：The property of finite values and the ordering lemma.And by the two conclusions，the smallest realization of the synchronous machines valued in complete lattices is studied.It shows that the synchronous machine which is accessible and observed is the smallest realization of synchronous machine.

Key words: complete lattices, synchronous machines valued in complete lattice, smallest realization

中图分类号:

TP301.1

李平¹，李永明^1，2. 取值于完备格的同步机及其最小实现化[J]. 计算机工程与应用, 2010, 46(18): 13-14.

LI Ping¹，LI Yong-ming^1，2. Synchronous machines valued in complete lattices and their smallest realization[J]. Computer Engineering and Applications, 2010, 46(18): 13-14.

[1]	赵方方，李令强. 闭包算子与邻域系的广义化[J]. 计算机工程与应用, 2016, 52(21): 68-71.
[2]	韩胜伟¹，潘芳芳². Quantale上的基[J]. 计算机工程与应用, 2010, 46(9): 31-32.
[3]	韩胜伟. 序半群上的等同关系[J]. 计算机工程与应用, 2010, 46(34): 15-16.
[4]	王加阳,彭岚琳. 模糊λ商空间研究[J]. 计算机工程与应用, 2009, 45(6): 63-65.

取值于完备格的同步机及其最小实现化

Synchronous machines valued in complete lattices and their smallest realization

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 4

编辑推荐

Metrics