查询词典 formalized

But the bird was almost out of sight now and nothing showed on the surface of the water but some patches of yellow, sun-bleached Sargasso weed and the purple, formalized, iridescent, gelatinous bladder of a Portuguese man-of-war floating close beside the boat.

可是那只鸟儿这时几乎看不见了，水面上没什么东西，只有几摊被太阳晒得发白的黄色马尾藻和一只紧靠着船舷浮动的僧帽水母，它那胶质的浮囊呈紫色，具有一定的外形，闪现出彩虹般的颜色。

But the bird was almost out of sight now and nothing showed on the surface of the water but some patches of yellow, sun-bleached Sargasso weed and the purple, formalized, iridescent, gelatinous bladder of a Portuguese man-of-war floating dose beside the boat.

可是那只鸟儿这时几乎看不见了，水面上没什么东西，只有几摊被太阳晒得发白的黄色马尾藻和一只紧靠着船舷浮动的僧帽水母，它那胶质的浮囊呈紫色，具有一定的外形，闪现出彩虹般的颜色。

As it becomes more and more possible to teach oneself online, and even to demonstrate one's achievement through productive membership in a community of practice, there will be greater demand for a formalized system of recognition, a way for people to demonstrate their competence in an area without having to go through a formal program of study in the area.

因为它变得越来越有可能教会自己在线，甚至通过实际社区中的积极成员展示某人的成就，这将更加需要得到正规体制的认可，人们在一个领域内不经过正规学习就能够展示他们的才干的途径。

After comparing the source language to the target language, the rules of model transformation are analyzed. Then the formalized expression of model transformation is designed, based on which the transformations are done.

比较源语言和目标语言的元模型，分析了模型转换规则，并给出转换规则的形式化表示，然后根据模型转换规则实现了模型间的转换及模型到代码的转换。

In view of cognitive rhetoric, the author developed the appraise evaluation method based on the language knowledge and domanial criterion about the entity. The author has finished the implement of this module and embedded it into TianWang Fame System. As the necessary language knowledge for machine evaluation, the author has formalized an elementary appraise dictionary and established several domanial supplemental lexicons from actual Chinese WebPages, especially a series of appraise template.

基于褒贬评价的修辞属性，作者确定了以语言手段及领域标准为策略的评价算法，独立完成了网页褒贬态度机器评价模块的全部设计与开发，并为此准备了必要的褒贬评价语言知识库，包括在转化现有的基础静态褒贬义词典的有限资源之外，搜集来自真实中文网页的领域相关褒贬义补充词典，积累了一批褒贬态度表达的语言形式模板。

We formalized a notion of security for partial delegation with warrant proxy signature schemes, i.e., existentially unforgeability under an adaptive chosen-message attack and an adaptive chosen-warrant attack. We compare the new model with the previous formal models and identify their weakness.

重新给出了具有证书的部分代理签名的安全定义，即适应性选择消息攻击和适应性选择授权文件攻击下的不可存在性伪造，建立了形式化安全模型。

We are now in a knowledge economy time. The human resource is playing a more and more important role in improving the economy growth and society progress. It becomes one of the impendent problems in the management area that how can we establish scientific, efficient, systemic and formalized human resource regulations and how to take the maximum advantage of the whole functionality of human resources.

二十一世纪是知识经济的时代，人力资源在推动经济发展和社会进步方面的作用日益突出，如何建立科学、高效、系统、规范的人力资源管理制度，最大限度的发挥人力资源的整体效能已经成为管理学界亟待研究解决的问题之一。

Despite of language is not pure reason outcome, language construction regulation is not the regulation that one kind of culture defends like hair bloodstain make a law article , the upper characteristic of language structure type requires that the object carries out elemental analysis on thought but with national culture mode of thinking, Carry out logicalization , formalized formulation, systematicness that being running after shows.

尽管语言并非非纯粹理性的产物，语言结构规则并不像发血迹制定法律条文那样是一种文卫的规定，然而语言结构类型上的特点同民族文化思维方式要求对思维客体进行元素分析，进行逻辑化，形式化的表述，追求的是表现的规则性。

In this paper,the definition and formalized description of Grid service churn and manageability are proposed.

文中提出了网格服务的干扰和可管理性的形式化描述及量化计算方法，并建立了描述干扰发生过程的网格系统随机Petri网模型。

From the cognitive perspective, this part also examines the logic evidence for discriminating metalanguage and object language. Additionally, tracing back to its origin, the metalinguistic theory can be divided into the formalized and the one of natural language As a conclusion, this chapter will point out three orientations to the study of linguistic metalanguage The second chapter tries to retrospect to the origin of the theory and find the prototype for the pairs of metalanguage and object language, on which according to this chapter, modern mathematics and modern logic have key effects. In fact, mathematician, philosopher and logician B Russell and G. Frege discriminated metalanguage from object language.

作为方法论原则的元语言理论》是一篇着重从方法论原则的角度探讨元语言理论的博士学位论文，本文在现代语言学和语言学史的理论和方法指导下，通过对元语言这一现代哲学、现代语言学共同关注的重大课题的梳理，旨在系统阐释哲学和语言学领域的元语言的概念、特性和内容，明确哲学和语言学的元语言理论之间的关联与分野，真正把元语言和对象语言这一对范畴纳入语言学研究视野，从形式研究、功能研究和语用的角度阐述其方法论的意义和内容，并将这一方法论原则运用到汉语修辞现象分析中，提出&元语辞格&说。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48