查询词典 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.

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

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。