弈心——最强的五子棋引擎尽管五子棋先后于1992年、2001年被计算机证明原始无禁手、原始有禁手规则下先手必胜,在五子棋专业比赛中采用现代开局规则(如基于无禁手的两次交换规则(Swap-2),基于有禁手的索索夫-8规则(Soosorv-8))远比原始规则复杂,并未被终结。
然而,相比电脑象棋,电脑五子棋的发展是缓慢的。
顶级五子棋程序虽长于局部计算,但缺乏大局观,因此很多五子棋专家相信目前的五子棋程序依旧无法超越最强的人类棋手。
通过分析当今五子棋程序的弱点并提出与之对应的解决策略,五子棋程序弈心被设计出来。
弈心具有独特的偏向战略的棋风,擅长全局优势的积累。
弈心成为第13届、14届、15届、16届、17届、18届Gomocup冠军,并以400Elo等级分的优势领先处于第二位的五子棋程序。
2017年,弈心成为首个在公开比赛中战胜人类顶尖棋手的人工智能程序。
1
序  前言  第1篇面向过程的软件工程  第1章软件危机、软件工程  11软件工程的发展史  111程序设计时代  112程序系统时代  113软件工程时代  12软件危机主要表现形式  13产生软件危机的原因及解决途径  131产生软件危机的原因  132解决软件危机的途径  14软件和软件工程  141软件  142软件工程  15软件质量  16软件的生存周期及开发模型  161软件生存周期  162软件开发模型  17习题  第2章可行性研究  21可行性研究的目的与任务  22可行性研究的步骤  23系统流程图  231系统流程图的符号  232系统流程图示例  24成本-效益分析  241货币的时间价值  242投资回收期  243纯收入  25可行性研究报告的主要内容  26习题  第3章软件需求分析  31需求分析的任务和步骤  311需求分析的任务  312需求分析的步骤  32需求获取的常用方法  321常规的需求获取方法  322快速建立软件原型来获取需求  33需求分析的方法  331功能分解方法  332结构化分析方法  333信息建模方法  334面向对象的分析  34结构化分析方法  341自顶向下逐层分解的分析策略  342结构化分析描述工具  343数据流图  344数据字典  345加工逻辑的描述  35需求分析图形工具  351层次方框图  352Warnier图  353IPO图  36SA方法的应用  37习题  第4章软件总体设计  41软件总体设计的目标和任务  42软件设计的概念和原理  421模块和模块化  422抽象  423信息隐蔽和局部化  424模块独立性及其度量  43软件结构设计准则  44软件结构设计的图形工具  441软件结构图  442层次图  443HIPO图  45结构化设计方法  451数据流图的类型  452结构化设计方法的步骤  453变换型分析设计  454事务型分析设计  46习题  第5章软件详细设计  51详细设计的目的与任务  52结构化程序设计  53详细设计工具  531程序流程图  532NS图  533PAD图  534过程设计语言  54习题  第6章软件编码  61程序设计语言的分类  611基础语言  612结构化语言  613面向对象的语言  62程序设计语言的选择  63程序设计风格  631程序内部文档  632数据说明  633语句构造  634输入/输出  635效率  64习题  第7章软件测试  71软件测试的目标  72软件测试的原则  73软件测试方法  731静态测试与动态测试  732黑盒测试法与白盒测试法  74软件测试用例的设计  741白盒技术  742黑盒技术  75软件测试过程  751单元测试  752集成测试  753确认测试  754系统测试  76调试  761调试的目的  762调试技术  77习题  第8章软件维护  81软件维护的分类  82软件维护的特点  821结构化维护与非结构化维护  822维护的代价  823软件维护中存在的问题  83软件可维护性  831软件可维护性的定义  832软件可维护性的度量  833提高软件可维护性的方法  84维护的副作用  85软件再工程  851软件再工程与逆向工程的概念  852实施软件再工程的原因  853软件再工程技术  86习题  第2篇UML与面向对象的软件工程  第9章UML简介  91UML概述  911UML的组成  912UML的特点和用途  913UML的模型视图简介  92UML软件开发工具简介  921RationalRose  922Visio简介  93习题  第10章面向对象的概念  101面向对象的方法学  1011面向对象建模  1012面向对象的方法与传统软件方法的比较  102对象与类及其UML表示  1021对象  1022类与实例  1023对象属性与操作  1024对象类的关联  103聚集、组合、继承和多态  1031聚集与组合  1032抽象与继承  1033多态  104习题  第11章对象设计模式  111对象设计模式概念  1111历史背景  1112对象设计模式  1113设计模式的分类  112几种典型的对象设计模式及应用  1121行为型模式中的职
2025/6/29 10:27:15 3MB 软件工程原理
1
教程名称:SQLServer韩顺平数据库视频教程【15集】教程目录:【】韩顺平.循序渐进学.java.从入门到精通.第01讲-数据库概念【】韩顺平.循序渐进学.java.从入门到精通.第02讲-sql.server安装配置卸载【】韩顺平.循序渐进学.java.从入门到精通.第03讲-sql.server基本使用【】韩顺平.循序渐进学.java.从入门到精资源太大,传百度网盘了,链接在附件中,有需要的同学自取。
1
统计分析软件SPSS的图书源代码--〉《SPSS在统计分析中的应用》,作者:朱建平等,印刷日期:2010-9-29源代码第二章~第十五章,文件大小443kb。
图书目录第1章SPSS软件概述1.1SPSS软件的基本特点和功能 11.2SPSS软件的安装、启动与退出 21.2.1SPSS软件的安装 21.2.2SPSS软件的启动 21.2.3SPSS软件的退出 31.3SPSS操作环境介绍 31.3.1SPSS软件的3个常用窗口 31.3.2SPSS菜单和工具栏 51.3.3SPSS对话框的基本操作方式 5第2章SPSS数据文件管理 72.1SPSS数据文件的结构 72.1.1SPSS数据文件的特点 72.1.2SPSS变量的属性 72.2建立一个数据文件 102.3读取外部数据 112.3.1读取Excel文件 122.3.2读取ASCII码文件 122.4SPSS数据的编辑和保存 152.4.1Edit菜单中的数据编辑功能 152.4.2Data菜单中的数据编辑功能 162.4.3SPSS数据的保存 16第3章数据整理 173.1数据排序 173.2数据排秩 183.3数据转置 193.4选择观测的子集 203.5数据分类汇总 223.6合并数据文件 233.6.1纵向合并(AddCases) 233.6.2横向合并(AddVariables) 243.7数据拆分 263.8计算新变量 283.9数据重新编码 303.10数据分组 313.11数据标准化 32第4章统计描述 344.1基本概念和原理 344.1.1频数分布 344.1.2集中趋势指标 344.1.3离散程度指标 354.1.4反映分布形态的描述性指标 354.2频数分析 364.2.1操作步骤 364.2.2实例结果分析 384.3描述性统计量 394.3.1操作步骤 394.3.2实例结果分析 404.4探索性数据分析 414.4.1操作步骤 424.4.2实例结果分析 444.4.3方差齐性检验的实例 46第5章统计推断 475.1统计推断概述 475.1.1参数估计 475.1.2假设检验 485.2单样本t检验 495.2.1理论与方法 495.2.2操作步骤 495.2.3实例结果分析 505.3两独立样本t检验 515.3.1理论与方法 515.3.2操作步骤 515.3.3实例结果分析 525.4配对样本t检验 535.4.1理论与方法 535.4.2操作步骤 545.4.3实例结果分析 54第6章方差分析 566.1方差分析概述 566.2单因素单变量方差分析 566.2.1理论和方法 566.2.2操作步骤 586.2.3实例结果分析 606.3多因素单变量方差分析 626.3.1理论与方法 626.3.2固定效应、随机效应和协变量 646.3.3操作步骤 656.3.4实例结果分析 676.3.5不考虑交互效应的多因素方差分析 706.3.6引入协变量的多因素方差分析 70第7章非参数检验 727.1非参数检验概述 727.2卡方检验(检验) 727.2.1理论与方法 727.2.2操作步骤 737.2.3实例结果分析 747.3二项分布检验 757.3.1理论与方法 757.3.2操作步骤 757.3.3实例结果分析 767.4游程检验 777.4.1理论与方法 777.4.2操作步骤 777.4.3实例结果分析 787.5单样本K-S检验 797.5.1理论与方法 797.5.2操作步骤 797.5.3实例结果分析 807.6两独立样本检验 807.6.1理论与方法 807.6.2操作步骤 827.6.3实例结果分析 827.7多独立样本检验 847.7.1理论与方法 847.7.2操作步骤 857.7.3实例结果分析 857.8两配对样本检验 877.8.1理论与方法 877.8.2操作步骤 887.8.3实例结果分析 887.9多配对样本检验 907.9.1
2025/6/24 16:07:56 444KB 统计学 统计分析软件 SPSS
1
《MATLAB图像处理实例详解》对图像处理的基础概念做了必要交代,重点给出了MATLAB在图像处理各个环节中的实现方法,在讲解各个知识点时列举了丰富的实例,使得《MATLAB图像处理实例详解》应用性很强。
书中的实例程序完整,在基于MATLAB编程的图像处理应用和开发中有很高的实用价值。
《MATLAB图像处理实例详解》附带1张光盘,收录了《MATLAB图像处理实例详解》重点内容的配套多媒体教学视频及书中涉及的实例源文件。
这些资料可以大大方便读者高效、直观地学习《MATLAB图像处理实例详解》内容。
《MATLAB图像处理实例详解》共15章,分为3篇。
第1篇为MATLAB及图像基础,涵盖的内容有图像基础、MATLAB基础和MATLAB数字图像处理基础;
第2篇为基于MATLAB的常见图像处理技术,涵盖的内容有数字图像的运算、数字图像增强技术、数字图像复原技术、图像分割技术、图像变换技术和彩色图像处理;
第3篇为基于MATLAB的高级图像处理技术及应用,涵盖的内容有图像压缩编码、图像特征分析、图像形态学处理、小波在图像处理中的应用、基于Simulink的视频和图像处理和MATLAB图像处理综合实例。
2025/6/23 10:03:04 122.4MB MATLAB 图像处理 程序
1

