1) linear homogeneous logic program
线性齐次逻辑程序
2) Linear recursive logic program
线性递归逻辑程序
4) linear temporal logic
线性时序逻辑
1.
In the proposed scheme,the antecedent of an implication form that may apeare in linear temporal logic formula of program properties was taken as the constrained condition of .
以程序性质的线性时序逻辑公式可能出现的蕴涵式的前件作为条件化的约束条件,通过分析程序符号化执行语义,借助自动定理证明器,对语句的可达性条件进行逻辑推理,删除那些与性质的可满足性无关的语句,以达到程序精简的目的。
2.
Then the linear temporal logic properties .
针对软件体系结构描述语言在分析、验证软件构架动态行为中的不足,采用谓词/变迁(Pr/T)网为软件体系结构动态行为建模,并提出了基于线性时序逻辑的软件体系结构动态行为模型验证方法。
3.
Then,linear temporal logic is proposed to model the specification of CDC designs.
为解决此问题,本文首先提出描述亚稳态现象的等价电路实现,用以在RTL验证中准确体现亚稳态现象的实际影响;然后使用线性时序逻辑对跨时钟域设计进行设计规范的描述;为缓解模型检验的空间爆炸问题,进一步针对跨时钟域设计的特点提出基于输入信号的迁移关系分组策略和基于数学归纳的优化策略。
5) Linear Temporal Logic(LTL)
线性时序逻辑
1.
Linear Temporal Logic(LTL) is introduced to show the property of security protocol.
验证工具以GSPM模型为基础形式化地描述了安全协议,并引进线性时序逻辑刻画了安全协议的性质,用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。
6) LTL
线性时序逻辑
1.
In this paper, we design and implement a method of producing test oracle from program s LTL(Linear Temporal Logic) property.
文中,作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。
2.
This paper introduces the relevant theory, then uses the popular model checker tool SPIN and gives an example which analyzes the use of the tool against the logic properties of LTL in a system with mutation analysis approach.
在介绍了相关理论知识后,使用当前较为流行的模型验证工具SPIN给出一个实例,提出了利用该工具针对系统的线性时序逻辑性质进行变异分析的方法。
补充资料：二阶线性齐次微分方程
二阶线性微分方程的一般形式为
ay"+by'+cy=f(1)
其中系数abc及f是自变量x的函数或是常数。函数f称为函数的自由项。若f≡0，则方程（1）变为
ay"+by'+cy=0（2）
称为二阶线性齐次微分方程，而方程（1）称为二阶线性非齐次微分方程。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条