查询词典 formalized

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.

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

In this paper, it is demonstrated that the logic tool used in agent formalized d epiction should be the mixed modal logic which has both normal and non-normal m odal operators.

阐述了 Agent的形式化描述应该采用含有正规和非正规模态算子的混合模态逻辑为逻辑工具的观点。

Workflow modeling technique is always one of important research tasks of workflow, including workflow model definition and sematic formalized expression method and so on.

工作流建模技术一直是工作流技术研究的重要课题之一，它的研究范围包括：工作流模型定义、语义的形式化表示方法等。

Research described in this thesis has resulted in a formalized description of the auto update problem, team automaton containing subelement model and the solution of auto update problem.

本文给出了自动更新问题的形式化描述，提出了带子元素群组自动机模型并利用这个模型解决了自动更新问题。

This paper defines two concepts, Component Automaton Containing Subelement and Team Automaton Containing Subelement, in a mathematically precise way at first, then gives a formalized description of the auto update problem utilizing the above concepts.

该文提出了带子元素群组自动机和带子元素组件自动机的概念，并利用这两个概念给出了同步问题的形式化描述，明确提出并解决了计算机支持的协同编著系统中的自动更新问题原型。

It provides a conceptual model for the formalized representation of thesauri, and makes possible the mapping between thesauri and notologies.

它的建立为叙词表的形式化表达提供了概念、模型，使各叙词表之间、叙词表与本体之间的映射成为可能。

The use of the spoken language, even though it was formalized, made possible the immediate expression of an unmediated vision that needed no further context; thus the lyrics are short, intensely personal, and precise.

即使它是拘泥于形式，口语的运用使对无中介的异像产生直接体验成为可能，无需要更进一步的推论；因此抒情诗较为简略，激烈的人情化和精确。

The unreasonable phenomena in toll roads mentioned above are mainly for the reasons:(1) there are still no appropriate assessing methods for the programs, and no normal pricing mechanism formalized;(2) the toll roads is unscientifically catalogued nowadays.

收费公路产生以上这些不合理现象的主要原因是由于：（1）按照平均成本定价的传统观念，尚未形成规范的定价机制；（2）目前的收费公路分类方法划分不科学。

Soon, the Hensoldt facilities at Wetzlar resumed production, while microscope production resumed at the Winkel factory at Goettingen, and eyeglass production in Aalen. On 3 March 1948 the transfer of Zeiss Ikon headquarters from Dresden to Stuttgart was formalized.

不久，在韦茨拉尔的亨索尔特公司开始恢复生产，同时显微镜产品也开始在哥廷根的温克尔工厂恢复生产，眼镜产品的生产则在阿伦。1948年3月3日，蔡司依康公司总部正式由德累斯顿迁到了斯图加特。

In Ming Dynasty, check and approval of secret memorials by the emperor had a formalized course, which was closely related to the political situation of Ming Dynasty.

从朝臣谋划上密疏，到密疏经皇帝批出发抄，其运作过程大体有书

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.

这是凯特，那个是爱朗。