查询词典 method of deduction

Through the review and analysis, it tries to prove that a successful theory is merely logical deduction and concretion of an analyzing method.

本文目的在于通过这种回顾和分析，说明一种成功的理论，只是分析方法的逻辑推演和具体化。

Based on the two normal forms, the decidability theorem in L is then proved and a deduction-based decision algorithm P is designed. The time complexity O(n3) of P is much less than the complexity O(2n) of the true value table method and the complexity O(n5) of HAL based on the tactic scheme.

首先定义了消解复杂性的两种范式：最简范式和文字范式，在此基础上采用演绎方法证明了L中的可判定性定理，并设计了命题公式的演绎判定算法P。P的时间复杂度为O(n^3)，远远小于基于真值表法的O(2^n)和基于策略方案HAL的O(n^5)。

An important part of this paper is dedicated to the analysis and deduction of modulation and control method proposed.

对给出的控制策略进行了详细的理论分析与推导。

It is part of the method of explanation by way of reduction, or deduction from hypotheses.

这是从假说出发通过回归或演绎来进行解释的方法的一部分。

Theoretical deduction and simulation results show that it is effective to analyze fast frequency-hopping signal using this method.

理论推导和仿真结果表明该方法能够有效地分析随时间快速跳变的跳频信号。

To accelerate the widespread of Synchronous Chip Seal and improve the operation quality of Synchronous Chipsealer, key techniques which influence the operation quality is studied detailedly, including the control of distributing quality, the dynamics characteristics of hydraulic system and the spray characteristics of asphalt nozzle of Synchronous Chipsealer.1 The factors which influence Synchronous Chip Seal quality are studied. Fiducial probability of simultaneous distribution density is advised to be used in evaluating the distribution bias and standard deviation of asphalt and aggregates simultaneously, which is more advanced than the single index evaluation method used before.2 The volume efficiency formula of asphalt pump is revised after analyzing the data of volume efficiency with mathematical statistics, which is helpful to match the asphalt spray system and control the flow out of asphalt pump accurately. With equation deduction and experiment, dynamic of hydraulic system used in Synchronous Chipsealer is studied, which lay the theory foundation on improving the stability and efficiency from design and controlling.4 Simulation on hydraulic system used in Synchronous Chipsealer is done with AMESim; the results indicate that multi-circle parallel connected hydraulic system with constant pressure power is better than that with load-sensing pressure power at present, because the latter will oscillate when the multi circles work at the same time. This conclusion has been proved during the debug of Synchronous Chipsealer.5 Asphalt nozzle characteristics, such as flat jet shape, flow distribution, are studied with experiment, the results indicate that cross quality of asphalt distributing is not increased linearly follow the increase of fan overlap level, the best point usually exists between two whole overlap level, asphalt distributing quality is better than±4% at the 2.5 overlap level, meets the superior specified in standard; The distribution quality of Synchronous Chipsealer can be increased by spray asphalt of different flow rang with nozzle of different diameter

为了加快同步碎石封层技术的推广，提高同步碎石封层设备的作业质量，本文对同步碎石封层设备作业质量的影响因素与控制方法、液压系统的动力学特性和沥青喷嘴的喷洒特性等关键技术进行了深入细致的研究：1研究了影响同步碎石封层作业质量的因素，提出了采用联合密度分布置信概率对同步碎石封层中沥青洒布量和碎石撒布量的系统偏差和标准差指标进行综合评价的方法，克服了传统评价方法只能对单一指标进行评价的缺陷；2采用数理统计的方法，研究了沥青泵的容积效率特性，修正了沥青泵容积效率公式，为沥青喷洒系统的匹配和沥青泵出口流量的精确控制提供了依据；采用数理方程推导与试验相结合的方法，研究了同步碎石封层设备液压系统的动力学特性，为从设计和控制的角度提高同步碎石封层设备液压系统的稳定性和效率奠定了理论基础；3运用AMESim软件对采用负载敏感控制和恒压控制的两种同步碎石封层设备液压系统进行仿真，结果表明：负载敏感控制的并联液压系统在多回路同时工作时，由于液压泵排量控制参考压力不稳定，容易引发液压系统振荡，恒压控制的并联液压系统是目前技术条件下比较理想的同步碎石封层设备工作装置驱动方案；该结论亦通过同步碎石封层设备装机试验得到了验证。4采用试验的方法对沥青喷嘴的喷洒特性进行了研究，结果表明：沥青洒布的横向精度并不是随着喷洒扇面重叠度的增加线性增加，其最高点通常出现在二个重叠度之间的"半重叠位置"，"2.5重叠"洒布时，沥青的横向洒布精度≤±4%，可以达到国家相关标准中的优级标准；同步碎石封层设备还可以根据不同洒布量情况下的流量需求，采用不同通径的喷嘴进行喷洒，提高沥青洒布精度。

