线性时序逻辑是一个已经确立的规则。
逻辑与线性思维的关键是知道应该从你的心理空间里排除什么。
The key to logical, linear thinking is knowing what to exclude from your mental space.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
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.
这个技巧非常成功，因为讲故事的方式有助于人们通过合乎逻辑和线性的方式来感知他们所处的环境。
The technique is successful because storytelling helps people make sense of their environment in a logical and linear way.
心理学家罗莎琳德·卡莱特博士说：“许多零散的、没有逻辑、非线性的记忆碎片会出现在我们的梦里。它更多时候是事情的联想的集合体。”
“Dreams use so many bits and pieces of our memory, but not in a logical, linear way, ” says psychologist Rosalind Cartwright, Ph.D. “It’s more of an associative conglomeration of things.”
所谓线性时间逻辑仅限于这种类型的推理。
So called linear time logics are restricted to this type of reasoning.
模型中考虑了电厂间相互关联，从而得到含有逻辑表达式的非线性整数规划模型。
The interrelation between the stations is included by the model which is a nonlinear integer programming with logical expression.
在网状的超媒体数据系统设计中，逻辑上用层次数据结构表达，而系统的物理实现采用了更为简单的线性结构组织超媒体数据。
We adopt linear structure organization for data converting in the netted super media The supper media net data is explained in gradational construction logically and in linear construction physically.
本文针对一类相坐标表示的线性不确定系统，根据滑模控制原理，提出一种基于模糊逻辑的滑模控制方法。
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.
该控制策略充分利用了模糊逻辑对非线性的逼近性和神经控制自适应的特点。
The strategy made full use of the nonlinear approximation of fuzzy logic and the self-adaptability of neural control.
ABS广泛采用的是逻辑门限值控制，这对于非线性系统是一种有效的控制方法。
Logic gate limiting value control which is an efficient control method in nonlinear system is widely applied in automobile ABS.
编码后的DTD能在线性时间内对XML函数依赖的逻辑蕴涵问题进行判定。
Coding DTD can test the logical implication problem of XML function dependency in linear time.
曲线的形式从线性机械逻辑紧密的贴合几何学原则。
The curving form is transferred into linear machine logic closely following the geometrical principles.
提出了基于线性赋色时态逻辑的行为建模方法，分别建立了动作、活动和行为三个不同层次的模型并给出了实例应用。
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.
汽车防抱制动系统(简称abs)广泛采用的是逻辑门限值控制，这对于非线性系统是一种有效的控制方法。
Logic gate limiting value control which is an efficient control method in nonlinear system is widely applied in automobile anti blocking brake system (ABS).
由于使用了代码来描述构件行为，就可以有效地检查协作构件之间的行为兼容性和LTL(线性状态逻辑)性能。
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.
由于模糊神经网络具有很强的自学习、泛化和模糊逻辑推理功能，它可以有效地映射出钻芯、回弹数据间复杂的非线性关系。
FNN efficiently maps the complex non-linear relationship between data by drill and rebound methods for its automatic learning, generation and fuzzy logic inference.
在非线性动态过程的建模中，融入了模糊逻辑和局部线性模型。
Fuzzy logic and local linear models are employed for modeling a non-linear dynamic process.
他们自己独自去探索发现并无需对问题经过一系列逻辑的和线性的步骤而直接推理出结果。
They make discoveries on their own and can often intuit the solution to a problem without going through a series of logical, LINEAR steps.
这种反向推论的路径是西方逻辑的基础，即线性逻辑。
That backward path is the foundation of Western, linear logic.
方法：将太极图与生理系统的某些非线性动力学研究结果进行比较性研究，并做出逻辑推断。
Methods:The comparative research of Taiji figure and some nonlinear dynamic researching results in physiology system was conducted.
本文提出了一种基于CMOS和线性IC工艺的互补多元逻辑电路。
In this paper we have described a Complementary Multicell-type Logic Circuit which is based on CMOS and linear IC technology.
针对一类非线性系统，把模糊tS模型和自适应模糊逻辑系统两类模糊逻辑方式结合起来，提出了一种基于观测器的控制方案。
Combining both kinds of fuzzy logic forms including fuzzy t s model and adaptive fuzzy logic systems, this paper presents an observer based control scheme for a class of nonlinear systems.
针对一类非线性系统，把模糊t - S模型和自适应模糊逻辑系统两种模糊逻辑方式结合起来，提出了一种基于观测器的跟踪控制方案。
Combining both kinds of fuzzy logic forms including fuzzy T-S model and adaptive fuzzy logic systems, this paper presents an observer-based tracking control scheme for a class of nonlinear systems.
阐明了任何形式的逻辑方程或逻辑方程组都可转化为线性逻辑方程组求解。
The conclusion that the logical equation or logical equations in any form could be changed into linear logical equation is clarified.
针对一类非线性离散时间系统，根据模糊逻辑系统的逼近性质，给出了一种自适应模糊逻辑控制器的设计方法。
Based on the approximation capability of fuzzy logic systems, a design method of an adaptive fuzzy logic controller is given for a class of nonlinear discrete time systems.
文中，作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。
In this paper, we design and implement a method of producing test oracle from program's LTL (Linear Temporal Logic) property.
对一类不确定非线性系统，提出了一种基于模糊逻辑的连续滑模变结构设计方法。
A scheme of fuzzy logic based the continuous sliding mode control for a class of nonlinear systems in the presence of uncertainties was developed.
对一类不确定非线性系统，提出了一种基于模糊逻辑的连续滑模变结构设计方法。
A scheme of fuzzy logic based the continuous sliding mode control for a class of nonlinear systems in the presence of uncertainties was developed.
应用推荐