周期性可定实时并行进程的进化代数分析

对应用进化代数(EA),即目前的抽象状态机(AbstractStateMachine–ASM),描述可定时实时并行进程进行了研究,进化代数采用第一顺序逻辑(First-OrderLogic)定义或解释计算机问题,描述不同的抽象等级并且逻辑地描述计算机算法,因此非常适合描述并行进程复杂的运行过程,并逻辑地精确推导进程调度。     

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

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

两维时间域上的实时程序语义

超稠密计算模型是实时系统的一种重要抽象模型．该文首先简要介绍一种两维的超稠密时间域及在该域上定义的一种区间逻辑,然后用一个并行模型语言（类Ｏｃｃａｍ 语言）讨论用这种逻辑定义并行语言（在超稠密模型中）的时间语义的问题,最后讨论了在这种语义框架中实时系统性质的描述     

CPS处理器中的时间指令扩展研究及实现

物理进程具有内在的并发及实时特性,因此发展信息—物理融合系统（CPS）需要计算进程能表达这类特性。而传统的计算模式为了方便用户逻辑描述,随着抽象程度的提高逐步丢弃了对时间特性的精确描述。在嵌入式Java处理器JPOR-32基础上面向CPS应用增加了时钟寄存器和时钟计数器,并根据程序员对时间特性的需求,结合异常机制扩展了四条时间指令,使得用户可根据不同需求对时间进行精确控制。最后通过采用时间指令后图像处理程序在该CPS处理器上的运行结果验证了该时间控制机制的可行性、正确性及精确性。     

面向对象的3级数据模型

GIS（geographicinformationsystem）中的数据可以分为3种类型：几何数据、地理数据和图形显示数据．本文提出的面向对象3级数据模型对这3种数据进行抽象划分，用面向对象的模型描述它们及其之间的关系，并以此作为OOGDB（object－orientedseosraphicdatabase）的数据模型．     

扩展UML语义以支持并行和分布式仿真系统设计

标准UML中不包含虚拟时间和时间同步语义，因而缺乏对并行和分布式仿真(parallel and distributed simulation，PADS)系统设计的支持，对标准UML语义进行扩展以支持PADS领域的概念并降低PADS系统构造的复杂性．主要的工作包括在UML，中引入虚拟时间语义，用包含虚拟时间标记和约束的状态图和交互图来描述仿真实体的功能属性，另外，通过创建虚拟时间同步构造型(stereotype)，提出“分离法”将时间同步细节与仿真模型内部的功能属性逻辑地分离，不仅使得仿真对象建模更加容易，而且使仿真模型和时间同步策略两者的重用性大大提高。     

面向对象与STEP技术相结合的信息建膜方法研究

计算机集成制造系统（ＣＩＭＳ）的关键在于信息集成与信息交换。而信息模型的建立是实现ＣＩＭＳ信息完整而一致地描述与交换的重要基础性工作。本文基于ＳＴＥＰ思想，在分析传统建模方法和面向对象（０－０）建模方法的基础上，提出了将０—０技术与ＳＴＥＰ技术相结合的信息建模方法。     

计算机专用PDP柜的设计与研制

主要论述了计算机专用配电柜ＰＤＰ（ＰｅｗｅｒＤｉｓｔｒｉｂｕｔｉｏｕＰａｎｅｌ）柜的设计与研制，介绍了ＰＤＰ—４００型配电柜的特点及用途．     

协议形式化开发环境的规范语言

LOTOS（languageoftemporalorderingspecification）是一种基于进程代数CCS的协议规范语言，面向协议验证，但它不能描述协议的某些性质．本文提出了一种LOTOS的扩充语言ELOTOS（extendedLOTOS），它在LOTOS的基础上引入了异步通讯机制、时间描述、事件发生的随机性描述．     

并行软件功能规约的组合语义方法

文章提出了一种将代数语义、Hoars逻辑和UNITY逻辑集成在一起描述并行软件功能规约的方法。其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。表示形式有利于规约的分解、细化和验证。