临沂职业学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Advances in application of logical dynamical systems/闫永义，岳菊梅著

出版发行项:

北京:中国水利水电出版社,2019.10

ISBN及定价:

978-7-5170-7987-3/CNY59.80

载体形态项:

216页:图;24cm

编目员补充译名:

逻辑动态系统的应用研究进展

个人责任者:

闫永义 著

个人责任者:

岳菊梅 著

学科主题:

动态逻辑-英文-逻辑系统-研究

中图法分类号:

O141.2

相关题名附注:

中文题名信息取自CIP数据

提要文摘附注:

本书主要介绍逻辑动态系统在应用方面的最新研究进展，特别关注在下列领域的应用研究：有限自动机、图论、运筹学与控制论以及布尔网络等。在有限自动机领域，本书讨论了自动机的动态建模问题、可达性问题及可控性问题。在图论领域，本书重点介绍了利用逻辑系统的方法去研究图的结构分析问题，以及图的结构分解在运筹学中的应用，例如多轨道任务分配问题的可解性条件等。在布尔网络方面，本书着重分析了布尔网络预测集的辨识问题以及代数化简等问题。

使用对象附注:

本书适合控制科学与工程、工业自动化、系统科学、控制理论、数学、人工智能等专业的师生及科研人员阅读参考，也可作为相关学科高年级本科生及研究生的教学参考用书

电子资源:

http://www.cxstar.com/Book/Detail?pinst=P6u77RH0me5oQF0l5w3&ruid=258a2e41000543XXXX

豆瓣简介：