1) supremal controllable predicate
最大能控子谓词
1.
According to Boolean algebra, removing minterms is used for a new algorithm about the supremal controllable predicate, which is the most important problem in Supervisory control of DES.
文中结合布尔代数,采用移除最小项的方法,提出了解决离散事件系统监控理论中最关键的问题——计算最大能控子谓词的一种新算法。
2) controllable subpredicate
可控子谓词
1.
We mainly adopt optimal control by defining the control cost function and punishment cost function properly to simply compute the supremal controllable subpredicates in a completely observed system as well as the supremal and observable subpredicate in partially observed systems under certain conditions.
提出了一种解决离散事件动态系统状态反馈控制综合问题的简单算法——费用优化算法，通过对已有的一类最优控制问题中的控制费用函数和惩罚函数进行适当的构造，将计算控制综合问题的最优解转化为对该类最优控制问题的求解，从而方便地计算出完全可观察系统中的最大可控子谓词和部分可观察系统在观察函数满足一定条件下的最大可控可观察子谓词。
3) minterm predicates
最小项谓词
1.
A method is proposed for selecting and efficiently horizontally partitioning warehouse cube views based on the minterm predicates of selection predicates in OLAP queries.
提出了根据OLAP查询中的选择谓词构造其最小项谓词 ,选择数据仓库立方体视图进行水平分割 ,利用视图分割后的裂片建立的数据集市来回答查询 ,达到减少访问的视图元组数和加快查询响应时间 ,从而提高OLAP查询效率 ,削减维护费
4) predicate transformer
谓词转换子
5) predicationaliser
谓词化算子
6) control predicate and nominal
控制谓词与名词
补充资料：能控性
| 能控性 controllability 系统的状态变量可由外输入作用来控制的一种性能。如果在一个有限的时间间隔内，可以用幅值没有限制的输入作用，使偏离系统平衡状态的某个初始状态回复到平衡状态，就称这个初始状态是能控的。当系统的所有可能的初始状态都能控时，称系统为完全能控的，否则称系统为不完全能控的。能控性的概念是由R.E.卡尔曼在1960年首先提出的，它很快就成了现代控制理论中的一个基础性概念，在解决线性系统的极点配置、最优控制等问题时具有重要作用。对于线性系统（状态变量和输出变量对于所有可能的输入变量和初始状态都满足叠加原理的系统），能控性及其判别条件都已有成熟的研究结果。从控制系统设计的角度来看，只有当受控系统为完全能控时，才有可能设计适当的状态反馈使闭环控制系统具有任意指定的性能。如果只要求所设计的闭环控制系统为渐近稳定（见运动稳定性）则完全能控条件可放宽为不完全能控，且要求不能控部分是稳定的。对于分布参数系统和非线性系统，能控性及其判别条件也已有所研究，但其复杂性大为增加，许多问题还有待解决。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条