1) speed-accuracy trade-off (SAT) procedure
SAT程序
2) program
[英]['prəʊɡræm] [美]['progræm]
程序 程序
3) SAT file
SAT文件
1.
This paper first introduces some widely used CAD model data formats,then analyses the structure of ACIS SAT file.
文中首先对各种常用的CAD模型数据格式进行了介绍,着重分析了ACIS SAT文件的结构,并对SAT文件、非SAT文件的读写以及模型实体的各种属性管理进行了详细阐述,提出了ACIS数据文件中模型管理的接口化模式。
4) SAT problem
SAT问题
1.
Quantum cooperative immune algorithm for SAT problems
量子协同免疫算法用于SAT问题的求解
2.
Due to the complexity of the SAT problem, the speed of solving the SAT problem with software method is very slow.
针对SAT问题的复杂性及求解速度缓慢的问题,采用可重构器件FPGA设计,实现了静态回溯搜索算法SAT问题并行处理器,提出了研制动态SAT并行处理器的设想。
3.
A novel algorithm,SAT-SAGA,is proposed for solving SAT problems based on the combination of the genetic algorithm and simulated annealing algorithm.
提出一种将遗传算法与模拟退火算法相结合的SAT问题求解算法SAT-SAGA。
5) Satellite(SAT)
随体(SAT)
6) 3-SAT problem
3-SAT问题
1.
A New Method for Solving 3-SAT Problems;
一种求解3-SAT问题的新方法
2.
A genetic algorithms for 3-SAT problem determinant
基于遗传算法的3-SAT问题判定
3.
Finaly,the 3-SAT problem be solved by DNA computing method.
本文根据DNA分子的结构及特点给出了DNA分子的形式化描述,介绍了DNA粘接计算模型的文法结构和计算能力,并应用DNA计算方法求解3-SAT问题。
补充资料：编译程序的编译程序
编译程序的编译程序
compiler-compiler
b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则，并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常，编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成，也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序，语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词，构造一个有限状态自动机，由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法，生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难，目前大多数生成程序中语义描述还是采用非形式化，它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序，如词法分析程序的生成程序LEX，语法分析程序的生成程序yACC和LLgen，它们都显著提高了编译程序的开发效率。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条