厦门理工学院人工智能试卷

厦门理工学院专业介绍

厦门理工学院专业介绍本科专业介绍材料成型及控制工程专业（本科四年）【培养目标】本专业以研究开发各种材料的加工成型工艺和模具设计制造技术为主攻方向，培养具备材料成型及模具设计制造基础知识与应用能力，掌握金属塑性成形、压铸成形和塑料成型工艺及设备控制，具有创新能力，能从事产品开发、材料成型工艺设计、模具设计与制造，企业生产经营管理等工作的高素质工程技术人才。【主要课程】工程制图及CAD、工程力学、电工电子技术、机械原理、机械设计、计算机辅助三维设计、机械制造技术基础、检测及控制工程、材料科学基础、材料成型原理、材料成型工艺、材料成型设备、塑料成型工艺与模具设计、冲压工艺及模具课程设计、金属压力铸造工艺与模具设计等。【就业方向】在机械、汽车、电子电器、仪器仪表、轻工、日常用品等企业，从事材料成型与控制工程领域的产品开发、技术创新、材料成型工艺设计、

模具设计与制造、企业生产运行管理等工作，还可以进一步攻读本专业及相关专业的硕士学位。车辆工程专业（本科四年）【培养目标】本专业培养具备汽车设计、制造、试验等专业知识与应用能力，掌握汽车电器与电子技术，汽车保养维修、检测与诊断技术，能在汽车及其相关行业中从事汽车设计制造、科技开发、应用研究、经营管理和车辆保险与公估等方面工作的高素质工程技术人才。【主要课程】工程制图及CAD、理论力学、材料力学、机械设计、工程材料及材料成形技术基础、液压与气压传动、控制工程基础、机械制造工程基础、汽车构造、汽车设计、汽车理论、汽车试验学、汽车车身设计、汽车制造工艺学、汽车发动机原理、有限元分析、汽车电器与电子技术、汽车检测与诊断技术等课程以及汽车维修理论、汽车保险公估、汽车营销与技术服务等。【就业方向】可以在机械、汽车、车辆保险与公估以及汽车相关行业的科研院所、企事业单位、技术开发中心从事车辆设计、制造、商贸和管理等工作，还可以进一步攻读本专业及相关专业的硕士学位。

人工智能期末考试卷(1)评分标准及标准答案

（此文档为Word格式，下载后可以任意编辑修改！）试卷装订封面人工智能期末考试卷（1）一、填空题（每空1分，共10分）

1智能具有五个特征，分别为① 学习能力、自适应能力、 ②记忆与思维能力、表达能力和感知能力。 2. 机器的③ 感知能力是让机器自动获取知识的基本条件，而知识的自动获取一直是智能系统研究中最困难的问题之一。 3?从研究的角度不同，对人工智能的研究可分两大阵营：④ 联接和 ⑤符号。其中⑤符号的理论基础为数理逻辑。 4. ⑥问题规约方法是一种将复杂问题变换为比较简单的子问题，子问题再转换为更简单的子问题，最终将问题转换为对本原问题的知识表示方法。 5. 鲁宾逊提出了⑦归结原理使机器定理证明成为可能。 6. 当某个算符被认为是问题求解的决定步骤时，此算符为⑧关键算符。 7. 宽度优先搜索与深度优先搜索方法的一个致命的缺点是当问题比较复杂是可能会发生⑨组合爆炸。 8. 语义网络⑩方法是1968年由J.R.Quilian 在研究人类联想记忆时提出的心理学模型。1972年，Simon首先将⑩用于自然语言理解系统。二、简答题（共30分） 1. 什么是A*算法的可纳性？（4分）答：在搜索图存在从初始状态节点到目标状态节点解答路径的情况下，若一个搜索法总能找到最短（代价最小）的解答路径，则称算法具有可采纳性。 2. 在一般图搜索算法中，当对某一个节点n进行扩展时，n的后继节点可分为三类，请举例说明对这三类节点的不同的处理方法。（8分）答：把SNS中的子节点分为三类：（1）全新节点，（2）已出现于OPEN表的节点，（3 ）已出现于CLOSE表的节点；/后二类子节点实际上意味着具有新老两个父节点；（3分）*加第1类子节点于OPEN表，并建立从子节点到父节点n的指；（1分） *比较第2类子节点经由新、老父节点到达初始状态节点s的路径代价，若经由新父节点的代价较小，则移动子节点指向新父节点（2分） ?对于第3类子节点作与第2类同样的处理，并把这些子节点从CLOSE 表中移出，重新加入OPEN表；（2分） 3. 请简述不确定性推理的含义。（4分）是一种从不确定的初始证据出发，通过运用不确定性知识，最终推出具有一定程度的不确定性但却有是合理或基本合理的结论的推理过程。 4. 若S={P（x）V Q（f（x））「P（a）, n Q（y）}，请画出与该子句集对应的语义树，为什么可以用封闭语义树来判定子句集的不可满足性？（14分）答：H={a,f（a）,f（f（a））, ……}（1 分）

《人工智能及其应用》(蔡自兴)课后习题答案第3章

