文献检索课程报告.docx

《文献检索课程报告.docx》由会员分享，可在线阅读，更多相关《文献检索课程报告.docx（17页珍藏版）》请在三一办公上搜索。

1、文献检索课程报告班级:学号:姓名:一、选题简介：课题名称：基于UML的五子棋人机对弈 UML-based backgammon man-machine chess课题分析：关键词：UML 五子棋人机对弈man-machine chess二、文献检索过程1、使用CNKI中国知网学术搜索平台中的中国期刊全文数据库人机对弈的研究是一个比较热的课题，期刊上应该有大量的反应检索策略：通过中国学术期刊网络出版总库文献检索的标准检索：2. tax目标文献内容整征二（由此程到初次检索结果后，再用第三圻的各神先类与排序方法系统电奇析、选择文献）田白 （|主题 zl |UML囹|词频二| |或含二j A机对弈囹|

2、词频二| ） |精确二|或含二1（巨3囹|词频|或含二| nan-machine chess 一由I词频二）|精确力厂仅限忧先出版支献4中英文扩展检索思索支献主题使用：“UML”或含“五子棋”或含“人机对弈”或含 man-machine chess 检索结果列表：序号题名作者作者单位文献来源发表时间1基于UML的上海博物馆网站开发应用陈晓波复旦大学【硕士】复旦大学2009-09-202基于 UML 和 Beetle J2EE 的高职院校就业平台的设 计与实现陈厚桥复旦大学【硕士】复旦大学2009-09-203基于UML的图书馆网络管 理系统的设计与实现段鹏山东大学【硕士】山东大学2009-10

3、-104基于UML的领域构件复用技术研究及其应用夏耀稳云南师范大 学【硕士】云南师范 大学2007-06-015基于UML的职业培训教学质量在线调查分析系统的设计与应用付明南昌大学【硕士】南昌大学2009-12-276基于 SPIN/Promela 的 UML模型验证工具设计与实现舒良春南昌大学【硕士】南昌大学2009-12-207基于UML的国际零售采购 管理系统的研究与实现吴云亚南京理工大 学【硕士】南京理工 大学2009-08-018基于UML的外贸OA系统 的设计与实现毛梅林南京理工大 学【硕士】南京理工 大学2009-11-019支持企业互操作的UML扩 展机制及其建模研究葛林华哈尔

4、滨工业大学【硕士】哈尔滨工 业大学2009-06-0110基于UML的SMP2模型设计与集成方法研究李春亮国防科学技 术大学【硕士】国防科学 技术大学2009-11-0111基于UML的动态自适应管理原型系统的研究与实现黄栋上海交通大 学【硕士】上海交通 大学2009-01-0112基于UML的PLC电梯控制系统的研究与设计朱渔华东师范大 学【硕士】华东师范 大学2010-04-0113UML_PanSchema 可视化建模研究段有胜山东师范大 学【硕士】山东师范 大学2010-06-0514基于UML的武警院校课件 点播系统的设计与实现葛玮电子科技大 学【硕士】电子科技 大学2009-11-

5、2015基于时序描述逻辑的UML 状态图语义研究杨海波兰州理工大 学【硕士】兰州理工 大学2010-04-1516UML与类状态测试技术研 究蒋林超湖南大学【硕士】湖南大学2010-04-2617基于UML和J2EE的高校设备管理系统研究与设计唐贻兴合肥工业大 学【硕士】合肥工业 大学2010-06-0118基于UML的艺术院校招生 管理系统建模的研究与设 计鲍建军合肥工业大 学【硕士】合肥工业 大学2010-06-0119基于UML和CPN的软件性 能评价研究张华中国石油大 学【硕士】中国石油 大学2010-06-0120基于UML的网络营销导向 电子商务网站开发过程研 究张涛云南大学【硕士

