查询词典 formalized

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.

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

In order for computers to provide more help to people, the Semantic Web augments the current Web with formalized knowledge and data that can be processed by computers.

为了使计算机为人类提供更多的帮助，语义网增强了当前的Web网，以计算机能够处理的形式化表示知识与数据。

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数据流的质量检测。