信息检索报告
姓 名 专 业 学 号 任课教师 张 富 娟 应用数学 112070104003 徐春园
应用数学专业科技文献数据库检索
检索数学专业科技文献时,所需要检索的数据库如下:
(一)国内重要检索工具
（1）电子图书检索
a、CALIS教学参考书
CALIS (China Academic Library &Information System) 中国高等教育文献保障系统。CALIS教学参考书是国内高校文理工医农林各领域权威学者、教授推荐的经典教材.
b、中华数字书苑
中华数字书苑以数据库方式，收录了建国以来大部分的图书全文资源、全国各级各类报纸及年鉴、工具书等特色资源产品。中华数字书苑已经多次被国家领导作为“国礼”赠送给国外政府、图书馆等机构。
c、读秀知识库
读秀知识库是以180万种中文图书、6亿页全文资料为基础的超大型数据库。 为读者提供深入到图书内容章节和全文的精度检索，全面立体的多面检索，部分文献的原文试读，以及参考咨询服务，是一个真正意义上的学术搜索及文献服务平台。读秀是把所有图书打碎，以章节为基础重新整合在一起的海量数据库；在这个海量数据库中，我们可以随意地找到我们想要的任何一个知识点；并且能够知道，找到的这个知识点它是出自那一本书的哪一页．
（2）电子期刊检索
a、CNKI 中国知识资源总库
进入“中国知网” 门户网站—
文献总量10190万篇。文献类型包括：学术期刊、博士学位论文、优秀硕士学位论文、工具书、 重要会议论文、年鉴、专著、报纸、专利、标准、科技成果、知识元、哈佛商业评论数据库、古籍等；还可与德国 Springer公司期刊库等外文资源统一检索.
b、中文科技期刊数据库
重庆维普资讯有限公司是中文期刊数据库建设事业的奠基人。自19xx年以来，一直致力于对海量的报刊数据进行研究、分析，采集、 加工等开发和推广。维普公司收录有中文期刊12000多种
c、万方数据知识服务平台
万方数据股份有限公司是以科技部直属的中国科技信息研究所为主组建的股份制企业，于20xx年成立，是国内首家以中外信息资源服务为核心业务的高新技术企业。期刊、学位、会议、法规、成果、专利、标准、报纸、企业、产品多种文献一应俱全。
(3) 特种文献检索
a、 学位论文文献检索与利用
①兰州理工大学硕博论文库
? 自建数据库
? 采用方正DESI数字加工系统加工制作
? 该数据库收录我校历届学位论文全文，最早为19xx年。
②中国学位论文全文数据库
由国家法定学位论文收藏机构中国科技信息研究所提供，并委托万方数据加工建库，收录了自19xx年以来我国各学科领域的博士、硕士研究生论文。 ③ 中国优秀博硕士学位论文全文数据库
网址
b、会议论文文献检索与利用
? 万方中国学术会议论文全文数据库
会议论文收录由中国科技信息研究所提供的国家级学会、协会、研究会组织召开的各种学术会议论文，每年涉及1000 余个重要的学术会议，范围涵盖自然科学、工程技术、农林、医学等多个领域 。
? 中国重要会议论文全文数据库
《中国重要会议论文全文数据库（CPFD）》收录我国20xx年以来国家二级以上学会、协会、高等院校、科研院所、学术机构等单位的论文集，年更
新约10万篇论文。至20xx年12月31日，累积会议论文全文文献近58万篇。
(二)国外重要检索工具
(1) 三大权威索引
a、《工程索引》EI
EI (Engineering Index）《工程索引》创刊于1884年，是美国工程信息公司出版的著名工程技术类综合性检索工具。EI收录的文献涵盖了所有的工程领域，其中大约22%为会议文献，90%的文献语种是英文。19xx年开始收录中国期刊。EI收录文献的地理覆盖面也很广——摘选了世界上50多个国家20余种文字的工程出版物。其数据来自5100种工程期刊、会议文集和技术报告，其中2600种有文摘（EI Compendex部分）。90年代后，又新增了2500种文献来源。 EI 覆盖的学科范围
? 化工 (15%)
? 土木工程 (15%)
? 矿业 (12%)
? 机械工程 (12%)
? 电工电子 (35%)
? 其他(11%)
EI 对稿件内容和学术水平的要求
1. 具有较高的学术水平的工程论文
2. 国家自然科学基金资助项目、科技攻关项目、“863”高技术项目等。
3. 论文达到国际先进水平, 成果有创新。 EI不收录纯基础理论方面的论文 b、《科学引文索引》SCI(SSCI)
SCI (Science Citation Index)是由美国科学信息研究所(ISI)1961
年创办
出版的引文数据库，是国际公认的进行科学统计与科学评价的主要检索工具。 Web of Science 提供最深的回溯数据
100年来的学术引文
? Science Citation Index Expanded,
6,319种, 1900-
? 19xx年出版 Social Sciences Citation Index
Social Sciences Citation Index, 1,802种, 1956-
? 19xx年出版Arts & Humanities Citation Index
Arts & Humanities Citation Index, 1,136种, 1975-
Science Citation Index Expanded
? Agriculture & Food Technology
? Astronomy
? Behavioral Sciences
? Biochemistry
? Biology
? Biomedical Sciences
? Chemistry
? Computer Sciences
? Electronics
? Engineering
? Environmental Sciences
? Genetics
? GeosciencesInstrumentation
? Materials Science
? Mathematics
? Medicine
? Microbiology
? Nuclear Science
? Pharmacology
? Physics
? Psychiatry & Psychology
? Statistics & Probability
? Technology & Applied Science
? Veterinary Medicine
? Zoology
c、《科技会议录索引》CPCI
? CPCI (Conference Proceedings Citation Index )是原ISTP（科技会议录索引）创刊于19xx年，由美国科学情报研究所编辑出版。
? 收录生命科学、物理与化学科学、农业、生物和环境科学、工程技术和应用科学等学科的会议文献。
CPCI提供会议文献的书目信息、著者摘要（提供19xx年以来的摘要），会议录文献回溯到19xx年。其中工程技术与应用科学类文献约占35%，我国科技人员在国外举办的国际会议上发表的论文占被收录论文总数64.44%。 JCR（Journal Citation Reports
THOMSON ISI出版,是一个独特的期刊评估工具，它通过对来自60个国家3000多个出版商超过8400种期刊的引用数据的统计分析，帮助使用者等了解某一期刊在特定年度、特定主题在该领域的影响力。
(2) 电子期刊
a、Elsevier电子期刊全文库
荷兰Elsevier Science出版集团出版的期刊是世界上公认的高质量学术期刊。目前该全文库包括19xx年以来Elsevier Science出版集团所属的出版社出版的期刊1800余种。是国内引进的第一个西文全文数据库。 b、Springer Link 全文电子期刊
德国施普林格(Springer-Verlag)是世界上著名的科技出版集团, 全球第二大学术期刊出版社。通过Springer Link系统提供学术期刊及电子图书的在线服务。
? Springer Link中的大多数全文电子期刊是国际重要期刊，它是科研人员的重要信息源。
? SpringerLink提供了11个在线图书馆，可查询19xx年至今1250种学术期刊全文，大多数是国际重要期刊。
c、Frontiers in China
Frontiers in China是由中华人民共和国育部主管、高等教育出版社出版、施普林格（Springer）公司海外发行的系列英文学术期刊。出版了24种刊物，其中自然科学、工程技术和生命科学类17种，人文社会科学类7种，是目前国内覆盖学科最广的系列英文学术期刊 。
d、学会版期刊
(1)英国皇家学会在线期刊
英国皇家学会(Royal Society)是英国资助科学发展的组织。成立于1660年。并于1662年、1663年、1669年领到皇家的各种特许证。英女皇是学会的保护人。全称“伦敦皇家自然知识促进学会”。学会宗旨是促进自然科学的发展。它是世界上历史最长而又从未中断过的科学学会。它在英国起着全国科学院的作用。通过英国查尔斯沃思集团和国家科技图书文献中心达成的全国授权协议，中国大陆地区的学者可以免费在线阅读英国皇家学会（The Royal Society）的全文电子期刊。
(3) 其他电子资源
a、PQDD博硕士学位论文数据库
PQDD的全称是（ProQuest Digital Dissertations），是美国ProQuest公司出版的国外著名的博硕士论文数据库，收录有自1861年以来欧美1000余所大学文、理、工、农、医等领域的博士、硕士学位论文。其中19xx年以来的部分论文不但能看到文摘索引信息，还可以看到前24页的论文原文，每周更新。
b、剑桥科学文摘数据库
剑桥科学文摘是美国一家具有30年历史专门出版科学研究资料的科学信息出版公司提供基于Web方式的信息服务数据库。涉及60多个数据库，检索结果为文献的题录文摘信息。 CSA报道的文献来自世界各国各种文字的期刊论文、会议文献、技术报告、学位论文、专利政府报告、图书专著等。
(三) 网络学术信息综合利用
a、百链云图书馆
b、NSTL国家科技图书文献中心
NSTL，全称为National Science and Technology Library，中文名为国家科技图书文献中心。
背景：根据国务院领导的批示于20xx年6月12日组建的一个虚拟的科技文献信息服务机构 。
特点：免费检索及浏览文摘，网上订购全文，在48小时之内原文传递（Email传送24小时）。
c、
Google Scholar是Google于20xx年底推出的专门面向学术资源的免费搜索工具，能够帮助用户查找包括期刊论文、学位论文、书籍、预印本、文摘和技术报告在内的学术文献，内容涵盖自然科学、人文科学、社会科学等多种学科。 d、
Scirus科学搜索引擎由爱思唯尔科学公司(Elsevier Science)于20xx年4月1日推出。Scirus是专为搜索高度相关的科学信息而设计的搜索引擎。 Scirus涵盖了Elsevier公司自己的信息数据库以及网上免费提供的科学信息：报告、专利、同行评议文章、作者主页、大学网址和期刊等。
(四) 具体检索过程例子
一、选题
1．检索课题名称
中文：数理逻辑在生活中的应用
2． 英文：The Application of Mathematical Logic in Life所涉及的学科领域（按中图法） ：数理逻辑
3．关键词或主题词（中文）： 数理逻辑、生活、应用
（英文）：Mathematical Logic、Life、Application
4．检索式 中文： 数理逻辑*生活-应用
英文：Mathematical Logic And Life
二、根据课题所属学科，检索中文图书和期刊数据库
1． 从中文图书数据库中进行检索。
数据库 方正Apabi数字图书馆
年限 2006-2011 检索字段 数理逻辑 其他限定条件 书名
检索式 数理逻辑*生活-应用
检出条数 15
题录1篇,按标准著录格式。(例：傅璇琮，谢灼华．中国藏书通史〔M〕．宁波：
宁波出版社，2001.）
朱梧槚， 肖奚安，数理逻辑引论（O），大连：大连理工大学出版社，2008.
2.从中文期刊全文数据库中进行检索。
数据库 CNKI-期刊全文数据库 年限 2006-2011检索字段 数理逻辑 其他限定条件 篇名
检索式 数理逻辑*生活-应用
检出篇数 57
题录（1篇）按标准著录格式。(例：李晓东，张庆红，叶瑾琳.气候学研究的若
干理论问题[J].北京大学学报：自然科学版，1999，35(1)：101-106.）
孟令江，数理逻辑在物流技术上应用的教学技巧（O）中国市场：编辑部邮箱，
2008，36-032
三、根据课题所属学科，在本馆外文全文期刊数据库和二次文献数据库（EI、
SCI、IEL）中各选择一个数据库进行检索数据库1 SPRINGER LINK 电子期刊 检索年限 2009-2011 检索字段 logica 其他限定条件 篇名
检索式 logica
检出篇数 32
题录（1篇）（例：Morse SP. Factors in the emergence of infectious disease.
Emerg Infect Dis，1995，53(2): 117-210.）
Johan Benthem. A New Modal Lindstr?m Theorem[J] Logica Universalis,
2009,11（2）:103-119
数据库2 CALIS西文期刊目次数据库
检索年限 2009-2011 检索字段 logic 其他限定条件 _篇名
检索式 logic
检出篇数 37
题录（1篇）Kraus S, Lehmann D, Magiodor M. Nonmonotonic reasoning,
preferential models and cumulative logic .Artificial Intelligence,
2009,44, 44 :167~207
四、特种文献检索
1．从本馆中、英文学位论文数据库中（中外文库各选一个）检索有关本课题的
文献。
数据库1 CNKI-博硕学位论文数据库 年限 2010-2011 检索字段 逻辑 其他限定条件 无
检索式 逻辑
检出篇数 21
题录（1篇）略论现代逻辑在当代高等教育中的地位和作用，安徽大学学报 , 2010
年 02期
数据库2 PQDD 学位论文（全文）
年限 2010-2011检索字段 logic 其他限定条件 篇名
检索式 logic
检出篇数 18
题录（1篇） THE COMMONSENSE PROBLEM——COMMONSENSE,AI, AND
MATHEMATICAL LOGIC，PQDD:CDMD:2.2010.098548
2． 请检索与本课题有关的中国国家标准、国际（ISO）标准或国外标准1个。
数据库1 中国国家标准咨询服务网 年限 2001-2011 检索字段 逻辑 其他限定条件 无
检索式 逻辑
检出篇数 14
题录（1篇）时明德; 素质教育视野下的逻辑教学方法国家标准通过审定[J];中国逻辑学;20xx年11期
3、请利用中华人民共和国国家知识产权局 http://www. 查找有关本课题的专利。要求拷贝专利文献的书目数据（申请号、申请日、公开号、公开日、授权公告号、授权公告日、发明人、申请人、专利权人、专利题目、IPC 号有限权项等），尤其要注意其法律状态数据（专利的有效性、地域性，以及自该项专利授权之后所发生权利人等，它分为：专利有效性、专利地域性和权利人变更）。
名称：人工智能知识逻辑专家系统
申请号：200610157917.8
申请日：2006.12.22
公开号：CN101118640
公开日：2008.02.06
授权公告号：CN101118640
授权公告日：2008.02.06
发明人：张湘安
申请人：张湘安
专利权人：张湘安
分类号:
G06Q90/00(2006.01)I;G06Q10/00(2006.01)N;G06Q50/00(2006.01)N