计算机科学理论与基础知识
-
计算机网络刘桂江 主编本书是计算机类和通信工程等专业的课程教材，主要内容包括计算机网络概述、物理层与数据通信基础、数据链路层、局域网、网络层、网络互联技术和综合布线技术、传输层协议、应用层协议、网络管理与信息安全、网络新技术等。本次修订更新对网络发展现状和网络技术的介绍，更新相关习题，引进企业网络案例，增加使用Wireshark截获实际网络中的分组包的介绍，配备教学视频。修订后的图书更加科学系统，完善丰富，知识性和指导性更强。本书可作为高等学校计算机及相关专业的教材，亦可供从事计算机网络工程技术和运行管理的人员参考。 -
基于Petri网的计算树逻辑模型检测刘关俊,何雷锋本书主要介绍原型 Petri 网、知识 Petri 网、带有优先级的时间 Petri网，用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模，如刻画并发、选择、冲突、多方交互、多方认知过程、（抢占式）资源分配、事件的实时性约束等。本书介绍的计算树逻辑、知识计算树逻辑、时间计算树逻辑等可以用于规约这些系统所关注的设计需求，如无死锁、公平性、隐私性、可调度性、最坏执行时间等。本书重点介绍使用这些 Petri 网模型验证以上时序逻辑的算法。另外，本书介绍简化有序二叉决策图，介绍如何将其用于表达 Petri 网的状态、状态间的迁移关系及状态间的等价关系，并将其应用于计算树逻辑与 知识计算树逻辑的模型检测上。 -
可适应设计方法及应用顾佩华,薛德意,彭庆金,张健本书提供了适应性设计（AD）的全面研究，从构思概念、开发方法和应用到AD的真实世界产品设计，通过扩展AC的设计和物理产品的实用性，可以实现实质性的益处。AD的主要元素包括合理化的功能结构、可适应的产品架构、可适应接口和适应性评估。AD原则的关键方面是适应性，包括设计适应性、产品适应性、一般适应性和特定适应性，以及适应性的建模和评估。对这些方面的详细讨论是为了理解AD。还描述了在软件中实现AD和设计应用的方法、工具和技术。包括AD的应用示例，以说明如何在实际产品设计中使用AD。*后，强调了人工智能、大数据、物联网、云技术等先进技术以及元宇宙和Web3.0时代AD的未来发展。 -
室内定位（法）Nel Samama（尼尔-萨马玛）室内定位是指在室内环境中实现定位，主要采用无线通信、基站定位、惯性导航定位、动作捕捉等多种技术集成形成一套室内位置定位体系，进而实现人员、物体等在室内空间中的位置监控。本书从理论和实践角度探索室内定位的各个方面，描述各种定位方法的优缺点，包括基于传感器、相机、卫星和其他基于无线电的方法，以及红外传感器、激光、激光雷达、RFID、UWB、蓝牙、图像SLAM、Li-Fi、Wi-Fi、室内GNSS、条形码、图像识别、近场通信和二维码等技术。本书可作为室内定位工程师、工业和应用程序开发人员的参考用书，也可供无线通信和信号处理领域的人员学习。 -
智能控制理论及应用张悦，董泽，翟永杰 编本书为全国电力行业“十四五”规划教材。本书理论联系实际，以火力发电过程为工程背景，结合燃煤机组智能化建设，介绍了智能控制算法在建模，仿真、优化、控制等方面的应用。首先，系统全面地介绍了自动控制理论的发展历史及智能控制理论的发展应用现状;描述了智能控制系统的一般结构，为后续各章节的理论介绍及程序设计莫定基础;从工程应用角度出发。结合实例对象仿真，论述可以用于不同场合的自动控制系统数字仿真的离散相似法和数值积分法;论述了单纯形法等经典优化方法以及遗传算法、蚁群算法、粒子群算法等群体智能优化算法，通过具体实例描述了优化方法在控制器参数寻优及模型辨识中的应用过程;介绍了模糊控制的数学基础：模糊数学的基础知识，分析了经典模糊控制器和 TS模糊控制器的设计过程，并通过不同的实例展示了控制器设计的细节;介绍了神经网络的基本原理、学习方法和常见的浅层网络，论证了神经网络用于参数辨识、故障诊断、回路控制的方法，通过具体工程实例论证了不同类型神经网络控制系统的设计与实现过程。 -
Actran声学仿真分析标准教程周泽 白玉儒 白长安本书基于Actran 2020系统地介绍Actran的各种基本功能和声学模拟分析中常用的分析方法。全书分为 9 章，主要内容有声学基本理论、Actran软件模块功能与基本理论、辐射噪声的直接频响分析、模态分析及管道声模态在管道声传播中的应用、振动声学仿真的直接频响法、振动声学仿真的模态频响法、声波的耗散吸收分析、虚拟统计能量分析法、气动声学分析法等知识。本书适合作为各类院校相关专业学生的辅导教材，也适合作为声学工程分析相关科研院所研究人员的科研参考资料。 -
人机交互中的用户行为研究武汇岳暂缺简介... -
算法分析进阶[美]蒂姆·拉夫加登本书源于斯坦福大学的研究生课程，由40位学者联袂撰写，旨在推广zui坏情况分析的替代方法，以及这些方法的应用，包括聚类、线性规划和神经网络训练等。 -
人工智能-AI绘画教程郑磊磊编 著.暂缺简介... -
机器视觉理论与实践张德好"本书介绍了机器视觉的基本理论，内容涵盖视觉系统的构成、标定和视觉测量、检测。本书将理论与实践密切结合，不仅以简明方式提供了理论综述和数学背景，还基于作者多年项目经验，提供了面向问题的算法设计过程，同时穿插了数值优化的编程技术。本书通过具体案例的应用实践，加深读者对相关方法的理解，提高灵活运用和解决实际问题的能力。本书适合计算机科学与技术、人工智能、自动化等相关领域专业技术人员作为参考书。"
