文献检索课程报告

文献检索课程报告班级：学号：姓名：一、选题简介：课题名称：基于UML的五子棋人机对弈UML-basedbackgammonman-machinechess课题分析：关键词：UML五子棋人机对弈man-machinechess二、文献检索过程1、使用CNKI中国知网学术搜索平台中的中国期刊全文数据库 人机对弈的研究是一个比较热的课题，期刊上应该有大量的反应 检索策略：通过中国学术期刊网络出版总库文献检索的标准检索：主题使用：“UML”或含“五子棋”或含“人机对弈”或含“man-machinechess”检索结果列表：序号题名作者作者单位文献来源发表时间1基于UML的上海博物馆网站开发应用

陈晓波

复旦大学【硕士】\t"result2"复旦大学

2009-09-202基于UML和BeetleJ2EE的高职院校就业平台的设计与实现

陈厚桥

复旦大学【硕士】\t"result2"复旦大学

2009-09-203基于UML的图书馆网络管理系统的设计与实现

段鹏

山东大学【硕士】\t"result2"山东大学

2009-10-104基于UML的领域构件复用技术研究及其应用

夏耀稳

云南师范大学【硕士】\t"result2"云南师范大学

2007-06-015基于UML的职业培训教学质量在线调查分析系统的设计与应用

付明

南昌大学【硕士】\t"result2"南昌大学

2009-12-276基于SPIN/Promela的UML模型验证工具设计与实现

舒良春

南昌大学【硕士】\t"result2"南昌大学

2009-12-207基于UML的国际零售采购管理系统的研究与实现

吴云亚

南京理工大学【硕士】\t"result2"南京理工大学

2009-08-018基于UML的外贸OA系统的设计与实现

毛梅林

南京理工大学【硕士】\t"result2"南京理工大学

2009-11-019支持企业互操作的UML扩展机制及其建模研究

葛林华

哈尔滨工业大学【硕士】\t"result2"哈尔滨工业大学

2009-06-0110基于UML的SMP2模型设计与集成方法研究

李春亮

国防科学技术大学【硕士】\t"result2"国防科学技术大学

2009-11-0111基于UML的动态自适应管理原型系统的研究与实现

黄栋

上海交通大学【硕士】\t"result2"上海交通大学

2009-01-0112基于UML的PLC电梯控制系统的研究与设计

朱渔

华东师范大学【硕士】\t"result2"华东师范大学

2010-04-0113UML_PanSchema可视化建模研究

段有胜

山东师范大学【硕士】\t"result2"山东师范大学

2010-06-0514基于UML的武警院校课件点播系统的设计与实现

葛玮

电子科技大学【硕士】\t"result2"电子科技大学

2009-11-2015基于时序描述逻辑的UML状态图语义研究

杨海波

兰州理工大学【硕士】\t"result2"兰州理工大学

2010-04-1516UML与类状态测试技术研究

蒋林超

湖南大学【硕士】\t"result2"湖南大学

2010-04-2617基于UML和J2EE的高校设备管理系统研究与设计

唐贻兴

合肥工业大学【硕士】\t"result2"合肥工业大学

2010-06-0118基于UML的艺术院校招生管理系统建模的研究与设计

鲍建军

合肥工业大学【硕士】\t"result2"合肥工业大学

2010-06-0119基于UML和CPN的软件性能评价研究

张华

中国石油大学【硕士】\t"result2"中国石油大学

2010-06-0120基于UML的网络营销导向电子商务网站开发过程研究

张涛

云南大学【硕士】\t"result2"云南大学

2010-05-0121基于UML的PSM层业务构件模型及其代码生成

谢玲

哈尔滨工业大学【硕士】\t"result2"哈尔滨工业大学

2010-06-0122基于UML的贵州水盘高速公路合同管理系统的研究与设计

毛旭

云南大学【硕士】\t"result2"云南大学

2010-05-0123基于UML类图的B形式化规约研究

田彦英

西安科技大学【硕士】\t"result2"西安科技大学

2010-06-3024基于UML的软件系统的功能性验证和非功能性度量

林红昌

浙江理工大学【硕士】\t"result2"浙江理工大学

2010-03-1225基于UML的报刊销售管理系统的设计与实现

姜春晖

郑州大学【硕士】\t"result2"郑州大学

2010-05-0126基于UML大型制造业企业MES系统建模

朱艳

华东师范大学【硕士】\t"result2"华东师范大学

2010-10-0127基于UML模型的依赖分析在回归测试中的研究与应用

陈树峰

南京航空航天大学【硕士】\t"result2"南京航空航天大学

2010-03-0128UML时序图模型到UPPAAL时间自动机模型转换方法研究和工具实现

崔康乐

华东师范大学【硕士】\t"result2"华东师范大学

2010-09-0129基于UML状态图的自动化测试框架研究与实现

杨晶

华东理工大学【硕士】\t"result2"华东理工大学

2010-12-2730基于SCOR、UML-PetriNet的Z电信公司物资管理系统建模研究

康博

华东理工大学【硕士】\t"result2"华东理工大学

2010-10-1031基于MDA的UML状态机代码生成技术研究与实现

冯茜

西安电子科技大学【硕士】\t"result2"西安电子科技大学

2011-03-0132利用开源UML软件实现PanSchema的可视化建模

陈立焕

山东师范大学【硕士】\t"result2"山东师范大学

2011-06-1633基于UML对象建模的国家高等学校创新引智计划综合管理平台的设计与实现

张文彬

天津大学【硕士】\t"result2"天津大学

2010-08-0134UML状态图的形式化研究

崔光霁

太原理工大学【硕士】\t"result2"太原理工大学

2011-06-0135基于UML救助管理信息系统的设计与实现

