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

【Abstract】 Model checking- based methodology is introduced to model animation rendering computing middleware. The properties to be verified of system is described using CTL(Computational Tree Logic). Moreover,the related properties are verified with SMV(Symbolic Model Verification). Furthermore,the Maya MEL Script language’s rendering feedback mechanism is utilized to update the related external INI configuration file. Furthermore,the animation rendering computing middleware is developed under the environment of VC+ +. Based on the timer response event,it can read the INI file information which achieves the real- time progress of rendering calculation. This software has the characteristics of friendly interface and easy deployment,and it supports the functions of setting parameters,acquiring rendering process and viewing rendering output files etc.更多还原