查询词典 formal

It is, in fact, a system model with a formal definition and a graphical representation.

因此如何结合对象技术和Petri网一直是一个研究热点。

The object formal semantic model serves as the foundation of our whole work.

对象形式语义模型是我们整个工作的基础。

This idea is different from formal models such as projection-based model and cone-based model.

这个思想是与MBR、CONE等模型思想的一个显著不同。

In other words, they needed a formal model of computation.

换名话说，精确计算机需要一个正规的计算模式。

The key of developing agile information system is building system model by formal methodology.

敏捷信息系统是具有可重构能力的快速适应性系统。

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.

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

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。