期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
模型检验中对CTL公式的空属性探测 被引量:1
1
作者 郭建 金乃咏 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2007年第5期794-799,共6页
在模型检验中建立了一种新方法:检验可计算时态逻辑(CTL)公式描述的系统属性是否为空属性.根据原子命题的极性,用TRUE或FALSE替换原子命题,得到一系列的CTL公式,再对这些CTL公式用模型检验工具验证,若CTL公式中有一个通过了验证,则可得... 在模型检验中建立了一种新方法:检验可计算时态逻辑(CTL)公式描述的系统属性是否为空属性.根据原子命题的极性,用TRUE或FALSE替换原子命题,得到一系列的CTL公式,再对这些CTL公式用模型检验工具验证,若CTL公式中有一个通过了验证,则可得出该系统属性是一个空属性.该方法对CTL公式的空属性的探测不需要对它的所有子公式用TRUE或FALSE替换,只需对原子命题替换,这样检验的次数与原子命题的个数呈线性关系.利用验证综合系统对十字路口交通控制器规范的空属性进行了检验. 展开更多
关键词 模型检验 属性探测 可计算时态逻辑公式 验证综合系统系统
下载PDF
循环描述逻辑系统FL0最大不动点模型的有穷基
2
作者 郑添健 侯金宏 +1 位作者 张维 王驹 《计算机科学》 CSCD 北大核心 2020年第S02期92-96,共5页
描述逻辑和形式概念格都是以概念为基础的形式系统,它们都有各自的优缺点,近年来人们开始将两者结合起来,取长补短。文中将形式概念分析的方法引入描述逻辑,研究了循环描述逻辑系统FL0在最大不动点语义下有限模型的有穷基。在形式概念... 描述逻辑和形式概念格都是以概念为基础的形式系统,它们都有各自的优缺点,近年来人们开始将两者结合起来,取长补短。文中将形式概念分析的方法引入描述逻辑,研究了循环描述逻辑系统FL0在最大不动点语义下有限模型的有穷基。在形式概念分析中,属性有限的形式背景都存在Duguenne-Guigues基,文章将循环FL0的最大不动点模型作为描述背景,将FL0概念作为属性,定义了描述背景下的属性蕴含,证明了循环描述逻辑系统FL0的最大不动点模型也存在有穷基底。 展开更多
关键词 描述逻辑 形式概念分析 属性探测 有穷基
下载PDF
Investigation of loading and force sensing properties of a probe-type microforce sensor with force-distance curves 被引量:3
3
作者 SUN Chen SU DongChuan LI XiDe 《Science China(Technological Sciences)》 SCIE EI CAS 2011年第6期1362-1370,共9页
In this paper,the force-distance curves have been employed to investigate the force sensing properties of the probe-type microforce sensors.In the preliminary studies,two kinds of probe-type microforce sensors have be... In this paper,the force-distance curves have been employed to investigate the force sensing properties of the probe-type microforce sensors.In the preliminary studies,two kinds of probe-type microforce sensors have been used to load the objects with dry and wetted surfaces.One is a developed piezoresistive cantilever force sensor with sensitivity of 35 μN/V and the other an atomic force microscope(AFM) cantilever beam probe with sensitivity of 10.4 nN/V.The force outputs corresponding to the regimes of approaching,indenting,and loading are obtained,and the properties of the stability in the approaching regime of the sensors,local mechanical behavior of the tested objects in the indenting regime,and the force sensing of the global samples are analyzed.Experimental results of this analysis are also presented. 展开更多
关键词 force sensor PROBE force-distance curve mechanical behavior surface effects
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部