【摘 要】
：
基于模型检测方法对动漫渲染计算中间件进行了建模,采用CTL（Computational Tree Logic,计算树逻辑）对系统待验证的性质进行了描述,并进一步通过SMV（Symbolic Model Verification
【基金项目】
：
国家科技支撑计划课题(2012BAH37F02);中国传媒大学优秀中青年教师培养工程(YXJS201508);中国传媒大学理工科规划项目(3132015XNG1504)
论文部分内容阅读
基于模型检测方法对动漫渲染计算中间件进行了建模,采用CTL（Computational Tree Logic,计算树逻辑）对系统待验证的性质进行了描述,并进一步通过SMV（Symbolic Model Verification,符号模型检查）工具验证了所构建模型的相关性质,进一步利用Maya软件内嵌MEL脚本语言的渲染反馈机制,实现对外部INI文件的更新,在VC＋＋环境下开发了动漫渲染计算中间件,基于定时器响应事件来周期性地读取INI文件,实现了渲染计算进度的实时感知。该中间件具有易用性、可移植性的特点,
其他文献
<正>冬季气温低,湿度大,各种疾病很容易流行,尤其是肠道疾病如大肠杆菌病、巴氏杆菌病等单独或混合发生,给养鹅业造成不同程度的损失。因此,冬季除了防寒保暖外,肠道性疾病也
报告1例临床罕见的原发性气管支气管淀粉样变患者,该例患者因右肺下叶肿瘤入院,在病程中有咳嗽、咳痰、痰中带血,CT提示左肺下叶肿瘤,全身骨显像示病变伴放射性摄取,经支气管
慢性鼻炎是指鼻腔粘膜和粘膜下层的非特殊性炎症,常持续数月以上,或炎症反复发作,间歇期内,鼻粘膜亦不能恢复正常.笔者在本地民间偏方的基础上,加以总结改进,自制苍耳油喷剂,
迄今为止，人类社会已经历原始文明、农业文明、工业文明。工业文明在带来社会财富巨大增长的同时，也带来了大量的资源消耗和严重的环境污染问题。追求人与自然的和谐，追求可持续
随着人们生活质量的提升,人们越来越关注农产品的质量和健康状况。为了提升农产品的质量,科学的种植技术和病虫防治技术非常重要。该文从农作物生长环境的选择、实施多样化种
在乡村民宿市场繁荣发展的今天,积极转变思想观念是其发展的助推力。文章在分析乡村民宿发展趋势的基础上,进一步总结乡村民宿所遇到的思想观念瓶颈,并有针对性地从心理观念
只有积极地引导和调动学生的学习积极性，利用多种教学手段，改进教学方式和方法，做到理论与实践紧密结合，同时，注重实训教学，才能最大程度地提高动物解剖生理课程的教学质量。