欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
首先给出了取值于完备格的同步机以及它的可达性、可观测性的定义,得到了取值于完备格的同步机的两个基本结论：值有限性及序引理。其次,利用值有限性质及序引理,进一步给出了取值于完备格的同步机的最小实现化问题,并证明了可达且可观测的取值于完备格的同步机就是最小实现化的同步机。
英文摘要：
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.
同期刊论文项目
同项目期刊论文
位置：