期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种推广化符号轨迹赋值中伪报错的改进算法
被引量：
1
1
作者
郑德生
杨国武
雷航
《微电子学与计算机》
CSCD
北大核心
2008年第5期207-210,共4页
介绍了推广化符号轨迹赋值中常用的模型检验强可满足性算法,分析了产生伪报错的原因,提出了一种降低伪报错的改进算法.该算法在前算法的基础之上减少了边的计算量,降低了由于抽象带来的伪报错问题,从而大大提高了计算过程中的准确率.实...
介绍了推广化符号轨迹赋值中常用的模型检验强可满足性算法,分析了产生伪报错的原因,提出了一种降低伪报错的改进算法.该算法在前算法的基础之上减少了边的计算量,降低了由于抽象带来的伪报错问题,从而大大提高了计算过程中的准确率.实验结果表明,该改进算法在降低伪报错和减少计算量方面有明显提高.
展开更多
关键词
符号化轨迹赋值
推广化符号轨迹赋值
伪报
错
形式化验证
模型检验强可满足性
下载PDF
职称材料
数字地形图检查元素的确定及相关因素分析——基于CASS Check检查软件
2
作者
陈代桥
《测绘与空间地理信息》
2011年第4期127-128,共2页
就CASS Check检查软件检查元素的确定及检查中出现的一些问题进行分析,并提出解决办法。
关键词
GIS
检查元素
伪报
错
要素增补
下载PDF
职称材料
题名
一种推广化符号轨迹赋值中伪报错的改进算法
被引量：
1
1
作者
郑德生
杨国武
雷航
机构
电子科技大学计算机科学与工程学院
出处
《微电子学与计算机》
CSCD
北大核心
2008年第5期207-210,共4页
基金
国家"八六三"计划项目(2006AA01Z173)
文摘
介绍了推广化符号轨迹赋值中常用的模型检验强可满足性算法,分析了产生伪报错的原因,提出了一种降低伪报错的改进算法.该算法在前算法的基础之上减少了边的计算量,降低了由于抽象带来的伪报错问题,从而大大提高了计算过程中的准确率.实验结果表明,该改进算法在降低伪报错和减少计算量方面有明显提高.
关键词
符号化轨迹赋值
推广化符号轨迹赋值
伪报
错
形式化验证
模型检验强可满足性
Keywords
symbolic trajectory evaluation
generalized symbolic trajectory evaluation
false negative
formal verification
strong model checking
分类号
TN407 [电子电信—微电子学与固体电子学]
下载PDF
职称材料
题名
数字地形图检查元素的确定及相关因素分析——基于CASS Check检查软件
2
作者
陈代桥
机构
安徽省地矿局地质测绘院
出处
《测绘与空间地理信息》
2011年第4期127-128,共2页
文摘
就CASS Check检查软件检查元素的确定及检查中出现的一些问题进行分析,并提出解决办法。
关键词
GIS
检查元素
伪报
错
要素增补
Keywords
GIS
checking element
fake error reporting
elements supplement
分类号
P208 [天文地球—地图制图学与地理信息工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种推广化符号轨迹赋值中伪报错的改进算法
郑德生
杨国武
雷航
《微电子学与计算机》
CSCD
北大核心
2008
1
下载PDF
职称材料
2
数字地形图检查元素的确定及相关因素分析——基于CASS Check检查软件
陈代桥
《测绘与空间地理信息》
2011
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
