1) mu-calculus
mu演算
1.
Clarke and McMillan presented symbolic approaches to model check temporal logics via mu-calculus and OBDDs.
Clarke和McMillan提出了利用mu演算和OBDDs符号模型检测时态逻辑的方法。
2.
According to the requirement mentioned above, using Pi-calculus and mu-calculus, a method for checking the property of BPEL4WS has been put forward in this thesis, as well as a tool for checking reachable and deadlocks.
在这样的前提下,本文提出利用Pi演算和mu演算对BPEL4WS进行性质检验的方法,并开发出一个性质检验工具,对Web服务组合进行检验,包括安全性检验和可达性检验。
2) mono-window algorithm by Jimёnez-Mu?oz & Sobrino(2003)
Jimёnez-Muoz&Sobrino(2003)单窗算法
3) tri-&mu
[英][traɪ] [美][traɪ]
三-&mu
4) Nonacarbonyldiiron
三-&mu
5) calculus
[英]['kælkjələs] [美]['kælkjələs]
演算
1.
Simulation Analysis of SSL3.0 Security Protocol Based on Spi Calculus;
基于Spi演算的SSL3.0安全协议仿真分析
2.
In view ofthe implementation and analysis of the NRDS,two keyproblems of the NRDS,which are mobile diagnosis and group diagnosis,are modeled with calculus and calculus algebra modeling tools,which are highly abstract and well suited to distributed mobile com-putation mode.
针对基于网络的远程监测诊断系统的实现和分析问题,利用了演算以及演算这一高度抽象的适于移动分布计算模式的代数建模工具,完成了基于网络的远程监测诊断系统的两个诊断特征问题:移动诊断和群组诊断的建模。
3.
As a system do describe mobile communication,π-Calculus has an advantage to describe communication between agents.
演算作为一种刻划通信系统的进程演算在刻划Agent间的交互时具有得天独厚的优势。
6) calculation
[英][,kælkju'leɪʃn] [美]['kælkjə'leʃən]
演算
1.
The independent construction of model according to element is one effective way for resolve the calculation of flood in the river course flowed by many tributaries.
分单元独立建模是解决多支流河道洪水演算的有效途径。
2.
The pure arithmetic method is used for further calculation of the formula.
利用纯数学运算方法对误差曲线中极值E、F求解公式作进一步的演算,演算步骤严密和清晰,易于记忆。
补充资料：Cuprate(4-), [&mu
CAS：83232-53-5
中文名称：[μ-[[3,3'-[(3,3'-二羟基[1,1'-联苯]-4,4'-二基)二(偶氮)]二[5-乙氧基-4-羟基-2,7-萘二磺酸根合]](8-)]]二-铜酸(4-)四钠
英文名称：Cuprate(4-), [μ-[[3,3'-[(3,3'-dihydroxy[1,1'-biphenyl]-4,4'diyl)]bis(azo)bis[5-ethoxy-4-hydroxy-2,7-naphthalene-disulfonato]](8-)]]di, tetrasodium
7-naphthalenedisulfonato]](8-)]]di-s[5-ethoxy-4-hydroxy- tetrasodium
Cuprate(4-),[μ-[[3,3'-[(3,3'-dihydroxy[1,1'-biphenyl]-4,4'diyl)]bis(azo)bis[5-ethoxy-4-hydroxy-2,7-naphthalene-disulfonato]](8-)]]di,tetrasodium
中文名称：[μ-[[3,3'-[(3,3'-二羟基[1,1'-联苯]-4,4'-二基)二(偶氮)]二[5-乙氧基-4-羟基-2,7-萘二磺酸根合]](8-)]]二-铜酸(4-)四钠
英文名称：Cuprate(4-), [μ-[[3,3'-[(3,3'-dihydroxy[1,1'-biphenyl]-4,4'diyl)]bis(azo)bis[5-ethoxy-4-hydroxy-2,7-naphthalene-disulfonato]](8-)]]di, tetrasodium
7-naphthalenedisulfonato]](8-)]]di-s[5-ethoxy-4-hydroxy- tetrasodium
Cuprate(4-),[μ-[[3,3'-[(3,3'-dihydroxy[1,1'-biphenyl]-4,4'diyl)]bis(azo)bis[5-ethoxy-4-hydroxy-2,7-naphthalene-disulfonato]](8-)]]di,tetrasodium
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条