Introducing temporal logic in discrete mathematics and foundations courses offers some tools to reason about concurrency.
在离散数学和基础课程中引入时态逻辑令一些工具能处理并行。
Mathematical logic is one of the difficulties of "Discrete Mathematics".
数理逻辑是《离散数学》的难点之一。
In order to exactly describe logic relations among objects of discrete event control systems and write programs, a rule-based language, logic rule Description language (LRDL) is put forward.
为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序，提出了一种基于规则的语言——逻辑规则描述语言(LRDL)。
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.
针对一类非线性离散时间系统，根据模糊逻辑系统的逼近性质，给出了一种自适应模糊逻辑控制器的设计方法。
In the end, by the logic theory of analogism, the paper gets the logistics optimized model of operation entropy in discrete manufacturing system of job - shop ordering type.
最后，利用类比推理的逻辑学理论得出单件小批订货型离散制造系统物流优化运行熵模型。
Parallel discrete event simulation based on TW is an effect method to improve the speed of simulation, it's common implementation structure is distributed logic process structure.
基于时间偏差的并行离散事件模拟是提高模拟速度的有效手段，其通用系统实现结构是分布式逻辑进程模拟结构。
Discrete logic, microprocessors, and microcontrollers easily cover the digital portions of control schemes, such as limit switches, pushbuttons, and signal lights.
离散逻辑、微处理器和微控制器可以很容易使用控制方案的数字部分，例如：限制开关、按钮和信号灯。
Compared with propositional temporal logic, it can accurately describe the time feature of digital circuits and support discrete and continuous time structure.
它能精确地描述数字电路的时间特性，支持连续和离散的时间结构并能对时间信息进行推理。
Start-up process is a kind of complicated dynamic variation system, which exists not only continuous dynamic variables but also gone with discrete logic variables.
化工开停车过程是既有连续动态变量，又有离散逻辑变量的复杂动态变化系统，混杂现象普遍存在于流程生产工业中，目前对其进行的研究刚刚起步。
With the rapid growth of complexity of VLSI, more and more logic simulation has adopted parallel discrete event simulation.
随着大规模集成电路的复杂性日益增加，逻辑模拟开始采用并行离散事件模拟技术。
A direct adaptive fuzzy predictive control method for a class of unknown nonlinear discrete systems is presented by introducing adaptive fuzzy logic system into the predictive control strategy.
一类未知非线性离散系统的直接自适应模糊预测控制方法，通过引入自适应模糊逻辑系统预测控制策略。
The problem is the methods are discrete and unable to help associate the memory vocabulary into a logic system.
问题的根本在于这些方法是零散的，未能使记忆后的词汇形成一个在逻辑上相互联系的整体。
A method for modeling imprecise temporal aspects of discrete-event systems, extended interval temporal logic, is proposed, which is an extension of the traditional point-interval temporal logic.
针对点-时段时序逻辑的不足，提出了一种新的时段时序逻辑——扩展时段时序逻辑，对不确定时间段发生的事件具有较好的描述能力。
In the discrete distributed control system presented, each programmable logic controller is a control node and keeps communication with other nodes through network.
在所考虑的离散分布控制系统中，每个可编程控制器作为一个控制结点，结点之间通过网络进行连接保持通信。
Logic calculus of Discrete Mathematics has comprehensive application, in particular, on information handling.
离散数学中的逻辑演算有着广泛的应用，特别是在信息处理方面。
Logic calculus of Discrete Mathematics has comprehensive application, in particular, on information handling.
离散数学中的逻辑演算有着广泛的应用，特别是在信息处理方面。
应用推荐