理论 theory 理论学习 study of the theory; 理论联系实际 integration of theory with practice; unite theory with practice; 理论脱离实际 theory divorced from practice; discrepancy between theory and practice; 在理论上 in terms of theory; on the theoretical plane; theortically; 理论队伍 theoretical contingent; 理论概括 theoretical generalization; framework; 理论根源 theoretical source; 理论工作 theoretical work; 理论公式 theoretical formula; 理论化 theorization; 理论基础 rationale; 理论家 theoretician; 理论价格 theoretical price; 理论科学学 theoretical science of science; 理论框架 theoretical frame; 理论轮廓 theoretical profile; 理论骗子 theoretical swindler; 理论水平 theoretical level; 理论思维 theoretical thinking; 理论素养 theoretical attainment
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