首先，我们构造以目的和背景知识为双条件的条件句系统akc，给出它的一些证明论结果。
Firstly, we construct the conditional system AKC with double conditions for aim and background knowledge, give some results of its proof theory.
并讨论了双公用齿轮机构优化设计的目标函数和约束条件。
Then in this paper the object functions -and restrained conditions for optimum design are discussed.
然后利用双三角级数构造满足层板分层区位移边界条件的位移模态。
Then, a trigonometric series is applied to describe the displacement mode satisfying the boundary conditions.
另外用代数多项式和双正弦级数组成的解来满足角点条件。
Moreover, the solution composed by algebraic polynomial with double sine series is used to satisfy the corner conditions.
探讨了在双通路立体声条件下的双耳掩蔽效应。
The binaural masking effect under stereophonic condition is mainly studied in this paper.
三光气作为剧毒的光气和双光气在合成中的替代物，不但毒性低，使用安全方便，而且反应条件温和、选择性好、收率高。
The triphosgene, being as the substitute for phosgene and diphosgene in synthesis, is not only low-toxic but also safe and convenient to use with mild conditions, good selectivity and high yields.
在自锁模钛宝石激光器中，除可形成传统的单脉冲外，在适当的条件下，还可产生双脉冲。
Besides the conventional single pulse train generation, the ti: sapphire laser system sometimes produces two or even more pulses should proper conditions be satisfied.
论文首先针对低压输入的条件，提出了一个分阶段双端切换供电的低压Boost系统方案。
To meet the low input voltage condition, a multi-period double-ended supplied low voltage BOOST system control scheme was proposed.
本文对双极性微波功率晶体管(以下简称微波功率晶体管)求解了稳态工作条件下的三维热传导方程。
The three-dimensional heat conduction equation for steady state operating conditions of bipolar microwave power transistors has been solved.
运用正交实验，确定了双酶法玉米酒精生产的液化和糖化工艺条件。
The technological conditions of liquefaction and saccharification for producing corn alcohol with two enzymes has been established via orthogonal experiments.
首先利用双平板模型、麦氏方程组和边界条件推导矩形波导铁氧体移相器的超越方程。
The transcendental equation for ferrite phase shifters in rectangular wave guide has been obtained by applying twin slab model, Maxwell equations and boundary conditions.
由粘胶和蚕蛹蛋白混纺而成的蚕蛹蛋白纤维，采用双活性基活性染料染色，对染色工艺条件作了重点试验。
The pupa protein fiber, a blended spun fiber with viscose and pupa protein, is dyed with double- group reactive dyes, and the dyeing conditions are tested emphatically.
诊断结果为双脉冲驱动薄膜靶高增益X 射线激光实验选择最佳的实验条件提供了实验依据。
The diagnostic results are the basis of selecting the optimum conditions for the gain experiment of the X-ray laser generated from foil-Ge target driven by double-laser pulse.
确定双内啮合渐开线行星齿轮减速器内齿轮副的设计参数，从制造到安装有许多限制条件。
To determine the internal gear pair design parameters of two-stage internal contact involute planet gear reducer all constrained conditions from machining to assembly must be satisfied.
本文结合工程实例，介绍后排非连续双排桩的设计方法、应用条件、应注意的问题。
Combining with an engineering example, the author presents the methods of double queue piles, appliance conditions and questions that should be paid attention to in design and construction.
并且通过把该交叉规划转化为特殊的凸二次双水平规划，给出这类交叉规划的最优性条件和求解算法。
Furthermore, it gives an optimum condition and a simple algorithm of the special interaction programming by changing it into a special convex quadratic bilevel programming.
本文分析了直流电机双闭路双叠绕组的结构、对称条件和均压连接线。
Construction, symmetry conditions and equalizer connections of a multiplex double-closed lap winding of the D. C. motor are analyzed in this paper.
本文以双馈式电机转子磁场走向为控制的约束条件，建立了双异步变速恒压恒频发电机的矢量控制模型。
Using field orientaion of rotor of doubly fed machine as confining condition, this thesis has established vector control model for double asynchronous VSCFCV generator.
根据装配条件推导了二自由度五杆机构的双曲柄存在的必要条件。
The necessary condition for the existence of double crank of five - bar linkage with two degree of freedoms is derived on the basis of assembling conditions.
该模型由描述系统振动的双曲型偏微分方程组及相应的边界条件和周期性条件组成。
This model consists the hyperbolic partial differential equations, boundary conditions and cyclical conditions of the system.
双万向轴的优化数学模型必须满足强度、刚度、振动条件、稳定性及边界条件的约束。
The optimal mathematical model of the double universal spindle must satisfy the constraints of strength, rigidity, vibration condition, stability and boundary condition.
本文的分析建立在经典薄壳理论以及双矩弱作用屈服条件的基础上。
The analyzing method in this paper is based on the classical theory of plates and shells and the two-moment limited-interaction yield condition was used as the yield criterion for materials.
本文研究一类拟线性双曲—抛物型方程具有非线性初边值条件的奇摄动问题。
This paper deals with the singularity perturbed problem of a class of quasilinear hyperbolic-parabolic type equations subject to nonlinear initial-boundary value conditions.
导出了基于双剪屈服准则的钢筋混凝土球扁壳的屈服条件，并利用此屈服条件求解出其极限荷载。
The yield conditions of axisymmetric circular plate and shallow spherical shell of reinforced concrete based on Twin shear stress yield criterion are presented in the paper.
从双代数的定义入手，给出了双代数成为交换和余交换双代数的两个充分条件。
We study the definition of bialgebra and prove the sufficient conditions about a bialgebra is commutative and cocommutative.
研究了一类边界条件下中立型脉冲双曲方程解的振动性，得到了每个非零解振动的若干充分条件。
In this paper, the oscillation properties of solutions under a kind of boundary conditions for impulsive hyperbolic differential equation of neutral type are studied.
即使初始条件十分光滑，双曲守恒律方程的解也可能出现间断。
The solutions of the Hyperbolic conservation laws might develop discontinuity even if the initial conditions are very smooth.
在网络中使用理想变压器元件等效双轴电介质与各向同性介质分界面处的场匹配条件。
The ideal transformers in a network equate mode match condition of the interface between the isotropic and biaxial medium.
介绍了采用三端口阻抗条件设计双栅FET混频器的方法。
A design method of DGFET mixer with three-port impedance condition is also described.
详细研究了各种制备因素对磷氨双变性淀粉性能的影响，找出了最佳工艺条件，确定了原料配方。
We have studied the influence of various kinds of reaction conditions on the property of anion starch, and determined the optimum technology as well as material composition.
应用推荐