描述

The text is handing in discussed conception to word of description. It is that important to discussing difference from Chineses word of description proverb locution and idiom.

本文从讨论描述语的概念入手，着重论述汉语描述语和谚语、惯用语、成语的区别。

The manipulation of sugar can divide the curve of pink wine alcohol fermentation density with the changes of time into two parts when the sugar content of raw material-grape is lower than 12%. The regression analysis results showed that quadrative equation and logarithmic equation can be used to describe changes of density with changes of time before and after replenishing sugar respectively.

当葡萄原料含糖量低于12%酒度要求时，加糖操作可将桃红葡萄酒酒精发酵密度随时间变化的曲线分为2段，用回归分析法分析结果表明，加糖前密度随时间的变化规律可用二次方程描述，加糖后密度随时间的变化规律可用对数方程描述。

According to the mean-field simulations of the model,the time series of logarithmic price returns exhibit bursting typical of volatility clustering.

但是目前现有的模型在描述现实市场中一些经验现象时，缺少详细合理的经济解释，或者只是描述了现实市场中的部分性质。

In order to describe the dynamic and complicated process model exactly, we propose the logic situation calculus based on the expanding the situation calculus and describe the virtual enterprise in this formal logic framework.

为了准确地描述虚拟企业这种动态的、复杂的建模过程，我们对情景演算这种形式化逻辑框架进行扩展，提出了逻辑情景演算，并以逻辑情景演算来描述虚拟企业的运作过程。

Therefore, some these fields are thoroughly investigated in this dissertation, which are respectively mentioned as the following: 1. The Formal Description Language ISITL for Intrusion Signatures ISITL is a high-abstractive formal description language for representing intrusion signatures based on the interval temporal logic and first-order predicate calculus.

本论文对此展开了全面深入的研究，其内容主要包括： 1、基于时段时态逻辑和一阶谓词逻辑的入侵特征形式化描述语言ISITL ISITL克服了以往检测语言以"情景描述"为主的缺陷，转而采用形式化的方法来刻画入侵模式的入侵特征。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

The ability of the new modeling method in the description of logic relations and stachastic processes is proved, which indicates that such a kind of systems composed of components and in which any event has distribution parameters independent of system states, while its happening may depend on system states can be modeled by CRM method.

对这种模型方法的逻辑关系和随机过程的描述能力的给予证明，说明了CRM方法可以描述由部件组成，事件的概率分布参数与系统状态无关，事件的发生可以与系统状态有关的可靠性系统； 3。

With the further development of computer network, communication network and the distributed system, communication protocols are more and more complicated, formal description technology plays the indispensable role in the network protocol design. LOTOS - as one of the ISO standards of FDT, is designed for distributed systems, especially for communication service and communication protocol.

随着计算机网络、通信网络以及分布式系统的不断发展，通信协议有日渐复杂化的趋势，形式描述技术在网络协议设计中占有举足轻重的作用，作为国际化标准之一的LOTOS技术是专为分布式系统设计的形式描述技术，特别是通信服务和协议。

Combined with the application of OOD in formal specification of distributed multimedia system, a scheme building on ground of LOTOS/QTL (or Esterel/QL) and adopting the idea of OOD has been given. This method can be used to construct time model and synchronization model in distributed multimedia systems.

结合对面向对象技术在分布式多媒体的形式化描述中应用的方法分析，本文提出了一种以LOTOS/QTL或Esterel/QL为基础，融合面向对象技术的形式化描述方案，该方案可用于建立分布式多媒体系统的时间模型和同步模型。

In order to guarantee the correction of the design of system, it needs to specify and verify it rigidly. The formal description and verification by use of LOTOS (language of temporal ordering specification) and ACTL are given out in this paper. These allow people to study, evaluate and define the dynamic behavior of current user interfaces.

为了保证系统设计的正确性，文章讨论了如何使用形式化描述语言LOTOS(language of temporal ordering specification)和基于动作的时序逻辑ACTL对系统进行描述与验证，这有利于人们对交互式用户界面的动态行为进行研究、评估与定义。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