列举的

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

The Interpretation also lists seven circumstances under which the defendants may be deemed to "cover up or conceal the source and nature of Illegal Gains through other means", which include:(1) aiding and abetting in the Transfer of Illegal Gains through pledge, rent, sale/purchase and investment;(2) aiding and abetting in the Transfer of Illegal Gains by way of commingling with the income of cash-intensive businesses including shops, hotels and entertainment venues;(3) aiding and abetting in converting Illegal Gains into "lawful" assets through fictitious transactions, debts and credits, guarantee and incomes;(4) aiding and abetting in converting Illegal Gains by way of purchasing sweepstake and lottery tickets;(5) aiding and abetting in converting Illegal Gains into gambling proceeds through gambling;(6) aiding and abetting in carrying, transporting or mailing Illegal Gains overseas; and (7) aiding and abetting in the Transfer of Illegal Gains through means other than those set out above.

解释》还列举了将被认定为〝以其他方法掩饰、隐瞒犯罪所得及其收益的来源和性质〞的七种洗钱情形，包括：（1）通过典当、租赁、买卖、投资等方式，协助转移、转换犯罪所得及其收益的；（2）通过与商场、饭店、娱乐场所等现金密集型场所的经营收入相混合的方式，协助转移、转换犯罪所得及其收益的；（3）通过虚构交易、虚设债权债务、虚假担保、虚报收入等方式，协助将犯罪所得及其收益转换为〝合法〞财物的；（4）通过买卖彩票、奖券等方式，协助转换犯罪所得及其收益的；（5）通过赌博方式，协助将犯罪所得及其收益转换为赌博收益的；（6）协助将犯罪所得及其收益携带、运输或者邮寄出入境的；（7）通过前述规定以外的方式协助转移、转换犯罪所得及其收益的。

He cited the example of the Beijing-based legal aid center Open Constitution Initiative, which has challenged China's so-called "black jails" and campaigned for the rights of death-row inmates. Recently it was shut down, ostensibly for tax evasion. And more than a dozen rights lawyers were disbarred after failing a mandatory annual review, widely criticized as a vetting system to disqualify lawyers disliked by the authorities.

他列举了总部设在北京的公盟的例子，这个法律援助机构向中国的&黑监狱&还有死刑犯的权利限制发起了挑战，而最近却因为所谓的逃税而被关闭；然后至少有十二位以上的维权律师因为强制性的年检而被停牌，当局正是利用这个广受恶评的审批机制叫停不受待见的律师的执业资格。

This article threads with researching consumer buying behavior and product and market positioning, and explicates and proves from four aspects:The first aspect mainly theoretically summarizes development and advanced marketing theory at present of marketing; The second aspect has explained overall state and function at present of small and medium-sized enterprises and their typical question in marketing, and particularizes marketing strategy of wine factory of QIN CHI;The third aspect mainly utilizes SWOT analytic approach to analyze wine factory of QIN CHI,and finds the main "malady";The forth aspect summarize the formulation marketing strategy methods and noticeable problems of small and medium-sized enterprises by analyzing wine factory of QIN CHI.

本论文以研究消费者购买行为和产品和市场定位为主线，从四个层面进行阐述和论证：第一层面主要从理论上总结了市场营销的发展和目前较先进的营销理论；第二层面阐述了中小企业的目前总体状况、作用，以及它们在营销中的典型问题，并列举秦池酒厂的市场营销的策略；第三层面主要利用SWOT分析法对秦池酒厂进行分析，找出主要&症结&；第四层面通过对秦池酒厂分析，总结出中小企业的制定市场营销策略的方法以及应注意的问题。

Ordinary questions of discipline are in the ordinary course settled in councils, often held with the assent of the kings, but on great occasions -- at the Councils of Epaone (517), of Vaison (529), of Valence (529), of Orléans (538), of Tours (567)-- the bishops do not fail to declare that they are acting under the impulse of the Holy See, or defer to its admonitions; they take pride in the approbation of the pope; they cause his name to be read aloud in the churches, just as is done in Italy and in Africa they cite his decretals as a source of ecclesiastical law; they show indignation at the mere idea that anyone should fail in consideration for them.

普通的纪律问题是正常经营过程中解决的理事会，往往与同意的国王，但在伟大的场合-在议会E paone（ 5 17），对V aison（ 5 29），价（ 5 29），中奥尔良（ 538人），图尔（ 567 ）-主教不失败宣布，他们正在采取行动的冲动下的罗马教廷，或推迟到告诫他们感到自豪的认可，教皇；它们所造成的名称朗读的教堂，就像是在意大利和非洲，他们列举了decretals作为一个来源的教会法；它们显示愤慨，仅仅是想法，任何人不应该考虑他们。

This paper mainly consists of five parts. The Introduction mainly defines the scope and relative concepts, and covers the present situation of research about it. The first chapter traces the Seeing-off-poetry's cultural origin, classifies its emotion contents and artistic achievements, and differentiates the flows from the base of comprehensive reorganization of the Seeing-off-poetry from pre-Qin to latter-Han Dynasty. The second chapter studies its variations about styles, artistic expressions, and gentries' spirit features. And in this part we also discuss the reasons of Four-word-see-off-poetry's booming and its peculiarities in Jin Dynasty. The third chapter demonstrates the influence on Seeing-off-poetry in the Early and Glorious Ages of Tang Dynasty such as the construction ways, poetry images and emotion styles. The Appendix enumerates all the 465 Seeing-off poems' tittles, authors, their birth and dead time, writing time and sources of quotation one by one, so that all of them can be checked to prepare the investigation.

