1) judging of coordination degree
协调度判定
2) 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.
任务可调度性判定是实时系统调度理论研究的核心问题。
3) negotiation mediation
谈判协调
1.
A negotiation mediation model is proposed to resolve the conflicts in negotiation support problems.
为减弱谈判支持系统中协调模型对谈判者偏好信息汇报的依赖性,提出了以有效议价区间判断为前提的谈判协调机制与协调策略。
4) method of coordination assessing
协调判别法
1.
In order to evaluate the coordination level of a system,the method of coordination assessing is designed.
评价系统发展协调性的"协调判别法"是这样一种方法:先为系统的各子系统选择一些有代表性又可用一定指标度量的要素,按一定标准将要素分作满意与不满意两类,统计加总各类要素的数量,以之作为度量用的综合指标,并经归一化处理得各子系统的"状态数";再将这些子系统与一定的"状态空间"对应,在此空间中利用"状态数"确定子系统所属系统的"状态点"及"完全协调线";然后分别计算状态点与协调线的距离(偏离度)、状态点与原点的距离(优化度),借助它们便可评价各子系统发展的同步性及相应系统的协调性。
5) synchronized scheduling
协调调度
1.
This paper studies the problem of synchronized scheduling of production and air transportation in supply chain.
研究了一类供应链中的生产和航空运输协调调度问题的特点。
2.
A solution framework is proposed for the problem of synchronized scheduling of production and air transportation in supply chain.
提出了解决供应链中生产和航空运输协调调度问题的理论框架。
补充资料：不可判定度
不可判定度
degree of undeddaUity
不可判定度【‘魄.锐of团吐劝‘城ty;.epa3pe山，。oeT。cTeueu‘」 自然数序列的子集上T叮初8归约性(:引进的一等价关系芝:(A兰:B，若A簇:B，且B簇:A).换言之，两集合有同一不可判定度，若对其中任一个集合有一能行的判定步骤，把任意数是否属于此集合的问题归约到另一集合的归属间题(亦见算法可归约性(algorithl如c阁ucibility)).不可判定度也可定义为处处有定义的函数(把自然数序列映射到它自身)的集合在相对递归性关系(;下的等价类.(一函数f相对于函数g是递归的(rec明i呢)，若f有一递归定义，在其中除了通常的初始函数外，g也作为初始函数出现).在此情形下，函数的不可判定度也称为不可计算度(deg找犯ofnon一comPutability);也称为该函数的T州ng度(T面Ilgdeg氏)或T度〔T，degee).对函数和集合的两种途径而言，所有不可判定度集组成一上半格(sen刀一httice)，且集合和函数的不可判定度的上半格同构.正是由于此而取这等价的定义. 不可判定度的上半格的结构已被详尽地研究(见!l]一[3])，这上半格的初等理论(elen℃ntary th印ry)是不可解的(【6」). 在不可判定度集上定义了一个跃变运算臼umP op-洲tion)，对每个不可判定度a赋予另一个度a几它是相对于“的递归可枚举不可判定度中最大的度.(集合B相对于集合A是递归可枚举的(recuxsively~ble)，若B是相对于A递归的集合的投影，且一不可判定度b称为相对于另一不可判定度a是递归可枚举的(卿珑i-祀ly enu汀坦mble)，若b包含一个相对于某A6a是递归可枚举的集合B.)跃变运算是单调的:a簇b蕴涵a’毛b’胆反向不成立).对每个不可判定度a)0‘有另一不可判定度b，使得a=b‘.不可判定度0间在算术集的甄和n。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条