6、】云南大学2010-05-0121基于UML的PSM层业务构 件模型及其代码生成谢玲哈尔滨工业大学【硕士】哈尔滨工 业大学2010-06-0122基于UML的贵州水盘高速 公路合同管理系统的研究 与设计毛旭云南大学【硕士】云南大学2010-05-0123基于UML类图的B形式化 规约研究田彦英西安科技大 学【硕士】西安科技 大学2010-06-3024基于UML的软件系统的功能性验证和非功能性度量林红昌浙江理工大 学【硕士】浙江理工 大学2010-03-1225基于UML的报刊销售管理系统的设计与实现姜春晖郑州大学【硕士】郑州大学2010-05-0126基于UML大型制造业企业MES系统建模朱

7、艳华东师范大 学【硕士】华东师范 大学2010-10-0127基于UML模型的依赖分析 在回归测试中的研究与应 用陈树峰南京航空航 天大学【硕士】南京航空 航天大学2010-03-0128UML时序图模型到UPPAAL时间自动机模型 转换方法研究和工具实现崔康乐华东师范大 学【硕士】华东师范 大学2010-09-0129基于UML状态图的自动化 测试框架研究与实现杨晶华东理工大 学【硕士】华东理工 大学2010-12-2730基于 SCOR、UML-Petri Net的Z电信公司物资管理系统建模研究康博华东理工大 学【硕士】华东理工 大学2010-10-1031基于MDA的UML状态机代码生成

8、技术研究与实现冯茜西安电子科技大学【硕士】西安电子 科技大学2011-03-0132利用开源UML软件实现PanSchema的可视化建 模陈立焕山东师范大 学【硕士】山东师范 大学2011-06-1633基于UML对象建模的国家 高等学校创新引智计划综 合管理平台的设计与实现张文彬天津大学【硕士】天津大学2010-08-0134UML状态图的形式化研究崔光霁太原理工大 学【硕士】太原理工 大学2011-06-0135基于UML救助管理信息系 统的设计与实现熊亮北方工业大 学【硕士】北方工业 大学2010-12-0136基于UML技术的机关综合 信息管理系统的设计与实 现黄宇光吉林大学【硕士】吉

9、林大学2011-05-0137UML顺序图的形式化描述 方法研究阮彦锐兰州理工大 学【硕士】兰州理工 大学2011-05-2638适用于ICONIX过程的UML图有色Petri网建模技 术徐佳琪吉林大学【硕士】吉林大学2011-04-0139UML模型与形式模型双向 转换的研究颜卫华东师范大 学【硕士】华东师范 大学2011-05-0140基于UML合并状态图的测试用例生成庄俨南京信息工 程大学【硕士】南京信息 工程大学2011-05-0141基于实时UML对实时系统 LTE无线通信系统信令子 系统（RRC系统）建模陈倩倩华东师范大 学【硕士】华东师范 大学2011-05-0142UML顺序图

10、的形式化童格明兰州理工大 学【硕士】兰州理工 大学2011-05-2643基于UML协作图的测试序 列生成方法研究陈雷河北工程大 学【硕士】河北工程 大学2011-04-0144基于UML的关系数据库建 模研究与实现熊信富电子科技大 学【硕士】电子科技 大学2011-04-0145基于UML软件体系结构的荆文娟南京理工大【硕士】南京理工2011-02-01软件风险评估学大学46基于UML的网络选课信息 管理系统的设计与实现俞煜萍电子科技大 学【硕士】电子科技 大学2011-05-0147基于UML的网络考试系统设计与研究冯健贵州大学【硕士】贵州大学2008-11-0148基于UML的空中交通管

11、制 员技术档案管理系统设计 与实现徐立剑电子科技大 学【硕士】电子科技 大学2010-04-0349基于UML的教务管理系统 的设计与实现王源南京理工大 学【硕士】南京理工 大学2011-04-0150基于UML的五子棋的分析 与设计闫海艇安徽理工大学计算机科学与工程学院安徽淮南【期刊】安徽理工 大学学报（自然科学 版）2007-12-1551基于uml师生信息交互系 统设计与实现赵白玉山东大学【硕士】山东大学2009-10-1052基于UML的工业软控制器 的建模杜清汕头大学【硕士】汕头大学2009-05-0153基于UML的稿酬管理系统 的设计与实现孙赫吉林大学【硕士】吉林大学2011-0

