Expression Reasoning in Automated Reasoning;
平面几何中复杂表[表达]式的自动推理
Application of Expression in the PLC Programme;
函数表[表达]式在PLC编程中的应用
Heat transfer study on water-cooled surface air coolers(6): Establishment of mathematical expression of apparatus dew point temperature;
水冷式表冷器传热研究(6):机器露点表[表达]式的建立
This article introduces the method of all parametric modeling of involute spur gear, only by commands which are driven by expressions in UG NX.
介绍了在UGNX环境下,完全通过受表[表达]式驱动的命令,实现渐开线直齿变位齿轮(简称变位齿轮)全参数化建模的方法,并创建了两种不同模式下受表[表达]式驱动的齿轮模型。
This article has discussed three expressions of the spacetime interval invariance in rectangular coordinate system,and analyzed their erroneous applications in dealing problems of classical spacetime quality and mechanics of relativity.
讨论了狭义相对论中时空间隔不变在直角坐标系中的三种表[表达]式,分析了应用间隔不变处理经典时空性质和相对论力学问题容易产生的误区,提出了正确的解决办法。
This paper discusses the expressions of solution of some differential equations with delay a nx (n) (t)+a n-1 x (n-1) (t)+…+a 0x(t)+b·x(t-μ)=f(t) where f(t)=t k+c k-1 t k-1 +…+c 1t+c 0 is a polynomial, and this paper intends to obtain general result than paper [1] .
x( t-μ) =f ( t)的解的一些表[表达]式 ,其中 f ( t)是 k次多项式 。
An es expression,in which the e (eclipsed) and s (staggered) is used,and along with McLarnan′s table for spacegroup distribution,to symbolize the constellation of the carbon atoms,is recommended to describe the stack sequence of diamond polytypes.
金刚石具有多种多型,利用乙烷构象分析方法,发现金刚石结构内存在交错式构象(s)和重叠式构象(e)两种构象单位,进而利用堆垛原理给出金刚石结构和金刚石多型结构的es表[表达]式,结合McLarnan的多型数目及其空间群分布表便捷地给定金刚石多型的空间群。
Discussing the giant magnetostrictive material in the longitudinal exciting magnetic field and introducing the Maxwell s equation to obtain the magnetic field distribution function in terms of Bessel function within the giant magnetostrictive material,the Kelvin expression of magnetic field in giant magnetostrictive material is given by the analytical method from Bessel function.
在对纵向激励磁场中超磁致伸缩材料进行分析的基础上,利用Maxwell's方程建立了用Bessel函数描述的超磁致伸缩材料内部磁场分布函数,由Bessel函数解析方法确立了超磁致伸缩材料内部磁场Kelvin表[表达]式。
The algorithm is based on the delay-load scheduling algorithm using fewer registers and running at a speed proportional to the size of the expression tree.
基于扩展的装入延时体系结构模型,提出了在代码生成过程中针对表[表达]式树的森林的局部寄存器分配和局部指令调度的集成算法。
A shear strength formula of Ningming unsaturated expansive soil is put forward as result of regressing the testing result.
并对试验结果进行了数值拟和,由此获得了宁明膨胀土非饱和抗剪强度表[表达]式。
Also, an expression formula for this analytical function is obtained.
考虑四阶方程（Δ２ｘ－ Δ２ｙ）ｕ＝ ０， 我们得到解的中量Ｍ（ｒ，ｓ）与Ｍ（ｓ，ｒ）的差是一解析函数， 并且得到了解析函数的表[表达]式， 作为推论， 得到了著名的Ａｓｇｅｉｒｓｓｏｎ 中量定理。
This thesis deduces the accurate expression formula on the getting up and shaking condition of bikini LC oscillator.
推导出三点式LC振荡器的起振条件的精确表[表达]式。