首先，我们构造以目的和背景知识为双条件的条件句系统akc，给出它的一些证明论结果。
Firstly, we construct the conditional system AKC with double conditions for aim and background knowledge, give some results of its proof theory.
合成碱绿色4的最佳条件包括：尿素和氯化锌作为催化剂，四氢呋喃和双色。
The optimal conditions for synthesis of alkali green 4 include the carbamide and zinc chloride as catalyst, chloranil and bichrome.
一般而言，在满足上述条件的情况下，双色光可以形成双色光亮孤子、双色光暗孤子、一亮一暗孤子。
Generally, under these conditions we can form bright bright, dark dark and bright dark polychromatic light photovoltaic spatial solitons in the crystal.
双万向轴的优化数学模型必须满足强度、刚度、振动条件、稳定性及边界条件的约束。
The optimal mathematical model of the double universal spindle must satisfy the constraints of strength, rigidity, vibration condition, stability and boundary condition.
本文对双极性微波功率晶体管(以下简称微波功率晶体管)求解了稳态工作条件下的三维热传导方程。
The three-dimensional heat conduction equation for steady state operating conditions of bipolar microwave power transistors has been solved.
在网络中使用理想变压器元件等效双轴电介质与各向同性介质分界面处的场匹配条件。
The ideal transformers in a network equate mode match condition of the interface between the isotropic and biaxial medium.
建筑师决定采用双坡屋顶，这是一种常见的适合热带气候条件的基本建筑形式。
The architect chose to design with gable roof which is the common use of basic house structure suited with the tropical climates.
即使初始条件十分光滑，双曲守恒律方程的解也可能出现间断。
The solutions of the Hyperbolic conservation laws might develop discontinuity even if the initial conditions are very smooth.
应用光波的电磁场理论严格地推导了当入射光满足“临界反射”或“双正交反射”条件时，光的偏振态在反射过程不会发生改变。
With electromagnetic theory of light, We found that the polarization of the light kept the same when the reflection of incident light satisfied critical reflection or dual-quadrature reflection.
并讨论了双公用齿轮机构优化设计的目标函数和约束条件。
Then in this paper the object functions -and restrained conditions for optimum design are discussed.
探讨了双环戊二烯改性不饱和聚酯树脂的各种影响因素及其合成的主要工艺条件。
The various influencing factors and main synthesis processes of dicyclopentadiene modified unsaturated polyester resin are investigated.
三光气作为剧毒的光气和双光气在合成中的替代物，不但毒性低，使用安全方便，而且反应条件温和、选择性好、收率高。
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.
另外用代数多项式和双正弦级数组成的解来满足角点条件。
Moreover, the solution composed by algebraic polynomial with double sine series is used to satisfy the corner conditions.
在自锁模钛宝石激光器中，除可形成传统的单脉冲外，在适当的条件下，还可产生双脉冲。
Besides the conventional single pulse train generation, the ti: sapphire laser system sometimes produces two or even more pulses should proper conditions be satisfied.
探讨了在双通路立体声条件下的双耳掩蔽效应。
The binaural masking effect under stereophonic condition is mainly studied in this paper.
并且通过把该交叉规划转化为特殊的凸二次双水平规划，给出这类交叉规划的最优性条件和求解算法。
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.
本文的分析建立在经典薄壳理论以及双矩弱作用屈服条件的基础上。
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.
本文以双馈式电机转子磁场走向为控制的约束条件，建立了双异步变速恒压恒频发电机的矢量控制模型。
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 condition of adsorbing gelatine by dialdehyde cellulose was investigated, and the adsorption product was analyzed with FT-IR spectrometry and thermogravimetry.
然后，再将非退化二阶曲线到自身的双射为对合的充要条件推广到退化二阶曲线两相异点列的情形。
Then, the latter necessary and sufficient condition is generalized to the case for the two different point ranges of degenerate second order curve.
研究了一类边界条件下中立型脉冲双曲方程解的振动性，得到了每个非零解振动的若干充分条件。
In this paper, the oscillation properties of solutions under a kind of boundary conditions for impulsive hyperbolic differential equation of neutral type are studied.
介绍了采用三端口阻抗条件设计双栅FET混频器的方法。
A design method of DGFET mixer with three-port impedance condition is also described.
“双网格”方法和相应的算法为非均匀边界条件控制下河道演变的数值模拟提供了保证。
The dual grid method can provide a useful tool for numerically simulating the fluvial processes with non-uniform boundary conditions.
实验模拟结果和实际情况接近，为双掺高性能混凝土在氯侵蚀条件下的应用提供了理论与实践依据。
The simulation results are near to natural ones, and provide the theories and practice basis for the application of HPC under chloride induced corrosion circumstance.
以四端网络的端口特性为依据，提出了双口网络的补充方程。应用该方程得出了双口网络联接的有效性条件。
The extended equations of two-port network are given on the basis of the four-terminal characteristic. The effective conditions of two-port network connection are presented.
得到了单裂纹条件下的理论解及其与规则排列的双裂纹实验结果高度吻合的计算结构。
The calculation results for the theoretical solution of the single crack are coincident with the experiment ones for double cracks arranged regularly.
讨论均匀磁场中三维各向同性带电谐振子的双波函数描述，得到量子和经典极限条件下的结果。
Double wave function quantum theory is applied to describe the motion of three dimension isotropy charged harmonic oscillator in a uniform magnetic field.
详细研究了各种制备因素对磷氨双变性淀粉性能的影响，找出了最佳工艺条件，确定了原料配方。
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.
本文分析了直流电机双闭路双叠绕组的结构、对称条件和均压连接线。
Construction, symmetry conditions and equalizer connections of a multiplex double-closed lap winding of the D. C. motor are analyzed in this paper.
从双代数的定义入手，给出了双代数成为交换和余交换双代数的两个充分条件。
We study the definition of bialgebra and prove the sufficient conditions about a bialgebra is commutative and cocommutative.
应用推荐