在讨论中

In today's philosophy of science,Kuhn's andFeyerabend's incommensurability thesis is the mostcontroversial topic in the issues of scientificrationality.

在当代关于科学合理性问题的讨论中，库恩和法伊尔阿本德的不可通约性论点是一个最有争议的论点。

The paper consists of six chapters. Chapter One is the theoretical background, we review the course of mechanical theorem proving and briefly introduce the main mechanical theorem prover of the last decade, Among them, we stress on the Boyer-Moore theorem prover and its throretical foundation a computational logic. In Chapter Two, we discuss two theorem proving tactics. One is the rippling-out tactic, which is a tactic for manipulating the induction conclusion to enable the induction hypothesis to be used in its proof, because it extremely restricts the search space, so it has high efficiency.

全文共分六章，第一章是理论背景知识，回顾了定理机器证明的历程，并对近十年来的主要定理证明器作了扼要的介绍，其中，着重介绍了计算逻辑及Boyer-Moore定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

With these,first,they will enhance the interchange of information and knowledge sharing for SRM within a financial institution.

最后，本文还通过对2008年的雷曼债券事件和1998年的长期资本管理公司事件的研究，讨论了所提出的模型在实践中的运用。

Initialization is an important concept in C++ and one to which we will return throughout this book.

在 C++中，初始化是一个非常重要的概念，对它的讨论将贯穿本书始终。

According to our teaching practice,effective applications of some relative calculus background knowledge in teaching are given,such as introduction of real number ,Newton-Leibniz s formula,principle of integrability,meaning of infinite series.

结合教学实践，讨论了实数的引入，Newton-Leibniz公式，无穷级数，函数的可积性准则这几个相关的微积分背景知识在教学中的有效运用。

This thesis discusses a new phenomenon in advertisement. After 1990, a lot of words which was derived from the intelligentsia were used in advertisement.

本文试图讨论90年代以后出现的一种新的广告现象，即在广告中大量引用知识分子话语的现象。

In response to this issue, the author is start from the reality of the Chinese accountability system, analyzing its fundamental intendment and theoretical foundation; and then demonstrating the significance in the execution of administrative accountability in our nation; in addition dissertating the real whole state of accountability system nowadays and its imperfection in enactment.

针对这一问题，笔者从我国行政问责制度建设的现实出发，从行政问责制的基本概念入手，分析了行政问责制度相关概念，讨论了行政问责制度的理论基础，进而剖析我国行政问责制度实施的现状以及在实施中存在的问题，阐述了我国问责制其本身存在的弊端。

The cognitive science extend the scope of the philosophy of mind and intentionality.

意向性问题不仅是心智哲学的问题，也是认知科学的问题，有必要在认知科学中加以讨论。

As to the issues of〝information-intermediator-corporate governance〞, this thesis will first discuss the environment of the target corporation in order to find out the mechanism which is suitable to be the intermediator.

至於在「资讯－资讯中介者－公司治理」此架构之讨论中，首先必须厘清对於不具备相当规模流通市场之股份有限公司而言，有哪些机制可成为适当之资讯中介者。

The first part introduces the incentive models of actual bonus stock synoptically,analyses the stock on hand,option shares and stock option,the three kind of important incentive models,on rights and incumbencies,value and the incentive guidance by contrast.The second part discusses the difficulties and influential factors in the design of technical bonus stock,quests for the incentive models of technical bonus stock,analyses superiority and inferior position in action,difference and interosculation between them,discusses the need and significance for the technical bonus stock reanimation in the middle-small technicalfilms.

本文内容共分为五章三大部分，第一部分概括性地介绍了现行股权激励方式，对现股、期股和期权这三种重要的激励方式，从权利义务、价值和激励导向三个方面进行了对比分析；第二部分探讨了技术股权设计的难点和影响因素，讨论了我国中小科技企业技术股权激励的方式，分析它们在激励中的优势和不足，以及它们之间的区别与联系，并对中小科技企业实施技术股权激励的必要性和意义进行了探讨。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。