1、

A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.

对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法,证明了验证算法的可判定性。

互联网摘选

2、

Still others are common to only a subset of either the sequential or associative containers.

还有一些操作只适用于顺序或关联容器类型的一个子集.

期刊摘选

3、
4、

Constructing a connected covering node subset is one of key technologies for enlarging lifetime and sleeping scheduling in wireless sensor networks, which is a significantly important research area.

构造无线传感网络中具有连通覆盖特性的节点子集是实现网络休眠调度、延长网络生命周期的关键技术之一,具有重要的研究意义。

互联网摘选

5、

They argue that immigration policy is a subset of foreign policy and that the monocultural goals of policies laid down in the1920s were inappropriate for a nation seeking global leadership.

他们认为,移民政策是外交政策的一个分支,并且,1920年代政策中的单一文化目标,已经不再适于一个谋求在全球发挥领导作用的国家。

互联网摘选

6、

Given an undirected graph with weights on the vertices, the maximum weight clique problem is to find a subset of mutually adjacent vertices ( i.e., a clique) having the largest total weight.

给定顶点赋权的无向图,图的最大权团问题是寻找每个顶点都相邻的顶点子集(团)具有最大权。

互联网摘选

7、

Baseline bloods for cortisol and adrenocorticotropic hormone levels were collected and in a subset of infants a metyrapone test performed.

留取血基础类固醇激素和促肾上腺皮质激素水平以及进行婴儿亚群的甲吡酮试验。

互联网摘选

8、

While any valid OWL document can be used as a Classification system, at this point in time Registry and Repository exploits only a small subset of the expressiveness of OWL.

虽然任何有效的OWL文档都可用作分类系统,但目前Registry and Repository中仅利用了OWL表达能力的一个很小子集。

互联网摘选

9、

By definition, the ASCII character set is a subset of all multibyte character sets.

按照定义, ASCII字符集是所有多字节字符集的子集.

互联网摘选

10、

A subset of FORTRAN including built-in functions augmented by versatile operating statements for complete control maintenance.

FORTRAN语言的一种子集,包括许多由通用操作语句扩展的、作完全控制维护用的内部函数.

互联网摘选

11、

subset

子集

《牛津高阶英汉双解词典》

12、

A cut of a tree is a subset of its nodes with the following two properties.

一颗树的切割是此树具有以下两个性质的节点子集.

词典精选例句

13、

The product from the elicitation phase is a subset of the goals from various parties.

在捕获阶段得到的“期望列表”是各方面期望的一个子集.

网络文摘精选

14、

A subset of possible encodings are presented in the Encoding submenu.

出现在编码菜单中的可选编码子集.

互联网摘选

15、

E. coli and streptococci are subsets of fecal coliforms, which a subset of the total coliforms.

大肠埃希氏菌或链球菌是粪大肠菌群的一种,而粪大肠菌群是总大肠菌群的一种.

互联网摘选

16、

A subset of contributors have made their contributions available as public domain.

阿贡献者子集已使他们的贡献为可用的公共领域.

互联网摘选

17、

In a subset of patients, this results in amiodarone-induced hypothyroidism or thyrotoxicosis.

在一些病人中, 此药可引起胺碘酮诱发的甲状腺功能减退或甲状腺毒症.

互联网摘选

  • 今日热词
  • 热门搜索

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