摘要：英语多义词spring back在译成中文术语“弹性后效”和“回弹”后，分别代表固体材料的两种不同物理性质。前者表示在“弹性一滞......

在给出了间断区的时态知识表示后建立了基于间断区间的时态逻辑。本文对时态逻辑的句法和语义作了介绍。......

离散事件动态系统（ＤＥＤＳ）是复杂系统控制理论的一个重要学科分支。受控Ｐｅｔｒｉ网是控制理论界提出的一个ＤＥＤＳ模型。本文分析此模型的网论语义，以便把Ｐｅｔｒｉ网......

本文在分析对象数据库和关系数据库范式特征和数据操作后，首次提出了用四元组的方式研究这两种模型的表述关系，从理论上推出关系数据......