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

摘要：

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

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

所属期刊栏目：23

分类号：TP311.1(计算技术、计算机技术)

资助基金：国家科技支撑计划课题2012BAH37F02;中国传媒大学优秀中青年教师培养工程YXJS201508;中国传媒大学理工科规划项目3132015XNG1504

在线出版日期：2016-07-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：25-30