基于计算机代数的我国高速列车运行控制系统规范CTCS-3/4的分析与验证

91018012
2010
F0210.计算机图像视频处理与多媒体技术
杨路
重大研究计划
教授
华东师范大学
50万元
CTCS-3/4;CSP;HCSP;计算机代数;程序验证
2011-01-01到2011-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems 会议论文 Hengjun Zhao|Jiang Liu|Naijun Zhan|
2 Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients 会议论文 Zhengfeng Yang|Min Wu|
3 Computing semi-algebraic invariants for polynomial dynamical systems 会议论文 Jiang Liu|Hengjun Zhao|Naijun Zhan|
4 Detecting Strong Nontermination of Multi-Path Polynomial Programs 会议论文 Hengjun Zhao|Naijun Zhan|Ming Xu|Jiang Liu|
5 Decidability Analysis on Termination Set of Loop Programs 会议论文 Shizhong Zhao|Donghuo Chen|
6 Termination Set of Linear Loop Programs 会议论文 Donghuo Chen|Shizhong Zhao|
7 Symbolic decision procedure for termination of linear programs 期刊论文 Zhihai Zhang|Lu Yang|Bican Xia|Naijun Zhan|
8 FORMALTCGENERATOR: A TOOL OF AUTOMATICALLY GENERATING TEST CASES FOR INFINITE STATES REACTIVE SYSTEMS 会议论文 Donghuo Chen|Shizhong Zhao|
9 Cupping and diamond embeddings: a unifying approach 会议论文 Jiang Liu|Chengling Fang|Guohua Wu|
10 Computing with Semi-Algebraic Sets Represented by Triangular Decomposition 会议论文 Changbo Chen|James Davenport|Marc Moreno Maza|Bican Xia|Rong Xiao|
11 Proving total correctness of loop programs via symbolic-numeric computation method 会议论文 Min Wu|Zhengfeng Yang|Wang Lin|Zhenbing Zeng|
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享