查询词典 formal model

Through building functional,behavioral,and structural model,formal representation of function,behavior,and structure in FBS framework is realized.

建立了支持自顶向下设计方法的计算机辅助工业设计几何模型，它能够记录儿何建模的历史并提供几何信息粒度可控的机制。

This paper provides a complete and formal description for basic case retrieval network which is put forward by Lenz and Burkhard, establishes its mathematical model and then makes an extension for it.

本文对由Lenz与Burkhard提出的基本案例检索网络给出了完整的、形式化的描述，基于这种描述建立起数学模型，进而对其进行扩展。

In order to describe the dynamic and complicated process model exactly, we propose the logic situation calculus based on the expanding the situation calculus and describe the virtual enterprise in this formal logic framework.

为了准确地描述虚拟企业这种动态的、复杂的建模过程，我们对情景演算这种形式化逻辑框架进行扩展，提出了逻辑情景演算，并以逻辑情景演算来描述虚拟企业的运作过程。

In the meantime, we also can change the status of the logic situations and describe the allying process and cooperative process. In addition, we represent the virtual enterprise ontology in the formal logic situation calculus and can define the core elements more accurately. It maintains the consistency and integrality of the ontology. Accordingly, the process model based on the ontology will have strong reusability, accessibility and consistency.

相应地，我们可通过逻辑情景演算这种形式化逻辑框架来表示虚拟企业本体论，以支持虚拟企业本体论中核心术语的更精确定义，维持其一致性和完整性；进而，构建于该本体论之上的虚拟企业过程模型就具有很强的重用性和可访问性，并能够保持建模过程的一致性。

The last one: Produced the application method of LOTOS specification styles in network service and protocol design, the concept of formal structural model and its design approach, Macro-oriented specification style and its implementation, the transformation of LOTOS specification to C or C++. Then an example is taken to illustrate how to use the ADT to describle a protocol.

第四部分：提出了LOTOS规范风格在网络服务和协议设计中的应用方法、形式结构模型的概念及实现方法、面向宏的概念及实现方法、LOTOS规范的C、C++实现方法；并举一案例说明基于LOTOS技术的协议设计方法。

It has been more than 50 years since psychologist McCulloch and mathematician Pitts proposed mathematical model of formal neurons ...

自从1943年，心理学家McCulloch和数学家Pitts合作提出形式神经元的数学模型以来，神经网络的研究已有50多年的历史。

By using center manifold theorem and normal form of maps, we also present formal proofs of the supercritical flip bifurcation at the bifurcation point. Above this threshold, there is a characteristic sequence of bifurcations, leading to chaotic dynamics, which implies that the dynamical behavior of the single species model with birth pulses are very complex.

利用单参数族映射的中心流形定理、正规型和指数积分函数的性质，得到了具非线性出生率或具密度依赖成熟率的混杂矩阵模型正平衡态的存在性和稳定性、超临界分支以及各种复杂现象甚至混沌。

Mathematical logic is the formal study of mathematical structures and systems; its subparts include proof theory and model theory.

数理逻辑是数学结构和系统的正式研究，其子部分包括证明理论和模型理论。

Formal type which runs the extension brand strategy will choose to regular chain model. And the complete operation of franchise headquarters will have better performance of operating system and educational training system.

采取品牌延伸型的正式型连锁餐饮企业，在连锁经营类型选择上较以直营经营为主，并在连锁总部机能的「经营制度」、「教育训练」完备度上有较佳表现。

Formal transaction model of its transaction system is given and its property of supporting dynamic security attributes revocation and serializability of the history of well-formed transactions is proven.

对系统框架中的关键组件进行了伪码描述，并通过形式化的事务模型证明了事务系统对动态安全属性撤销的支持和良构事务构成的历史的可串行化的性质。

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.

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