查询词典 formalized

In the West,job interviews are highly formalized and systematic.

在西方，工作面试是非常正式和系统化的。

The formalized description of MSaga model is presented in this dissertation. The FRACAS workflow based on J2EE platform is implemented. The architecture of MSaga transaction model and its detailed design are realized. The reliability and stability of FRACAS are improved and so FRACAS has the ability of handling exception.

本文给出了MSaga模型的形式化描述，并且完成了基于J2EE平台的FRACAS系统，MSaga事务模块的体系结构和具体设计与实现，提高了FRACAS软件的可靠性和健壮性，使得FRACAS软件具备一定的异常处理能力。

Inferential statistics is a formalized body of methods for solving another class of problems that present great mind.

推理统计学是一套已定形了的方法体系，它解决的是光凭人脑极难解决的另一类问题。

Inferential statistics is a formalized body of methods for solving another class of problems that present great difficulties for the unaided human mind.

因此，推理统计学的目的就是通过了解一个群体中一些样本的特性，从而对整个群体的特性进行推测和估算。

Inferential statistics is a formalized body of methods for solving another class of problems that present great difficulties for the unaided the properties of an human mind.

推理统计学是一套已定形了的方法体系，它解决的是光凭人脑极难解决的另一类问题。

Formalized policies and procedures are typically used to establish and institutionalize a cyber security program.

形式化的政策和程序通常用于建立和制度化的网络安全程序。

Setting out from symbolic logic, Russell was the first philosopher who destroyed the law of excluded middle in classical logic, and provided leads for the research into formalized fuzzy logic o...

皮尔斯是西方哲学史上确认"语言本身的模糊性"的第一位哲学家；维特根斯坦强调语言确定性与模糊性的并存关系，并试图将二者统一；罗素从符号逻辑的水平上首次打破了古典逻辑的排中律，开辟了形式化模糊逻辑或多值逻辑的研究道路。

The synchronization problem in the distributed multimedia system is studied in this paper. The basic concept and convention about formalized stand language LOTOS are introduced,and the language is improved and extended by adding discrete time domain and time operator for establishment of its syntactic and semantic rules.

就分布式多媒体系统DMS中同步问题进行了分析与探讨，首先论述了形式化规范语言LOTOS的约定与基本概念，然后对其进行了基于时间的扩充，引入时间操作算子，确定了相应的语法定义和语义规则。

Firstly, the basic concept and convention about formalized stand language LOTOS is introduced, and, the language was improved and extended by adding discrete time domain and time operator to confirm its syntax and semantics rules.

本文首先论述了形式化规范语言 L OTOS的基本概念与约定，对其进行了基于时间的改进和扩充，引入了离散时间域和时间操作算子，然后确定其相应的语法定义和语义规则，通过仔细分析分布式环境下的多媒体同步问题，基于时间扩充的 L OTOS，给出了一种特殊的多媒体同步系统以及具体的算法描述。

Firstly, the basic concept and convention about formalized stand language LOTOS is introduced, and, the language was improved and extended by adding discrete time domain and time operator to confirm its syntax and semantics rules. Then, a special multimedia synchronization system and implement algorithm is proposed by anatomizing multimedia synchronization problems in distributed environment.

本文首先论述了形式化规范语言LOTOS的基本概念与约定，对其进行了基于时间的改进和扩充，引入了离散时间域和时间操作算子，然后确定其相应的语法定义和语义规则，通过仔细分析分布式环境下的多媒体同步问题，基于时间扩充的LOTOS，给出了一种特殊的多媒体同步系统以及具体的算法描述。

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