1) symbolic operation system
符号演算系统
2) Symbol Deduction System
符号演绎系统
3) symbolic computation
符号演算
1.
Research on Modeling and Symbolic Computation of Dynamics of Flexible Multibody Systems;
多柔体系统动力学建模及符号演算的研究
2.
Exact solitary wave solutions of a generalized KdV equation are obtained by using Wu s mechanization mathematics method in symbolic computatio
利用吴文俊机械化数学方法通过符号演算获得了广义ＫｄＶ方程的精确孤立波
4) symbols calculation system
符号计算系统
5) symbol operating system
符号运算系统
6) symbol system
符号系统
1.
It illuminated in the light of symbology principle that the folk dress of waterside villages of Southern Yangtze was not only daily consumer goods,but also a symbol system of folkcustom culture.
采用了符号学的原理进行解析江南水乡民间服饰既是人们的日常生活用品,又是一种表现民俗文化的符号系统。
2.
The television symbol system including structure,color,material and brand symbol consumption were elaborated.
分析了家用电视机中符号的能指与所指,通过对电视机外观符号系统中的结构符号、色彩与材质符号及品牌符号消费的系统研究,指出现代高清电视机会出现新的设计符号特征并日益被消费者理解接受,电视机品牌符号也将成为消费购买决策的关键所在。
3.
This paper mainly diccussed the development of the vectorized symbol system of digital mapping, including its platform and technical characteristics.
主要阐述了数字测图矢量化符号系统研制的原因、系统所采用的平台、系统技术特色以及在实验教学、科研中的应用,并对使用效果进行了介绍。
补充资料：通信系统演算
通信系统演算
calculus of communicating systems
tongxln xltong yQnsuQn通信系统演算(caiculusof~ting英国学者R.陇Iner提出的用于描述通信并发系统的代数理论，简称C(污。假定一个标号集L，其补集五鳖{压}。‘L}。Act=LULU}川称为动作集，其中:是特殊的不可见动作。CCS的进程构造算子如下:算子a .PP+Q尸}Q尸\S尸【f」直观意义空进程动作前缀(a任A以)非确定选择并行复合限制(S里L)换标号(f是从L到L的部分函数)此外还允许递归算子。 CCS的语义由结构化操作语义方法给出，下面列出几条典型的语义规则。尸~Q表示进程尸可执行动作a而演变为Q。 口声屺r a.尸~尸~里二翌二 P+Q~P’~卫二卫二 P+Q~Q，P二产尸}Q~P’}Q~~卫二卫二 尸{Q辛尸}Q’ aaP~尸Q，Q’ rP}O~尸’}Q’ d__尸~厂卜_..-一洲1巧一-“货万口51仕止尸二尸， aP\S~P’\SP:f一业)尸·[，z从关于并行算子}的规则可以看出，由两个进程并行复合而成的进程可以做每个分进程所能做的动作(PARI)和(PARZ)，但当两个分进程同时执行一对互补的动作时，则发生通信，产生T动作(COM)。这种通信方式称为握手式通信。(…:CS的基本思想是用:和十来模拟}，将并发归结为非确定性，即所谓交错语义。这一思想体现在下面的展开律中:Q;卜·}Q，=名{a.(Ql卜·}可卜·!Q，):i簇n， q一以卜习{二.(Ql卜·}哪卜·}可卜· ll }q):i
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条