data flow control protocol

英美

data flow control protocol网络翻译

数据流控制协议

data flow control protocol双语例句

This paper d iscribed the main function of the NTLS, and then put forward the data structure of the NTLS and the data flow control protocol of the main function of the NTLS.

本文介绍了网络电脑教室的四大功能模块，并提出实现这些功能的数据结构及其数据流控制规则。

TUGEN integrates the features of data-flow and control-flow test and is based on a formal model called EBE, which specifies only the external behavior of a protocol.

测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支。提出了一种基于EBE模型，集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现TUGEN。

The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;

构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。

相关单词

purchasingn. 购买，采购 adj. 购买的，采购的 v. <正式>购买，采购；<古>（努力或艰难地）获得，得到；（航海）（用滑轮或杠杆）升起，举起（绳，索，锚）（purchase 的现在分词）
purchasern. 买方；购买者
publishingn. 出版；出版业 adj. 出版的；出版业的 v. 出版；发行（publish 的现在分词形式）；发表
publishern. 出版者，出版商；发行人
psycology
protractorn. 伸肌；分度器；伤处异物摘出器
protectionismn. 保护主义，贸易保护主义；贸易保护制度
proletariatn. 无产阶级，工人阶级；最下层阶级
proletariann. 无产阶级分子；无产者 adj. 无产阶级的；无产者的
programmern. （计）程序设计员；编程器
producingv. （用部件或原材料）生产；出产；生育；创作；引起；出示；制作（电影、戏剧等）；监制（音乐磁带）；（使）线段延长（produce 的现在分词）
prizegivingn. 分配奖品
private sector私营单位
printingn. 印刷（术）；（书的）一次印刷；印刷字体 v. 打印，印刷；（在报纸、杂志上）刊印，刊登；洗印，冲洗（照片）（print 的现在分词形式）
playwrightn. 剧作家