检索结果-内蒙古大学图书馆

中国科学院院刊 2021年第12期36卷 1497-1505页

作者：隆云滔王晓明顾荣包云岗中国科学院科技战略咨询研究院北京100190 中国科学院大学公共政策与管理学院北京100049 计算机软件新技术国家重点实验室(南京大学) 南京210023 南京大学计算机科学与技术系南京210023 中国科学院计算技术研究所北京100190

开源已成为全球科技进步至关重要的创新渠道。开源创新体系建设是我国实现科技自立自强的重要途径。中国作为全球软件价值链和高新技术产业链必不可少的一环,需要更完善的开源创新生态。文章在系统梳理欧美先发国家开源发展经验的基础上... 详细信息

开源已成为全球科技进步至关重要的创新渠道。开源创新体系建设是我国实现科技自立自强的重要途径。中国作为全球软件价值链和高新技术产业链必不可少的一环,需要更完善的开源创新生态。文章在系统梳理欧美先发国家开源发展经验的基础上,立足我国开源生态建设面临的实际问题,提出促进我国开源创新体系建设的政策建议。

关键词：开源基金会开源治理开源生态开源创新体系

来源：评论

学校读者我要写书评

暂无评论

软件开发方法发展回顾与展望

引用

软件学报 2019年第1期30卷 3-21页

作者：马晓星刘譞哲谢冰余萍张天卜磊李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法... 详细信息

软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法、面向对象方法、软件复用与构件化方法、面向方面的方法、模型驱动的方法,以及服务化的方法.而后针对Internet的发展普及以及人机物融合应用对软件开发方法提出的挑战,介绍了网构软件的研究和探索,并展望未来人机物融合的软件方法和技术.

关键词：软件开发方法回顾展望

来源：评论

学校读者我要写书评

暂无评论

形式化方法概貌

引用

软件学报 2019年第1期30卷 33-61页

作者：王戟詹乃军冯新宇刘志明国防科技大学计算机学院湖南长沙410073 高性能计算国家重点实验室(国防科技大学) 湖南长沙410073 中国科学院软件研究所北京100190 天基综合信息系统重点实验室(中国科学院软件研究所) 北京100190 南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 西南大学计算机与信息科学学院重庆400715 西南大学软件研究与创新中心重庆400715

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各... 详细信息

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工智能、网络空间安全、量子计算、生物计算等领域和方向交叉融合,得到更加广阔的应用.研究和建立这种交叉融合的理论和方法不仅重要,而且具有挑战性.

关键词：形式化方法形式规约形式验证程序设计方法学软件开发

来源：评论

学校读者我要写书评

暂无评论

软件安全漏洞检测专题前言

引用

软件学报 2018年第5期29卷 1177-1178页

作者：王林章陈恺王戟计算机软件新技术国家重点实验室(南京大学) 南京大学计算机科学与技术系信息安全国家重点实验室(中国科学院信息工程研究所) 中国科学院大学网络空间安全学院国防科技大学计算机学院

软件安全漏洞是软件中存在的可能被利用而造成损害的薄弱环节.随着互联网和移动互联网的快速发展,软件因为自身存在漏洞而遭受外界利用攻击,导致隐私泄漏、非法提权、勒索等严重不安全后果.尽早检测软件中存在的安全漏洞并及时实现修复... 详细信息

软件安全漏洞是软件中存在的可能被利用而造成损害的薄弱环节.随着互联网和移动互联网的快速发展,软件因为自身存在漏洞而遭受外界利用攻击,导致隐私泄漏、非法提权、勒索等严重不安全后果.尽早检测软件中存在的安全漏洞并及时实现修复、加固,是网络空间安全领域国内外学术界和产业界的共识与主要关注点.本专题公开征文,共收到投稿28篇,其中26篇论文通过了形式审查,内容涉及软件安全漏洞检测的各个方面.特约编辑先后邀请了20多位专家参与审稿工作,每篇投稿至少邀请2位专家进行评审.稿件经初审、复审、

