1、
命题1. 是良构的,且PS仅包含单调策略. 进一步, 每个状态都是可定义的.
互联网摘选
2、
该模型具有数值可加型标准综合函数所具有的性质, 即单调性 、 有界性和幂等性.
互联网摘选
3、
4、
Makes a technological analysis of the non-monotonic roller part in numerical controlled processing.
介绍 非 单调轴类零件的数控加工工艺分析.
互联网摘选
5、
The representative voltage scaling DAC have the monotonic property of output.
典型电压按比例缩放式结构的数模转换器可保证输出的单调性.
互联网摘选
6、
7、
同时还发现两原子的纠缠与贝尔不等式破坏并不是单调的函数关系，很小的纠缠也可以产生贝尔不等式破坏。
互联网摘选
8、
以通常所说的闭区间套定理作为公理推出单调有界数列存在极限和Dedekind定理，并且证明了通常所说的实数满闭区间套定理。
互联网摘选
9、
其次，考虑单网段通信任务共享一个传输介质而引起的通信超时，提出了基于作业速率单调优先级算法的扩展紧凑模式的任务调度算法，以满足实时任务的时间约束和次序约束。
互联网摘选
