计算数论
在数学和计算机科学领域中,计算数论(,或称为算法数论(),是伴随着電子计算机的产生而产生的,借助于高性能计算机的计算能力来研究和解决数论和算术几何问题,如素数判定、整数分解算法,计算丟番圖方程的解,算术几何的显式方法等。它广泛应用于密码学,如RSA算法,椭圆曲线密码学,后量子密码学,并用于研究数论中的猜想和开放性问题,如黎曼猜想,贝赫和斯维讷通-戴尔猜想,Abc猜想,谷山-志村猜想,,朗兰兹纲领等 软件包 Magma Sage Numb…
共 15 篇文章
在数学和计算机科学领域中,计算数论(,或称为算法数论(),是伴随着電子计算机的产生而产生的,借助于高性能计算机的计算能力来研究和解决数论和算术几何问题,如素数判定、整数分解算法,计算丟番圖方程的解,算术几何的显式方法等。它广泛应用于密码学,如RSA算法,椭圆曲线密码学,后量子密码学,并用于研究数论中的猜想和开放性问题,如黎曼猜想,贝赫和斯维讷通-戴尔猜想,Abc猜想,谷山-志村猜想,,朗兰兹纲领等 软件包 Magma Sage Numb…
基础模型(或)指一类大型机器学习模型,它们经大规模数据训练而成(通常以自监督学习或半监督学习方式进行),以适应各种下游任务。基础模型帮助实现了人工智能系统构建方式的重大革新,例如为聊天机器人和其他面向用户的人工智能提供支持。斯坦福人类中心人工智能研究所()旗下的基础模型研究中心(,简称)推广了“基础模型”这一术语的使用。 除文本模型外,还先后诞生了各种视觉或多模式的基础模型,如DALL-E、Flamingo、Florence和NOOR等…
企业资源计划(,縮寫:ERP),或譯企業資源規劃,是由美国高德纳咨询公司於1990年代提出的一個企業管理概念。企业资源计划最初被定义为應用軟體,但迅速为全世界商业企业所接受。现在已经发展成为一個重要的现代企业管理理论,也是一個实施企业流程再造的重要工具。而當初應用軟體的定義,現在則被稱為「企業資源計劃系統」 美國生產及存貨管理協會對ERP一詞的解釋提到:一個ERP系統和典型MRP II系統的差異在技術上的需求,例如圖形使用者介面、關聯式…
人工智能检测软件旨在确定某些内容(文本、图像、视频或音频)是否是使用人工智能(AI)生成的。 截至2023年,这方面的典型案例有诸如GPTZero这样的软件,该软件声称可以检测文本是否是由人工智能生成,有时被大学和高校用于防范学生的学术抄袭。然而,关于这类软件是否可靠的争论不断,同时也存在对教育工作者可能误用AI检测软件担忧。 准确性问题 事实证明,多个人工智能检测工具在准确和全面检测生成的人工智能生成文本方面表现不可靠。在韦伯·伍尔夫…
自然語言處理(,缩写作 *')是人工智慧和語言學領域的交叉學科,研究计算机处理、理解与生成人类语言的技術。此領域探討如何處理及運用自然語言;自然語言處理包括多方面和步骤,基本有认知、理解、生成等部分。 自然語言認知和理解是讓電腦把输入的語言变成结构化符号与语义关系,然后根据目的再處理。自然語言生成系統则是把計算機數據轉化為自然語言。 自然语言处理要研制表示语言能力和语言应用的模型, 建立计算框架来实现并完善语言模型,并根据语言模型设计各…
圖形。]] 动画呈现混沌行为。 从开始略微不同的初始条件摆杆将导致一个完全不同的轨迹。双杆摆是具有混沌方案最简单的动力系统之一。]] 混沌理论()是关于非线性系统在一定参数条件下展现分岔、周期运动与非周期运动相互纠缠,以至于通向某种非周期有序运动的理论。在耗散系统和保守系统中,混沌运动有不同表现,前者有吸引子,后者无(也称含混沌吸引子)。 从20世纪80年代中期到20世纪末,混沌理论迅速吸引了数学、物理、工程、生态学、经济学、气象学、情…
:細胞自動機的例子。]] 細胞自動機(),又稱格狀自動機、元胞自動機,是一種離散模型,在可计算性理論、數學及理論生物學都有相關研究。它是由無限個有規律、堅硬的方格組成,每格均處於一種有限狀態。整個格網可以是任何有限維的。同時也是離散的。每格於t時的態由t-1時的一集有限格(這集叫那格的鄰域)的態決定。每一格的「鄰居」都是已被固定的。(一格可以是自己的鄰居。)每次演進時,每格均遵從同一規矩一齊演進。 就形式而言,細胞自動機有三個特徵: 平…
中央研究院統計科學研究所,簡稱統計所,是中央研究院下設的統計學研究機構。 沿革 1980年7月:周元燊、刁錦寰、李景均等21位院士聯名建議設立「統計學研究所」,經院士會議會議決議通過。 1981年2月19日:總統核定設所。 1982年7月1日:成立籌備處,以趙民德博士為籌備處主任。 1987年8月:奉准成所,改名「統計科學研究所」。 出版品 《中華統計學誌》 參考文獻 外部連結 [https://www.stat.sinica.edu.…
计算听力学是听力学的一个分支,运用数学和计算机科学的技术来改进临床治疗方法并深化对听觉系统的科学理解。计算听力学与计算医学密切相关,后者利用定量模型来开发更优的疾病诊断和治疗方法。 概述 与传统的听力学和听觉科学研究方法相比,计算听力学更注重预测建模和大规模分析 ("大数据") 而非推论统计和小队列假设检验。计算听力学的目标是将听觉科学、数据科学、信息技术和机器学习领域的进展转化为临床听力学护理。了解人类以及相关动物物种的听力功能和听觉…
等压面位势高度。]] 數值天氣預報,或稱數值天氣預測、天气数值预测、數值預報,是一种根据大气的数学模型,包含一連串的偏微分、物理及化學公式,利用当前的氣壓、溫度、風速、濕度作为输入数据而作出天气预报的方式,為現代天气预报之主流。尽管早在1920年代时已有人作出过尝试并取得一定成果,但直到计算机模拟出现之后,数值天气预报才成为一种切实可行的实时天气预报方法。为了得到準確的预测结果,世界多國都使用超级电脑来进行复杂的计算。许多天气预测模型,…
计算符号学()是一个跨学科领域,其研究、应用和借鉴领域涵盖了逻辑、数学、计算理论和实践、形式和自然语言研究、一般认知科学,以及符號學本身。该术语既涵盖了符号学在计算机硬件和软件设计中的应用,也包括使用计算来执行符号学分析。前者侧重于符号学可以为计算带来什么;后者与计算能给符号学带来什么有关。 计算符号学 该领域的一个共同主题是以符号理论视角看待人工智能和知识表示的问题。其许多应用场景是人机交互和基本识别装置。 代数符号学是该领域的一部分…
天文信息学()是一个跨学科的研究领域,涉及天文学、数据科学、信息学和信息及通信技术。 会议 参考文献 外部链接 [http://www.adass.org/ Astronomical Data Analysis Software and Systems] (ADASS) [https://asaip.psu.edu/ Astrostatistics and Astroinformatics Portal] (COIN) [http://…
数值线性代数(),又稱應用線性代數()是一门研究在计算机上进行线性代数计算,特别是矩阵运算算法的学科,是數值分析的一個分支。计算机用浮点数运算,无法精确表示无理数数据,因此计算机算法应用于数据矩阵时,有时会产生较大的误差。数值线性代数利用向量和矩阵的性质开发算法,以最大限度地减少这误差,同时还要确保算法尽可能高效。 数值线性代数试图利用精度有限的计算机解决连续的数学问题,因此在自然科学和社会科学中的应用同连续数学一样广泛。这些问题包括图…
统计机房工作的学生]] 计算统计学或统计计算是统计学与计算机科学之间的纽带,是指通过计算方法实现的统计方法。计算统计学是计算科学中专门针对统计学数学科学的领域,目前还在迅速发展,因此有人呼吁在普通统计教育中教授更广泛的计算概念。 与传统统计学一样,其目标是将原始数据转化为知识,而重点在于计算机密集型统计方法,例如样本量非常大的情形与非齐性数据集等。 “计算统计学”也可指计算密集型统计方法,如重抽样、马尔可夫链蒙特卡洛、局部回归、核密度估…
在数学中,计算群论是一种用计算机研究群的理论,它涉及设计和分析算法和数据结构以计算有关群的信息。人们研究这个理论目的是对于许多“有趣”的群来说,比如大多数散在群,手工计算群的相关信息是不切实际的。即使是比较简单的有限群的 中心 (群论)和正规子群,使用枚举算法也比逻辑推导快速很多。 计算群论中的重要算法包括: 用于查找置换群阶的Schreier–Sims 算法。 用于陪集枚举的Todd–Coxeter 算法和Knuth–Bendix 算…