计算机/网络
-
使用SystemVerilog进行RTL建模(美)斯图尔特·萨瑟兰(Stuart Sutherland)《使用System Verilog进行RTL建模——基于System Verilog的ASIC与FPGA设计》几乎涵盖使用SystemVerilog在RTL层面对ASIC和FPGA进行建模的所有方面,旨在为数字IC设计工程师提供全面的学习与参考资料。《使用System Verilog进行RTL建模——基于System Verilog的ASIC与FPGA设计》基于SystemVerilog-2017标准,*先阐述SystemVerilog与传统Verilog的区别,以及其在仿真和综合中的作用,并对RTL和门级建模等抽象级别进行定义;接着深入探讨多种数据类型,包括线网和变量类型、用户自定义类型等,详细说明其使用方法和注意事项;对于运算符和编程语句,《使用System Verilog进行RTL建模——基于System Verilog的ASIC与FPGA设计》也进行了全面讲解,强调如何正确使用它们编写可综合的RTL模型。此外,《使用System Verilog进行RTL建模——基于System Verilog的ASIC与FPGA设计》各章节包含丰富示例和代码片段,聚焦特定SystemVerilog构造,展示了如何在实际设计中运用相关知识。同时,针对ASIC和FPGA的建模特点,讨论了不同技术对RTL建模风格的影响,并提供了相应的编码建议。附录部分还汇总了*佳实践指南,列出了关键字集,并提供了额外资源,方便读者查阅和进一步学习。 -
ComfyUI+Flux+SDXL商业应用入门到精通雷波 编著本书深入而系统地阐述了人工智能绘画软件ComfyUI的全方位应用技巧,从基础的软件安装与配置步骤,到深入解析文生图与图生图功能中各个参数的精妙作用,再到详解如何利用ControlNet技术实现图像创作的精准操控,直至引领读者掌握自主训练LoRA模型,最终实现批量化方式创造高质量个性化图像的目的。本书不只局限在Stable Diffusion(以下简称SD)1.5版本的内容讲解,根据SD的发展,本书还详细讲解了SDXL、Flux以及SD3.5模型的工作流以及LoRA的训练等相关内容。鉴于ComfyUI操作的复杂性和参数设置的多样性,作者巧妙地融入了丰富的对比实例、操作示例图及软件界面截图,图文并茂,旨在通过这种直观的方式,引导初学者循序渐进地跟随指引,确保每一步操作都能准确无误,进而达到预期的创作效果。本书不仅是一部内容丰富、技术解析详尽的自学宝典,对于AI绘画爱好者、AI视觉领域的专业人士及图像处理行业的从业者而言极具参考价值;同时,其全面的知识体系也完全适合作为视觉传达与影像处理等相关专业的教材,助力学生掌握前沿技术,提升实践能力。 -
智能制造张和明、赵骥、胡冰、孔凡利本书共分三篇。 第一篇介绍了智能制造基础,包括工业智能化的技术发展综述、典型国家的智能制造体系架构、航空工业企业智能制造架构解析和智能制造能力成熟度模型。 第二篇讨论了智能制造核心技术,包括感知技术中的信号与数据、产品数字化建模与设计制造集成技术、产品设计仿真与制造工艺过程仿真和生产系统建模与仿真技术、数字孪生技术、先进制造技术与机器人技术、工业大数据与人工智能技术和智能制造中的工业软件与知识工程。 第三篇篇介绍了智能制造系统实施。通过大量的具体案例,介绍了设备级、产线级、工厂级的智能制造系统的构建方法。国内外航空工业智能制造的实践案例,集中展现了数字化智能化技术的深度应用。 -
精益数据分析石强内容简介这是一本能指导不同业态、不同阶段的产品、项目和企业利用精益数据分析方法实现科学的商业决策(管理)和业务增长(经营)的著作,提供了一套完整的、系统的商业数据思维、数据分析方法及其应用模型。本书不仅融合了作者近10年来50余个商业项目和产品的实战经验,而且分析和总结了近些年流行的、经典的20余种商业应用和商业模式,从数据层面完整剖析了其商业链路、业务逻辑、指标量化水平和数据驱动分析方法。所提炼的数据方法论贯穿了不同产品形态的业务流程,能够从数据层面帮助和指导创新业务和成熟业务有效增长。全书一共17章,分为三个部分。第一部分 面向北极星指标(第1~4章)详细讲解了数据分析体系和业务内核中的北极星指标,旨在帮助读者了解商业和业务分析中的数据指标体系、数据工作流程和关键的北极星指标,并认识到核心数据指标的作用和应用逻辑。第二部分 不同产品形态的商业决策分析(第5-10章)总结和分析了近些年市场上典型和热门的商业模式,完整展现了不同业务形态(免费产品、付费产品、游戏业务和金融产品等)的商业链路、商业数据模型和分析逻辑,使读者能够清晰地了解不同业务的数据逻辑和核心指标的经典量化水平,帮助读者深度思考业务模式和商业决策。第三部分 业务增长中的精益数据分析(第11-17章)阐述了完整业务链路中涉及的关键业务模块(业务组织、营销获客、用户洞察、产品运营和商业变现等),以及不同业务单元中涉及的精益数据分析方法、分析技巧和业务优化方法,能够有效指导业务深度优化,使关键指标达到目标或超出预期,赋能业务增长。 -
编译器构造[美]查尔斯·N.费希尔,[美]罗恩·K.塞隆,[美]理查德·J.勒布朗本书面向初学者,从编译器构造的角度进行分析,旨在帮助读者深入理解编译器的设计原理和方法。全书共14章,主要内容包括:词法分析和语法分析、语法制导翻译、符号表和声明处理、语义分析、虚拟机代码、运行时支持、目标代码生成等。全书内容安排紧凑合理,对编译器构造的基本知识与关键技术进行了深入浅出的讲解,并提供了详尽清晰的算法,倡导在实践中学习编译器构造的相关技术。本书不仅可作为计算机专业本科生或研究生的教材,也适合作为相关领域技术人员的参考书。 -
计算机科学导论主编:战德臣;副主编:聂兰顺,李骏扬,王立松,蔡宇辉,李戈,李雪,张丽杰暂缺简介... -
计算机组成与实现高小鹏,万寒本书是计算机领域本科教育教学改革试点工作计划(“101计划”)系列教材之一,以开发一个具有数十条指令规模且能够通过严格测试的功能型CPU为挑战性学习成果,培养学生掌握基于模型的CPU开发方法,进而具备分析、设计和开发计算机硬件系统的基本能力,为后续专业学习与职业发展奠定坚实基础。本书根据设计一台计算机的教学要求,将传统意义上的汇编语言和计算机组成两门课程的相关知识进行重构,重点讲授数据表示与运算方法、计算机指令与汇编语言、单周期CPU、多周期CPU、流水线CPU、存储层次、输入输出和MIPS微系统等内容。同时,创新性地介绍系列化的“CPU形式建模综合方法”,并以“系统设计详解”的形式讲解系统设计中的思考重点与取舍精要。为了满足读者对在线开放学习的需求,本书配套建设了重难点知识点视频、相关工具操作视频、教学课件、难度递进的实验体系和自动评测系统。上述所有教学资源均部署在希冀平台,便于读者在线实践。本书可作为高校本科计算机类专业计算机组成课程教材,也可供有关技术人员参考。 -
计算机科学导论战德臣 张丽杰暂缺简介... -
大学计算机郝兴伟本书定位于计算机通识教育,以培养学生计算思维,提高学生科学修养、信息素养和计算机应用能力为教学目标,为各学科与计算学科的交叉融合提供计算学科基础知识。本书以“领域问题+计算”计算思维培养模式为主线,共分为七章,分别是:绪论,介绍知识、学习、认知、思维和逻辑等跨学科范畴的通识性知识,阐明计算科学在科学研究和知识创新中的重要性;计算与计算机,讲解现代电子计算机的发明、数据进制、字符编码、计算机硬件组成、计算机操作系统;问题求解与算法,从方法论的视角介绍问题及问题求解策略与基本过程,算法及复杂性,以及常见的问题求解算法;数据与数据结构,讲解数据结构的概念,数据结构在软件编程中的重要性,讲解线性表、树和图结构的逻辑结构、物理存储结构及常用操作算法;计算机程序,讲解计算机程序的概念,编程思想,以及软件开发的基本过程,并以C/C++语言为例,讲解程序设计语言的基本构成及面向对象技术;计算机网络,介绍计算机网络的概念、起源和发展历程,讲解OSI网络分层思想,网络协议的智慧;讲解信息安全的概念、目标和主要安全威胁,讲解数据加密模型及密码体制;计算科学前沿,介绍计算领域的学术和技术前沿及发展趋势。本书可作为普通高等学校非计算机专业“大学计算机”课程的教材,也可作为计算机爱好者的自学用书。 -
计算机与网络多媒体主编 刘祖珉 魏琴 副主编 刘焕君 李思明 鲁红英暂缺简介...
