二十世纪八十年代以来,先进的分析 仪器的应用、量子化学计算方法的进展和 计算机技术的飞速发展,对化学科学的发 展产生了冲击性的影响。其研究内容、方 法、乃至学科的结构和性质都在发生深刻 的变化。 长期以来,化学一直被科学界公认为 门纯实验科学。其理由要追溯到人类认 识自然的两种科学方法

本书实验主要包括：练习基本操作的实验；与分析化学理论教学有关内容的实验；培养基本操作技能和进行科学研究能力的试验性、研究性、设计性的实验；学科间互相渗透的综合实验（特别单列一章即第十章），并加强分离科学、生命科学、环境科学和计算机在分析化学中的应用的内容，对生物试样、有机试样和药物试样分析有所关注。本书包括定性分析实验9个，定量分析实验约50个

ISI proceedings是美国《科学技术会议录索引》(Index to Scientific& Technical Proceedings,p)的网络版,由美国科技信息所(Institute for Scientific Information,简 称ISI)编辑出版。 ISI Proceedings包括以下两个子数据库:科学技术会议录索引(Index of Scientific& Technical Proceedings,ISTP,收录所有科技领域的会议文献,内容涉及农 业、环境科学、生物化学与分子生物学、生物技术、医学、工程、计算机科学、化学和物 理学等

机械设计制造及其自动化专业 《金工实习(1)(2)》 《电工电子实习 A》 机械电子工程专业 工业工程专业 《金工实习》 《电工电子实习 B》 车辆工程专业 工业设计专业 新能源科学与工程专业 测控技术及仪器专业 光电信息科学与工程专业 自动化专业 自动化专业(卓越计划) 电气工程及其自动化专业 智能科学与技术专业 工商管理专业 质量管理工程专业 信息与计算科学专业 机械设计制造及其自动化专业(外培计划) 机械电子工程专业(外培计划) 测控技术及仪器专业(外培计划)

科学、宗教与艺术 同源而殊途:同源于描述和解释自然、人类以 及人和自然的关系。 数学是自然科学的“画笔”:定量而不仅是定 性地掌握自然规律。 科学结论具有可以定量检验的预测能力。 “数学”和“定量”包括解析、数值、图形和 其它主要由现代计算机提供的模拟手段。 物理学已经成为鼎立于实验、理论和计算三大 支柱上的成熟的学科。生物是物生物学也会 受到物理学的启发

自上个世纪后半叶以来,人类科技便以人可阻挡之势迅猛向前发展。而其中最具代性 的当数计算机科学的进步。对于工程界的广大人士而言,这不可不谓是一种福音。在工程实 际应用的诸多领域里,为寻求可靠的、最优的工艺和技术方案,以往所凭借和依赖的直觉、 经验、实验和“尝试法”随着工艺要求的日益严格,追求质量所引发竞争的口臻激烈,已开 始显得力不从心倘若利用计算机这一先进段并辅以相应软件,进行虚拟加工,则可提 高产品加工质量,省时省力,降低成本 ANSYS正是在这样一种大前提下,应运而生它是目前世界范围内增长最快的CAE软 件,也是迄今为止上世界范国内唯一通过SO9001质量认证的分析设计类软件,是美国机械工 程师协会(ASME)、国核安全局(NQA)及近种专业技术协会认证的标准分析软件

感知器是由美国计算机科学家罗森布拉特(f. Roseblatt)于1957年提出 的。感知器可谓是最早的人工神经网络单层感知器是一个具有一层神经元、 采用阈值激活函数的前向网络。通过对网络权值的训练,可以使感知器对一组 输人矢量的响应达到元素为0或1的目标输出,从而实现对输人矢量分类的目 的

7.1人工智能概述 人工智能( Artificial Intelligence)简称A,它是计算机科学的一个重要的研究领 域。近40年以来获得了迅速的发展,在很多领域都获得了广泛的应用

每当难以对一个函数进行积分、微分或者解析上确定一些特殊的值时,就可以借助计 算机在数值上近似所需的结果。这在计算机科学和数学领域,称之为数值分析。至此,可以 猜到, MATLAB提供了解决这些问题的工具。本章将介绍这些工具的使用

2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用