切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
[!--class.name--]论文
[!--title--]
[!--title--]
来源 :重庆大学 | 被引量 : [!--cite_num--]次 | 上传用户:[!--user--]
【摘 要】
:
从上个世纪至今,计算机的各个领域都取得了长足的进步,软件作为存储和管理信息的工具,已广泛深入到现实社会的各个领域,成为整个社会的支柱产业之一,正是因为软件的重要性日
【作 者】
:
张宇巍
【出 处】
:
重庆大学
【发表日期】
:
2004年期
【关键词】
:
动态符号执行
KLEE
约束求解
线性规划
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
[!--newstext--]
其他文献
基于IBM主机平台的银行卡支付优惠系统的研究与实现
随着我国经济持续高速增长以及基础环境的日益完善,人们的日常支付手段也随着科技的发展不断地发生变化。基于移动互联网的金融创新之下,第三方支付发展迅猛,深刻改变了支付
学位
银行卡
支付
优惠
数字协同编撰系统的设计与实现
随着近10年来数字出版产业编撰技术与传播模式的变革,传统出版产业的采编排印发流程开始从实现数字作业向实现协同编撰发展。和之前传统的百科类出版物编撰工作相比,在当下“
学位
数字出版
协同编撰
XML
基于遗传算法的基因序列比对算法研究
序列比对是生物信息学中一个重要和活跃的研究领域,是生物信息学研究的基础内容。DNA是生物体中一种遗传物质,它作为一种媒介,将遗传信息从上一代遗传到下一代。所有的生物(
学位
序列比对
遗传算法
交叉
模拟退火
MobilityFirst未来互联网测试床设计与实现
近几年,在未来互联网的研究中,全新网络架构的设计引起了大家的广泛关注。该领域许多的研究项目在美国国家科学基金的支持下先后成立。Mobilityfirst就是其中专门针对移动网
学位
未来网络架构
MobilityFirst
测试床
流媒体
视频播放
异构Hadoop集群环境下数据副本动态管理研究
Hadoop中数据及其副本如何更好的存放和管理是HDFS中亟待解决的问题。在实际中,Hadoop同构下默认的数据放置策略对异构环境下的设想存在一定的局限性,在异构环境下使用可能会
学位
Hadoop
异构集群
副本管理策略
动态副本放置
灰度预测
基于分项可变权函数的各项异性去噪模型
由于图像采集器的差异和人为因素的影响,使图像在获取和传播的过程中会受到噪声污染,而乘性噪声是在用高科技手段获取图像时普遍存在的一种噪声。乘性噪声降低了图像的画面质
学位
图像降噪
全变差
阶梯效应
边缘曲率
边缘指标
梯度下降法
面向神威太湖之光的并行光路追踪绘制引擎的实现
数字媒体产业被认为是数字技术和文化娱乐产业相融合而产生的内容创新型产业[11,进入21世纪以来发展尤其迅速,已经在高性能计算领域逐步成为最活跃的应用之一,拥有大量用户,
学位
国产高性能计算机
光路追踪
MPI
负载均衡
基于GPU技术的实时全日面磁场深积分观测系统
高分辨率太阳磁场观测是太阳物理学家不懈追求的目标,采用现代图像处理技术与方法处理后期数据可以更充分发挥现有望远镜的工作潜力。对于地基望远镜而言,望远镜的分辨率由地
学位
CUDA
太阳磁场
图像互相关
亚像元
实时观测
基于人体生物电信息的上肢康复机器人控制方法研究
随着环境恶化、生活压力增大、饮食结构失调等原因使得脑卒中的发病率逐年升高,其中有70%的患者会引起偏瘫症状。目前,偏瘫患者康复治疗以医师一对一辅助运动为主,费用昂贵,
学位
sEMG
支持向量机
万有引力搜索算法
康复机器人
阻抗控制
基于数据的非线性过程的监测方法研究
随着传感技术、存储技术以及工业过程复杂度的发展,工业数据信息变得越来越丰富。因此,基于数据驱动技术的工业过程监控方法越来越受欢迎。其中,多变量统计过程监控(MSPM)已
学位
核共变偏最小二乘
故障重构
模式间相对分析重构
核独立元分析
与本文相关的学术论文