[!--title--]

来源 :南京大学 | 被引量 : [!--cite_num--]次 | 上传用户:[!--user--]
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
[!--newstext--]
其他文献
关于产品质量问题的研究由来已久,可靠性是产品质量的固有特性之一,是产品质量的重要方面。无论是硬件产品、软件产品还是软硬件结合的复杂系统产品,正确评估产品的可靠性是评估
搜索算法是逻辑证明中的经典方法,广泛用于直觉主义逻辑,古典逻辑等多种逻辑系统。Kripke模型是一个非常简单而有效的模型,它能对解释直觉主义逻辑的语义给予合理的解释。  
如今,Web已经成为信息量最大、应用范围最广的传播媒体。但面对着Web中的海量数据,人们依然无法解决知识匮乏的问题。Web新闻的主题检测研究为人们提供了一种由数据管理向知识
海量音频数据检索技术的迅速发展,对已有的特征选择算法提出了严峻的挑战。迫切需要适应音乐数据集的准确性和运行效率等综合性能较好的特征选择算法以及机器学习方法。本文
安全操作系统的设计和实现过程中对形式化方法有很高的要求。在各种形式化验证方法中,模型检验以其自动化程度高并且能够提供验证反例帮助纠错而受到人们的关注。如何定义和选
基于内存的安全漏洞一直是计算机主机系统安全的主要原因。在过去的十年中出现了许多用于防御基于内存安全漏洞攻击的技术。主要可以分为两类,一类是针对代码本身的静态方法,主
软件脆弱性是产生安全威胁的重要原因,是信息安全研究的重点问题之一。对脆弱性的研究是预防、检测和消除脆弱性的依据和基础,可以帮助人们理解系统中的安全问题,为提高系统的安
特征选择是机器学习领域的一个重要研究内容。在许多实际应用中,需要采用特征选择技术优化特征集,提高分类的精度和效率。在数字乳腺图像肿块的自动检测过程中,需要提取有效反映
随着软件开发规模的不断增长,软件开发团队的管理以及团队成员之间沟通的重要性也越来越大。团队成员之间沟通的效率对软件项目进展、质量的影响,甚至超越了开发人员的个人素质
随着信息技术的发展,软件安全成为信息技术的一个研究热点。作为软件运行基础,操作系统的安全性尤为重要。其中,隐蔽通道分析和处理是高等级安全操作系统开发中不可或缺的环节。