外文评价性数据库检索练习.pdf

第第 4 单元单元外文评价性数据库检索练习外文评价性数据库检索练习 学院 机械学院 班级 工设 12 姓名 学号 201201100学院 机械学院 班级 工设 12 姓名 学号 201201100 一 Ei Compendex Web一 Ei Compendex Web 方法一 直接链接到 方法二 进入学校图书馆主页 点击检索工具中的 工程 索引 EI 进入 要求 该数据库至少需用两个检索词进行检索 最终命中文献应少于 100 篇 一 一 Quick Search 检索练习检索练习 检索课题 中文 检索课题 中文 工业设计 家具设计 检索主题 英文 检索主题 英文 Industry design furniture design 所选字段检索词 1 keywordIndustry design furniture design 2 keywordfurniture 限定 条件 语种 年代2003 2004 其它 检索式 Industry design furniture design WN All fields AND furniture WN All fields 检索结果 命中文献篇数 51 二 二 Expert Search 检索练习检索练习 检索课题 中文 检索课题 中文 工业设计概论 检索主题 英文 检索主题 英文 Introduction to industrial design 说明 输入检索词后 采用 wn 命令 within 可以在特定的字段内进行检索 在表 达式中可以采用布尔运算符 AND OR NOT 同时 可使用括号指定检索的顺序 另外还可 以把 取词根 截词 通配符 等检索方法运用的检索表达式中 如 要检索清华大学师生发表的关于人工智能方面的文献 检索表达式可以写为 artificial intelligence wn AB AND Tsinghua wn AF 1 检索式 Introduction to industrial design 2 时间范围2000 2001检索结果 89 篇 要求少于 100篇 3 摘抄其中一篇相关文献的题录 摘抄其中一篇相关文献的题录 二 Derwent Innovation Index二 Derwent Innovation Index Title Introduction to generalized symbolic trajectory evaluation Author Yang J 1 Seger C J H 1 Author AffiliationSymbolictrajectoryevaluation STE isa lattice based model checking technology based on a formofsymbolicsimulation Itoffersan alternative toto classical symbolic model checking that within its domain of applicability often is much easier toto use and much less sensitive toto state explosion The limitation of STE however is that it can only express and verify properties over finite time intervals in this paper we present a generalized STE GSTE that extends STE style model checkingtotopropertiesoverinfinitetime intervals We further strengthen the power of GSTE byintroducingaformofbackwardsymbolic simulation It can be shown that these extensions together with a notion of fairness give STE the power toto verify all regular properties We shall use a large scale industrialindustrial memory design todesign to demonstrate the power and practicality of GSTE Source Proceedings IEEE International Conference on Computer Design VLSI in Computers and Processors p 360 365 2001 DOI 10 1109 ICCD 2001 955052 Conference IEEE International Conference on Computer Design VLSI in Computers and Processors ICCD 2001 September 23 2001 September 26 2001 Sponsor IEEE Publisher Institute of Electrical and Electronics Engineers Inc 选用的数据库 德温特创新索引德温特创新索引 DII 1 IIDW product DIIDW last prod DIIDW search mode GeneralSearch SID 4AJaJCoagD5LOc I16Ph 2 进入学校图书馆主页 要求 检索结果应少于100篇文献 摘抄其中一篇相关文献的题录 检索课题 中文 检索课题 中文 工业设计史 检索主题 英文 检索主题 英文 History of industrial design 字段检索词逻辑算符 KeywordHistory of industrial designAnd Keyword 检索结果 篇 1 专利名称 Animationofexecutionhistoryforcontrolling industrial equipment and processes 专利号US6058333 A发明者姓名MAHN R L FORSGREN P G KLEIN M T SU W P 专利权人STEEPLECHASE SOFTWARE INC 国际专利分类号G05B 009 02 摘 要 摘要摘要 NOVELTY The method involves displaying a graphical flow chart representing a control application A memory location is assigned to each unique flow path shown on the graphical flow chart The values indicating the current logic f