1) order calculus
序演算
1.
Reasoning system OCRS based on order calculus and its decision algorithm
基于序演算的推理系统OCRS及其判定算法
2) programming calculi
程序演算
3) flood routing sequence
洪水演算顺序
1.
The topological relationship for grids or sub-watersheds in distributed hydrological model is an important aspect in accurately reflecting flood routing sequence.
数字水系中各网格或子流域之间的拓扑关系是正确反映洪水演算顺序的重要环节。
4) out-of-kilter algorithm
不按次序演算法
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求解公式作进一步的演算,演算步骤严密和清晰,易于记忆。
补充资料:编译程序的编译程序
编译程序的编译程序
compiler-compiler
b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则,并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常,编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成,也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序,语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词,构造一个有限状态自动机,由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法,生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难,目前大多数生成程序中语义描述还是采用非形式化,它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序,如词法分析程序的生成程序LEX,语法分析程序的生成程序yACC和LLgen,它们都显著提高了编译程序的开发效率。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条