Humans do not react according to linear logic.
人们不会按线性逻辑作出反应。
That backward path is the foundation of Western, linear logic.
这种反向推论的路径是西方逻辑的基础，即线性逻辑。
The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
Linear temporal logic is an established discipline.
线性时序逻辑是一个已经确立的规则。
The logic path is unpredictable and requires activity to be detected and correlated by time and sequence across multiple applications (non-linear processing).
逻辑路径不可预测，并且要求跨多个应用程序按时间和顺序对活动进行检测和关联(非线性处理)。
A method of sliding mode control based on fuzzy logic, for a class of linear uncertain system shown in phase coordinate, is presented It if derived from the principle of sliding mode control.
本文针对一类相坐标表示的线性不确定系统，根据滑模控制原理，提出一种基于模糊逻辑的滑模控制方法。
Behavior modeling method based on LCTL (linear colored temporal logic) is put forward, three different models of action activity and behavior are built and an example is presented.
提出了基于线性赋色时态逻辑的行为建模方法，分别建立了动作、活动和行为三个不同层次的模型并给出了实例应用。
The curving form is transferred into linear machine logic closely following the geometrical principles.
曲线的形式从线性机械逻辑紧密的贴合几何学原则。
Linear algebra content is more abstract, logic is stronger.
线性代数内容比较抽象，逻辑性比较强。
In this paper we have described a Complementary Multicell-type Logic Circuit which is based on CMOS and linear IC technology.
本文提出了一种基于CMOS和线性IC工艺的互补多元逻辑电路。
Fuzzy logic and local linear models are employed for modeling a non-linear dynamic process.
在非线性动态过程的建模中，融入了模糊逻辑和局部线性模型。
A new idea is presented to introduce the linear temporal logic (LTL) technology and analog information into a fault diagnosis system for high voltage (HV) transmission lines.
提出了将线性时态逻辑(LTL)技术和电网故障模拟量信息引入高压输电线系统故障诊断的新思想。
FNN efficiently maps the complex non-linear relationship between data by drill and rebound methods for its automatic learning, generation and fuzzy logic inference.
由于模糊神经网络具有很强的自学习、泛化和模糊逻辑推理功能，它可以有效地映射出钻芯、回弹数据间复杂的非线性关系。
The basic concept of a coordinate logic is firstly introduced and a novel non-linear edge detector using multi-structure element is proposed for the application of edge detection.
首先介绍了坐标逻辑运算的基本概念，并就其在图像边缘检测方面的应用提出了一个新颖的利用多结构元进行边缘检测的非线性算子。
This paper gives a simplification of logic functions by means of a linear folding. The simplified functions can solve adventure problems existing in the logic circuit, and get a wide application.
本文提出一种线形对折法对逻辑函数的化简，所化简的函数能解决逻辑电路中的冒险问题，并能得到广泛的应用。
In this paper, we design and implement a method of producing test oracle from program's LTL (Linear Temporal Logic) property.
文中，作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。
Through logic variables, piecewise linear systems can be modified into a single-linear model and affiliated constraints with mixed logical dynamic systems.
论文以具有大范围工况特点的实际系统为背景，结合混合逻辑动态模型来研究分段线性系统的模型预测控制。
Having the Promela code describing the component behavior, one can efficiently check for the behavior compatibility and LTL (Linear Temporal Logic) properties of cooperating software components.
由于使用了代码来描述构件行为，就可以有效地检查协作构件之间的行为兼容性和LTL(线性状态逻辑)性能。
Linear control rules are used to control the steam boiler system. The fuzzy logic controller has been tested in the real plant and results obtained...
运用线性模糊控制规则对锅炉对象的主汽压进行了仿真研究和实时控制，最后给出了模糊控制同传统方法的比较结果。
Linear control rules are used to control the steam boiler system. The fuzzy logic controller has been tested in the real plant and results obtained...
运用线性模糊控制规则对锅炉对象的主汽压进行了仿真研究和实时控制，最后给出了模糊控制同传统方法的比较结果。
应用推荐