书目信息 |
题名: |
逻辑动态系统的应用研究进展
|
|
作者: | 闫永义 , 岳菊梅 梅著 | |
分册: | ||
出版信息: | 北京 中国水利水电出版社 2019.10 |
|
页数: | 216页 | |
开本: | 24cm | |
丛书名: | ||
单 册: | ||
中图分类: | O141.2 | |
科图分类: | ||
主题词: | 动态逻辑--dong tai luo ji--逻辑系统--研究--英文 | |
电子资源: | ||
ISBN: | 978-7-5170-7987-3 |
000 | 01301nam0 2200241 450 | |
001 | 0109110237 | |
005 | 20201109110340.0 | |
010 | @a978-7-5170-7987-3@dCNY59.80 | |
100 | @a20190906d2019 em y0chiy0110 ea | |
101 | 0 | @aeng |
102 | @aCN@b110000 | |
105 | @ay z 000yy | |
106 | @ar | |
200 | 1 | @a逻辑动态系统的应用研究进展@Aluo ji dong tai xi tong de ying yong yan jiu jin zhan@f闫永义, 岳菊梅著 |
210 | @a北京@c中国水利水电出版社@d2019.10 | |
215 | @a216页@d24cm | |
330 | @a本书主要介绍逻辑动态系统在应用方面的最新研究进展,特别关注在下列领域的应用研究:有限自动机、图论、运筹学与控制论以及布尔网络等。在有限自动机领域,本书讨论了自动机的动态建模问题、可达性问题及可控性问题。在图论领域,本书重点介绍了利用逻辑系统的方法去研究图的结构分析问题,以及图的结构分解在运筹学中的应用,例如多轨道任务分配问题的可解性条件等。在布尔网络方面,本书着重分析了布尔网络预测集的辨识问题以及代数化简等问题。本书适合控制科学与工程、工业自动化、系统科学、控制理论、数学、人工智能等专业的师生及科研人员阅读参考,也可作为相关学科高年级本科生及研究生的教学参考用书。 | |
606 | 0 | @a动态逻辑@Adong tai luo ji@x逻辑系统@x研究@x英文 |
690 | @aO141.2@v5 | |
701 | 0 | @a闫永义@Ayan yong yi@4梅著 |
701 | 0 | @a岳菊梅@Ayue ju mei@4著 |
801 | 0 | @aCN@bBJSZM@c20201103 |
905 | @b1241639-42@dO141.2@e134@f4 | |
逻辑动态系统的应用研究进展/闫永义, 岳菊梅著.-北京:中国水利水电出版社,2019.10 |
216页;24cm |
ISBN 978-7-5170-7987-3:CNY59.80 |
本书主要介绍逻辑动态系统在应用方面的最新研究进展,特别关注在下列领域的应用研究:有限自动机、图论、运筹学与控制论以及布尔网络等。在有限自动机领域,本书讨论了自动机的动态建模问题、可达性问题及可控性问题。在图论领域,本书重点介绍了利用逻辑系统的方法去研究图的结构分析问题,以及图的结构分解在运筹学中的应用,例如多轨道任务分配问题的可解性条件等。在布尔网络方面,本书着重分析了布尔网络预测集的辨识问题以及代数化简等问题。本书适合控制科学与工程、工业自动化、系统科学、控制理论、数学、人工智能等专业的师生及科研人员阅读参考,也可作为相关学科高年级本科生及研究生的教学参考用书。 |
● |
相关链接 |
正题名:逻辑动态系统的应用研究进展
索取号:O141.2/134
 
预约/预借
序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
1 | 1241639 | 212416394 | 第二样本阅览室/ [索取号:O141.2/134] | 在馆 | |
2 | 1241640 | 212416401 | 第三借阅区/ [索取号:O141.2/134] | 在馆 | |
3 | 1241641 | 212416410 | 第三借阅区/ [索取号:O141.2/134] | 在馆 | |
4 | 1241642 | 212416429 | 第三借阅区/ [索取号:O141.2/134] | 在馆 |