According to logistic properties of the modern statistic de duction, a optimized deduction method of distribution laws is suggested.

根据现代统计推断方法的逻辑结构，提出了合理的分布推演应当遵循的优化途径。

This paper mainly consists of three parts:(1) Based on the Reddy's higher-order shear deformation plate theory and general von Kármán-type equations, put forward the governing equations of pre- and post-buckled vibration of several hybrid FGM plate forms which have not been studied adequately, triumphantly applying the perturbation technique combined with Galerkin method into equations solving, and get the comparatively simple result forms with complicated deduction at last;(2) As a new type of materials, piezoelectric fiber reinforced composite actuators were applied to optimal vibration control, interrelated informatons be depicted in this paper;(3) During the investigative cource, some factors not been considered adequently in other researches were discussed fully in the postbuckled vibration analysis, such as the temperature-dependent material coefficients, heat conduction and nonlinear vibration characteristic etc.

本文的研究工作主要包括：(1)基于Reddy高阶剪切变形板理论和广义Kármán型方程，给出了几类现有研究成果较少或没有彻底解决的FGM混合板结构的屈曲前和屈曲后振动特性研究的控制方程，成功将摄动-Galerkin混合法应用于求解过程，并给出了各控制方程相对直观且易于计算的解析解形式；(2)单向压电纤维增强复合材料(Piezoelectric Fiber Reinforced Composite，简称PFRC)是一种新型压电材料，本文将其应用到了结构振动控制研究当中，发现通过压电纤维体积含量的选择可以实现混合板结构的优化振动控制；(3)围绕几种有代表性的FGM混合板结构，讨论其屈曲后的振动特性，在分析中同时考虑热传导，材料物性参数的温度相关性，以及机/热/电荷载耦合效应对非线性振动特性的影响，最后给出了大量数值计算结果。

To provide theory foundation for inverted deduction work, numerical simulation for propagating in highway-surface with exceptional block and inanition and crack has been performed. The numerical simulation results show that the BEM is an effective method for the elastic-waves propagating in highway-surface concrete medium.

利用边界元法能够很好的描述弹性波在砼介质中传播的特性，正演模拟异常石块、脱空和裂缝对波的传播的影响，为进一步的反演工作提供理论依据。

Based on the former work, the intergranular fracture is analysed with with the method of combination of deduction and induction.

本文根据目前材料设计的现状，在利用计算机专家系统技术进行材料微观结构设计及性能预测方面，进行了一些探索性和开创性的工作，在IBM PC系列机上实现了合金韧化与韧性预测专家系统的初步原型，首次将计算机专家系统技术引入到合金的晶界微化学设计和合金的韧性预测。

The dissecting of samples in group2 were difficult. The root of pulmonary artery and ascending aorta failed to be unfolded because fibrous tissue was tough, right and left fibrous trigone were too firm to be solved by hand. Cardiac muscle fibers couldn't be stripped along myofibrillar trajectory since they were prone to break because of their friability.

组2的心脏解剖困难，表现为纤维组织坚韧，游离肺动脉非常困难；徒手无法松解左、右纤维三角，肺动脉和主动脉根部的游离非常困难；心肌纤维坚硬、质脆，解剖时容易断离成碎块，无法沿纤维走行方向剥离。

We have battled against the odds in a province that has become increasingly violent.

我们对在一个争夺日益激烈省的可能性。