1) schedulability test
可调度性判定
1.
The paper introduced the real-time schedule strategy of embedded BACnet gateway, which was based on real-time operating system μC/OS-II Using extended rate monotonic(ERM) algorithm s schedulability test, and it proved BACnet gateway can adopt ERM algorithm to realize the real-time schedule of multi-task.
通过扩展速率单调(ERM)算法的可调度性判定,证明BACnet网关是可以采用ERM算法进行多任务实时调度的。
2.
A lot of work has been done to investigate their schedulability, and present their corresponding schedulability tests.
可调度性判定是实时调度算法的关键问题·单调速率算法RM(ratemonotonic)及其扩展是应用广泛的实时调度算法,大量文献讨论了实时任务在这些算法下的可调度性判定,给出了相应的判定算法·但迄今为止,对这些判定算法的性能分析都是理论上的定性分析或者只是少数几种判定算法之间的简单比较,这不利于实时系统的开发·归纳了RM及其扩展的可调度性判定算法,通过测试平台,系统地测试和分析了各算法的性能和适用场合,讨论了各种条件和实现方式对算法性能和可调度性的影响
3.
This paper presents a review of the various schedulability tests under RM algorithm, starting from the simplest ideal RM scheduling model and then going into the more complicated ones.
任务可调度性判定是实时系统调度理论研究的核心问题。
2) decidability
可判定性
1.
A Definition Framework of Spatial Logic and Decidability;
空间逻辑的一个定义框架及其可判定性
2.
Further more,he clarified the significance of the undecidability and the antinomies with his conclusion that mathematics does not have crisis.
以批判数学存在基础的各种哲学学派为逻辑起点,普特南围绕数学基础中出现危机的根源进行了深刻剖析,重解了数学上存在不可判定性命题的意义及二律背反的意义,从而得出了数学中不存在危机的结论。
3) judging of coordination degree
协调度判定
4) criteria for mobility
可动性判定
1.
It mainly consists of the criteria for mobility of mechanisms and the method of how to distinguish transient assemblies.
基于矩阵的奇异值分解法,提出了杆系结构在考虑荷载作用下的可动性判定方法,包括含机构的杆系结构可动性判定和瞬变结构的判定。
5) undecidability
['ʌndisaidə'biliti]
不可判定性
6) viewing volume
可见性判定
1.
The technique of the judging of viewing volume and reasonable hidden surface removal are adopted,and the processing of cull and draw of models are faster.
采用了可见性判定和合理的消隐技术,加快了模型数据截取和绘制的速度。
补充资料：不可判定性
不可判定性
IndecidalHlity
不可判定性【1”‘cida城勿;一epa3pe“HMocT‘1【补注】一个算法(日即riUllll)的不存在性，或者在一个形式系统(forn以1 systeTn)中证明或否证一个命题的不可能性.下面分别予以讨论.解决某一给定问题的算法的不存在性常常称为该问题的不可解性(un-solvabiljty).有时“不可判定性”和“不可解性”看作是同义词.(见不可解性(unsolvability).) 在一切数学领域中都可得到判定性结果，它们可能以算法的直观概念为依据.由构造一个算法证明一个问题是可判定的，该算法在接收该问题一个例子的数据后产生对于这个例子的回答.一个经典例子是求两个自然数的最大公因子的Euelid算法. 算法的概念必须形式化才能证明某个问题是不可判定的.一个问题的不可判定性是指算法原则上不可能存在，—不仅仅是至今还不知道这样的算法. 在这些形式化中最普通的是1物由犯机(T以角glna-chjne).然而，应该强调，所有提出的形式化发现都是等价的，此外，不可判定问题的存在性是不依赖所用的形式化.下面将简要阐述这一点. 这样，必须说明算法这个直观概念的任何形式化如何导致算法不可判定问题.考虑任何一个这样的形式化.对任何算法A和A的任何输人字x，存在两种可能性:或者A对于x停止(llah)，即当A作用于x时得出一个停止的计算;或者A对于x不停止.在后一种情况下，就说A对于x循环(loop).停机问题(回t叱problelll)是对于任何对(A，x)，判定A对于义是停止还是循环. 停机问题的一个特例是可自应用性问题(seif一app-licability problem)，定义如下.每个算法A是由它的Godel字(Gi记el word)g(A)所完全决定的.例如，抓A)可定义为A中所有指令按顺序的集合.一个算法A称为可自应用的(se】f一applicable)，只有当A对于夕(A)停止.自应用问题是判定任一算法是否可自应用的.自应用问题是停机问题的子问题;因此，如果前者是不可判定的，则后者也是不可判定的. 假设存在一个自应用问题的算法A。.这样，对所有形为g(A)的输人，A。都停机，且根据A是否可自应用产生回答yes或no.现在修改A。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条