1) programming calculi
程序演算
2) order calculus
序演算
1.
Reasoning system OCRS based on order calculus and its decision algorithm
基于序演算的推理系统OCRS及其判定算法
3) evolution program
演化程序
1.
A new approach based on evolution programs for parameters identification of concrete creep model is proposed.
根据演化程序的思想,提供了辨识混凝土徐变模型参数的一种新方法,即将徐变计算公式中的参数识别问题转化成一个优化问题用演化程序求解。
2.
The approach to datapath synthesis based on an evolution program combines an evolution program with a known heuristic algorithm to search the larger design space in an intelligent manner.
提出了一种基于演化程序的数据通路综合算法 ,该算法是将演化程序与已知的启发式算法相结合来对较大的设计空间进行智能化搜索 ;并且讨论了应用该方法以减少硬件资源成本和缩短总的执行时间为目标 ,对典型的微分方程电路实施调度、分配和数据通路综合的整体优化过程 。
3.
Constructing the prediction model from core porosity and using acoustic, density, gr and sp log data, an application of optimized genetic algorithm\|evolution program to porosity prediction is presented in this paper.
文中应用优化的遗传算法———演化程序 ,利用岩芯样品的孔隙度和测井数据建立合适的预测模型 ,应用声波、密度、自然伽马和自然电位测井数据进行储层孔隙度预测。
4) demo program
演示程序
1.
Writing demo programs and establishing vitual simulation lab using Mat-lab are presented.
分析当前信号与系统课程教学中存在的数学推导复杂、实验难等问题,提出采用编写演示程序、建立Matalb虚拟实验室等方法。
2.
Writing demo programs and establishing virtual simulation system are presented.
着重论述了如何利用MATLAB工具在计算机上实现信号与系统分析,分析当前信号与系统在教学中存在着数学推导复杂、实验难等问题,提出了编写演示程序和进行系统模拟仿真等方法,明显提高教学效果。
5) program evolution
程序演化
1.
Through program evolution, the operating system and security software could be in different forms.
利用程序演化技术生成形态各异的操作系统和安全软件 ,可以提高攻击的复杂性和难度 ,最终达到保护信息的目的。
6) singing procedure
演唱程序
1.
This paper makes brief discussion on the married songs with tears of the Tus through anaylzing singing contents,singing procedures of the married songs with tears.
本文通过对哭嫁歌的演唱内容、演唱程序等的分析 ,对土族哭嫁歌作了简要探
补充资料：编译程序的编译程序
编译程序的编译程序
compiler-compiler
b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则，并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常，编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成，也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序，语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词，构造一个有限状态自动机，由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法，生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难，目前大多数生成程序中语义描述还是采用非形式化，它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序，如词法分析程序的生成程序LEX，语法分析程序的生成程序yACC和LLgen，它们都显著提高了编译程序的开发效率。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条