关键词：软件安全漏洞检测专题移动互联网网络空间安全安全漏洞检测软件审稿工作

来源：评论

学校读者我要写书评

暂无评论

基于SR-IOV的虚拟机防火墙设计与实现

引用

计算机工程 2014年第5期40卷 154-157页

作者：荀仲恺黄皓金胤丞南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046 中国电子科技集团公司第三十二研究所上海200233

由于虚拟网络数据传输时,用户态与核心态之间频繁切换,导致虚拟域间多次数据拷贝严重影响网络I/O性能。为此,提出一种高性能的虚拟机防火墙设计方案。利用SR-IOV规范的高性能数据传输特性和对接收数据包的过滤功能,使虚拟域直接与真实... 详细信息

由于虚拟网络数据传输时,用户态与核心态之间频繁切换,导致虚拟域间多次数据拷贝严重影响网络I/O性能。为此,提出一种高性能的虚拟机防火墙设计方案。利用SR-IOV规范的高性能数据传输特性和对接收数据包的过滤功能,使虚拟域直接与真实网卡交互。针对低特权级的虚拟域中防火墙容易受到攻击的问题,通过在高特权级的Xen中部署监控模块,对虚拟域中的防火墙进行实时监控。实验结果表明,应用SR-IOV网卡可使虚拟机的网络I/O性能相对于Xen传统网络访问模式平均提高1倍以上,并且具有监控模块的Xen能防止防火墙被非法访问和恶意篡改,保证防火墙的安全。

关键词：虚拟化 Xen虚拟机管理器 SR—IOV规范防火墙高性能监控

来源：评论

学校读者我要写书评

暂无评论

基于支持向量数据描述的P2P流量识别

引用

吉林大学学报（工学版） 2012年第4期42卷 947-951页

作者：刘三民孙知信南京航空航天大学计算机科学与技术学院南京210016 安徽工程大学计算机与信息学院安徽芜湖241000 南京邮电大学计算机技术研究所南京210003 南京大学计算机软件新技术国家重点实验室南京210093

借鉴聚类思想引入基于支持向量数据描述(SVDD)的原理,建立P2P流量识别模型。该模型首先用主成分分析法(PCA)对训练集降维,然后用SVDD方法寻找包含大部分样本最小超球,保留各自支持向量样本点作为识别模型;然后计算测试样本距各球心距离... 详细信息

借鉴聚类思想引入基于支持向量数据描述(SVDD)的原理,建立P2P流量识别模型。该模型首先用主成分分析法(PCA)对训练集降维,然后用SVDD方法寻找包含大部分样本最小超球,保留各自支持向量样本点作为识别模型;然后计算测试样本距各球心距离,距离近者为其所属类别。该模型简单,适合P2P流量识别环境,克服了现有基于机器学习的流量识别方法在多类分类中模型复杂、数据不平衡等缺点。实验结果表明,该模型具有较高的分类精度和可靠性。

关键词：计算机系统结构支持向量数据描述主成分分析 P2P流量识别

来源：评论

学校读者我要写书评

暂无评论

一种基于模型结合的错误定位方法

引用

中国科技论文 2012年第1期7卷 19-27页

作者：唐启锋许蕾钱巨陈林张震宇南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093 南京航空航天大学计算机科学与技术学院南京210016 中国科学院软件研究所计算机科学国家重点实验室北京100080

目前大多数错误定位技术的研究均基于单一类型的程序节点(如语句、谓词等),其效果往往只在定位相应类型的错误时表现较好,而定位其他类型的程序错误时则表现不佳。为此,借鉴机器学习领域中集成学习的思想,建立多错误定位方法相结合的错... 详细信息

目前大多数错误定位技术的研究均基于单一类型的程序节点(如语句、谓词等),其效果往往只在定位相应类型的错误时表现较好,而定位其他类型的程序错误时则表现不佳。为此,借鉴机器学习领域中集成学习的思想,建立多错误定位方法相结合的错误定位模型,并综合了基于语句覆盖信息和程序谓词信息这2种错误定位方法,提出了3种新的错误定位方法。实验结果表明,相对于此前单一的方法,所提出的2种方法具有更高的错误定位效率和更强的适应性。

