吴永成 - 南京信息工程大学

个人简介

2000.09-2005.06南京大学数学系数理逻辑专业硕博直读研究生 2005.07-今南京信息工程大学数学专业教师

研究领域

1.精准计算计算软件的可靠性是一个关乎经济与生命安全的现实问题。基于浮点数的计算往往由于误差传递与放大导致完全错误的计算结果，这是目前计算软件普遍存在的问题。精准计算是一种根据指定误差范围给出精确结果的计算技术。与常规数值算法的区别在于，它采用精准的数值表示，并且算法本身自行控制每一步计算误差。作为一种新兴的计算技术，有许多理论问题亟待解决，其中包括为一大批经典的数值计算方法设计相应的精准算法。我们在这个课题上的研究始于2005年，已获得了若干基础性的理论成果和精准算法，在国际SCI、SCIE和EI检索期刊上发表6篇论文，并与来自德国、美国的同行专家保持合作关系，可互派交流学生。 2.自然语言理解自然语言理解目前是人工智能技术发展的瓶颈，亟待突破。该项研究与本专业的多门课程密切相关，包括理论计算机科学基础、信息论基础和编码理论。该项研究工作将有助于将教学与科研相结合，将理论与实践相结合，形成一个培养学生创新与实践能力的学科群体

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

[1] Yongcheng Wu and Klaus Weihrauch. A Computable Version of Daniell-Stone Theorem on Integration and Linear Functional. Theoretical Computer Science, 359:28-42(2006). [2] Yongcheng Wu and Decheng Ding. Computability of Measurable Sets via Effective Metrics. Mathematical Logic Quarterly， 51,No.6,543—559(2005). [3] Yongcheng Wu and Decheng Ding. Computability of Measurable Sets via Effective Topologies. Archive for Mathematical Logic,45,No.2,365-379(2006). [4] Decheng Ding, Klaus Weihrauch and Yongcheng Wu. Absolutely Non-Effective Predicates and Functions in Computable Analysis. Theory and Applications of Models of Computation. LNCS 484,595-604(2007). [5] Klaus Weihrauch，Yongcheng Wu and Decheng Ding. Absolutely Non-Computable Predicates and Functions in Analysis. Mathematical Structures in Computer Science, 2009;19(1):59-72. [6] Yongcheng Wu. Computable Multi-Representations of Sets in a Computable Measure Space. Electronic Proceedings in Theoretical Computer Science, Vol.24, 60-166,2010. [7] Yongcheng Wu. Computability on random events and variables in a computable probability space. Theoretical Computer Science, Vol. 460, 54-69, 2012