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.
进程演算通常用来研究交互式反应系统,其中的互模拟方法是用来形式化验证系统属性的重要途径。
Security protocols are typical distributed concurrent systems, while process calculus is a powerful tool to model distributed concurrent systems.
进程演算具有强大的描述能力和严格的语义,能够精确刻画安全协议中各个参与者之间的交互行为。
In this paper, a generic model is proposed for the analysis of security protocols based on a process calculus with knowledg.
进程演算是一强有力的并发系统建模工具,而结合知识推理可以弥补进程演算固有的缺乏数据结构支持的特点,以此提出了一个安全协议形式化分析的一般模型。
On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi;
高阶进程演算的互模拟理论和公理化的研究
The Application of an Improved Particle Swarm Optimization in Inversion of Mechanical Parameter of Slope Engineering;
改进粒子群优化算法在边坡工程力学参数反演中的应用
Study on Parameter Inversion of Underground Engineering Based on Improving Genetic Algorithm;
改进遗传算法在地下工程岩体参数反演分析的研究
The Research on Teaching of Algorithm Applying Step-by-Step Demonstration Methods in Data Structure Courses;
《数据结构》课程中使用逐步演示法进行算法教学的实验研究
The improvement of organizational logic in the shunt progress of China economy;
中国经济转轨进程中组织的逻辑演进
The special case of the exchange of resistance equivalents of both theΠ- shape and the T-shape is simplified a great deal in the process of the deduction.
从特殊情况出发,对电阻Π联接与T型联接的等效互换进行了推导,简化了推导演算过程。
By analyzing and estimating the data from experiment, the mechanism in heat transmission of gas during the experiment is obtained.
分析了从低气压到常压的实验数据，并进行了理论计算，得出了实验中气体传热机制的演变过程。
An Advanced Hierarchical Parallel Evolutionary Algorithm;
一种改进的分层并行演化算法(英文)
On the Evolutions and Features of the Inter-Bank Settlement System in Euro Area Based on TARGET System;
论欧元区TARGET清算系统的演进与特征
The Evolution and Characteristics of the Inter-bank Settlement Systems in the Euro-zone;
欧元区银行间清算体系的演进与特征
An Improved Algorithm for Singular Value Decomposition Inversion of T_2 Spectrum in Nuclear Magnetic Resonance
核磁共振T_2谱奇异值反演改进算法
An Improved GEP Algorithm and Its Application in Evolutionary Modeling
改进的GEP算法在演化建模中的应用
Backtracking techniques can be encoded by fairly short solution programs.
回溯演算法可以写成很短的解题程式。
This program was created to show how to evaluate a string.
这个程序演示了如何计算一个字符串。
The Research on Optimizing Based on Program Transformation of the Decision Tree Algorithms;
基于程序演化的决策树算法优化研究
Modeling BPEL4WS Program with Pi Calculus and Case Study;
Pi演算建模BPEL4WS程序及实例研究
Making of Illustrative Courseware in《 Application of Computer 》;
《计算机应用》课程演示课件的制作
Lifecycle of Modeling Business Process Based on Pi Calculus
用Pi演算为业务过程建模的生命周期
