查询词典 formalized

Taking customer domain for example, an ontology-based customer metadata model is build and formalized in description logics. Then two kinds of modes for customer information sharing are studied. The two modes are to construct a global c ustomer m etadata m odel w ithin a n e nterprise a nd t o c onstruct a mapping mechanism between customer metadata models located on different enterprises respectively. In the first mode, an information source is regarded as a 3-tuples, including a metadata model, a concept relation set and a resource data set.

然后从两个层面来探讨客户信息的共享机制：一是在企业内部创建统一的客户元数据模型，将信息源抽象成一个包含元数据模型、概念关系集、资源数据集的三元组，对概念关系的构成及获取方法进行分析，随后建立数据请求的模型，并相应地提出基于概念关系和基于术语相似度的两种答复模式。

The study of formalized definition of HNC concept expression aims at building a system of word semantic knowledge for automatic semantic annotation so that the formalization of semantic annotation symbols and calculability of the meaning of words can be realized.

研究HNC概念表达式的形式化定义，旨在为语料库的自动语义标注建立语义知识表示体系，实现语义标注附码的形式化，实现语义的可计算性。

Considering the problems in actual application, this paper proposed a kind of domain knowledge centered know-ledge discovery process model, then formalized it and described its dynamic semantics.

针对知识发现在实际应用中的问题，提出了一种以领域知识为中心的知识发现过程模型，并将其形式化，描述了其动态语义。

Statistical characteristics include Tectonic Density, Degree of Central Symmetry, Skewness Index, Degree of Tectonic Optimal Direction, Power Spectrum Density, Cubic Entropy and so on. The former four indexes are implemented in this paper; Structural characteristics show the characteristics of spatial distribution of geological bodies. In chapter four, a quantitative method for describing geological structure by using the structure "tree" is studied and implemented, including its formalized definition and the measurement of the similarity of different "trees".

统计特征有构造密度、中心对称度、失真指数、优益度、密度功率谱、方位熵等等，本文实现了前四个参数值的提取；结构特征是反映地质体空间分布的结构特点，第四章研究和实现了用"树结构"描述地质结构的定量方法，包括结构的形式化描述和结构的相似性度量。

This has been formalized in a very chillingly objective fashion by the NSA, which has routine procedures for implanting such ideas— even without the exotic mind control technology that I mentioned earlier.

这已经成为NSA另人寒心的正式目标，他们有灌输这类观点的日常工作，即使没有我在以前提到过的大脑控制技术。

This has been formalized in a ery chillingly objectie fashion by the NSA , which has routine procedures for implanting such ideas een without the exotic mind control technology that I mentioned earlier .

这已经成为NSA另人寒心的正式目标，他们有灌输这类观点的日常工作，即使没有我在以前提到过的大脑控制技术。

It was the decision of the council, formalized in the Nicene Creed , that God the Father and God the Son were consubstantial and coeternal and that the Arian belief in a Christ created by and thus inferior to the Father was heretical.

这是安理会的决定，正式在尼西亚信条，即上帝的父亲和上帝的儿子，被consubstantial和coeternal ，并认为arian信念，在一个基督所创造的，因此不如父亲是异端邪说。

The neo-classical growth theory uses it to study growth under constant return to scale, whereas the classical economic development theory takes a descriptive approach to look into virtually all the issues in economic development. The new growth theory uses dynamic general equilibrium theory to study growth under increasing return to scale. The formalized economic development theory uses it to analyze economic development.

新古典经济增长理论只是用动态一般均衡理论研究了规模报酬不变条件下的经济增长；而古典经济发展理论则用描述性分析方法研究了几乎全部的经济发展问题；新增长理论用动态一般均衡理论分析了规模报酬递增条件的经济增长；形式化的经济发展理论则用动态一般均衡理论分析了经济发展问题。

Analysis method based on formalized mathematics is introduced to analyze DNC process.

引入形式化数学分析方法对DNC过程进行了分析。

Despite the great importance of this feast in the Orthodox liturgical calendar, it is not considered a matter of dogma as in the Catholic Church (dogmatization of the Dormition for the Roman Catholic Church was formalized by a Roman Catholic pope after the Great Schism, whose authority Eastern Orthodox did not recognize).

尽管按照东正教历法来说，这个节日十分重要，但并没有纳入天主教教条之内（大分裂之后，被罗马教宗形式化的罗马天主教武断地指出，并不接受东正教有关"死亡"的教条。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。