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