车载数据记录器中Nand Flash文件系统的研究
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-11页 |
| 1 引言 | 第11-21页 |
| ·选题的背景和意义 | 第11-12页 |
| ·存储器技术现状 | 第12-14页 |
| ·文件系统的实现概述 | 第14-18页 |
| ·磁盘文件系统的实现 | 第14-16页 |
| ·Flash文件系统的实现 | 第16-18页 |
| ·形式化验证方法 | 第18-19页 |
| ·论文的研究内容及组织结构 | 第19-20页 |
| ·本章小结 | 第20-21页 |
| 2 车载数据记录器文件系统的设计 | 第21-48页 |
| ·文件系统的结构设计 | 第21-23页 |
| ·文件管理层设计 | 第23-32页 |
| ·文件管理方式 | 第23-28页 |
| ·文件及目录的查询 | 第28-29页 |
| ·文件及目录的增删 | 第29-31页 |
| ·索引级数增减 | 第31-32页 |
| ·空间管理层设计 | 第32-44页 |
| ·文件系统的布局 | 第32-35页 |
| ·信息表的管理 | 第35-39页 |
| ·空闲资源的分配 | 第39-40页 |
| ·垃圾回收机制 | 第40-42页 |
| ·磨损平衡策略 | 第42-44页 |
| ·异常恢复机制 | 第44-47页 |
| ·本章小结 | 第47-48页 |
| 3 空间管理算法的完备性验证 | 第48-68页 |
| ·形式化验证方法CPN | 第48-49页 |
| ·文件系统的模型设计 | 第49-61页 |
| ·顶层模型设计 | 第49-51页 |
| ·写模块 | 第51-52页 |
| ·删除模块 | 第52-53页 |
| ·垃圾回收模块 | 第53-59页 |
| ·磨损平衡模块 | 第59-60页 |
| ·调整模块 | 第60-61页 |
| ·算法完备性验证 | 第61-66页 |
| ·完备性验证指标 | 第61-62页 |
| ·状态空间分析 | 第62-66页 |
| ·本章小结 | 第66-68页 |
| 4 文件系统的仿真测试 | 第68-85页 |
| ·测试模型的设计 | 第68-72页 |
| ·文件信息模拟 | 第69-70页 |
| ·文件系统的仿真 | 第70-71页 |
| ·测试数据的输出 | 第71-72页 |
| ·测试方案的设计 | 第72-73页 |
| ·垃圾回收及磨损平衡性能测试及分析 | 第73-84页 |
| ·数据分析 | 第73-74页 |
| ·图形分析 | 第74-83页 |
| ·对垃圾回收策略的改进 | 第83-84页 |
| ·本章小结 | 第84-85页 |
| 5 研究工作总结与展望 | 第85-87页 |
| ·研究工作总结 | 第85-86页 |
| ·后续工作展望 | 第86-87页 |
| 参考文献 | 第87-89页 |
| 图索引 | 第89-91页 |
| 表索引 | 第91-92页 |
| 作者简历 | 第92-94页 |
| 学位论文数据集 | 第94页 |
