JY_A6型智能全自动胶质层测定仪实验和研究
J Y2A6型智能全自动胶质层测定仪实验和研究
王 宇1,冷春玲2,英凤国3
(11淮北矿业(集团)有限责任公司,安徽淮北 235006;21龙口矿业集团有限公司,山东龙口 265700;
31常州市方嘉电子仪器有限公司,江苏常州 213016)
摘 要:通过对照试验表明,J Y2A6型智能全自动胶质层测定仪实现了对胶质层厚度的自动测量、温度的自动控制、X体积曲线的实时显示和数据报表的打印输出等自动化测量。
关键词:胶质层;胶质层测定仪;对照试验
中图分类号:TP23 文献标识码:B文章编号:100727677(2007)0520024202
The test and research of JY2A6intelligent automatic glial layer measuring instrument
WAN G Yu1,L EN G Chun2ling2,YIN G Feng2guo3
(1.H uaibei Mini ng Grou p Corporation L t d.,H uaibei,235006,China;2.L ongkou Mining Group L t d.,L ongkou265700,China;
3.Fang j ia Elect ronic M achi ne Corporation L t d.,Changz hou213016,China)
Abstract:Through cont rolled test this paper showed that J Y2A6intelligent automatic glial layer measuring inst rument realizated of glial layer thickness,temperat ure cont rol,X2volume curve of the real2time data display and p rint out statements.
K ey w ords:glial layer;glial layer measuring inst rument;cont rolled test
胶质层指数是判断烟煤结焦性的一项重要指标。煤在规定条件(升温速度3℃/min、在918×104Pa 压强下、用特定煤杯和单侧加热方式下)测得的胶质体(软化后的塑性体)的最大厚度为胶质层最大厚度Y(mm)值,其体积曲线的最终位置与起始位置之间的距离为最终收缩度X(mm),在坐标纸上记录下的加热过程的体积变化曲线为体积曲线类型。
虽然该指标作为目前化验室焦化指标的一个关键项目,但胶质层指数的测量设备却发展缓慢, 2000年以前,国内所使用的仪器还基本上是旧式的带转鼓钟的传统的仪器,该类仪器一方面需要化验员要有很好的测量经验,另一方面需要化验员操作具备良好的规范性,否则极容易导致测量结果的不准确性。尽管后来这类仪器引入了电脑控制,但也仅限于温度的自动控制和胶质体体积曲线的绘制,在胶质层厚度测量方面必需通过人工测量,最后把测得的数据输入电脑进行处理。故在核心技术上仍没有关键性的突破。
2006年底,在市场充分调研的基础上,淮北矿业集团公司中心化验室购买了1台J Y2A6型智能全自动胶质层测定仪,该设备将智能感应机械手引入到胶质层厚度的自动测量中,通过电脑软件对智能感应机械手的控制,按照国家标准的要求对不同类型的烟煤的胶质层厚度进行全自动测量。化验人员只要装好煤杯,其他所有操作均由电脑完成,实现了技术上的突破和创新。
1 仪器结构和性能特点
111 仪器主机构成
仪器主机构成如图1所示。
擦去毛细管口上溢出的水滴,但决不能将毛细管中的水吸出,在迅速擦干密度瓶外壁后立即称量,称量时要取1个称1个,以免温差变化影响滴定结果[1,2]。
4 加强管理,防止人为因素
由于煤的工业分析中煤的灰分(A d)与真相对密度有着较好的线性关系,故易使部分化验员产生投机取巧的心理,根据以往和经验系数编取数据,致使部分数据不真实。
事实上,七煤公司煤种繁多,煤质复杂,片面的经验系数根本代表不了现实情况。故为了防止类似事情发生,加强管理,严格要求做相应的工业分析,从根本上堵绝了做假的可能性。
参考文献:
[1]杨金和,陈文敏,段云龙1煤炭化验手册[M]1北
京:煤炭工业出版社,19981
[2]李英华1煤质分析应用技术指南[M]1北京:中国
标准出版社,19981
作者简介:魏绪东(19702),男,山东日照人,工程师,现在七煤公司新铁煤矿煤质科从事煤质管理工作。
(收稿日期:2007205212)
42
1—智能感应机械手;2—感应探针;3—机械手支架;
4—煤杯;5—体积曲线位移传感器;6—炉体
图1 仪器主机构成
112 主要性能和特点
和传统的测量仪器相比较,J Y2A6型智能全自动胶质层测定仪核心技术的突破在于智能感应机械手对胶质层厚度的自动测量。温度的自动控制、X 体积曲线的实时显示和计算以及数据报表的打印输出都集成在该设备的程序中。
2 工作过程
程序“开始”后,仪器自动按照国家标准规定的升温速度进行控温加热,当煤杯内温度到达250℃时,电脑开始实时在线显示并自动绘制X体积曲线, 350℃以后,自动进入测量监控状态,仪器根据煤种的不同,按照国家标准规定的测量时间间隔进行测量时机的自动判断,一旦需要开始测量,智能感应机械手上的探针会进入探测孔内对胶质层上部和下部层面自动进行测量,测得的数据自动保存在数据库中。智能感应机械手每测量得到一次数据,仪器就会将此数据实时显示在电脑屏幕上,形成上部层面点群和下部层面点群。试验结束后,测量软件自动将上部数据和下部数据分别以平滑曲线连接,并计算出胶质体的最大厚度Y值,同时计算出X值。
3 对照试验
为验证该仪器的试验效果和数据的可靠性,精心设计试验方案,进行对照试验。在现场对照试验中,由经验丰富的化验员进行试验,和其他试验项目不同,胶质层指数的测试没有标准煤样进行比对,选取了芦岭1/3焦精煤、淮选厂瘦精煤、临涣肥精煤、朱仙庄气精煤、许疃矿原煤浮煤等5组煤种进行测试对比。
311 试验地点
试验地点为淮北矿业集团中心化验室。在实施煤种、煤质配采、配洗的同时,集团公司煤质化验室装备了从美国、德国、瑞士等国进口的先进检测设备,健全了质量化验体系。
312 试验过程
对试验进行了统筹安排,将采集来的煤质样品,按要求处理平均分成两组,两组留一组用于J Y2A6型智能全自动胶质层测定仪进行测试,另一组(对照组)用J Y22型半自动胶质层测定仪进行测试。两个试验同时进行,全部测试过程由同一实验员完成。手工测量和自动测量试验数据列于表1。
表1 手工测量和自动测量试验比对项目
手工测量自动测量
X/mm Y/mm X/mm Y/mm
Y值误差
△Y 芦岭40151210401115015
淮选厂24151110221015015
临涣1210271512152610
115
朱仙庄43101210441310110
许疃37102710352515115
4 结果分析
(1)J Y2A6型智能全自动胶质层测定仪测量出的数据与手工测量的数据几乎完全相符,误差在国家标准的误差范围(△X<3,Y<20时,△Y<1; Y>20时,△Y<2)之内,J Y2A6型智能全自动胶质层测定仪设备试验过程中运行正常,测定数据准确。
(2)测定仪能准确地根据体积变化的趋势判断测量时机并做出测量,基本上不会出现漏测的现象,尤其对于之型煤种,较之人为判断测量时机,仪器自动判断更具有前瞻性,对于经验不够丰富的测试人员来说无疑增加了数据测量的准确性。
(3)数据点群的趋向性较人工测量明晰。
(4)J Y2A6型智能全自动胶质层测定仪试验完成的时间可在软件中设定,实现自动关机断电功能。试验过程中具备短时间断电保护功能。
5 结 语
J Y2A6型智能全自动胶质层测定仪设计原理合理,实现了胶质层指数的自动化测量。该设备整个测量过程都能正确判定,但在数据的甄选、压力阀值的设定方面仍具有可改进和研究之处。另外,建议软件对数据的传递方面加以开发和研究。
作者简介:王 宇(19702),男,安徽淮北人,工程师,现在淮北矿业集团公司煤质运销处从事技术管理工作。
(收稿日期:2007206204)
52
人工智能实验报告大全
人工智能实验报告大 全
人工智能课内实验报告 （8次） 学院：自动化学院 班级：智能1501 姓名：刘少鹏（34） 学号： 06153034 目录 课内实验1：猴子摘香蕉问题的VC编程实现 (1) 课内实验2：编程实现简单动物识别系统的知识表示 (5)
课内实验3：盲目搜索求解8数码问题 (18) 课内实验4：回溯算法求解四皇后问题 (33) 课内实验5：编程实现一字棋游戏 (37) 课内实验6：字句集消解实验 (46) 课内实验7：简单动物识别系统的产生式推理 (66) 课内实验8：编程实现D-S证据推理算法 (78)
人工智能课内实验报告实验1：猴子摘香蕉问题的VC编程实现 学院：自动化学院 班级：智能1501 姓名：刘少鹏（33） 学号： 06153034 日期： 2017-3-8 10:15-12:00
实验1：猴子摘香蕉问题的VC编程实现 一、实验目的 （1）熟悉谓词逻辑表示法； （2）掌握人工智能谓词逻辑中的经典例子——猴子摘香蕉问题的编程实现。 二、编程环境 VC语言 三、问题描述 房子里有一只猴子（即机器人），位于a处。在c处上方的天花板上有一串香蕉，猴子想吃，但摘不到。房间的b处还有一个箱子，如果猴子站到箱子上，就可以摸着天花板。如图1所示，对于上述问题，可以通过谓词逻辑表示法来描述知识。要求通过VC语言编程实现猴子摘香蕉问题的求解过程。 图1 猴子摘香蕉问题
四、源代码 #include
测定胶质层指数
测定胶质层指数
测定胶质层指数异常结果的判断及处理办法
胶质层指数是判断烟煤结焦性的一项重要指标，对指导配煤炼焦具有重要作用，同时胶质层指数也是煤价结算的重要指标之一，因此准确测定煤的胶质层指数，对提高企业经济效益具有重要意义。 下面就JY-A6型智能全自动胶质层测定仪的操作过程和在测定过程中出现的异常结果及处理办法向大家介绍一下： 一、用途 胶质层测定仪是模拟工业炼焦情况而设计的实验仪器。该仪器是通过杠杆原理给装有一定煤样的煤杯内的煤样上矢以一定的压力，使煤样在得到加热的过程中产生膨胀和收缩变化等情况。从而测得胶质层最大厚度（Y值）。煤杯内煤膨胀收缩1毫米，曲线表现出3毫米（X值）。
二、原理 胶质层指数的测定过程是对煤杯底部进行加热，通过调节达到所要求的加热升温速度。当加热到一定温度时，最上面的煤样还不到软化温度，所以保持原样不变，中间部分则因为到达软化温度而变成沥青状的胶体——胶质体；而下面一部分则因到达固化温度而由胶质体变成半焦。因此煤样中形成了半焦层、胶质层和未软化的煤样层三部分。 煤样 胶质层 半焦层 胶质体的量就是我们所要测得的Y值，它的性质是决定烟煤结焦性优劣的重要条件之一。 胶质体数量越高粘结性越好，但胶质体数量过高会使焦炭形成蜂窝不致密，对炼铁不起作用。 实验升温过程：在30分钟内升到250℃是干燥阶段，主要是预热、烘干水分。升温到300℃-350℃时
煤样开始软化，此时发生分解，产生气体，煤样逐渐形成胶质体，同时出现膨胀，收缩等现象。起初胶质层逐渐由薄增厚，随着温度递增，胶质体的固化速度大于生成速度，则又从厚变薄，直到胶质体完全消失，即煤样全部固化（约550℃-600℃）生成半焦，继续加热至730℃实验结束。
石油产品凝点测定仪操作规程
编号：CZ-GC-04712 ( 操作规程) 单位：_____________________ 审批：_____________________ 日期：_____________________ WORD文档/ A4打印/ 可编辑 石油产品凝点测定仪操作规程Operating procedures for petroleum products pour point tester
石油产品凝点测定仪操作规程 操作备注：安全操作规程是要求员工在日常工作中必须遵照执行的一种保证安全的规定程序。忽视操作规程 在生产工作中的重要作用，就有可能导致出现各类安全事故，给公司和员工带来经济损失和人身伤害，严重 的会危及生命安全，造成终身无法弥补遗憾。 1使用前，首先注入制冷介质（一般使用纯度99%的乙醇）大约3700mL。 2打开电源开关，此时搅拌电机温度控制电路开始工作，温控表显示浴内温度。打开制冷开关，仪器可以自动降温，并恒温在设定温度上。 3在干燥、清洁的试管中注入试样，使液面满到环形标线处。用橡胶塞将温度计固定在试管中央，使水银球距管底8～10mm。 4装有试样的温度计的试管，垂直地浸在50±1℃的水浴中，直至试样温度到达50±1℃为止。 5从水浴中取出装有试样和温度计的试管，擦干外壁，装入试管套中，试管外壁与套管内壁要处处距离相等。 6装好的仪器要垂直地固定在支架的夹子上，并在室温中静置，直至试管中的试样冷却到35±5℃为止。然后将这套仪器放在实验孔
中，浴槽的温度要比试样的预期凝点低7～8℃，试管套管浸入乙醇的深度不应少于70mm。 7当试样温度冷却到预期的凝点时，按住试管将倾斜架向下转动可倾斜到45°，时间继电器自动计时，计时值到60S时发出报警声音，提醒操作者计时时间到。 8从冷却中小心取出仪器，迅速地用工业乙醇擦拭套管外壁，垂直放置仪器并透过套管观察试管里面的液面是否有移动的迹象。 9当液面位置有移动时，从套管中取出试管，并将试管重预至试样达到50±1℃，然后用比上次试验温度低4℃或其他更低的温度重新进行测定，直至某试验温度能使液面位置停止移动为止。 10关机时，先关段制冷开关，然后关掉电源开关，制冷系统再次启动应间隔30min以上。 11注意事项 11.1经常保持仪器清洁，防止酸、碱、潮湿等侵蚀。 11.2仪器放置须平稳，否则会影响试验结果。 11.3首次注入乙醇量3700mL，由于乙醇时易挥发物质，应经
人工智能实验报告
《人工智能》课外实践报告 项目名称：剪枝法五子棋 所在班级： 2013级软件工程一班 小组成员：李晓宁、白明辉、刘小晶、袁成飞、程小兰、李喜林 指导教师：薛笑荣 起止时间： 2016-5-10——2016-6-18
项目基本信息 一、系统分析 1.1背景
1.1.1 设计背景 智力小游戏作为人们日常休闲娱乐的工具已经深入人们的生活，五子棋更成为了智力游戏的经典，它是基于AI的αβ剪枝法和极小极大值算法实现的人工智能游戏，让人们能和计算机进行对弈。能使人们在与电脑进行对弈的过程中学习五子棋，陶冶情操。并且推进人们对AI的关注和兴趣。 1.1.2可行性分析 通过研究，本游戏的可行性有以下三方面作保障 （1）技术可行性 本游戏采用Windows xp等等系统作为操作平台，使用人工智能进行算法设计，利用剪枝法进行编写，大大减少了内存容量，而且不用使用数据库，便可操作，方便可行，因此在技术上是可行的。 （2）经济可行性 开发软件：SublimText （3）操作可行性 该游戏运行所需配置低、用户操作界面友好，具有较强的操作可行性。 1.2数据需求 五子棋需要设计如下的数据字段和数据表： 1.2.1 估值函数：
估值函数通常是为了评价棋型的状态，根据实现定义的一个棋局估值表，对双方的棋局形态进行计算，根据得到的估值来判断应该采用的走法。棋局估值表是根据当前的棋局形势，定义一个分值来反映其优势程度，来对整个棋局形势进行评价。本程序采用的估值如下： 状态眠二假活三眠三活二冲四假活三活三活四连五 分值 2 4 5 8 12 15 40 90 200 一般来说，我们采用的是15×15的棋盘，棋盘的每一条线称为一路，包括行、列和斜线，4个方向，其中行列有30路，两条对角线共有58路，整个棋盘的路数为88路。考虑到五子棋必须要五子相连才可以获胜，这样对于斜线，可以减少8路，即有效的棋盘路数为72路。对于每一路来说，第i路的估分为E(i)=Ec(i)-Ep(i)，其中Ec(i)为计算机的i路估分，Ep(i)为玩家的i路估分。棋局整个形势的估值情况通过对各路估分的累加进行判断，即估值函数： 72 F（n）= Σ E(i) i=1 1.2.2 极小极大值算法: 极大极小搜索算法就是在博弈树在寻找最优解的一个过程，这主要是一个对各个子结点进行比较取舍的过程，定义一个估值函数F(n)来分别计算各个终结点的分值，通过双方的分值来对棋局形势进行分析判断。以甲乙两人下棋为例，甲为max，乙为min。当甲走棋时，自然在博弈树中寻找最大点的走法，轮到乙时，则寻找最小点的走法，如此反复，这就是一个极大极小搜索过程，以此来寻找对机器的最佳走法。
县级食品药品检验检测中心仪器清单
食品药品检验检测能力建设分析报告根据山东省食品药品监督管理局《关于加强食品安全检验检测能力建设的指导意见》（鲁食药监发[2014]44 号）的精神，对其中县级综合性检验检测机构中食品检验检测能力建设分析报告如下：一、我县食品检验能力现状食品检验是食品药品监管工作的重要组成部分。目前，我县级食品药品监管机构的质量检验检测能力基本处于空白，所有样本都到省、市送检，根本达不到监管要求。食品药品质量关系人民群众饮食用药安全，没有必需的食品药品监管基础设施，无法保证基本的食品药品安全监管。二、我县食品药品监管对象现状。食品生产企业家，小作坊家；食品流通企业家；餐饮企业家；农贸市场个。综上所述，食品药品监管对象达家以上。药品企业产值万元，食品工业产值万元。为了更好的对全县食品药品进行有效及时的监督，需要成立一支检验能力较为齐备、检验技术较为专业的食品药品检验检测队伍。三、建设县级食品药品检验检测中心的法律基础2 《食品安全法》第六十条和《药品管理法》第六十五条均规定：县级以上食品药品监督管理部门应当对食品和药品质量进行定期或不定期的抽样检验。《食品安全法实施条例》第二条规定：县级以上地方人民政府应当履行食品安全法规定的职责；加强食品安全监管能力建设，为食品安全监管工作提供保障。四、县级食品检验检测机构检验能力及现场快速检验检测能力按照文件要求，在食品检验检测方面，应具备常见食品微生物、重金属、理化指标等的实验室检验能力及现场快速检验检测能力，能够完成检验检测任务和基础技术保障工作。根据文件要求和我县食品生产、流通、餐饮等环节的特点，我们制定了本县检验检测机构食品检验检测能力建设检验项目计划（共131 个参数），申请进行资质认定，大力开展快速检测项目的开展，快速检测项目涉及微生物、有毒有害物质的现场检测。序号项目名称序号项目名称序号项目名称序号项目名称1 PH 值37 感光黄素73 溶解度109 亚油酸2 氨基态氧38 KMnO4 消耗量74 溶解指数110 盐白度3 包装外观39 谷氨酸钠75 熔点111 盐粒度4 苯甲酸钠40 固形物76 乳分散度112 盐筛余度5 比容41 过氧化值77 乳化剂113 盐松散剂6 比旋光度42 过氧化值78 乳溶解度114 游离脂肪7 比重43 浊度79 乳酸根115 杂醇油8 不溶于水杂质44 还原糖80 乳糖结晶颗粒116 杂质度9 炽灼残渣45 黄曲霉素B1 81 色度117 皂化价3 10 粗蛋白46 灰分82 蔗糖118 皂化值11 粗灰分47 挥发性盐基氮83 色素119 脂肪12 粗细度48 混浊度84 砂分120 脂肪酸13 粗纤维49 甲醇85 膳食纤维121 大肠菌群14 粗脂肪50 酒精度86 砷（砷斑法）122 螨虫15 胆固醇51 可溶性固形物87 砷（银盐法）123 霉菌、酵母16 蛋白质52 磷88 食品标签124 商业无菌17 氮53 硫酸灰分89 食用香精125 细菌总数18 导电灰分54 硫酸盐90 水分126 致病菌19 碘55 馏程91 酸度127 镉20 碘价56 氯化物92 酸价128 汞21 碘值57 总二氧化碳93 总酸129 铅22 电导率58 总能94 总糖130 铜23 淀粉59 锰95 酸值131 重金属24 二氧化硫60 面筋质96 碎糖量25 余氯61 凝点97 糖精钠26 二氧化碳62 牛磺酸98 甜味剂27 芳香油63 农药残留99 铁28 防腐剂64 泡特性100 铁盐29 复水时间65 烹调性101 透光性30 钙、镁66 膨胀度102 维生素Vc 31 干浸出物67 膨胀率103 硒32 干燥失重68 品尝104 钾、钠33 感官69 羟基值105 硝酸盐34 感官（酒）70 氰化物106 锌35 全乳固体71 旋光度107 总硬度36 溶化油72 亚硝酸盐108 总脂五、食品检验检测需装备的仪器设备按照《关于加强食品安全检验检测能力建设的指导意见》、《保健食品检验机构装备基本标准》和《关于印发餐饮服务食品安全检验机构技术装备基本标准和现场快速检测设备配备基本标准的通知》国食药监食[2011]130 号等文件的要求，结合现场检验和实验室检验能力建设情况，所需检验仪器设备共计98 台套，具体目录如下：4 序号设备分类仪器设备名称用途数量总估价（万元）1 前处理设备冷藏箱试剂、样品保存4 3 2 冰箱试剂、样品保存2 1 3 电子分析天平称样、试剂称量3 7.5 4 旋转蒸发仪样品浓缩处理1 2 5 水浴恒温振荡器（恒温水浴锅）样品前处理2 2 6 电热鼓风干燥箱水分检测1 1 7 马弗炉灰分检测和样品处理2 4 8 电热板样品消解1 1 9 真空泵样品处理1 0.5 10 前处理设备超声波清洗机实验器皿、器具清洗2 1 11 纯水/超纯水系统实验用水1 5 12 高速冷冻离心机样品处理设备1 8 13 微波消解仪理化检测1 15 14 真空干燥箱水分检测1 2 15 碎花制冰机样品储存条件设备1 7 16 氮吹仪样品浓缩处理1 1 17 单道可调移液器加样10 2 18 微生物检测设备生物安全柜实验安全1 2 19 高压灭菌器微生物样品处理2 1.5 20 超净工作台微生物2 1 21 全自动菌
公需公需科目3人工智能导论答案
公需科目3 人工智能导论答案 1、(单选，4分) 当前最流行的深度学习属于（） A、连接主义 B、符号注意 C、行为主义 D、经验主义 答案：A 2、(单选，4分) AI是（）的英文缩写 A、Automatic?Intelligence B、Artificial Intelligence C、Automatice?Information D、Artifical?Information 答案：B 3、(单选，4分) 下列哪个不是人工智能的研究领域() A、机器学习 B、图像处理 C、自然语言处理 D、编译原理 答案：D
4、(单选，4分) （）最早提出了机器智能的测试模型，并提出了人工智能的含义 A、爱因斯坦 B、霍金 C、波尔 D、图灵 答案：D 5、(单选，4分) 人工智能的目的是让机器能够( ),以实现某些脑力劳动的机械化。 A、具有完全的智能 B、和人脑一样考虑问题 C、完全代替人 D、模拟、延伸和扩展人的智能 答案：D 6、(单选，4分) 下列关于人工智能的叙述不正确的有( ) A、人工智能技术它与其他科学技术相结合极大地提高了应用技术的智能化水平。 B、人工智能是科学技术发展的趋势。 C、因为人工智能的系统研究是从上世纪五十年代才开始的,非常新,所以十分重要。 D、人工智能有力地促进了社会的发展。 答案：C 7、(单选，4分) 自然语言理解是人工智能的重要应用领域,下面列举中的()不是它要实现的目标。 A、理解别人讲的话。 B、对自然语言表示的信息进行分析概括或编辑。 C、欣赏音乐。
D、机器翻译。 答案：C 8、(单选，4分) 一般来讲,下列语言不常直接用于人工智能开发的是()。 A、Python B、Go C、R D、汇编语言 答案：D 9、(单选，4分) 确定性知识是指()知识。 A、可以精确表示的 B、正确的 C、在大学中学到的知识 D、能够解决问题的 答案：A 10、(单选，4分) 阿尔法狗打败柯洁，用的是（） A、人工思维 B、机器思维 C、人工智能 D、博弈论 答案：C 11、(单选，4分) 下列( )不属于艾莎克.阿莫西夫提出的“机器人三定律”内容? A、机器人不得伤害人,或任人受到伤害而无所作为
中润公司气相色谱分析仪技术规格书
全自动胶质层测定仪技术规格书 一、总说明 1. 仪器设备的设计、制造、检验和验收除必须严格遵循本技术要求外，还应遵守国家有关标准、规范，并按标准规范中高标准的要求执行；并符合国家有关安全、环保等强制性要求。 2. 本技术规范书所提出的是最低限度的技术要求，并未对一切技术细节作出规定，也未充分引述有关标准和规范的条文，投标方应保证提供符合本规范书和现行工业标准的优质产品。 3. 如果投标方没有以书面方式对本技术规格书的条文提出异议，招标方将认为投标方提出的产品完全符合本技术规格书的要求。允许投标方在产品的具体设计和实现方式方面存在偏离，但不允许在设备的性能质量和功能使用方面与本技术规格书不一致。偏离（无论多小）必须清楚地表示在投标文件中的偏离表中。 4.如果存在偏离，必须保证这种偏离对试验精密度和准确性没有影响（即可通过最终用户的设备性能验收程序），同时必须保证设备功能达到要求。例如，本规格书要求提供可自动加载砝码的全自动测定设备，不得提供半自动测定设备，纯人工测定设备，或不具备自动加载砝码的设备。 5. 最终用户设备性能验收程序如下：在厂家工程师对设备安装并调试完成后，最终用户以下列方式对设备进行性能检测：选用不同的煤种，包括气煤、肥煤、焦煤、瘦煤和沥青混煤等，用招标方所提供的仪器进行现场测试，安排不同的试验者，按照国家标准和仪器说明书的要求进行操作。对同一样品进行多次测试（每个煤种不少于3次），要求Y值小于等于20mm的煤，任何两次试验的Y值测定结果相差不超过1mm，Y值大于20mm的煤种，任何两次试验的Y值测定结果相差不超过2mm。同时与现场其他胶质层测量设备进行对比，要求不同测量设备之间，测定结果具有一致性，两者相差不超过1.5mm（Y值小于等于20mm）和2.5mm（Y 值大于20mm）。 6.仪器设备的卖方对其所选外购仪器设备、部件承担本技术要求及相关合同项下的全部责任。
SC-510Z-3全自动凝点倾点冷滤点测定仪
SC-510Z-3全自动凝点倾点冷滤点测定仪 【仪器概述】 SC-510Z-3全自动凝点倾点冷滤点测定仪是根据中华人民共和国标准GB/T510《石油凝点测定法》、 GB/T3535《石油倾点测定法》和行业标准 SH/T0248《馏分燃料油冷滤点测定法》要求设计、制造的，采用玻璃试管倾斜法及光电法，自动测定轻柴油、变压器油、润滑油等石油产品倾点、凝点、冷滤点；广泛应用于油田、炼油厂、质检、铁路、航运、贮油站及商业部门对相应产品凝点和倾点冷滤点，进行监测和控制。是凝点、冷滤点、倾点测试分析的必备仪器。 本仪器采用高质量、最简捷的模块化程序设计，并与硬件有机的结合，使得倾点/凝点/冷滤点。测定过程的升温和制冷、倾斜、倾点、冷滤点检测、冷打印等全部工作自动完成，达到了一键出结果的操作方式。 【技术参数】 1、工作电源: AC220V ±10% 50Hz 2、适用标准：GB/T510 GB/T3535 SH/T0248 3、显示方式：10寸彩色液晶触摸屏 4、试验孔数：双孔（一孔冷滤点，一孔倾点凝点） 5、温度范围： -68 ～+50°C 精度1°C 6、温度传感器：德国进口的Pt 100 不锈钢探头 7、制冷系统：德国进口压缩机制冷，（双压缩机复叠式） 8、测试间隔：凝点 2℃，倾点 3℃，冷滤点 1℃可调 9、倾斜方式：自动倾斜，数字控制倾斜角度 10、检测方式：红外线检测技术 11、打印装置：微型热敏打印机 12、加热方式：电加热单元，最大加热功率800 W。 13、过滤器：363 目不锈钢丝网 14、使用环境温度：0～40 ℃ 15、使用相对湿度：≤ 80% 【性能特点】 1、仪器自动化程度高，自动制冷、自动恒温、自动检测，并自动打印输出结果，实现一键完成实验。 2、采用微计算机控制技术，嵌入式彩色液晶触摸屏，中文界面显示，操作简单。
(完整word版)哈工大人工智能导论实验报告
人工智能导论实验报告 学院：计算机科学与技术学院 专业：计算机科学与技术 2016.12.20
目录 人工智能导论实验报告 (1) 一、简介(对该实验背景，方法以及目的的理解) (3) 1. 实验背景 (3) 2. 实验方法 (3) 3. 实验目的 (3) 二、方法（对每个问题的分析及解决问题的方法） (4) Q1: Depth First Search (4) Q2: Breadth First Search (4) Q3: Uniform Cost Search (5) Q4: A* Search (6) Q5: Corners Problem: Representation (6) Q6: Corners Problem: Heuristic (6) Q7: Eating All The Dots: Heuristic (7) Q8: Suboptimal Search (7) 三、实验结果（解决每个问题的结果） (7) Q1: Depth First Search (7) Q2: Breadth First Search (9) Q3: Uniform Cost Search (10) Q4: A* Search (12) Q5: Corners Problem: Representation (13) Q6: Corners Problem: Heuristic (14) Q7: Eating All The Dots: Heuristic (14) Q8: Suboptimal Search (15) 自动评分 (15) 四、总结及讨论（对该实验的总结以及任何该实验的启发） (15)
德国自动自燃点温度测定仪ZPA3
厂家简介： 德国Petrotest公司是世界著名的石油产品分析仪器专业厂家，公司于1873年由Mr.Berthold Pensky宾斯基先生（注：宾斯基—马丁闭口闪点仪发明人之一）创办，至今已有近140年历史。Petrotest公司于1994年荣获ISO9001 质量体系认证证书，其开发研制的全自动油品分析仪具有世界先进水平，分析结果精确可靠，使用操作安全简便。符合ASTM（美国试验与材料协会标准），ISO（国际标准），DIN（德国国家标准），IP（英国石油学会标准），FTM（美国联邦标准），及其它各种等小标准。在全世界拥有无法计数的广大用户。 2012年2月底，Petrotest公司正式成为安东帕公司的全球第十七个子公司，并改名为Petrotest GmbH，A company of Anton Paar, 同时由安东帕公司全面负责Petrotest公司产品在国内的相关业务。目前Petrotest公司产品涵盖闪点测试、馏程测定、燃料油检测（胶质、氧化安定性测定、蒸汽压测定、铜片腐蚀等），润滑油测定（抗乳化性能、泡沫特性、防锈测定、摩擦磨损等），沥青测定（软化点、延度、脆点、针入度等），针、锥入度测定等。依托于安东帕公司精湛的制造工艺，以及一贯的研发投入，Petrotest公司将会在今后为行业客户提供更优质的产品和服务。 标准和认证： DIN 51794, EN 14522, NF T20-036, NF T20-037, 79/831/EWG, CEI 79-4 仪器简介： -空气清洗、样品注射、燃点检测和炉膛升温等测试过程全自动进行，大量节省人力 -测试过程分为“预测试”和“主测试”两个程序，程序之间自动切换 -仪器还可以根据需要设为半自动程序，在接近加样温度时仪器会声音提示手工加样可连接打印机自动打印所有测试参数和测试数据 -选择样品预热输送选件，还可用于稠状或固体样品的自燃点测试
2019公需科目《人工智能导论》答案
请选择答案。 1、(单选，4分) 当前最流行的深度学习属于（） A、连接主义 B、符号注意 C、行为主义 D、经验主义 答案：A 2、(单选，4分) AI是（）的英文缩写 A、Automatic?Intelligence B、Artificial Intelligence C、Automatice?Information D、Artifical?Information 答案：B 3、(单选，4分) 下列哪个不是人工智能的研究领域() A、机器学习 B、图像处理 C、自然语言处理 D、编译原理 答案：D 4、（）最早提出了机器智能的测试模型，并提出了人工智能的含义 A、爱因斯坦 B、霍金 C、波尔 D、图灵 答案：D
5、(单选，4分) 人工智能的目的是让机器能够( ),以实现某些脑力劳动的机械化。 A、具有完全的智能 B、和人脑一样考虑问题 C、完全代替人 D、模拟、延伸和扩展人的智能 答案：D 6、(单选，4分) 下列关于人工智能的叙述不正确的有( ) A、人工智能技术它与其他科学技术相结合极大地提高了应用技术的智能化水平。 B、人工智能是科学技术发展的趋势。 C、因为人工智能的系统研究是从上世纪五十年代才开始的,非常新,所以十分重要。 D、人工智能有力地促进了社会的发展。 答案：C 7、(单选，4分) 自然语言理解是人工智能的重要应用领域,下面列举中的()不是它要实现的目标。 A、理解别人讲的话。 B、对自然语言表示的信息进行分析概括或编辑。 C、欣赏音乐。 D、机器翻译。 答案：C 8、(单选，4分) 一般来讲,下列语言不常直接用于人工智能开发的是()。 A、Python B、Go C、R
大型炼焦焦化厂煤质检测化验室必备仪器设备配置方案
大型炼焦焦化厂煤质检测化验室必备仪器设备配置方案 大型炼焦焦化厂煤质检测化验室必备仪器设备配置方案。大型炼焦煤炭焦化厂检测化验室里，一般常规需要检测煤炭大卡热量、硫份、灰分、挥发份、固定碳、水分等六大煤质指标。但是对于入厂煤炭及焦化后的焦炭的其他指标检测也很重要，例如：入厂煤炭的磷含量指标，粘结指数指标，胶质层指标；焦炭的反应性和反应后强度测试及焦炭抗压试验性能指标等等都需要进行科学的检测。那么，对于大型焦化厂来说，除了必备的煤炭六大指标检测仪器设备之外，需要对这些指标进行实时测定。以下是大型焦化厂化验室检测仪器设备配置清单，供用户选择采购： 1：微机精密全自动量热仪热量计。HT-ZDHW-5T 3台。检测大卡发热量。 2：HT-WDL-100C微机精密全自动定硫仪。2台。检测全硫含量。 3：高精准电子分析天平。FA2204. 3台。对试样进行快速称量。 4：大称量电子天平。0.01g/2000g。2台。对煤样进行快速称量。 5：HBHT-620智能一体化马弗炉。3台。灰分挥发份快速测定。 6：电热恒温鼓风干燥箱。WG-9070。2台。煤炭内水和外水份检测。 7：锤式破碎机。2台。破碎煤炭试样。 8：GJ-1全封闭式煤炭化验制样粉碎机。2台。煤炭试样细微粉碎。 9：粘结指数测定仪。HT-NJ-6。1台。焦炭粘结指数测定。 10：HT-JC-8电脑控制胶质层测定仪。2台。煤炭焦炭胶质层测定。 11：焦炭反应性及反应后强度测试仪。KX-KF-200。1台。焦炭反应强度。 12：HT-HR-4A.微机灰熔点测定仪。1台。检测煤炭焦炭灰熔融性。 13：微机元素快速测定仪。722型。1台。快速检测煤炭焦炭中磷含量。 14：DRB-2000W。可调温电热板。1台。加温煮沸蒸发。 15：高精度气相色谱仪。GC-8100-2。1台。检测煤焦油中单质含量。 其他可选设备有： A：焦炭制球机、焦炭磨球机、焦炭制球磨球一体机。可选购。 B：焦炭抗压缩试验机。 C：焦炭落球试验机。 D：焦炭机械强度测定转鼓机。 E：煤焦油检测仪器设备。 本处焦化厂成套化验室检测仪器设备仅供参考，具体采购请以企业自身检测要求确定采购。本文章友情原创提供：元氏县永芳仪器化玻经营部。山东，河南，内蒙古，陕西，山西。
胶质层指数的测定
胶质层指数的测定 此法是苏联列·姆·萨保什尼可夫和列·帕·巴齐列维奇在1932年提出的。主要测定胶质层最大厚度（y值），最终收缩度（x值）及体积曲线类型3种指标。在我国应用广泛。 此法模拟工业焦碳生成，对装在煤杯中的煤样进行单侧加热。胶质层厚度主要取决于煤的性质和胶质体的膨胀（与胶质体的流动性，热稳定性和不透气性有关）及试验条件。配合煤的y值可由单种煤的y值和百分含量（干煤）按加和性估算。X值取决于煤的挥发分，熔融，固化，收缩等性质及试验条件。一般当煤的Y值越大，粘结性越好。并且Y值随煤的变质程度呈现有规律性的变化。一般当煤的V为30%左右时，Y 值出现最大值。V〈13%的煤和V〉50%的煤，Y值都几乎为零。最终收缩度X值表征煤料在成焦后的收缩的情况，对焦炉中焦饼的收缩，焦炭的粒度，裂纹的多少及推焦是否顺利，都有参考价值。 体积曲线的形状与煤种有一定关系。煤在恒压下（1千克/平方厘米）加热时体积的变化，可反映出胶质体的厚度、粘结、透气性及气体析出强度，因而体积曲线与煤的胶质体性质有直接关系。 胶质层测定曲线的讨论，因由底部加热，故每一层的温度都比其上层高，煤逐渐分层形成胶质体，固化和收缩的情况与炭化室中煤料的分层结焦相类似。不同变质程度烟煤的曲线形状如下： (1)气煤 一般弱粘结性气煤胶质层薄，粘度小，气体易透过，因此对压塞不呈现大的压力，且煤的收缩量X很大，曲线均匀下降。焦炭粘结，熔融，气孔壁薄，纵裂纹多。 (2)肥煤 因胶质体厚,粘度也不算小,且不透气性和热稳定性较高,故气体不能通过胶质层由冷侧析出;当半焦尚未形成裂纹时,胶质层下面和胶质层中的气体跑不出去,给压塞以向上的推力,使曲线成大山形.当半焦产生裂纹和胶质体固化后,气体就由热侧中逸出,曲线就 向下了. (3)焦煤 胶质层比肥煤薄,但粘度比肥煤大.各层煤形成胶质体后,最初也象肥煤那样,因气体不能由上下两侧逸出,而向上推压塞,曲线就 向上了.随后一部分胶质体固化,半焦进一步收缩,形成网状裂纹,使气体逸出,压力降低,曲线下降.随即上面的胶质层下降将半裂裂纹 由热侧堵塞,并又有胶质层形成,这样上述压上升,下降的情况又重复,故形成锯齿形曲线,焦炭则为多层组织.气体由冷热侧析出各半.焦炭致密,坚实,裂纹少. (4) 瘦煤 胶质层薄,但粘度大,流动性差,因此不能将加热后变形粒子之间的空隙完全充满,故气体能从空隙逸出,曲线一般平滑下降。不过形成胶质层的温度比气煤高得多，并且收缩量X也小。焦炭粘结，
人工智能实验报告
计算机科学与技术1341901301 敏 实验一：知识表示方法 一、实验目的 状态空间表示法是人工智能领域最基本的知识表示方法之一，也是进一步学习状态空间搜索策略的基础，本实验通过牧师与野人渡河的问题，强化学生对知识表示的了解和应用，为人工智能后续环节的课程奠定基础。 二、问题描述 有n个牧师和n个野人准备渡河，但只有一条能容纳c个人的小船，为了防止野人侵犯牧师，要求无论在何处，牧师的人数不得少于野人的人数(除非牧师人数为0)，且假定野人与牧师都会划船，试设计一个算法，确定他们能否渡过河去，若能，则给出小船来回次数最少的最佳方案。 三、基本要求 输入：牧师人数(即野人人数)：n；小船一次最多载人量：c。 输出：若问题无解，则显示Failed，否则，显示Successed输出一组最佳方案。用三元组(X1, X2, X3)表示渡河过程中的状态。并用箭头连接相邻状态以表示迁移过程：初始状态->中间状态->目标状态。 例：当输入n=2，c=2时，输出：221->110->211->010->021->000 其中：X1表示起始岸上的牧师人数；X2表示起始岸上的野人人数；X3表示小船现在位置(1表示起始岸，0表示目的岸)。 要求：写出算法的设计思想和源程序，并以图形用户界面实现人机交互，进行输入和输出结果，如： Please input n: 2 Please input c: 2 Successed or Failed?: Successed Optimal Procedure: 221->110->211->010->021->000 四、算法描述 （1）算法基本思想的文字描述；
人工智能导论课参考答案第2章
第2章知识表示方法部分参考答案 2.8设有如下语句，请用相应的谓词公式分别把他们表示出来： (1)有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。 解：定义谓词 P(x)：x是人 L(x,y)：x喜欢y 其中，y的个体域是{梅花，菊花}。 将知识用谓词表示为： (?x )(P(x)→L(x, 梅花)∨L(x, 菊花)∨L(x, 梅花)∧L(x, 菊花)) (2) 有人每天下午都去打篮球。 解：定义谓词 P(x)：x是人 B(x)：x打篮球 A(y)：y是下午 将知识用谓词表示为： (?x )(?y) (A(y)→B(x)∧P(x)) (3)新型计算机速度又快，存储容量又大。 解：定义谓词 NC(x)：x是新型计算机 F(x)：x速度快 B(x)：x容量大 将知识用谓词表示为： (?x) (NC(x)→F(x)∧B(x)) (4) 不是每个计算机系的学生都喜欢在计算机上编程序。 解：定义谓词 S(x)：x是计算机系学生 L(x, pragramming)：x喜欢编程序 U(x,computer)：x使用计算机 将知识用谓词表示为： ?(?x) (S(x)→L(x, pragramming)∧U(x,computer)) (5)凡是喜欢编程序的人都喜欢计算机。 解：定义谓词 P(x)：x是人 L(x, y)：x喜欢y 将知识用谓词表示为： (?x) (P(x)∧L(x,pragramming)→L(x, computer))
2.9用谓词表示法求解机器人摞积木问题。设机器人有一只机械手，要处理的世界有一张桌子，桌上可堆放若干相同的方积木块。机械手有4个操作积木的典型动作：从桌上拣起一块积木；将手中的积木放到桌之上；在积木上再摞上一块积木；从积木上面拣起一块积木。积木世界的布局如下图所示。 图机器人摞积木问题 解：(1) 先定义描述状态的谓词 CLEAR(x)：积木x上面是空的。 ON(x, y)：积木x在积木y的上面。 ONTABLE(x)：积木x在桌子上。 HOLDING(x)：机械手抓住x。 HANDEMPTY：机械手是空的。 其中，x和y的个体域都是{A, B, C}。 问题的初始状态是： ONTABLE(A) ONTABLE(B) ON(C, A) CLEAR(B) CLEAR(C) HANDEMPTY 问题的目标状态是： ONTABLE(C) ON(B, C) ON(A, B) CLEAR(A) HANDEMPTY (2) 再定义描述操作的谓词 在本问题中，机械手的操作需要定义以下4个谓词： Pickup(x)：从桌面上拣起一块积木x。 Putdown(x)：将手中的积木放到桌面上。 Stack(x, y)：在积木x上面再摞上一块积木y。 Upstack(x, y)：从积木x上面拣起一块积木y。 其中，每一个操作都可分为条件和动作两部分，具体描述如下：
HY-A9全自动油品量热仪简介
HY-A9全自动油品量热仪（升级型） 主要用于: 郑州恒远仪器仪表有限公司HY-A9全自动油品量热仪主要用于测定煤炭、砖坯、食品、石油、秸秆、煤矸石、页岩、粉煤灰、炉渣、淤泥、尾矿、食料、垃圾等物质的发热量。广泛应用于生产煤炭、建材、石油、空心砖、多孔砖、烧结砖、电热公司，食品行业，电力厂，矿冶设备厂，焦化厂学校等固体或液体可燃物的发热量，符合国标GB/T213-2008《煤的发热量测定方法》的要求仪性能特点： (1)HY-A9油品量热仪式在A7的基础上再次软件升级，主要对油类的测量参数在次设定，特别是对石油、轻油及重油的测量结果更加精确。 (2)采用ATMER高级单片机系统，仪器所有注水、排水、调温、搅拌、点火、打印均自动完成，避免了人为因素对结果的影响。 (3)全中文菜单式操作界面，简单易操作。 (4)具有实验后换算高、低位发热量功能。 (5)实验过程自动冷却校正，对使用环境温度要求宽松。 (6)独特的大容量水箱循环系统和冷却系统能使机器24小时连续作业且结果准确。 技术参数： ?测量精度：符合国标GB/T213-2008 ?使用环境：5℃-40℃ ?温度分辨率：0.0001℃ ?电源电压：AC220V±15％，50Hz 标配清单： 充氧仪1台、减压阀1个、氧弹1个、苯甲酸10片、不锈钢坩埚2个、氧弹密封胶垫2套、点火丝2卷、微型打印纸2卷、大小勺子各1个、镊子1把、10ml量器1个郑州恒远仪器仪表有限公司从2005年成立以来，专心致力于生产包括：量热仪系列、测硫仪系列、水分测定仪系列、测氢仪、胶质层测定仪、灰熔点测定仪、温控仪系列、马弗炉、粘结指数测定仪、煤燃点测定仪、制样化验分析设备。公司在研制生产过程中，以规范的设计，严格的管理，精细的制造，以更新，更高，更好的标准向用户提供质优价廉的仪器设备，公司的产品终生提供优质服务
胶质层测定仪装煤杯时注意事项
胶质层测定仪装煤杯时注意事项 1. 将杯底放人煤杯使其下部凸出部分进人煤杯底部圆孔中，杯底上放置热电偶铁管的凹槽中心点 与压力盘上放热电偶的孔洞中心点对准。 2. 将石棉垫(6-4）铺在杯底上，石棉垫卜圆孔应对准杯底上的凹槽，在杯内下部沿壁围一条滤纸条 (6-3)。 将热电偶铁管插人杯底凹槽，把带有香烟纸管的钢棍（6-2)放在下部石棉圆垫的探测孔标志处，用 压板把热电偶铁管和钢棍固定，并使它们都保持垂直状态。 6甲6.3 将全部试样倒在缩分板上，掺合均匀、摊成厚约10 mm的方块。用直尺将方块划分为许多 30 mm X 30 mm左右的小块，用长方形小铲（4-7)，按棋盘式取样法隔块分别取出两份试样，每份试样质量为（100士0. 5)g. 3. 将每份试样用堆锥四分法分为四部分，分四次装入杯中。每装25 g之后，用金属针将煤样摊平，但不得捣固。 4. 试样装完后，将压板暂时取下，把上部石棉圆垫小心地平铺在煤样上，并将露出的滤纸边缘折复 于石棉圆垫之上，放人FE力盘，再用压板固定热电偶铁管。将煤杯放人卜部砖垛的炉孔中，把61力盘与杠 杆连结起来，挂上祛码，调节杠杆到水平。 5. 如试样在试验中生成流动性很大的胶质体溢出压力盘，则应按 6. 6条重新装样试验。重新装样 的过程中，须在折复滤纸后，用压力盘压平，再用直径2-3 mm 的石棉绳在滤纸和石棉垫上方沿杯壁和 热电偶铁管外壁围一圈，再放上压力盘，使石棉绳把压力盘与煤杯、压力盘与热电偶铁管之间的缝隙严密地堵起来。 6. 在整个装样过程中香烟纸管应保持垂直状态。当压力盘与杠杆连结好后，在 名人堂：众名人带你感受他们的驱动人生马云任志强李嘉诚柳传志史玉柱 杠杆＿L挂上祛码，把 细钢棍小心地由纸管中抽出来( pJ轻轻旋转），务使纸管留在原有位置。如纸管被拔出，或煤粒进人了纸 管（可用探针试出），须重新装样。 7. 用探针测量纸管底部时，将刻度尺放在压板E.，检查指针是否指在刻度尺的零点，如不在零点，则 有煤粒进人纸管内，应重新装样。 8.将热电偶置于热电偶铁管中，枪查前杯和后杯热电偶连接是否正确。 9. 把毫米方格纸（6-5)装在记录转筒（(4-8)上，并使纸上的水平线始、末端彼此衔接起来。调节记录转筒的高低，使其能同时记录前、后杯两个体积曲线。
人工智能导论1-4章作业
《人工智能导论》作业（1-4章） 1．人工智能有哪几个主要的学派？各学派的基本理论框架和主要研究方向有何不同？2．用谓词逻辑方法表述下面问题积木世界的问题。 （定义谓词、描述状态、定义操作、给出操作序列） 3．请给出下列描述的语义网络表示： 1)11月5日，NBA常规赛火箭主场对阵小牛，火箭107-76大胜小牛。 2)张老师从9月至12月给自动化专业学生教授《自动控制原理》。李老师从10至12月 给计算机专业学生教授《操作系统原理》。 3)树和草都是植物；树和草都有根和叶；水草是草，生活在水中；果树是树，会结果； 苹果树是果树，结苹果。 4．请用相应谓词公式描述下列语句： 1)有的人喜欢足球、有的人喜欢篮球；有的人既喜欢足球又喜欢篮球。 2)喜欢编程的同学都喜欢计算机。 3)不是每个自控系的学生都喜欢编程。 4)有一个裁缝，他给所有不自己做衣服的人做衣服。 5)如果星期六不下雨，汤姆就会去爬山。 5．什么是谓词公式的解释？对于公式?x ?y (P(x)→Q(f(x),y)) D={1，2，3} 分别给出使公式为真和假的一种解释。 6．什么是合一？求出下面公式的最一般合一: P(f(y), y, x) P(x, f(a),z)。 7．把下面谓词公式化为子句集 ?x ?y (P(x,y)∨Q(x,y))→R(x,y)) ?x (P(x) →?y(P(y)∧R(x,y))
?x (P(x)∧?y(P(y) →R(x,y))) 8．证明下面各题中，G是否是F的逻辑结论？ F1: ?x (P(x) →?y(Q(y)→L(x,y))) F2: ?x (P(x)∧?y(R(y) →L(x,y))) G: ?x (R(x) →~Q(x)) F1: ?z (~B(z)→?y(D(z,y)∧C(y))) F2: ?x (E(x)∧A(x)∧?y (D(x,y) →E(y))) F3: ?y(E(y) →~B(y)) G: ?z (E(z) ∧C(z)) 9．已知：John, Mike, Sam是高山俱乐部成员。 高山俱乐部成员都是滑雪运动员或登山运动员（也可以都是）。 登山运动员不喜欢雨。 滑雪运动员都喜欢雪。 凡是Mike喜欢的，John就不喜欢。 凡是Mike 不喜欢的，John就喜欢。 Mike喜欢雨和雪。 问：高山俱乐部是否有一个成员，他是登山运动员，但不是滑雪运动员？如果有，他是谁？10．为什么说归结式是其亲本子句的逻辑结论？ 11．何为完备的归结策略？有哪些归结策略是完备的？ 12．何谓搜索？有哪些常用的搜索方法？盲目搜索与启发式搜索的根本区别是什么？13．用状态空间法表示问题时，什么是问题的解？什么是最优解？在图搜索算法中，OPEN 表和CLOSED表的作用是什么？f(x)有何不同含义？ 14．宽度优先搜索和深度优先搜索有何不同？在何种情况下，宽度优先搜索优于深度优先搜索，何种情况反之？ 15．什么是启发式搜索，g(x)与h(x)各有什么作用？A*算法的限制条件是什么？