XYZ系统在动画设计中的应用

ＸＹＺ系统是一套以线形时序逻辑为基础的ＣＡＳＥ环境系统，其核心是时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／ＡＤＬ（ａｎｉｍａｔｉｏｎｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是ＸＹＺ系统在动画领域的应用．马华东博士采用基于时序逻辑的动画描述模型ＴＬＡＤ（ｔｅｍｐｏｒａｌ－ｌｏｇｉｃ－ｂａｓｅｄａｎｉｍａｔｉｏｎｄｅｓｃｒｉｐｔｉｏｎｍｏｄｅｌ），提出了动画剧本描述语言（ＳＤＬ／Ａ）．本文介绍的ＸＹＺ／ＡＤＬ语言是以ＸＹＺ／Ｅ的框架为基础扩充ＳＤＬ／Ａ而成．它使用ＸＹＺ／Ｅ中面向对象程序设计的基本结构——代理机构（Ａｇｅｎｔ）作为基本描述单元．代理机构由通讯进程和相应的包块构成，包块处理对象封装，进程处理通讯．从而能更方便地刻画动画过程中的复杂、多层次的角色（包括父子角色）的运动特征及多角色之间的同步协调关系，并且在统一的逻辑框架下实现了计算机动画中运动对象的行为抽象和运动的抽象描述，更具一般性．     

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

本文介绍了一种新的动画描述模型－基于时序逻辑的动画描述模型，这种模型具有很强的描述以，易于实现，便于使用，它可用于描述动画设计中的各种抽象，角色行为同步，动画设计的逐步求精过程，并技术角色的自适应能力。基于此模型开发的一种高级的动画描述语言ＳＤＬ／Ａ已经被实现。     

SDL支撑系统

ＳＤＬ是一种主要用于对电信系统性能制定确切的功能规格和描述的国际标准语言．本文描述了以ＣＣＩＴＴＳＤＬ’８８为标准，基于图形核心系统（ＧＫＳ）设计实现的ＳＤＬ支撑系统（３Ｓ），包括ＳＤＬ的图形方式（ＳＤＬ／ＧＲ）的文档录入和编辑工作、对录入的ＳＤＬ／ＧＲ文档进行正确性检查和将ＳＤＬ／ＧＲ文本翻译到文字短语方式表达的ＳＤＬ／ＰＲ文本等几部分．此工作的完成对于使用图形方式描述计算机系统，然后翻译到高级语言提供了可能．     

嵌入式系统虚拟开发环境的设计与实现

在嵌入式系统虚拟开发环境中为软件与硬件分别设计了ＥＳＤＬ语言和ＥＨＤＬ语言．ＥＳＤＬ是ＡＮＳＩＣ的超集,它为嵌入式编程增加了一些数据类型．ＥＨＤＬ是一种硬件描述语言．开发人员可以利用由嵌入式软件调度器和嵌入式硬件模拟器组成的协同验证环境调试嵌入式系统．利用这个虚拟的集成环境,软件开发人员可以在设计初期发现与硬件相关的错误,硬件开发人员可以获得系统功能的真实描述．硬件、软件的设计错误可以在系统制造之     

面向对象软件自动化系统JDAUTO＼0

本文介绍了面向对象经系统ＪＤＡＵＴＯ／０的设计与实现，ＪＯＯＳＬ是一种面向对象软件形式规约语言，基于它，实现了概要设计到详细的自动工具ＰＤＡＵＴＯ和详细设计到Ｃ＋＋代码的自动转换工具ＤＤＡＵＴＯ．     

汉字造型技术的研究

本文研究了将汉字点阵转化成ＡｕｔｏＣＡＤ（指１１．０版及其以后版）中具有一定宽度、高度和厚度的汉字造型技术；同时也介绍了将这种汉字造型数据送入动画工具３Ｄ Ｓｔｕｄｉｏ系统，以得到精美的汉字动画的方法，特别适合用于广告设计。     

硬件描述语言VHDL

硬件描述语言ＶＨＤＬ及其支撑的设计自动化工具是ＥＤＡ领域的重要研究课题，本文简要介绍了硬件描述语言ＶＨＤＬ的特点、结构及应用．     

KBASE－P知识库系统的设计与实现

当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中．ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行１／Ｏ和ＤＢ更新操作（用扩充的内部谓词）．由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小．因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ系统支持逻辑程序设计语言（ＫＢＡＳＥ－Ｐ语言）的程序开发，提供了文本编辑、文件管理、谓词管理、事实操作、Ｄａｔａｌｏｇ查询、ＳＱＬ查询等功能．本文详细介绍了ＫＢＡＳＥ－Ｐ系统的设计和实现．     

VHDL与电子自动化

随着电子设计自动化（ＥＤＡ）时代的到来，传统的硬件设计方法已经无法满足人们的要求了，ＶＨＤＬ语言作为一种高级硬件描述语言，由于它能以形式化的方式描述数字系统，从而大部分繁琐的工作可以由计算机来完成，而设计师能专注于整个系统的设计。ＶＨＤＬ的出现为电子设计自动化（ＥＤＡ）的发展打下了坚实的基础，也给硬件设计领域带来一场革新。本文就此介绍了ＶＨＤＬ语言的基本构成和语句，及使用ＶＨＤＬ语言设计的优点。     

基于概念建模的多媒体创作系统构造方法

本文介绍了一种多媒体创作系统构造方法－基于概念建模方法，文中首先分析了创作系统的构造方法和创作机之间的关系，然后阐述了基于概念建模的方法，这种方法很好地解决了创作系统中描述简单性和创伤灵活性之间的矛盾，并成功地运用在一个多媒体剧本制作语言ＭＳＡＬ的设计中。     

PPP协议一致性测试集生成方法研究

测试集的生成方法是一致性测试技术的核心.介绍了形式化描述技术在测试集生成过程中的应用,针对PPP协议介绍其协议实现时的状态迁移.使用形式化描述语言SDL对PPP协议进行形式化描述,并以此为基础生成测试集,这些测试集能有效地应用于PPP功能实现模块.