【知识点详解】1. **分数的基本性质**:题目中涉及到了分数的加减乘除以及化简,例如“5个15是1”,这考察了分数乘法;
“18个91是171”考察了分数乘法的运算。
同时,“18个91”是一个整数,说明了分数乘法可以得到整数结果。
2. **分数的比较**:题目要求填写“>”、“<”或“=”,如“32○0.66”,这需要理解分数和小数之间的转换及比较大小的方法。
此外,“251○0.4”也涉及到分数与小数的比较,需要掌握分数和小数的等值关系。
3. **分数的运算**:题目中“512+34+112”等计算题,要求学生掌握分数的加减法运算规则,特别是同分母分数和异分母分数的加减。
4. **分数的最简形式**:如“如果一个分数的分子和分母的最大公因数是1,那么这个分数就是最简分数”,这涉及到了分数的化简和最简形式的概念。
而“1812的最简分数是96”则错误,因为18和12的最大公因数不为1,它们可以进一步化简。
5. **真分数的理解**:题目指出“分母是10的真分数共有10个”,这是对真分数定义的理解,即分子小于分母的分数。
6. **分数应用题**:第三部分的题目涉及实际问题的应用,如冰激凌销售情况的分析,要求根据销售比例来决定进货量,这需要对分数有直观的理解并能将其应用于实际问题。
7. **分数的解方程**:在解方程部分,例如“2352x”和“5.0216x”,需要用到分数乘法的逆运算,即除法,来求解未知数。
8. **分数的混合运算**:脱式计算题要求进行分数的混合运算,包括加减乘除,并可能需要简化运算过程。
9. **分数的比较与选择**:在选择题中,如“小明看一本书,第一天看了全书的61,第二天看了全书的31,两天共看了全书的91”,这需要理解分数的加法运算来解决问题。
10. **分数在实际生活中的应用**:最后一部分的问题涉及到用分数解决实际生活中的问题,如布料的使用、修路长度的计算以及学生在课堂上的活动时间分配,这些都是分数在实际问题中的应用实例。
通过这份模拟测试,学生可以巩固和提升对分数的理解,熟练掌握分数的运算、比较、化简以及在实际问题中的应用。
同时,判断题和选择题也测试了他们对分数基本概念和性质的掌握程度。
2025/6/19 18:22:03 195KB
1

