1) Evolution Extent
演进程度
4) process calculus
进程演算
1.
Process calculus is usually used to reason about reactive systems, in which bisimulation method is an important way to formally verify the properties of a system.
进程演算通常用来研究交互式反应系统,其中的互模拟方法是用来形式化验证系统属性的重要途径。
2.
Security protocols are typical distributed concurrent systems, while process calculus is a powerful tool to model distributed concurrent systems.
进程演算具有强大的描述能力和严格的语义,能够精确刻画安全协议中各个参与者之间的交互行为。
3.
In this paper, a generic model is proposed for the analysis of security protocols based on a process calculus with knowledg.
进程演算是一强有力的并发系统建模工具,而结合知识推理可以弥补进程演算固有的缺乏数据结构支持的特点,以此提出了一个安全协议形式化分析的一般模型。
5) succession process
演替进程
1.
Niche dynamics of populations of vegegation community in succession process in Zhenjiang Inner-river wetland;
镇江内江湿地植物群落演替进程中种群生态位动态
6) evolution
[英][,i:və'lu:ʃn] [美]['ɛvə'luʃən]
演进过程
1.
Study on the Evolution of Monetary Policy Transmission Mechanism in Economic Transformation of China;
在坚持上述论断的条件下,我们试图通过对我国转型期货币政策传导机制的演进过程的分析,来把握转型期我国货币政策传导的特点、存在的障碍及原因,同时也为优化我国货币政策传导机制,提高货币政策效果奠定基础。
补充资料：《博物馆的演进与现代管理方法之研讨》
博物馆学专著。陈国宁著。台北文史哲出版社1978年 6月出版。全书分为上下篇。上篇"博物馆的历史演进"，共 8章，按几个阶段论述博物馆的产生、发展情况和特点，展望了博物馆的未来。该篇资料丰富，对美国博物馆的历史介绍尤为详尽。下篇"现代博物馆管理方法之研讨",共8章。除第一章专对台湾博物馆发展现状进行评述外，其余 7章包括征集方式、文物保存、展览、博物馆的研究与教育、观众、博物馆建筑设计、博物馆的组织与行政人员等，介绍了欧美博物馆的作业方式与技术，简明具体，重点突出。全书附有照片 100余幅，每章之后均有注释，书后另附有中文、英文、日文和朝鲜文的主要参考文献。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条