您的位置： 专家智库 > >

首都师范大学信息工程学院可靠嵌入式系统北京市高等学校工程研究中心

作品数：1 被引量：7H指数：1
相关机构：北京化工大学信息科学与技术学院更多>>
发文基金：北京市自然科学基金国际科技合作与交流专项项目国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作机构

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇定理
  • 1篇定理证明
  • 1篇形式化
  • 1篇形式化验证
  • 1篇积分器

机构

  • 1篇北京化工大学
  • 1篇首都师范大学
  • 1篇中国科学院研...

作者

  • 1篇施智平
  • 1篇关永
  • 1篇张杰
  • 1篇赵春娜
  • 1篇叶世伟
  • 1篇谷伟卿

传媒

  • 1篇计算机科学

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
Gauge积分在HOL4中的形式化被引量：7
2013年
积分是许多数学理论的基础,如实数分析、信号与系统中微分方程的求解等等。Gauge积分是黎曼积分在闭区间上的推广,应用更加方便。将Gauge积分的运算性质在HOL4(Higher-Order Logic 4)中形式化,包括积分的线性运算性质、积分不等式、分部积分、积分分裂定理、子区间的可积性、对特殊函数的积分的形式化及积分极限定理、柯西可积准则,并根据相关性质对反相积分器进行了验证。
谷伟卿施智平关永张杰赵春娜叶世伟
关键词：形式化验证定理证明积分器
全选 清除 导出
共1页<1>
聚类工具0