应用函数

In this paper, the method of Lyapunov function is used to discuss the stability of the solution of a kind of third order quasilinear differential equation with two nonlinear terms.

应用Lyapunov函数方法讨论一类含两个非线性项的三阶拟线性微分方程解的稳定性，得到了此类方程解的稳定性的若干新结果，同时推广了作者已有的结果。

Based on the idea of type systems, this paper reengineers a new set of type expressions and a type system for machine code of Intel/x86s infrastructure Although machine language program is a binary untyped code, types of its registers and memory exist implicitly in semantics of instructions The type inferring algorithm built on type systems can statically infer safety of the machine code The machine language discussed includes some of important characters, such as jumps, function call, return, and so on, and shows that the approach can be applied to type checking for low level code of other infrastructures

根据类型系统思想，为Intel/x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统机器语言代码虽然是一种无类型的二进制编码，但其类型信息被隐含在指令的操作语义中，利用建立在类型系统基础之上的类型推理算法可以静态地推理机器代码的安全性由于所讨论的机器语言包含了跳转、函数调用和返回等主要指令，因此，这种静态检查方法可广泛应用于其他体系结构的低级语言代码的检查中

The calculations for a typical three\|layer wall are conducted to obtain the dynamic dist...

利用该方法对典型的三层墙体层与层界面处相对湿度在24小时内的变化进行了计算，计算结果与文[6]的传递函数求解方法符合很好，可推广应用到对二维和三维耦合传热传湿问题的求解。

To analyzing the relativity between venipuncture velocity blood collection with Vacuette and venipuncture of difficulty above using CORREL.

用秒表测量509例次真空采血从进针到插入真空管见到回血的时间并记录，评价静脉穿刺难度，应用CORREL工作表函数相关系数对真空采血器静脉采血穿刺时间和穿刺难度进行相关性分析。

The foundation of this method is the signature theme of flaw functions in the form of binary instruction flow.

该方法通过静态分析应用程序的可执行代码，建立进程运行过程中可能的函数调用序列集合。

The image quality is evaluated by the Modulation Transform Function,and the scopes of scroll angle and pitch angle that can meet the requirements of the space camera image quality are determined.

应用调制传递函数作为图像质量的评价依据，确定了满足空间相机成像质量要求的侧摆角和前后摆角范围，分析了飞行器侧摆和前后摆对地面像元分辨力的影响。

Each optimizing method has its strong point. On the point of view of math, optimizing for motor design is a process for extremum point for a nonlinear, restricted recessive function. Genetic Algorithms G.A.

从数学角度上来说，电机的优化设计就是一组非线性、有约束条件的隐性函数求极值问题，目前比较成熟的优化方法主要有遗传算法、模拟退火法与Tabu法等，其中以遗传算法应用最为广泛。

In order to help for evaluating properties of soil in interaction more precisely, the paper applies elastic theory solution on different modulus in tension and compression for vertical load into semi-infinite elastic body. Through quoting Heaviside function, the solution of elasticity theory with different modulus in tension and compression is established founded on the solution of elasticity theory for the material incapable in tension and Mindlinsolution for equal modulus.

为使地基土在共同作用中的行为特征评价更为合理，本文应用了半空间问题竖向荷载下地基土的拉压模量不同弹性理论解，该理论解是通过引入Heaviside函数，利用不能承受拉应力材料的弹性理论解并结合拉压模量相等的经典Mindlin解而获得。

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.

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