本书详细阐述了与碰撞检测问题相关的高效解决方案及相应的数据结构和算法，主要包括：碰撞检测系统中的设计问题、数学和几何学入门、包围体、基本图元测试、层次包围体技术、空间划分、BSP树层次结构、凸体算法、基于GPU的碰撞检测、数值健壮性、几何健壮性以及优化操作。另外，本书还提供了相应的算法、代码以及伪代码，以帮助读者进一步理解计算方案的实现过程。 本书适合作为高等院校计算机及相关专业的教材和教学参考书，也可作为相关开发人员的自学教材和参考手册。

《可计算一般均衡建模初级教程》内容简介：CGE模型的特点和强项决定了它的研究对象通常聚焦于国民经济发展的重大战略或政策问题，因而其研究和应用工作在外通常受到高等院校、科研机构或决策部门的青睐。计量经济学目前在我国已经相当普及，多数经管类院校都讲授至少初、中级水平的课程，各种应用也比比皆是，而可计算一般均衡模型的课程教学和应用研究却凤毛麟角，只见少数学术科研机构有所提及，仅为少数专家学者掌握和承担。另一方面，CGE模型的现实应用领域却相当广泛，现实应用价值很高，是国际重大战略问题和政策研究不可或缺的工具。同时，CGE模型也是经济学界普遍认可的一种规范研究工具，其成果在高质量国际学术期刊上占据不小的比例，被接纳率较高。

粒子群优化（PSO）算法是一种基于群体智能的新兴演化计算技术，广泛用于解决科学研究和工程实践中的优化问题。本书主要阐述粒子群优化算法的基本理论及其在机械故障诊断和机械工程测试中的应用成果。全书共5章，至3章介绍了PSO算法的原理和各种改进、变体PSO算法的原理，第4章介绍了PSO算法在机械工程领域的应用，第5章介绍了PSO算法在其他工程领域的应用。 本书可作为机械工程、自动化等专业高年级本科生和研究生的学习参考书，也可供工程技术人员及研究人员参考使用。

本书详细阐述了与碰撞检测问题相关的高效解决方案及相应的数据结构和算法，主要包括：碰撞检测系统中的设计问题、数学和几何学入门、包围体、基本图元测试、层次包围体技术、空间划分、BSP树层次结构、凸体算法、基于GPU的碰撞检测、数值健壮性、几何健壮性以及优化操作。另外，本书还提供了相应的算法、代码以及伪代码，以帮助读者进一步理解计算方案的实现过程。 本书适合作为高等院校计算机及相关专业的教材和教学参考书，也可作为相关开发人员的自学教材和参考手册。

这是一本专注于用户研究和用户体验的经典读物，同时也是一本容易上手的实战手册，从实践者的角度，着重讨论和阐述了用户研究的重要性、主要的用户研究方法和工具，同时借助于实例介绍了相关的应用。全书共3部分18章，深度剖析了何为的用户设计，用户体验包括哪些研究方法和工具，如何得出和分析用户体验调查结果等。 本书适合设计人员和高等院校设计类学生阅读和参考，也适合任何一个希望有所建树的各界策划和设计人员阅读。

本书对形式概念的理论进行了全面系统地论述，第0章介绍了序理论基础，、2章分别论述了形式背景与形式概念、概念格的确定与表示，第3、4、5、6章分别研究了部分和因子、概念格的分解、概念格的构造、概念格的性质，第7章论述了形式背景比较和概念测量。 本书是软件工程、数据挖掘及知识发现、类层次设计、视频音频格实例匹配及分类、数字图书馆及文献检索等领域，及相关学科领域的广大科技工作者和工程技术人员的研究及学习用书，对计算机、自动化及数学等专业的博士生、硕士生及高年级学生也有重要的参考价值。·

这是一本专注于用户研究和用户体验的经典读物，同时也是一本容易上手的实战手册，从实践者的角度，着重讨论和阐述了用户研究的重要性、主要的用户研究方法和工具，同时借助于实例介绍了相关的应用。全书共3部分18章，深度剖析了何为的用户设计，用户体验包括哪些研究方法和工具，如何得出和分析用户体验调查结果等。 本书适合设计人员和高等院校设计类学生阅读和参考，也适合任何一个希望有所建树的各界策划和设计人员阅读。

本书对形式概念的理论进行了全面系统地论述，第0章介绍了序理论基础，、2章分别论述了形式背景与形式概念、概念格的确定与表示，第3、4、5、6章分别研究了部分和因子、概念格的分解、概念格的构造、概念格的性质，第7章论述了形式背景比较和概念测量。 本书是软件工程、数据挖掘及知识发现、类层次设计、视频音频格实例匹配及分类、数字图书馆及文献检索等领域，及相关学科领域的广大科技工作者和工程技术人员的研究及学习用书，对计算机、自动化及数学等专业的博士生、硕士生及高年级学生也有重要的参考价值。·

本书由2017年图灵奖得主Patterson和Hennessy共同撰写，是计算机体系结构领域的经典书籍，强调软硬件协同设计及其对性能的影响。本书采用开源的RISC-V指令系统体系结构, 讲解硬件技术、

本书从实际应用入手，结合作者自身多年从事AVR单片机竞赛培训与课堂教学的经验基础，以具体应用实例为引导，由浅入深、循序渐进地讲述了AVR单片机的硬件结构，在CodeVisionAVR环境下的编程方法及实例应用。本书以引导读者快速掌握对ATmega128单片机的编程开发为目的，详细介绍了ATmega128单片机内部结构和外围接口的特点、性能及其指令系统。在此基础上，介绍了CodeVisionAVR集成开发环境编译器使用C语言的相关知识。书中加入了大量的C语言实例程序，且均在CodeVisionAVR开发环境下编译通过。全书共分为13章，内容包括实用电子基础知识，数字电子电路基础，AVR单片机简介，CodeVisionAVRC编译开发环境，基本程序命令与I/O引脚，显示器件原理及应用，AD与DA，基本中断，定时/计数器，串口通信，电机控制，应用实验，轮式智能移动平台的开发与应用。

在软件主宰世界的当下，软件行业发展迅猛，成为让人关注的领域。从史前的计算需求，从1930年到2019年，作者从大历史观的角度追古鉴今，从大趋势，典型企业，赢家和输家，新技术，生产力/质量问题，方法，工具，语言，风险等角度，勾勒出波澜壮阔的软件工程发展史，检视软件工程发展史上的重要发明，把脉软件行业并指出企业、职业兴衰的底层原因，同时还对一些的软件企业商业模式有所涉猎。 本书引人入胜，读起来让人娓娓难以释卷，是一本见微知著、令人醍醐灌顶的通史，非常适合软件工程和信息技术相关专业的学生、从业人员与有志于科技创新创业的人阅读和参考。