会议项目图标

会议项目

抽象加速度中的声音数值计算

摘要：

健全性是验证工具的主要目标。使用精确算术或符号表示的方法通常速度慢得令人望而却步，并且无法扩展到较小的示例。我们建议使用数值浮点计算来提高性能，并结合区间分析来确保数值动力学模型的可达集计算的可靠性。由于区间分析不能提供准确的答案，我们认为可达集的超逼近是由区间分析所导致的。。。

展开摘要
发布状态：
出版
同行评审状态：
同行评审

行动

  • 引用

  • 打印

Access文档

文件夹：
发布者副本：
10.1007/978-3-319-63501-9_4

作者

更多作者介绍
机构：
牛津大学
部门：
多协议标签交换
部门：
计算机科学
角色：
作者
更多作者介绍
机构：
牛津大学
部门：
多协议标签交换
部门：
计算机科学
角色：
作者
更多作者介绍
机构：
牛津大学
部门：
多协议标签交换
部门：
计算机科学
角色：
作者
出版商：
Springer Verlag公司
主持人职务：
数字软件验证。2017年NSV。计算机科学课堂讲稿
日志：
2017年7月22日至23日，德国海德堡，第十届2017年数字软件验证国际研讨会 本杂志的更多信息
体积：
10381
页：
38-60
出版日期：
2017-07-12
验收日期：
2017-05-26
内政部：
国际标准编号：
0302-9743
国际标准图书编号：
9783319635019
酒吧编号：
酒吧：701185
用户识别码：
uuid:69245401-e33b-4f2a-884e-0b33dee0bed2
本地pid：
酒吧：701185
源标识符：
701185
存款日期：
2017-06-17

使用条款

查看和下载





如果您是此记录的所有者，可以在此处报告其更新：此记录的报告更新

至顶部