12、4-0154基于UML信贷管理系统的设计与实现马晓东吉林大学【硕士】吉林大学2011-05-0155基于UML公共气象服务调查评估系统的设计与实现陈建云南京信息工 程大学【硕士】南京信息 工程大学2011-05-0156基于UML/XML的ASIP系统级设计研究廖永为武汉纺织大 学【硕士】武汉纺织 大学2011-03-0157五子棋对战平台的设计与 实现张佳佳北京语言大 学【期刊】电脑知识 与技术2012-08-0558五子棋算法的研究与思考朱全民； 陈松乔中南大学信 息科学与工 程学院；中南 大学信息科 学与工程学 院湖南长沙；湖南长沙【期刊】计算技术 与自动化2006-06-3059可配置

13、建模工具及ICE-Model与UML模型的转换技术研究罗学通哈尔滨工业大学【硕士】哈尔滨工 业大学2009-06-0160基于UML的软件设计与测薛娟娟南昌大学【硕士】南昌大学2009-12-30试研究61基于UML的网上选课系统 的设计与实现王安邦南京理工大 学【硕士】南京理工 大学2009-04-0162基于UML和Petri网的生产线实时控制系统建模与分 析杨喜刚苏州大学【硕士】苏州大学2009-10-0163基于情态演算的UML形式 化验证与OCL约束自动生 成研究谭力华东师范大 学【硕士】华东师范 大学2010-04-0164基于UML的三维漫游系统 的分析与设计冯俊杰辽宁师范大 学

14、【硕士】辽宁师范 大学2010-05-0165基于UML行为模型的软件 漏洞检测形式方法研究李静青岛大学【硕士】青岛大学2010-05-1466基于UML的公共选修课程 管理系统的研究与实现朱贤友湖南大学【硕士】湖南大学2010-04-0167基于UML的计算机组卷系 统的分析与设计李璐璐长春理工大 学【硕士】长春理工 大学2010-06-0168关于五子棋对弈程序的讨 论吕健希中山大学【期刊】中文信息2003-07-202、使用万方数据平台的学位论文全文数据库中国知网上找到了近万条与课题相关的文献，那么在万方数据平台的学位论文中也应该 可以找到不少相关的论文。检索策略：通过学位论文检索跨库检

15、索 高缀检索会议外文文献学者专利标准成果图书法规机构专荥title=UML or五子棋or人机对弈|在检索框中输入：title= UML or五子棋or人机对弈，并选择可以下载论文全文。检索结果列表：格式是题录加上中文摘要格式。1 李留英.UML测试技术的研究与实现D.国防科学技术大学,2000第一章为绪论。首先介绍了课题研究背景、软件测试的发展历史、测试目的和测试覆盖 准则。然后.介绍了国内外一些著名大学和科研机构在面向对象软件测试领域内的研究现状、 相应的技术、标准建模语言UML的特点和对测试技术的支持。最后讨论了目前存在的主要问 题，提出了课题的主要内容和实现目标。第二章介绍了标准建模语

16、言UML的语法和语义特点， 分析现有软件开发模型的弱点，提出用UML开发面向对象软件的递增式模型，使开发和测试 设计并行，并讨论了用UML进行面向对象系统建模的一般过程。第三章分析了当前UMLl. 1 语义存在的问题，较全面地定义了描述对象状态机的UML statecI-mls的形式化操作语义。 在定义语义的过程中，定义了伪状态、复合迁移、新迁移优先级.并引入事件队列.以完整 地描述对象状态机的单个执行步STEP和由多个STEP组成的RTC-STEP。第四章在分析现有面向 对象状态机测试技术缺点之后，提出了依据U池statec1a=Ttts的层次和并发结构生成测试 用例的方法，讨论了测试集的故

