1) abstract interpretation theory
抽象解释理论
1.
This paper describes the abstract interpretation framework of the program semantics based on the Galois connection, and then discusses three typical applications of the abstract interpretation theory: The program transformation, the program verification techniques about the safety property and the program verification.
描述了程序语义基于Galois连接的抽象解释理论框架,讨论了基于抽象解释理论的程序变换、程序安全性验证和活性性质验证这3种典型的应用,并指出了基于抽象解释理论的程序验证的主要研究方向。
2) Abstract interpretation
抽象解释
1.
Abstract interpretation is a general theory of semantics approximation,which has been widely used in the verification of computer programs.
作为一种通用的语义近似理论,抽象解释已广泛应用于各类程序的形式化验证中。
2.
Compared with general theory about abstract interpretation,the method focuses on value range analysis,so the analysis and the proof of the analysis is straightforward.
系统地提出了一个基于抽象解释和通用单调数据流框架的值范围分析框架,包括精确的定义、分析和完整的正确性证明。
3.
From the Principle of functional propriety,this article argued that under the current system,the only possible mode of China constitutional interpretation is abstract interpretation.
中国现有体制下的宪法解释只能适用抽象解释的模式,宪法解释程序的建立也必须以此为前提。
3) theoretical abstract
理论抽象
4) abstract theory
抽象理论
1.
After the first abstract theory of computer viruses, based on Turing machine and coined by F.
计算机病毒抽象理论对于理解计算机病毒，研究计算机病毒的基本性质和数学特征，以及指导反病毒实践有着重要意义。
5) the explanatory theory of quantum phenomenon
量子现象解释性理论
1.
On the basis of the explanatory theory of quantum phenomenon,the energy levels of a single pendulum,of a slide lump on a round smooth guide way in a vertical plane and of a slide lump in two butted smooth oblique planes are deduced.
根据量子现象解释性理论导出了单摆、竖直平面内的圆形光滑导轨上的滑块以及两块对接光滑斜面上的滑块的能级公式。
6) theoretical explanation
理论解释
1.
The microstructural change in Al-Si alloyed cast irons and its theoretical explanation;
Al-Si合金铸铁的组织变化规律及其理论解释
2.
The theoretical explanation about establishing strategic alliances between enterprises;
对企业建立战略联盟的理论解释
3.
Then,from the point of views of fact description,theoretical explanation,formalism vs.
本文首先简要地回顾二十世纪语言学在研究范式上的两次转变 ,然后从事实描写与理论解释、解释语言现象的形式主义取向与功能主义取向、语言研究的理论追求与应用目标、国内的语言研究与海外的语言研究等四个方面 ,来展示当代语言学的不同流派在语言研究的理论目标、研究方法、研究范围和研究成果上的差别 ,最后展望语言研究在未来的发展趋势。
补充资料：X理论-Y理论
X理论-Y理论
【X理论一Y理论]美国行为科学家道格拉斯·麦格雷戈.(伪uglaSM。Gre即r，l以拓一1964)提出的管理理论，概括地论述了人的本性和人类行为规律及其相应管理策略。在1948一1954年间，他对当时流行的管理观点和对人的特性的看法提出了疑问，并在1957年11月号的美国《管理评论》杂志上发表了《企业的人性方面》(Hunlan sideofEnte州se)一文，提出了有名的X理论—Y理论。在以后的著作中他做了进一步发展，19印年正式出版《企业的人性方面》一书。 麦格雷戈把传统的管理观点称为X理论。他在《企业的人性方面》一书中指出:“企业管理当局利用人力来实现组织要求这项任务的传统观点可以大致表述为以下三点。为了避免混乱，我们引进一个标志，把这几点叫做‘X理论’:(l)企业管理当局为了达到经济目的，有责任把生产性企业的要素—金钱、材料、设备、人员—组织起来。(2)就人员来讲，这是一个指挥他们的工作、激励他们、控制他们的行动，修正他们的行为以适应组织需要的过程。(3)如果管理当局不作这种积极的干预，人们对组织的需要可能采取消极的—甚至对抗的态度。因此，必须对他们说服、报酬、惩罚、控制—必须指挥他们的活动。这是管理当局的任务。我们常常把它概括为:管理就是通过别人来把事情办成。在这种传统理论的背后还有一些附加的信念—不是那样明显，但却流传甚广。(4)一般人的本性是懒惰的—他尽可能地少工作。(5)他缺乏进取心，不愿承担责任，情愿受人领导。(6)他天生以自我为中心，对组织需要不关心。(7)他本性反对变革。(8)他轻信，不大聪明，易于受骗子和政客的煽动。” 麦格雷戈基于对古典管理理论的研究，提出了与X理论截然不同的“人员管理工作的新理论”—Y理论。其要点如下:(l)工作中无论在体力和脑力方面的支出，都像在游戏或休息时一样地自然。人们并非天生厌恶工作。(z)外来的控制和惩罚性的威胁都不是使人作出努力来达到组织目标的唯一手段。人们在实现他们所承诺的目标任务时会进行自我管理和自我控制。(3)对目标、任务的承诺取决于实现这些目标、任务后所能得到的报偿的大小。(4)在适当的条件下，一般的人不但懂得接受，而且懂得寻求负有职责的工作。(5)以高度的想象力、智力和创造力来解决组织上各项问题的能力，乃是大多数人都拥有的能力，而非少数人所独具的能力。(6)在现代工业化社会里，一般人的智力还没有得到充分发挥。(7)企业管理当局应当负责把生产企业的各项要素组织起来，以实现企业的经济目标。(8)企业管理的基本任务是，安排好组织工作方面的条件和作业的方法，使个人需要和组织目标尽可能地结合在一起，以便把个人的智慧和能力充分发挥出来。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条