1) 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.
提出了一种解决离散事件动态系统状态反馈控制综合问题的简单算法——费用优化算法，通过对已有的一类最优控制问题中的控制费用函数和惩罚函数进行适当的构造，将计算控制综合问题的最优解转化为对该类最优控制问题的求解，从而方便地计算出完全可观察系统中的最大可控子谓词和部分可观察系统在观察函数满足一定条件下的最大可控可观察子谓词。
2) 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.
文中结合布尔代数,采用移除最小项的方法,提出了解决离散事件系统监控理论中最关键的问题——计算最大能控子谓词的一种新算法。
3) computable predicate
可算谓词
4) provability predicate
可证性谓词
5) predicate transformer
谓词转换子
6) predicationaliser
谓词化算子
补充资料：可控性与非可控性投入
可控性与非可控性投入
可控性与非可控性投人可控性投入指学校和教育行政部门可以控制的教育资源投入。学校可以对教学负担、班级规模、课程教学单元的数量、每个教师承担的学科教学任务的平均量等可控性投入进行调节和平衡，以改进教学质量。教育行政部门可以对教师的专业准备程度、教学经验、培训要求、教师工资、设备供应、生活费用、图书馆藏书等投入进行选择，以调节教育的供给与需求。而非可控性投入指学校和教育行政部门不能控制的教育资源投入。如学生的种族、性别、年龄及家长的社会经济背景等无法控制的因素对教育有着不同程度的影响。教育部门不能控制学生家长的教育水平和收入状况，但应当推动教育机会平等的社会经济环境的实现。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条