17、障检测能力以及如阿根据父类构造子类的测试用例。第五章 介绍了 DML交互式开发环境框架，着重介绍了测试模拟系统原型U MLTGen的系统结构和主要 功能。第走章总结了本课题的主要研究成果以及下一步工作重点。本文在最后列出了参考文 献和一些算法的实现。2 陈栋.UML交互图的模型验证方法研究UML交互图至Promela程序的转换D.华 东师范大学,2009随着我国信息化建设的不断发展，软件系统的广泛应用，在国民经济的各行各业中发挥 了越来越重要的作用。特别在一些重要领域如航空航天、地铁调度，对软件的可靠性要求特 别高，软件设计上的一点缺陷，都可能导致灾难性后果，造成重大损失。如何确保这些系统 的

18、可靠性已经成为计算机科学与控制论领域共同关注的一个焦点问题。本论文主要研究了针 对UML交互图的模型检测(Model Checking)方法，利用成熟的Spin模型检测工具，对UML模型 进行形式化验证，以确保软件设计模型的正确性。论文首先介绍了模型检测理论，并着重分 析了模型检验工具Spin功能和使用方法及其建模语言Promela的结构和语法。重点研究7UML 顺序图的形式化表示方法，提出7UML顺序图到Promela语言转换规则和软件实现算法， 并介绍了模型转换验证工具的设计和实现方法。将形式化验证结合到软件设计过程中，可以 帮助设计人员尽早发现问题，提高模型的可靠性，减少由于设计错误带来

19、的巨大损失。模型 转换验证工具可以将UML顺序图自动转换生成Promela程序，并调用Spin工具进行模拟和验 证。3 占学德.基于UML statecharts测试方法的研究D.上海大学统一建模语言(Unified Modeling Language，UML)是一种描述能力强大且涵义直观的可 视化建模语言，它提供多种图元从不同角度和应用层次刻画系统特性以及复杂的运行环境。 基于UML的软件开发过程和建模环境已被工业界广泛接受，其中包括航天、国防、汽车等许 多安全攸关领域。如何保证和提高软件质量成为软件界最为关心的问题之一。软件测试作为 保证软件质量的关键技术之一，能够有效地发现软件中的故障。

20、因而，基于UML软件测试成 为了软件工程的一个重要研究方向。软件测试的关键是测试用例的产生。本文对基于UML statecharts图的测试用例生成方法进行了研究和探讨。直接从含有层次和并发结构的UML statecharts图产生类的测试用例是比较困难的，本文提出了基于UML statecharts图的测试 框架：先利用现有的UML工具(如ArgoUML等)画出UML statecharts图，并产生它的 XMI(XMLMetadataInterchange )格式的规格说明文件；然后根据UML statecharts图的语义， 层次和并发结构被展平，UML statecharts图的规格说

21、明XML文件转换成FREE(Flattened Regular Expression )模型的规格说明信息；最后根据FREE模型的规格说明信息，按照不同 的充分性测试准则，分别产生测试用例集。uML statecharts图是一种图形符号，描述7UML 框架的行为，它是UML语言的一个重要组成部分。然而，UML statecharts图缺乏精确的语和 语义。本文用z语言定义了UML statecharts图的形式化语法和语义。按照这个精确语义，UML stateeharts图被转换成了 FREE模型。这个FREE模型不仅有助于确定软件设计是否是一致的、 无歧义的和完整的，而且也有利于软件测试。

