收藏本站
《计算机学报》 1995年11期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于时序逻辑的动画描述模型

马华东  刘慎权  
【摘要】:本文介绍了一种新的动画描述模型──基于时序逻辑的动画描述模型(TLAD),这种模型具有很强的描述能力,易于实现,便于使用.它可用于描述动画设计中的各种抽象,角色行为同步,动画设计的逐步求精过程,并支持角色的自适应能力.基于此模型开发的一种高级的动画描述语言SDL/A已经被实现.

手机知网App
【引证文献】
中国期刊全文数据库 前2条
1 马华东;基于时间Petri网的动画描述模型[J];北京邮电大学学报;1998年04期
2 马华东,赵琛;基于时序逻辑的超文本描述[J];计算机辅助设计与图形学学报;1999年06期
中国博士学位论文全文数据库 前1条
1 邹北骥;人脸造型与面部表情动画技术研究[D];湖南大学;2001年
中国硕士学位论文全文数据库 前1条
1 刘俭云;基于时序逻辑语言XYZ/E的CA认证系统描述与求精[D];苏州大学;2005年
【共引文献】
中国期刊全文数据库 前5条
1 肖德琴,沈勇,张建伟;网络通信协议形式化描述与验证技术的研究[J];重庆师范学院学报(自然科学版);1997年02期
2 马华东,赵琛;基于时序逻辑的超文本描述[J];计算机辅助设计与图形学学报;1999年06期
3 赵琛;面向媒体时序描述的带时间自动机的自动构造方法[J];计算机学报;1999年12期
4 吴洪庆,段成华;一种物流信息系统体系结构的探讨[J];计算机应用研究;2002年01期
5 马华东,刘慎权,唐小平,赵琛;动画剧本描述语言SDL/A的设计与实现[J];软件学报;1996年07期
中国博士学位论文全文数据库 前5条
1 柯尧;协议分布式测试理论及系统可靠性研究[D];中国科学技术大学;2006年
2 钱兰;协议一致性测试的错误诊断研究[D];中国科学技术大学;2006年
3 马华东;计算机动画描述模型和绘制技术的研究[D];中国科学院研究生院(计算技术研究所);1995年
4 黄传动;通信协议的分布式测试方法研究和测试系统实现[D];中国科学技术大学;2006年
5 林华辉;协议互操作性测试理论与方法研究[D];中国科学技术大学;2007年
中国硕士学位论文全文数据库 前9条
1 郑建丹;基于组件的逐步求精程序设计方法[D];中国科学院软件研究所;2001年
2 舒明;基于XYZ/E的软件体系结构描述及求精实例研究[D];中国科学院软件研究所;2001年
3 董护斌;面向实时系统的实时区域时态逻辑:RRTL[D];西北大学;2002年
4 费丽娟;构件组装中“特征干扰问题”的时序逻辑检测方法研究[D];华中师范大学;2004年
5 张玲红;UML与ADLs在软件体系结构建模中的应用[D];苏州大学;2004年
6 刘俭云;基于时序逻辑语言XYZ/E的CA认证系统描述与求精[D];苏州大学;2005年
7 丁伟华;UML在软件体系结构描述中的应用[D];大连海事大学;2007年
8 朱梅霞;基于XYZ/E的UML2.0顺序图的时序逻辑语义描述研究[D];青岛大学;2007年
9 左春华;基于规约模式的C程序性质描述与验证[D];苏州大学;2007年
【同被引文献】
中国期刊全文数据库 前10条
1 李桂,苏一丹;UML状态图的形式化[J];广西大学学报(自然科学版);2003年04期
2 于卫,杨万海,蔡希尧;软件体系结构的描述方法研究[J];计算机研究与发展;2000年10期
3 于达,张钹,陈陈;调度问题的HPN模型研究[J];计算机研究与发展;1996年05期
4 张广泉,郑建丹,骆华俊;基于时态逻辑的软件体系结构描述语言及其可视化环境[J];计算机工程与应用;2001年05期
5 伍立华,邹北骥,彭永进;一种基于块体变形的人脸合成算法[J];计算机工程与应用;2001年15期
6 唐志红,龙毅宏,陈幼平,周祖德;电子商务安全新技术—XML-PKI技术[J];计算机工程与应用;2002年16期
7 张广泉 ,戎玫 ,晏荣杰;基于时序逻辑语言描述的监控系统的软件体系结构求精[J];计算机工程与应用;2003年31期
8 李小龙,毛文林;管道-过滤器模式的软件体系结构及其设计[J];计算机工程与应用;2003年35期
9 刘健昌,刘敏文;计算机辅助人脸像表示法的实现[J];计算机工程;1993年01期
10 晏洁;显示具有真实感的三维合成人脸图形的两种方法[J];计算机工程;1998年01期
中国博士学位论文全文数据库 前1条
1 于卫;软件体系结构与软件重用方法的研究[D];西安电子科技大学;1999年
中国硕士学位论文全文数据库 前10条
1 郑建丹;基于组件的逐步求精程序设计方法[D];中国科学院软件研究所;2001年
2 舒明;基于XYZ/E的软件体系结构描述及求精实例研究[D];中国科学院软件研究所;2001年
3 宋艳红;CA认证在中南财经政法大学网上办公系统中的应用[D];华中师范大学;2002年
4 董杰;基于PKI的CA认证中心的组成研究[D];成都理工大学;2002年
5 容旺桥;计算机动画综论[D];南京师范大学;2002年
6 罗蜜;基于UML的形式化需求建模的研究[D];西南师范大学;2003年
7 刘俭云;基于时序逻辑语言XYZ/E的CA认证系统描述与求精[D];苏州大学;2005年
8 黄正宝;可视化与形式化相结合的软件体系结构描述研究[D];苏州大学;2006年
9 杨敬中;基于软件体系结构的面向方面建模研究[D];苏州大学;2007年
10 高艳玲;编译原理类C教学语言的研究与实现[D];大连海事大学;2007年
【二级引证文献】
中国期刊全文数据库 前2条
1 王敏,殷烨,陈养彬,丁友东,陈一民;基于二维半雕刻系统的三维人脸重建[J];计算机应用研究;2005年12期
2 刘晓红,陈定方;面向Agent的时间Petri网及其在虚拟概念设计行为建模中的应用[J];机械设计;2003年08期
中国博士学位论文全文数据库 前1条
1 刘晓红;面向虚拟概念设计的机械产品行为建模及关键技术研究[D];武汉理工大学;2003年
中国硕士学位论文全文数据库 前4条
1 王洪亚;多媒体数据库中媒体同步问题的研究[D];华中师范大学;2001年
2 张鲲;炼钢生产物流Petri网仿真模型与仿真软件开发研究[D];重庆大学;2003年
3 罗旆晅;机器人仿生面部的表情模型研究[D];哈尔滨理工大学;2004年
4 黄正宝;可视化与形式化相结合的软件体系结构描述研究[D];苏州大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 吴永刚;陆慧娟;程倬;陈江;;基于时间自动机的实时系统建模及验证[J];计算机时代;2011年06期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 黄正宝;张广泉;;一种基于时序逻辑的UML 2.0形式化语义[A];2006年全国理论计算机科学学术年会论文集[C];2006年
2 高静;曹子宁;;基于空间逻辑和计算树逻辑的模型检测[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
3 王冬蕾;翟正军;姜红梅;马捷中;;基于FPGA的MⅢ总线接口仿真板的设计与实现[A];全国第二届嵌入式技术联合学术会议论文集[C];2007年
4 区汝就;;有限自动机在数字逻辑电路设计中的应用[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
5 崔益鹏;赵经成;高丽;;基于虚拟现实技术的分布式仿真架构的设计和实现[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
6 沈焕生;;基于DM6446的嵌入式现场取证系统设计[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
7 张玲红;张广泉;朱雪阳;戎玫;何玉乾;;UML与XYZ/ADL在电梯控制系统体系结构建模中的应用[A];企业应用集成系统与技术学术研究会论文集[C];2006年
8 王涛;郭长国;邹鹏;王晓斌;;一种基于注释的监控编程语言设计与实现[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
9 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
10 ;基于时间自动机的实时系统建模及验证[A];第六届和谐人机环境联合学术会议(HHME2010)、第19届全国多媒体学术会议(NCMT2010)、第6届全国人机交互学术会议(CHCI2010)、第5届全国普适计算学术会议(PCC2010)论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 张南;命题投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2012年
2 田聪;命题投影时序逻辑的判定性、复杂性、表达性及模型检测[D];西安电子科技大学;2010年
3 舒新峰;投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2010年
4 马华东;计算机动画描述模型和绘制技术的研究[D];中国科学院研究生院(计算技术研究所);1995年
5 尹全军;基于多Agent的计算机生成兵力建模与仿真[D];国防科学技术大学;2005年
6 许庆国;基于自动机的时间系统形式验证技术[D];上海大学;2007年
7 李庆忠;主动面向对象数据库的主动机制研究及应用[D];中国科学院研究生院(计算技术研究所);2000年
8 王宇华;基于本体的流程类业务需求建模方法研究[D];哈尔滨工程大学;2011年
9 朱雪阳;软件体系结构形式描述研究[D];中国科学院研究生院(软件研究所);2005年
10 李丹美;模糊离散事件自动机组合的控制与切换[D];东华大学;2009年
中国硕士学位论文全文数据库 前10条
1 费丽娟;构件组装中“特征干扰问题”的时序逻辑检测方法研究[D];华中师范大学;2004年
2 郭夏;MSVL建模、仿真与验证软件的扩展及其应用[D];西安电子科技大学;2011年
3 王帆;基于UML的形式化规范说明研究[D];天津大学;2004年
4 黎吾平;模型检测在软件方面的应用[D];吉林大学;2008年
5 李根;基于SPIN的命题投影时序逻辑模型检查[D];西安电子科技大学;2008年
6 董护斌;面向实时系统的实时区域时态逻辑:RRTL[D];西北大学;2002年
7 吴宏;基于LSC的模型检验研究与实现[D];国防科学技术大学;2004年
8 马军慧;基于无穷模型命题投影时序逻辑的模型检查[D];西安电子科技大学;2007年
9 马永涛;框架时序逻辑程序设计解释器及模型检测工具[D];西安电子科技大学;2008年
10 金旗铭;基于时序逻辑语言的分布式实时软件体系结构描述与精化[D];苏州大学;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026