课题基金 / 基金详情

Lösbarkeit und Komplexität im Turingmaschinenmodell von numerischen Problemen über Funktionenräumen

Lösbarkeit und Komplexität im Turingmaschinenmodell von numerischen Problemen über Funktionenräumen
函数空间数值问题图灵机模型的可解性和复杂性
批准号:
22442428
负责人:
Professor Dr. Peter Hertling
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2006
资助国家:
德国
项目状态:
已结题
起止时间:
2005-12-31 至 2008-12-31

项目摘要

项目成果

相似基金

相关文献

中文摘要
翻译
数字化生产韦尔登常常以抽象的形式出现。在数字计算机的实施方面,我们还面临着其他一些问题。这是一个在数字计算机的Berechenbarkeitstheorie和Complexitätstheorie中的数字机器模型中的Lösbarkeit和2 Komplexität的许多问题。本论文主要研究基于信息的复杂性问题,即基于韦尔登的数值数学问题,采用真实的数值模型。本文以真实的数值问题为例,介绍了信息复杂性的韦尔登、数学理论和函数分析的基本原理。答案也是复杂的理论框架韦尔登。
英文摘要
Numerische Verfahren werden oft nur in abstrakter Form beschrieben. Bei der Implementierung auf digitalen Computern können dann noch erhebliche Probleme auftreten. Es ist das Ziel dieses Projekts, numerische Probleme auf ihre Lösbarkeit und 2 Komplexität im Turingmaschinenmodell hin zu untersuchen, dem in der Berechenbarkeitstheorie und Komplexitätstheorie vorwiegend benutzten theoretischen Modell für digitale Computer. Dabei soll in diesem Projekt der Schwerpunkt auf Problemen liegen, die in der Information-Based Complexity untersucht werden, einer Teildisziplin der numerischen Mathematik, die mit einem real number-Modell arbeitet. Es soll überprüft werden, ob und inwieweit sich Ergebnisse der Information-Based Complexity zur Komplexität von numerischen Problemen in real number-Modell sauf das Turingmaschinenmodell übertragen lassen Hierzu sind zuerst einmal grundlegende berechenbarkeitstheoretische Fragen zur numerischen Mathematik, zur Maßtheorie und zur Funktionalanalysis zu klären. Anschließend sollen auch komplexitätstheoretische Fragen beantwortet werden.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
海外基金