【摘 要】
：
研究采用有误差的数值计算来获得无误差的准确值具有重要的理论价值和应用价值.这种通过近似的数值方法获得准确结果的计算被称为零误差计算.本文首先指出,只有一致离散集合中的数才能够开展零误差计算,即有非零隔离界的数集,这也是"数"可以进行零误差计算的一个充要条件.以此为基本出发点,本文分析代数数零误差计算的最低理论精度,该精度对应于恢复近似代数数的准确值时必要的误差控制条件,但由于所采用恢复算法的局限性
【机 构】
：
中国科学院重庆绿色智能技术研究院,重庆400714;自动推理与认知重庆市重点实验室,重庆400714
论文部分内容阅读
研究采用有误差的数值计算来获得无误差的准确值具有重要的理论价值和应用价值.这种通过近似的数值方法获得准确结果的计算被称为零误差计算.本文首先指出,只有一致离散集合中的数才能够开展零误差计算,即有非零隔离界的数集,这也是"数"可以进行零误差计算的一个充要条件.以此为基本出发点,本文分析代数数零误差计算的最低理论精度,该精度对应于恢复近似代数数的准确值时必要的误差控制条件,但由于所采用恢复算法的局限性,这一理论精度往往不能保证成功恢复出代数数的准确值.为此,本文给出采用PSLQ (partial-sum
其他文献
文章针对当前特色资源库存在的主要问题,构建了用户导向的2.0特色资源库.在分析用户的导向性需求和特殊需求的基础上,提出了RISS2系统平台的系统结构、系统应用模式和系统业
前不久,读者刘心原等来电、来信问:有的媒体报道,蛋糕、炸薯条、烤面包片等经过120℃高温加工的淀粉类食物都含有丙烯酰胺,长期食用可能导致癌症,不知道是否如此?这个消息确
人类历史经历了农业社会、工业社会,正逐步进入信息社会。信息作为一种重要的资源和财富,影响着社会的运转。 当今社会中,竞争的胜负在很大程度上取决于对信息的掌握。生产
不久前,观看了一场演唱会,演出中的一幕给我留下了很深的记忆:70多岁高龄的著名男高音歌唱家李光羲老师与他的女儿、歌唱演员李崇合唱了难度很高的著名歌剧《茶花女》中的两
对微弱光的摄象技术有时要求很高,以往一般的摄像方法是使用超高灵敏摄象机.具有代表性的是SIT式(Silicon Intensified)摄象机.随着技术的进步,该摄象机被微通道板图象放大
当激波冲击两种不同物质组成的界面时,其驱动的界面流体混合现象称为Richtmyer-Meshkov (RM)不稳定性.惯性约束核聚变过程中,激波诱导的靶丸材料与聚变材料间的RM不稳定性是该研究领域重要的基础科学问题之一.实际靶丸材料受制于工艺无法制成单晶,理论研究证实激波在多晶材料内传播时,其波阵面会发生一定扭曲,这种扭曲是否会诱发宏观尺度RM不稳定性或形成宏观尺度RM不稳定性的种子源是靶丸设计中
目的:探讨丝裂原活化蛋白激酶(mitogen activated protein kinases,MAPKs)信号转导通路在胰岛素促人乳腺癌细胞MCF-7增殖中的作用机制。方法:通过MTT比色法观察不同浓度(0、2
神经 从25岁起，我们的大脑开始耗损，神经细胞每天以失去7 000个神经元的速度死亡，且不能更新。 头发 在我们拥有的10万个发囊中，每天要掉40到100根头发，数量多少取决于每个人的遗传、内分泌和健康状况。 为了看清楚 即使不流一滴眼泪，眼睛每天都要制造5毫升液体，起消毒作用，并使眼睛每天眨3万次，平均每分钟20次。 抗头晕 听觉神经和大脑靠1.7万根纤毛联系，不仅可以使人听到声音，而且使
求解代数方程组是计算代数几何的最基本问题之一,孤立奇异解的计算则是其中最具挑战性的课题之一,在科学与工程计算中有着广泛的应用,如机器人、计算机视觉、机器学习、人工智能、运筹学、密码学和控制论等.本文结合作者的研究成果,综述了符号数值方法在计算代数系统孤立奇异解、特别是近似奇异解精化与验证方面的研究进展,并对未来的研究方向提出了展望.
本文基于证明辅助工具Coq,完整实现林群院士和张景中院士等倡导的第三代微积分—没有极限的微积分—理论构架的形式化验证,包括对张景中等发表的题为"微积分基础的新视角"论文中全部定义和定理的Coq描述.进而,对定理无例外地给出Coq的机器证明代码,所有形式化过程已被Coq验证,并在计算机上运行通过,体现了基于Coq的数学定理机器证明具有可读性和交互性的特点,其证明过程规范、严谨、可靠.本文是实践研究人