1) advancement survey
进程测算
2) 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.
进程演算是一强有力的并发系统建模工具,而结合知识推理可以弥补进程演算固有的缺乏数据结构支持的特点,以此提出了一个安全协议形式化分析的一般模型。
3) process measure
进程测度
1.
Study on regional agricultural modernization process measure system and illustration analysis;
区域农业现代化进程测度体系研究及实证分析
4) process detection
进程检测
1.
At present,identifying patterns from system call trails are the primary method of process detection,and it neglects latent anomaly in semantics.
现有进程检测方法,检测的目标是系统调用的序列的排列关联,忽略了语义中潜在的异常。
5) an assessment of the process
进程测评
补充资料：“四分位法”测算工资指导线水平
%26ldquo;四分位法%26rdquo;测算工资指导线水平，是运用统计学的原理，依据%26ldquo;两低于%26rdquo;原则，在测算出的年度工资最低增长率（Wi）和最 高增长率（Wj：%26ldquo;两低于%26rdquo;中的低线）之间选取工资合理增长区间的一种方法。一般取中位值（W中）作为工资指导线的基准线，取Wj或上四分位值（W上）作 为上线，取下四分位值（W下）与上四分位值之间的幅度作为工资合理增长区间。
测算公式为：
W中=（Wj%26ndash;Wi）ⅹ0．5+Wi
W下=（Wj%26ndash;Wi）ⅹ0．25+Wi
W上=（Wj%26ndash;Wi）ⅹ0．75+Wi（其中：i=1，2j=3，4，5，6）
W1=P%26ndash;1
W2=[Aⅹ（1+W1）ⅹR]/T%26ndash;1
W3=（1+L）ⅹP%26ndash;1
W4=[Aⅹ（1+W3）ⅹR]/T%26ndash;1
W5=（1+G）ⅹP%26ndash;1
W6=Tⅹ（1+W5）/R/A%26ndash;1
当年度城镇居民消费价格指数或经济增长率较高时，要对年度工资最低、最高增长率用系数（%26alpha;、%26beta;、%26gamma;）进行调整。
调整公式是：
W1=Pⅹ%26beta;+%26gamma;
W3=Lⅹ%26alpha;+Pⅹ%26beta;+%26gamma;
W5=Gⅹ%26alpha;+Pⅹ%26beta;+%26gamma;
其中：
W1：年度职工货币平均工资最低增长率
W2：年度职工工资总额最低增长率
W3：按L计算的年度职工货币平均工资最高增长率
W4：按L计算的年度职工工资总额最高增长率
W5：按G计算的年度职工工资总额最高增长率
W6：按G计算的年度职工货币平均工资最高增长率
P：年度城镇居民消费价格指数
A：上一年职工货币平均工资
R：年度职工平均人数
L：年度劳动生产率增长率
G：年度国内生产总值增长率
T：上一年职工工资总额
%26alpha;根据年度劳动生产率增长率或年度国内生产总值增长率的不同水平，分段确定：
┏━━━━━━━━━━━━━━━━━━━━━━┯━━━━━━━━━━┓
┃年度劳动生产率增长率L或国内生产总值增长率│%26alpha;┃
┠──────────────────────┼──────────┨
┃0%26lt;L%26le;10%│1．0┃
┠──────────────────────┼──────────┨
┃8%%26lt;P%26le;15%│0．8┃
┠──────────────────────┼──────────┨
┃15%%26lt;P%26le;20%│0．6┃
┠──────────────────────┼──────────┨
┃L%26gt;20%│0．4┃
┗━━━━━━━━━━━━━━━━━━━━━━┷━━━━━━━━━━┛
%26beta;根据年度城镇居民消费价格增长率不同分段确定：
┏━━━━━━━━━━━━━━━━━━━━━━┯━━━━━━━━━━┓
┃年度城镇居民消费价格增长率P│%26beta;┃
┠──────────────────────┼──────────┨
┃0%26lt;P%26le;8%│1┃
┠──────────────────────┼──────────┨
┃8%%26lt;P%26le;15%│0．8┃
┠──────────────────────┼──────────┨
┃15%%26lt;P%26le;20%│0．6┃
┠──────────────────────┼──────────┨
┃P%26gt;20%│0．6┃
┗━━━━━━━━━━━━━━━━━━━━━━┷━━━━━━━━━━┛
测算公式为：
W中=（Wj%26ndash;Wi）ⅹ0．5+Wi
W下=（Wj%26ndash;Wi）ⅹ0．25+Wi
W上=（Wj%26ndash;Wi）ⅹ0．75+Wi（其中：i=1，2j=3，4，5，6）
W1=P%26ndash;1
W2=[Aⅹ（1+W1）ⅹR]/T%26ndash;1
W3=（1+L）ⅹP%26ndash;1
W4=[Aⅹ（1+W3）ⅹR]/T%26ndash;1
W5=（1+G）ⅹP%26ndash;1
W6=Tⅹ（1+W5）/R/A%26ndash;1
当年度城镇居民消费价格指数或经济增长率较高时，要对年度工资最低、最高增长率用系数（%26alpha;、%26beta;、%26gamma;）进行调整。
调整公式是：
W1=Pⅹ%26beta;+%26gamma;
W3=Lⅹ%26alpha;+Pⅹ%26beta;+%26gamma;
W5=Gⅹ%26alpha;+Pⅹ%26beta;+%26gamma;
其中：
W1：年度职工货币平均工资最低增长率
W2：年度职工工资总额最低增长率
W3：按L计算的年度职工货币平均工资最高增长率
W4：按L计算的年度职工工资总额最高增长率
W5：按G计算的年度职工工资总额最高增长率
W6：按G计算的年度职工货币平均工资最高增长率
P：年度城镇居民消费价格指数
A：上一年职工货币平均工资
R：年度职工平均人数
L：年度劳动生产率增长率
G：年度国内生产总值增长率
T：上一年职工工资总额
%26alpha;根据年度劳动生产率增长率或年度国内生产总值增长率的不同水平，分段确定：
┏━━━━━━━━━━━━━━━━━━━━━━┯━━━━━━━━━━┓
┃年度劳动生产率增长率L或国内生产总值增长率│%26alpha;┃
┠──────────────────────┼──────────┨
┃0%26lt;L%26le;10%│1．0┃
┠──────────────────────┼──────────┨
┃8%%26lt;P%26le;15%│0．8┃
┠──────────────────────┼──────────┨
┃15%%26lt;P%26le;20%│0．6┃
┠──────────────────────┼──────────┨
┃L%26gt;20%│0．4┃
┗━━━━━━━━━━━━━━━━━━━━━━┷━━━━━━━━━━┛
%26beta;根据年度城镇居民消费价格增长率不同分段确定：
┏━━━━━━━━━━━━━━━━━━━━━━┯━━━━━━━━━━┓
┃年度城镇居民消费价格增长率P│%26beta;┃
┠──────────────────────┼──────────┨
┃0%26lt;P%26le;8%│1┃
┠──────────────────────┼──────────┨
┃8%%26lt;P%26le;15%│0．8┃
┠──────────────────────┼──────────┨
┃15%%26lt;P%26le;20%│0．6┃
┠──────────────────────┼──────────┨
┃P%26gt;20%│0．6┃
┗━━━━━━━━━━━━━━━━━━━━━━┷━━━━━━━━━━┛
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条