1) Calculation of π
π的计算
2) calculative method of πband
π能带计算方法
3) π-calculus
π-演算
1.
Analysis and modeling of web services flow using π-calculus;
基于π-演算的web服务流的分析与建模(英文)
2.
Description and verification for security protocol based onπ-calculus;
基于π-演算的安全协议描述与验证
3.
Description of the network examination system by π-calculus;
用π-演算描述网络考试系统
4) π-calculus
π演算
1.
Formalizing Description of Long Running Transaction Based on Extended π-calculus;
基于扩展π演算的长事务处理形式化描述
2.
On Petri nets semantics for π-calculus;
π演算的Petri网语义研究
3.
Formalizing Workflow Patterns Based on the π-calculus;
工作流模式的π演算形式化
5) pi-calculus
π-演算
1.
The thesis, combined with an 863 project undertaken by the lab, researches on the correctness of business process internal logic and explores a way to model and verify business process described in WS-BPEL using process algebra pi-calculus as a formal tool.
本文结合实验室承担的国家863科研攻关项目,针对业务流程内部逻辑的正确性问题展开研究,探索利用进程代数π-演算作为形式化工具,对WS-BPEL描述的业务流程进行建模和验证。
6) π calculus
π演算
1.
The paper first defined the signature view and the behavior view of the service,then designed the modeling method that transferred the Web service behavior into π calculus process expression and proposed the algorithm that made the service view transfer into π calculus process automatically.
定义了服务的基调视图和行为视图,设计了将Web服务行为转换为π演算进程表达的建模方法,并给出了实现服务视图向π演算进程自动转换的算法;最后借助π演算的操作语义和形式化推理技术实现了对Web服务组合时的兼容性进行检查。
2.
Aiming at the lack of most existing architecture description language to describe system behaviors may cause generation test paths difficultly, this paper proposes a software architecture test technology based on π calculus.
针对目前体系结构描述语言对描述软件系统行为方面的不足而难以生成实时测试路径的问题,提出一种基于π演算的软件体系结构测试方法,该方法包括π演算与Petri网结合、构造体系结构模型及测试路径生成算法。
补充资料：π, π-conjugation
分子式：
CAS号：
性质：单键和双键相互交替排列的共轭体系。最简单的为1,3-丁二烯，而苯分子则是一个具有高度对称结构的闭合共轭体系。除碳碳双键外，碳碳叁键、碳氧双键等，都可组成π,π-共轭。例如：CH2＝CH—C≡CH；CH2＝CH—CH＝O。由π,π-共轭引起的使分子内能降低、键长发生平均化等电子效应，称为π,π-共轭效应。
CAS号：
性质：单键和双键相互交替排列的共轭体系。最简单的为1,3-丁二烯，而苯分子则是一个具有高度对称结构的闭合共轭体系。除碳碳双键外，碳碳叁键、碳氧双键等，都可组成π,π-共轭。例如：CH2＝CH—C≡CH；CH2＝CH—CH＝O。由π,π-共轭引起的使分子内能降低、键长发生平均化等电子效应，称为π,π-共轭效应。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条