1) analytic predicate
解析谓词
2) predicate analysis
谓词分析
1.
In order to allocate registers efficiently for predicated code, a predicate analysis system based on binary decision diagrams is introduced first, which is put forward by John W.
对采用谓词执行优化技术后的编译代码,为了更高效地进行寄存器分配,首先介绍了Sias等人提出的一种基于二进制决策图(BDD)的谓词分析系统;然后在其基础上,对传统寄存器分配算法进行改进,给出了一种建立精化干涉图的新算法;最后将算法在学院研制的YHFT-DSP/700芯片的编译器上实现,实验结果表明,减少了所需寄存器数目,缩短了代码执行时间,获得了较好的性能提高
2.
Based on binary decision diagram(BDD) predicate analysis system,this paper proposes the method to optimize control structures in programs utilizing complementary predicate.
基于二进制决策图(BDD)的谓词分析系统,提出了一种利用互补谓词机制对控制结构进行优化的方法;对传统着色图寄存器分配算法进行改进,给出了一种利用互补谓词机制建立统一简化干涉图的新算法,减少了代码溢出;利用互补谓词的特性指导指令调度,使之更加有效利用资源,并对目标体系结构进行了改进以支持指令调度。
3.
The paper contributes to firstly design and implement predicate analysis techniques based on predicate partition graph and its application.
该文介绍在ORC(IA 6 4OpenResearchCompiler)中首次设计实现的基于谓词划分图的谓词分析技术及其在指令调度中的应用 。
3) annotated predicate calculus(APC)
注解谓词演算
4) interpretation of predicate calculus
谓词演算的解释
5) Predicate Analysis System
谓词分析系统
6) predicates
[英]['predikit] [美]['prɛdɪkɪt]
谓词
1.
Based on analyzing the relationship between domains of Visual Prolog and data types of C language,calling conventions of predicates and functions are discussed,a way to program with Visual Prolog and Visual C++ is presented,and a code example for this method is demonstrated in detail.
分析了V isual Prolog论域与C数据结构的对应关系以及函数、谓词的调用约定,讨论了V isual Prolog与V isual C++进行混合编程的实现方法,并通过二者相互调用的代码演示了该方法,从而将VC与V isual Prolog的优势有效的结合起来,使智能应用的开发简单而高效。
2.
This paper discusses the context and syntax of embedded if-questions appearing as arguments of noninterrogative predicates like "admit", ect.
谓词对从句补语有语义上的要求。
补充资料：定性分析与定理分析方法
定性分析与定理分析方法
method of qualitative analysis and quantitative analysis
量分生的战争·析，面构‘对各的评，始}来，与非‘心的确掌’数，·。随l科学系统识的分别之间‘是以‘范围又以!范围 一定!质就·，便I这种量方必须·量的}_上。:往往，自觉，析愈.有定，抽象法的)动态争性质的正义与非正义、武器装备性能的优劣、士气的高低、指挥员指挥能力的强弱、军事理论和国防科技的先进与落后等，就是通过定性分析获得的。定量分析，是在定性分析基础上对军事事物的认识进一步深化和具体化。它通常借助数据、公式、图表等形式，对认识对象作量的描述。认识对象的性质不同，所运用的定量方法也有所不同。如对军事领域中的随机性事件的定量分析，就主要用概率统计的方法。在当代，人们对于一些无法确定数量界限的军事事物用指数化的方法将其量化，以增强可比度和对其认识的精确度。 定性分析方法和定量分析方法，自古以来就被人们自觉或不自觉地运用于军事领域。在古代，人们在考察军事事物时，已经在不少场合，既进行定性分析也进行定量分析，并把定性和定量结合起来。如裴松之在《三国志》注中记载说，周瑜在赤壁之战之前分析曹操的实力时曾指出，曹军号称八十万，其实仅有十五六万，再加上长途行军已经疲惫，能参加作战的仅有七八万，并且不习惯南方气候和水战，心中存有狐疑，因此只要得精兵五万，便可挫败之。周瑜既分析了曹军的兵力，也分析了曹军的士气及战斗力，其中既包含了定性分析，也包含了定量分析。古代由于受自然科学发展水平所限，人们对军事事物进行定量分析的手段比较单一，所得结果也欠精确。近、现代，随着自然科学的进步，军事上的定性方法与定量方法都得到进一步发展，尤其是数学的进步及在军事领域中的广泛应用，使得军事上的定量方法趋于多样化和精确化。但这一时期，在一些人中也出现了过分强调对军事现象进行数学上的绝对值的考察，而忽略使用定性方法的必要性的现象，以为只要能够确定某些要素的数学绝对值，就可以指导军事行动，乃至决定成败，表现出了机械性和形而上学性。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条