钛学术
文献服务平台
学术出版新技术应用与公共服务实验室出品
首页
论文降重
免费查重
学术期刊
任务中心
登录
文献导航
学科分类
>
综合
工业技术
科教文艺
医药卫生
基础科学
经济财经
社会科学
农业科学
哲学政法
社会科学II
哲学与人文科学
社会科学I
经济与管理科学
工程科技I
工程科技II
医药卫生科技
信息科技
农业科技
数据库索引
>
中国科学引文数据库
工程索引(美)
日本科学技术振兴机构数据库(日)
文摘杂志(俄)
科学文摘(英)
化学文摘(美)
中国科技论文统计与引文分析数据库
中文社会科学引文索引
科学引文索引(美)
中文核心期刊
cscd
ei
jst
aj
sa
ca
cstpcd
cssci
sci
cpku
默认
篇关摘
篇名
关键词
摘要
全文
作者
作者单位
基金
分类号
搜索文章
搜索思路
高级检索 >
刊名检索 >
文献类型
学科分类
更多...
核心收录
更多...
年份
更多...
来源
更多...
推荐文献
大家都在搜
1
陈友明
张顺波
宁柏松
the
人工智能
信息贫困
java
???
大数据
限定条件:
清空
—
结果中检索
相关度
出版时间
被引频次
全选
反选
取消
已选文献:
0
导出
共检索到
63
个结果
<
1 / 7
>
1.
【期刊】
调用模式和正确调用模式语义在Prolog程序测试中的应用
作者:
赵岭忠
钱俊彦
刊名:
计算机应用研究
发表时间:
2008-04-01
摘要:
将基于调用模式语义和正确调用模式语义的程序分析技术应用于Prolog程序的CPM测试.通过调用模式分析获得内部过程被调用和成功调用的条件,利用前者删除不满足调用条件的测试帧,或当删除条件不满足时利用该条件更新测试规格中过程属性的划分准则; 利用后者预测CPM测试的结果.该方法可较好地保持程序测试的质量,改善Prolog程序的CPM测试过程.
Prolog
调用模式语义
正确调用模式语义
主属性区分方法测试
下载
0
被引
0
获取原文
收藏
分享
2.
【期刊】
基于ASP的CSP模型验证性质反例生成技术研究
作者:
张超
王雪松
赵岭忠
刊名:
计算机应用研究
发表时间:
2013-01-01
摘要:
为了解决当前通信顺序进程(CSP)模型检测不支持在验证工具的一次运行中验证多个性质的问题,建立了基于ASP的CSP并发模型验证框架.主要研究在该框架下当待验证的系统性质不满足时生成相应性质反例的技术.把ASP程序调试中的ASP程序支撑原因分析技术应用于该问题的研究,提出了相应的反例生成算法,实例表明了该算法的正确性.
通信顺序进程
回答集编程
支撑原因
下载
0
被引
0
获取原文
收藏
分享
3.
【期刊】
基于OBDD的含圈与或图搜索算法研究
作者:
王雪松
赵岭忠
刊名:
计算机应用研究
发表时间:
2011-04-01
摘要:
在含圈与或图理论框架基础上,给出了基于OBDD的含圈与或图符号表示方法,并提出了一种求解含圈与或图最小代价解图的符号搜索算法.实验结果表明,该算法在处理大规模含圈与或图时具有明显优势.
含圈与或图
最大可扩展子图
最小代价解图
有序二叉决策图
下载
0
被引
0
获取原文
收藏
分享
4.
【期刊】
一种基于时间自动机的域构造方法
作者:
赵岭忠
钱俊彦
刊名:
计算机应用研究
发表时间:
2005-07-01
摘要:
模型检验是一种重要的形式化自动验证技术,通过状态空间搜索来保证软硬件设计的正确性.由于TCTL不是针对时间自动机,而是针对有限状态变迁系统的,从而无法使用TCTL直接对时间自动机进行模型检验.给出了一种从时间自动机到有限状态变迁系统的方法,并在不改变时间自动机的语义上,使时间自动机等价后的域状态数尽可能少,在一定程度上有效地解决了状态空间爆炸问题.
模型检验
时间自动机
TCTL
下载
0
被引
0
获取原文
收藏
分享
5.
【期刊】
基于NSCT和自适应PCNN的遥感图像融合方法
作者:
任风华
符强
纪元法
赵岭忠
刊名:
计算机测量与控制
发表时间:
2012-05-01
摘要:
以全色和多光谱遥感图像为研究对象,提出一种基于非下采样Contourlet变换(NSCT)和自适应脉冲耦合神经网络(PCNN)的遥感图像融合方法;该方法首先对全色图像和进行过IHS变换的多光谱图像的亮度分量进行NSCT变换,得到低频子带系数和各带通子带系数;其次对低频子带系数采取一种基于边缘的方法以得到融合图像的低频子带系数;然后采用以各带通子带系数的梯度作为PCNN的链接强度β的PCNN图像融合方法来确定融合图像的各带通子带系数;最后经过NSCT逆变换和IHS逆变换得到融合图像;实验结果表明,此方法更好地保留了原遥感图像中的有用信息,并提高了融合图像的质量.
非下采样Contourlet变换
脉冲耦台神经网络
自适应
链接强度
梯度
下载
0
被引
0
获取原文
收藏
分享
6.
【期刊】
学习迁移理论视野下的计算机硬件类课程改革
作者:
晋良念
李民政
赵岭忠
刊名:
教育与教学研究
发表时间:
2013-03-01
摘要:
硬件类课程是计算机专业的核心课程,由于该课程具有较强的理论性、实践性和技术性等特点,使其面临“学生难学,教师难教”的困境.通过学习迁移视角下的硬件类课程改革:从教学目标入手,组织和安排教材的修订;关注知识点的内在联系,合理编排教学内容;改革教学方式,提升学习兴趣;开发教学资源,推进学习网站建设;加强实践环节,创建良好的学习迁移平台;开展与课程相关的校园科技活动,建立校外实习基地,最终将有助于突破“教与学”的两难困境.
学习迁移
硬件类课程
教学改革
下载
0
被引
0
获取原文
收藏
分享
7.
【专利】
时间多栈下推网络的静态转换方法
发明人:
钱俊彦
甘鹏程
郭云川
赵岭忠
古天龙
申请人:
桂林电子科技大学
公开时间:
2016-01-20
摘要:
本发明公开一种时间多栈下推网络的静态转换方法,首先,为了描述实时系统中并发递归机制,以及线程之间的交互,在MPDN的基础上引入时钟,提出TMPDN模型,并给出其语法及操作语义。其次,利用时钟域等价的优化技术,通过静态转换方法,将连续时间的TMPDN模型转换成离散的MPDN模型。本发明能够实现同时实现实时并发系统的实时性和并发性的描述,并能为实时并发程序的形式化验证提供保证。
下载
0
下载原文
收藏
分享
8.
【专利】
一种可重构处理器阵列的抽象模型方法
发明人:
钱俊彦
白章顺
古天龙
陈光喜
周志德
赵岭忠
申请人:
桂林电子科技大学
公开时间:
2016-12-21
摘要:
本发明公开了一种可重构处理器阵列的抽象模型方法,包括如下步骤:基本设计思想、构造算法、模型和原阵列的映射函数、抽象的属性保留证明和算法在抽象模型中的实现,主阵列被视为一个具体模型,针对可重构处理器阵列提出了一个重构抽象模型及抽象算法CAM,逻辑阵列由一组逻辑列组成,对于一个逻辑列c,c中的一部分单元属于抽象阵列H′,这部分单元可表示为c∩H′,假设逻辑阵列包含所有的物理行,在此假设下,MLA是一个拥有最大列数的逻辑阵列,GCR采用的是从左到右构造逻辑列的贪心策略,在构造逻辑列的过程中,在每次迭代中会将相邻集中最左端的处理器单元归入该逻辑列。
下载
0
下载原文
收藏
分享
9.
【专利】
基于粗糙集与回答集的变压器故障诊断方法和系统
发明人:
赵岭忠
熊远武
朱森
侯权
钱俊彦
申请人:
桂林电子科技大学
公开时间:
2017-08-29
摘要:
本发明公开一种基于粗糙集与回答集的变压器故障诊断方法和系统,通过故障编码对应相应的故障类型,从而构成故障诊断知识库,通过气体采样器采集特征气体含量与知识库中的知识匹配,最终自动产生诊断结果。本发明是以知识表示为基础,以实用化为目的,可以轻松的处理庞大的未加整理的知识,能够与知识的追加、修正和清除进行简单地对应,适用于规则和数据具有模糊度的场合。本发明将粗糙集理论与ASP程序相结合,构建了基于粗糙集理论与ASP的变压器故障诊断专家系统‑‑RS‑ASP,该方法对三比值法的临界值进行处理,使原三比值法更加完整,准确率更高。
下载
0
下载原文
收藏
分享
10.
【专利】
基于回答集程序设计的交易双方的最优稳定匹配方法
发明人:
赵岭忠
付光超
熊远武
钱俊彦
申请人:
桂林电子科技大学
公开时间:
2017-11-10
摘要:
本发明公开一种基于回答集程序设计的交易双方的最优稳定匹配方法,首先根据买方和供应商的选择属性信息计算得到双方的感知吸引力;然后将感知吸引从大到小排序,建立双方各自的完全偏好列表,并引入并引入信誉度来建立相应的不完全偏好列表。最后采用回答集程序设计(ASP)对上述偏好列表进行描述编码,在DLV求解器中运行该程序可以得到所有的稳定匹配,并以双方最大满意为目标,可获得最优稳定匹配。
下载
0
下载原文
收藏
分享
全选
反选
取消
已选文献:
0
导出
每页显示
10
|
20
|
30
共
63
条
首页
<
1
2
3
4
5
6
>
第1页
共7页
钛学术
文献服务平台
学术出版新技术应用与公共服务实验室出品
首页
论文降重
免费查重
学术期刊
任务中心
登录
根据相关规定,获取原文需跳转至原文服务方进行注册认证身份信息
完成下面三个步骤操作后即可获取文献,阅读后请
点击下方页面【继续获取】按钮
钛学术
文献服务平台
学术出版新技术应用与公共服务实验室出品
原文合作方
继续获取
获取文献流程
1.访问原文合作方请等待几秒系统会自动跳转至登录页,首次访问请先注册账号,填写基本信息后,点击【注册】
2.注册后进行实名认证,实名认证成功后点击【返回】
3.检查邮箱地址是否正确,若错误或未填写请填写正确邮箱地址,点击【确认支付】完成获取,文献将在1小时内发送至您的邮箱
*若已注册过原文合作方账号的用户,可跳过上述操作,直接登录后获取原文即可
点击
【获取原文】
按钮,跳转至合作网站。
首次获取需要在合作网站
进行注册。
注册并实名认证,认证后点击
【返回】按钮。
确认邮箱信息,点击
【确认支付】
, 订单将在一小时内发送至您的邮箱。
*
若已经注册过合作网站账号,请忽略第二、三步,直接登录即可。
热门期刊
最新期刊
友情链接
热门主题
最新主题
中国电机工程学报
生态学报
生态学报
电力系统自动化
安徽农业科学
农业工程学报
计算机工程与应用
岩石力学与工程学报
中国医药指南
食品科学
电网技术
应用生态学报
中华护理杂志
中国组织工程研究
中华医院感染学杂志
计算机工程
中国实用医药
科学技术创新
护理研究
山西建筑
中国老年学杂志
地理学报
中国农学通报
中国妇幼保健
岩土工程学报
科技信息
中国农业科学
中国实用护理杂志
岩土力学
现代中西医结合杂志
机械工程学报
计算机应用研究
中国中药杂志
环境科学
商场现代化
软件学报
中草药
中国医药导报
护理学杂志
护士进修杂志
21世纪
居业
21世纪商业评论
癌变·畸变·突变
安防科技
鞍钢技术
安徽电力
安徽电气工程职业技术学院学报
安徽大学学报(自然科学版)
安徽地质
安徽电子信息职业技术学院学报
安徽化工
安徽工程大学学报
安徽科技学院学报
合肥师范学院学报
安徽建筑
安徽建筑大学学报
安徽科技
安徽科技与企业
安徽林业
安徽林业科技
安徽农学通报
现代农业科技
安徽农业大学学报
安徽农业科学
安徽师范大学学报(自然科学版)
安徽水利水电职业技术学院学报
安徽商贸职业技术学院学报(社会科学版)
安徽体育科技
安徽卫生职业技术学院学报
安徽文献研究集刊
安徽预防医学杂志
安徽冶金
安徽冶金科技职业学院学报
安徽医科大学学报
安徽医学
安徽医药
安徽中医药大学学报
安家
生物资源
论文查重
智能客服
百度学术
关于我们
用户协议
隐私政策
知识产权保护
期刊导航
免费查重
论文知识
钛学术官网
按字母查找期刊:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他
联系我们
公众号:pp文库
联系合作 广告推广: shenyukuan@paperpass.com
京ICP备2021016839号
营业执照
版物经营许可证:新出发 京零 字第 朝220126号