物联网技术引起了全世界的广泛关注,终端数量持续上升,逐渐成为上百亿个终端市场,其丰富的应用和大量节点数给网络运营带来了技术上的挑战。
而已IPV6为核心的下一代通信网络体系结构所带来的巨大的地址空间和端到端通信特征则为物联网的发展创造了良好的基础网络通信条件。
面来深入理解物联网IPV6技术的进展:1. **IPv6解决物联网寻址问题**:随着物联网设备的爆发式增长,传统的IPv4地址已经无法满足海量设备的地址需求。
IPv6提供了几乎无限的地址空间(3.4x10^38),这为每个物联网设备分配唯一IP地址提供了可能,解决了大规模网络节点的寻址难题。
2. **IPv6的自动配置和移动管理**:IPv6具有内置的地址自动配置功能(如SLAAC、NDP),使得物联网设备可以无需人工干预就能接入网络。
此外,IPv6的移动管理机制,如移动IPv6(MIPv6),能更好地支持物联网设备的移动性和漫游,适应各种应用场景。
3. **服务质量(QoS)支持**:IPv6通过流标签功能实现了服务质量的精细化控制,这对于物联网中如实时监控、远程医疗等对延迟和带宽敏感的应用至关重要。
QoS机制可以根据应用需求动态调整服务等级,确保关键数据的优先传输。
4. **网络安全保障**:IPv6将IPSec协议内置于协议栈,提供端到端的安全保障,满足物联网设备之间的安全通信需求,保护数据隐私和设备安全。
这对于物联网中广泛存在的敏感数据传输尤其重要。
5. **IPv6在低功耗有损网络的适应性**:针对低功耗和有损网络环境,如6LoWPAN,IPv6进行了相应的优化和适配。
6LoWPAN工作组设计了适配层和报头压缩技术,允许IPv6数据包在IEEE 802.15.4这样的限制性网络中高效传输。
此外,还制定了RPL路由协议以满足低功耗网络的路由需求,支持各种数据流量模型。
6. **轻量级应用层协议**:CoRE工作组为资源受限的物联网环境开发了CoAP协议,它是RESTful架构的一个轻量级实现,与HTTP协议相比,更适合在有限资源的设备间进行交互。
CoAP协议可以独立使用,或者通过网关与HTTP协议进行互操作,实现物联网设备与互联网的无缝连接。
7. **物联网网络演进的挑战**:在向IPv6演进过程中,需要考虑物联网设备的升级、网络架构的调整以及不同协议间的互通问题。
这涉及到感知层、网络层和应用层的全面改造,包括6LoWPAN节点、IPv6端点以及中间设备的升级。
物联网IPV6技术的进展在于解决大规模设备的地址需求、提供高效安全的网络服务、适应低功耗环境,并通过轻量级应用层协议提升物联网设备的互操作性。
随着技术的不断成熟,IPv6将成为物联网发展的核心支撑,推动智能城市的建设、工业自动化、智能家居等领域的创新。
2025/6/19 16:47:15 15KB
1
离散型随机变量是概率论和统计学中的一个重要概念,特别是在解决实际问题,如高考数学中的应用题时,经常出现。
在2021版高考数学一轮复习的第十章,重点讲解了计数原理、概率以及随机变量及其分布,特别是离散型随机变量及其分布列。
离散型随机变量是指其可能取的值是有限个或可数无限多个,并且每个值发生的概率都是确定的。
1.题目中展示了如何通过分布列来求解常数c的值。
离散型随机变量的分布列必须满足概率的非负性和概率总和为1的条件。
例如,题目中的随机变量X的分布列,通过列出的几个概率值,可以建立方程求解c的值,这里得到c=1/3。
2.另一个例子中,随机变量ξ的概率分布列为P(ξ=k)=a*(1/3)^k,其中k=0,1,2。
通过概率总和为1,我们可以解出a的值,这里a=9/13。
3.在超几何分布的场景中,随机变量X表示在特定条件下选取样本中特定类型个体的数量。
例如,从15个村庄中选取10个,其中7个交通不便,我们关心的是选取的10个中交通不便的村庄数X。
根据超几何分布的概率公式,我们可以计算出P(X=k),在这里找到概率等于C(4,7)*C(6,8)/C(10,15)的情况,即P(X=4)。
4.当随机变
2025/6/19 1:10:44 2.42MB
1

