查询词典 extended

Toyota, the maker of the Highlander sport-utility vehicle I own, says about 38% of its customers buy extended warranties.

我开的车是丰田公司生产运动型多用途车汉兰达。该公司说约38%的客户都办理了延长保修。

Dahlquist,Butcher,Burrage and Frank et.al.established early or late B-theory of Runge-Kutta methodsfor stiff problems in Euclidean space with finite dimensions.Afterward,Shoufu Li et.al.extended this theory to general linear methods and stiff problems in Hilbert space andfurther established B-theory of general multivalue methods in Banach space.

Dahlquist、Butcher、Burrage及Frank等人先后建立了有限维空间中刚性问题Runge-Kutta方法的B-理论；李寿佛等人将该理论推广到一般多值方法和Hilbert空间中的刚性问题，进而建立了Banach空间中刚性问题一般多值方法的B-理论。

Japanese created hiragana and katakana based on Chinese characters, and even introduced some Chinese characters, and extended some of the meanings during using.

对部分汉字在使用的过程中又使其意义有了进一步的延伸和扩展。"気"是一个日本人爱用的、使用频率及高的词，多用于表达人的生命、精神及意志等。

Using the extended Hoare calculus we can derive true Hoare formulas which contain while statements free of loop invariants.

使用这个抽象机器，可以在其上进行许多带位操作指令的程序，特别是系统级代码的Hoare逻辑风格推理。

After that, the article expounds how the social labor value theory overcomes the theoretical hard nuts in the financial accountings:(1) it has solved the issue of conformity between the production domain and accounting domain by holding that the social labor creates the value, which decides that the domains of production and accounting should be extended to cover the tertiary industry;(2) it has solved the issue of the valuation standards in the economic accounting by holding that the theoretical value should be converted into the actual value and that only when the price of production is used as the valuation standards can the financial accounting and economic accounting have a true valuation basis;(3) it has solved the issue of creation and distribution of surplus value and explicitly points out that the power of science and technology determines that the surplus value comes mainly from the materialized labor. Only when we have a clear understanding of this point and have realized that the value of product is created jointly by the materialized labor and the laborer can we straighten out the relationship in the distribution of earning inside the enterprise and understand that the distribution on the basis of contributed capital is a reasonable choice at present.

其次，着重阐述了社会劳动价值论如何解决经济核算中的理论难题：一是解决了生产范围与核算范围的统一问题，认为社会劳动创造价值，决定了生产范围与核算范围都必须扩大到第三产业；二是解决了经济核算的计价标准问题，认为必须从理论价值转化为实际价值，用生产价格作为计价标准，才能使会计核算和经济核算真正具有计价基础；三是解决了剩余价值的创造与分配问题，并明确指出，科技的力量决定了剩余价值主要来自于物化劳动，只有认清这点，承认企业的产品价值是物、活劳动共同创造的，才能真正理顺企业的利益分配关系，才能理解按资分配是现实合理的选择。

By using homeomorphism method and the extended inverse function theorem,the existence and uniqueness of the solution for the semi-linear pseudoparabolic equations is obtained.

首先在Hilbert空间中建立了强制不等式，利用同胚方法和抽象的反函数定理，得到了半线性伪抛物方程初边值问题解的存在性和惟一性定理。

Such worst case scenario would also likely result in a break-down of organized social systems and modern services for an extended period, and thereby require that one pre-establish the knowledge and tools which are necessary to be an "independent homesteader".

这种最糟糕的情景也可能在相当长时期内导致有组织的社会系统和现代的服务设施崩溃，因而要求个人预先储备知识和工具，这些是成为一名"独立的农场所有人"所必须的条件。

The contact model was extended to layered media by modifying the constitutive equation of the homogeneous medium to include the effects of the mechanical properties of the layer and substrate materials and the layer thickness.

The联络模型延伸到层状媒介通过修改结构性等式 of包括的机械性能的作用的同类的媒介layer和基体材料和层数厚度。

By means of Taylor's formulas and the extended homogeneous capacity method, the nonlinear equation is transferred into a linear homogeneous equation within an integral segment, which can be solved conveniently by the high precision integration method.

首先，借助Taylor级数展开，在一个积分步长内将非线性方程转化为线性非齐次方程，然后利用齐次扩容方法，进一步将其化为线性齐次方程组，便于用精细积分算法求解。

SPNAnalyzer software system has a very friendly man-machine interaction interface, so the visualized modeling of stochastic Petri net is very intuitional and convenient. The response and handling of the Windows messages is extended to the graph tool module, so it is very easy to maintain. The class design of the element object module and the graph tool module guarantees the expansibility of the system. The crucial technologies including the reachability set algorithm of the stochastic Petri net model, the constitution of the homogeneous Markov chain, and the computation of the steady state probability are implemented. The design of the data structure adopts the linked list, so the execution of the algorithms is very efficient.

SPNAnalyzer软件系统具有非常友好的人机交互界面，使可视化的随机Petri网建模变得非常直观方便；将各种Windows消息的响应和处理延伸至图形工具模块，使系统的维护变得容易；元素对象模块和图形工具模块的类的设计使系统的可扩展性很好；实现了随机Petri网模型的可达集生成算法和同构马尔可夫链的构造及其稳定状态概率的求解等关键技术；数据结构的设计采用链表的形式，使各种算法都具有较高的执行效率。

I'm strongly against the death penalty — it's an eye for an eye.

我不赞成死刑——这是以牙还牙的报复行为。

And to get you the support you need, we're enlisting all elements of our national power: our diplomacy and development, our economic might and our moral suasion, so that you and the rest of our military do not bear the burden of our security alone.

并给你们所须的支援，我们正徵召国家所有各种的力量：我们的外交及发展，我们的经济力量与道德劝说，所以你们与其他军人不须要孤独地负起国家安全的责任。