The formal analyses may be classified into two categories: static analyses and dynamic analyses.
形式分析可以分为两类：静态分析和动态分析。
The cla ic compiler optimizatio, such as dead co de elimination, co tant folding, co tant propagation, elimination of partial redundancies, loop unrolling, etc. , are static analyses.
典型的编译器最优化，如死代码消除、常数合并、常数传送、部分冗余的消除、循环展开等等，是静态分析。
This assumption, though safe for various static analyses for compiler optimizations, could spell doom for an anti-virus technology by increasing the time and space costs of the analyses.
这个假定，虽然对编译器最优化使用的各种静态分析来说是安全的，但是由于增加了时间和空间的代价，会致反病毒技术于不利处境。
Chapter 3 is a static analyses, and we consider that the correlative system which is complementary in the system circumstance is the exterior factor that affects the corporate governance.
通过第三章的静态分析认为制度环境中起互补作用的相关制度是影响公司治理的外生因素。
There are different types of models and analyses within static analysis.
静态分析中的模型和分析有不同的类型。
As shown previously, dynamic, static and runtime analyses each have their pros and cons.
正如先前所显示的，动态的，静态的已经运行时分析每种都有它们自己的优点和缺点。
This paper analyses and studies the effect of residual stresses on static strength, stability, and fatigue strength of the steel members.
文章就钢构件中的残余应力对钢构件的静力强度、稳定性及疲劳性能的影响进行了分析和研究。
The paper focuses on the key and difficult technical problem of crest overflow of concrete face rockfill dam, analyses and researches spillway on dynamical and static stability.
本文针对溢流混凝土面板堆石坝坝顶溢流的关键技术难题，分析研究了溢洪道的静力和动力稳定性。
The static and dynamic response analyses on wind excitation of the windbreak structure around the coal store yard of Qinhuangdao Port are conducted.
采用有限元方法对秦皇岛港煤堆场防风网结构在风荷载作用下的静、动力响应进行分析。
Then the paper inspects on China's securities company competitive status by the points of static and dynamic, and deeply analyses the reasons why our securities company competitiveness is so weakly.
接着从静态角度和动态角度分别考察我国证券公司竞争力现状，并就着重我国证券公司竞争力不足的原因进行深入的剖析。
Analyses of the impact of different load characteristics on static voltage stability with the V-P-and-V-Q curves of power system loads.
应用电力系统负荷的电压-功率特性曲线，分析了不同负荷的负荷特性对静态电压稳定性的影响。
The paper processed kinematics simulations and lower-control arms force solutions to the front Macpherson suspension, then did static finite element analyses and modal analyses.
本文对某微型车的前麦弗逊式悬架进行了运动学仿真分析和横摆臂受力求解，再对横摆臂进行了静态和模态的有限元分析。
Static and dynamic analyses were made for the virtual-axial worktable.
对虚拟轴工作台并联机构做了静力分析和动力分析。
Linear static behaviors of the floating-roof tanks under harmonic settlement are studied systematically by finite element analyses.
通过有限元分析，系统研究了谐波沉降下浮顶罐结构的线性静力性能。
This paper analyses the static problem of the simply-supported beam with DQ method in case when the axial force cannot be neglected.
采用DQ法分析了轴力影响不可忽略时简支梁的静力问题。
The paper also calculates and analyses the static steering torque and its characteristics for articulated loader with single driving axis or duble driving axes.
从动力学观点分析计算双桥驱动及单桥驱动的铰接式装载机静态转向力矩和特点。
Reaserch the relations between at luffing course of horizontal movement and jib system organization's static stressing, as well as to improve the analyses means of design software of these same crane.
探寻物品在变幅过程中水平移动与臂架系统结构静态受力之间的关系，研究臂架自重平衡系统的设计与臂架系统动力响应之间的关系以及对改善该类门机的设计软件的分析手段。
This paper analyses the issue from the static and dynamic points.
本文从静态总量和动态增长两个角度，分析了这一问题。
In this article, the author analyses on the static state algorithm (including default route algorithm) and the basic dynamic route algorithm in the network layer.
本文就路由选择算法中的默认路由(含静态路由)和两种简单的动态路由算法作一简单分析。
The paper analyses the convertibility of state-owned shares from the two perspectives of static game and dynamic game theory.
本文从完全信息静态博弈和完全信息动态博弈的角度，对国有股减持问题进行了分析。
In this paper static and dynamic analyses on the efficiency for removal of organic matter are made through four groups of absorption experiments with preparing coated media.
对四种不同的改性滤料去除水中有机物的效果进行了静态和动态吸附对比试验。
It is proved through analyses of the test data in various loading ways that submerged loading is apparently advanced in the way of lessening oil losses and of static electricity.
通过对各种装车方式测试数据的分析，证明了液下装车在降低装油损耗和静电方面的突出优点。
Through analyses of found problems in traditional static correction used in complicated areas, put forward a refraction wave vertical dissection method to carry out the statics.
通过分析在复杂地区使用常规静校正处理方法所暴露的问题，提出采用折射波垂直剖分法对地震资料进行静校正。
This paper concisely analyses the mechanism of electrical erosion of ADSS optical cable, puts forward the conditions and measures to control electrical erosion under both static and dynamic concepts.
简要分析了ADSS光缆电腐蚀故障的机理，提出了用静态和动态的概念来控制电腐蚀的条件及措施。
From a semiotic perspective, this paper analyses the static and dynamic structures of mood in Chinese classical poetry and interprets its fixed national nature.
本文从符号学的角度切入，分析了中国古典诗歌意境生成的静态结构和动态结构。并对其中“象”的质的规定性进行了阐释。
Two anti-static blankets are introduced in the text with discussions and analyses of two different knitting methods of electricity conductive fiber at blanket back cloth.
介绍了两种抗静电毛毯，并对导电纤维在毛毯底布的两种编织工艺进行分析探讨。
The experimental modal analyses have been done under static condition and high-speed rotating condition for a given thin cylindrical shell by using shock vibration excitation method.
对一圆柱薄壳在静止状态和高速旋转状态下进行了模态试验。
The static method does not need executive program, but analyses the source code and find out the potential faults.
静态方法不需要执行程序，而是对源代码进行分析，从而找出潜在的故障。
A new compression scheme of interferential multispectral images is proposed based on the analyses of large aperture static imaging spectrometry.
从图像压缩的角度分析了大孔径静态干涉成像光谱仪成像原理，并提出了一种新的遥感多光谱图像压缩方案。
A new compression scheme of interferential multispectral images is proposed based on the analyses of large aperture static imaging spectrometry.
从图像压缩的角度分析了大孔径静态干涉成像光谱仪成像原理，并提出了一种新的遥感多光谱图像压缩方案。
应用推荐