TOP
0
0
【簡體曬書區】 單本79折,5本7折,活動好評延長至5/31,趕緊把握這一波!

縮小範圍


商品類型


簡體書 (5)

商品狀況


可訂購商品 (5)

庫存狀況


有庫存 (1)
無庫存 (4)

商品定價


$400~$599 (5)

出版日期


2022~2023 (3)
2020~2021 (1)
2018~2019 (1)

裝訂方式


平裝 (5)

作者


史春奇、卜晶禕、施智平 (1)
施智平、王國輝、關永、王瑞 (1)
施智平等 (1)
關永、張景芝、施智平、李曉娟 (1)
關永、李黎明、施智平 (1)

出版社/品牌


科學出版社 (4)
清華大學出版社(大陸) (1)

三民網路書店 / 搜尋結果

5筆商品,1/1頁
哈密頓力學理論的形式化與機器人動力學形式化分析(簡體書)
滿額折

1.哈密頓力學理論的形式化與機器人動力學形式化分析(簡體書)

作者:施智平; 王國輝; 關永; 王瑞  出版社:科學出版社  出版日:2022/09/01 裝訂:平裝
本書系統深入地研究了辛幾何理論、哈密頓動力學的公理化體系,並以四自由度串聯機器人為例,研究了基於哈密頓動力學系統的形式化分析與驗證方法的應用,為機器人動力學的安全設計提供了形式化驗證理論和技術手段。全書主要內容包括:哈密頓模型的幾何基礎――辛流形空間的形式化、哈密頓模型和拉格朗日模型的勒讓德映射關係的形式化、哈密頓方程的形式化和機器人動力學的形式化建模與分析。內容涉及交互式定理證明、機器人、形式化驗證等人工智能領域。
定價:534 元, 優惠價:87 465
庫存:1
矩陣結構與矩陣函數的形式化(簡體書)
滿額折

2.矩陣結構與矩陣函數的形式化(簡體書)

作者:施智平等  出版社:科學出版社  出版日:2023/09/01 裝訂:平裝
《矩陣結構與矩陣函數的形式化》系統深入地闡述了矩陣結構和矩陣函數的公理化體系,並給出基於此公理體系進行形式化分析與驗證的應用。主要內容包括:矩陣結構的形式化;矩陣序列與矩陣級數理論的形式化;矩陣函數微分的形式化;矩陣理論的自動化定理證明;矩陣理論公理化系統在信息或物理系統形式化建模驗證中的應用。
定價:468 元, 優惠價:87 407
海外經銷商無庫存,到貨日平均30天至45天
幾何代數的形式化與初步應用(簡體書)
滿額折

3.幾何代數的形式化與初步應用(簡體書)

作者:關永; 李黎明; 施智平  出版社:科學出版社  出版日:2020/05/26 裝訂:平裝
《幾何代數的形式化與初步應用》以幾何代數理論體系與自動定理證明思想為指導,系統深入地研究了幾何代數的形式化理論與公理化體系,構建了一個兼具代數推理和幾何解算能力的統一形式化數學定理體系,對代數與幾何從概念上進行了融合與拓展、從描述方法和運算法則上進行了綜合與歸納,為代數理論賦予了“形”的特徵,為幾何理論提供了“數”的內涵,並將其初步應用於實際物理問題的證明,內容涵蓋了自動定理證明、機器人、形式化驗
定價:594 元, 優惠價:87 517
海外經銷商無庫存,到貨日平均30天至45天
機器學習:算法背後的理論與優化(簡體書)
滿額折

4.機器學習:算法背後的理論與優化(簡體書)

作者:史春奇; 卜晶禕; 施智平  出版社:清華大學出版社(大陸)  出版日:2019/07/01 裝訂:平裝
以機器學習為核心的人工智能已經成為新一代生產力發展的主要驅動因素。新的技術正在向各行各業滲透,大有變革各個領域的趨勢。傳統產業向智慧產業的升級迫使原行業從業人員逐漸轉型,市場上對相關學習材料的需求也日益高漲。幫助廣大學習者更好地理解和掌握機器學習,是編寫本書的目的。本書針對機器學習領域中最常見的一類問題――有監督學習,從入門、進階、深化三個層面由淺入深地進行了講解。三個層面包括基礎入門算法、核心理
定價:414 元, 優惠價:87 360
海外經銷商無庫存,到貨日平均30天至45天
拉格朗日力學理論的形式化與機器人動力學形式化分析(簡體書)
滿額折

5.拉格朗日力學理論的形式化與機器人動力學形式化分析(簡體書)

作者:關永; 張景芝; 施智平; 李曉娟  出版社:科學出版社  出版日:2022/06/08 裝訂:平裝
《拉格朗日力學理論的形式化與機器人動力學形式化分析》以拉格朗日力學理論與自動定理證明思想為指導,系統深入地研究了泛函變分、拉格朗日力學和機器人動力學之間的天然關係,從而構建了以泛函變分的形式化為形式化數學基礎、以拉格朗日力學的形式化為中心、以機器人動力學形式化分析為應用依託的定理證明體系。內容涵蓋了自動定理證明、泛函變分、拉格朗日力學、形式化驗證等領域。 《拉格朗日力學理論的形式化與機器人動力學形式化分析》主要內容包括:泛函變分、動力學與形式化驗證的進展;泛函變分、拉格朗日力學、機器人動力學與形式化驗證主要理論;泛函變分主要理論的形式化;拉格朗日力學主要理論的形式化;機器人動力學的形式化建模與分析;模塊化自組織機器人對接運動學和動力學驗證。作者長期系統形式化與自動定理證明進行深入研究並在機器人安全驗證等領域持續實踐迭代,《拉格朗日力學理論的形式化與機器人動力學形式化分析》是對該過程成果的高度凝練與系統總結。
定價:534 元, 優惠價:87 465
海外經銷商無庫存,到貨日平均30天至45天

暢銷榜

客服中心

收藏

會員專區