近似形式化方法—实微分多项式进程代数研究

项目名称： 近似形式化方法—实微分多项式进程代数研究

项目编号： No.11371003

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 数理科学和化学

项目作者： 吴尽昭

作者单位： 广西民族大学

项目金额： 62万元

中文摘要： 传统的并发系统形式刻画语言，例如进程代数，建立在离散的抽象动作集合之上，因而无法表示数据流和连续的状态变化。更为关键的是，基于传统进程代数架构的形式化方法无法进行带误差的近似分析和计算，而误差和近似是工程计算不可避免的重要特征。另一方面，工程问题大多涉及实微分多项式的计算。为此，本项目在实数域上的微分多项式环上构建进程代数理论和方法。具体包括：在刻画语言基础理论层面，构造（1）语法定义及其结构性操作语义、（2）近似行为等价概念及其计算方法；在设计和验证方法层面，通过实数域上微分多项式环上的符号与数值混杂计算，构建（3）近似变元细化和抽象方法、（4）近似模型检测方法。特点是不但可以刻画数据流和连续的状态变化，而且允许带误差，但误差可控。在实际应用层面，基于所构建的实微分多项式进程代数理论和方法，开发原型平台工具系统，并应用于轨道列车运行控制软件系统的设计和分析。

中文关键词： 形式化方法；实微分多项式；进程代数；近似；误差

英文摘要： Traditional formal specification language e.g. process algebra is normally built on a set of discrete and abstract actions. Data flow and continuous state transfers are therefore not able to be specified, and the more important, it makes impossible for th

英文关键词： Formal methods；Real differential polynomials；Algebra process；Approximation；Errors