大学网站

P.J.Collins（彼得·柯林斯）

2010-05-01

可计算分析及其在动态系统中的应用

出版物

出版物

在本文中，我们为连续数学发展了一种计算理论。该理论基于可计算分析的早期发展，特别是魏哈劳学派的发展，并作为直觉主义类型理论的模型提出。我们尽了一切努力使演示尽可能简单而笼统。图灵可计算性和可计算分析的核心主题应该是非专业人员可以使用的，他们具有扎实的一般拓扑和分析背景，但重要的技术成果也得到了证明。要显示该理论的潜在用途，给出了动力系统和控制理论的一些简单应用。
其他元数据
关键词 可计算分析, 动态系统, 直觉类型论, 图灵机
移动交换中心 抽象公理可计算性和递归理论（msc 03D75）
主题 生命科学（主题5）, 能源（主题4）
出版商 CWI公司
系列 CWI公司。建模、分析和计算部
项目 系统和控制的计算拓扑
注释 本研究得到荷兰组织Wetenschappelijk Onderzoek（NWO）Vidi拨款639.032.408的支持
组织 科学计算
引用
Collins，P.（2010）。可计算分析及其在动态系统中的应用.CWI公司。建模、分析和计算部.CWI公司。
免费全文 (最终版本，727kb) 盖


用户 出版物 人 组织 收藏
关闭