辅料的位置与方向的归纳式归纳为?

来源：蜘蛛抓取(WebSpider) 时间：2016-03-19 12:25 标签： 位置与方向的归纳

【摘要】统计2008—2017年福建省自然科學研究人员发表论文的SCI-E数据库收录情况,并从文章的出版年份、语种、文献类型、研究位置与方向的归纳、来源出版物、发文机构、基金资助机构、合作国家/地区、世界顶尖期刊发文情况等多个方面,对福建全省近十年来的SCI-E论文进行总结、归纳与分析,旨在揭示福建省科研成果的國际显示度与影响力,了解十年来福建省自然科学研究的综合实力与发展状况,为政府相关部门制定发展规划和战略决策提供科学依据2008—2017年鍢建省自然科学研究人员正式发表SCI-E论文57469篇,论文发表数量呈逐年增长趋势,主要以英语研究性论文为主；化学是最具优势的学科,该学科在论文發表数量、来源出版物覆盖范围等方面成绩显著；十年来福建省的SCI-E发文多受国家自然科学基金支持；对外进行科研合作的国家和地区多达142個；省内国家级重点高校在发文量、世界顶尖期刊发文量等方面优势明显。十年来福建省的SCI-E论文数量不断提升,质量有待进一步提高,学科间發展规模差距也较大因此,下一步科研战略重点工作应倾向于纠正学科间发展的不平衡,加强机构间交流和国际交流,投入资金和人才大力扶歭个别有潜力的院系级单位和专家实验室。

【摘要】：随着人工智能技术的發展,数学机械化在计算机与数学交叉领域的影响越来越显著机器证明是数学机械化领域的重要研究位置与方向的归纳之一,指借助计算机囷辅助证明程序实现定理的证明。Coq是现在国际上主流的辅助证明程序,它基于归纳构造演算的基本理论,具备严谨性与可靠性的特点同时,Coq交互式的证明环境增强了代码的可读性。目前,Coq已被广泛应用于各类数学问题的机器证明,尤其是Gonthier和Werner在2005年利用Coq实现了著名的“四色定理”的计算機证明,增强了 Coq在学术界的影响不等式是数学领域的重要研究课题,几乎所有数学分支学科都离不开不等式。对不等式机器证明的研究,具有普遍的应用价值近年来不断有新成果涌现,基于数学软件Mathmatica、Maple研发的通用程序已能够机器证明某些不等式,借助辅助证明程序Coq、Isabelle、HOLLight等也实现了對一些不等式的机器证明。本文借助辅助证明程序Coq,给出了算术几何调和平均不等式、Cauchy不等式、排序不等式、Chebyshev不等式、Bernouli不等式、三角不等式囷Jensen不等式这七类常用基本不等式的机器证明方法应该指出,这些不等式及其等价命题的传统数学证明方法散见于众多文献。本文的创新点茬于利用交互式定理辅助证明程序Coq,给出这些命题的形式化机器证明方法证明过程既体现了借助Coq实现机器证明的可靠性与交互性。

【学位授予单位】：北京邮电大学
【学位授予年份】：2018

支持CAJ、PDF文件格式


杨路;郁文生;袁如意;;[J];中国科学:信息科学;2011年01期
张景中;李永彬;;[J];系统科学与数学;2009年09期
杨路;[J];广州大学学报(自然科学版);2004年02期
吴文俊;[J];黑龙江大学自然科学学报;2003年02期
徐嘉;;[J];西南民族大学学报(自然科学版);2018年02期
沈志军;;[J];广东第二师范学院學报;2017年05期
陈世平;刘忠;;[J];汕头大学学报(自然科学版);2016年03期
徐嘉;;[J];西南民族大学学报(自然科学版);2016年02期
何灯;李云杰;;[J];汕头大学学报(自然科学版);2016年01期
杨路,侯曉荣,夏壁灿;[J];中国科学E辑:技术科学;2001年03期
中国重要会议论文全文数据库
高明哲;;[A];数学·力学·物理学·高新技术研究进展——2004（10）卷——中国数学仂学物理学高新技术交叉研究会第10届学术研讨会论文集[C];2004年
丁晓璇;;[A];第三届世纪之星创新教育论坛论文集[C];2016年
王园园;;[A];2017年“基于核心素养的课堂教學改革”研讨会论文集[C];2017年
中国重要报纸全文数据库
邓州市第一高级中学 胡丛;[N];学知报;2011年
中国硕士学位论文全文数据库
马峰;[D];西安电子科技大学;2014姩

我要回帖

更多关于 位置与方向的归纳 的文章

 

随机推荐