自调用支持向量回归和偏最小二乘优化支持向量机参数--《小型微型计算机系统》2010年09期
自调用支持向量回归和偏最小二乘优化支持向量机参数
【摘要】：参数选择是支持向量分类、回归分析的关键问题之一,在大训练样本条件下,大范围遍历搜索极为耗时.将均匀设计(UD)分别与自调用支持向量回归(SVR)、偏最小二乘回归(PLR)结合,提出了两种将大样本搜索转化为小样本搜索的策略UD-SVR和UD-PLR:在默认搜索范围内由均匀设计产生部分参数组合,每组合对训练集经交叉测试得评价指标(对分类为准确率,对回归为均方误差);以评价指标为目标函数,对部分参数组合形成的小样本,UD-SVR自调用支持向量回归以留一法进行大范围搜索建模,UD-PLR以PLR直接建模,并预测默认范围内所有参数组合;取预测评价指标最优的对应参数组合训练大样本,完成独立预测.对8个基准分类数据集、8个回归数据集的独立预测表明,两种新方法在保证预测精度的同时,大幅度缩短了训练建模时间,为大样本支持向量机参数选择提供了新的有效解决方案,UD-SVR比UD-PLR更具鲁棒性.
【作者单位】：
【关键词】：
【基金】：
【分类号】：TP18【正文快照】：
1引言支持向量机(SupportVectorM achine,SVM)是Vapnik[1]等根据统计学习理论提出的一种通用学习方法,由于它基于结构风险最小化(S tructural R isk M inim ization,SRM)原理,表现出很多优于已有方法的性能,在分类和回归预测等方面取得了大量的应用研究成果.SVM模型的确定归
欢迎：、、)
支持CAJ、PDF文件格式，仅支持PDF格式
【参考文献】
中国期刊全文数据库
袁小芳;王耀南;;[J];控制与决策;2006年01期
【共引文献】
中国期刊全文数据库
王强;陈英武;邢立宁;;[J];计算机工程;2007年15期
程启明;王勇浩;;[J];中国电机工程学报;2007年08期
中国博士学位论文全文数据库
彭珍瑞;[D];浙江大学;2007年
鲍晓华;[D];合肥工业大学;2007年
张永;[D];大连理工大学;2008年
中国硕士学位论文全文数据库
马春杰;[D];河北农业大学;2006年
袁小芳;[D];湖南大学;2006年
张海鹏;[D];燕山大学;2007年
孙宗宝;[D];哈尔滨理工大学;2007年
张楠;[D];西北大学;2008年
邱潇钰;[D];山东师范大学;2008年
【二级参考文献】
中国期刊全文数据库
曾勇,唐小我,陈珂;[J];电子科技大学学报;1998年02期
居学海,戴乾圜;[J];分子科学学报;2002年02期
顾云兰,国永敏,李宝宗,马桂林;[J];分子科学学报;2003年03期
张向东;毕韶丹;关宏宇;;[J];分子科学学报;2006年03期
朱永春;高宇;张小英;;[J];分子科学学报;2006年04期
张庆友,齐玉华,王俊,罗操操,许禄;[J];高等学校化学学报;2004年04期
周鹏;曾晖;周原;吴世仁;李志良;;[J];环境科学学报;2006年01期
王华忠;俞金寿;;[J];江南大学学报(自然科学版);2006年04期
郑小霞;钱锋;;[J];计算机工程与应用;2006年01期
陈果;;[J];机械科学与技术;2007年03期
【相似文献】
中国期刊全文数据库
刘辉;牛智有;;[J];湖北农业科学;2011年13期
曹葵康;沈海斌;;[J];浙江大学学报(理学版);2011年04期
杨玫;郭天杰;陈青华;;[J];计算机技术与发展;2011年07期
宋梅村;蔡琦;;[J];原子能科学技术;2011年08期
王至超;张化祥;;[J];计算机工程与设计;2011年08期
王快妮;钟萍;赵耀红;;[J];计算机工程;2011年15期
吴军;邓超;邵新宇;熊尧;;[J];系统工程理论与实践;2011年07期
胡根生;梁栋;黄林生;;[J];系统工程与电子技术;2011年07期
;[J];;年期
;[J];;年期
中国重要会议论文全文数据库
彭姝迪;林静玉;周渠;李孟励;;[A];重庆市电机工程学会2010年学术会议论文集[C];2010年
吴德会;;[A];第二十六届中国控制会议论文集[C];2007年
尹焕平;孙宗海;;[A];2009中国控制与决策会议论文集（3）[C];2009年
林关成;李亚安;李国辉;;[A];2010’中国西部声学学术交流会论文集[C];2010年
王玲;穆志纯;郭辉;;[A];第25届中国控制会议论文集（上册）[C];2006年
姜立强;郭铮;刘光斌;;[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
杨慧中;邵信光;石晨曦;;[A];2005中国控制与决策学术年会论文集（上）[C];2005年
阮秀凯;张志涌;;[A];2009年中国智能自动化会议论文集（第七分册）[南京理工大学学报（增刊）][C];2009年
董泽;纪国瑞;王东风;韩璞;徐大平;;[A];全国第二届信号处理与应用学术会议专刊[C];2008年
王小刚;童振;王福利;张清知;;[A];2007中国控制与决策学术年会论文集[C];2007年
中国博士学位论文全文数据库
赵永平;[D];南京航空航天大学;2009年
余艳芳;[D];华东理工大学;2010年
孙少超;[D];华东理工大学;2012年
向国齐;[D];电子科技大学;2010年
刘海林;[D];华南理工大学;2002年
于萍;[D];华北电力大学（河北）;2006年
唐发明;[D];华中科技大学;2005年
陈晓峰;[D];江南大学;2009年
蒋一波;[D];浙江工业大学;2008年
佘青山;[D];浙江大学;2007年
中国硕士学位论文全文数据库
王（山弄）;[D];中国农业大学;2005年
胡国圣;[D];吉林大学;2010年
陆宇由;[D];长沙理工大学;2005年
刘扬;[D];合肥工业大学;2007年
杜鹃;[D];浙江大学;2006年
陈士骞;[D];武汉科技大学;2008年
马丽;[D];新疆大学;2011年
王珏鑫;[D];吉林大学;2010年
吴欢欢;[D];哈尔滨工业大学;2011年
付岚;[D];西安电子科技大学;2012年
&快捷付款方式
&订购知网充值卡
400-819-9993
《中国学术期刊（光盘版）》电子杂志社有限公司
地址：北京清华大学 84-48信箱 知识超市公司
出版物经营许可证 新出发京批字第直0595号
同方知网数字出版技术股份有限公司
订购热线：400-819-82499
在线咨询：
传真：010-
京公网安备74号光存储器中激光头与盘片间垂直度测量方法的研究--《小型微型计算机系统》2008年07期
光存储器中激光头与盘片间垂直度测量方法的研究
【摘要】：提出基于激光头光斑偏移量的激光头-盘片垂直度测量的方法.在光线追迹基础上推导出激光头光斑的偏移量模型(方程)并对该模型实现的条件进行了分析.在数学形态学算子、Hough变换算法基础上设计出用于光斑中心检测的混合算法.试验表明,该混合算法可实现光存储器出射激光光斑像素级的精确定位;同时该测量方法对合格的商用DVD光存储器的激光头-盘片的倾斜角检测具有较高的宽容度.
【作者单位】：
【关键词】：
【基金】：
【分类号】：TP333.4【正文快照】：
1引言光存储系统的三项关键技术[1]实现的前提之一是激光头与盘片之间处于垂直状态.按标准,CD系统的激光头-盘片间容许倾斜角为13m rad(数值孔径N A=0.45,激光波长λ=780nm);DVD系统的容许倾斜角为9m rad(数值孔径N A=0.52,激光波长λ=650nm).目前在光存储系统生产线上是通过
欢迎：、、)
支持CAJ、PDF文件格式，仅支持PDF格式
【参考文献】
中国期刊全文数据库
裴先登,罗春,黄浩;[J];华中科技大学学报(自然科学版);2004年02期
中国博士学位论文全文数据库
王晓红;[D];西北工业大学;2002年
【共引文献】
中国期刊全文数据库
薛飞,莫健华,黄树槐;[J];传感器技术;2005年07期
朱国力;吴学兵;邹万军;;[J];电测与仪表;2006年01期
,蒋培军;[J];电子技术应用;2003年12期
马建设,方南,周晖,周元理,潘龙法;[J];光电子.激光;2002年03期
黄方敏,阮玉,王继平,陈俊;[J];光学与光电技术;2003年03期
景蔚萱,蒋庄德;[J];光学精密工程;2003年04期
王宇兴,巩马理,闫平,贾维溥,崔瑞祯,张海涛,黄磊,韦宁;[J];光学技术;2003年06期
蒋培军,齐国生,徐端颐,李庆祥,李晟,李玉和;[J];光学技术;2003年06期
耿远迎,齐国生,徐端颐;[J];光学技术;2004年01期
张伟,吴刚,侯晴宇,武春风;[J];光学技术;2005年03期
中国重要会议论文全文数据库
张培茗;陈家璧;李筠;庄松林;;[A];第三届全国信息获取与处理学术会议论文集[C];2005年
李筠;张培茗;陈家璧;许陇云;;[A];第三届全国信息获取与处理学术会议论文集[C];2005年
李筠;张培茗;陈家璧;许陇云;;[A];第七届青年学术会议论文集[C];2005年
中国博士学位论文全文数据库
蒲守智;[D];清华大学;2003年
王永红;[D];合肥工业大学;2004年
冯晓强;[D];中国科学院研究生院（西安光学精密机械研究所）;2004年
伊德尔;[D];清华大学;2003年
刘小康;[D];重庆大学;2005年
刘海涛;[D];清华大学;2005年
李赫雄;[D];清华大学;2005年
罗迅;[D];清华大学;2006年
姜涌;[D];南京航空航天大学;2006年
高阳;[D];西北工业大学;2006年
中国硕士学位论文全文数据库
潘勇强;[D];大连理工大学;2002年
夏茂秋;[D];苏州大学;2002年
杨丽珍;[D];大连理工大学;2002年
王晓涛;[D];大连理工大学;2002年
周晓波;[D];大连理工大学;2002年
刘刚;[D];大连理工大学;2002年
樊莉;[D];苏州大学;2003年
石志敏;[D];浙江大学;2004年
杨涛;[D];南京师范大学;2004年
赵晓云;[D];电子科技大学;2004年
【二级参考文献】
中国期刊全文数据库
袁峰，施平，蒋祖军，黄鸿斌;[J];哈尔滨理工大学学报;1994年01期
王占强,徐伟弘,汪开源;[J];仪表技术与传感器;1997年12期
【相似文献】
中国期刊全文数据库
张渝;[J];激光杂志;1983年03期
鲍恩波;;[J];工业仪表与自动化装置;1983年06期
沈祐翔;[J];自然杂志;1984年04期
鲍吉士;[J];测绘科学;1984年01期
陈然;韩青;;[J];仪器仪表与分析监测;1985年04期
张小津;[J];电信科学;1986年03期
;[J];广播与电视技术;1987年05期
王令朝;[J];电信科学;1988年03期
田中富士雄;张忠麟;;[J];真空电子技术;1988年01期
高文琦,周进;[J];中国激光;1989年05期
中国重要会议论文全文数据库
张占文;吴卫东;赵鹏骥;罗江山;许华;黄勇;;[A];中国工程物理研究院科技年报（1999）[C];1999年
张成;盛建伦;;[A];1999中国控制与决策学术年会论文集[C];1999年
辛文占;韩伟旗;;[A];2006年河北省轧钢技术与学术年会论文集（上册）[C];2006年
叶震宇;;[A];江苏省计量测试学会2006年论文集[C];2006年
王当强;刘庆瑞;匡世明;;[A];中国钢结构协会第五次全国会员代表大会暨学术年会论文集[C];2007年
余加勇;朱建军;张坤;易笃韬;;[A];节能环保 和谐发展——2007中国科协年会论文集（一）[C];2007年
沈珍;;[A];中国化学会第26届学术年会无机与配位化学分会场论文集[C];2008年
姚文华;张晓峰;胡英;劳浦东;李杰;袁诗鑫;;[A];中国物理学会光散射专业委员会成立十周年暨第六届学术会议论文集（上）[C];1991年
中国重要报纸全文数据库
烽火通信科技股份有限公司副总裁
李广成;[N];网络世界;2000年
钱志远;[N];电子报;2001年
S[N];中国电脑教育报;2003年
;[N];中国电子报;2004年
6[N];计算机世界;2004年
;[N];中华工商时报;2004年
;[N];国际商报;2005年
志石;[N];中国质量报;2006年
DigiT[N];电子资讯时报;2006年
梁燕蕙 DigiT[N];电子资讯时报;2007年
中国博士学位论文全文数据库
张心正;[D];南开大学;2001年
刘爱明;[D];北京交通大学;2005年
中国硕士学位论文全文数据库
冯晓强;[D];西北大学;2000年
杨涛;[D];南京师范大学;2004年
刘海静;[D];吉林大学;2006年
李赟;[D];北京交通大学;2007年
任玉荣;[D];北京化工大学;2009年
&快捷付款方式
&订购知网充值卡
400-819-9993
《中国学术期刊（光盘版）》电子杂志社有限公司
地址：北京清华大学 84-48信箱 知识超市公司
出版物经营许可证 新出发京批字第直0595号
同方知网数字出版技术股份有限公司
订购热线：400-819-82499
在线咨询：
传真：010-
京公网安备74号一种高效的Web新闻发表时间提取方法--《小型微型计算机系统》2013年09期
一种高效的Web新闻发表时间提取方法
【摘要】：Web网页的发表时间在Web搜索中起到重要的作用,因为用户获取的结果往往是与时间密切相关的.本文围绕Web新闻发表时间的提取,提出了一种高效的Web新闻发表时间提取方法.该方法考虑到了Web新闻网页URL地址隐含时间信息的特性,信息发表时间与新闻标题的距离约束.在主流的7个中文搜索引擎,使用了30个关键字,共获取3827篇Web新闻信息进行了提取时间的准确率及时间消耗的实验分析与比较,结果显示本文提出方法的准确率为95.5%,时间消耗为88秒.
【作者单位】：
【关键词】：
【基金】：
【分类号】：TP391.3【正文快照】：
1引言随着社会信息化的迅猛发展,互联网已经成为人们获取信息的重要来源.由于互联网信息具有海量、复杂、非结构化等特点,这为互联网信息的获取带来了很大困难.大量的舆情监测系统的应用推广表明,对互联网上各种不同的信息载体(比如新闻网、博客、论坛、微博、贴吧等)进行信
欢迎：、、)
支持CAJ、PDF文件格式，仅支持PDF格式
【参考文献】
中国期刊全文数据库
刘莉;何中市;邢欣来;毛小丽;;[J];计算机应用研究;2011年07期
邬桐;周雅倩;黄萱菁;吴立德;;[J];中文信息学报;2010年04期
谭红叶;郑家恒;梁吉业;;[J];中文信息学报;2011年05期
李君婵;谭红叶;王风娥;;[J];计算机科学;2012年S3期
林静;曹德芳;苑春法;;[J];清华大学学报(自然科学版)网络.预览;2008年01期
孙荣;周文;刘宗田;;[J];小型微型计算机系统;2011年11期
【共引文献】
中国期刊全文数据库
王风娥;谭红叶;钱揖丽;;[J];计算机工程;2012年04期
李君婵;谭红叶;王风娥;;[J];计算机科学;2012年S3期
肖升;何炎祥;李勇帆;;[J];计算机应用;2013年06期
沈思;苏新宁;谢靖;王东波;;[J];图书情报工作;2012年18期
昝红英;张腾飞;张坤丽;;[J];计算机工程与设计;2013年06期
冷伏海;白如江;祝清松;;[J];图书情报工作;2013年11期
中国硕士学位论文全文数据库
许旭阳;[D];解放军信息工程大学;2011年
王风娥;[D];山西大学;2012年
刘明;[D];重庆大学;2012年
刘莉;[D];重庆大学;2012年
朱孟侠;[D];浙江工商大学;2013年
【二级参考文献】
中国期刊全文数据库
贺瑞芳;秦兵;潘越群;刘挺;李生;;[J];高技术通讯;2008年12期
徐永东;徐志明;王晓龙;刘远超;;[J];哈尔滨工业大学学报;2007年03期
刘宗田;黄美丽;周文;仲兆满;付剑锋;单建芳;智慧来;;[J];计算机科学;2009年11期
付剑锋;刘宗田;付雪峰;周文;仲兆满;;[J];计算机科学;2009年11期
姜吉发;[J];计算机工程;2005年15期
张仰森;;[J];计算机工程;2009年18期
汤庸;林鹭贤;罗烨敏;潘炎;;[J];计算机应用;2008年11期
黄高辉;姚天昉;刘全升;;[J];计算机应用研究;2010年06期
刘莉;何中市;邢欣来;毛小丽;;[J];计算机应用研究;2011年07期
王昀,苑春法;[J];中文信息学报;2004年04期
【相似文献】
中国期刊全文数据库
李向阳;苗壮;肖江;;[J];军事通信技术;2004年02期
贺令亚;柳佳刚;;[J];电脑开发与应用;2007年06期
张春明;;[J];廊坊师范学院学报(自然科学版);2008年05期
张岩;;[J];科技信息(学术研究);2008年36期
邹荣;;[J];福建电脑;2009年02期
吴芳;郑君;刘金亮;宗克玄;;[J];电脑知识与技术;2009年24期
于薇;;[J];才智;2009年28期
张涛;胡正华;夏明星;;[J];电脑知识与技术;2010年01期
朱青;吕晓旭;;[J];微计算机信息;2010年09期
祝伟华;卢熠;刘斌斌;;[J];计算机科学;2010年02期
中国重要会议论文全文数据库
崔欣辰;曲宁;陈青华;;[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];2010年
李纪华;夏薇;;[A];全国高校社科信息资料研究会第六次会员代表大会暨第13次学术研讨会论文集[C];2010年
吴雪军;朱靖波;王会珍;叶娜;张宇新;;[A];语言计算与基于内容的文本处理——全国第七届计算语言学联合学术会议论文集[C];2003年
姜吉发;王树西;;[A];NCIRCS2004第一届全国信息检索与内容安全学术会议论文集[C];2004年
徐林昊;杨文柱;陈少飞;郝亚南;李天柱;;[A];第十九届全国数据库学术会议论文集（研究报告篇）[C];2002年
乔春庚;肖诗斌;孙丽华;施水才;;[A];第三届学生计算语言学研讨会论文集[C];2006年
周国栋;孔芳;朱巧明;;[A];内容计算的研究与应用前沿——第九届全国计算语言学学术会议论文集[C];2007年
徐云风;蒋文蓉;;[A];IT服务促进企业信息化——第十一届中国Java技术及应用交流大会文集[C];2008年
孟红;钟华;;[A];第六届全国信息检索学术会议论文集[C];2010年
丁晟春;刘逶迤;熊霞;梅健;;[A];第四届全国信息检索与内容安全学术会议论文集（上）[C];2008年
中国重要报纸全文数据库
史小敏;[N];解放军报;2004年
彭芳;[N];中国计算机报;2004年
本报记者 王翌;[N];计算机世界;2004年
上海交通大学APEX数据和知识管理实验室
王昊奋?俞勇;[N];计算机世界;2007年
董振东;[N];中国计算机报;2003年
司静辉;[N];科技日报;2007年
任一鸣;[N];计算机世界;2007年
张友林 甘肃省武威市凉州区中医院;[N];中国中医药报;2009年
马志彦;[N];中国计算机报;2002年
本报记者 于翔;[N];网络世界;2004年
中国博士学位论文全文数据库
刘亚清;[D];大连海事大学;2011年
刘娜;[D];大连海事大学;2012年
李传席;[D];中国科学技术大学;2012年
张奇;[D];中国科学技术大学;2010年
胡国平;[D];中国科学技术大学;2007年
张乃洲;[D];武汉大学;2011年
余传明;[D];武汉大学;2005年
钱伟中;[D];电子科技大学;2011年
陈治平;[D];湖南大学;2003年
滕伟;[D];上海交通大学;2007年
中国硕士学位论文全文数据库
金璐钰;[D];苏州大学;2010年
杨柱;[D];湖南大学;2010年
田红;[D];西北师范大学;2004年
杨文柱;[D];河北大学;2002年
张志强;[D];河北大学;2004年
陈兰;[D];电子科技大学;2004年
孟令谦;[D];电子科技大学;2004年
王花;[D];西北农林科技大学;2010年
杨秀丽;[D];河北科技大学;2010年
廉成洋;[D];南京航空航天大学;2010年
&快捷付款方式
&订购知网充值卡
400-819-9993
《中国学术期刊（光盘版）》电子杂志社有限公司
地址：北京清华大学 84-48信箱 知识超市公司
出版物经营许可证 新出发京批字第直0595号
同方知网数字出版技术股份有限公司
订购热线：400-819-82499
在线咨询：
传真：010-
京公网安备74号基于标签内特征词的OA期刊站点自动分类方法--《小型微型计算机系统》2014年01期
基于标签内特征词的OA期刊站点自动分类方法
【摘要】：开放存取(OA)期刊站点的自动分类是整合OA期刊论文资源建立数字资源库的前提.文中提出一种基于网页标签内特征词的OA期刊站点自动分类方法.首先,抽取网页不同HMTL标签中的词构建语料库,将网页中不同的标签赋予不同的权值,并提出了最优权值计算算法,据此对TF*IDF计算模型进行改进,从而计算特征词权值得到文本向量表示;然后,计算每两个类别的最小欧氏距离,取最小欧氏距离较大的一对类别构建上层分类节点,对有向无环图支持向量机(DAG-SVM)的构建过程进行改进;最后,利用改进的DAG-SVM对OA期刊站点进行分类.实验结果表明,该方法具有较好的分类效果.
【作者单位】：
【关键词】：
【基金】：
【分类号】：TP391.1【正文快照】：
1引言OA资源属于深层web资源,整合OA资源以便建立一种按学科领域分类组织的数字资源库,实现OA期刊论文快速共享及访问,成为当前研究的热点[1].其中,OA期刊站点自动分类,是整合OA资源建立数字资源库的前提.一般OA期刊站点首页包含标题和期刊介绍,用于说明期刊的学科领域.例如,A
欢迎：、、)
支持CAJ、PDF文件格式，仅支持PDF格式
【参考文献】
中国期刊全文数据库
李晓黎,刘继敏,史忠植;[J];计算机学报;2001年01期
钱建立;刘军兰;张薇;;[J];情报杂志;2009年07期
【共引文献】
中国期刊全文数据库
高波,眭莉;[J];常州工学院学报;2004年02期
陈子军;王鑫昱;;[J];燕山大学学报;2008年01期
李国发;;[J];大理学院学报;2010年03期
丁志勇;杨苹;杨曦;张臻;;[J];电力系统自动化;2012年14期
江祥奎,原思聪;[J];电脑开发与应用;2005年10期
黎昱,黄席樾,周欣,刘涛;[J];重庆大学学报(自然科学版);2003年07期
张莉,康耀红,王曙光,张春元;[J];福建电脑;2004年05期
黄发良,钟智;[J];广西师范学院学报(自然科学版);2004年03期
付德宇;代成琴;仲玮;;[J];哈尔滨工业大学学报;2006年01期
童亚拉;;[J];华中师范大学学报(自然科学版);2008年04期
中国重要会议论文全文数据库
张东娜;彭宏;吴铁峰;;[A];第一届全国Web信息系统及其应用会议（WISA2004）论文集[C];2004年
王世卫;李爱国;;[A];第三届全国信息获取与处理学术会议论文集[C];2005年
程静;邱玉辉;;[A];第十八届全国数据库学术会议论文集（技术报告篇）[C];2001年
中国博士学位论文全文数据库
韩晓明;[D];太原理工大学;2011年
杨抒;[D];北京林业大学;2011年
王飞;[D];南京理工大学;2011年
刘松华;[D];西安电子科技大学;2011年
刘笑嶂;[D];中山大学;2010年
杨旭;[D];上海交通大学;2011年
应晓敏;[D];中国人民解放军国防科学技术大学;2003年
吴涛;[D];中国人民解放军国防科学技术大学;2003年
解应春;[D];浙江大学;2003年
宋枫溪;[D];南京理工大学;2004年
中国硕士学位论文全文数据库
张磊;[D];哈尔滨工程大学;2010年
张峰;[D];大连理工大学;2010年
徐晓丹;[D];辽宁工程技术大学;2009年
石华;[D];大连交通大学;2010年
曹云生;[D];河北农业大学;2011年
何文涛;[D];中国地质大学（北京）;2011年
龚垒;[D];河南理工大学;2011年
马兴民;[D];河北工程大学;2011年
王甲坤;[D];电子科技大学;2011年
秦树伟;[D];中国海洋大学;2011年
【二级参考文献】
中国期刊全文数据库
李晓黎,史忠植;[J];计算机研究与发展;2000年12期
胡飞;;[J];计算机科学;2005年08期
钱建立;吴广茂;张薇;;[J];情报杂志;2008年10期
郑德权;张迪;赵铁军;于浩;;[J];通信学报;2007年12期
【相似文献】
中国期刊全文数据库
宋军涛;周铜;杜庆灵;;[J];计算机工程与应用;2009年17期
王清翔;仲婷;潘金贵;;[J];广西师范大学学报(自然科学版);2007年02期
张东娜;郭晓燕;刘博;;[J];计算机应用与软件;2009年06期
马永军,方凯,刘暾东,方廷健;[J];信息与控制;2002年05期
周志明,陈敏;[J];咸宁学院学报;2003年03期
吴成东,杜崇峰,杨丽英;[J];沈阳建筑工程学院学报(自然科学版);2004年01期
张辉,张浩,陆剑峰;[J];计算机工程;2004年06期
李忠伟,张健沛,杨静,张福顺;[J];计算机应用研究;2004年12期
唐发明,王仲东,陈绵云;[J];计算机工程与应用;2005年07期
王顺利;[J];微电子学与计算机;2005年04期
中国重要会议论文全文数据库
唐超;刘辰;杨正球;;[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集（上册）[C];2008年
杨凌;刘玉树;;[A];第三届全国数字成像技术及相关材料发展与应用学术研讨会论文摘要集[C];2004年
许建生;盛立东;;[A];第八届全国汉字识别学术会议论文集[C];2002年
常俊林;魏巍;梁君燕;;[A];中国自动化学会控制理论专业委员会C卷[C];2011年
宋普云;沈雪勤;吴清;;[A];第六届全国计算机应用联合学术会议论文集[C];2002年
乔立岩;彭喜元;彭宇;;[A];2004全国测控、计量与仪器仪表学术年会论文集（上册）[C];2004年
王晶;薛毅;;[A];2007中国控制与决策学术年会论文集[C];2007年
王伟强;付立波;高文;黄庆明;蒋树强;;[A];全国网络与信息安全技术研讨会论文集（下册）[C];2007年
杨凌;刘玉树;;[A];中国航空学会信号与信息处理专业全国第八届学术会议论文集[C];2004年
徐扬;陈实;田玉敏;;[A];2008'中国信息技术与应用学术论坛论文集（二）[C];2008年
中国重要报纸全文数据库
清华大学 苏光大;[N];计算机世界;2006年
;[N];计算机世界;2007年
边歆;[N];网络世界;2010年
中国博士学位论文全文数据库
燕忠;[D];东南大学;2005年
佟伟民;[D];哈尔滨工业大学;2008年
陈万海;[D];哈尔滨工程大学;2008年
田江;[D];大连理工大学;2009年
秦玉平;[D];大连理工大学;2008年
何静媛;[D];重庆大学;2009年
李伦波;[D];哈尔滨工业大学;2008年
陈宝文;[D];哈尔滨工业大学;2009年
王开义;[D];北京工业大学;2011年
沈传河;[D];山东科技大学;2011年
中国硕士学位论文全文数据库
朱健康;[D];天津大学;2010年
张琼;[D];西安电子科技大学;2008年
江锋;[D];南京理工大学;2003年
邹加棋;[D];福州大学;2006年
朱晓芳;[D];江苏大学;2010年
王晓霞;[D];中北大学;2007年
车志富;[D];北京交通大学;2010年
黄文艳;[D];河北工业大学;2003年
张楠;[D];长春理工大学;2010年
吴惠雄;[D];中南林业科技大学;2009年
&快捷付款方式
&订购知网充值卡
400-819-9993
《中国学术期刊（光盘版）》电子杂志社有限公司
地址：北京清华大学 84-48信箱 知识超市公司
出版物经营许可证 新出发京批字第直0595号
同方知网数字出版技术股份有限公司
订购热线：400-819-82499
在线咨询：
传真：010-
京公网安备74号一种出具证明编译器中的汇编级断言和证明生成的方法--《小型微型计算机系统》2011年06期
一种出具证明编译器中的汇编级断言和证明生成的方法
【摘要】：携带证明代码允许代码消费方通过检查代码生产方提供的证明,来判断代码是否满足相应的安全规范.本文实现了一个类C语言的出具证明编译器原型,它在将带有规范标注的源代码编译成汇编代码的同时,还能产生汇编代码满足相应规范的Coq可检查证明,从而保证汇编代码的安全性.本文设计了一种Hoare风格的汇编级验证框架,并在此框架下提出并实现一种新的自动生成汇编级断言和证明的方法.
【作者单位】：
【关键词】：
【基金】：
【分类号】：TP313【正文快照】：
1引言随着计算机科学的迅速发展,软件规模日益庞大.现在人们在考虑软件执行效率的同时,也越来越关注其安全性(Safety).高可信软件的研究致力于使用前沿的技术和工具来提高当今计算机软件的安全性.其中,程序验证(ProgramVerification)是一种构建高可信软件的方法.程序验证研究
欢迎：、、)
支持CAJ、PDF文件格式，仅支持PDF格式
【二级参考文献】
中国期刊全文数据库
项森;陈意云;林春晓;李隆;;[J];计算机研究与发展;2007年02期
【相似文献】
中国期刊全文数据库
丁志义;宋国新;邵志清;;[J];小型微型计算机系统;2006年07期
丁志义;宋国新;邵志清;;[J];计算机科学;2006年01期
毕忠勤;曾振柄;郭远华;;[J];计算机应用;2008年07期
牟琳;李轶;李玲娜;刘栋;;[J];四川大学学报(工程科学版);2011年03期
刘定飞;钟珞;;[J];计算机科学;1994年01期
田丰;邢建英;;[J];计算机与现代化;2011年07期
王戟;贲可荣;;[J];计算机工程与科学;1992年04期
赵岭忠;古天龙;蔡国永;钱俊彦;;[J];计算机科学;2008年07期
李隆;陈意云;林春晓;;[J];小型微型计算机系统;2009年09期
蒋信予;郭宇;陈意云;;[J];计算机应用与软件;2010年05期
中国重要会议论文全文数据库
张岚;高博;;[A];2011年青年通信国际会议论文集[C];2011年
梁睿;刘林霞;张自强;;[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集（下册）[C];2009年
中国重要报纸全文数据库
李楠;[N];中国计算机报;2006年
权彦杰;[N];中华读书报;2001年
本报记者 刘学习;[N];计算机世界;2010年
中国博士学位论文全文数据库
徐鸣;[D];华东师范大学;2010年
武斌;[D];华东师范大学;2010年
郭宇;[D];中国科学技术大学;2007年
赵岭忠;[D];西安电子科技大学;2007年
王振明;[D];中国科学技术大学;2009年
李兆鹏;[D];中国科学技术大学;2008年
范文庆;[D];北京邮电大学;2010年
王志芳;[D];中国科学技术大学;2009年
李勇;[D];中国科学技术大学;2011年
张志海;[D];北京大学;2011年
中国硕士学位论文全文数据库
张志天;[D];中国科学技术大学;2011年
曲文敬;[D];大连理工大学;2004年
章程;[D];上海交通大学;2007年
何志学;[D];苏州大学;2008年
石铠源;[D];解放军信息工程大学;2007年
闻晓;[D];西南大学;2009年
张臻婷;[D];中国科学技术大学;2010年
徐辰;[D];中国科学院研究生院（软件研究所）;2002年
费宗翔;[D];华东师范大学;2009年
陶荣;[D];长沙理工大学;2010年
&快捷付款方式
&订购知网充值卡
400-819-9993
《中国学术期刊（光盘版）》电子杂志社有限公司
地址：北京清华大学 84-48信箱 知识超市公司
出版物经营许可证 新出发京批字第直0595号
同方知网数字出版技术股份有限公司
订购热线：400-819-82499
在线咨询：
传真：010-
京公网安备74号