第三章搜索推理技术 3-1什么是图搜索过程?其中，重排OPEN表意味着什么，重排的原则是什么? 图搜索的一般过程如下： (1) 建立一个搜索图G(初始只含有起始节点S)，把S放到未扩展节点表中（OPEN表）中。 (2) 建立一个已扩展节点表（CLOSED表），其初始为空表。 (3) LOOP：若OPEN表是空表，则失败退出。 (4) 选择OPEN表上的第一个节点，把它从OPEN表移出并放进CLOSED表中。称此节点为节点n，它是CLOSED表中节点的编号 (5) 若n为一目标节点，则有解并成功退出。此解是追踪图G中沿着指针从n到S这条路径而得到的(指针将在第7步中设置) (6) 扩展节点n，生成不是n的祖先的那些后继节点的集合M。将M添入图G中。 (7) 对那些未曾在G中出现过的(既未曾在OPEN表上或CLOSED表上出现过的)M成员设置一个通向n的指针，并将它们加进OPEN表。对已经在OPEN或CLOSED表上的每个M成员，确定是否需要更改通到n的指针方向。对已在CLOSED表上的每个M成员，确定是否需要更改图G中通向它的每个后裔节点的指针方向。 (8) 按某一任意方式或按某个探试值，重排OPEN表。 (9) GO LOOP。重排OPEN表意味着，在第(6)步中，将优先扩展哪个节点，不同的排序标准对应着不同的搜索策略。重排的原则当视具体需求而定，不同的原则对应着不同的搜索策略，如果想尽快地找到一个解，则应当将最有可能达到目标节点的那些节点排在OPEN表的前面部分，如果想找到代价最小的解，则应当按代价从小到大的顺序重排OPEN表。 3-2 试举例比较各种搜索方法的效率。

厦门理工学院本科毕业设计(论文)撰写规范

附件3 厦门理工学院毕业设计（论文）撰写规范第一条本科生毕业论文字数不少于10000字，毕业设计的篇幅根据专业特点由各系自行界定。第二条毕业设计（论文）要求文字通畅、条理清楚、结构严谨；观点明确、论证充分、论据详实；版面整洁、数据可靠、图表规范清晰；能反映出学生掌握本学科知识的深广度、驾驭资料和仪器设备的能力、发现分析解决实际问题的能力。第三条毕业设计（论文）的撰写要求如下： 1.文稿要求：语言流畅，版面整洁，便于装订； 2.图纸要求：图面整洁，布局合理，线条粗细均匀，圆弧连接光滑，尺寸标准规范，文字注释必须使用工程字书写； 3.曲线图表要求：所有曲线、图表、线路图、流程图、程序框图、示意图等不得简单徒手画，须按国家规范标准或工程要求绘制； 4.公式要求：所有公式不得徒手书写，利用Microsoft公式编辑器或Mathtype编辑。第四条打印及装订顺序要求：毕业设计（论文）的内容及其装订顺序为：封面、诚信声明书、题目、中外文摘要和关键词、目录、正文、致谢、参考文献。使用A4复印纸输出，上边距为2.5cm，左边距为2.5cm，右边距为2cm，下边距2cm，正文页码居中。（边距问题大家要调整，要在“页面设置”里进行设置，很多同学漏掉了这一条） 1.封面。教务处统一印制，学生填写或打印。填写时应注意：学号及专业名称应填写完整，例如“2003401008”，不能填写成“8号”或“08”；“电子商务”专业，不能填写成“电商”等。 2.诚信声明书。教务处统一印制，学生在完成毕业设计（论文）的同时，需签署一份诚信声明书，声明所撰写的毕业设计（论文）无剽窃他人学术成果，各种数据及参考资料等真实可靠，如有不实之处，则按照学院有关规定接受处罚。（诚信申明书的签字要用手写，所以大家在诚信申明书上签字那一栏要空着，不要打字上去，等输出时才手签上去）

人工智能期末试卷

XXXX2017至2018 学年第 1 学期《人工智能技术》课程考试（ A ）卷计科系级专业学号姓名一、选择题：（2分×10=20分） 1．人工智能AI 的英文全称（）最早于1956年在达特茅斯会议上被提出。这是历史上第一次人工智能研讨会，也被广泛认为是人工智能诞生的标志。 A ．Automatic Intelligence B ．Artifical Intelligence C ．Automatice Information D ．Artifical Information 2．所谓不确定性推理是从（）的初始证据出发，通过运用（）的知识，最终推出具有一定程度的不确定性但却是合理或者近乎合理的结论的思维过程。 A ．不确定性，确定性 B ．确定性，确定性 C ．确定性，不确定性 D ．不确定性，不确定性 3．要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（）。 A ．概率推理 B ．神经网络 C ．机器学习 D ．智能搜索 4．下面几种搜索算法中，不完备的搜索算法是（）。 A ．广度优先搜索 B ．A*搜索 C ．迭代深入深度优先搜索 D ．贪婪搜索 5．人工智能的目的是让机器能够（），以实现某些脑力劳动的机械化。 A ．模拟、延伸和扩展人的智能 B ．和人一样工作 C ．完全代替人的大脑 D ．具有智能 6．在一个监督学习问题f:x →y 中，输出y 的值域是连续的，例如实数集R ，那么这是一个（）问题。 A ．分类 B ．聚类 C ．回归 D ．降维装订线

厦门理工学院uml考试试卷a卷