22、测试充分性准则是整个软件测试的核心，它直 接决定了测试用例的生成。目前基于U/vlL状态图生成测试用例的充分性准则：状态覆盖准 则、迁移覆盖准则、全谓词公式覆盖准则和迁移对覆盖准则，它们没有解决测试循环的问题。 在测试时，循环被执行一次是很不充分的，按照不完全归纳法的思想，本文提出7ZOT循环 覆盖准则，也就是使循环分别执行0次、1次、2次；针对A，J. Offutt等人给出的覆盖准则 “完全序列准则”(complete sequence level)，由于它的操作性极弱，无法在工具中实现， 在此基础上结合ZOT循环覆盖准则，本文还提出了全ZOT路径覆盖准则。并给出了状态覆盖、 迁移覆盖、全谓

23、词公式覆盖、迁移对覆盖、ZOT循环覆盖和全ZOT路径覆盖这6条覆盖准则的 应用，还讨论了这些覆盖准则之间的包含关系。A. J. Offutt给出的两条测试准则(全谓词 公式覆盖和迁移对覆盖)产生测试用例的算法只适用于以下情况：一方面只对使能迁移产生 测试，另一方面它需要所有的变量都是布尔型的。本文针对这两个方面的问题进行了扩充， 不仅可以测试使能迁移，还能测试非法迁移，变量也不再要求它是布尔型的，而提出了由FREE 模型根据全谓词公式覆盖准则和迁移对覆盖准则分别产生有限的迁移序列的两个算法。本文 还提出了由FREE模型根据全ZOT路径覆盖准则分别产生有限的迁移序列的算法。最后，给出 了本文所提

24、出的基于UML stateeharts图的测试用例生成方法的UMLSTG系统设计及实现技 术。这个系统，从读AUMLstatecharts图的规格说明XML文件，到最后按照不同的测试覆盖 准则可以分别产生出相应的测试用例文件。4张明亮.一种新的博弈树搜索算法及其应用研究D.苏州大学，2007机器博弈是人工智能研究领域的一大热点，博弈树搜索则是机器博弈的引擎。本 文在博弈树搜索算法和博弈树优化技术等方面做了深入研究，将理论和实践紧密结 合，取得了以下的主要创新成果：(1) 提出并成功验证了一种新的博弈树搜索算法：基于广度优先的接力式空窗探测搜索 算法。实验证实该方法在实际应用中的平均搜索效率，高

25、于目前公认搜索效率最高、也是最 流行的PVS和MTD(f)搜索方法；在迭代深化搜索中，该方法也具有相对优势；并且该算法的 最小搜索极限小于极小树。因此，该方法具有广阔的应用前景。(2) 给出了一种新的博弈树优化技术一“子树复用技术。该技术在几乎不需要额外时间 开销的情况下，就能使深层博弈树搜索的效率提高10%以上，并随着搜索深度的加大，效率 提高得愈多。“子树复用技术在限定用时或必胜局面的对弈中还具有额外的实用价值，因 而“子树复用技术无疑具有极好的应用价值。(3) 给出了极小搜索树叶结点数定理的新的证明方法，指出了以前的有关证明：的缺陷。 针对很多人对极小树的不准确理解，以及对窗口搜索效率的

26、有关误解，给出了正确的结论。(4) 开发了高水平的五子棋人机对弈系统，该系统在估值函数设计上，探索了不同颗粒 度估值函数的应用效果，证实粗颗粒度估值函数在深度搜索中可以具有更好的综合效果；部 分局面下的估值函数延伸评估技巧，同样可以替代搜索，来减少地平线效应；这些为同行提 供了很好的借鉴。证实借助棋类知识的走法生成函数，在五子棋对弈系统中具有很好的效果。 在博弈树优化方面，挖掘出极小极大值搜索算法的优势，应用收到了良好的效果。3、使用万方数据平台的会议论文全文数据库关于用UML实现五子棋人机对弈的话题在某些会议中应该也有讨论到。检索策略：通过会议论文检索在检索框中输入：title= UML o

