并发理论 meaning in Chinese
concurrency theory
Examples
- Timed bundle event structures , is used as the system model and a real - time lotos - like process algebra is used as the specification language
动作精化是在并发理论当中一种很重要的层次化设计和刻画方法。 - Process algebra , as one of the important tools for describing and analyzing concurrent and distributed systems , became an central branch of research in concurrency theory
进程代数作为描述和分析并发与分布式系统的重要工具之一是并发理论的主流研究方向。 - With the parallel theory , an asynchronous and high - order calculus ( ah ) is given by varying and extending polyadic calculus . ah can directly describe the communication , mobility , interaction and other characters of ma when used as a formal tool . then we present a type system of ah , which make it possible to formally deduce the limitation of resource access in ma systems
本文以并发理论为研究的起点，通过对polyadic演算的变种与扩充，得到了一个异步的、高阶的演算国防科学技术大学研究生院学位论文( ah孔演算) ，用它作为移动智能体系统的形式化基础，可以直接描述智能体的通讯、移动和交互等特性。 - In this background mobile agent appears , which quickly becomes the hotspot in many fields such as computer software engineering , computer parallel theory , distributed object technology and network computing environment etc . this paper fully studies the different aspects of mobile agent by answering the five questions as follows : ? what is mobile agent and mobile agent system
移动智能体技术就是在这一背景下涌现出来的新课题，得到了计算机软件工程、计算机并发理论、分布对象技术、网络计算环境等诸多领域研究人员的广泛关注。本文的工作即围绕移动智能体的方方面面深入展开，主要探讨了以下五个问题：什么是移动智能体与移动智能系统( whatismobileagent