1) binary voting procedure
二元表决程序
1.
On the basis of defining the stability criteria for social selection procedure, the stability of binary voting procedure in various ways of voting behavior such as sincere voting or sophisticated voting is analyzed.
通过定义稳定性判据，探讨了一般二元表决程序在不同的投票行为方式（诚实投票和策略投票）下的稳定性（即防操纵性）问题。
2.
On the basis of defining the stability criteria for the social selection procedure, the stability of a kind of binary voting procedure, the amendment procedure and successive procedure, is investigated.
在定义社会选择程序的稳定性判据的基础上，探讨了一类二元表决程序（修正案表决程序和顺序表决程序）的稳定性问题，同时对不同投票行为方式（诚实投票与策略投票）下该类二元表决程序的稳定性进行了比较分析。
3.
By analyzing the choice making process of amendment procedure and successive procedure,the order of voting effect of these two kinds of binary voting procedure under two different ways of voting behavior is investigated,and some related results and theorems are given.
本文通过对“修正案表决程序”和“顺序表决程序”中议案选择的分析，研究了该两类二元表决程序在不同的投票行为方式下的“次序效应”，得到了相应的结论和定理。
3) successive procedure
顺序表决程序
1.
The order of voting effect for the amendment procedure and the successive procedures in the following two cases are studied.
对修正案表决程序和顺序表决程序在相互偏好信息完全不知和相互偏好信息完全已知这两种情况下的投票次序效应进行了研究 ,分析了具有不同偏好的投票人在不同偏好信息假设下的投票策略 ,给出了修正案表决程序和顺序表决程序的选择结果与偏好结构之间相互关
4) ordered binary decision diagram
有序二元决策图
1.
This method can narrow down the strategy space using an efficient OBDD-based (ordered binary decision diagram) algorithm in the first phase.
在第1阶段,采用有序二元决策图(ordered binary decision diagram,OBDD)表示法来降低解空间;在第2阶段,利用安全分析等工具在收缩后的解空间内计算最优的分区方案。
5) amendment procedure
修正案表决程序
1.
The order of voting effect for the amendment procedure and the successive procedures in the following two cases are studied.
对修正案表决程序和顺序表决程序在相互偏好信息完全不知和相互偏好信息完全已知这两种情况下的投票次序效应进行了研究 ,分析了具有不同偏好的投票人在不同偏好信息假设下的投票策略 ,给出了修正案表决程序和顺序表决程序的选择结果与偏好结构之间相互关
6) program marking of surface elements
表面元程序标识
补充资料：编译程序的编译程序
编译程序的编译程序
compiler-compiler
b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则，并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常，编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成，也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序，语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词，构造一个有限状态自动机，由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法，生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难，目前大多数生成程序中语义描述还是采用非形式化，它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序，如词法分析程序的生成程序LEX，语法分析程序的生成程序yACC和LLgen，它们都显著提高了编译程序的开发效率。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条