线性检验

In this solution, to check the vacuity of the CTL formula, it is not necessary to substitute all of its sub-formulae by TRUE or FALSE, but instead, it is enough to substitute its atomic proposition, and thus the number of times for checking is linear with the number of atomic propositions.

该方法对CTL公式的空属性的探测不需要对它的所有子公式用TRUE 或FALSE替换，只需对原子命题替换，这样检验的次数与原子命题的个数呈线性关系。

The following results were obtained: 1. Several multi-pore materials were compared and a nylon membrane was choosed to conduct experiments. 2. Two devices and methods for controlling negative hydraulic heads were developed. Coupled with the devices, a system for precise control of soil moisture udring pot experiment was developed. 3. Two times of pot experiment studying wheat seedling growth under precise soil moisture control were conducted. Some very important results were obtained. 4. Capillary rise, horizontal and vertical infiltration under different nagative hydraulic heads were observed. The concepts of "critical wetting distance" and "wetting coefficient" were proposed. The linear relationship between wetting front movement distance and cumulative infiltration amount was confirmed. Spatial distribution model of soil moisture and its simple derivation method were established.

通过该项目支持，获得了以下的研究成果： 1、比较和检验了不同多孔材料，初步选定了用于水分控制的多孔膜材料； 2、完成了两种负水头控制方法与装置的研究，并制作了仪器，与负水头控制装置配套，制作了盆栽实验用水分精控盆； 3、进行了两期小麦苗期水分精确控制盆栽实验，获得了一系列重要结论； 4、进行了不同负水头下土壤的毛管上升、水平入渗、垂直入渗研究，提出了临界湿润厚度、湿润系数两个概念，确定了湿润锋与入渗量的线性关系、土壤含水量的空间分布模型，土壤含水量空间分布的简单推算方法。

Carried contaminating rate of PT was 0.2%, and its rate of APTT was 4.6%. The effect of hemolysis on the result was slight ( P＞0.05, by Student T test). Conclusion: CA-1500 automatic coagulometer shows relatively high accuracy.

结果：各指标线性试验，相关系数均在0.97以上，CV小于5％，携带污染率PT为0.2％，APTT为4.6％，溶血干扰试验结果经t检验发现无显著差异(P＞0.05)。

Peguin ＆ Terasvirta（1999） made a general extension based on the Taylor expansion, which was applied to the test of nonlinear causality, and they dealt with the problem of collinearity by means of drawing principal components.

Peguin和Terasvirta（1999）进行了基于泰勒展式的一般性扩展，应用于非线性因果关系检验，并采用提取主成分的方法解决其中的多重共线性问题。

In the fourth chapter, the testing of variance component in semiparametric generalized linear model is studied.

第四章系统研究了半参数广义线性模型的方差成分检验。

In the fifth chapter, the testing of variance component in semiparamtric generalized linear model for longitudinal data is studied.

第五章系统研究了基于纵向数据的半参数广义线性模型的方差成分检验。

This paper reviews the major methodological issues in cross-cultural research,covering topics in research design,measurement,and data analysis.From a design perspective,the paper begins with the use of consilience methods to strengthen causal inferences in cross-cultural research.Th...

作者首先从研究设计的角度分析如何通过汇聚方法加强检验跨文化研究的因果关系的能力，然后分析跨文化研究中测量对等性(measurement invariance/equivalence)问题以及相关的统计方法，最后简要介绍了多层线性模型在跨文化研究中的应用、并讨论跨文化研究方法的发展趋势。

We firstly look back thebirth of SD method,and then present the SD scheme presented by Johnson et.al.forlinear problem to explain the basic idea and implementation:At step 1,we change the testfunctionwhere(1,β)t is the streamline or character direction decidedby hyperbolic operator of the continuous problem,therefore the SD method belongs tothe Petrov-Galerkin method;At step 2,we adopt time-space finite element space,whoseelement is only continuous in space variables x but discontinuous in time variable t.

首先回顾了SD方法的产生过程，然后以线性问题为模型，描述了SD方法的基本思想和具体实现：第一步，将标准有限元方法的检验函数ν改成其中(1，β)t是连续问题的双曲算子部分所确定的流线方向。换言之，SD方法是一种Peterov-Galerkin有限元方法；第二步，采用时空有限元空间，其元素关于空间变量x是连续的，但关于时间变量t仅分段连续。

The trends were tested with the medians of the intake as a continuous variable in the logistic model.

线性趋势检验以钙，维生素D和奶制品四个剂量组的中位数作为连续变量，P值为双尾概率。

The complex correlativity coefficient of the models is 84%.

模型的复相关系数为84%，残差检验表明模型的线性假定成立。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。