切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
[!--class.name--]论文
[!--title--]
[!--title--]
来源 :北京大学 | 被引量 : [!--cite_num--]次 | 上传用户:[!--user--]
【摘 要】
:
实时嵌入式系统具有微型化、紧耦合、低功耗、专用性等特点,在规模、结构、能耗、配置等方面对实时嵌入式软件提出更高要求。同时,实时嵌入式软件往往需要满足实时性、安全性、
【作 者】
:
张晓薇
【机 构】
:
北京大学
【出 处】
:
北京大学
【发表日期】
:
2011年期
【关键词】
:
实时嵌入式软件
构件技术
形式化验证
开发效率
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
[!--newstext--]
其他文献
物体轮廓曲线匹配技术在文物复原中的应用
对于大量的文物碎片,如果进行人工拼接则不仅工作量大而且容易造成文物的再次破坏,因此需要借助计算机实现文物复原。在计算机辅助的文物复原系统中,碎片自动复原是指从众多
学位
轮廓提取
轮廓曲线
碎片匹配
碎片拼合
形状匹配
一款按序执行处理器中二级高速缓存的设计与验证
随着VLSI技术的迅猛发展,处理器主频日益提高,而存储器的速度提升相对缓慢,处理器和存储器之间速度的差距越来越大,存储器层次结构则很好的弥补了高速处理器和低速存储器之间
学位
二级高速缓存
按序执行处理器
结构设计
FPGA原型验证
基于自适应光子发射的光子映射算法研究
真实感绘制一直是计算机图形学中一项基本而重要的研究内容,它使用计算机来模拟并重现真实世界中的景象。全局光照技术是实现真实感绘制的主要手段,由于其能模拟自然界中的多
学位
光子映射算法
自适应光子发射
全局光照技术
基于惯性传感器的运动捕获系统研究
运动捕获是人机交互、可穿戴计算、普适计算和计算机视觉领域的一个重要研究方向。基于惯性传感器的运动捕获则是其中一个重要而活跃的研究课题,在自然用户界面、普适计算、
学位
运动捕获系统
惯性传感器
惯性运动捕获
统计机器学习方法在蛋白质组学中的应用
蛋白质相互作用网络在细胞生命中起着非常关键的作用,当前蛋白质组学研究的一个首要任务即是构建整个细胞的蛋白质相互作用网络。所以无论是实验的方法还是计算的方法,准确的鉴
学位
蛋白质组学
统计机器学习方法
数据降维效果
偏最小二乘法
UDP在合成孔径雷达分布式仿真中的应用研究
合成孔径雷达(Synthetic Aperture Radar ,SAR)是一种安装在运动载体上的高分辨率成像雷达,它采用脉冲压缩技术实现了距离向高分辨,采用“合成孔径”原理得到方位向高分辨率,
学位
合成孔径雷达
回波模拟
用户数据报协议
分布式仿真
一种桌面虚拟机交互性能优化的固态硬盘调整缓存机制
本文针对在桌面虚拟机办公环境下启动应用软件响应时间过长的问题,提出一种利用固态硬盘高速缓存来改善虚拟机响应时间和交互性的方法。在传统磁盘和内存之间添加固态硬盘高
学位
固态硬盘
高速缓存
虚拟机
交互性
替换算法
MazeKad-Maze中基于Kademla协议的DHT系统实现及优化
Maze是教育网内有着众多用户的P2P共享软件,由北京大学网络实验室于2005年发布,本文主要是针对Maze在系统架构上的单点失效风险以及资源索引时效性缺失的问题,设计并实现了一
学位
Maze软件
MazeKad系统
DHT系统
资源发布
资源下载
Kademla协议
面向UniCore32体系结构的C语言函数库的移植与优化
函数库是一组目标文件的集合,它们被包含到需要链接它们的程序中。它为软件开发和程序运行提供丰富的库函数,成为计算机系统的重要组成部分。随着计算机系统的不断发展和应用领
学位
函数库
UniCore32体系结构
C语言
计算机系统
分子简化表面算法的研究与实现
分子表面对分子建模和蛋白质分子特性的研究有着重要作用。国外对分子表面计算和可视化的研究已经持续了30多年,然而目前国内还少有这方面的工作。自主研发的三维可视化软件Gr
学位
分子简化表面算法
三维可视化软件
分子建模
表面绘制
解析规则
文件格式转换
面向对象编程
与本文相关的学术论文