切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
[!--class.name--]论文
[!--title--]
[!--title--]
来源 :北京大学 | 被引量 : [!--cite_num--]次 | 上传用户:[!--user--]
【摘 要】
:
随着软件技术的发展和对软件可靠性要求的提高,人们越来越重视软件质量。软件测试作为保证软件质量的一种重要技术,在整个软件开发成本中占有重大比重,提高软件测试效率具有
【作 者】
:
赵旭
【机 构】
:
北京大学
【出 处】
:
北京大学
【发表日期】
:
2011年期
【关键词】
:
动态符号执行
软件测试自动化
代码插装
解约束
软件可靠性
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
[!--newstext--]
其他文献
多源异构数据学习问题研究
近年来,社交媒体、监控摄像头、生物识别传感器和社交媒体产生的数据迅速增长。大量的可视化数据对机器学习方法提出了更高的要求。同时,数据来源多样、标签信息弱等问题使得传
学位
多源异构数据
图像特征
融合学习模型
弱监督学习
高性能伺服装置负载惯量辨识方法的研究与实现
伺服装置是机电一体化的核心执行部件,广泛应用在机器人、数控机床等对电机性能要求较高、运行可靠性要求较强的领域。转动惯量是保证伺服系统高性能控制的关键参数。能够辨识出伺服系统负载下的惯量值,对实现控制器参数自整定、提高控制性能、保证动态稳定性具有较高工程应用意义。本文首先介绍了永磁同步电机的数学模型以及矢量控制策略,分析了转动惯量对控制器参数自整的作用,同时对伺服系统的转动惯量模型进行分析。在伺服装
学位
永磁同步电机
伺服系统
软件设计
惯量辨识
参数自整定
控制性能
星载高速数据处理技术研究——空间SRAM型FPGA的单粒子翻转容错设计与实现
在我国航天过去十多年的发展中,FPGA因其功能配置时的多样性与重复性,海量数据处理时的灵活性与高效性,被广泛的应用到航天器电子系统中,承担空间环境下的数字信号处理、图像
学位
空间环境
航天器
电子系统
星载高速数据处理
可编程逻辑阵列
单粒子翻转
容错设计
可信计算密钥管理机制的研究与实现
尽管国际可信计算组织(Trusted Computing Group,TCG)已经对可信平台模块(Trusted Computing Module,TPM)形成了一套完整的规范,并且TPM的技术也是开放的,但由于掌握核心技术
学位
可信计算
密钥管理
自主密码算法
可信密码模块
互联网地图服务中的空间运算关键技术研究
地理信息系统正在获得越来越广泛而深入的应用。Web也已经成为地理信息访问、服务共享的主流平台。以空间查询与空间分析为主要内容的空间运算是GIS(GeographicInformation S
学位
地理信息系统
空间查询
网络地图服务
空间数据模型
空间索引
R树
顺序回归方法及其应用研究
随着移动通信技术的发展和大数据时代的到来,互联网中涌现出大量蕴含着巨大价值的数据,如微博、产品评论等。海量的数据对数据的处理技术及数据挖掘方法带来了空前的挑战。顺序
学位
数据处理
顺序回归
支持向量机
核极限学习
加速算法
数量关联规则挖掘的研究及应用
关联规则挖掘是数据挖掘中一个重要分支,其应用领域已从最初的零售业扩展到电信业、金融保险业以及IT业等。而数量关联规则挖掘是关联规则挖掘的重要研究方向,它是解决关系型
学位
数据挖掘
数量关联规则
算法改进
天气预测
分数阶超混沌系统研究及其同步在图像加密中的应用
非线性系统存在于大部分的自然和社会现象中,其丰富多样的运动模式和复杂多变的运动过程对于我们认识客观世界发挥着重大作用。而混沌作为非线性科学领域的重要分支,揭示了自
学位
非线性系统
混沌
分数阶超混沌系统
混沌同步
保密通信
面向共享存储的性能虚拟化关键技术研究
随着数据管理复杂度和维护成本的增加,采用共享存储系统进行IO整合已成为业界一种趋势。但并发应用间的干扰造成了性能的不可预测性,为此对共享存储系统提出了性能虚拟化的需求
学位
性能虚拟化
共享存储系统
数据管理
IO整合
负载性能
WSN中抵御虫洞攻击的节点安全定位算法研究
无线传感器网络节点定位算法受到越来越多研究人员的关注,成为当前的研究热点之一。然而,越来越多的攻击方式使定位受到很大的影响,尤其对基于非测距的定位算法而言,能影响网
学位
无线传感器网络
安全定位
移动锚节点
虫洞攻击
DV-Hop算法
与本文相关的学术论文