发布时间：
1988于中科院系统所获博士学位
1988-1990，美国Texas德克萨斯大学，博士后
1993-1996，美国Wichita堪萨斯州威奇托市州立大学, 访问学者
1988- 1999 中科院系统所
1999-中科院数学与系统科学研究院
数学机械化，符号计算, 自动推理，信息安全，智慧型软体开发
中国科学院自然科学一等奖，1995.
国家自然科学二等奖, 1997.
中科院青年科学家一等奖，1997.
中国科学院有突出贡献的中青年专家，1998.
(香港求是基金会)求是杰出青年学者奖,1999.
第四届中国科学院杰出青年，1999年
第四届亚洲数学技术大会 (ATCM'99)"最佳论文奖",1999.
中国科学院盈科优秀青年学者奖,2000.
第一届中国科协期刊优秀学术论文奖，2003
数学与系统科学研究院"突出成果奖"，2003.
中国科学院先进工作者，2006.
(中创软体基金会)"中创软体人才奖"，2006.
第九届吴文俊人工智慧科学技术奖杰出贡献奖，2019
国家重点基础研究发展计画(973)项目:"数学机械化方法及其在信息技术中的套用"，2004年-2009年，首席科学家。
国家重点基础研究发展规划(973)项目:"数学机械化与自动推理平台"，1999年-2003年，首席科学家。
国家杰出青年基金，1998年-2000年。
国家攀登计画"数学机械化及其套用"子项目负责人，1997年。
国家攀登计画"机器证明及其套用"子项目负责人，1992年-1996年。
863计画"智慧型计算机" 主题子课题"吴方法软体研究"负责人，1991年-1993年。
美国自然科学基金 CCR-9117870, 1992年-1994年,"Mechanical Theorem Proving in Geometry and Mechanics"，主要参加人员。
美国自然科学基金 CCR-9420857, 1995年-1998年，"Automated Generation of Readable Proofs in Geometry"，主要参加人员。
美国自然科学基金 CCR-0201253, 2002年-2004年, "Automated Geometry Reasoning and Methods fir Diagram Generation",共同主持人(CO-PI)。
中国系统工程学会，副理事长
中国数学会，常务理事
国际符号与代数年会(ISSAC)指导委员会委员
《系统科学与数学》，副主编
Journal of Systems Science and Complexity，副主编
Journal of Symbolic Computation ，编委
International Journal of Computers, Communications & Control，编委
Electronic Journal of Mathematics and Technology，编委
《计算机辅助设计与图形学学报》，编委
《中国图像图形学报》，编委
中科院数学与系统科学研究院吴文俊院士因开创数学机械化证明获得了国家科技大奖，是妇孺皆知的大科学家。如今，吴文俊院士已80多岁了，他开创的事业需要有人来继承发扬。而他的学生高小山及高小山的学生，即中科院数学与系统研究院的一部分"新生代科学家"就是他的接班人。他们正在把老前辈的理论推向套用，推入人们的工作和生活之中。
高小山说，吴老的理论和他早期实现的用机器证明的一些几何定理，往往不容易看懂，即使是专业人士也常不易弄明白。为了让人们在短时间内看懂这些研究内容，上世纪90年代，高小山与美国学者合作，结合吴老的方法，尝试用不同方法证明数学中的几何定理，使不同水平的人在不同层次上能够轻松地看懂数学机械化并把它们套用到教学领域中。
随着计算机技术的飞速发展，人类脑力劳动的机械化有了实现的可能性，部分实现脑力劳动的机械化，可为科学研究与高新技术研究提供有力工具，使科研工作者摆脱繁琐的甚至是人力难以胜任的工作，进行更高层次的创新性研究，从而提高知识创新的效率。数学机械化研究，不仅为数学的发展提出了一种战略构想，也将为信息技术的创新发挥重要作用。
所谓"数学机械化"，就是把数学中的方程求解与定理证明转变为计算机可以接受的形式，并利用计算机强大的计算功能解决数学与高新技术中的理论问题，换句话说是用计算机做数学研究或让计算机更智慧型化。
吴文俊正是在上世纪70年代从理论上解决了用机器证明几何定理的难题，从而获得国内外的高度赞扬。而高小山则在80年代把他的理论在计算机上用几秒钟的时间变成了现实，拉近了数学机械化理论与人类工作和生活的距离。在此基础上，高小山又发明了一种称之为"结构性资料库"的推理方法，解决机器证明时的几何对称性问题，用以提高机器证明的质量。不久，他的这一方法再次被普遍套用于物理、机器人和教学中。
当时间推移到世纪之交的时候，高小山作为首席科学家承担了国家重点基础规划项目"数学机化与自动推理平台"的研究，带领学生开始在微分几何等新领域发展数学机械化，试图解决信息处理、计算机图形与视觉、数控技术中的关键性理论和技术问题，建立自动推理平台。
他解释，数学科学是自然科学的理论基础，与化学、理论物理、信息科学、计算机科学等学科相互交叉。数学也是高新技术的理论基础，这一点对信息科学与信息技术尤其重要。
计算机科学被认为是算法的科学，而算法研究的本质是数学问题。计算机在很多领域的套用，如图像传输与压缩、复杂的曲面造型、生物信息等都在呼唤新的数学方法。这些挑战为数学快速发展提供了前所未有的机遇，而数学的研究将为解决许多高科技问题提供有力工具。他们承担的"数学机械化与自动推理平台"项目就是利用计算机强大的计算功能去为人们解决数学问题。
通过研究，他带领的小组已经在不等式机器证明方面开发出了在国际上领先的软体;在图像压缩上，建成了性能优良的压缩与复现系统，压缩比高达240倍;独立建立了中国拼图算法，可用于图像的隐藏和伪装等。这些成果不仅可用于计算机辅助设计，还能套用于蛋白质的结构作图等方面。
高小山于1999年获得香港求是基金会杰出青年学者奖、第四届亚洲计算机数学技术大会最佳论文奖等许多荣誉。
高小山说，"做数学，关键要有自己的看法。不一定追求热点，而要做自己认为重要的问题，它可能会变成未来的热点。数学研究前沿变化不是很快，而是相对稳定。他人啃了几十年没有解决的问题就更需要下苦工夫、笨工夫。成功不是偶然所得，特别需要毅力，当然与能力也有关。"
高小山获得了成功。那么，他为何会这么幸运?从高小山对他的中学校友所谈的学习方法中，人们可了解他是怎样学习和做事的。
他说，"每个人的学习风格和认知风格不同，方法也不完全一样，但基本的有三点:培养兴趣、及时复习、勤于思考"。
关于兴趣，郭沫若先生有一句名言:"兴趣出勤者"。学习兴趣是学习活动的内驱力。一个学生对学习有兴趣，就会把知识看作花园里绚丽的花朵，就会全神贯注地欣赏它，就会心情愉快地采摘它，为了探求知识的奥秘就会冥思苦想，废寝忘食。
及时复习是一个重要的学习过程。心理学有一条曲线叫艾宾浩斯遗忘曲线，经过多次试验、调查得到的一个关于遗忘规律的曲线。这条曲线表明，人的遗忘过程有先快后慢的特点。一般地，人的遗忘从识记后就已经开始了。识记后20分钟就能忘掉，所以应该在知识还没有遗忘或遗忘很少的时候进行复习，如果间隔时间长了，就几乎等于重新学习。
"学而不思则罔"，学习的关键是思考。霍金的《时间简史》的序言里有一句话:"科学的本质是疑问。"所以学会提问题并学会思考问题，是学习成功的关键。
可见，高小山是个十分勤于思考的人。或许，这是他成功的真正秘密。
《中国航海》从创刊至今，一直挂靠上海船舶运输科学研究所，由上海船舶运输科学研究所具体承办。《中国航海》原为半年刊，2002年改为季刊，国内外公开发行。主编由上海船舶运输科学研究所所长、研究员马浔担任。本刊的宗旨是：反映我国航海科技各领域的成果及水平，促进我国航海科技的发展提高，促进国内外的学术交流。主要刊载国家重点项目研究成果，航海科技界的学术论文等。主要栏目有：操船论坛、船舶驾驶、船舶机电、船舶自动化、船舶导航与通讯、水运经济管理、海难救助与打捞、海事案例探讨、船舶防污染和航海心理学等。读者对象为与航海实践、教学和科研相关的人员。《中国航海》是国际海事组织总部的陈列刊物之一。数十年来，《中国航海》编辑部坚持“反映我国航海科技领域的成果及水平，促进国内外的学术交流，促进我国航海科技事业的发展的办刊方针”，在中国航海学会领导的直接关心指导下，在各海事大学和科研院所的支持下，发扬“求实、创新”的工作精神，狠抓期刊质量，严格把握约稿、审稿、校对、出版等各个环节，使期刊的整体质量不断提高，特别是自2002起，期刊由半年刊改为季刊后，《中国航海》的影响力进一步扩大。本刊2004年发表的题为《一种基于模糊原理的碰撞危险度模型》论文荣获第一届中国科协期刊优秀学术论文奖；2007年发表的题为《混合智能控制技术在船舶电站励磁控制中的应用》论文被评为第四届中国科协期刊优秀学术论文；2008年期刊发表的题为《船舶自动避碰仿真平台的构建与测试方法研究》论文被评为第五届中国科协期刊优秀学术论文。本刊曾获交通部优秀期刊奖，交通部优秀科技期刊二等奖，上海市优秀期刊三等奖。本刊入编北京大学图书馆《中文核心期刊要目总览》2008年出版的交通运输类核心期刊。根据文献计量学的理论和方法，通过定量与定性相结合的综合评审，本刊被收入为中国科学引文数据库来源期刊、中国科技期刊精品数据库入选期刊、中国学术期刊文摘来源期刊、中国核心期刊（遴选）数据库来源期刊、中国科技论文统计与分析来源期刊、中国学术期刊综合评价数据库来源期刊。此外，本刊在《中国学术期刊评价研究报告》（2009-2010）中，被评为“RCCSE中国核心学术期刊”。本刊被俄罗斯文摘收录。 系船舶科学和船舶运输的综合性学术刊物，1978年创刊，曾用名《船舶研究》 、《交通部上海船舶运输科学研究所学报》。?本刊坚持党的基本路线，贯彻“双百方针”。内容主要反映在船舶运输系统、船舶设计、船舶自动化、船舶电站、交通工程、环保工程、港口工程、电子信息、船舶动力机械、船舶仪器设备、航运经济等方面的科研成果，同时刊登具有一定学术水平的试验报告和科研管理研究报告。每篇论文附有中、英文摘要。学报刊为半年刊，国内外公开发行。已进入“中国核心期刊（遴选）数据库”、“中国学术期刊（光盘版）数据库”、“中国学术期刊综合评价数据库”。可供船舶、水运和交通工程专业的科技人员及大专院校师生检索、阅读。
东北大学秦皇岛分校资源与材料学院，位于河北省秦皇岛市，成立于2012年3月23日，为了适应国民经济发展，最佳化配置，整合资源，由原来的环境科学与工程系和材料科学与工程系演变而来。资源与材料学院现有资源勘查工程、环境科学、环境工程、材料科学与工程、材料成型及控制工程、冶金工程和功能材料七个本科专业，在校本科生和研究生1267人。
百度知道 > 理工学科 > 工程技术科学添加到搜藏待解决SCI收录的 金属学与金属工艺 方面的国内外期刊都有那些？ 悬赏分：50 - 离问题结束还有 13 天 17 小时望知情的回答下，最好是最新的，2008年或者......提问者： 杰zhijie - 助理 二级 我来回答： 回答即可得2分，回答被采纳则获得悬赏分以及奖励20分 二级及以上用户登录后可以上传图片 参考资料： 匿名回答 积分规则 回答 共 6 条asdsad dwedwd wrewe
一般只要是国家认可的正规国家级期刊，知网都是有检索收录的，例如：
1、《上海国土资源》
围绕国土资源诸领域的重点、难点、热点问题，及时反映相关的学术研究与实践工作成果，促进科技交流与成果展示，为经济和社会发展提供服务。
2、《西北水电》
系国家电力公司西北勘测设计研究院主办的技术性期刊。1982年创刊，国内外公开发行。《西北水电》杂志为陕西省优秀科技期刊；中国学术期刊综合评价数据库来源期刊；中国科技论文统计源期刊；中国科学引文数据库来源期刊。
3、《船电技术》（月刊）
创刊于1981年，由武汉船用电力推进装置研究所／中国造船工程学会轮机学术委员会主办。是中国造船工程学会轮机学术委员会的会刊，我国船电界唯一公开发行的刊物。刊载有关各类船舶、港口、石油平台的电站、电机、电子控制、化学电源、微机应用及自动化等方面的理论研究。
扩展资料:
普通的本科毕业论文并不会被知网所收录，但知网通常会在每一年度交全国优秀的本科毕业论文纳入大学生论文比对库当中，在次年的PMLC查重系统的数据库当中予以更新。
硕博论文在知网对于收录是相当多的，不过这些论文收录的过程在要在1－2年，也就是说这些硕博毕业论文当年是不会在知网上查到的。
国家级期刊发表周期要看具体刊物，一般公开的审稿周期是1－3个月，所以发表大概需要3－6个月，不同刊物情况是不同的。
核心期刊是指所含专业情报信息量大，质量高，能够代表专业学科发展水平并受到本学科读者重视的专业期刊。核心期刊是期刊中学术水平较高的刊物，是我国学术评价体系的一个重要组成部分。我国期刊级别主要可分为核心期刊、国家级期刊、省级期刊等。社会公认的核心期刊有北大、南京大学、社会科学院三大体系，还有北大核心、南大核心、科技核心等。对于期刊如何辨别呢？有这些方式：1.可以通过中国知网等数据库网站查询刊物出刊记录。打开相关检索网站平台，输入想查询的期刊名称于查询框里便可得知期刊的信息，且能查询到其他的一切信息。2.可以向期刊所在的杂志社资讯。最简单的方式是直接向杂志社电询或网络咨询。
期刊可以分为非正式期刊和正式期刊两种。正式期刊是由国家新闻出版署与国家科委在商定的数额内审批，并编入“国内统一刊号”，办刊申请比较严格，要有一定的办刊实力，正式期刊有独立的办刊能力。
国内核心期刊有北大核心，南大核心，中国科学引文数据库，科技核心。1、国内核心期刊总共有七大核心，但主要的有四个核心。北大核心，也就是通常所说的中文核心。南大核心，即CSSCI，就是通常所说的C刊。中国科学引文数据库，即CSCD，号称中国的SCI。科技核心，也叫统计源核心。主要是医学方面的。核心期刊是国内比较权威的期刊，对论文的要求是比较高的，一般需要评高级职称的人员或者是科研人员需要发表核心论文的。
T1类表示已经接近或具备国际一流期刊
T1类表示已经接近或具备国际一流期刊。各院校对于期刊的分级，层次略有不同，以地大举例：依据ISI web of science收录的SCI、SSCI、A&HCI期刊、EI收录论文以及中国科技论文收刊目录，按科技论文影响力，将我校学术期刊论文分为T1、T2、T3、T4、T5、T6六类。
期刊的分类
可以分为非正式期刊和正式期刊两种。非正式期刊是指通过行政部门审核领取“内部报刊准印证”作为行业内部交流的期刊(一般只限行业内交流不公开发行)，但也是合法期刊的一种，一般正式期刊都经历过非正式期刊过程。
正式期刊是由国家新闻出版署与国家科委在商定的数额内审批，并编入“国内统一刊号”，办刊申请比较严格，要有一定的办刊实力，正式期刊有独立的办刊方针。
国家一级医学刊物中没有医学院的院刊。国家一级医学刊物有以下：
1、中华血液学杂志
《中华血液学杂志》是中华医学会主办的血液学专业综合性学术期刊。主要报道血液学与输血等方面的研究成果、新技术、新经验，包括血液学基础理论研究、血液病临床病理、输血血液制品、代血液研制及临床应用等方面。
2、中华消化杂志
中华消化杂志是由中国科学技术协会主管、中华医学会主办的全国性的消化专业医学学术期刊。1981创刊，规格为国际通用的大16开本，月刊。
3、中华泌尿外科杂志
《中华泌尿外科杂志》是由中国科协主管、中华医学会主办的高级专业性学术期刊，读者对象为从事泌尿外科临床及基础研究工作的中高级医学科学工作者。主要报道泌尿外科领域的科研成果和临床诊疗经验，以及对临床工作有指导意义且与泌尿外科临床密切相关的基础研究。
4、中华麻醉学杂志
《中华麻醉学杂志》1981年创刊，为中华医学会主办的麻醉学专业学术期刊，以广大麻醉学专业人员为主要读者对象。中华麻醉学杂志报道麻醉学领域领先的研究成果和临床经验，以及对麻醉科临床有指导作用、且与麻醉科临床密切结合的基础医学研究。
5、中华显微外科杂志
《中华显微外科杂志》为我国显微外科专业性刊物，是中华医学会显微外科学分会的专业性的学术性期刊。前身为《显微外科》，1985年更名为《显微医学杂志》,1986年改为现刊名。以坚持党的基本路线，坚持四项基本原则，认真贯彻执行国家有关科技出版的政策、法令；遵守科技道德和编辑道德，严守国家机密，重视知识产权保护为办刊方针。
参考资料：百度百科-中华显微外科杂志
百度百科-中华麻醉学杂志
百度百科-中华泌尿外科杂志
百度百科-中华消化杂志
百度百科-中华血液学杂志
中国的核心主要七大类北京大学图书馆“中文核心期刊” 南京大学“中文社会科学引文索引（CSSCI）来源期刊” 中国科学技术信息研究所“中国科技论文统计源期刊”（又称“中国科技核心期刊”） 中国社会科学院文献信息中心“中国人文社会科学核心期刊” 中国科学院文献情报中心“中国科学引文数据库（CSCD）来源期刊” 中国人文社会科学学报学会“中国人文社科学报核心期刊” 万方数据股份有限公司正在建设中的“中国核心期刊遴选数据库”
中文核心期刊如下：
1、北京大学图书馆中文核心期刊
北大核心是北京大学图书馆联合众多学术界权威人士评定，国内的几所大学的图书馆根据杂志期刊的引文率、转载率、文摘率等指标来确定的。
2、南京大学中文社会科学引文索引来源期刊
南大核心是由南京大学中国社会科学研究评价中心，组织评定的，两年一评。根据对国内所有符合两月以内出版及非一刊号多版的人文社会科学各学科学术性期刊杂志，进行他引影响因子分析。
3、中国人文社会科学学报学会中国人文社科学报核心期刊
《中国人文社科学报核心期刊概览》是于2003年由高等教育出版社出版的图书。中国人文社科学报核心期刊与中国人文社会科学核心期刊的区别就收录的期刊，是优秀的某些大学的学报。
4、中国科学院文献情报中心中国科学引文数据库（CSCD）来源期刊
中国科学引文数据库，建立于1989年，收录国内数学、物理、化学、天文学、地学、生物学、农林科学、医药卫生、工程技术和环境科学等各个领域出版的中英文科技核心期刊和优异期刊杂志千余种。
5、中国科学技术信息研究所中国科技论文统计源期刊
中国科学技术信息研究所出版的“中国科技论文统计源期刊”，“中国科技论文与引文数据库”选择的期刊称为“中国科技核心期刊”，又称“中国科技论文统计源期刊”。“中国科技核心期刊”的选用通过了严格的同行评议和定量评价，是中国各学科领域中较关键的、能体现本学科快速发展水平的科技期刊。
没有区别。中文核心就是北大核心的另一个名字吗，所以两者视同一个意思。北大核心是学术界对某类期刊的定义，一种期刊等级的划分。它的对象是，中文学术期刊。中文学术期刊是根据期刊影响因子等诸多因素所划分的期刊。北大核心是北京大学图书馆联合众多学术界权威专家鉴定，国内几所大学的图书馆根据期刊的引文率、转载率、文摘率等指标确定的。
核心期刊有：国内七大核心期刊体系，1、北京大学图书馆“中文核心期刊”；2、南京大学“中文社会科学引文索引（CSSCI）来源期刊”；3、中国科学技术信息研究所“中国科技论文统计源期刊”（又称“中国科技核心期刊”）；4、中国社会科学院文献信息中心“中国人文社会科学核心期刊”；5、中国科学院文献情报中心“中国科学引文数据库（CSCD）来源期刊”；6、中国人文社会科学学报学会“中国人文社科学报核心期刊”；7、万方数据股份有限公司的“中国核心期刊遴选数据库”。
《高等学校化学学报》(Chemical Journal of Chinese University)坚持以新(选题新、发表科研成果创新性强)、快(出版速度快)、高(刊文学术水平高和编辑出版质量高)为办刊特色，以研究论文、研究快报和综合评述等栏目集中报道广大化学工作者在无机化学、分析化学、有机化学、物理化学、高分子化学及其相关的生物化学、材料化学和医药化学等学科领域所开展的基础研究、应用研究和开发研究所取得的创新性的科研成果，载文学科覆盖面广，科技信息量大，学术水平高，刊登国家“八六三”和“九七三”计划资助项目、国家自然科学基金以及其它省部级以上科学基金资助项目的文章达到90%以上，其中获国家自然科学奖、国家科技进步奖、国家发明奖以及省部级以上科技奖励项目所属的文章占有较大比例。《高等学校化学学报》为SCI核心收录期刊，同时被美国ISI数据库、CA、俄罗斯文摘杂志（P. Ж.）和日本《科技文献速报》、《中国科学文献数据库》、《中国化学化工文摘数据库》、《中国化学化工文摘》、《中国学术期刊文摘》等20多个国内外权威数据库和著名文摘刊物收录。据美国科技信息研究所(ISI)期刊引证报告(JCR)公布的数据，《高等学校化学学报》2000～2008年的总被引频次依次为1421，1959，2189，2391，2681，2808，2803和2765，呈上升趋势；影响因子依次为，，，，，，，和，均居中国科技期刊之前列。据中国科技信息研究所《中国科技期刊引证报告》(CJCR)公布的结果，本刊的总被引频次亦逐年上升，2000～2007年的总被引频次依次为1987，2552，2707，3266，3689，4063，4192和4098，影响因子依次为，，，，，，和。在美国《化学文摘》(CA)千种表中，连续十多年位居中国科技期刊之前列。《高等学校化学学报》于1997年荣获第二届全国优秀科技期刊评比一等奖，2000年荣获首届国家期刊奖，2001年入选中国期刊方阵“双高”(高知名度、高学术水平)科技期刊，2002年荣获第二届国家期刊奖，2004年荣获第三届国家期刊奖，2002～2008年连续七届入选百种中国杰出学术期刊。2006和2008年连续两届荣获中国高校精品科技期刊。
中国高校科技是核心期刊。
中国高校科技是全国中文核心期刊，是面向全国高校教育，科技，产业工作的学术综合刊物，主要发表高端科技方向论文，该刊物贯彻科技创新及教育的理念，聚焦高校科技，教育行业的难点问题，旨在强化战略性，全局性，指导性探究。
中国高校科技期刊级别为核心期刊，出刊周期为月刊，期刊创办于1987年。中国高校科技是中华人民共和国教育部主管、教育部科技发展中心主办的学术性期刊。
中国高校科技主要栏目设有：战略研究、科研管理、他山之石、知识产权、科教融合、高职院校、产学研用、创新创业、总目录、书评·广告。
中国高校科技已被万方收录(中)、维普收录(中)、CSSCI 南大核心期刊(含扩展版)、国家图书馆馆藏、北大核心期刊(中国人文社会科学核心期刊)、上海图书馆馆藏、知网收录(中)收录。
中国高校科技获得荣誉情况：中国核心期刊遴选数据库、中国期刊全文数据库（CJFD）、全国中文核心期刊。
《中国高校科技》是北大期刊 ，由中华人民共和国教育部主管，教育部科技发展中心主办的科技类优秀期刊。
1. 中文核心期刊就是我们平常说的核心期刊，是由北京大学图书馆和北京高校图书馆期刊工作研究会合编、北京大学出版社出版的《中文核心期刊要目总览》发布的期刊，每4年更新公布一次。2. 中国科技核心期刊是科技部公布的， 就是指《中国科技论文统计源期刊》，有时我们可以见到一本杂志同时标有中国科技核心期刊，中国科技论文统计源期刊，中文核心期刊（或中文医药卫生核心期刊），事实上前两条是没有区别的。3. CSCD核心期刊: CSCD是中国科学引文数据库的英文缩写，CSCD在高校申请基金和审查评奖包括院士的评审都要检索CSCD；CSCD分为核心库（C）和扩展库（E），其中核心库的杂志等级略高些(相对而言)。这3类杂志有交叉，比如第三军医大学学报既是CSCD核心期刊，也是中国科技论文统计源期刊。《重庆医科大学学报》是中文核心、中国科技核心、CSCD遴选和中国高校优秀科技期刊。