查询词典 chapter

In his opinion, his poetics was the embodiment and the development of the traditional poem. Chapter 3 to chapter 5, the three people's views of inditement, appreciation, aesthetics and the value of poems were discussed respectively.

与袁、赵二人相比，蒋士铨是一个非常传统的诗人，他严格遵循儒学思想，把高尚的人格修养作为优秀诗人的首要条件，体现在其诗学思想上就是对传统诗教的张扬和发展。

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定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

In chapter four, the process of rotational inelastic collision of He-LiH complex has been discussed with close-coupling method based on the potential energy surface from chapter three.

在CCSD势能面的基础上，第四章运用密耦方法讨论了He-LiH体系的转动非弹性碰撞。

Chapter 4,based on strong efficiency rather than efficiency or weak effi-ciency,discusses the similar problem to chapter 3.The concepts of strongsupremum and strong infimum for the set in finite-dimensionalEuclidean space are given,s-conjugate functions and s-subdifferentials theory is developed,by means of which,the duality problem ofmulitobjectivre programming for strong efficient solutions or called absoluteoptimal solutions is analysed,and a new duality theory-s-conjugateduality theory is proposed.

第四章，基于强有效性而不是有效性和弱有效性，给出了类似于第三章的结果，提出了有限维欧氏空间中集合的强上、下确界等概念，研究了点集映象的强共轭函数和强次微分问题，建立了点集映象的s-共轭函数及其s-次微分理论，并借助于这一理论，讨论了多目标规划关于绝对最优解或称强有效解的对偶性问题，建立了基于强有效性的s-共轭对偶理论。

In Chapter 4, A detailed comparison between the realization of Cholesky decomposition and OR method is given, a systolic/wavefront array made of general purpose DSP is used to realize the adaptive beamforming at a moderate speed, and a wavefront array to extract the adaptive weights which is necessary in some applications is designed. In Chapter 5, the author proposed a new structure to realize the space time adaptive processing. First 1~q using the FFr and the truncating infinite sequence and sone optimizing method, a much simpler architecture can be acquired in realizing the three portion of channel processing: quadrature sampling, pulse compression and adaptive equalization.

第五章研究并提出了用全通用DSP模块设计空时二维自适应信号处理机的新方案，首先用快速付立叶变换和对长序列截断处理的重叠保留法以大大减少的运算量完成了处理机通道处理部分的正交插值、脉压、自适应均衡三个功能块的长阶数线性卷积运算，接着对自适应波束形成提出了多种实现方案，分析了多种方案下的运算量和设备要求，指出在不同通道数、不同数据吞吐率、不同自适应要求时这几种方案有不同的可行度和实现难度，并针对实际要求确定了一种运算田N、的实现方案，对自适应波束合成部分的大量贝玉以良元组咸肋冈络结拘和处凰闺和羽凶挝娠昨了优化设计以威少设备复杂性，构成了设备量大夕父伯小、们g团回高、辜于生回阴田闩引愧快的空时二维自适囱戏升引毗四机。

At the end of this chapter, two computer programs AOGRA_SCE and CINE〓_SCE used for space charge effect calculation are briefly introduced. In Chapter 3, the different injection methods for sector focused cyclotron and the different types of inflectors for axial injection are briefly described firstly. Then the reference particle's orbit and the optical property in spiral inflector, the most common-used injection method, are studied in detail.

在本章的第4节中，介绍了两台强流扇聚焦回旋加速器（50MeV-6mA H〓超导扇聚焦回旋加速器和17MeV-2mA H〓扇聚焦回旋加速器）的具体设计步骤和计算结果，讨论了这两台扇聚焦回旋加速器中加速轨道和相空间的传输以及空间电荷效应的影响。

In Chapter Five, the final chapter, the author concludes that, the obligee can choose theright of claim most favorable to him under general circumstances, or choose both of theclaims available to him under certain special circumstances; if the right of claims aretransferred, the inflicter shall demur with the existed right to claim indemnity, no matterwho lodge a complaint, either the transferor or the transferee; when the law has a specialprovision or the parties achieves a fairly special agreement within the limit of law, thespecial provision or agreement shall be obeyed.

论文的第五部分，也就是最后一部分，在分析前人的理论和实践的优劣的基础上，在分析解决问题的出发点的基础上以及在借鉴前人的成果的基础上，作者最后提出自己对该问题的解决方法，即：一般竞合的情况下权利人可任意主张其中一项对自己最为有利的请求权；特殊情况下受害人可同时采用双重请求权；竞合情况下若出现请求权转让，无论是转让人还是受让人依请求权提起诉讼，加害人都可以业已存在的对其要求损害赔偿的请求权进行抗辩；法律有特别规定或当事人在法律允许的范围内有特别的公平约定时，应依特别规定或特别约定。2

In Chapter 3, we discuss the other orthogonalities in in Banach space, and give some properties of them. The emphase of the chapter is to study the relations of Birkhoff orthogonality, Isosceles orthogonality and Pythagorean orthogonality, and it is proved that if one of these induces another, then the space is an inner product space.

第三章研究其它几种正交性问题，讨论Birkhoff正交性、Isosceles正交性与Pythagorean正交性之间的关系，证明了：如果这三种正交性的任一种都蕴含另一种，那么此空间就是内积空间。

Basing on thesingular integral operators T with weaker kernel introduced in chapter two,westudy the weighted boundedness on〓(1＜p＜∞)and the endpoint estima-tes of their higher order commutators with BMO functions in chapter three.

对第二章引入的弱核奇异积分算子，第三章主要讨论它们与BMO函数的高阶交换子〓在〓上的有界性及端点估计。

It introduces the network situation of system and integrant subsystems with pictures in chapter four and the displays with WinCC in chapter five.

由于本次设计是利用WinCC组态软件结合现场总线和可编程控制器完成的监测控制网络，所以在第四章网络的硬件组态中以图片的形式介绍了监控网络的组网情况和部分子控制系统。

For the head-teacher of the class said that I had seriously broken the school rules,which led me to a three-day suspend class.

为什么呢？因为我的班主任说我严重的违反了校规，于是让我停课三天。

Many of them believe that the conversion of thousands of working-class folk in England spared that nation from the mass carnage and the tyranny that came with the revolution in France.

他们之中有许多人相信，在英国数以千计的劳工阶级之悔改信主使英国免於遭受如法国大革命所造成的大屠杀和专制暴政。