1) process expression
进程表达式
1.
A construction method for the process expression of a Petri net is proposed based on synchronization composition in this paper.
Petri网的进程是用于系统行为和状态描述的有效工具,Petri网的进程表达式可以给出系统全部进程的描述,但是对于任意无界Petri网而言求取其进程表达式十分困难。
2.
The type of process expression of Petri net is defined and the determining conditions of the types can could be obtained from the net structure.
对应的进程表达式和语言表达式给出了系统全体行为的约束描述 。
3.
The one-to-one mapping relationship is proved between the process expression of an unbounded Petri net Σ and the language of its process net system Σ_ P , so we can express the language of Σ_ P in order to establish the process expression of Σ .
借助进程网系统的概念 ,首先证明了无界Petri网Σ的进程与其进程网系统ΣP的语言之间存在一一映射关系 ,将求取Σ的进程表达式的问题转化成求取ΣP的语言问题 。
3) asymptotic relation
渐进表达式
1.
Under the assumption that the claim sizes of insurance company within one year follows the kind of distribution,an asymptotic relation for the ruin probability is derived.
研究了亚指数分布族中一类特殊的分布,在年索赔额服从该特殊分布的假设下,推导出了的终极破产概率的渐进表达式,提出了可以用随机模拟方法对于服从亚指数分布的破产概率进行模拟计算的方法。
4) program expression
程序表达式
5) decimal presentation
十进制表达式
6) progressive representation model
渐进式表达模型
1.
A progressive representation model for street networks of vector data was presented based on the theory of plane Euclidean graph and abstract complex cell.
基于平面欧几里得图和抽象胞腔复形理论,提出了街道网矢量数据的渐进式表达模型。
补充资料：表达式
表达式
expression
b iaodash-表达式(exPression)高级语言中用来指明求值规则的基本语法成分。 表达式可以是简单的，也可以是复杂的，但一般都涉及到参与计算的运算对象(或称为操作数)，进行计算的运算符，也可以有指明求值次序的圆括号。 表达式的运算对象可以是无正负号常量，变量，函数命名符，或由圆括号括起来的另一层表达式。变量可以是由单个标识符表记的整体变量，也可以是构造类型的成分变量(如数组的下标变量，记录的域变量等)。 运算符用于对运算对象的求值。若按参与运算的对象类型来分类，则可分为算术运算符、关系运算符、逻辑运算符及集合运算符，而从运算涉及到的运算对象个数来看，也可分为单目运算符和双目运算符，双目运算符又可分为乘除运算符、加减运算符、关系运算符及逻辑运算符等。同一层表达式的各种运算符，一般按数学上的先乘除后加减的原则来定义它们的优先级。例如，Ada语言中对运算符定义了6个优先级:乘幂(，，)，绝对值(ABS)，非(N(刀、)等单目运算符优先级最高，AND，OR，XOR等逻辑运算符优先级最低。同一层表达式的计算一般从左向右进行，但优先级高的运算符先做。 表达式可分为同构里表达式和汤合型表达式。同构型表达式要求其所有成分都属于同一类型，例如，ALGOL 60中定义的三类表达式，即算术表达式、布尔表达式及命名表达式，均属于同构型表达式，但目前多数语言的表达式则为混合型表达式，例如，M宝妇ula~2沪da等语言，一个表达式中也许有不同类型的运算对象，它们通过类型转换来解决运算对象类型不一致问题。 有类型语言要求参与计算的运算对象、运算符是有类型的，因而其表达式也是有类型的。运算符的类型可以从运算符的符号不同来区分，例如“令”为整数类型运算符，‘，/”为实数类型运算符，但当前不少程序语言(如八da，C++等)中，同一个运算符，其类型根据其运算对象类型的不同可以作不同的解释。例如沪刁a语言中的“=”运算符，其类型根据其运算对象类型，可解释为整数相等比较，也可解释为实数相等比较，甚至可以是用户定义的某一类型的相等比较，这种现象称为运算符的一名多用。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条