27、r五子棋or人机对弈，并选择可以下载论文全文。检索结果列表：格式是题录加上中文摘要格式。1陶砂等.人机对弈智能五子棋机器人的制作初探A.第四届全国先进制造装备与机 器人技术论文集C，2010制作人机对弈智能五子棋的机器人，具体要求是设计一个有机玻璃五子棋盘，棋盘上有 纵横十条黑直线，形成五子棋的棋盘为lO(行)x10(列)t100个交叉点的棋盘，每个交叉点下 有一个干簧管，用于检测棋子的位置，当用磁性的棋子压在任意的交叉点上时，对应的交叉 点下的绿色矩阵发光二极管亮，同时，机器人将在相应的交差点上自动点亮红色矩阵发光二 极管，形成人机对弈的局面。硬件使用飞思卡尔(FREESCALE)单片机为主

28、机，每个棋子电路 用89C2051单片机，共用去了 101个CPU，软件编程思路为机器人走子是。封二.堵三、抢四、五赢”的策略。其目的就是一个具有众人观赏，人与机器人自动对弈，可以脱离网络与普通 计算机的智能多机器人 .2 邹胜荣等.形式化方法B和UIIL的结合研究A.南京大学计算机科学与技术系C, 2003形式化方法B用抽象机器符号来描述软件的规格说明.因为工具集的有力支持已成为形 式化方法的首选并有了一些成功的工业应用.毗是面向对象的建模技术.它的半形式化的分 析结果可被B方法所引用，此文通过从U睫类图到8抽象机器的转换给出了一个毗和B结合的方 法。3 邵维忠,蒋严冰，麻志毅.UML现存的

29、问题和发展道路A.计算机研究与发展C, 2003自从1997年OMG采纳UML作为其标准建模语言以来，UML受到计算机各界人士的普遍 关注，得到了广泛的应用，并在世界范围内形成了其事实上的建模规范的地位.但也无时无 刻不受到来自用户、工具开发商、学者和教学者从不同角度的批评.UML先后进行了3次修 订（1 . 3，1 . 4和2 . 0），目前计算机各界人士对UML提出了各种意见，并将重 点放在目前公认的几个问题上：精简、定义核心、扩展机制以及形式化语义等。4、使用万方数据平台的学术论文全文数据库作为学术研究，用UML实现的人机对弈也是个很好的话题。检索策略：通过会议论文检索学术论文NEUU期

30、刊学位会议外文文献学者专利标准成果图书法规机构专家title=UML or五子棋or人机对弈在检索框中输入：title= UML or五子棋or人机对弈，并选择可以下载论文全文。检索结果列表：格式是题录加上中文摘要格式。1 罗丽，基于Brew平台的人机对弈系统设计与实现D.北京工业大学.2008人们追求交流和自由的脚步从未停止过，互联网技术的出现，打破了时空交流上的限制， 成为人类追求并获得自由的一个重要里程碑；而移动终端则让人们摆脱线的约束，能随时随 地进行沟通。应用于移动终端的开发技术除了可入?和I -Mode外，还有Brew与J2ME技术。目前， 市场上存在很多手机应用开发平台，其中高通

31、公司的Brew是最有影响力的平台之一。Brew 由于其主要基于C/C+语言，有速度快，节省内存空间等优势，所以得到广大的推广应用。 Brew平台的广泛应用应该能伴随3G时代的到来而不可避免。所以我们现在进行基于Brew平台 的研究和开发是相当具有现实意义的。比如将人工智能应用到基于Brew平台的手机上，目前 这就是一个比较新的研究方向。人工智能是探索和模拟人（人类）的感觉和思维过程的规律的 学科。同时经过近些年的研究，人工智能的研究取得了很大的发展，也细化出很多不同的方 向。其中人机对弈就是其中之一。如何将人机对弈应用到Brew平台上，这正是这篇论文要探 讨的问题。因为Brew平台有别于PC，

