1) annotate logic
线性归结
1.
In this paper we introduce a liner resolution method of annotate logic in a kind of paraconsistent logic system and discuss it, and then present several propositions.
引进了一套次协调逻辑系统──注解逻辑的线性归结方法后，在探讨的过程中提出了若干命题，并用一个推理实例表明在该系统中产生次协调性后，仍然可以进行正常的推理。
2) OL resolution
线性序归结
1.
Then the completeness of the method of OL resolution with multi-factor is obtained theoretically.
本文重新定义了有序子句的有序因子,证明了在这种有序因子定义下的提升引理,进而在理论上得到了多重取因子的线性序归结方法的完备性。
4) Linear Regression
线性回归
1.
Optimization of the extraction process of Suchangshi-ZhuyutangⅡ by orthogonal design and linear regression;
用多指标活动水平正交设计合并线性回归法对苏长史茱萸汤Ⅱ方提取工艺进行优选
2.
Application of a linear regression and iterative-exclusive method in 2D~1H MRS from Astrocytoma;
线性回归和叠代排除法在脑星形细胞瘤2D~1H MRS中的应用
3.
Application of multiple linear regression technology in hydrological information system;
多元线性回归技术在水文信息系统中的应用
5) linearity regression
线性回归
1.
Through the investigation of amounts and quality of main organic pollutants in the life pollution outlet of Jian Jiang basin, a series of equations were thus established based on the linearity regression analysis.
本文通过对鉴江流域生活排污口量质结合进行主要有机污染物之间关系线性回归分析,从而建立一系列的方程,得出各有机污染物两两之间的曲线关系,通过T检验法验证污染物间回归方程的相关性。
2.
In this paper,the linearity regression has been used to construct the model based on the data got from questionnaires,drivers static indexes(deepness aesthesia,attention centrality,attention assignment) and steering reaction time of drivers upon the driving stimulator,and also proved to the validity of the model through data check-up.
在调查问卷、驾驶员的三个主要静态指标(深度知觉、注意力集中能力、注意分配能力)的测量以及基于驾驶模拟器的驾驶员反应时间的测定基础上,利用线性回归对驾驶员的转向反应时间建模,并对模型的有效性进行了验证。
3.
Through linearity regression to the concentration curve of Fe,it gets rid of the influence of the concentration changing,and it ensures the current research of wear and failure.
通过对换油后Fe浓度曲线进行线性回归,在系统中排除了换油后的浓度变化的影响,从而为柴油机的磨损趋势和故障趋势的研究提供了保证。
6) linear regress
线性回归
1.
The Linear regress and Calculation of the Working Curve in the Photometry;
光度分析中工作曲线的线性回归及计算
2.
In this paper,a method of linear regress analysis is adopted to the indexes.
根据盘锦地区大量的粘土土工试验资料,对粘土的物理及力学指标进行了统计分析,得到了土性指标概率分布特征及参数,并对其变异系数进行了讨论,采用回归分析的方法对土的物理和力学性质指标进行了线性回归分析,探讨了各个指标之间的相互关系,结果可以作为区域性地基基础可靠性设计相关参数选取的依据。
3.
In this paper, a method of linear regress analysis is adopted to the indexes.
另外 ,采用回归分析的方法对土的物理和力学性质指标进行了线性回归分析 ,探讨了各个指标之间的相互关系 ,结果可以作为区域性地基基础可靠性设计相关参数选取的依据 ,并有益于土工试验工作量的合理选取以及提高试验结果的精确
补充资料：非归结定理证明
不用归结原理而用自然演绎技术与探试策略等相结合的一种机器定理证明技术。
为了提高归结证明过程的效率，曾提出各种改进方案。另一条途径是在定理的机器证明中不用归结原理而用历史上早已形成的自然推理或称自然演绎技术，但在其中引入问题所需的特定探试策略。这就是1977年W.W.布莱塞提出的所谓非归结定理证明的基本思想。作为这种思想的具体体现，曾研制出一个运用探试策略的新的自然演绎系统IMPLY。R.S.鲍耶和 J.S.莫尔的数学归纳法机械定理证明系统也是成功地运用探试策略的一个重要例子。
自然演绎系统由一组公理和一套推理规则组成，每条推理规则将若干恒真式映射为一个恒真式。如果存在一个恒真式系列，使得序列中每一恒真式或者是一公理，或者是一定理（即可从序列中位于其前的恒真式根据推理规则导出），则序列中最后一项恒真式称为在该推理系统中可导出（或可证明）。一阶逻辑的推理系统是完备的，也就是每一恒真式都可从该系统中导出。如果推理系统的公理和推理规则比较丰富，使得每一恒真式的导出过程都很自然，符合人的思维习惯，这样的推理系统称为自然推理系统或自然演绎系统。根据数理逻辑中著名的哥德尔定理，对于二阶逻辑不存在完备的演绎系统。采用不同的公理、推理规则，便可得到不同的自然演绎系统。著名的根岑系统便是20世纪30年代提出的典型的自然演绎系统。自然演绎系统的显著特点是在证题全过程中，始终维持前提和结论的明确界限。例如在下例的推理图式中，横线以上的H1、H2、H3是前提。
横线以下的C1，C2则是有待证明的结论。由H1，H2可推出C1（根据充分条件的假言推理原则），又根据H3和已推出的C1可推出C2。同样的例子如运用归结原理，其子句集可表示为
1
P
2 塡P∨Q
3 塡R∨-Q∨S
4 塡Q∨S
5 塡Q∨塡S
此时由于采用反证法，将结论的否定式并入子句集，不区分前提与结论，有关的推理信息便已丧失。自然演绎的优点是推理过程自然易懂，有利于发挥人机交互作用，便于引用探试策略。缺点是要用许多条复杂的推理规则。而运用归结原理，虽然推理过程不易控制，但只需要一条推理规则。因此，自然演绎与归结原理的优缺点是相比较而存在的，具有相对的意义，不能绝对化。
参考书目
W.W.Bledsoe，Non-resolution theorem Proving，Artificial Intelligence, North-Holl and Publ.Co., Amsterdam,1977.
Zohor Manna,Mathematical Theory of computation, McGraw-Hill,New York,1974.
R.S.Boyer and J.S.Moore, A Computational Logic, Academic Press,New York,1979.
为了提高归结证明过程的效率，曾提出各种改进方案。另一条途径是在定理的机器证明中不用归结原理而用历史上早已形成的自然推理或称自然演绎技术，但在其中引入问题所需的特定探试策略。这就是1977年W.W.布莱塞提出的所谓非归结定理证明的基本思想。作为这种思想的具体体现，曾研制出一个运用探试策略的新的自然演绎系统IMPLY。R.S.鲍耶和 J.S.莫尔的数学归纳法机械定理证明系统也是成功地运用探试策略的一个重要例子。
自然演绎系统由一组公理和一套推理规则组成，每条推理规则将若干恒真式映射为一个恒真式。如果存在一个恒真式系列，使得序列中每一恒真式或者是一公理，或者是一定理（即可从序列中位于其前的恒真式根据推理规则导出），则序列中最后一项恒真式称为在该推理系统中可导出（或可证明）。一阶逻辑的推理系统是完备的，也就是每一恒真式都可从该系统中导出。如果推理系统的公理和推理规则比较丰富，使得每一恒真式的导出过程都很自然，符合人的思维习惯，这样的推理系统称为自然推理系统或自然演绎系统。根据数理逻辑中著名的哥德尔定理，对于二阶逻辑不存在完备的演绎系统。采用不同的公理、推理规则，便可得到不同的自然演绎系统。著名的根岑系统便是20世纪30年代提出的典型的自然演绎系统。自然演绎系统的显著特点是在证题全过程中，始终维持前提和结论的明确界限。例如在下例的推理图式中，横线以上的H1、H2、H3是前提。
横线以下的C1，C2则是有待证明的结论。由H1，H2可推出C1（根据充分条件的假言推理原则），又根据H3和已推出的C1可推出C2。同样的例子如运用归结原理，其子句集可表示为
1
P
2 塡P∨Q
3 塡R∨-Q∨S
4 塡Q∨S
5 塡Q∨塡S
此时由于采用反证法，将结论的否定式并入子句集，不区分前提与结论，有关的推理信息便已丧失。自然演绎的优点是推理过程自然易懂，有利于发挥人机交互作用，便于引用探试策略。缺点是要用许多条复杂的推理规则。而运用归结原理，虽然推理过程不易控制，但只需要一条推理规则。因此，自然演绎与归结原理的优缺点是相比较而存在的，具有相对的意义，不能绝对化。
参考书目
W.W.Bledsoe，Non-resolution theorem Proving，Artificial Intelligence, North-Holl and Publ.Co., Amsterdam,1977.
Zohor Manna,Mathematical Theory of computation, McGraw-Hill,New York,1974.
R.S.Boyer and J.S.Moore, A Computational Logic, Academic Press,New York,1979.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条