时序逻辑的英文

• sequential logic
  ◇时序逻辑电路 sequential logical circuit; 时序逻辑方程 sequential logic equation

• "时序"英文翻译    sequence; sequential; time s ...
• "逻辑"英文翻译    logic
• "是时序逻辑" 英文翻译 :    time temporal logic, ttl
• "时序逻辑电路" 英文翻译 :    sequencial logic circuits; sequential logic circuit; sequential logical circuit
• "时序逻辑方程" 英文翻译 :    sequential logic equation
• "时序逻辑控制" 英文翻译 :    sequential logic control
• "时序逻辑网络" 英文翻译 :    sequential logic network
• "时序逻辑系统" 英文翻译 :    sequential logic system
• "时序逻辑语言" 英文翻译 :    temporal logic language
• "时序逻辑元件" 英文翻译 :    sequence logic element; sequential logic element
• "时间逻辑 [时序逻辑" 英文翻译 :    temporal logic
• "时序逻辑测试器" 英文翻译 :    sequential logic tester
• "时序逻辑, 时态逻辑, 暂时逻辑" 英文翻译 :    temporal logic
• "编程序逻辑" 英文翻译 :    programmed logic
• "程序逻辑" 英文翻译 :    logic of program; program logic; programming logic
• "程序逻辑块" 英文翻译 :    program logic block
• "储程序逻辑" 英文翻译 :    stored program logic
• "顺序逻辑" 英文翻译 :    sequence logic; sequential logic
• "程序逻辑基础" 英文翻译 :    programming logic basis
• "程序逻辑结构" 英文翻译 :    lc logical construction of program
• "程序逻辑流图" 英文翻译 :    program logic flowchart
• "程序逻辑数组" 英文翻译 :    program logic array(pla)
• "程序逻辑阵列" 英文翻译 :    program logic array; programmed logic array
• "程序逻辑指令" 英文翻译 :    routine logical instruction
• "储存程序逻辑" 英文翻译 :    stored program logic

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