包邮信息组织及可视化/赵正旭

第1章 Z规格对国产化软件工程实践的探讨
1．1 绪论
1．1．1 课题研究的背景和意义
1．1．2 形式化软件工程概述
1．2 理论研究
1．2．1 Z语言概述
1．2．2 Z语言的使用
1．2．3 设计实现
1．2．4 自动生成z规格说明
1．3 Z规格的推理与测试
1．3．1 形式化推理
1．3．2 z规格的测试
1．3．3 举例说明
1．4 总结和展望
1．4．1 研究总结
1．4．2 研究展望
参考文献

第2章 点云的高精度地形融合算法研究
2．1 绪论
2．1．1 研究背景和意义
2．1．2 外研究现状
2．1．3 研究目标和问题描述
2．2 点云地形数据及融合算法概述
2．2．1 点云地形数据概述
2．2．2 多源数据融合分类
2．2．3 点云地形融合算法概述
2．2．4 小结
2．3 点云地形融合算法
2．3．1 点云地形融合算法程序
2．3．2 融合算法流程图
2．3．3 算法说明
2．3．4 主要架构
2．3．5 小结

第3章 基于粒子系统的海量云层数据的可视化研究
第4章 深空探测三维实时可视化模型创建与管理研究
第5章 基于数据可视化的信息传承与长期保存研究
第6章 基于FreeForm的虚拟产品设计研究
第7章 FreeForm触觉建模下的月球三维打印
第8章 云台与虚拟场景的双向通信控制系统
第9章 个人计算机虚拟博物馆设计与实现
第10章 基于HTML5的Web3D实现计算机技术