查询词典 chapter

Computer carving molds categories: high frequency mode, bronzing die, metal plastic mould, metal stamping letters die, metal crafts sculpture, greeting cards embossed die, plastic gift-chapter, line version of a wave soldering lead-free governance with a furnace, such as three-dimensional relief Three-dimensional sculpture of computer processing… stickers printed categories: all kinds of stickers printed labels, stickers, bar code standard, easy shredding, arrow superscript, subscript cloth clothing shoes and hats, water standard, such as India Mark… Rubber Tag Categories: Crystal Dijiao, micro-injection, drops Chapter plastic raw materials, etc… silicone series categories: Japan KE-1310ST, KE-1310S, JX-860, JX-850 and its color paste, auxiliary agents and special tools… PVC raw materials Series: highly transparent material, PVC powder paste, DINP oil, light and heat stabilizers, hardware oil, PVC heat-ink color paste… Series: low-temperature heat-ink (round, rectangular, smooth, dumb noodles) and color color paste , Etc… flocking Series: Flocking paper, flocking oar, flocking Transfer, etc… machines Series: automatic multi-color flocking machine, planting colorful three-dimensional plastic machine, silicone package molding machines, high-frequency embossing machine, rubber Plastic signs pipeline equipment…---- since we have since opened in accordance with the philosophy, in order to meet customer needs and quality to achieve customer satisfaction.

电脑雕刻模具类：高周波模、烫金模、五金塑料模、五金冲压字母模、金属工艺品雕刻、贺卡压花模、礼品胶章模、线路版过波峰焊无铅过炉治具、立体浮雕等各种三维电脑雕刻加工…不干胶印刷类：印刷各种不干胶标签、贴纸、条码标、易碎纸、箭头标、服装鞋帽布标、水标、印唛等…橡塑标牌类：水晶滴胶，微量射出，滴塑胶章等…矽利康原料系列类：日本KE-1310ST、KE-1310S、JX-860、JX-850及其色浆、辅助剂和专用工具等…PVC原料系列：高度透明料、PVC糊脂粉、DINP油、光热稳定剂、硬油、PVC色浆…热固油墨系列：低温热固油墨(圆角、直角、光面、哑面)和彩色色浆等…植绒系列：植绒纸、植绒桨、植绒转印纸等…机器系列：自动多色植绒机、立体多彩植胶机、矽利康整套成型机、高频压花机、橡塑标牌流水线设备等

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函数的高阶交换子〓在〓上的有界性及端点估计。

And discuss some key point of integrated management system design, include hazard identification and risk assessment and risk control in the occupational health and safety management, the measure of satisfaction target of customer, the flawlessness of law system, the integration of the integrated management system and enterprise standardization system, unify lead institution and work orgnization, integreted internal audit and integrated management review.

同时，论述了一体化管理体系构建中的几个主要问题，包括职业健康安全管理中的危险源辨识、风险评价和风险控制、顾客满意度的科学监测、法律、法规体系的完善、一体化管理体系与企业标准化体系的有机结合、统一的领导机构和工作机构、一体化的内部审核和管理评审。

Deepwater Taranaki is investigated for its petroleum potential, using all available seismic data tied to shallow-water wells.

运用与浅水井相关的现有全部震波探测数据考察了深海区塔拉纳基盆地的油藏前景。