洪志国，王永滨，石民勇

(中国传媒大学理工学部计算机学院，北京 100024)



基于模型检测和Maya MEL脚本反馈机制的动漫渲染中间件开发

洪志国，王永滨，石民勇

(中国传媒大学理工学部计算机学院，北京 100024)

摘要：基于模型检测方法对动漫渲染计算中间件进行了建模，采用CTL(Computational Tree Logic，计算树逻辑)对系统待验证的性质进行了描述，并进一步通过SMV(Symbolic Model Verification，符号模型检查)工具验证了所构建模型的相关性质，进一步利用Maya软件内嵌MEL脚本语言的渲染反馈机制，实现对外部INI文件的更新，在VC++环境下开发了动漫渲染计算中间件，基于定时器响应事件来周期性地读取INI文件，实现了渲染计算进度的实时感知。该中间件具有易用性、可移植性的特点，支持渲染参数设置、渲染进度获取和渲染结果查看等功能。

关键词：模型检测；脚本；反馈；动漫渲染；中间件

1引言

渲染(Rendering)是一种计算机图形生成技术，该技术是在计算机内建立的3D 几何模型上附加一定的材质、纹理及色彩并加上光源通过计算机的计算生成具有真实感效果的场景图形[1]。渲染具有“计算密集型”的特点：渲染复杂的三维场景将会占用大量的CPU和内存资源并且耗时较长，成为了影视特效和动漫制作输出环节的“瓶颈”。为此，以“提升渲染速度”为目标，渲染技术依次经历了基于CPU 的渲染、基于GPU 的渲染、网络渲染和三维集群渲染平台如下4个阶段[2]。分布式网络环境或网格环境下搭建动漫渲染系统[3][4][5]，支持用户通过界面登录系统，将本地由Maya、3DS Max等建模软件制作好的场景、模型、贴图等文件上传到服务器，通过集群渲染的方式完成渲染工作。……