扫一扫
关注中图网
官方微博
出版社：
- 科学出版社(3)
- 科学出版社(3)
- 上海辞书出版社(1)
- 上海辞书出版社(1)
- 中国轻工业出版社(1)
- 中国轻工业出版社(1)
- 北京师范大学出版社(1)
- 北京师范大学出版社(1)
- 清华大学出版社(1)
- 清华大学出版社(1)
- 北京师范大学出版社(1)
- 北京师范大学出版社(1)
- 科学出版社(3)
- 科学出版社(3)
- 清华大学出版社(1)
- 清华大学出版社(1)
- 上海辞书出版社(1)
- 上海辞书出版社(1)
- 中国轻工业出版社(1)
- 中国轻工业出版社(1)
-
鉴赏辞典唐诗鉴赏辞典(新1版)(精)
¥70.4(5.5折)定价:¥128.0本书共收唐代190多位诗人的诗作1100余篇。 本书是以该书第二版为基础，对全书的版面、版式、字体、字号、封面进行重新设计，并拟增加与内容相符的木刻版画、书法作品插入正文，将原来正文的小五号字体放大为五号，使版面更加赏心悦目。全面提升本书的档次和品位，以满足不同文化消费层次的读者需要...
-
玉笥集.静思先生诗集-元代古籍集成-第二辑
¥86.9(6.3折)定价:¥138.0本书为元代古籍集成集部别集类之一，收入《玉笥集》和《静思先生诗集》，作者张宪和郭钰皆为元代著名士人，前者咏史诗极力褒誉匡扶社稷的忠臣良将，嘲讽、批判祸乱朝纲的阉宦权佞与颠覆社稷的叛臣贼子，无疑正是对当下的响应；后者遭遇元末动乱，辗转兵戈，流离失所，亲见乱离之状，其所作诗歌，亦多慷慨愁苦之词，具有很高的艺术价值...
-
新型烟用香料开发及加香技术
¥73.5(7.5折)定价:¥98.0本书第一部分采用生物技术、美拉德反应、焦糖化反应、膜分离技术等方法开发新型食用、烟用香料。第二部分针对不同的香精香料选择不同方法来制备不同规格的微胶囊，起到保护香料，控制释放的效果，并将其应用于食品、卷烟等轻工领域；第三部分新型爆珠的开 发及应用研究...
-
拉格朗日力学理论的形式化与机器人动力学形式化分析
¥66.0(7.4折)定价:¥89.0为了确保机器人运动学设计的安全性和可靠性，解决传统的机器人测试用例与仿真用例受限，测试与仿真均无法接近覆盖所有可能路径等非完备性问题。本书聚焦机器人运动学相关理论的形式化建模与定理库构建，重点针对泛函变分、拉格朗日力学的形式化及在机器人设计中的应用验证，并探索解决完备验证的自动化难题...
-
哈密顿力学理论的形式化与机器人动力学形式化分析
¥66.0(7.4折)定价:¥89.0本书系统深入地研究了辛几何理论、哈密顿动力学的公理化体系，并以四自由度串联机器人为例，研究了基于哈密顿动力学系统的形式化分析与验证方法的应用，为机器人动力学的安全设计提供了形式化验证理论和技术手段。全书主要内容包括：哈密顿模型的几何基础——辛流形空间的形式化、哈密顿模型和拉格朗日模型的勒让德映射关系的形式化、哈密顿方程的形式化和机器人动力学的形式化建模与分析。内容涉及交互式定理证明、机器人、形式化验证等人工智能领域。 本书可作
-
矩阵结构与矩阵函数的形式化
¥59.5(7.6折)定价:¥78.0在使用ITP技术来验证日趋复杂的现代工程应用问题时，特别是涉及有关微积分等理论的复杂数学分析问题的形式化证明时，因缺乏矩阵分析理论基础定理库的支持，其证明还异常困难或无法实现。为了解决ITP技术在验证这些复杂问题时所面临的技术障碍，提高系统的安全等级，本书以矩阵分析理论的形式化作为基本任务，旨在构建一个用户友好的形式化数学体系，并将该体系运用于实际物理问题的证明...
-
ChatGPT大模型:技术场景与商业应用(新时代·科技新物种)
¥58.7(7.4折)定价:¥79.0ChatGPT作为人工智能领域的一大进步，引起了热议，其强大功能的背后离不开大模型的支持。大模型指的是参数规模超过千万的机器学习模型，主要应用于语音识别、计算机视觉等领域。本书聚焦大模型，对大模型的技术场景和商业应用展开详细叙述。本书主要从典型应用ChatGPT入手，探寻其背后支撑大模型的魅力。首先，本书对大模型的基础概念、产业格局、带来的新型商业模式进行讲解，展现了大模型的发展现状和商业化潜力。其次，本书从数据服务、智能搜索、办公工
