| 1. | The semantics and generalized tautology of fuzzy temporal logic
模糊时序逻辑的语义及其广义重言式 |
| 2. | In fact , we use the digital way directly to synthesize sine wave
摘要数字电路技术课程的知识难点是时序逻辑电路的设计。 |
| 3. | In this paper , interval temporal logic is applied to represent the hybrid systems
本文运用间断式时序逻辑表达和建立水工业系统模型。 |
| 4. | The systems are usually described by the timed automata and the properties are specified by the temporal logic
这类系统通常用时间自动机来表示，而它们的性质则用时序逻辑公式表示。 |
| 5. | The thesis offers apd signal amplify circuit chart and controlling time - series logic circuit principle chart bearing practical applied value
给出了apd信号放大电路和控制时序逻辑电路原理图。 |
| 6. | For seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification
他将时序逻辑引入计算机科学，为程序和系统的检测验证方面提供一种有力的工具。 |
| 7. | Complex programmable logic device ( cpld ) , usually used to develop asic , is widely used in digital system to accomplish complex combinational and sequential logic
复杂的可编程逻辑器件( cpld )广泛地用于数字系统中，常用作设计自己的专用集成电路，可实现复杂的组合逻辑和时序逻辑。 |
| 8. | 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
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。 |
| 9. | 4 . interval temporal logic ( itl ) is a temporal logic which includes a basic construct for the sequential composition of two formulas as well as an analog of kleene star
间断式时序逻辑( itl )是时序逻辑的一种，它包含一个由两个公式的连续成分所构成的基本结构和一个kleene星的类似体。 |
