1) Probable Morals
可能规约
2) functional specification
功能规约
3) possible size
可能规模
1.
This paper introduces the possible size of the national-defense economy and the conversion resource and the conversion mechanism of the national-defense economy, and advances some countermeasures for increasing the possible size of the national-defense economy.
介绍了国防经济的可能规模及其转化源泉和转化机制,提出了提升国防经济可能规模的对策。
4) Possibility Constraint
可能性约束
5) irreducible loop
非可规约循环
1.
Traditional parallelized compiler techniques use node splitting to make irreducible loops reducible,but will make code duplicate inevitably.
传统的并行编译器在处理非可规约循环时一般使用结点分割法,但由此带来的代码复制是不可避免的。
6) irreducible rule set
不可归约规则集
1.
Several works suggest proving termination by using triggering and activation graphs at compile-time, and computing an irreducible rule set is the key technique.
主动数据库中规则集的可终止性判定是一个重要问题,已经成为一个研究热点·有些研究工作提出了在编译阶段运用触发图和活化图的方法解决这个问题,其中的一个关键技术就是计算主动规则集的不可归约规则集·现有的计算方法由于具有一定保守性,使得计算出的不可归约规则集仍可进一步地归约,这无疑将影响到规则集的可终止性判定的准确性和运行阶段规则分析的效率·经过深入分析活化规则可无限执行的特点,提出了活化路径等概念·基于这些概念,提出了一个计算主动规则集的不可归约规则集的有效算法,使现有方法求得的不可归约规则集得到进一步的归约
补充资料：二进制同步通信规约
二进制同步通信规约
synchronous mode con-trol protocol for data communication
的码组无差错，并已被接收，但接收端对接收下一个码组尚未准备好; RVI—反向中断，其作用是要求发送站结束正在进行中的传输. TTD—文电临时延误(STX ENQ)，该控制字符是供某个还未准备好发送，但又希望保留线路的发送站使用的字符; DLE—数据链路转义字符，透明传输时用双字符表示，例如DLE soH表示在透明模式传输中用作标题开始的控制字符序列。 数据文电格式图中示出数据文电格式的帧结构。 ┌──┬─────┬─────┐ │SYN │S、N │控侧宇符 │ └──┴─────┴─────┘ ┌───┬────┬──────┬────┐ │SYN │S、，N │引导字特 │控制字符│ └───┴────┴──────┴────┘ ┌──┬───┬───┬───┬──┐ │S丫N│SYN │SOH │权翻 │ETB │ └──┴───┴───┴───┴──┘ ┌──┬───┬───┬───┬──────┬────┬──┐ │SYN │S、’N│SOH │标胭 │sTx}*、 │ETB/ETX │BCC │ └──┴───┴───┴───┴──────┴────┴──┘ ┌──┬───┬───┬───┬──────┬──┐ │SYN │SYN │STX │!}二文│ETB/ETX │BCC │ └──┴───┴───┴───┴──────┴──┘ ┌───┬───┬──┬────┬────┬────┬────┬──┐│S、刊 │S、润 │DLE │STX │透明正文│DLE │ETB/ETX │BCC │└───┴───┴──┴────┴────┴────┴────┴──┘ BISYNC规约规定的文电格式(a)控制/应答格式;(b)正文/标题格式;(。)透明格式er)旧zh一tongbu tongx旧gulyue二进制同步通伯规约(synehronous medeeontrol Protocol for data eommunieation)在数据通信系统中两个站之间进行二进制编码数据的同步传抽所使用的控制字符集和控制字符序列的规则和格式，也称为BISYNC(BSC)规约.该规约是面向字符的半双工数据桩路控制通信挽约，由美国IBM公司规定(IBM7o)。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条