书目信息 |
| 题名： |
逻辑动态系统的应用研究进展
|
|
| 作者： | 闫永义 ， 岳菊梅 梅著 | |
| 分册： | ||
| 出版信息： | 北京 中国水利水电出版社 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] | 在馆 |