查询词典 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).

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

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。