Based on this algorithm , a new first - order model generator called semll is developed , as the extension of the first - order model generator sem 基于上述的算法和原有的folms直接搜索工具sem ，实现了semll工具。
The reaction of degradation 2 , 4 - dcp catalyzed by laccase followed the first - order reaction and the reaction activation energy is about 44 . 8 kjmol 漆酶降解2 , 4二氯酚的反应属于一级反应，反应活化能约为44 . 8 kjmol
However , the accuracy of solutions is affected because the above diagnosis method is based on first - order sensitivity equations 然而,一阶灵敏度故障诊断方法是基于一阶灵敏度,所以故障诊断方程解的精度受到影响。
With regard to cartesian trajectory planning , we investigated a first - order scheme , which relied on direct cartesian trajectory planning 关于笛卡尔空间轨迹规划,本文研究了一种直接在笛卡尔空间进行规划的一阶方法。
The aim we establish the logic frame bofl ( boolean operator fuzzy logic ) is to solve the innate limitation of the first - order logic 布尔算子模糊逻辑(简称bofl )就是为了试图解决一阶逻辑的这些局限性而建立的逻辑框架。
Theory of truth degree of first - order fuzzy predicate logics formulas based on the finite interpretation and enumerable interpretation and its application 一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用
The familiar semantics for first - order logic is extensional in that it is involved in individual objects rather than in any property entities 摘要熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。
