本书全面系统地介绍了模型检验的一般原理、应用工具及软硬件系统的建模与验证方法，同时介绍了克服模型检验中“状态空间爆炸”问题的有效途径，可作为计算机科学与技术、软件工程等专业本科生、研究生的教材，也可作为模型检验领域研究人员及注重系统可靠性的设计与开发人员的参考书。

本书全面系统地介绍了模型检验的一般原理、应用工具及软硬件系统的建模与验证方法，同时介绍了克服模型检验中“状态空间爆炸”问题的有效途径，可作为计算机科学与技术、软件工程等专业本科生、研究生的教材，也可作为模型检验领域研究人员及注重系统可靠性的设计与开发人员的参考书。

AIGC的应用领域日益广泛，而在图像生成领域，扩散模型则是AIGC技术的一个重要应用。本书以扩散模型理论知识为切入点，由浅入深地介绍了扩散模型的相关知识，并以大量生动有趣的实战案例帮助读者理解扩散模型的相关细节。全书共8章，详细介绍了扩散模型的原理，以及扩散模型退化、采样、DDIM反转等重要概念与方法，此外还介绍了Stable Diffusion、ControlNet与音频扩散模型等内容。最后，附录提供由扩散模型生成的高质量图像集以及Hugging Face社区的相关资源。本书既适合所有对扩散模型感兴趣的AI研究人员、相关科研人员以及在工作中有绘图需求的从业人员阅读，也可以作为计算机等相关专业学生的参考书。

AIGC的应用领域日益广泛，而在图像生成领域，扩散模型则是AIGC技术的一个重要应用。本书以扩散模型理论知识为切入点，由浅入深地介绍了扩散模型的相关知识，并以大量生动有趣的实战案例帮助读者理解扩散模型的相关细节。全书共8章，详细介绍了扩散模型的原理，以及扩散模型退化、采样、DDIM反转等重要概念与方法，此外还介绍了Stable Diffusion、ControlNet与音频扩散模型等内容。最后，附录提供由扩散模型生成的高质量图像集以及Hugging Face社区的相关资源。本书既适合所有对扩散模型感兴趣的AI研究人员、相关科研人员以及在工作中有绘图需求的从业人员阅读，也可以作为计算机等相关专业学生的参考书。

痕迹检验技术是刑事科学技术的组成部分之一，在刑事案件的侦破过程中发挥着重要的作用。《痕迹检验》全面地反映了我国痕迹检验的理论和最新成果，同时在全书结构和编写体例上做了创新性安排。本书在内容体系上，借鉴传统的方法将痕迹检验分为概述、手印检验、足迹检验、工具痕迹检验、枪弹痕迹检验以及其他痕迹检验等六部分。在具体内容上，按照系统性、实用性的原则，阐述各研究对象的基础知识。详细介绍在犯罪现场寻找、发现、显现、提取和包装各种痕迹的方法，重点阐释了各种痕迹的种类特征、个别特征的识别以及鉴定程序和方法。

★AIGC的应用领域日益广泛，而在图像生成领域，扩散模型则是AIGC技术的一个重要应用。 ★本书以扩散模型理论知识为切入点，由浅入深地介绍了扩散模型的相关知识，并以大量生动有趣的实战案例帮助读者理解扩散模型的相关细节。 ★本书既适合所有对扩散模型感兴趣的AI研究人员、相关科研人员以及在工作中有绘图需求的从业人员阅读，也可以作为计算机等相关专业学生的参考书。 ◎内容简介： 全书共8章，详细介绍了扩散模型的原理，以及扩散模型退化、采样、DDIM反转等重要概念与方法，此外还介绍了Stable Diffusion、ControlNet与音频扩散模型等内容。最后，附录提供由扩散模型生成的高质量图像集以及Hugging Face社区的相关资源。 ◎专业书评： 本书系统地介绍了扩散模型的原理和相关细节，同时书中丰富的实战案例也将引领读者快速上手扩散模型。对于任何想...(展开全部)

★AIGC的应用领域日益广泛，而在图像生成领域，扩散模型则是AIGC技术的一个重要应用。 ★本书以扩散模型理论知识为切入点，由浅入深地介绍了扩散模型的相关知识，并以大量生动有趣的实战案例帮助读者理解扩散模型的相关细节。 ★本书既适合所有对扩散模型感兴趣的AI研究人员、相关科研人员以及在工作中有绘图需求的从业人员阅读，也可以作为计算机等相关专业学生的参考书。 ◎内容简介： 全书共8章，详细介绍了扩散模型的原理，以及扩散模型退化、采样、DDIM反转等重要概念与方法，此外还介绍了Stable Diffusion、ControlNet与音频扩散模型等内容。最后，附录提供由扩散模型生成的高质量图像集以及Hugging Face社区的相关资源。 ◎专业书评： 本书系统地介绍了扩散模型的原理和相关细节，同时书中丰富的实战案例也将引领读者快速上手扩散模型。对于任何想...(展开全部)

本书从技术角度深度解析大模型的原理，从大模型的基础概念及领域发展现状入手，概述大模型的理论基础，介绍OpenAI GPT、清华大学GLM、Meta Llama等主流大模型的技术原理，并从大模型参数高效微调、大模型指令微调、大模型训练优化和大模型推理优化等多角度解析大模型背后的技术，带领读者全方位掌握大模型的原理和实践方法。本书最后介绍私有大模型的构建，手把手指导读者做技术选型并搭建自己的私有大模型。 本书适合人工智能领域有大模型开发需求或对大模型技术感兴趣的技术人员阅读，也适合普通用户扩展了解大模型的前沿应用。

本书从技术角度深度解析大模型的原理，从大模型的基础概念及领域发展现状入手，概述大模型的理论基础，介绍OpenAI GPT、清华大学GLM、Meta Llama等主流大模型的技术原理，并从大模型参数高效微调、大模型指令微调、大模型训练优化和大模型推理优化等多角度解析大模型背后的技术，带领读者全方位掌握大模型的原理和实践方法。本书最后介绍私有大模型的构建，手把手指导读者做技术选型并搭建自己的私有大模型。 本书适合人工智能领域有大模型开发需求或对大模型技术感兴趣的技术人员阅读，也适合普通用户扩展了解大模型的前沿应用。

看一眼脚印，就能推测出凶手年纪； 稀释到1/500000的血迹，也逃不过他们的眼睛； 这些普通人无法解读，甚至无法察觉的痕迹，都能被他们这个特殊的职业——痕迹检验师用来锁定真凶。 本书作者红眸从事法医工作多年，是痕迹检验组的核心成员。他曾出入成百上千个现场，通过精斑、尸绿、皮革样损伤、V 形烟熏等蛛丝马迹，追查出形形色色的凶手。现在他通过亲历的12宗案件，带您踏进真实的痕迹检验现场。 凶手把杀人真相写进小说中，挣了上百万；自缢身亡的尸体，脚尖却古怪地往上翘起……不论多么千奇百怪的杀人手法，不论被清理得多么彻底的犯罪现场，红眸与他的同事都能通过DNA 测序、发光氨试验、压痕分析法等38种看家本领，挖掘出关键物证，揭开嫌疑人的真实身份。 【编辑推荐】 1.法医红眸，曾登上美国《时代周刊》，被央视新闻两度报道。从事法医工作10年，处理刑事案件超过300宗。...(展开全部)