formalized的例句大全

Chapter Three introduces the analyzing procedures and techniques of the four formalized discourse structure theories.

第三章介绍了四种语篇结构形式化理论进行语篇分析的相关步骤和技术。

Formalized analysis for authentication test model of TLS

TLS协议认证测试模型与形式化分析

Traditional religions embody such concepts as monotheism, animism, vitalism, spirit and ancestor worship, witchcraft, and sorcery and vary widely among ethnic groups; none is formalized.

传统宗教包括一些观念，像一神论、万物有灵论、生机说、敬奉祖先、魔法和巫术，因不同的民族有所差异。

The paper formalized toponym ontology based on OWL.

基于OWL的地名本体形式化表达。

In order to solve such problems, Tim Berners-Lee, the founder of Web, proposed the concept of semantic Web that added an extended level based on existing Web and described the Web information in a formalized way on extended level.

为了解决这样的问题，Web创始人Tim Berners-Lee于1998年提出了语义Web的概念，它在现有Web基础之上新增了扩展层，并在这层上对Web信息进行形式化的描述。

The elements form, information category and seven interrelations between elements of this model are formalized defined.

形式化定义并详细给出了该模型的元素组成、信息范畴及元素间的相互关系。

the two sub-protocols of daa are formalized to reason the anonymity using the new method, the result of which demonstrates daa satisfies anonymity and verifies the correctness and feasibility of the new method.

使用新方法分别对DAA的两个子协议的匿名性进行形式化推理证明，分析结果表明，DAA协议满足匿名性，并验证了新方法的可行性和正确性。

Calculus Curriculum of Overstepping Formalized Limit Conception

逾越形式化极限概念的微积分课程&《普通高中数学课程标准（实验）》实证研究

A recent treaty signed by Russia, Canada and Japan formalized an agreement to work together to stop the pirates

俄罗斯、加拿大和日本最近签署的一项条约将三国共同防止盗版的协议正式确定下来。

Then this paper analyzes the protocol by combining BAN logic formalized analysis and non-formalized analysis to prove its safety. Finally, this paper puts forward a three-wheel lightweight authentication protocol with key agreement based on digital certificate.

之后结合BAN逻辑形式化分析与非形式化分析方法对协议的安全性进行详细分析，证明协议达到认证目的。最后，本文设计了基于数字证书的三轮轻量级认证密钥协商协议。

Most obviously, the U.S. has a more formalized and tax-favorable system of philanthropy than the rest of the world.

最明显的是，在慈善事业方面，美国有比世界其他地区更正规且更优惠的税收制度。

We first formalized the automatic error recovery problem, and proved the effectiveness of our reinforcement learning method in theory.

我们首先将自动故障恢复问题形式化，在理论上分析出了增强学习方式的有效性。

The mechanism of buffer overflow from the point of view of security operating system is analyzed, buffer overflow with BLP model is formalized. Based on it, the BLP model is adjusted properly and the crisis of buffer overflow is removed on the level of security model.

从安全操作系统的角度分析了堆栈溢出的原理，以BLP模型为工具对堆栈溢出进行了形式化并在此基础上适当调整了该模型，从安全模型的层次上消除了堆栈溢出的隐患。

The type of supply chain made up of manufacturer and retailer is formalized, in which manufacturer and distributor promote sale by advertisement and sales promotion.

考虑一个由制造商与分销商组成的供应链，制造商通过广告投入拉动产品销售，分销商通过促销活动推动产品销售。

Inferential statistics is a formalized body of methods for solving another class of problems that present great difficulties for the unaided human mind.

推理统计学是一套已定形了的方法体系，它解决的是光凭人脑极难解决的另一类问题。

Inferential statistics is a formalized body of methods for solving another class of problems that present great of problems characteristically involves attempts to make predictions using a sample of observations.

推理统计学是一套已定形了的方法体系，它解决的是光凭人脑极难解决的另一类问题。这类问题的显著特点是试图通过取样调查来作出预测。

This repeatedly swaying developing trace of new verse, seen from the external pattern, is the change from formalized style ( Ge Lv) to free style and then from recite poems to new folk song;

这种反复摆动的发展轨迹，从外形式角度看，新诗是从格律体到自由体，再从朗诵诗到新民歌；

The fact is, women who are in a secure, exclusive, and committed relationship, particularly one that has been formalized with a legal ceremony and a wedding ring, feel no twinge of guilt whatsoever in gradually letting of the svelte little bod they had on offer back in your courtin' days.

实际上，处于安全、专一、忠诚的男女关系中的女性，尤其是举行过婚礼、佩戴婚戒的已婚女士，完全不会为失去热恋期间小巧、曼妙的身姿而痛心、愧疚。

Their marriage vows will be formalized.

他们的盟誓婚约将正式肯定下来。

While the metaphysics cannot be formalized, time and freedom which are introduced into the metaphysics cannot be formalized either.

形而上学不能形式化，时间与自由进入形而上学，也不能形式化。