位置：立项数据库 > 立项详情页
实代数符号计算在形式化方法中的应用
  • 项目名称：实代数符号计算在形式化方法中的应用
  • 项目类别：面上项目
  • 批准号：60573007
  • 申请代码：F020101
  • 项目来源：国家自然科学基金
  • 研究期限：2006-01-01-2008-12-31
  • 项目负责人：詹乃军
  • 负责人职称：研究员
  • 依托单位：中国科学院软件研究所
  • 批准年度：2005
中文摘要：

形式方法传统上基于离散数学。但实际上程序设计离不开连续变量,例如混成系统就离不开连续部件及其和离散部件之间的相互配合。近年来,形式方法中引入连续数学的研究有很多发展。例如线性程序的终止性分析,线性不变式的获取,时段演算和混成自动机的建立等。在这些研究中离不开求解非线性约束条件,或讨论系统状态的可达性及稳定性等。因此,形式方法可以使用实代数符号计算及相关工具。我国在实代数符号计算方面有不少重要贡献。

中文主题词： 符号计算;程序正确性;实时混成系统;时段演算;可达性
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 15
  • 4
  • 0
  • 0
  • 2
期刊论文
On hierarchically developing reactive systems”
Connecting algebraical and logical descriptions of concurrent systems
Refinement and composition of components in rCOS
Model checking linear duration invariants of networks of automata
Generating Polynomial Invariants with DISCOVERER and QEPCAD
A New Method for Real Root Isolation of Univariate Polynomials.
A new method for real root isolation of univariate polynomials
Modelling with relational calculus of object and component cystems – rCOS refinement and compositio
Duration Calculus
A model of compoent-based programming
Real Solution Isolation Using Interval Arithmetic
Program verification by using DISCOVERER
Formalizing scheduling theorems using duration calculus
Refinement and verification in component based and model driven design
Program verification by reduction to semi-algebraic systems solving
会议论文
Discovering Non-Linear Ranking Functions by Solving Semi-Algebraic Systems
A Semi-algebraic Approach for the Computation of Lyapunov Functions
DISCOVERER: A tool for solving semi-algebraic systems
Program verification through computer algebra
著作
《不等式机器证明与自动发现》
《计算机代数》
相关项目
城市公共交通可达性对小汽车拥有及使用决策的影响研究
期刊论文 50 会议论文 2 著作 6
符号计算技术及其应用
期刊论文 16 会议论文 2 著作 1
低碳视角下的城市交通可达性与居民出行方式选择关系定量研究
期刊论文 9 著作 1
基于符号-数值混合计算的误差可控算法及应用
期刊论文 71 会议论文 15
基于可达性分析的旅游景点空间格局演变研究——以长江三角洲为例
期刊论文 23 著作 1
复杂非线性波动方程解析解的数学机械化和图像分析
期刊论文 21 获奖 2 著作 1
混杂系统可达性分析与控制设计及其应用
期刊论文 21 会议论文 18
借助构造性代数几何研究多元有理插值的理论与算法
期刊论文 11 会议论文 6
符号计算在微分-差分多项式动力系统中的应用
期刊论文 7 会议论文 1
詹乃军的项目
软件构件的精化、组合和粘合理论研究
期刊论文 7 会议论文 12
第七届实时计算系统和应用国际会议
复杂安全攸关嵌入式系统形式设计
期刊论文 1
航天嵌入式软件设计一致性验证技术及其应用
期刊论文 3