MARC状态:订购 文献类型:中文图书 浏览次数:60
- 出版发行项:
- 北京:中国水利水电出版社,2019.10
- ISBN及定价:
- 978-7-5170-7987-3/CNY59.8
- 载体形态项:
- ;26cm
- 中图法分类号:
- O14
- 提要文摘附注:
- 本书主要介绍逻辑动态系统在应用方面的最新研究进展,特别关注在下列领域的应用研究:有限自动机、图论、运筹学与控制论以及布尔网络等。在有限自动机领域,本书讨论了自动机的动态建模问题、可达性问题及可控性问题。在图论领域,本书重点介绍了利用逻辑系统的方法去研究图的结构分析问题,以及图的结构分解在运筹学中的应用,例如多轨道任务分配问题的可解性条件等。在布尔网络方面,本书着重分析了布尔网络预测集的辨识问题以及代数化简等问题。本书适合控制科学与工程、工业自动化、系统科学、控制理论、数学、人工智能等专业的师生及科研人员阅
- 使用对象附注:
- 大众
全部MARC细节信息>>