大约有152,870项符合查询结果项。(搜索耗时:0.2390秒)
为您推荐: 制造执行系统技术及应用 污水处理常用设备及应用 污水处理厂工艺及应用 树脂合成及应用 超声原理及生物医学工程应用 传感器技术及应用
-
一些力学系统的可积性与积分方法
于威威著2011 年出版60 页ISBN:9787563819225本书以经典力学和微分方程可积理论为基础,研究了几类经典力学系统的可积性与积分方法和系统在可积或近可积情况下的运动状态。
-
孤立子理论与可积系统
董焕河,张玉峰著2006 年出版273 页ISBN:7504644099本书详尽介绍了非线性演化方程的生成及其可积性问题,主要内容包括:1.非线性演化方程的相似性;2.可积性与展格式;3.可积耦合等。该书作者长期从事孤立子理论及其可积系统的研究工作,并取得了一定的成绩。书中的内...
-
非线性波的可积性与解析方法
田守富,邹丽,张田田著2017 年出版232 页ISBN:9787030551870本书主要研究非线性微分方程、超对称方程和超离散方程的可积性与解析方法,包括方程之间的变换关系、可积簇的构造、对称与守恒律、孤子解与拟周期波解和可积性质。全书共分五个部分:第一部分介绍孤立子与可积...
-
符号计算在可积系统中的应用
魏含玉著2019 年出版246 页ISBN:9787030592194本书主要基于李代数上的符号计算,用不同的方法研究可积与超可积系统的可积耦合,利用源生成理论研究其自相容源和守恒律,基于分数阶微积分理论研究分数阶的可积系统与超可积系统,最后研究孤子方程的拟周期解。本...
-
-
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN:7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
产品设计资源的可重用性原理及应用
齐峰著2017 年出版173 页ISBN:9787568133388重点针对产品设计资源的可重用性原理和应用展开研究。包括产品设计资源的可重用性理论,组织模型,可重用设计资源的获取技术,可重用设计资源的检索技术,可重用设计知识库构建等。通过以上原理及技术的研究,大大提...
-
-
隧道激光扫描形变检测技术及仿真系统
丁涛等著2018 年出版155 页ISBN:9787030441195本书对隧道激光扫描形变检测技术及仿真系统的建设进行了较为全面的分析与总结。全书分为如下几章。第一章隧道形变检测方法概述,介绍了接触式检测方法、非接触式检测方法,并对各种检测方法进行了比较与分析;第...