查询词典 derives

It derives from the induction-based model checking algorithm, and merges the checking processes of base condition and induction condition using our simplified unsatisfiable core extraction in SAT problem.

提出一种改进的基于时间帧展开的时序电路等价验证算法，其来源于模型检查中的基于数学归纳的验证算法，在使用并简化了SAT问题中不可满足子集提取过程后，将基本条件检查和归纳检查合并处理。

The dissertation introduces the computation method of primitive parameter matrixes of transmission line and derives the equivalent admittance model of untransposed line.

本文介绍了输电线路基本参数矩阵的计算方法，并推导了不换位线路的等效导纳模型。

Vernonia oil which derives from Vernonia Branch contains vernonia acid that is its main fatty acid is well-known in the field.

得自斑鸠菊科的斑鸠菊科油包含作为其主要脂肪酸的斑鸠菊酸为本领域所熟知。

The present paper derives rigorously an equation of state by use of virial theorem at 0°K.

本文运用位力定理严格地给出了材料的冷压状态方程。

Ii" derives from "yoi," and its conjugation is mostly based on "yoi.

它来自于&よい&，并且它的变形大多以&よい&为基础。

Xu Ting is very clear when taking money its are not had overdraw functional bank has more than yuan 170 only on card, the input when he takes a money for the first time takes an instruction 1000 yuan pure belong to innocently, after be being buckled 1 yuan, his much 999 yuan are belonged to civil those who go up is undeserved benefit; But, he knows perfectly well these 999 yuan not only later is not he deserved belongings will still its glom on to, and the identifying that uses an ATM is wrong, occupy promising purpose to be inputted intentionally 170 times continuously again with ill will exceed its the instruction ill will of amount of real bank savings takes a money, its behavior is belonged to trade by the contract the crime that behavior derives, accord with " criminal law " the 224th of the 5th regulation " it is a purpose with detinue, in sign, in fulfilling contract process, with property of the opposing party of other method diddle " of contract crime of fraud make important document.

许霆在取钱时很清楚其不具备透支功能的银行卡上只有170余元，他第一次取款时输入1000元取款指令纯属无意，被扣1元后，他多得的999元属于民事上的不当得利；但是，之后他不仅明知该999元不是自己应得财产仍将其据为己有，而且利用柜员机的识别错误，以恶意占有为目的又连续170次故意输入超出其实际存款数额的指令恶意取款，其行为属于由合同交易行为衍生出的刑事犯罪，符合《刑法》第224条第5项规定的&以非法占有为目的，在签订、履行合同过程中，以其他方法骗取对方当事人财物的&合同诈骗罪的构成要件。

Transcendentalism is using a methodology of backdating, to any idea of experience, man should return to the premise which the idea derives from.

先验主义的方法则是一种回溯的方法，对于经验中的任何观念，人们都要回溯到产生那些观念的前提。

Questionnaires regarding characteristics of opening gambling to certain people, changes in crime percentage after establishments of casino, subjects and objects of criminalities, allocations of police resources and budgets, extent of impacts on social customs, selection of casino's locations, values of such establishments, difficulties between finance and crime, and trend of local public opinions were sent out to the above-respondents people. As a result, one is able to explore out the relative conditions of establishing casino in Taiwan, and clarify connections between casinos and crime. Not only does this paper put forward conclusions of the research,but it also derives recommendations for those organizations concerned in this issue.

本研究乃以问卷调查的方式，并以一般民众、警察人员及学者专家为调查对象，针对开放赌博对象的特性、设置后之犯罪率变化、犯罪行为的主客体、警力与预算配置、社会风气影响程度、设置区位选择、设置之价值、财政与犯罪之两难及当地民意趋向等为研究变项进行调查，从而了解台湾地区设置观光赌场的相关条件，并说明开放设置观光赌场与犯罪之关联性，据以提出研究结论与相关建议供有关单位参考。

It is from this it derives its power as a way of understanding the world.

它是这么来的--它源于它的权力并作为理解这个世界的一种方式。

The first is that it derives from the stage .

一种说法是它是由舞台产生的。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。