意向性治疗分析则使用线性回归及逻辑回归分析模型。
Intention-to-treat analysis was performed with the use of linear regression and logistic-regression models.
在介绍了相关理论知识后,使用当前较为流行的模型验证工具SPIN给出一个实例,提出了利用该工具针对系统的线性时序逻辑性质进行变异分析的方法。
This paper introduces the relevant theory, then uses the popular model checker tool SPIN and gives an example which analyzes the use of the tool against the logic properties of LTL in a …
对一阶拟线性偏微分方程与其特征方程组的关系,文中给出了简洁的逻辑分析和推导方法。
The paper has used concise methods of logical analysis and reasoning to describe the relation between the first-order quasilinear partial differential equation and its system of characteristic...
应用推荐