32、所以我们对基于Brew平台的人机对弈的研究不是对PC 上人机对弈的简单重复和照搬。我们必须充分考虑到手机内存小、运算速度没有PC快这两个 先天不足，对基于Brew平台的人机对弈的算法进行有针对性的精简和优化。比如代码的精简、 代码设计如何使Brew的内存利用率最高等多方面考虑。本论文首先介绍了什么是Brew，因为 对人机对弈算法而言，内存消耗和需要的运算速度是两个很重要需要考虑的指标，所以其中 重点介绍了Brew的内存管理机制、堆栈的用法、优化内存。接下来介绍了人工智能和人机对 弈目前的研究情况。在第五章里，以象棋为例，从棋盘表示、走法产生、基本搜索技术、估 值基础四个方面阐述了基于Brew平

33、台的人机对弈。为了追求人机对弈具有更好的性能，同时 充分考虑到Brew平台本身的特点，文章继续讨论了搜索算法的改进和估值核心的优化问题。2 闫海艇.基于UML的五子棋的分析与设计D.安徽理工大学,2007以五子棋为例，用UML开发人机博弈程序。五子棋博弈算法采用了博弈树的方法，应 用了剪枝和极大极小值原理进行搜索寻找最优的下予位置。用面向对象的思想并结合UML 建模工具，对程序进行分析、设计。此外，程序可以通过增加机器学习，对棋局进行记忆、 总结学习，可以进一步提高系统的智能。3 李鑫.具有成长性的人机对弈系统的研究D.上海交通大学,2009人机对弈是目前计算机领域的重要课题之一，对于学术研究

34、和工程应用都具 有重要意义。与传统人机对弈方法相比，本文以成长性为亮点，令机器棋手象人 类一样可以通过学习获得规律，提高棋力。通过对比常用的机器学习方法，本文 选择基于解释的学习（Explanation-Based Learning，简称EBL）作为基本理论。 随后，经过对于人机对弈系统进行深入研究后，本文分析并确定了人机对弈系统 的基本组成及各部分的功能。具有成长性的人机对弈系统由四个子系统组成，即 人机交互子系统、学习子系统、对弈子系统、持久化存储子系统。其中，学习子 系统和对弈子系统是关键所在。接着，本文以对于围棋领域的深刻认识为基础， 以基于解释的学习方法为指导，设计了对应这两个子系统

35、的基本方案：围棋学习 方法（I-Go Learning Method，简称IGLM）和围棋对弈方法（I-GoPlaying Method， 简称I GPM）。围棋学习方法以解决机器棋手如何学习对弈为目标，以领域知识 树和棋块树为基础，通过对每个训练样例的逐一分析，学到规则及其学习期评 价（Learning-Time Evaluation，简称LTE），更新到规则库中。围棋对弈方法以 解决机器棋手如何对弈为目标，以规则库、棋块树和棋盘-规则映射表为基础， 根据棋盘局面选择合适的规则，并通过对学习期评价和对弈期评价（Playing-Time Evaluation，简称PTE）的综合计算，确定最佳棋

36、着，完成对弈决策。与传统方 式相比，这两个方法均具有逐步提高对弈水平、较高的运行效率和正确性、新式 的棋着评价方法等优点，它们的有机结合有助于人机对弈水平的提高。最后，本 文讨论了系统的设计和实现方案。本文通过对围棋学习方法和围棋对弈方法的研 究，为人机对弈系统技术提供了新思路和新方法，有利于改善系统性能，有利于 技术的发展进步。4 付茂沼.可视化UML模型验证环境研究D.电子科技大学,2010针对非形式化的描述可能导致的不明确和不一致问题，提出并设计实现了一种基于OCL 的、能对I舢模型中类之间的关联及约束进行分析与验证的O UVE，使得在编写代码之前就能 很好地验证类之间的关联关系，以及约

