icccc2023

数据挖掘（英语：data mining）是一个跨学科的计算机科学分支 。它是用人工智能、机器学习、统计学和数据库的交叉方法在相对较大型的数据集中发现模式的计算过程。数据挖掘过程的总体目标是从一个数据集中提取信息，并将其转换成可理解的结构，以进一步使用

专家系统是早期人工智能的一个重要分支，它可以看作是一类具有专门知识和经验的计算机智能程序系统，一般采用人工智能中的知识表示和知识推理技术来模拟通常由领域专家才能解决的复杂问题。一般来说，专家系统=知识库+推理机，因此专家系统也被称为基于知识的系统。一个专家系统必须具备三要素： 专家系统适合于完成那些没有公认的理论和方法、数据不精确或讯息不完整、人类专家短缺或专门知识十分昂贵的诊断、解释、监控、预测、规划和设计等任务

虚拟现实（英语：virtual reality，缩写VR），简称为虚拟技术，也称虚拟环境，是利用电脑模拟产生一个三维空间的虚拟世界，提供用户关于视觉等感官的模拟，让用户感觉仿佛身历其境，可以即时、没有限制地观察三维空间内的事物。用户进行位置移动时，电脑可以立即进行复杂的运算，将精确的三维世界影像传回产生临场感。该技术集成了电脑图形、电脑仿真、人工智能、感应、显示及网络并行处理等技术的最新发展成果，是一种由电脑技术辅助生成的高技术模拟系统

聊天机器人（ChatBot）是经由对话或文字进行交谈的计算机程序。能够模拟人类对话，通过图灵测试。聊天机器人可用于实用的目的，如客户服务或资讯获取

实体造型（英语：Solid modelling）是用于数学和电脑建模的三维实体上的一组连贯原则，它和几何模型以及计算机图形的差别主要在于它对物理尺度保真度的强调。几何模型和实体模型一同构成电脑辅助设计的根基，一般可以协助物理实体的创造、交换、可视化、制作动画、检查和注解。实体造型的主要应用领域是计算机辅助设计、工程分析、计算机图形学、动画、快速原型（rapid prototyping）、医疗测试和科学研究的可视化（visualization）

数理逻辑（英语：Mathematical logic）是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。数理逻辑的研究范围是逻辑中可被数学模式化的部分

印刷电路板，又称印制电路板，印刷线路板，常用英文缩写PCB（Printed circuit board）或PWB（Printed wire board），是电子元件的支撑体，在这其中有金属导体作为连接电子元器件的线路。传统的电路板，采用印刷蚀刻阻剂的工法，做出电路的线路及图面，因此被称为印刷电路板或印刷线路板。由于电子产品不断微小化跟精细化，目前大多数的电路板都是采用贴附蚀刻阻剂（压膜或涂布），经过曝光显影后，再以蚀刻做出电路板

软件配置管理（Software Configuration Management，简称：SCM），又称软件形态管理、或软件建构管理，简称软件形管。界定软件的组成项目，对每个项目变更进行管控（版本控制），并维护不同项目之间的版本关系，以使软件在开发过程中任一时间的内容都可以被追溯，包括某几个具有重要意义的数个组合，例如某一次交付给客户的软件内容。SCM的简称已经扩展为“源代码配置管理”（source configuration management）以及“软件修改及配置管理” （software change and configuration management）