model的例句大全

Criticisms of Situation Semantics on the Extensional Model Theory and the Possible World Semantics

情境语义学对外延模型论和可能世界语义学的批判

A Model-Theoretic Semantics for XML

一种XML的模型论语义

With the advantages of formal semantic definition, visually graphical expression, firm mathematical foundation and description based on state, the Petri net is applied to model and optimize the workflow process more and more.

由于Petri网具有形式化的语义定义、直观的图形表达、严格的数学基础以及基于状态的描述等优点，被越来越广泛应用于工作流过程建模和流程优化。

The primary contents are summarized as follows: An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.

对EXPRESS建模语言的核心功能作了概述，并给出了EXPRESS数据模型的一个形式化语义描述。

Based on this model, the corresponding formal semantic description approaches to these five types of the information about customer needs were discussed.

探讨了不同类型的客户需求信息相应的形式化语义描述方法。

Semantic Information Processing and Model of Neural Network

语义信息处理及神经网模型

Giving an operational semantics model of DFL programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it;

提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型，并对该模型的正确性和可靠性进行了证明；

Research and Verification on the Operational Semantics Model of DFL Programming Language

动态模糊逻辑程序设计语言的操作语义模型及验证

This paper takes XML as a public model and studies the conversion technology among heterogeneous relational database systems by means of reversible conversion between relational and XML, and this process keep on entity integrity constraints of source database.

所以本文研究以XML为公共模型，通过关系数据库与XML的可逆双向转换，建立异构关系数据源的统一转换工具。转换过程保留关系数据库的完整性约束。

Integrity Constraint for Resource Space Model

资源空间模型的完整性约束理论

The results of life prediction showed that the proposed life prediction model can well used for life prediction under random loading.

随机加载下寿命预测结果表明，所提出的寿命预测模型可较好地用于随机历程下寿命预测。

The research results can hasten the model for the future and the establishment of the proposed regulation countermeasure to provide the valuable reference.

该研究结论可为今后趋利模式的建立和调控对策的完善提供有价值的参考。

The proposed regulation model would not only encourage enterprises to improve efficiency, but will also improve power supply quality. 5.

所提出的监管模式不仅能够激励电网企业提高效率，而且可以促进供电质量水平的提高。

The proposed model may also be used to analyze practical reactive load distribution on non-uniform feeders.

该模型适应不均匀馈电线上实际的无功负荷分配.

The result shows that the proposed model and algorithm is effective and feasible.

算例仿真与分析的结果表明该文的方法有效、可行.

Comparisions between measured and predicted stress-strain show that the proposed model can give better results.

模型预测值与实测值的应力应变关系比较表明,本文提出的模型是合理的.

Therefore, our proposed model and particle swarm optimization algorithm is validity and feasibility for signal timing.

这表明运用粒子群优化算法解决交叉口配时问题是有效和可行的.

Application Study of Raw Cotton Technical Grade Evaluation Model in Cotton Assorting

原棉技术品级评价模型在配棉中的应用研究

Established the finite element model of the transverse vibration of BHA.

建立了下部钻具组合横向振动的力学模型.

To notice the difference of the physical parameterization of sea ice and lake ice, snow and ice model has been applied in the numerical simulation of Finnish lake ice.

分析海冰和湖冰热力过程中物理参数差异，将一维高分辨雪/冰热力学数值模式应用到芬兰湖冰的数值模拟中。