关键词：错误定位.集成学习程序分析软件调试

来源：评论

学校读者我要写书评

暂无评论

基于K均值集成和SVM的P2P流量识别研究

引用

计算机科学 2012年第4期39卷 46-48,74页

作者：刘三民孙知信刘余霞安徽工程大学计算机与信息学院芜湖241000 南京航空航天大学计算机科学与技术学院南京210016 南京邮电大学计算机技术研究所南京210003 南京大学计算机软件新技术国家重点实验室南京210093 安徽工程大学电气工程学院芜湖241000

提出基于K均值集成和支持向量机相结合的P2P流量识别模型,以保证流量识别精度和稳定性,克服聚类识别模型中参数值难以确定、复杂性高等缺点。对少量标签样本采用随机簇中心的K均值算法训练基聚类器,按最大后验概率分配簇标签,无标签样... 详细信息

提出基于K均值集成和支持向量机相结合的P2P流量识别模型,以保证流量识别精度和稳定性,克服聚类识别模型中参数值难以确定、复杂性高等缺点。对少量标签样本采用随机簇中心的K均值算法训练基聚类器,按最大后验概率分配簇标签,无标签样本与其最近簇标签一致;按投票机制集成无标签样本标签信息,并结合原标签样本训练支持向量机识别模型。该模型利用了集成学习稳定性和SVM在小样本集上的良好泛化性能。理论分析和仿真实验结果证明了方案的可行性。

关键词：流量识别支持向量机 K均值集成学习

来源：评论

学校读者我要写书评

暂无评论

一种基于模型结合的错误定位方法

引用

新型工业化 2012年第3期 54-64页

作者：唐启锋许蕾钱巨陈林张震宇南京大学计算机软件新技术国家重点实验室，南京 210093 南京大学计算机科学与技术系，南京 210093 南京航空航天大学计算机科学与技术学院南京210016 中国科学院软件研究所，计算机科学国家重点实验室，北京 100080

目前大多数错误定位技术的研究均基于单一类型的程序节点（如语句、谓词等），其效果往往只在定位相应类型的错误时表现较好，而定位其他类型的程序错误时则表现不佳。为此，借鉴机器学习领域中集成学习的思想，建立多错误定位方法相结... 详细信息

目前大多数错误定位技术的研究均基于单一类型的程序节点（如语句、谓词等），其效果往往只在定位相应类型的错误时表现较好，而定位其他类型的程序错误时则表现不佳。为此，借鉴机器学习领域中集成学习的思想，建立多错误定位方法相结合的错误定位模型，并综合了基于语句覆盖信息和程序谓词信息这2种错误定位方法，提出了3种新的错误定位方法。实验结果表明，相对于此前单一的方法，所提出的2种方法具有更高的错误定位效率和更强的适应性。

关键词：错误定位集成学习程序分析软件调试

来源：评论

学校读者我要写书评

暂无评论

无线网络环境下的缓存策略研究

引用

计算机科学 2009年第4期36卷 1-4,11页

作者：林晨黄宇金蓓弘中国科学院软件研究所软件工程技术中心北京100190 中国科学院研究生院北京100049 南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

日益普及的无线网络和移动设备为普适的Internet接入提供了良好的硬件基础,缓存技术是普适Internet场景中人们进行信息共享和分发的关键技术之一。综述了两类无线网络环境,即基于基础设施无线网络环境和移动自组网中的缓存策略,具体包... 详细信息

日益普及的无线网络和移动设备为普适的Internet接入提供了良好的硬件基础,缓存技术是普适Internet场景中人们进行信息共享和分发的关键技术之一。综述了两类无线网络环境,即基于基础设施无线网络环境和移动自组网中的缓存策略,具体包括缓存放置策略、缓存替换策略、缓存一致性维护算法。进而分析、讨论了上述策略的优缺点,并指出了缓存策略的发展趋势。

关键词：无线网络缓存放置替换一致性

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：