中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 中科院软件所  > 中科院软件所
题名:
基于XYZ系统的动画描述的踪迹语义研究
作者: 卢铁
答辩日期: 1999
专业: 计算机软件与理论
授予单位: 中国科学院软件研究所
授予地点: 中国科学院软件研究所
学位: 博士
关键词: XYZ系统 ; 踪迹 ; 踪迹产生式 ; 动画描述 ; 动态语义 ; 求精 ; 语义一致性
摘要: 动画片设计在计算机辅助教学、卡通片设计等领域中有着广泛的应用,目前对它的研究集中在动画造型、运动描述、合成及绘制技术三个方面,而很少有人研究动画的形式规范、逐步求精及求精中的语义一致性。作者对动画描述的踪迹语义进行了研究,并在踪迹语义的基础上讨论了动画设计求精过程中的语义一致性问题。本文主要介绍作者在这方面的工作。本文首先介绍了以时序逻辑为基础的适合多种程序设计和不同层次抽象描述的CASE环境XYZ系统及其核心语言XYZ/E。接着讨论了基于XYZ系统的动画描述语言XYZ/ADL的设计思想和描述特点。用踪迹产生式的概念,用它表示角色的动态语义,使角色的各种可能行为以一种统一的形式表现出来。以此为基础,本文定义了动画的动态语义的组合,并以一个你子说明了如何用踪迹表示动画的动态语义。然后,本文定义了踪迹中的求精关系以及示精过程中语义一致的概念,讨论种求精方法:动作求精、情节求精和角色求精。文中给出了三种求精方法的详细定义,逐一分析了求精过程中的语义一致问题,并得出三种求精方法保持了语义一致性的结论。最后,本文指出决定动画动态语义的三个因素,并对求精过程中的控制条件及同步条件不变假设进行了简要说明。
英文摘要: Animation design is widely used in the fields such as Computer Aided Instruction, Cartoon Design, and so on. Present research of animation design focuses on three aspects: animation shaping, movement description and composing and protraction. Little has been done to formal specification of animation stepwise refinement and semantics consistency. In this article, we introduce our studies on the trace semantics of the animation description and the semantics consistency of the stepwise refinement procedure on the basis of trace semantics. First, we introduce the CASE environment XYZ system and its kernel language XYZ/E. XYZ system is based on the Temporal Logic and suitable for abstract specifications in different levels and manifold programming techniques. Then, we discuss the design ideas and the description characteristics of the XYZ-based animation description language XYZ/ADL. Using trace to express the behavior of an actor is the basis of the animation trace semantics. We originally put forward the notion of the trace production and use it to denote the dynamic semantics of actors, so that we can express all the possible behaviors of actors in a uniform form. We define the dynamic semantics of animation and formally express it as the combination of the dynamic semantics of actors that is under the constraint of control and synchronization conditions. A following example illustrates how to express the dynamic semantics of animation with trace. And then, the refinement relationship of traces and the semantics consistency are defined, and three refinement methods are discussed. We define the three methods in detail and analysize their semantics consistency one by one, reach the conclusion that all methods are semantics consistent. At the end of this article, we indicate the three factors that determine the dynamic semantics of animation, and summarize the hypothesis that control and synchronization conditions keep unchanged during the refinement procedure.
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/7160
Appears in Collections:中科院软件所

Files in This Item:
File Name/ File Size Content Type Version Access License
LW002887.pdf(2221KB)----限制开放-- 联系获取全文

Recommended Citation:
卢铁. 基于XYZ系统的动画描述的踪迹语义研究[D]. 中国科学院软件研究所. 中国科学院软件研究所. 1999-01-01.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[卢铁]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[卢铁]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace