查询词典 formal model

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

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

So it is necessary to research on the definition, classification, characteristics, calculation, and formal model of directional relationships.

因此得出结论：研究空间方向关系中的最基本问题，即空间方向关系的定义、性质、特点、分类、形式化描述机制、基本计算等，是研究工作的当务之急，研究新的空间方向关系形式化描述模型很有必要。

While the notion of creative designing is well established, there is no consensus on a formal model of creative designing processes.

创造设计的概念已被广泛接受，然而，对于创造设计过程的正式模型却一直没有一致的意见。

This paper describes an approach to reverse engineering based on the formal semantics of the strongest postcondition predicate transformer,and the partial correctness model of program semantics introduced by Hoare. The main point of our investigation is how to use informal and formal methods for reverse engineering. The approach provided by this thesis is mainly to process the C program system for reverse engineering.

本文描述的逆向工程中的形式化方法采用最强后置条件谓词转换技术和Hoare理论中有关程序语义的部分正确性模型，研究的重点是利用形式化技术和非形式化技术对程序代码进行逆向工程，以支持软件理解和维护。

A formal model of PASCAL process blueprint,graphical notations of abstract logic structure diagram, and a fundamental programming procedure...

文中给出PASCAL过程蓝图的形式化模型，抽象逻辑结构图的图形表示方法，以及程序设计的基本过程。

In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.

本文针对这个问题，从数理逻辑的角度出发，建立了一个形式化模型。

From point of view of the model requirement in the design process of VP, the characteristics of an integrated VP model are given. Based on the Analyzable Product Model theory developed by Tamburini and Engineering Data Model theory developed by Eastman, the formal description of integrated model of VP is developed, and the application wrapper and the interface components are also designed.

本章中从虚拟样机设计过程中对模型的需求出发，提出虚拟样机一体化模型应该具有的功能特点；在Tamburini的可分析产品模型理论和Eastman的工程数据模型理论的基础上，提出虚拟样机一体化模型的形式化描述体系；接着对一体化模型的应用包装器和接口组建进行设计。

Considering the insecurity [3~5] or inefficiency[6] of current confirmer signature schemes,born of the canmenisch-michels formal model and structure,a new confirmer signature scheme based on DSA and RSA is proposed.

考虑到现存的证实数字签名方案或者是不安全的[3~5]，或者是低效的[6]，基于Canmenisch-Michels形式化模型和结构，提出一种新颖的完全基于DSA及RSA的证实数字签名方案。

The results showed that Linear model and Quadratic model were much more simulated the observed data of Aspergillus versicolor at 4 ℃ and 10℃, in addition, the latter was verified to be better than the formal. At 20℃, 28℃ and 30℃, the effects of simulation by classical Gompertz model and Logistic model had gained better results.

结果表明杂色曲霉在4℃、10℃温度条件下，用Linear模型和Quadratic模型拟合效果较好，且后者优于前者；在20℃、28℃和30℃条件下，用经典Gompertz模型和Logistic模型拟合效果较好。

This paper presents a workflow management system based on software agent. It applies an activity-based modeling method and builds formal workflow model. It also puts forward an agent model composed of activity model, intention model, skill model, self-capacity model and companion model to implement workflow management. An agent federation which can be nested is constructed to enhance system flexibility and a shared domain ontology based on workflow is defined to support semantic interoperation among agents.

文章提出了一种基于软件agent的工作流管理系统，采用基于活动的工作流建模方法，建立了形式化的工作流模型，在此基础上，定义了包括活动、意向、技能、自身能力、伙伴等模型的实现工作流运行的agent模型，构建了可嵌套的agent联邦结构，增强了系统的灵活性，并定义了基于工作流的共享领域本体论，支持agent间的语义互操作。

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.

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