- [图书] 基于一阶动态逻辑的Agent行为推理及其哲学反思
- 作者:郝一江
- 出版社:科学出版社
- 出版日期:2023.05
- ISBN:978-7-03-073415-0
- 内容简介:本书从人工智能的视角,研究了“基于一阶动态逻辑及其扩展系统的Agent行为推理”,并对相关问题进行了哲学反思。具体内容包括:作为一阶动态逻辑的基础系统的命题动态逻辑、一阶动态逻辑系...
- 所属馆:
- 获取途径:
- [图书] 有水气藏动态分析与评价技术
- 作者:李保柱[等]著
- 出版社:石油工业出版社
- 出版日期:2020
- ISBN:978-7-5183-3765-1
- 内容简介:本书介绍了有水气藏动态储量计算、气水两相流试井理论与方法、产水气井产能预测及气井水侵模式与预防,介绍了基于产能不稳定分析方法进行有水气藏的水侵动态识别与预警模型。
- 所属馆:
- 获取途径:
- [图书] 数字媒体时代下的动态图形设计理论与应用
- 作者:孙一男
- 出版社:新华出版社
- 出版日期:2022.9
- ISBN:978-7-5166-6427-8
- 内容简介:本书以此为研究对象, 将对动态图形的概念、设计方法、未来发展、应用范畴等方面进行系统研究。本书脉络清晰, 结构合理, 可为动态图形设计体系的建设提供一定的思路及参考。数字媒体时代,...
- 所属馆:
- 获取途径:
- [图书] 面向人工智能的命题动态逻辑及其扩展研究
- 作者:张晓君,周正,王琪瑶著
- 出版社:浙江大学出版社
- 出版日期:2022
- ISBN:978-7-308-21513-8
- 内容简介:本书以国内外新近相关文献为基础,从人工智能的视角,围绕作为动态逻辑基础系统的命题动态逻辑及其扩展系统进行了研究。具体内容如下:第1章是导论;第2-5章是本书研究的基础;第6-9章阐...
- 所属馆:
- 获取途径:
- [图书] 海洋动态测量理论与方法
- 作者:何秀凤
- 出版社:科学出版社
- 出版日期:2023.02
- ISBN:978-7-03-074870-6
- 内容简介:本书全面系统地论述了海洋动态测量的理论与方法,着重介绍了海洋动态变化特征及其相关测量技术的最新研究进展和成果。在海洋动态变化理论的基础上,通过介绍新型海洋观测技术和技术条件,以帮助...
- 所属馆:
- 获取途径:
- [图书] 数据驱动下的系统动力学研究
- 作者:任景莉,郭晓向
- 出版社:科学出版社
- 出版日期:2023.02
- ISBN:978-7-03-072668-1
- 内容简介:本书围绕材料学、金融学、流行病学等学科实际应用数据驱动下的系统动力学研究,探讨了动力学理论、人工智能、神经网络等前沿热门方法的精准开发与应用。内容包括系统动力学演化性质的定量刻画、...
- 所属馆:
- 获取途径:
- [图书] 动态规划与最优控制 近似动态规划/approximate dynamic programming 第Ⅱ卷/II
- 作者:(美)德梅萃·P. 博塞克斯(Dimitri P. Bertsekas)著;贾庆山译
- 出版社:清华大学出版社
- 出版日期:2021
- ISBN:978-7-302-56146-0
- 内容简介:本书介绍动态规划,特别是近似动态规划,包括折扣问题的理论与计算方法、随机最短路问题、无折扣问题、平均费用问题、折扣与无折扣问题的近似动态规划等。
- 所属馆:
- 获取途径:
- [图书] 高速列车动态性能正向设计
- 作者:周劲松,宫岛,孙文静
- 出版社:中国铁道出版社有限公司
- 出版日期:2023.05
- ISBN:978-7-113-30050-0
- 内容简介:本书针对动态性能正向设计体系中的基础理论展开叙述,系统阐述高速列车动态性能正向设计的基础问题,是作者最新研究成果及其应用的总结。正向设计以分析和归纳运用环境、模态族群拣选、模态规划...
- 丛书名:高速铁路基础研究与技术创新丛书
- 所属馆:
- 获取途径:
- [图书] 组织管理系统动力学反馈理论与应用
- 作者:贾伟强,贾仁安著
- 出版社:科学出版社
- 出版日期:2020
- ISBN:978-7-03-067026-7
- 内容简介:本书的主要内容包括:引论、复杂系统流率基本入树建模理论、反馈环分析技术创新应用、反馈基模分析技术创新应用、系统动力学仿真分析理论基础、系统动力学仿真分析技术创新应用、系统动力学反馈...
- 丛书名:南昌航空大学学术文库
- 所属馆:
- 获取途径:
- [图书] 基于隔行扫描成像的动态测量
- 作者:曹森鹏
- 出版社:吉林大学出版社
- 出版日期:2023.1
- ISBN:978-7-5768-0117-0
- 内容简介:本书为使隔行扫描成像适于动态测量, 分析其成像机理, 构建了单场图像的数学模型, 提出了傅里叶变换去隔行算法和单场傅里叶变换轮廓术; 解决了成像模糊和测量误差大的问题。提出隔行扫描...
- 所属馆:
- 获取途径: