1、

Formal Analysis for Network Security Protocols Based on Trace Semantics

基于迹语义的网络安全协议形式化分析

互联网摘选

2、

This paper proposes a new simple trace semantics that can be used to specify security properties, this technique supports a protocol designer to provide formal analysis of the security properties.

本文提出了一种新的简单的迹语义,用于刻画协议部分安全性质,即只针对协议规约的单个主体,此技术支持协议设计者对安全性质进行形式化规约。

互联网摘选

3、

Otherwise, the query semantics do not allow index usage.

否则,查询语义不允许使用索引。

互联网摘选

4、

Thus, in the general case, the query semantics are different depending on the use of/ text().

因此,一般情况下,查询语义是不同的,这取决于/text()的使用。

互联网摘选

5、

Since/ text() generally makes a difference for query semantics, it also makes a difference for index eligibility.

既然/text()通常会使查询语义不同,它也会使索引合格性不同。

互联网摘选

6、

Particularly, the index construction methods, semantic coordination, query semantics, query processing strategies, types of queries supported, and query optimization of P2P database-style queries are discussed in detail.

然后针对上述3个方面,论述P2P数据管理研究的现状,着重讨论了P2P数据库查询的索引构造策略、语义异构的解决方法、查询语义、查询处理策略、查询类型和查询优化技术。

互联网摘选

7、

This method combines phrase dictionary and local analysis, and expand the query both in semantics and syntax.

本文将术语词典和局部分析法结合起来,从语义和语法两个层面做查询扩展。

互联网摘选

8、

A Distributed Query Optimization Based on Semantics and Logic

基于语义和逻辑的分布查询优化

互联网摘选

9、

Questions on Logic Semantics of Chinese Medical Terms

中医理论术语的逻辑语义问题

互联网摘选

10、

A Logic Semantics Analysis Algorithm for Railway Station Layouts

一种站场图逻辑语义解析算法

互联网摘选

11、

At first, he developed a modal logic semantics, and has achieved notable successes.

起初,他发展了模态逻辑语义学,并取得了引人注目的成就。

互联网摘选

12、

Fault tolerance and semantics of component based software

基于组件软件的容错及语义

互联网摘选

13、

Quotient Operators of Fuzzy Relational Database Based on the Semantics

一种基于语义的模糊关系数据库除操作

互联网摘选

14、

The core problem of the theory of information science is to judge the value of access points of various subjects in electronic databases, which relates to the theory of meaning and semantics.

情报科学的核心理论问题是确定电子数据库不同“主题检索点”的有用性。这个问题也与含义和语义学理论有关。

互联网摘选

15、

Study on semantics and operation of relation database and object database

关系型数据库和对象数据库范式和操作研究

互联网摘选

16、

In child aspect acquisition, verb semantics and syntax serve as important factors;

文章认为:在儿童时体习得过程中,动词语义特征和句法结构类型是影响时体习得的重要因素;

互联网摘选

17、

Verb semantics empty by prominent title name name.

动词语义虚化以突出标题的称名性。

互联网摘选

18、

Chinese "Marches Forward" the Kind of Verb Semantics Field History to Evolve

汉语行进类动词语义场的历史演变研究

互联网摘选

19、

On this basis, the predication theory to analyze the composite structure of the word "ama" compound verb semantics.

在这基础上以述谓结构理论为指导,分析了ama相关的复合动词的语义组合结构。

互联网摘选

20、

Psychological verb show psychological abstract verb of activity, semantics research indicate its semanteme there is distinct characteristic.

心理动词是表示心理活动的抽象动词,语义学研究表明其语义具有鲜明的特征。

互联网摘选

  • 今日热词
  • 热门搜索

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

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