熊亮

北方工业大学【硕士】\t"result2"北方工业大学

2010-12-0136基于UML技术的机关综合信息管理系统的设计与实现

黄宇光

吉林大学【硕士】\t"result2"吉林大学

2011-05-0137UML顺序图的形式化描述方法研究

阮彦锐

兰州理工大学【硕士】\t"result2"兰州理工大学

2011-05-2638适用于ICONIX过程的UML图有色Petri网建模技术

徐佳琪

吉林大学【硕士】\t"result2"吉林大学

2011-04-0139UML模型与形式模型双向转换的研究

颜卫

华东师范大学【硕士】\t"result2"华东师范大学

2011-05-0140基于UML合并状态图的测试用例生成

庄俨

南京信息工程大学【硕士】\t"result2"南京信息工程大学

2011-05-0141基于实时UML对实时系统LTE无线通信系统信令子系统（RRC系统）建模

陈倩倩

华东师范大学【硕士】\t"result2"华东师范大学

2011-05-0142UML顺序图的形式化

童格明

兰州理工大学【硕士】\t"result2"兰州理工大学

2011-05-2643基于UML协作图的测试序列生成方法研究

陈雷

河北工程大学【硕士】\t"result2"河北工程大学

2011-04-0144基于UML的关系数据库建模研究与实现

熊信富

电子科技大学【硕士】\t"result2"电子科技大学

2011-04-0145基于UML软件体系结构的软件风险评估

荆文娟

南京理工大学【硕士】\t"result2"南京理工大学

2011-02-0146基于UML的网络选课信息管理系统的设计与实现

俞煜萍

电子科技大学【硕士】\t"result2"电子科技大学

2011-05-0147基于UML的网络考试系统设计与研究

冯健

贵州大学【硕士】\t"result2"贵州大学

2008-11-0148基于UML的空中交通管制员技术档案管理系统设计与实现

徐立剑

电子科技大学【硕士】\t"result2"电子科技大学

2010-04-0349基于UML的教务管理系统的设计与实现

王源

南京理工大学【硕士】\t"result2"南京理工大学

2011-04-0150基于UML的五子棋的分析与设计

闫海艇

安徽理工大学计算机科学与工程学院安徽淮南【期刊】\t"result2"安徽理工大学学报(自然科学版)

2007-12-1551基于uml师生信息交互系统设计与实现

赵白玉

山东大学【硕士】\t"result2"山东大学

2009-10-1052基于UML的工业软控制器的建模

杜清

汕头大学【硕士】\t"result2"汕头大学

2009-05-0153基于UML的稿酬管理系统的设计与实现

孙赫

吉林大学【硕士】\t"result2"吉林大学

2011-04-0154基于UML信贷管理系统的设计与实现

马晓东

吉林大学【硕士】\t"result2"吉林大学

2011-05-0155基于UML公共气象服务调查评估系统的设计与实现

陈建云

南京信息工程大学【硕士】\t"result2"南京信息工程大学

2011-05-0156基于UML/XML的ASIP系统级设计研究

廖永为

武汉纺织大学【硕士】\t"result2"武汉纺织大学

2011-03-0157五子棋对战平台的设计与实现

张佳佳

北京语言大学【期刊】\t"result2"电脑知识与技术

2012-08-0558五子棋算法的研究与思考

朱全民;陈松乔

中南大学信息科学与工程学院;中南大学信息科学与工程学院湖南长沙;湖南长沙【期刊】\t"result2"计算技术与自动化

2006-06-3059可配置建模工具及ICE-Model与UML模型的转换技术研究

罗学通

哈尔滨工业大学【硕士】\t"result2"哈尔滨工业大学

2009-06-0160基于UML的软件设计与测试研究

薛娟娟

南昌大学【硕士】\t"result2"南昌大学

2009-12-3061基于UML的网上选课系统的设计与实现

王安邦

南京理工大学【硕士】\t"result2"南京理工大学

2009-04-0162基于UML和Petri网的生产线实时控制系统建模与分析

杨喜刚

苏州大学【硕士】\t"result2"苏州大学

2009-10-0163基于情态演算的UML形式化验证与OCL约束自动生成研究

谭力

华东师范大学【硕士】\t"result2"华东师范大学

2010-04-0164基于UML的三维漫游系统的分析与设计

冯俊杰

辽宁师范大学【硕士】\t"result2"辽宁师范大学

2010-05-0165基于UML行为模型的软件漏洞检测形式方法研究

李静

青岛大学【硕士】\t"result2"青岛大学

2010-05-1466基于UML的公共选修课程管理系统的研究与实现

朱贤友

湖南大学【硕士】\t"result2"湖南大学

2010-04-0167基于UML的计算机组卷系统的分析与设计

李璐璐

长春理工大学【硕士】\t"result2"长春理工大学

2010-06-0168关于五子棋对弈程序的讨论

吕健希

中山大学【期刊】\t"result2"中文信息

2003-07-202、使用万方数据平台的学位论文全文数据库 中国知网上找到了近万条与课题相关的文献，那么在万方数据平台的学位论文中也应该可以找到不少相关的论文。检索策略：通过学位论文检索在检索框中输入：title=UMLor五子棋or人机对弈，并选择可以下载论文全文。检索结果列表：格式是题录加上中文摘要格式。 [1]李留英.UML测试技术的研究与实现[D].国防科学技术大学,2000 第一章为绪论。首先介绍了课题研究背景、软件测试的发展历史、测试目的和测试覆盖准则。然后．介绍了国内外一些著名大学和科研机构在面向对象软件测试领域内的研究现状、相应的技术、标准建模语言UML的特点和对测试技术的支持。最后讨论了目前存在的主要问题，提出了课题的主要内容和实现目标。第二章介绍了标准建模语言UML的语法和语义特点，分析现有软件开发模型的弱点，提出用UML开发面向对象软件的递增式模型，使开发和测试设计并行，并讨论了用UML进行面向对象系统建模的一般过程。第三章分析了当前UMLl．1语义存在的问题，较全面地定义了描述对象状态机的UMLstatecI∞mls的形式化操作语义。在定义语义的过程中，定义了伪状态、复合迁移、新迁移优先级．并引入事件队列．以完整地描述对象状态机的单个执行步STEP和由多个STEP组成的RTC-STEP。第四章在分析现有面向对象状态机测试技术缺点之后，提出了依据U池statec]1a=Ttts的层次和并发结构生成测试用例的方法，讨论了测试集的故障检测能力以及如阿根据父类构造子类的测试用例。第五章介绍了D'ML交互式开发环境框架，着重介绍了测试模拟系统原型UMLTGen的系统结构和主要功能。第走章总结了本课题的主要研究成果以及下一步工作重点。本文在最后列出了参考文献和一些算法的实现。 [2]陈栋.UML交互图的模型验证方法研究——UML交互图至Promela程序的转换[D].华东师范大学,2009 随着我国信息化建设的不断发展，软件系统的广泛应用，在国民经济的各行各业中发挥了越来越重要的作用。特别在一些重要领域如航空航天、地铁调度，对软件的可靠性要求特别高，软件设计上的一点缺陷，都可能导致灾难性后果，造成重大损失。如何确保这些系统的可靠性已经成为计算机科学与控制论领域共同关注的一个焦点问题。本论文主要研究了针对UML交互图的模型检测(ModelChecking)方法，利用成熟的Spin模型检测工具，对UML模型进行形式化验证，以确保软件设计模型的正确性。论文首先介绍了模型检测理论，并着重分析了模型检验工具Spin功能和使用方法及其建模语言Promela的结构和语法。重点研究了UML顺序图的形式化表示方法，提出了UML顺序图到Promela语言转换规则和软件实现算法，并介绍了模型转换验证工具的设计和实现方法。将形式化验证结合到软件设计过程中，可以帮助设计人员尽早发现问题，提高模型的可靠性，减少由于设计错误带来的巨大损失。模型转换验证工具可以将UML顺序图自动转换生成Promela程序，并调用Spin工具进行模拟和验证。 [3]占学德.基于UMLstatecharts测试方法的研究[D].上海大学 统一建模语言(UnifiedModelingLanguage，UML)是一种描述能力强大且涵义直观的可视化建模语言，它提供多种图元从不同角度和应用层次刻画系统特性以及复杂的运行环境。基于UML的软件开发过程和建模环境已被工业界广泛接受，其中包括航天、国防、汽车等许多安全攸关领域。如何保证和提高软件质量成为软件界最为关心的问题之一。软件测试作为保证软件质量的关键技术之一，能够有效地发现软件中的故障。因而，基于UML软件测试成为了软件工程的一个重要研究方向。软件测试的关键是测试用例的产生。本文对基于UMLstatecharts图的测试用例生成方法进行了研究和探讨。直接从含有层次和并发结构的UMLstatecharts图产生类的测试用例是比较困难的，本文提出了基于UMLstatecharts图的测试框架：先利用现有的UML工具(如ArgoUML等)画出UMLstatecharts图，并产生它的XMI(XMLMetadataInterchange)格式的规格说明文件；然后根据UMLstatecharts图的语义，层次和并发结构被展平，UMLstatecharts图的规格说明XML文件转换成FREE(FlattenedRegularExpression)模型的规格说明信息；最后根据FREE模型的规格说明信息，按照不同的充分性测试准则，分别产生测试用例集。uMLstatecharts图是一种图形符号，描述了UML框架的行为，它是UML语言的一个重要组成部分。然而，UMLstatecharts图缺乏精确的语和语义。本文用z语言定义了UMLstatecharts图的形式化语法和语义。按照这个精确语义，UMLstateeharts图被转换成了FREE模型。这个FREE模型不仅有助于确定软件设计是否是一致的、无歧义的和完整的，而且也有利于软件测试。测试充分性准则是整个软件测试的核心，它直接决定了测试用例的生成。目前基于U／vlL状态图生成测试用例的充分性准则：状态覆盖准则、迁移覆盖准则、全谓词公式覆盖准则和迁移对覆盖准则，它们没有解决测试循环的问题。在测试时，循环被执行一次是很不充分的，按照不完全归纳法的思想，本文提出了ZOT循环覆盖准则，也就是使循环分别执行0次、1次、2次；针对A，J．Offutt等人给出的覆盖准则“完全序列准则”(completesequencelevel)，由于它的操作性极弱，无法在工具中实现，在此基础上结合ZOT循环覆盖准则，本文还提出了全ZOT路径覆盖准则。并给出了状态覆盖、迁移覆盖、全谓词公式覆盖、迁移对覆盖、ZOT循环覆盖和全ZOT路径覆盖这6条覆盖准则的应用，还讨论了这些覆盖准则之间的包含关系。A．J．Offutt给出的两条测试准则(全谓词公式覆盖和迁移对覆盖)产生测试用例的算法只适用于以下情况：一方面只对使能迁移产生测试，另一方面它需要所有的变量都是布尔型的。本文针对这两个方面的问题进行了扩充，不仅可以测试使能迁移，还能测试非法迁移，变量也不再要求它是布尔型的，而提出了由FREE模型根据全谓词公式覆盖准则和迁移对覆盖准则分别产生有限的迁移序列的两个算法。本文还提出了由FREE模型根据全ZOT路径覆盖准则分别产生有限的迁移序列的算法。最后，给出了本文所提出的基于UMLstateeharts图的测试用例生成方法的UMLSTG系统设计及实现技术。这个系统，从读入UMLstatecharts图的规格说明XML文件，到最后按照不同的测试覆盖准则可以分别产生出相应的测试用例文件。 [4]张明亮.一种新的博弈树搜索算法及其应用研究[D].苏州大学,2007 机器博弈是人工智能研究领域的一大热点，博弈树搜索则是机器博弈的引擎。本文在博弈树搜索算法和博弈树优化技术等方面做了深入研究，将理论和实践紧密结合，取得了以下的主要创新成果： (1)提出并成功验证了一种新的博弈树搜索算法：基于广度优先的接力式空窗探测搜索算法。实验证实该方法在实际应用中的平均搜索效率，高于目前公认搜索效率最高、也是最流行的PVS和MTD(f)搜索方法；在迭代深化搜索中，该方法也具有相对优势；并且该算法的最小搜索极限小于极小树。因此，该方法具有广阔的应用前景。 (2)给出了一种新的博弈树优化技术一“子树复用"技术。该技术在几乎不需要额外时间开销的情况下，就能使深层博弈树搜索的效率提高10％以上，并随着搜索深度的加大，效率提高得愈多。“子树复用"技术在限定用时或必胜局面的对弈中还具有额外的实用价值，因而“子树复用"技术无疑具有极好的应用价值。 (3)给出了极小搜索树叶结点数定理的新的证明方法，指出了以前的有关证明：的缺陷。针对很多人对极小树的不准确理解，以及对窗口搜索效率的有关误解，给出了正确的结论。 (4)开发了高水平的五子棋人机对弈系统，该系统在估值函数设计上，探索了不同颗粒度估值函数的应用效果，证实粗颗粒度估值函数在深度搜索中可以具有更好的综合效果；部分局面下的估值函数延伸评估技巧，同样可以替代搜索，来减少地平线效应；这些为同行提供了很好的借鉴。证实借助棋类知识的走法生成函数，在五子棋对弈系统中具有很好的效果。在博弈树优化方面，挖掘出极小极大值搜索算法的优势，应用收到了良好的效果。3、使用万方数据平台的会议论文全文数据库关于用UML实现五子棋人机对弈的话题在某些会议中应该也有讨论到。检索策略：通过会议论文检索在检索框中输入：title=UMLor五子棋or人机对弈，并选择可以下载论文全文。检索结果列表：格式是题录加上中文摘要格式。 [1]陶砂等.人机对弈智能五子棋机器人的制作初探[A].第四届全国先进制造装备与机器人技术论文集[C]，2010 制作人机对弈智能五子棋的机器人，具体要求是设计一个有机玻璃五子棋盘，棋盘上有纵横十条黑直线，形成五子棋的棋盘为lO(行)x10(列)t100个交叉点的棋盘，每个交叉点下有一个干簧管，用于检测棋子的位置，当用磁性的棋子压在任意的交叉点上时，对应的交叉点下的绿色矩阵发光二极管亮，同时，机器人将在相应的交差点上自动点亮红色矩阵发光二极管，形成人机对弈的局面。硬件使用飞思卡尔(FREESCALE)单片机为主机，每个棋子电路用89C2051单片机，共用去了101个CPU，软件编程思路为机器人走子是。封二．堵三、抢四、五赢”的策略。其目的就是一个具有众人观赏，人与机器人自动对弈，可以脱离网络与普通计算机的智能多机器人． [2]邹胜荣等.形式化方法B和UIIL的结合研究[A].南京大学计算机科学与技术系[C]，2003 形式化方法B用抽象机器符号来描述软件的规格说明．因为工具集的有力支持已成为形式化方法的首选并有了一些成功的工业应用．呲是面向对象的建模技术．它的半形式化的分析结果可被B方法所引用，此文通过从U睫类图到8抽象机器的转换给出了一个呲和B结合的方法。[3]邵维忠,蒋严冰,麻志毅.UML现存的问题和发展道路[A].计算机研究与发展[C]，2003自从1997年OMG采纳UML作为其标准建模语言以来，UML受到计算机各界人士的普遍关注，得到了广泛的应用，并在世界范围内形成了其事实上的建模规范的地位.但也无时无刻不受到来自用户、工具开发商、学者和教学者从不同角度的批评.UML先后进行了3次修订（1.3，1.4和2.0），目前计算机各界人士对UML提出了各种意见，并将重点放在目前公认的几个问题上：精简、定义核心、扩展机制以及形式化语义等。4、使用万方数据平台的学术论文全文数据库 作为学术研究，用UML实现的人机对弈也是个很好的话题。 检索策略：通过会议论文检索在检索框中输入：title=UMLor五子棋or人机对弈，并选择可以下载论文全文。检索结果列表：格式是题录加上中文摘要格式。 [1]罗丽，基于Brew平台的人机对弈系统设计与实现[D].北京工业大学.2008 人们追求交流和自由的脚步从未停止过，互联网技术的出现，打破了时空交流上的限制，成为人类追求并获得自由的一个重要里程碑；而移动终端则让人们摆脱线的约束，能随时随地进行沟通。应用于移动终端的开发技术除了WAP和I-Mode外，还有Brew与J2ME技术。目前，市场上存在很多手机应用开发平台，其中高通公司的Brew是最有影响力的平台之一。Brew由于其主要基于C／C++语言，有速度快，节省内存空间等优势，所以得到广大的推广应用。Brew平台的广泛应用应该能伴随3G时代的到来而不可避免。所以我们现在进行基于Brew平台的研究和开发是相当具有现实意义的。比如将人工智能应用到基于Brew平台的手机上，目前这就是一个比较新的研究方向。人工智能是探索和模拟人(人类)的感觉和思维过程的规律的学科。同时经过近些年的研究，人工智能的研究取得了很大的发展，也细化出很多不同的方向。其中人机对弈就是其中之一。如何将人机对弈应用到Brew平台上，这正是这篇论文要探讨的问题。因为Brew平台有别于PC，所以我们对基于Brew平台的人机对弈的研究不是对PC上人机对弈的简单重复和照搬。我们必须充分考虑到手机内存小、运算速度没有PC快这两个先天不足，对基于Brew平台的人机对弈的算法进行有针对性的精简和优化。比如代码的精简、代码设计如何使Brew的内存利用率最高等多方面考虑。本论文首先介绍了什么是Brew，因为对人机对弈算法而言，内存消耗和需要的运算速度是两个很重要需要考虑的指标，所以其中重点介绍了Brew的内存管理机制、堆栈的用法、优化内存。接下来介绍了人工智能和人机对弈目前的研究情况。在第五章里，以象棋为例，从棋盘表示、走法产生、基本搜索技术、估值基础四个方面阐述了基于Brew平台的人机对弈。为了追求人机对弈具有更好的性能，同时充分考虑到Brew平台本身的特点，文章继续讨论了搜索算法的改进和估值核心的优化问题。 [2]闫海艇.基于UML的五子棋的分析与设计[D].安徽理工大学,2007 以五子棋为例，用UML开发人机博弈程序。五子棋博弈算法采用了博弈树的方法，应用了剪枝和极大极小值原理进行搜索寻找最优的下予位置。用面向对象的思想并结合UML建模工具，对程序进行分析、设计。此外，程序可以通过增加机器学习，对棋局进行记忆、总结学习，可以进一步提高系统的智能。 [3]李鑫.具有成长性的人机对弈系统的研究[D].上海交通大学,2009 人机对弈是目前计算机领域的重要课题之一，对于学术研究和工程应用都具有重要意义。与传统人机对弈方法相比，本文以成长性为亮点，令机器棋手象人类一样可以通过学习获得规律，提高棋力。通过对比常用的机器学习方法，本文选择基于解释的学习（Explanation-BasedLearning，简称EBL）作为基本理论。随后，经过对于人机对弈系统进行深入研究后，本文分析并确定了人机对弈系统的基本组成及各部分的功能。具有成长性的人机对弈系统由四个子系统组成，即人机交互子系统、学习子系统、对弈子系统、持久化存储子系统。其中，学习子系统和对弈子系统是关键所在。接着，本文以对于围棋领域的深刻认识为基础，以基于解释的学习方法为指导，设计了对应这两个子系统的基本方案：围棋学习方法（I-GoLearningMethod，简称IGLM）和围棋对弈方法（I-GoPlayingMethod，简称IGPM）。围棋学习方法以解决机器棋手如何学习对弈为目标，以领域知识树和棋块树为基础，通过对每个训练样例的逐一分析，学到规则及其学习期评价（Learning-TimeEvaluation，简称LTE），更新到规则库中。围棋对弈方法以解决机器棋手如何对弈为目标，以规则库、棋块树和棋盘-规则映射表为基础，根据棋盘局面选择合适的规则，并通过对学习期评价和对弈期评价（Playing-TimeEvaluation，简称PTE）的综合计算，确定最佳棋着，完成对弈决策。与传统方式相比，这两个方法均具有逐步提高对弈水平、较高的运行效率和正确性、新式的棋着评价方法等优点，它们的有机结合有助于人机对弈水平的提高。最后，本文讨论了系统的设计和实现方案。本文通过对围棋学习方法和围棋对弈方法的研究，为人机对弈系统技术提供了新思路和新方法，有利于改善系统性能，有利于技术的发展进步。 [4]付茂沼.可视化UML模型验证环境研究[D].电子科技大学,2010 针对非形式化的描述可能导致的不明确和不一致问题，提出并设计实现了一种基于OCL的、能对I舢模型中类之间的关联及约束进行分析与验证的OUVE，使得在编写代码之前就能很好地验证类之间的关联关系，以及约束条件是否与实际的要求相符合，降低了由于不明确和不一致导致的设计、缟程的错误以及所要付出的修改代价。 [5]孙圣.人机对弈分布式方案[D].桂林理工大学信息科学与工程学,2010 人机对弈分布式方案通过分布于棋子内部的简单程序进行计算剪枝并提出汇报，利用棋子间的通信技术以及竞争手段使得同一阵营棋子达成一致。该方案赋予棋子适当的参数设置并使其对信息进行综合计算并产生决策。该方案可以扩展成为更大棋盘更多子力分布的其他对战模拟。 [6]卓明敏.五子棋级数算法[D].赣南教育学院,2012 给出了一种人机对弈5--3-棋算法。在人机对弈五子棋棋局中，计算机根据这种算法，给五子棋的每个格子计算分值，然后，计算机在棋盘分值最高的格子中选择一个落子。这种算法是算术级数和几何级数思想在五子棋中的应用。 [7]张涛.一种UML状态图模型检测方法[D].哈尔滨工程大学,2011 为在开发过程早期发现系统设计的各种错误与不一致，提出一种UML状态图模型检测方法，用于验证设计模型与需求规约间的一致性．该方法通过元组定义UML状态图的主要元素，给出状态图的中间表示形式SC．基于sc上定义的操作语义，该方法将状态图转换为具KRIPKE语义结构的状态迁移系统，并将系统需满足的性质表示为线性时序逻辑公式，用模型检测技术验证状态迁移系统对线性时序逻辑公式的满足性．该方法可以转换更多的状态图元素，缩减状态图迁移系统的状态空间及提高模型检测效率。 [8]柳毅.一种从UML模型到可靠性分析模型的转换方法[D].北京大学，2010 以构件化的软件开发方法为背景提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法．该方法基于构件化的软件体系结构，从UML的用况图、顺序图、活动图和构件图出发，对其进行扩展，在模型中标注了可靠性分析所需的信息．在此基础上，通过构造一个称为构件转移图的中间模型，将标注了可靠性信息的UML模型转换为Markov链．该方法产生的结果能够直接作为现有可靠性相关的数学分析方法的输入，从而使可靠性分析工作变得更加方便，高效。5、使用万方数据平台的外文文献数据库关于用UML实现五子棋人机对弈的话题在外文中的体现。检索策略：通过外文文献检索在检索框中输入：title=UMLorman-machinechess，并选择可以下载论文全文。检索结果列表：格式是题录加上英文摘要格式。[1]TengHongfei,YuZhicheng,GaoXuan,GeWehai.TheengineeringapplicationoftheChinesechessmanualofgointhepackingproblems[J].18thInternationalConferenceonComputers&IndustrialEngineering(ICC&IE'95),vol.2Anewmethodthatisconcernedaboutpackingproblems,suchastheblanklayout,ispresentedinthispaper.Onaccountofthelawsofdesignbywhichanengineercarriesonthedesignaswellascalculationandmodificationwithhehelpofthereferencemasterdrawing.accordingtotheideaofman-machinesynergy,thenewCAD(ComputerAidedDesign)methodaboutpackingproblems(MMPP),andtheideaofemploymentofchessmanualofgo(agameplayedwithblackandwhitepiecesonaboardof361crosses),andworkingdrawingasthemasterdrawingareputforward.Theaimofthispaperistryingtosolvethepackinglayoutproblemsthatconcernedaboutlayoutoftheirregularshapeobjects.[2]MarkLevene,JuditBar-Ilan.ComparingTypicalOpeningMoveChoicesMadebyHumansandChessEngines[J].TheComputerjournal2009Theopeningbookisanimportantcomponentofachessengine,andthuscomputerchessprogrammershavebeendevelopingautomatedmethodstoimprovethequalityoftheirbooks.Forchess,whichhasaveryrichopeningtheory,largedatabasesofhigh-qualitygamescanbeusedasthebasisofanopeningbook,fromwhichstatisticsrelatingtomovechoicesfromgivenpositionscanbecollected.Inordertofindoutwhethertheopeningbooksusedbymodernchessenginesinmachineversusmachinecompetitionsare'comparable'tothoseusedbychessplayersinhumanversushumancompetitions,wecarriedoutanalysison26testpositionsusingstatisticsfromtwoopeningbooks:onecompiledfromhumans'gamesandtheotherfrommachines'games.Ouranalysisusingseveralnonparametricmeasuresshowsthat,overall,thereisastrongassociationbetweenhumans'andmachines'choicesofopeningmoveswhenusingabooktoguidetheirchoices.[3]NellBoyce.Chipsvs.thechessmasters[J].U.S.news&worldreport2002,133(13)WhenIBM'sDeepBluesupercomputerbeatchesschampionGarryKasparovfiveyearsago,thecaseseemedclosed:Thewetwareofthehumanbrainwassimplynolongeramatchforthehardwareofachess-playingmachine.Sowhat,exactly,isthepointofManvs.Machine,RoundⅡ-twoupcomingconteststhatpittoday'sbestchessprogramsagainstKasparovandthecurrentworldchampion,VladimirKramnik?DeepBlue's1997victoryoverKasparovfelthollowtocomputerchessexperts.Theyhaddreamedfordecadesaboutbeatingtheworld'sbesthuman,butintheevent,Kasparovfellapartpsychologically.Helatersaidhefelt"ashamed"ofthewayhe'dplayed,havingmadeanobviousblunderinthefinal,decidinggame."Ishouldhavebeenexulting,butIwasfeelingemptyinside,"writesDeepBlueteammemberFeng-HsiungHsuinBehindDeepBlue,amemoirpublishedthisfall."Thegamefelttooeasy."[4]StevenLevy.Machinevs.Man:Checkmate[J].Newsweek2003,CXLII(3)Garrykasparov'sheadisbowed,buriedinhishands.Isheindespair,orjuststealingaminuteofrestinhisrelentlessquesttoregaintheworldchampionship,promotechessandrepresenthumanityintheepicconflictbetweenmanandmachine?Heprofessesthelatter.Butnoonecouldblamethegreatestgrandmasterinhistoryifhedidsuccumbtobleakness.Hisownexperiencesindicatetheendofthelineforhumanmasteryofthechessboard.Inthesportofbrains,siliconrules.[5]StevenLevy.Man,MachineAndtheMyth[J].Newsweek2003,CXLI(5)Theworld'sgreatestchessplayer(humanvariety)isfamouslyaggressive,butalsoknowshowtospin.Atapressconferencebeforetakingonthecurrentcomputerchampionthisweek,GarryKasparovdescribedhislosstoIBM'sDeepBluesupercomputerfiveyearsagoas"theendofthemythologicalera"ofman-vs.-machinematches.Thenewera,hepromised,beginningwithhiscontestagainstnewopponentDeepJunior,willberuledbymoreseriousideals,likesportandscience.Hisargumentwasagambitworthyofagrandmaster.[6]DonaldMichie.SlaughteronSeventhAvenue[J].NewScientist1997,154(2085)"I'mnotafraidtosaythatI'mafraid,"saidGarryKasparovlastmonthafterhisfifthgameagainstDeepBlue2.ThematchbetweenmanandmachinewasallsquareasKasparovspoketothewatchingchessaficionadosandworldpressassembledattheEquitableCenteronNewYork'sSeventhAvenue.Itwasachillingmomentforallofus,raisingtoanextraordinarypitchthetensionsurroundingthefinalgamenextday.Thenitcame.[7] BryanWalsh.PenniesforYourThoughts[J].Time2011,177(4)Longbeforeibmbootedupdeepblue,therewasachess-playingautomatonthattouredEuropeinthe18thcentury,beatingsuchluminariesasBenjaminFranklinandNapoleon.Thejokewasthatthemechanicalman,calledtheTurk,wasn'tarobotatall.Apersonwasactuallyhidinginsidethecontraption,directingmovesthatseemedtoobserverstobemadebyafullyfunctioningmachine.SoitiswithAmazon'sMechanicalTurk,ormTurk,service.Companiescantakeataskthatacomputercouldalmostdobyit-selfbutthatstillrequiresabitofhumanfinessing-liketranscribingaudiointocoherentphrasesorclickingonphotosthatcontainaparticularobject-andfarmitouttomTurk'shordesofonlinefreelancers,whoareeagerforthework,howevermenial.6、使用SPRING_LINK电子期刊数据库检索策略：选择高级检索，选中Title&Abstract：在检索框输入“UMLorman-machinechess”并加上“class*” 检索结果列表：格式是题目加英文摘要的格式 [1]\o"LinktoChapter"FromUMLActivitiestoTAAL-TowardsBehaviour-PreservingModelTransformationsConceptualmodelsareformaldescriptionsofapplicationdomainsthatareusedinearlystagesofsystemdevelopmenttosupportrequirementsanalysis.TheUnifiedModelingLanguagewasformedbyintegratingseveraldiagrammingtechniquesforthepurposeofsoftwarespecification,design,constructionandmaintenance.Itwouldbeadvantageoustousethesamemodelingmethodthroughoutthedevelopmentprocessofaninformationsystem,namely,toextendtheuseofUMLtoconceptualmodeling.Thiswouldrequireassigningwell-defined,real-worldmeaningtoUMLconstructs.Inordertomodelthereal-world,weneedtospecifywhatmightexistintheworld,namely,anontology.WesuggestthatbymappingUMLconstructstowell-definedontologicalconcepts,wecanformclearsemanticsforUMLdiagrams.Furthermore,basedonthemappingwecansuggestontologically-basedintra-andinter-diagramintegrityrulestoguidetheconstructionofconceptualmodels.InthispaperwedescribetheresultsweobtainedbymappingUMLconstructstoaspecificwell-formalizedontologicalmodel.Inparticular,wediscusstheontologicalmeaningofobjects,classes,andofinteractions.[2]\o"LinktoChapter"ArchitecturalAspectsinUMLArchitecturedescriptionsareimportantforreasoningaboutsystempropertiesinordertomaketherightarchitecturaldecisionsforbuildingsystemswithadequatequality.Modularisingconcernsatthearchitecturedescriptionlevelmayeasesystemconfigurabilityandcaterforvariationsinarchitecturalrequirements.WedeviseatechniqueformodularisingandcomposingcomplexarchitecturalconnectorsdescribedinUMLusingstructuredclasses.Wedefineabindinglanguagewithlexicalandgraphicalsyntaxtosupportthecomposition.Finally,wediscusstherelationshipwithstandardUMLconstructs[3]\o"LinktoChapter"StrengtheningUMLCollaborationDiagramsbyStateTransformationsCollaborationdiagramsasdescribedintheofficialUMLdocumentsspecifypatternsofsystemstructureandinteraction.Inthispaper,weproposetheiruseforspecifying,inaddition,pre/postconditionsandstatetransformationsofoperationsandscenarios.Thisconceptualideaisformalizedbymeansofgraphtransformationsystemsandgraphprocess,therebyintegratingthestatetransformationwiththestructuralandtheinteractionaspect[4]\o"LinktoChapter"XML-OGL:UML-BasedGraphicalWebQueryLanguageforXMLDocumentsThewidespreaduseofXMLforstandardsemi-structureddocumentsontheWebopensupchallengingopportunitiesforWebquerylanguage.TheUMLisagraphicallanguagewhichrepresentstheresultofanobject-orientedanalysisanddesign.Inthispaper,weintroducetheUML-basedgraphicalwebquerylanguageforXMLdocuments.Theuseofavisualformalismrepresentsthesyntaxandsemanticsofquerieswhichenablesanintuitiveexpressionofqueries,evenwhentheyarerathercomplex.And,itmatchesaseriesofprocessestostoreandretrieveXMLdocumentstoOODBMSwiththeuseofanuniformvisualizationforrepresentingboththecontentofXMLdocuments(andoftheirDTD)andthesyntaxandsemanticsofqueries.[5]\o"LinktoChapter"AUMLProfileforModelingDataWarehouseUsageDataWarehouse(DWH)systemsrepresentasinglesourceofinformationforanalyzingthestatus,thedevelopmentandtheresultsofanorganization.Today’sDWHsystemsprovidemanydifferentservicestodifferentkindsofusers.PeopleinvolvedindesigningandmanagingDWHsystemsneedtoseethebigpictureofhowtheDWHisbeingused,tohaveanoverviewofthecurrentsituation,andtobeabletovisualizefuturescenarios.Currently,thereisalackofsuchgeneralmodelsinDataWarehousing.WeintroducetheUMLProfileforModelingDWHUsageformodelingthedifferentkindsofDWHusageonaconceptuallevel.ItusesfeaturesofUMLintendedforthepurposeofcreatingabstract,generalmodels.Theprofiledistinguishesfourperspectivesofusage,andallowstomodeldetailsoftheusers.TheUMLProfileisappliedtoexamplesillustratingsomeoftheapplicationscenarios.ThisresearchhasbeenfundedbytheAustrianFederalMinistryforEducation,Science,andCulture,andtheEuropeanSocialFund(ESF)undergrant31.963/46-VII/9/2002.三、资料的阅读及资料的汇总（包括所涉及选题中关键词的重要概念、权威的解释及资料来源以及课题中研究的热点问题或难点问题、文献中出现的解决办法、各种解决办法所存在的问题以及今后的发展趋势。） 统一建模语言（UML）是3位杰出的方法论学家（GrayBooch，IvarJacobson和JamesRumbaugh）合作的产物.最初在1995年，Booch和Rumbaugh尝试将他们的方法统一为UnifiedMethodV0.8；一年之后Jacobson加入到他们的行列，共同致力于将他们的方法统一为二义性较少的UML0.9.1997年，对象管理组织（OMG）采纳UML作为它的标准的建模语言（UML1.1）.从此UML就由独立于任何开发商的对象管理组织（OMG）所有，并通过严格而有序的OMG过程对其修订和维护.在UML产生和发展短短4年的时间内，它结束了“模型论战”（methodwar）的时代，并成为在软件工业中占支配地位的建模语言.UML不仅是事实上的建模语言标准，它也正在快速地成为法定的标准.OMG已经被国际标准化组织（ISO）批准为公共可用规范（PAS）的提交者，并申请将UML规范作为国际标准.用户/建模者很快地认识到一个可用来对软件系统进行可视化、详述、构造和文档化的通用建模语言所带来的益处.他们充满激情地将这种语言早期的草案应用于不同的问题域.受用户强烈需求的驱动，建模工具厂商很快在他们的产品中加入了对UML的支持。 五子棋是一种两人对弈的纯策略型棋类游戏，棋具与围棋通用，是起源于中国古代的传统黑白棋种之一。发展于日本，流行于欧美。容易上手，老少皆宜，而且趣味横生，引人入胜；不仅能增强思维能力，提高智力，而且富含哲理，有助于修身养性。基于UML的五子棋人机对弈采用了博弈树的方法，应用了剪枝和极大极小值原理进行搜索寻找最优的下予位置。用面向对象的思想并结合UML建模工具，对程序进行分析、设计。此外，程序可以通过增加机器学习，对棋局进行记忆、总结学习，可以进一步提高系统的智能。 涉及到的概念博弈树，博弈树将对垒的初始棋局作为根结点，把所有由初始棋局经过合法一步得到的新棋局作为其孩子结点，然后以新棋局为根，再产生的棋局为其孩子结点，依次类推，得到一棵包括对垒中各种可能棋局变化的树，并通过对这棵树遍历分析确定计算机的走步。在构造一棵博弈树时，计算机的目的是寻找一步好棋，然后走完这一步，等待对方回手，并从这个新的位置，并再次寻求一步好棋。由于时空限制，博弈树的实际深度不可能达到游戏最长的、有效序列的长度。可以设置初级、中级、高级三个档次，从而减少博弈树搜索深度。在对垒过程中计算机方要战胜对方，它必须有一个为它获胜机会最大的优先走步估计，这个估计通过对博弈树的叶结点用一种估值函数的办法来实现。 设计程序过程中先了解清楚五子棋的比赛规则和特点：人与计算机分别持黑白两色棋子轮流在棋盘上选择一个五子的交叉点下棋。黑白双方有一方的五个棋子在水平、垂直、左斜、右斜四个方向上连接成一线即为该方赢。因此，任何方获胜的关键是，在当前棋局上快速选择一个最优点下棋，使能最终形成五子连线的集合。再定义程序中的类：棋盘(ChessBoard)：主要用来记录棋盘下棋的数据(棋盘上的点的状态，已经形成同色特征棋子的集合)和模拟在棋盘上下棋。棋子集合类(ChessSet)：主要用来记录水平、垂直、左斜、右斜四个方向，同一下棋者所下相连棋子的集合，并用此来确定此棋子集合的分值，控制同色相邻棋子的合并与分离操作。棋子类(Chess)：主要用来记录棋子的类型，和所属的集合类。棋手类(Player)：主要用来模拟人和计算机下棋。最后确定整体的算法过程：机器下棋过程通过口一卢裁剪的原理和极大极小过程来确定可能下棋点的棋局分数。遍历估值函数的极大值，就确定计算机的下棋点。把两边没有界的棋子集合称为活棋型，把有界的棋子集合称为死棋型。用On表示具有挖个棋子的活棋型的棋子集合，用Cn表示具有以个棋子的死棋型的棋子集合。得到如下关系：置此棋子所属集合C1<01<C2<02<C3<03<C4<()4<C5=05对各个棋型进行取值评分，各个棋型的取值多少因个人的经验而定，把双方所有棋子集合的评分值分别求和，得到当前棋局的评分值。 UML自其产生发布之日起，在得到广泛肯定和应用的同时也受到了大量的批评.尽管UML的体系结构具有适合变化的功能，并且UML的改进的过程也是严格和合理的，但由于UML的复杂性并没有使得UML1.3不存在任何问题.与UML有关的不同人员根据不同的专业背景分别从不同的角度提出了自己的意见.大部分UML的使用者对UML的掌握集中在模型和对象层次，他们对UML的感觉是难学难用，很难映射到实现，并且大部分用户对元模型不知所式定义中的用语，有的学者认为尽管在UML中已经规定了形式化的语法，但大部分语义却是用自然语言描述的，因此存在许多歧义和不一致性。