这份资料是宁夏长庆高级中学2020届高三物理上学期第一次月考试题,主要测试学生对高中物理基础知识的理解和应用能力。
试卷分为选择题和非选择题两部分,总分100分,考试时间为100分钟。
下面我们将针对试卷中的部分内容进行解析。
1. 热传递原理:题目指出甲物体向乙物体传递热量是因为甲的温度较高。
这体现了热力学的基本定律之一,热量总是从高温物体流向低温物体。
2. 分子动能的理解:题目中提到,温度相同时,不同物质的分子平均动能相同。
这是因为在一定温度下,所有物质的分子运动速度的平均值是相同的,而动能与分子的速度平方成正比。
3. 分子热运动:题目正确地指出了温度越高,悬浮微粒的布朗运动越剧烈,这是因为分子运动更活跃,对微粒的碰撞更频繁。
4. 阿伏加德罗常数的应用:题目通过阿伏加德罗常数、摩尔质量和密度计算了单位体积或质量的铜原子数目,揭示了微观世界与宏观世界的联系。
5. 冰变水的能量变化:冰在0℃变为水,体积减小,但温度不变,因此分子的平均动能不变,而这个过程中需要吸收热量,这部分热量转化为分子间的势能,使得分子间的相互作用力增强。
6. 晶体特性:晶体的特性包括规则的几何外形、各向异性(某些晶体)、固定的熔点。
题目中指出晶体熔化时吸收热量,但分子平均动能不变,说明是分子势能在增加。
7. 空气的干湿程度:人们感觉到的空气湿度实际上指的是相对湿度,即空气中水蒸气的实际压强与同温度下饱和水蒸气压强的比值。
8. 浸润与不浸润现象:鸭子羽毛不湿是因为毛细现象,细玻璃棒尖端变球形是表面张力的结果,粉笔吸墨水是浸润现象,而雨伞不漏水则是由于不浸润现象。
9. 热力学第一定律:气体对外做功100 J,同时吸收热量120 J,根据热力学第一定律,其内能增加了20 J。
10. 汽缸中的柴油燃烧:迅速向里推活塞可以压缩空气,提高空气温度,可能使柴油达到燃点。
11. 热力学第一定律的正负号:物体对外界做功W为负,吸热Q为正,内能增加ΔU为正,符合能量守恒。
12. 理想气体状态变化:理想气体在温度不变时体积膨胀,单位体积内的分子数目减少,但分子平均动能不变,分子速率的分布依然遵循麦克斯韦-玻尔兹曼分布。
13. 玻璃管中的水银柱:根据连通器原理,当左右两管水银柱静止时,中间管内水银柱高度等于两管高度之差的一半。
14. 气体实验定律图象:图a可能表示查理定律(压强与体积成反比,温度保持不变),图b表示玻意耳定律(压强与体积的乘积为常数,温度变化),图c可能表示查理定律,图d表示盖-吕萨克定律(体积与温度成正比,压强保持不变)。
15. 玻璃管中的气体:如果玻璃管粗细均匀,竖直放置,上部封闭,下部开口,那么当管子倾斜时,气体体积会随着水柱下降而增加,而气体压强会降低,这与玻意耳定律相符。
这些题目涵盖了热力学、分子动理论、气体定律、能量守恒等多个高中物理的核心知识点,旨在考察学生的综合理解和应用能力。
2025/6/18 10:33:43 143KB
1
共 1000 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