形式化

This thesis keens on the DM utilizing research in coal mine gas forecasting. It is explained about domestic and outboard researching present conditions of time series data mining, time series analysis, formalized expression and model establishment of time series. Through analysising the features of coal mine gas observing data and several species of model. This thesis declares a suitable data and model ARMA.

本文的主要研究方向是时间序列数据建模及其在煤矿瓦斯预测中的应用研究，文中就时间序列数据建模的国内外研究现状、时间序列分析、形式化表示和时间序列的建模等进行了详细的论述，在分析了煤矿瓦斯监测数据的特点和多种模型的特征基础上，提出了本文所适用的数据模型为ARMA，同时，对特定的数据进行了数据建模，并对结果进行了分析和验证。

First,it describes the design and foundation of a new Bimodal Database HIT Bi-CAVDatabaseII which is for Lip-Reading on sentence.Then,its key characters and the feasibility of the material segmentation algorithm based on the speech energy are analyzed formally.

介绍了基于句子级的双模态语料库HITBi-CAVDatabaseII的设计和建立，形式化地讨论了该库的主要特点及基于语音能量的语料切分算法的可行性。

And then, it aimed at the four main methods of electronic government affair's cooperation, and extended the meliorated network role model, lodged cooperative organized model, cooperative mission model, cooperative process model and cooperative resource model, respectively. The paper analyzes and illustrates the software Architecture.

然后，针对电子政务协同的4种主要形式，将改进后的角色网络模型进行扩展，分别提出了协作组织模型、协作任务模型、协作过程模型、协作资源模型，并做出了相应的形式化描述。

And then, it aimed at the four main methods of electronic government affair's cooperation, and extended the meliorated network role model, lodged cooperative organized model, cooperative mission model, cooperative process model and cooperative resource model, respectively.

然后，针对电子政务协同的4种主要形式，将改进后的角色网络模型进行扩展，分别提出了协作组织模型、协作任务模型、协作过程模型、协作资源模型，并做出了相应的形式化描述。

And then, it aimed at the four mainmethods of electronic government affair's cooperation, and extendedthe meliorated network role model, lodged cooperative organizedmodel, cooperative mission model, cooperative process model andcooperative resource model, respectively.

然后，针对电子政务协同的4种主要形式，将改进后的角色网络模型进行扩展，分别提出了协作组织模型、协作任务模型、协作过程模型、协作资源模型，并做出了相应的形式化描述。

Poetic rhythms of New Metrical Poetry are the regular arrangement of time units of the same sound intervals,which comprise several levels: the most basic rhythmical unit is sound caesura and semantic caesura.

新诗格律节奏构成的最基本节奏单元是音顿和意顿；向外发展形成两种建行方式——音顿连续排列建行和意顿对称排列建行；再向外发展就形成构节构篇的形式化节奏体系和口语化节奏体系，其基本构形原则是&句的均齐和节的匀称&，由此形成新格律诗体丰富的具体格式。

The main research includes: 1 Feature formalization definition, feature taxonomy and representation orientating product life cycle.

在总结以往特征定义的基础上，首次提出面向产品生命周期的特征形式化定义。

What the National Standards seem to have done is to overreact to the curriculum of the past --- which undoubtedly is guilty of being too formal and too rigid, and of overemphasizing computations at the expense of logical reasoning --- by going to the other extreme of overemphasizing the application-to-everyday-life aspect of school mathematics.

国家标准所做的似乎是去反对过去的课程……毫无疑问，过去的这个课程太形式化、太死板，过分强调计算并以牺牲逻辑推理为代价……过分强调学校数学在实际生活中的应用将走向另一个极端。

Thus,uSe formal requirement specification paves the way to the success of the software system under development.

这样，具有形式化特点的需求规约说明为软件系统的后期开发奠定了坚实的基础。

The third part touches upon the enlightenments gained from the study on the relationship between paradox and mathematical logic on the relationship between paradox and mathematical logic, which are the following: so long as we combine the way of formalization with the philosophizing analysis, look at things dialectically, and deal with things systematically, not only can the problem of paradox be solved relatively, but also a series of important discovery can be found in the process of resolution to it.

第三部分论述在探析悖论与数理逻辑的关系中所得到的意义和启示：只要我们把形式化的方法和哲学性的分析结合起来，用辩证的观点看问题，用系统的方法研究问题，悖论不但可以得到相对的解决，而且在解决悖论的过程中会引出一系列的重大发现。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了