查询词典 thrust deduction

As a substructural logic, TLG adheres to logical deduction in both its syntactic and semantic theories.

2严格遵循了意义组合原则，真正实现了句法和语义的同构对应。

The study,based on theoretical analysis and deduction,has developed the theory and applied it in the analysis and definition of townscape characteristics of an urban area of Shanghai so as to explore its applicability in the planning and management of China＇s urban conservation areas.

研究通过理论分析和演绎，完善和发展了城市风貌区理论。通过运用该理论对上海市特定地区城市风貌特色的实证分析，研讨了它在中国的历史风貌保护区规划中的应用前景。

The balance of the proceeds from the alienation or disposal of a fixed asset by an enterprise, after deduction of the net undepreciated value, or the residual value of the asset and the handling fees, shall be entered into the profit and loss ccount for the current year.

第四十四条企业转让或者变价处理固定资产的收入，减除未折旧的净额或者残值及处理费用后的差额，列为当年度的损益。

Had these, is not merely exclaims in surprise the informationization the convenience, but more is along with the exploration unceasingly thorough, in each thing deduction radiation, the viewpoint more and more is not being all unified, even sometimes own also can deny oneself; Except that this intensifies this condition is, even if most average people all may in these predecessor achievement foundation, propose own viewpoint and the view on a grand scale, therefore once literary reference "hundred school of thought contended", completely is not already suitable, current might say was "everybody contends", therefore in order to indicate the viewpoint and the view which oneself was connected, only then had following section of long elaboration writing ......

有了这些，不仅仅是惊叹信息化的便捷，而更多的是随着探索的不断深入，每一件事物的推论都在发散中，观点越来越不统一，甚至有时自己也会否定自己；除此更加剧这一状况的是，即使一个最普通人都可以在这些前人成就的基础上，大张旗鼓地提出自己的观点与看法，所以曾经的典故&百家争鸣&，已经完全不适用了，当前可以说是&人人争鸣&，于是为了表述自己相关的观点与看法，才有了以下一段长长的论述文字

3 Signed commercial invoice in quadruplicate showing a deduction of USD141.00 being ORC charges.

该条款要求签署的商业发票一式四份，并在商业发票上显示扣除141美元的 ORC 费用。

Secondly from the horizontal reality, it anatomies representative cases of IUR in home and at abroad, classifies the models into three kinds using deduction, that is technological cooperation model, contract cooperation model and unification model, studies the characteristics, merits and drawbacks, application areas of the models of cooperation using comparison.

接着从现实的横断面上剖析国内外一批产学研合作成功的典型案例，用归纳法把产学研合作分为技术协作型、契约合作型、一体化型三种模式，用比较法对各种合作模式的特征、优缺点、适用范围进行研究。

This article holds that the four drives, whether the positive exploration or the passive deduction, are hearted demand for Zhou Zuoren. His unique way of performance of children literature creation practice isclosely related with the contradiction and bulldozes of the four factors.

本文认为，在四种驱动力之中，无论是积极的探索，或者消极的推衍，对于周作人来说，都是发自内心、源自内心的需求；周作人儿童文学实践独特的表现方式与这四种因素之间的矛盾、推压密切相关。

Tuition fee actually paid after deduction of any scholarships, grants, bursaries, remission or reduction of fees.

除去领得的任何奖助学金或减免学费后所付的学费。

Traffic state contains unimpeded traffic, crowding traffic and congesting traffic. The classification of traffic state is on the base of parameters from video: vehicle speed, occupancy and the grade of traffic state which up to sugeno fuzzy deduction.

交通状态即道路的拥挤状态，分为：顺畅，拥挤，拥堵；交通状态的分类是利用视频提取的交通流参数：车速和占有率，经过sugeno型模糊推理获得交通状态的级别。

Simulation as a way of doing science can be contrasted with the two standard methods of induction and deduction.

本文的研究方法是理论研究与实证相结合的方法。

The studies on the developing of new media are very important to the increasing of the area density of HDD and to the implementation of hybrid recoding technology.

光磁混合记录方法，是一种可以突破超顺磁极限的限制，并进一步提高硬盘记录密度和读写速率的一种新型超高密度信息存储方式。

In io, mTOR inhibition promotes T cell anergy under conditions that would normally induce priming.

体内研究中，在正常可激发免疫反应的条件下，抑制mTOR可促使T细胞无能。