厦门理工学院uml考试试卷a卷厦门理工学院uml考试试卷A卷总分42分，1-18题每小题1分，19-30题每小题2分。 1(下列描述中，哪个不是建模的基本原则( d ) A.要仔细的选择模型 B.每一种模型可以在不同的精度级别上表示所要开发的系统 C.模型要与现实相联系 D.对一个重要的系统用一个模型就可以充分描述 2(下列关于软件特点的描述中，哪个是错误的( c ) 软件是被开发或设计的，而不是被制造的; A. B.软件不会“磨损”，但会“退化”; C.软件的开发已经摆脱了手工艺作坊的开发方式; D. 软件是复杂的 3(在UML中，有3种基本构造块，分别是(a ) A. 事物、关系和图 B. 注释、关系和图 C. 事物、关系和结构 D. 注释、关系和结构 4(在UML中，有四种关系，下面哪个不是(b) A.依赖关系 B.继承关系 C.泛化关系 D.实现关系

5(下面哪个不是UML中的静态视图(a) 状态图 A. B.用例图 C.对象图 D.类图 6(用户在银行员工的指导下，使用ATM机，查阅银行帐务系统的个人帐务数据，并打印其个人用户帐单。在上述过程中，对ATM机管理系统而言，哪个不是系统的参与者( b) A.用户 B.银行员工 C.打印系统 D.帐务系统 7(在用例之间，会有三种不同的关系，下列哪个不是他们之间可能的关系( d ) A.包含(include) B.扩展(extend) C.泛化(generalization) D.关联(connect) 8(下列关于活动图的说法错误的是( d ) A. 一张活动图从本质上说是一个流程图，显示从活动到活动的控制流 B. 活动图用于对业务过程中顺序和并发的工作流程进行建模。 C. 活动图中的基本要素包括状态、转移、分支、分叉和汇合、泳道、对象流。 D. 活动图是UML中用于对系统的静态方面建模的五种图中的一种 9(在下面的图例中，哪个用来描述活动(activity)(a)

厦门理工学院公共选修课管理办法 - 厦门理工学院教务处

附件：厦门理工学院公共选修课管理办法（修订版）为了更好地贯彻“构建以就业需求和素质养成为导向的实践性、创新型人才培养体系，培养综合素质高、实践能力强、具有创新创业精神和国际化视野的高级应用型”人才培养目标定位，加强我校公共选修课的建设和管理，保证公共选修课教学工作有序运行，制定本管理办法。第一条公共选修课课程设置应遵循如下原则： 1、有利于促进不同学科交叉渗透，有利于学生了解学科基本的知识领域和思维方法； 2、有利于加强学生的人文素质、创新能力，培养学生的思辨能力； 3、有利于提高学生的思想道德水平和身体心理素质。第二条根据学校的实际情况，公共选修课的类别划分为五大类别： 1、人文社科类：涵盖法学、政治学、社会学、心理学、教育学等学科类别； 2、经济管理类：涵盖经济学、管理学等学科类别； 3、自然科学类：涵盖机械、电子信息、化工、材料、环境工程、建筑及土木、数学、物理学、化学、计算机等学科类别； 4、外国文学与文化类：涵盖外国语言与文化学科类别； 5、艺术类：涵盖美术、音乐等学科类别； 6、体育类：涵盖体育学科类别；第三条公共选修课修习对象为全日制在校学生。第四条公共选修课的设置及修习要求如下： 1、每门课程一般为32个课时，2学分，教学任务要求在一个学期内完成。为鼓励教师结合自己的科研和教学专长，也可开设1学分或1.5学分的短课程，集中上半学期或下半学期完成。 2、学生应修满本专业类别以外的公共选修课程学分方可毕业：专科学生至少应修满4学分，本科学生至少应修满8学分。未参加考核或考核不及格，均不能取得学分，下学期可以重修该课程，也可以重修其他课程，但是不能通过补考而获得学分。第五条公共选修课开课条件

厦门理工学院学生综合测评办法

厦理工〔2005〕82号厦门理工学院学生综合测评办法总则第一条为全面贯彻党的教育方针，加强学生思想政治教育和配合教学管理工作，推动学校全面素质教育计划的实施和正确引导学生提高自身综合素质，特制定本办法。第二条综合测评是学校对学生在德、智、体诸方面表现的综合评定。评分的成绩作为当年评定“优秀学生奖学金”、“三好生”、各类单项奖，以及评定“优秀毕业生”的依据，测评结果直接与升级、留降级、评优、毕业推荐、推荐入党挂钩。第三条综合测评总成绩由德育、智育和文体三方面成绩组成。构成比例：综合测评成绩＝德育成绩×0.2＋智育成绩×0.7＋文体成绩×0.1。一、德育表现测评第四条德育成绩＝思想品德基本分＋附加分－扣分第五条思想品德行为表现基本分为60分，按以下六项内容，每项分优、良、中三个等级，分别计10分、8分、6分，表现差者可计5分以下。 1、坚持四项基本原则，维护国家利益和安定团结的政治局面，维护学校的正常秩序，不参加非法组织和活动，不参与任何有损祖国尊严和荣誉、危害社会秩序和校园稳定的活动。 2、热爱社会主义祖国，关心国家大事，认真学习党和国家的方针政策，自觉参加政治学习和社会实践活动。

3、遵守国家各项法律，执行学校的各项规章制度，无违法违纪行为。 4、学习目的明确，学习态度端正，勤奋好学，勇于创新，课堂纪律好、出勤率高。 5、关心集体，热爱劳动，积极参加集体活动和公益活动，热心为同学服务，努力完成校、系、班级交给的任务。讲文明、懂礼貌、尊敬师长，团结同学。 6、加强自我修养，自觉遵守社会公德，爱护公物，维护公共秩序。培养严谨的生活作风和良好的生活习惯，勤俭朴素，不吸烟，不酗酒。第六条品德行为表现的附加分为40分（超出者以40分计），按以下内容加分。 1、担任校团、学生会称职的加4—7分，担任系团、学生会称职的加3—6分，担任班级团、班干部称职的加2—4分，担任宿舍长称职的加1—2分；学生干部不起作用的不加分，身兼多职的以最高职务计分。干部得分与否，班干部由班主任评定，平均分不得超过4分；系级团、学干部由主管学生工作的系领导、辅导员评定，平均分不得超过5分；校级团、学干部由团委会评定，平均分不得超过6分。（校、系有关部门及学生会各部门聘请的人员，不列入干部范畴，但考虑工作关系可加2—3分）。 2、见义勇为、舍已救人，经校、市书面表彰嘉奖者分别加6分、8分。 3、积极参加大学生素质拓展计划活动者加1—5分。 4、参加班、系、校组织的各项集体活动加分不得超过20分。第七条品德行为表现扣分规定： 1、凡违反四项基本原则，参加非法组织和非法游行、示威及张贴大字报者，视其情节扣20分以上。 2、凡未经准假而不参加政治学习、集体活动、劳动者每次扣2分。 3、通报批评一次扣6分；受警告、严重警告、记过、留校察看处分的分别扣10分、20分、30分、40分。 4、在学校精神文明建设活动及学生管理工作中，出现不合格的集体，具体组织者每次每项扣3分，成员每次每项扣2分。违反学校宿舍管理规定者每次扣3分，违规达三次者取消评奖评优资格。二、智育表现测评第八条智育成绩＝学业基本分＋学业表现附加分－学业表现扣分第九条学业基本分为90分，以学年所有必修课和规定选修课的成绩计算，考查成绩优、良、中、及格、不及格分别按90分、80分、70分、60分、50分折算。插班生经审批同意免修课程的分数以所在班级平均成绩计算。

人工智能及其应用(蔡自兴)课后答案

第二章知识表示方法 2-1 状态空间法、问题归约法、谓词逻辑法和语义网络法的要点是什么？它们有何本质上的联系及异同点? 答：状态空间法：基于解答空间的问题表示和求解方法，它是以状态和算符为基础来表示和求解问题的。一般用状态空间法来表示下述方法：从某个初始状态开始，每次加一个操作符，递增的建立起操作符的试验序列，直到达到目标状态为止。问题规约法：已知问题的描述，通过一系列变换把此问题最终变成一个子问题集合：这些子问题的解可以直接得到，从而解决了初始问题。问题规约的实质：从目标（要解决的问题）出发逆向推理，建立子问题以及子问题的子问题，直至最后把出示问题规约为一个平凡的本原问题集合。谓词逻辑法：采用谓词合式公式和一阶谓词算法。要解决的问题变为一个有待证明的问题，然后采用消解定理和消解反演莱证明一个新语句是从已知的正确语句导出的，从而证明这个新语句也是正确的。语义网络法：是一种结构化表示方法，它由节点和弧线或链组成。节点用于表示物体、概念和状态，弧线用于表示节点间的关系。语义网络的解答是一个经过推理和匹配而得到的具有明确结果的新的语义网络。语义网络可用于表示多元关系，扩展后可以表示更复杂的问题 2-2 设有3个传教士和3个野人来到河边，打算乘一只船从右岸渡到左岸去。该船的负载能力为两人。在任何时候，如果野人人数超过传教士人数，那么野人就会把传教士吃掉。他们怎样才能用这条船安全地把所有人都渡过河去? 用S i(nC, nY) 表示第i次渡河后，河对岸的状态，nC表示传教士的数目，nY表示野人的数目，由于总人数的确定的，河对岸的状态确定了，河这边的状态也即确定了。考虑到题目的限制条件，要同时保证，河两岸的传教士数目不少于野人数目，故在整个渡河的过程中，允许出现的状态为以下3种情况： 1. nC=0 2. nC=3 3. nC=nY>=0 (当nC不等于0或3) 用d i(dC, dY)表示渡河过程中，对岸状态的变化，dC表示，第i次渡河后，对岸传教士数目的变化，dY表示，第i次渡河后，对岸野人数目的变化。当i为偶数时，dC,dY同时为非负数，表示船驶向对岸，i为奇数时，dC, dY同时为非正数，表示船驶回岸边。

厦门理工学院uml考试试卷A卷

厦门理工学院uml考试试卷A卷总分42分，1-18题每小题1分，19-30题每小题2分。 1．下列描述中，哪个不是建模的基本原则（ d ） A.要仔细的选择模型 B.每一种模型可以在不同的精度级别上表示所要开发的系统 C.模型要与现实相联系 D.对一个重要的系统用一个模型就可以充分描述 2．下列关于软件特点的描述中，哪个是错误的（ c ） A.软件是被开发或设计的，而不是被制造的； B.软件不会“磨损”，但会“退化”； C.软件的开发已经摆脱了手工艺作坊的开发方式； D. 软件是复杂的 3．在UML中，有3种基本构造块，分别是（a ） A. 事物、关系和图 B. 注释、关系和图 C. 事物、关系和结构 D. 注释、关系和结构 4．在UML中，有四种关系，下面哪个不是（b） A.依赖关系 B.继承关系 C.泛化关系 D.实现关系 5．下面哪个不是UML中的静态视图（a） A.状态图 B.用例图 C.对象图 D.类图 6．用户在银行员工的指导下，使用ATM机，查阅银行帐务系统的个人帐务数据，并打印其个人用户帐单。在上述过程中，对ATM机管理系统而言，哪个不是系统的参与者( b) A.用户 B.银行员工 C.打印系统 D.帐务系统 7．在用例之间，会有三种不同的关系，下列哪个不是他们之间可能的关系（ d ） A.包含（include） B.扩展（extend） C.泛化（generalization） D.关联（connect）

8．下列关于活动图的说法错误的是（ d ） A. 一张活动图从本质上说是一个流程图，显示从活动到活动的控制流 B. 活动图用于对业务过程中顺序和并发的工作流程进行建模。 C. 活动图中的基本要素包括状态、转移、分支、分叉和汇合、泳道、对象流。 D. 活动图是UML中用于对系统的静态方面建模的五种图中的一种 9．在下面的图例中，哪个用来描述活动（activity）（a） A B C D 10．事件（event）表示对一个在时间和空间上占据一定位置的有意义的事情的规格说明，下面哪个不是事件的类型（ c ） A.信号 B.调用事件 C.空间事件 D.时间事件 11．下列关于状态图的说法中，正确的是（ c ） A. 状态图是UML中对系统的静态方面进行建模的五种图之一。 B. 状态图是活动图的一个特例，状态图中的多数状态是活动状态 C. 活动图和状态图是对一个对象的生命周期进行建模，描述对象随时间变化的行为。 D. 状态图强调对有几个对象参与的活动过程建模，而活动图更强调对单个反应型对象建模 12．下面（a）不属于UML中的静态视图 A.状态图 B.用例图 C.对象图 D.类图 13．通常对象有很多属性，但对于外部对象来说某些属性应该不能被直接访问，下面哪个不是UML中的类成员访问限定性（ c） A.公有的（public） B.受保护的（protected） C.友员（friendly） D.私有的（private） 14．UML中类的有三种，下面哪个不是其中之一（b ） A.实体类 B.抽象类

(完整word版)《人工智能导论》课程期末考试试卷二答案 (上海交大)

一、选择题答案1、A2、A 二、填空题答案 1、基于规则的正向演绎系统使用的条件是（1）事实表达式是任意形式（2）规则形式为L→W或L1∨L2→W，其中L为单文字，W为任意形（3）目标公式为文字析取形 2、基于规则的逆向演绎系统使用的条件是（1）事实表达式是文字合取形（2）规则形式为W→L 或W→L1∧L2 ，其中L为单文字，W为任意形（3）目标公式为任意形式 3、归结法中，可以通过修改证明树的方法得到问题的解答。三、问答题答案第1题答：

得解图：

第2题第3题答：综合数据库： (m1, m5, m9, b) 设从河的左岸到右岸，其中m1, m5,m9分别表示过河时间需要1分钟，5分钟和9分钟的人，在河左岸的人数。b＝1表示船在左岸，b＝0表示船在右岸。规则集：初始状态：(2, 1, 1, 1) 结束状态：(0, 0, 0, 0) h函数：h(n) = m - b，其中m为在左岸的人数，b为船是否在左岸。对于任意两个节点ni和nj，其中nj是ni的子节点。当ni中b＝1时，则nj中b＝0，因此：max(h(ni)-h(j))=(m-1)-(m-1)=0, 而C(ni, nj)最小为1，因此h(ni)-h(nj)

因此该h函数满足单调性条件。所以h满足A*条件。第4题答：对事实和规则进行skolem化：（1）(s) ~P(a) （2）(s)(P(g(s))) P(g(s)) （3）(x)(s)(y)((P(s)∧Q(b，x，s))→H(y) (P(s)∧Q(b，c，s))→H(f(s)) （4）(x)(s)(Q(b，x，s)→Q(b，x，g(s))) Q(b，x，s)→Q(b，x，g(s)) （5）(x)(s)(y)(~P(s)→Q(b，x，y)) ~P(s)→Q(b，x，h(x, s)) 经变量换名后，有事实和规则如下： ~P(a) P(g(s1)) r1: (P(s2)∧Q(b，c，s2))→H(f(s2)) r2: Q(b，x3，s3)→Q(b，x3，g(s3)) r3: ~P(s4)→Q(b，x4，h(x4, s4)) 用对偶形式对目标skolem 化： (x)H(x) H(x) 演绎图如下图(这里只给出了一个一致解图)。

2020厦门理工学院新年致辞

2020厦门理工学院新年致辞导读：本文是关于2020厦门理工学院新年致辞，希望能帮助到您！厦门理工学院创立于1981年，位于中国东南海滨城市厦门，是福建省属公立本科大学，福建省重点建设高校。前身鹭江职业大学是福建省最早的全日制职业技术大学。2019年筹建升本并试招7个专业的本科生，2019年经教育部批准升本并更名为“厦门理工学院”。学校是教育部第二批“卓越工程师教育培养计划”高校100多所之一;国家首批“服务国家特殊需求专业硕士学位研究生教育试点高校”。2019年6月，顺利通过教育部本科教学合格评估。2019年1月，福建省批准为“省重点建设高校”。截止到2019年，集美、思明、厦软三个校区，占地1464亩，建筑面积37万余平方米，全日制在校生21000余人(含研究生，留学生)。学校有20个系(院、部)，49个本科专业，2个工程硕士领域。厦门理工学院2019年新年致辞老师们、同学们、朋友们：在这辞旧迎新之际，我们谨代表厦门理工学院党政领导班子，向全体师生员工、离退休老同志和海内外校友，向长期关心和支持学院发展的各级领导和各界人士，致以节日的问候和美好的新年祝福! 2019年是中央全面深化改革的元年，也是厦门理工学院发展的重要战略机遇期。这一年，我们深入学习贯彻党的xx大、xx届三中、四中全会精神和xx系列重要讲话精神，持续深化群众路线教育实践活动，通过落实整改、建章立制巩固活动成果。大力实施“2019-2019年建设与发展规划”、“省重点建设高校”建设方案，全面总结回顾升本10周年办学成绩，科学

谋定“转型·特色·提升”发展新路径，牢牢抓住以“铸学科、塑专业、锤课程、炼教学”为核心的内涵建设主线，持续推进改革、锤炼特色，提升办学质量。在过去的一年里，学校大多数理工类专业和国际合作项目进入本科一批招生;新获得国家级、省级教学成果奖16项，国家级科研基金项目18项;学生获得2019年世界大学生方程式汽车大赛单项冠军、“广联达杯”全国算量大赛总冠军等国家及省级以上学科竞赛奖项652项;一次性就业率稳居全省高校前列;与宸鸿科技、冠捷科技等行业龙头企业签署战略合作框架协议;获批首个教育部中外合作办学项目和奖学金来华留学生招收资格;成立“厦门理工—纽卡斯尔大学轨道交通研究中心”;获批福建省研究生教育创新基地、福建省首批社会科学研究基地，加入全国应用技术大学(学院)联盟。建立健全作风建设长效机制;修订大学章程，积极推进现代大学制度建设;出台《优秀编外人员同岗同酬暂行办法》等系列改革制度;办学条件持续改善;校园风气风清气正。 “续我理工梦，风好正扬帆”。2019年，是我国全面深化改革的关键之年，是全面推进依法治国的开局之年，是福建自贸试验区建设全面启动之年，也是厦门理工学院2019-2019五年发展规划的收官之年。学校将紧紧抓住中央关于“进一步加快福建省经济社会发展的战略部署”这一难得的重大机遇，深入学习贯彻xx来闽考察重要讲话精神，结合福建自贸区建设和“美丽厦门”战略规划，不断提高认识、开拓思路、增强合力、攻坚克难。在接下来的工作中，学校将牢牢把握“立德树人”根本任务和育人“两个主体”，围绕“提升办学质量和打造学科专业品牌”的核心目标，以“三大改革”作为突破口，全面深化综合改革;持续推进依法治校、依法治教和管理重心下移;继续抓好标志性成果产出和关键性内涵指标突破;优化内部

厦门理工学院软件工程学院2014届毕业生简介

厦门理工学院软件工程学院2014届毕业生简介厦门理工学院软件工程学院成立于2006年，是经福建省教育厅批准设立的，采取校企合作方式，办学体制和管理体制相对独立的厦门理工学院所属的二级学院。学院的办学宗旨是为海西乃至全国培养具有较高专业技能和创新能力的软件产业技术人才。学院具有本科和专科两个办学层次，设有四年制软件工程本科专业、两年制软件工程（专升本）本科专业以及软件技术、计算机网络技术、图形图像制作和动漫设计与制作等四个专科专业及十几个专业方向。学院确立了“以软件类专业为主，与其它专业对接，构成特色专业链”的专业发展定位，进而形成以软件类专业为主，多条专业链协调发展的专业群。学院拥有一支优秀的，以双师型教师为主，职称、学历结构合理的教师队伍，承担着学院的核心教学任务。研究生学历教师比例达60%以上。学院一贯坚持“以教学为中心”，将“构建以就业需求和素质养成为导向的实践性、创新型人才培养体系，培养综合素质高、实践能力强、具有创新创业精神的高技能人才”作为学院的人才培养目标定位，构建了“知行合一，工学结合”的“2134”软件人才培养模式。学院教学设施完善，实训环境条件完备，拥有先进的多媒体教室和网络综合实训室、软件技术实训室、数字媒体实训室等15个专业实训室，并以综合网络实训环境平台为依托，构建了学院网络办公系统，实现教学、科研、学生、行政后勤等管理手段的现代化。学院依托企业办学，具有良好的企业背景和校外实训环境。学院采取“校园教学＋软件园实训”的教学模式（简称“双园制”），在完成校内外理论和实践教学的基础上，在软件园完成实训、实习教学。学院以“项目驱动教学”为切入点，不断探索和尝试新的教学模式。学院与企业共建专业，成立了由众多知名软件企业代表参加的专业建设指导委员会，共同制定人才培养方案，按着岗位（群）核心能力要求，构建“一个公共技术平台下的核心课程群及核心能力培养模块+多个面向岗位(群)专业方向(知识+技能)模块”的课程体系。学院加强学生就业和创业教育，将就业创业教育纳入实践性、创新型人才培养体系，为学生提供有效的创业就业体验。积极鼓励学生参加省内外各项职业技能大赛，并取得骄人的成绩。毕业生除可以正常就业外，还可以“专升本”，历年升学率达70%以上。

厦门理工学院《马克思主义基本原理概论》试卷库

厦门理工学院《马克思主义基本原理概论》试卷库一、单项选择题 1. 马克思主义理论从狭义上说是 ( c ) A.无产阶级争取自身解放和整个人类解放的学说体系 B.关于无产阶级斗争的性质、目的和解放条件的学说 C.马克思和恩格斯创立的基本理论、基本观点和基本方法构成的科学体系。 D.关于资本主义转化为社会主义以及社会主义和共产主义发展的普遍规。律的学说 2. 马克思主义理论从广义上说是 ( A ) A．不仅指马克思恩格斯创立的基本理论、基本观点和学说的体系，也包括继承者对它的发展 B.无产阶级争取自身解放和整个人类解放的学说体系 C.关于无产阶级斗争的性质、目的和解放条件的学说 D.马克思和恩格斯创立的基本理论、基本观点和基本方法构成的科学体系 3. 作为中国共产党和社会主义事业指导思想的马克思主义是指 ( A ) A．不仅指马克思恩格斯创立的基本理论、基本观点和学说的体系，也包括继承者对它的发展 B．无产阶级争取自身解放和整个人类解放的学说体系C．关于无产阶级斗争的性质、目的和解放条件的学说 D．列宁创立的基本理论、基本观点和基本方法构成的科学体系 4. 人类进入21世纪，英国广播公司(BBS)在全球范围内进行“千年思想家”网评，名列榜首的是 ( A ) A．马克思 B．爱因斯坦 C．达尔文 D．牛顿 5. 在19世纪三大工人运动中，集中反映工人政治要求的是 ( B ) A．法国里昂工人起义 B．英国宪章运动 C．芝加哥工人起义 D．德国西里西亚纺织工人起义 6. 马克思主义产生的经济根源是 ( C ) A．工业革命 B．资本主义经济危机 C．资本主义社会生产力和生产关系的矛盾运动 D．阶级斗争 7. 马克思主义产生的阶级基础和实践基础 ( B ) A．资本主义的剥削和压迫 B．无产阶级作为一支独立的政治力量登上了历史舞台 C．工人罢工和起义 D．工人运动得到了“农民的合唱” 8．提出价值规律是“一只看不见的手”是 ( B ) A．马克思 B．亚当·斯密 C．大卫·李嘉图 D．威廉·配第 9．马克思恩格斯进一步发展和完善了英国古典经济学理论是 ( C ) A．辩证法 B．历史观 C．劳动价值论 D．剩余价值论 10. 马克思把黑格尔的辩证法称为 ( A ) A．合理内核 B．基本内核 C．精髓 D．核心 [单项选择题答案]: 1. C 2. A 3．A 4．A 5． B 6． C 7．B 8．B 9．C 10．A 二、多项选择题 1. 马克思主义诞生于19世纪40年代，到那时，资本主义的发展已经经历过 ( ABC ) A. 14世纪末至15世纪初，资本主义生产关系在西欧封建社会内部孕育 B．18世纪60年代至19世纪30年代末，资本主义工业革命推动资本主义社会生产力发展 C．多次经济危机，给资本主义世界造成极大破坏 D．垄断资本主义 2．作为一个完整的科学体系，马克思主义理论体系的三个主要组成部分是( BCD ) A．马克思主义政治学 B．马克思主义政治经济学 C．科学社会主义 D．马克思主义哲学 3．作为马克思主义产生阶级基础的19世纪三大工人起义是 ( BCD ) A．巴黎公社

人工智能期末试题

2.证明G 是否为1F ,2F ,……，n F 的逻辑结论。 1F ：()()()()()()x x x x R Q P ∧→? 1F ：()()()()x x x S P ∧? G ：()()()()x x x R S ∧? 2.先把G 否定，并放入F 中，得到的｛F1,F2, ?G ｝为｛()()()()()()x x x x R Q P ∧→?，()()()()x x x S P ∧?，?（()()()()x x x R S ∧?）｝再把｛F1,F2, ?G ｝化为子句集，得到 ①)x ()x (Q P ∨? ②)y ()y (R P ∨? ③)a (P ④)a (S ⑤)b ()b (R S ?∨? 其中①②是由F1化为的两个子句，③④是由F2化为的两个子句，⑤是由G 化为的子句。由子句集可以看出只有唯一的一个Q 因此可以得出G 不是F 的逻辑结构。 3.假设张被盗，公安局派出5人去调查。案情分析时，侦查员A 说：“赵与钱中至少有一人作案”；侦查员B 说：“钱与孙中至少有一人作案”；侦查员C 说：“孙与李中至少有一人作案”；侦查员D 说：“赵与孙中至少有一人与此案无关”；侦查员E 说：“钱与李中至少有一人与此案无关”。如果这5个侦查员的话都是可信的，试用归结演绎推理求出谁是盗窃犯。 3.解：(1) 先定义谓词和常量设C(x)表示x 作案，Z 表示赵，Q 表示钱，S 表示孙，L 表示李 (2) 将已知事实用谓词公式表示出来赵与钱中至少有一个人作案：C(Z)∨C(Q) 钱与孙中至少有一个人作案：C(Q)∨C(S) 孙与李中至少有一个人作案：C(S)∨C(L) 赵与孙中至少有一个人与此案无关：? (C (Z)∧C(S))，即?C (Z) ∨?C(S) 钱与李中至少有一个人与此案无关：? (C (Q)∧C(L))，即?C (Q) ∨?C(L) (3) 将所要求的问题用谓词公式表示出来，并与其否定取析取。设作案者为u ，则要求的结论是C(u)。将其与其否取析取，得： ? C(u) ∨C(u) (4) 对上述扩充的子句集，按归结原理进行归结，其修改的证明树如下：

厦门理工学院奖学金评选办法

厦理工〔2005〕83号厦门理工学院奖学金评定条例第一章总则第一条为贯彻党的教育方针,激励学生积极进取、勤奋学习、各尽所长、勇于创新，促进学生德、智、体全面发展，并充分发挥学生的特长，推进我院的校风、学风建设,特制定本条例。第二条厦门理工学院奖学金分为新生入学奖学金、优秀学生奖学金、单项奖励金。 1、新生入学奖学金用于奖励被录取到我院就读的高分考生； 2、优秀学生奖学金用于奖励品学兼优、全面发展的学生； 3、单项奖励金用于奖励在某方面做出突出贡献或具有特殊才华的学生。第三条本条例适用于在厦门理工学院接受普通高等学历教育的全日制本、专科在校学生。第二章组织管理第四条奖学金由厦门理工学院奖、助学金综合评定委员会统一管理，成员由学院领导、人事、教学、学生、财务、团委等部门负责人、教师代表及学生会主席担任，评优办公室设在学生处。第五条各系成立相应的评优工作领导小组（以下简称“评优小组”），由系党政领导、辅导员、学生代表共同组成。评优小组根据本规则，制定系奖学金评定细则并经系学生代

表会议通过，报学院奖、助学金综合评定委员会备案；负责奖学金初审、系内公示及解释、咨询等工作。第六条奖学金评定按以下程序进行：本人申请或他人推荐、班级评议，系评优小组初审、公示、报送院评优办公室，院评优办公室组织复审、公示后，报请学院奖、助学金综合评定委员会审批。第三章奖学金类别、金额第七条厦门理工学院奖学金设新生入学奖学金、优秀学生奖学金、单项奖励金等项目。第八条入学奖学金：一次性奖励录取到我院就读的高分考生。凡文、理科高考总成绩超过所在省份本一批分数线者，免交当年学费。对总成绩名列文、理科中本科和专科前三名者分别给予2500、2000、1500元的奖励。第九条优秀奖学金评定人数占学生总数35%，每学年评一次，分为一、二、三等。一等奖：占学生总数的5%，每生每学年奖额为2000元（软件高职为3000元）；二等奖：占学生总数的10%，每生每学年奖额为1500元（软件高职为2200元）；三等奖：占学生总数的20%，每生每学年奖额为800元（软件高职为1200元）。第十条单项奖励金是为了鼓励学生充分发挥自己特长而设立的。单项奖励金可包括学科竞赛优胜奖、科研创新奖、文体活动奖、特殊贡献单项奖等。单项奖根据不同等级的获奖情况，分别给予每人一次性奖励500至5000元。其中对获省级以上表彰个人或团体的奖励： 1、参加国家级各类比赛获奖者，一等奖5000元/人，二等奖3000元/人，三等奖2000元/人，优胜奖1000元/人。 2、参加省级各类比赛获奖者，一等奖2000元/人，二等奖1500元/人，三等奖1000元/人。 3、获全国各类比赛奖励的团体，一等奖10000元，二等奖6000元，三等奖4000元，优胜奖2000元。 4、获省级各类比赛奖励的团体，一等奖4000元；二等奖3000元，三等奖2000元。 5、校级各类比赛奖励金原则上不超过1000元。 6、其它情况参照执行。

人工智能及其应用实验指导书

《人工智能及其应用》实验指导书工业大学计算机科学与技术学院—人工智能课程组 2011年9月

前言本实验是为了配合《人工智能及其应用》课程的理论学习而专门设置的。本实验的目的是巩固和加强人工智能的基本原理和方法，并为今后进一步学习更高级课程和信息智能化技术的研究与系统开发奠定良好的基础。全书共分为八个实验：1.产生式系统实验；2.模糊推理系统实验；3.A*算法求解8数码问题实验；4.A*算法求解迷宫问题实验；5.遗传算法求解函数最值问题实验；6.遗传算法求解TSP问题实验；7.基于神经网络的模式识别实验；8.基于神经网络的优化计算实验。每个实验包括有：实验目的、实验容、实验条件、实验要求、实验步骤和实验报告等六个项目。本实验指导书包括两个部分。第一个部分是介绍实验的教学大纲；第二部分是介绍八个实验的容。由于编者水平有限，本实验指导书的错误和不足在所难免，欢迎批评指正。人工智能课程组 2011年9月

目录实验教学大纲 (1) 实验一产生式系统实验 (4) 实验二模糊推理系统实验 (7) 实验三A*算法实验I (12) 实验四A*算法实验II (15) 实验五遗传算法实验I (17) 实验六遗传算法实验II (22) 实验七基于神经网络的模式识别实验 (25) 实验八基于神经网络的优化计算实验 (29)

实验教学大纲一、学时：16学时，一般安排在第9周至第16周。二、主要仪器设备及运行环境：PC机、Visual C++ 6.0、Matlab 7.0。三、实验项目及教学安排序号实验名称实验平台实验容学时类型教学要求 1 产生式系统应用VC++ 设计知识库，实现系统识别或分类等。 2 设计课 2 模糊推理系统应用Matlab 1）设计洗衣机的模糊控制器； 2）设计两车追赶的模糊控制器。 2 验证课 3 A*算法应用I VC++ 设计与实现求解N数码问题的 A*算法。 2 综合课4 A*算法应用II VC++ 设计与实现求解迷宫问题的A* 算法。 2 综合课5 遗传算法应用I Matlab 1）求某一函数的最小值； 2）求某一函数的最大值。 2 验证课6 遗传算法应用II VC++ 设计与实现求解不同城市规模的TSP问题的遗传算法。 2 综合课 7 基于神经网络的模式识别Matlab 1）基于BP神经网络的数字识别设计； 2）基于离散Hopfiel神经网络的联想记忆设计。 2 验证课 8 基于神经网络的优化计算VC++ 设计与实现求解TSP问题的连续Hopfield神经网络。 2 综合课四、实验成绩评定实验课成绩单独按五分制评定。凡实验成绩不及格者，该门课程就不及格。学生的实验成绩应以平时考查为主，一般应占课程总成绩的50%，其平时成绩又要以实验实际操作的优劣作为主要考核依据。对于实验课成绩，无论采取何种方