- 1、本文档共10页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
人工智能重塑科学与工程研究
朱霖潮
浙江大学计算机科学与技术学院人工智能研究所
zhulinchao@
Recognition,LEarning,Reasoning
中心浙江大学人工智能教育教学研究中心浙江大学人工智能教育教学研究中心
人工智能教育教学研究中心浙江大学人工智能教育教学研究中心浙江大学人工智能教育教学
浙江大学人工智能教育教学研究中心浙江大学人工智能教育教学研究中心浙江
l科学研究方法
l以蛋白质结构预测为例
lAI驱动科学研究的全过程l小结
2
中心浙江大学人工智能教育教学研究中心浙江大学人工智能教育教学研究中心
人工智能教育教学研究中心浙江大学人工智能教育教学研究中心浙江大学人工智能教育教学
浙江大学人工智能教育教学研究中心浙江大学人工智能教育教学研究中心浙江
提纲
ZHEJIANGUNIVERS
Ys91
GU
ITY
N
l第一范式:经验驱动——基于观察和归纳的实验研究
l以经验主义和人的思考为主导的科学研究范式
l实验是开展研究的主要手段
l起源可追溯至古希腊和中国的早期实验方法
l数千年文明史中,人类绝大多数技术发展源于对自然现象的观察和实验总结
甲骨文反映了早期古人通过观察自然现象(如天气、农作物生长、天象等),并进行记录
的做法。
亚里斯多德认为自由落体运动中,伽利略的落体实验:通过实验物体越重,下落越快;物体越轻,验证物体落下速度与质量无关下落越慢。
中心浙江大学人工智能教育教学研究中心浙江大学人工智能教育教学研究中心
人工智能教育教学研究中心浙江大学人工智能教育教学研究中心浙江大学人工智能教育教学
科学研究方法
浙江大学人工智能教育教学研究中心浙江大学人工智能教育教学研究中心浙江
开普勒发现行星的移动遵守着三条定律
ZHEJIANGUNIVERS
Ys91
GU
ITY
N
l第二范式:理论驱动——基于科学假设和逻辑演绎的理论研究
l当实验条件不具备时,第一范式难以为继
l不再局限于描述经验事实,使用数学工具研究更精确的自然现象
l从“知其然”到“知其所以然”,对自然界规律做出背后原理性的解释
l探索第一性原理(FirstPrinciple),提供精确描述自然规律的语言,形成可分析的理论模型
欧几里德《几何原本》
中心浙江大学人工智能教育教学研究中心浙江大学人工智能教育教学研究中心
人工智能教育教学研究中心浙江大学人工智能教育教学研究中心浙江大学人工智能教育教学
科学研究方法
浙江大学人工智能教育教学研究中心浙江大学人工智能教育教学研究中心浙江
l23个定义明确了点、
线、面等基本几何概念
l5条公设确立了几何作图的基本操作
l5条公理奠定了几何推理的基础规则
薛定谔方程
牛顿定律
ZHEJIANGUNIVERS
Ys91
GU
ITY
N
l第三范式:计算驱动——以计算和仿真为主导的科学研究
l肯尼斯·威尔逊博士(计算物理学家、诺贝尔奖获得者)指出,计算是与理论和实验并列的科学方法之一
l高性能计算机和大规模并行计算兴起
l利用计算机精确、大规模求解方程组
l探索无法通过实验和理论推导解决的复杂问题
哈密顿量
密度泛函理论(DFT)
有限元仿真的汽车碰撞测试
中心浙江大学人工智能教育教学研究中心浙江大学人工智能教育教学研究中心
人工智能教育教学研究中心浙江大学人工智能教育教学研究中心浙江大学人工智能教育教学
科学研究方法
电荷密度
原子结构
l将量子力学方程转换为计算机高效求解的形式
l处理复杂多电子体系问题
波函数
浙江大学人工智能教育教学研究中心浙江大学人工智能教育教学研究中心浙江
超级计算机系统
ZHEJIANGUNIVERS
Ys91
GU
ITY
N
天文大数据
大型强子对撞机(LHC)实验数据统计
l第四范式:数据驱动——数据密集型科学研究方法
l图灵奖获得者吉姆·格雷提出数据密集型科学研究
l利用海量数据采集取代传统观察,以机器学习、统计学等技术替代人类归纳
l大数据:例如,美国国家海洋和大气管理局每天收集数十T的环境数据,包含卫星、雷达、船舶、气象
l传统模式(先提出假设再验证)vs.让数据本身”说话”
中心
文档评论(0)