论文主要有五个部分：&绪论&重在界定魏晋南北朝送别诗的研究范围和相关概念，并对其研究现状作一全面回顾；第一章&送别诗溯源&，在全面整理先秦两汉送别诗的基础上，对《诗经》以来送别诗的文化渊源、情感內容和艺术成就分类概说，辨明其源流；第二章&魏晋南北朝送别诗研究&，从诗体、艺术表达、士人精神风貌三个角度研究这一时期送别诗的演变，并探讨两晋时期四言送别诗的繁盛原因及其特点；第三章&对唐代送别诗影响&，从建构方式、诗歌意象、情感风格三个方面论证魏晋南北朝送别诗对初盛唐送别诗的影响；&附录&部分列出魏晋南北朝送别诗系年一览表，分朝代逐条列举魏晋南北朝465首送别诗的诗题、作者、生卒年、创作时间及其出处，以备查考。

SABS can be improved by SAFU for Hyperspectral imageries. The proposed SAFU selects the sets of uncorrelated hyperspectral bands for each different class simultaneously while utilizing the inherent separability of different classes in hyperspectral images to reduce dimensionality and further to effectively generate a unique SAFU feature. The experimental results show that the SAFU approach is effective and can be used as an alternative to the existing feature extraction algorithms.

本文提出的SAFU选取不同类别抽取出不同的波段，同时地利用不同类别在高光谱影像中固有的分离性来缩减维度及更进一步地有效产生一个独特的SAFU特徵，最后实验列举了一些分类正确率有不错表现的分类器与PBF分类器进行一些正确率的比较，实验的结果显示SAFU方法是有效且能够被当作目前现有的特徵萃取演算法中的其中一种。

It is labour then which puts the greatest part of value upon land, without which it would scarcely be worth any thing: it is to that we owe the greatest part of all its useful products; for all that the straw, bran, bread, of that acre of wheat, is more worth than the product of an acre of as good land, which lies waste, is all the effect of labour: for it is not barely the plough-man's pains, the reaper's and thresher's toil, and the baker's sweat, is to be counted into the bread we eat; the labour of those who broke the oxen, who digged and wrought the iron and stones, who felled and framed the timber employed about the plough, mill, oven, or any other utensils, which are a vast number, requisite to this corn, from its being feed to be sown to its being made bread, must all be charged on the account of labour, and received as an effect of that: nature and the earth furnished only the almost worthless materials, as in themselves.

如果我们追踪一下我们食用的每块面包的劳动所提供的东西，那么将会发现这是一个不太可理解的物品清单；铁，树，皮革，树皮，木头，石头，砖，煤炭，石灰，布料，染料，沥青，焦油，桅杆，绳索，以及所有造船的材料——船运来了其他工人制造的这件工作所需要的物品——完全列举几乎不可能，至少是太长。

the authors analyzed and demonstrated such issues in the theory of monistic training as football player's stamina, long-distance runner's stamina, and hammer throw athlete's power capacity, found that in the explanation for this phenomenon by the theory of monistic training, there are obvious misunderstanding, wrong interpretation, and even garbled quotation and fallacy of composition, and revealed that the theory drew its conclusions by means of listing "facts" and "translating" science, and that its arguments were limited to superficially describing hypotheses put forward, but neither supported its conclusions, nor inherited any traditionally rational things.

中国女子网球队备战2006年&澳网&集训。。。摘要：对一元训练理论论据中足球运动员、长跑运动员的耐力问题和链球运动员的力量素质问题的分析和论证发现，一元训练理论对此现象的解释存在着明显的误解、曲解，甚至断章取义、以偏概全，揭示该理论运用列举&事实&和&平移&科学的方法来引申结论，论据只限于形象的描述所提出的假设，并不具备结论意义上的支撑作用，也没有继承传统合理的东西。

Either party shall be excused from performance hereunder, with the exception of payment by Buyer for items/services furnished and accepted, if such non-performance indirectly or directly results from, is caused by, arises out of, is related to or is contributed to by any temporary or permanent: Act of God; war, terrorism, or hostilities, whether or not there is a formal declaration of war; riots or other civil unrest; acts or omissions of governmental authorities, including without limitation, quarantine, embargo, or the imposition of any other restrictions of whatever kind; disease, illness, outbreak, or plague, whether affecting plants, animals, or humans, and including but not limited to hoof-and-mouth disease; supply shortage as a result of any cause, whether foreseen or unforeseen; or any other cause whatsoever beyond the reasonable control of such party, whether the kind enumerated or otherwise.

国际贸易资深翻译，敬请放心使用）任何一方均可获准免除履行本协议项下的义务（但货物／服务已提供并接受而因由买方承担的付款义务除外），但此种无法履行因是由于以下任何暂时或永久的原因所间接或直接导致、造成、引起、牵连或促成的：－不可抗力、战争、恐怖或敌对行为；－骚乱或其他社会动荡；－政府当局的法令或疏忽（包括但不限于检疫、禁运或强制施行任何类型的其他限制措施）；－疾病、病痛、突发疾病或瘟疫，无论其是否对植物、动物或人类造成了影响；－由于任何原因所导致的供应短缺，无论是否可以预见或不可预见；－或其他当事一方无法合理控制的任何其他原因，无论是否其种类已在此列举或另行列出。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