查询词典 formulized

To verify the properties of the concurrent and reactive systems based on the theorem proving approach, an axiomatization is formulized for the first order projection temporal logic.

为了采用定理证明的方法对并发及交互式系统进行验证，提出了一阶投影时序逻辑的公理系统。

And this paper assumes that resisting power is accordwith parabola, gets all arch as basic configuration, gets formulation from the condition that therelative corner , horizontal displacement and vertical displacement of vault section iszero,adds deformation condition of maximum resisting power and zero resisting power, solvesequation group to get the internal force of lining . And lining internal force computing methodunder bias load based on assumed resisting power method is formulized.

本文假定弹性抗力按二次抛物线分布，取全拱为基本结构，由拱顶截面的相对转角、相对水平位移和相对垂直位移为零的条件列出变形协调方程，再增加最大弹性抗力处的变形协调条件和弹性抗力为零处径向位移为零的变形协调条件，解方程组求解得出衬砌结构的弹性抗力分布及内力。

And/or we advanced formulized definition about concept of conservation of information, and information essence definiens: information is a set of mark of attribute of thing.

及我们提出的"信息守恒"概念与公式化的定义，与"信息是事物及其属性标识的集合"的信息实质定义。

In the end, the study analyzed the contents of "enactments of professional service procuring contract","model contract for labor services procuring" and "formulized traveling contract", and suggested that the exemplar of professional service contract for extramural education should be worked out, so as to provide schools and concerned machineries references while they transact with such business.

本文另在研究中：探讨校外教学若委外旅游服务而签订的劳务采购契约，是否适用民法旅游契约，以补充政府采购法未详实规定之处；最后分析「专业服务采购契约条款」、「劳务采购契约范本」、「旅游定型化契约书」之内容，而建议拟订适合校外教学的专业服务契约范本，以供学校机关办理参考之用。

The impacts of video quality are formulized and deduced. The relevant factors are obtained by a cross-layer mechanism or Feedback method. According to these relevant factors, the variable set and the Bayesian network topology are determined.

对视频传输过程进行公式化描述，从而推导出影响视频传输质量的几个主要因素，这些因素可以通过跨层机制或接收端反馈的方式获取。

In this dissertation , the methods of prediction and parameters\' estimation based on stationary multivariate autoregressive models AR(p are studied systematically. Some properties of these methods are formulized.In the first part, it introduce some basal conceptions about multidimensional stationary time series, contained the estimation and property of mean vector and auto-covariance function. Then the stable condition of multidimensional AR models are discussed.

本文主要研究了多维平稳序列自回归模型AR的参数估计及其相关的统计性质，具体内容如下：第一部分，介绍了多维平稳时间序列及其均值向量和协方差阵函数的概念，并引入了多维AR模型及其数字特征，在此基础上给出了模型的平稳性条件。

The aim of the study is for building the curved walls in general size when formulized and diagramed it. The scene was making by none carpentry-training students in the white area of school and only with inexpensive hand/powered tools.

本研究以国立台北艺术大学美术系馆闲置空间为制作场景，由一群未受过专业木工训练的学生，进行空间制作，运用一般较平价的手工机具来制作本次的场景。

A matching algorithm was presented based on the formulized definition of semantic description for Web services.

在匹配与过程优化模块中，深入研究了服务匹配算法与过程优化方法。

Chinese digital libraries has formulized in a national and professional centered system with a tree structure in every field.

我国的数字图书馆体系正在逐步形成以国家和行业中心为核心的、行业内部树型结构的格局，呈现出国家和行业中心横向联合更深入、行业纵向覆盖更广泛的发展趋势。

And the formulized expressions of the linear complexity of the periodic sequences obtained are given.

所谓稳定性是指在有限传输差错时，序列的周期与线性复杂度均不发生退化，否则将该周期序列作为密钥流序列是极不安全的[1]。因此，序列的

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。