| 基于模型检测和Maya MEL脚本反馈机制的动漫渲染中间件开发 |
| |
| 引用本文： | 洪志国,王永滨,石民勇.基于模型检测和Maya MEL脚本反馈机制的动漫渲染中间件开发[J].中国传媒大学学报,2016,23(2):25-30. |
| |
| 作者姓名： | 洪志国 王永滨 石民勇 |
| |
| 作者单位： | 中国传媒大学理工学部计算机学院,北京,100024;中国传媒大学理工学部计算机学院,北京,100024;中国传媒大学理工学部计算机学院,北京,100024 |
| |
| 基金项目： | 国家科技支撑计划课题(2012BAH37F02)，中国传媒大学优秀中青年教师培养工程(YXJS201508)，中国传媒大学理工科规划项目(3132015XNG1504) |
| |
| 摘 要： | 基于模型检测方法对动漫渲染计算中间件进行了建模,采用CTL(Computational Tree Logic,计算树逻辑)对系统待验证的性质进行了描述,并进一步通过SMV(Symbolic Model Verification,符号模型检查)工具验证了所构建模型的相关性质,进一步利用Maya软件内嵌MEL脚本语言的渲染反馈机制,实现对外部INI文件的更新,在VC+ +环境下开发了动漫渲染计算中间件,基于定时器响应事件来周期性地读取INI文件,实现了渲染计算进度的实时感知.该中间件具有易用性、可移植性的特点,支持渲染参数设置、渲染进度获取和渲染结果查看等功能.
|
| 关 键 词： | 模型检测 脚本 反馈 动漫渲染 中间件 |
Development of Model Checking and Maya MEL Script Feedback Mechanism-based Animation Render Computing Middleware |
| |
| HONG Zhi-guo,WANG Yong-bin,SHI Min-yong.Development of Model Checking and Maya MEL Script Feedback Mechanism-based Animation Render Computing Middleware[J].Journal of Communication University of China Science and TEchnology,2016,23(2):25-30. |
| |
| Authors: | HONG Zhi-guo WANG Yong-bin SHI Min-yong |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