37、束条件是否与实际的要求相符合，降低了由于不明确 和不一致导致的设计、缟程的错误以及所要付出的修改代价。5 孙圣.人机对弈分布式方案D.桂林理工大学信息科学与工程学,2010人机对弈分布式方案通过分布于棋子内部的简单程序进行计算剪枝并提出汇报，利用棋 子间的通信技术以及竞争手段使得同一阵营棋子达成一致。该方案赋予棋子适当的参数设置 并使其对信息进行综合计算并产生决策。该方案可以扩展成为更大棋盘更多子力分布的其他 对战模拟。6 卓明敏.五子棋级数算法D.赣南教育学院,2012给出了一种人机对弈5-3 -棋算法。在人机对弈五子棋棋局中，计算机根据这种算法， 给五子棋的每个格子计算分值，然后，计算机在

38、棋盘分值最高的格子中选择一个落子。这种 算法是算术级数和几何级数思想在五子棋中的应用。7 张涛.一种UML状态图模型检测方法D.哈尔滨工程大学,2011为在开发过程早期发现系统设计的各种错误与不一致，提出一种UML状态图模型检测方 法，用于验证设计模型与需求规约间的一致性.该方法通过元组定义UML状态图的主要元素， 给出状态图的中间表示形式SC.基于sc上定义的操作语义，该方法将状态图转换为具KRIPKE 语义结构的状态迁移系统，并将系统需满足的性质表示为线性时序逻辑公式，用模型检测技 术验证状态迁移系统对线性时序逻辑公式的满足性.该方法可以转换更多的状态图元素，缩 减状态图迁移系统的状态空间

39、及提高模型检测效率。8 柳毅.一种从UML模型到可靠性分析模型的转换方法D.北京大学，2010以构件化的软件开发方法为背景提出了一种将UML模型自动地转换为可靠性分析模型 Markov链的方法.该方法基于构件化的软件体系结构，从UML的用况图、顺序图、活动图和 构件图出发，对其进行扩展，在模型中标注了可靠性分析所需的信息.在此基础上，通过构 造一个称为构件转移图的中间模型，将标注了可靠性信息的UML模型转换为Markov链.该方 法产生的结果能够直接作为现有可靠性相关的数学分析方法的输入，从而使可靠性分析工作 变得更加方便，高效。5、使用万方数据平台的外文文献数据库关于用UML实现五子棋人机对

40、弈的话题在外文中的体现。检索策略：通过外文文献检索在检索框中输入：title= UML or man-machine chess，并选择可以下载论文全文。 检索结果列表：格式是题录加上英文摘要格式。1 Teng Hongfei, Yu Zhicheng, Gao Xuan, Ge Wehai. The engineering application of the Chinese chess manual of go in the packing problemsJ. 18th International Conference on Computers & Industrial Engineer

41、ing (ICC&IE95), vol.2A new method that is concerned about packing problems, such as the blank layout, is presented in this paper. On account of the laws of design by which an engineer carries on the design as well as calculation and modification with he help of the reference master drawing. accordin

42、g to the idea of man-machine synergy, the new CAD (Computer Aided Design) method about packing problems (MMPP), and the idea of employment of chess manual of go (a game played with black and white pieces on a board of 361 crosses), and working drawing as the master drawing are put forward. The aim o

43、f this paper is trying to solve the packing layout problems that concerned about layout of the irregular shape objects.2 Mark Levene Judit Bar-Ilan.Comparing Typical Opening Move Choices Made by Humans and Chess EnginesJ. The Computer journal2009The opening book is an important component of a chess

44、engine, and thus computer chess programmers have been developing automated methods to improve the quality of their books. Forchess, which has a very rich opening theory, large databases of high-quality games can be used as the basis of an opening book, from which statistics relating to move choices

45、from given positions can be collected. In order to find out whether the opening books used by modern chess engines in machine versus machine competitions are comparable to those used by chess players in human versus human competitions, we carried out analysis on 26 test positions using statistics from two opening books: one compiled from humans games and the other from machines games. Our analysis using several nonparametric measures shows that, overall, there is a strong association between humans and machines choices of opening moves when using a book to guide their choices.3 Nell