查询词典 protocols

Model checkers and theorem provers are all used to verify specifications of protocols. However, they are different. The former verify specifications in finite space, while the later prove some conclusions in infinite space.

模型检查和定理证明都是对协议的规格说明进行验证，不同的是，前者是在有限的空间中进行检查，而后者是在无限的空间证明结论。

It has the reputation for doing poorly in captivity but new husbandry methods, including the use of large, warm, well-planted enclosures, and advances in deparasitization and veterinary protocols, are producing successes in keeping this turtle alive and well.

这种龟以巨难养而著称。。（huangdudu：＂比食螺还难养吗？＂）但利用新的饲养方法，比如说提供大的、温暖的、植被良好的环境，给它们提供优良的兽医服务（养活一个，不是兽医胜似兽医），那么这种龟的成活率会提高很多。

Protocols must include appropriate statistical sections which define the efficacy parameters upon which the trial sample size and decision criteria are based.

协议必须包括适当的统计学章节，介绍如何以实验样本大小和决策标准为基础来界定疗效参数。

The existing protocols can't set appropriate time for every node to fuse data effectively, while providing great energy conservation and low latency. This paper proposed a strategy of data fusion based on cross-layer scheduling, which made a collision-free data transmission schedule and set appropriate waiting time for each sensor node according to the routing-tree.

针对现有的协议都不能在获得良好的节能效果和低延迟的同时，使每一个节点进行充分的数据融合的问题，提出一种基于跨层调度的数据融合策略，根据建立的路由树，制订无碰撞的数据发送调度方案并为每一个传感器节点设置合理的等待时间。

Comer's three-volume series Internetworking With TCP/IP is often cited as an authoritative reference for the Internet protocols.

科默教授所著的《用TCP/IP进行网际互联一、二、三卷》更被公认为是因特网协议技术介绍领域的至上宝典（译者注：我社出版了本套书的翻译版，十分畅销）。

In this paper,the single-wire bus transport protocols were introduced simply,the solution of CDMA and TDMA by SCM in single-wire bus was analyzed in detail.

简单介绍了单总线的传输协议，详细分析在单总线上利用单片机实现码分多址和串行时分复用的解决方案。

This page provides some protocols about porcine brain tubulin, sea urchin sperm axonemes, rat liver cell cytosol and organelle fractions, organelle motility assay, tissue culture of PtK1 cells, basic protein chemistry and so on.

该网页提供了一些有关猪脑的微管蛋白、海胆的精子基因丝、大鼠肝脏细胞的细胞质和细胞器的级分、细胞器的运动性实验、PtK1细胞的组织培养、基本的蛋白化学等等方面的操作流程。

Severe distal radialis fracture,Treatment protocols

中文关键词：严重的桡骨远端骨折，治疗方案

A recent case study of the beverage industry by ergonomic consultant ErgoWeb studied injury risk factors for hand truck operators and prevention protocols.

最近一个案例研究饮料行业顾问ErgoWeb了人体工程学的研究，受伤的危险因素，货仓车商和预防协议。

In addition, the pass-through protocol handler enables analysis of protocols where the serverdoes not readily change.

此外，过去-通过协议教练允许服务器不欣然地改变的协议的分析。

"The operators will suffer a temporary decrease in the number of consumers and short message services as people may not like having to provide their ID cards for a phone number," Xu Junqi, vice-dean with the Policy-Making Institute of the Telecommunications Research Centre under MII, said yesterday.

信息产业部下属的通信决策研究院副主任徐俊其昨天说：&实行手机实名制后，人们可能不太情愿用身份证注册手机号，所以通信运营商会暂时面临用户减少和短信用户减少的问题。&

I don't believe in make-believe!

我不相信这些虚构的故事。