在计算机出现后的最初几十年里，计算机实质上是一个巨大的计算器，数字被录入，计算结果被输出。直到20世纪70年代，科学家们才意识到需要正确地验证这些计算结果。随着电脑变得更强大，软件更先进，多任务和变化的数据核查变得更加困难。
composition of temporal logic specifications-时序逻辑的规格组成-知来论文发表中心 Keywords: temporal logic, specification, verification, compositional semantics, partial order [gap=166]关键词：时序逻辑，规范，验证，组合语义学，...
基于206个网页-相关网页
引言 时序逻辑(sequential logic)引言： 举例： 组合逻辑(combinational logic)：电视机换台按钮1、2、..
基于84个网页-相关网页
...而chop算 子“；”则可把区间分隔为多个子区间：公式的前缀公式在前缀子区间上被满足， 例如p；q为一个命题区间时序逻辑（PITL）公式，在区间仃上被满足，则仃可被分 为两部分盯，和O-，，使得P在吼上被满足，而q在仃，上被满足。
基于28个网页-相关网页
UML软件工程组织 的状态)的属性。从技术的角度看，运算树逻辑(Computation tree logic, CTL)是时序逻辑(time temporal logic, TTL)的一个分支，其简单性和直观性非常适合于本例。CTL是常用的布尔命题逻辑(Boolean propos
基于12个网页-相关网页
时序逻辑电路 sequential logic ; [计] sequential logic circuit
行为时序逻辑 Temporal Logic of Actions ; TLA
线性时序逻辑 LTL ; Linear Temporal Logic ; linear-time temporal logic ; linear time Logic
时序逻辑电路设计 Sequential Logic Circuit Design
时序逻辑元件 [自] sequential logic element
区间时序逻辑 DTITL ; ITL
时序逻辑语言 temporal logic language
时序逻辑设计 Sequential Logic Design
时序逻辑设计实践 SEQUENTIAL LOGIC DESIGN PRACTICES
Temporal logic is a specification language which is suitable for specification andverification of concurrent systems, and it has been widely used in the formalverification of digital circuits and software engineering.
时序逻辑是一种规范语言,适合于并发系统的规范与验证,已经广泛的应用于数字电路、软件工程等领域的形式化验证中。
参考来源 - 面向对象MSVL语言及其在组合Web服务验证中的应用Finally, carry out the debug of the software ,and use the testing platform built on dSPACE to measure the temporal logic chart in the mode of single action,one period action and circulative action.
最后进行控制系统软件的调试，并利用基于dSPACE搭建的测试平台测量单自由度动作、单周期运行、循环运行模式下的时序逻辑曲线。
参考来源 - 火炮自动供弹系统计算机控制研究·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