查询词典 In Sum

Acknowledged in these modern days as one of the most elegant and sophisticated of dining occasions, the first afternoon tea at The Langham, London was served in 1865 at Salle A Manger for Ladies and Gentlemen for the princely sum of one shilling and six pence.

1865年，伦敦朗廷酒店的Salle A Manger供应了第一份下午茶，因此也被一致公认为摩登时代最高雅的用餐场所之一。当时，下午茶花费总计约1先令6便士。

Finally, in the latter end of the dissertation, we sum up my jobs and give some explanation for questions that not be solved in this thesis, and put forward some possible ways to study the problems more better.

最后，在论文的结束语部分，对本论文所做的工作进行了总结，对论文中存在的未解决的问题进行了说明并提出了可以进一步改进和深入研究的可能方法。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

The alumni can help the university in various ways: first, financial donations. Of course, the large sum of money given to the university is highly valued. In the past two years, Bruce Cheng of Delta Electronics has given to the university more than 15 million U.S. dollars, which were used for research lectureship and construction of a research building and a green energy demonstration building.

校友能以几种方式帮助母校：首先是捐款，大额捐款自然能发挥重要作用，过去两年来，台达电子的郑崇华校友捐款母校超过1，500万美元，这些款项用来支付研究讲座经费，并且兴建台达电子研究大楼，以及一座展示绿能的建筑。

A Except as otherwise provided by law, in any order issued in resolution of a disciplinary proceeding before any board within the department or before the Osteopathic Medical Board, upon request of the entity bringing the proceeding, the administrative law judge may direct a licentiate found to have committed a violation or violations of the licensing act to pay a sum not to exceed the reasonable costs of the investigation and enforcement of the case.

除法律另有规定的情况外，在本部门任何委员会或XX委员会之前所做出的惩戒性程序命令的情况下，行政法官可以优先与进行程序之前让被发现有违背执照行为的执照持有人支付一定的不超过案件调查及执行费用的数额合理的罚款。

The incorrect annual life annuity was reproduced in the insurance certificate in the sum of 3099 DM unchanged.

这一数额有误的终身年金，在保险凭证上数额未经改动，3099德国马克。

I have to take 3 million yen to a Japanese bank, where the line officer will only advised me to deposit into a fixed deposit, but when I got as banks, they are very active in asking if I sum of money in no hurry to use, think of ways to use of funds to help me design a plan.

我曾经拿三百万日圆到日本某银行，哪里的行员只会劝我存成定存，但当我拿到香港的银行，他们却很积极地询问我这笔钱是否不急著用，想办法帮我设计一套资金运用计划。

In "Not All the Sum of Earthly Happiness" he warned that the sultan's precious crown is dangerous, because the conqueror's reward is not worth the army's long-drawn woes; it is better to find treasure in a mind at rest than to ask the slightest favor from the base.

在"并非所有的萨姆人世间幸福"他警告说，苏丹的宝贵冠是危险的，因为征服者的报酬是不值得军队旷日持久的困境，这是更好地找到宝藏的放心，而不是要求丝毫青睐的基础。

In a lower dimension chaoticsystem, the sum of all its positive 1 can be approximately estimated by observing the "overlapping phenomena" in the time delay space trajectories.

初步发现，对于低维混沌系统，可以利用延时相轨迹中的"折叠"现象，来近似估计所有正i之和。

He told reporters in their hands a house is in a contract signed by the end of 2003, more than 40 million one-time lump sum payment, two months ago, taking 700,000 yuan hand, as an intermediary said that the price of just waiting for him to sell so time.

他告诉记者，在他们手中一所房子是在签订合同2003年底，超过4000万的一次性包干费用，两个月前，考虑七十零点零万元一方面，作为中间人说，价格只是在等待他卖得这么时间。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。