|
题名:
|
逻辑动态系统的应用研究进展 luo ji dong tai xi tong de ying yong yan jiu jin zhan / 闫永义,岳菊梅著 , |
|
ISBN:
|
978-7-5170-7987-3 价格： CNY59.80 |
|
语种:
|
eng |
|
载体形态:
|
216页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 中国水利水电出版社 出版日期： 2019 |
|
内容提要:
|
本书主要介绍逻辑动态系统在应用方面的最新研究进展，特别关注在下列领域的应用研究：有限自动机、图论、运筹学与控制论以及布尔网络等。在有限自动机领域，本书讨论了自动机的动态建模问题、可达性问题及可控性问题。在图论领域，本书重点介绍了利用逻辑系统的方法去研究图的结构分析问题，以及图的结构分解在运筹学中的应用，例如多轨道任务分配问题的可解性条件等。在布尔网络方面，本书着重分析了布尔网络预测集的辨识问题以及代数化简等问题。本书适合控制科学与工程、工业自动化、系统科学、控制理论、数学、人工智能等专业的师生及科研人员阅读参考，也可作为相关学科高年级本科生及研究生的教学参考用书。 |
|
主题词:
|
动态逻辑 逻辑系统 |
|
中图分类法:
|
O141.2 版次： 5 |
|
主要责任者:
|
闫永义 yan yong yi 梅著 |
|
主要责任者:
|
岳菊梅 yue ju mei 著 |
|
索书号:
|
O141.2/glg3734 |