微分半代数程序模型的等价及等价谱系

项目名称： 微分半代数程序模型的等价及等价谱系

项目编号： No.60973147

项目类型： 面上项目

立项/批准年度： 2010

项目学科： 自动化技术、计算机技术

项目作者： 吴尽昭

作者单位： 北京交通大学

项目金额： 32万元

中文摘要： 行为等价是软件程序设计与验证分析的基础。微分半代数混杂系统是近年来出现的新型形式化程序刻画模型，在工程技术领域具有极其广泛的应用。针对微分半代数程序模型，目前较为完善的等价理论还没有建立起来。本项目通过并发理论、微分代数符号计算以及符号与数值混合计算方法的交叉、融合与应用研究，采用带微分半代数方程组状态转移标记的混杂变迁系统，系统地构建微分半代数程序模型的行为等价理论。具体包括，（1）等价的定义：基于微分半代数程序模型的各类动态行为特征，建立模型的线性与分支时间等价以及相应的带误差的近似等价关系；（2）等价的判定：研究微分半代数程序模型各类等价关系的可判定性，并实现带误差但误差可控的近似等价计算方法；（3）等价间的关系：通过等价概念之间粗糙程度的比较关系，构建微分半代数程序模型的等价谱系。在实证示范和实际应用方面，探索在轨道高速列车运行控制软件系统设计与验证分析中的应用。

中文关键词： 程序模型；微分半代数方程；等价；等价谱系；

英文摘要：

英文关键词： program model；differential semi-algebraic；equivalence；equivalence spectrum；