溪洛渡施工总布置三维动态可视化图形仿真研究

溪洛渡水电站是在金沙江拟建的最大水电站，为直观准确地描述其施工总布置设计所涉及的各施工环节之间复杂的动态空间关系，将施工总布置系统分为若干子系统，对整个设计施工过程进行动态可视化图形仿真研究。设计3维动态图形仿真数据流向，将溪洛渡施工总布置动态图形仿真数据分为空间数据和属性数据，以GIS为平台组织数据结构，构造施工总布置3维动态可视化数字模型；在3维动态可视化数字基础上实现施工总布置3维动态可视化图形仿真演示和动态图形仿真数据可视化查询，给施工总布置设计与决策提供一个科学、直观的可视化分析途径。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

基于角色控制的分布式PDM系统

提出了一种适合于工程设计中基于协同工作的多用户的分布式PDM系统的软件结构。介绍了一个相关的软件模型，这个软件模型说明了如何通过添加CSCW和RBAC机制来扩展现存的PDM系统，在讨论了PDM、CSCW和RBAC的基础上，给出了相应软件的框架结构模型的思想。     

基于狭缝图像的三维虚拟漫游

基于狭缝图像的四维光场模型,设计并实现了一个完整的三维虚拟场景漫游平台系统。使用四叉树结构对场景进行组织,实现了对三维场景的自适应非均匀采样,提高了采样的效率;采用临近点插补方法,解决了重采样中出现的图像空洞;通过对漫游时的内存管理、路径预测和碰撞检测处理,提高了漫游的稳定性与连贯性;对漫游速度做了测量,对绘制图像的质量做了比较。     

并行分布式图形生成系统

文章介绍了基于计算机网络的分布式并行图形生成系统，该系统符合ＯｐｅｎＧＬ规范．系统提出了利用非均匀分解实现负载平衡的分解算法，设计了具有自适应能力的体系结构，其研究结果可直接在微机和普通工作站组成的计算机网络上应用，也可用于开发高性能三维图形系统上．     

数据结构与图形技术

为了更好地理解和掌握链式存储结构、笔者尝试用图形和地址来表示数据结构中的物理存储结构及运算结果,收到了较好的效果.本文分析用图形和地址表示动态变量的分配问题.     

图形窗口界面平台的研究与实现

叙述了DOS下如何实现图形窗口、菜单及下拉式菜单的生成、驱动与管理，提出了其构造的基本结构，解决了中西文环境下的全汉化、鼠标与键盘同时驱动、菜单位图显示、辅助工具支持等问题，实现了DOS图形方式下界面平台的仿Windows化操作．     

BGI注入式种子填充算法及实现

区域填充问题在ＣＡＤ、科学可视化、图形图象处理等领域均有着广泛和深入的应用，研究高效的区域填充算法，是计算机图形学的重要问题之一。多边形填充算法只适用于多边形区域的填充，边界填充算法虽然对区域边界形状无严格要求，但要求区域边界颜色特征一致。为此，提出一个注入式区域填充算法，对于内点定义的区域，不要求边界颜色特征一致，在此基础上，对ＴｕｒｂｏＣ和ＢｏｒｌａｎｄＣ＋＋的图形库函数进行了扩充。该算法及其实现给相关图形的处理带来了极大的方便     

激光直接刻蚀图形的质量分析

在激光剥离机制的基础上，分析了激光直接刻蚀过程中，蒸气压及热传导对图形刻蚀质量的影响，并得出了刻蚀不同厚度Ａｌ的激光能量密度，脉冲频率和刻蚀脉冲数的最佳组合，对Ｔａｌｂｏｔ成像法中对比度对图形刻蚀质量的影响也进行了分析。