-
题名取值于完备格的同步机及其最小实现化
- 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
[自动化与计算机技术—计算机系统结构]
-
-
题名论如何均衡控制铁路固定资产投资
- 2
-
-
作者
王秀文
潘红爽
-
机构
石家庄供电段
河北石家庄收入稽核部
-
出处
《时代金融》
2011年第7Z期47-47,共1页
-
文摘
企业发展必然带来固定资产逐年增加,如何把握和控制固定资产投资,发挥最大效益,花最少的钱办最大的事,解决企业安全生产中存在的问题。
-
关键词
控制固定资产投资
实现最小化
企业发展
-
分类号
F275
[经济管理—企业管理]
-