2008届毕业设计论文情况统计表大连理工大学软件学院欢迎您.xlsVIP

Sheet1 OLE_LINK1 序号 学号 姓名 题 目 名 称 班级 学院（系）： 填表日期： 语音端点检测技术的研究与应用 方宇 牛纪桢 语音识别编辑系统的研究与应用 李静 周宽久 基于CCD摄像头设计模型车控制系统 基于光电检测的模型车速度控制与算法优化 基于ARM的嵌入式机器人控制系统设计 基于ARM的信息发布系统终端浏览器设计 基于ARM的信息发布系统数字视频解码器设计 基于ARM的大屏幕多视窗分屏/合屏技术 在ARM9平台上基于Linux开发文件传输软件（基于网络协议，包括图形界面） 基于嵌入式Linux设计写字板文字识别系统（触摸屏与文字识别） 基于ARM的嵌入式SD卡设计（包括硬件接口和软件驱动） C++源代码标准制定以及标准化分析 Sparc 汇编代码存贮优化 Sparc汇编代码运行覆盖测试 Sparc 汇编代码运行内存仿真 Sparc汇编代码虚拟机设计 Sparc 汇编代码运行中断仿真 Sparc 汇编代码运行时序仿真 嵌入式系统需求工程 嵌入式系统模型验证 专业： 填表人： 邱铁 基于NuSMV的Uc/os的形式验证 基于NuSMV的哲学家就餐问题形式验证 基于NuSMV的多读者多写者问题形式验证 基于NuSMV 的CSMA/CD协议形式验证 嵌入式软件的可靠重配置研究 软件安全分析中路径条件技术研究 WCET 分析