查询词典 formal model

To solve this problem, we used the formal charge model to study electrostatic interactions of protein complexes.

近年来，用计算机模拟方法对包括水化作用在内的生物分子静电效应的研究取得了一些进展，但是仍缺少相对快速且有效的预测方法。

Our goal is to establish a formal and unified time workflow model for the processes in distributed cooperative work environment.

本文研究目标就是要建立一个适合分布式协同工作环境中业务过程特点的、具有良好形式化描述的、统一的时间工作流模型。

This model is very formal. It is suitable for daily usage.

这个款式很正式；而这个适合日常佩戴。

Based on attributed graph theory, we give the formal definition of WSCG model.

同时，我们也给出了WSCG模型的形式化定义。

Firstly, it defines a formal constraint access control model, which can make up for insufficiency of the current study.

这些传递关系极大地方便了约束的管理，并为部分开放分布式环境下的授权提供支持。

Also the formal definition of the HURBAC model is presented in the paper.

本文对HURBAC模型的模型元素、角色层次和职责分离依次进行了形式化定义。

An ECDF (event triggered concurrent dataflow) model and its formal description are presented in this paper.

提出了一种ECDF模型，并给出了该模型的文法描述以及调度算法。

Our research provides formal description results for MSMQ model in Grid system.

研究结果提供了形式化描述调度模型，为大规模和复杂的网格系统的建立提供了定量分析和预测评价。

In order to improve the design and implementation quality of web service compositions, formal methods are used to model them and certain properties are verified.

为了提高组合web服务的设计和实现质量，使用形式化方法对其进行建模并对其关键性质进行验证。

The method is based on the formal EBE model that specifies only the external behavior of a protocol.

外部行为描述模型只对协议的外部行为进行描述，强调变迁之间的数据依赖性。

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.

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