1) Alternating buchi automata
选择Buchi自动机
2) Buchi automata
Buchi自动机
1.
On the basis of introduction to LTL formula and theory of automata,we present a algorithm which can transfer LTL formulae into Buchi automata.
该算法先简化LTL公式,然后再对简化的LTL公式转换,形成选择Buchi自动机。
3) automatically select
自动选择
1.
In this paper, an idea of automatically selecting rendering intents in color management is put forward and the elementary study has been done.
提出了渲染目的自动选择的设想,并进行了初步的探讨和研究:总结出了ICC的4种渲染目的的特点及适用范围,在此基础上得出自动选择渲染目的时需要考虑的两个因素,及这两个因素和渲染目的之间大略的对应关系,为研究自动选择渲染目的迈出了第一步。
2.
The idea of automatically selecting rendering intent in color management system is put forward in this paper, and the elementary research is carried out.
文章提出了自动选择再现意图的设想,并对再现意图选择的规律进行了初步的研究。
4) automatic selection
自动选择
1.
This paper introduces a method of automatic selection for softeware design patterns from the respects,formally describing new application requirements and design patterns,finding out a group of reusable designs from patte.
重新应用需求和设计模式的形式化描述,在模式库中找出一组包含新应用领域的模式的可重用的设计以及重用模式的变换适配等方面,详细讨论了一种软件设计模式的自动选择方法。
6) BUCHI Auto Kjeldaht K-370
BUCHI K-370全自动定氮仪
1.
Discuss experiment of BUCHI Auto Kjeldaht K-370 related parameter of distillation
为了分析BUCHI K-370全自动定氮仪相关参数即蒸汽力度,蒸馏时间的设置使之最适合生物制品中蛋白质含量的测定。
补充资料：动机性选择
动机性选择
motivated selectivity
动机性选择(m otivated seleetivity)个体对赞同性信息的一种偏好心理。人们倾向于寻求那些符合自己动机体系和态度结构中相类似的信息，以增强同类意识感(见“同类意识，’)。20世纪40年代末50年代初，一些心理学家就将这种心理倾向称之为动机性选择 (林乘肾撰沈德灿审)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条