查询词典 competitiom rules

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

The studied object covers the election of councilor and the representatives of People's Congress, and the study involves the democracy and election rules, the Potential Rules of logrolling and the strategic action in Chinese style election, the property rights analysis of universal suffrage history, property rights restriction and election legalization, the logic of rational e...

本文重点研究了民主与选举的规则，互投赞成票的"潜规则"以及中国式选举中的策略行为，普选权历史的产权分析，产权约束与选举法治化，理性选民的行动逻辑，选举中的竞争以及选民参选的行动逻辑，代议制度和代表的行动逻辑。除了方法论研究的特色外，本文在上述研究对象方面均有创造性研究或发现。

We shall create an external environment for fair competition, earnestly clear up administrative rules and regulations as well as policies which are not conducive to the development of small and medium circulation enterprises, study and formulate policies and measures which are both commensurate with rules of WTO and favorable to the development of the said enterprises, further rectify and regulate the market order, seriously investigate undue conducts of competition, adhere to cancel the regional protectionism, create a market environment favorable for the fair competition between small and medium circulation enterprises and large enterprises, effectively alleviate burdens of small and medium circulation enterprises, supervise and inspect charges collectable which have been canceled and insist on making investigation and giving punishments if more burdens are cast on small and medium circulation enterprises by means of various pretexts and in disguised forms.

创造公平竞争的外部环境。认真清理各种不利于中小流通企业发展的行政法规和政策规定，研究制定符合世贸组织规则又有利于中小流通企业发展的政策措施。进一步整顿和规范市场秩序，严肃查处不正当竞争行为，坚决取消地方保护主义措施，创造有利于中小流通企业与大企业公平竞争的市场环境。要切实减轻中小流通企业负担，对已取消的收费项目要进行监督检查，对巧立名目、变相增加中小流通企业负担的，要坚决予以查处。

Overseas there is a cry therapy, where people can keep to the rules used to leave everything behind methodicalness and rules, play to cry and release their own, so that the hearts of the depressed and trouble with the accumulated carefree dripping cry out in vitro, in order to achieve inner balance of the .

国外有一种喊叫疗法，在那里，习惯了循规蹈矩的人可以放下一切章法和规矩，尽情地喊叫和释放自己，让心中积攒的郁闷和烦恼随着畅快淋漓的叫喊冲出体外，以达到内心之平衡。

Association rules mining is a very active field in data mining and there are many algorithms today. In this field, the most classical algorithm is Apriori put forward by Agrawal et. al and it is used widely. The paper analyzes the advantages an disadvantages of Apriori, AprioriTid and AprioriHybrid algorithm in mining association rules. To solve the bottle of AprioriHybrid algorithm, a Support-Matrix method to rapidly verify the 2-frequent itemsets is put forward. To accelerate the speed of verify the k-frequent itemsets, a simple and highly efficient method of minimizing the trade database is given. All these two methods improve the efficiency of AprioriHybrid method.

关联规则挖掘是数据挖掘中一个非常活跃的领域，当前有许多种算法，最经典并被广泛使用的是Agrawal等人提出的Apriori算法及其衍生算法，本文分析了Apriori，AprioriTid和AprioriHybrid算法的优缺点，针对AprioriHybrid算法的瓶颈提出一种使用支持度矩阵对频繁2项集快速验证的方法，并给出一种简单易行，而又高效的逐步缩减交易数据库的方法，加快对候选频繁k项集的验证速度，从而提高了AprioriHybrid算法的效率。

Moony 11, 8, and 5.6 rules: There are many different rules that work well when shooting the moon.

摄影月亮的曝光组合有多种。但最为人乐于使用的是11、8和5.6组合。

F5.6.2. Moony 11, 8, and 5.6 rules: There are many different rules that work well when shooting the moon.

摄影月亮的曝光组合有多种。但最为人乐于使用的是11、8和5.6组合。

Then we brought forward corresponding solutions: using rules to correct errors in texts after word segmentation; establishing specific rules for different domains based on a new "Mountain Chain" model; and combining statistical with linguistic method for treating different kinds of name entity separately.

解决方案是：利用规则，对机器分词后的文本进行修正；提出"群山"模型，对不同领域制定不同的语言学规则；以统计学方法和语言学方法结合，对不同命名实体采用不同的方法等。

A simple sample with crack is analyzed on thermal fatigue applying finite element method and multilinear kinematic hardening rules of material, based on which the processes and rules of the thermal fatigue crack opening are studied.

用有限元方法并考虑材料的多线性随动强化性质对带有裂纹的简单试件模型进行热疲劳分析，研究热疲劳裂纹张开的过程和规律。

These rules apply to any type of negotiation game, whether it is multimillion pound deal, buying a car or a house — The same rules apply.

这些规则适用於任何类型的谈判游戏，无论是multimillion英镑交易，购买汽车或房子-适用同样的规则。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。