1) K-FIX code
K-FIX程序
1.
On the basis of the K-FIX code, a computer program for transient multi-dimensional,two-fluid code developed by Los Alamos Scientific Laboratory of USA, we restore the viscous stress and single-phase heat conduction, and we introduce the heat transfer boundary condition, so the revised code can be used to calculate the natural convection flow.
用扩展后的K-FIX程序计算了自然对流状态下的流场和温度场，与COMMIX-1A程序的计算结果符合良好。
2) FIX programming
FIX编程
1.
The revamp on the coil rolling program definition system in HC Mill is briefly described and application of the FIX programming software in the establishment of the operation stations introduced.
简述了HC轧机钢卷轧制规程设定系统的改造,介绍了FIX编程软件在建立操作站方面的应用,投入运行后,效果较好。
3) K-K equation
K-K方程
1.
The trans-membrane filtration velocities acquired using SPH method are in good agreement with the results calculated by K-K equation,when the pore\'s diameter of the membrane is between 1μm and 200μm.
多孔膜孔径在1μm到200μm范围内,流体跨膜渗透速度的SPH结果与K-K方程的计算值吻合较好。
4) k-ordered graph
k-可序图
1.
A graph is said to be a k-ordered graph,if every k-vertex set is a k-ordered set in the graph.
称G是k-可序图,如果G的每一个k元子集都是G的k-可序子集。
5) inverted sequence k
逆序数k
1.
In this paper, a new recurrence algorithm is given, it uses generating function to count d(n,k) which is the number of permutations with same number of inverted sequence k in n-order permutations.
用生成函数(母函数)讨论了n阶排除中具有相同逆序数k的排列个数d(n,k)的新递推公式,将d(n,k)的计算转化成其生成函数的计算,从而得到一个可以用计算机完成的算法。
6) k-ordered
k-可序
1.
A Note on k-ordered Hamiltonian Graphs and the Complete Arcs in Tiny Projective Plane;
一类k-可序Hamilton-图的讨论与小度数射影平面上的完全弧
2.
Lenhard Ng (1997) gave the definition of k-ordered Hamilton graphs and proved that every (k+1)-Hamilton-connected graph is the k-ordered Hamilton graph.
LenhardNg(1997)给出k-可序(kordered)哈密尔顿图的定义,并证明了每一个(k+1)Hamilton-连通图都是k-可序哈密尔顿图。
补充资料：编译程序的编译程序
编译程序的编译程序
compiler-compiler
b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则，并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常，编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成，也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序，语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词，构造一个有限状态自动机，由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法，生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难，目前大多数生成程序中语义描述还是采用非形式化，它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序，如词法分析程序的生成程序LEX，语法分析程序的生成程序yACC和LLgen，它们都显著提高了编译程序的开发效率。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条