MARC状态：审校 文献类型：中文图书 浏览次数：27
- 题名/责任者:
- Advances in applications of logical dynamic systems/闫永义, 岳菊梅著
- 出版发行项:
- 北京:中国水利水电出版社,2019
- ISBN及定价:
- 978-7-5170-7987-3/CNY59.80
- 载体形态项:
- 216页:图;24cm
- 并列正题名:
- 逻辑动态系统的应用研究进展
- 个人责任者:
- 闫永义 著
- 个人责任者:
- 岳菊梅 著
- 学科主题:
- 动态逻辑-逻辑系统-研究-英文
- 中图法分类号:
- O141.2
- 相关题名附注:
- 中文并列题名取自CIP
- 书目附注:
- 有书目
- 提要文摘附注:
- 本书主要介绍逻辑动态系统在应用方面的最新研究进展, 特别关注在下列领域的应用研究: 有限自动机、图论、运筹学与控制论以及布尔网络等。在有限自动机领域, 本书讨论了自动机的动态建模问题、可达性问题及可控性问题。在图论领域, 本书重点介绍了利用逻辑系统的方法去研究图的结构分析问题, 以及图的结构分解在运筹学中的应用, 例如多轨道任务分配问题的可解性条件等。在布尔网络方面, 本书着重分析了布尔网络预测集的辨识问题以及代数化简等问题。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 校区—馆藏地 | 书刊状态 | 还书位置 |
| O141.2/5 | S3644243 | 总馆—综合书库A（凤阳校区） | 可借 | 综合书库A（凤阳校区） | |
| O141.2/5 | S3644244 | 总馆—综合书库A（凤阳校区） | 可借 | 综合书库A（凤阳校区） | |
| O141.2/5 | S3649369 | 总馆—综合书库A（凤阳校区） | 可借 | 综合书库A（凤阳校区） | |
| O141.2/5 | S3649414 | 总馆—综合书库A（凤阳校区） | 可借 | 综合书库A（凤阳校区） | |
| O141.2/5 | S3649415 | 总馆—综合书库A（凤阳校区） | 可借 | 综合书库A（凤阳校区） | |
| O141.2/5 | S3649416 | 总馆—综合书库A（凤阳校区） | 可借 | 综合书库A（凤阳校区） | |
| O141.2/5 | S3649417 | 总馆—综合书库A（凤阳校区） | 可借 | 综合书库A（凤阳校区） | |
| O141.2/5 | S3649418 | 总馆—综合书库A（凤阳校区） | 可借 | 综合书库A（凤阳校区） | |
| O141.2/5 | S3290092 | - | 总馆—理学书库（龙湖） | 可借 | |
| O141.2/5 | S3290093 | - | 总馆—理学书库（龙湖） | 可借 |
显示全部馆藏信息