摘要:ＸＹＺ系统由时序逻辑语言ＸＹＺ／Ｅ及一组基于该语言的ＣＡＳＥ工具集组成．ＸＹＺ／Ｅ语言的目的是欲使逐步求精，描述及验证、快速原型等一些软件工程方法更加有效．特别地，它还能表示实时通信进程中的动态成分．在统一的框架下，不仅能表示不同层次的抽象描述，而且能表示普通高级语言的各种重要性质．本文是关于这一时序逻辑语言最新、最完整的介绍．

摘要:本文提出了在演绎数据库系统研究中的一种新的关系叫虚—实关系．虚—实关系集成了实关系与虚关系的一些优点，克服了它们的一些缺点，在演绎数据库系统中它具有特别的性质．将虚—实关系引入演绎数据库系统后我们可以扩大演绎数据库系统的功能．目前，虚—实关系已在ＳＵＮ—３工作站上的演绎数据库系统ＵＮＩＦＹ中实现并正在用于ＣＡＤ图形领域中．

摘要:本文对有界Ｐｅｔｒｉ网的公平性与分组公平性以及无界Ｐｅｔｒｉ网的公平性分别得到了利用关联矩阵的秩进行判断的一组充要条件，这些条件使用起来是非常方便的．

摘要:本文给出在空间三角网格上用三角Ｂｅ’ｚｉｅｒ曲面构造Ｇ１插值所需的最低次数，并给出五次Ｇ１插值的具体构造方法．

摘要:Ａｇｇａｒｗａｌ指出Ｓｔｅｅｌｅ和Ｙａｏ的关于凸壳问题计算间下界的证明仅当点集是非退化时是有效的．至今还不清楚他们的证明是否可以经过修改后处理对凸壳问题的解集无任何约束的情形．在固定阶代数判定树模型下，本文彻底解决了这个问题．

摘要:仅仅在一层知识上进行推理的推理模型有许多不足之处，例如，推理模型本身不能解释其行为的合理性（从观察者角度看），推理模型与外界进行信息交互时往往不能模拟人类的信息交互过程等．本文介绍一种深表层推理模型（即ＨＥＬＩ），它在一定程度上克服了上述不足，同时，本文还将讨论ＨＥＬＩ的变种及实例化等问题．

摘要:并发控制是ＤＤＢＭＳ（分布式数据库管理系统）中事务管理的重要功能．本文介绍了一种基于封锁的积极方法与消极方法相结合的并发控制策略．它根据全系统实际运行的即时状态，动态地决定对事务采取的执行策略，大大减少了积极封锁所易产生的死锁情况，同时又改善了消极封锁效率低的问题．