查询词典 Darwinian theory

The theory of autoignition assumes spontaneous combustion in a part of the combustion chamber farthest from the spark plug.

理论假设自燃自燃的一部份，从最远的燃烧室火花塞。

At last, the performance evaluation theory and method we establish for researchinstitute of exploration and development are integrated into computer system thatrealizes the autoimmunization of performance evaluation.

最后，将研究的考核理论和方法系统化，进行了计算机管理系统集成，实现了员工绩效考核的灵活性、自动化、网络化。

The main points of this paper are as follows:(1) The actuality and the deficiency of the current workflow technology is analyzed according to the expatiating on the workflow technology.(2) A workflow model supporting the dynamic modifying and its implementation arithmetic and an implementation method using the OO technology is proposed according to the Directed Graph theory.(3) The strategy of dynamic modifying of workflow model is researched, a improved conversion strategy is proposed, and the detailed process of dynamic modifying is discussed.(4) Having researched on the construction scheme of digital campus based on URP and the workflow of office business, an OA system model based on dynamic workflow technology was proposed according to the workflow management system model and several typical functions of OA workflow management system were realized, which is of high value on improving the autoimmunization of business operation and the cooperating work ability.

论文的主要内容如下：(1)通过对工作流技术的全面阐述，分析了目前工作流技术发展的现状和不足，为自己的研究工作划定了问题域范围；(2)利用有向图定义了一个支持动态修改的工作流模型，并给出了该模型的执行算法，给出了该模型利用面向对象技术的一种实现方法；(3)详细讨论了工作流模型的修改策略和方法，提出了一种改进了的转换策略，并给出了动态修改操作的具体步骤；(4)在深入分析基于URP的数字校园建设方案以及办公工作流程的基础上，结合工作流管理系统参考模型，提出了基于动态工作流技术的OA系统模型，实现了OA工作流管理系统中几个典型的功能，对提高业务处理自动化，提高协同工作能力具有重要的应用价值。

The study of coalgebraic methods, as one of the active areas for theoretical computer science in recent years, is widely used in concurrence computing model, automat theory, and the foundations of object-oriented technology.

共代数方法是近几年来理论计算机科学的研究热点之一，在并行计算模型、自动机及面向对象技术的理论基础方面有着广泛的应用。

Chapter 2: the theory of Cellular Automata is introduced.

第二章介绍了元胞自动机的基本原理。

In this paper, a fundamental framework of automata and grammars theory based on quantum logic is preliminarily established.

初步建立了基于量子逻辑的自动机和文法理论的基本框架。

Some knowledge of automata theory is a prerequisite.

一些自动机理论知识，是一个先决条件。

This paper also gives significances of interface automata in theory and in practice, and the future of the application of interface automata.

文中总结了接口自动机在理论上和实际中的意义并对其应用前景做了展望。

The theory of timed tree automata is far from perfect now.

信号自动机与时间树自动机是两个新提出的模型。

It provides a unifying theory of communicating automata and their logical properties.

它提供了自动机的通信和统一的逻辑特性的理论。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。