杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

基于Petri网的计算树逻辑模型检测/刘关俊，何雷锋著

出版发行项:

北京:科学出版社,2024

ISBN及定价:

978-7-03-077284-8/CNY108.00

载体形态项:

195页:图;24cm

个人责任者:

刘关俊 著

个人责任者:

何雷锋 著

学科主题:

计算机科学-研究

中图法分类号:

TP3

责任者附注:

刘关俊，男，教授，博士生导师。2011年获得同济大学计算机软件与理论专业博士学位，同年赴新加坡科技设计大学从事博士后研究工作；2013年回国，并进入同济大学计算机科学系任教，同年获得德国洪堡基金资助，赴柏林洪堡大学从事博士后研究工作。主要从事形式化方法、模型检测、Petri网等方面的理论与应用研究，目前也从事机器学习及其在网络交易欺诈检测方面的研究。已出版学术专著1本，发表学术论文90余篇，包括ScienceChinaInformationSciences、ACMTransactionsonEmbeddedComputingSystems、ACMTransactionsonCyber-PhysicalSystems、IEEETransactionsonServicesComputing、IEEETransactionsonIndustrialInformatics等期刊论文近50篇，以及国际Petri网年会（InternationalConferenceonApplicationandTheoryofPetriNetsandConcurrency）等会议论文40余篇。刘关俊主持国家自然科学基金面上项目与青年基金项目、上海市曙光计划人才项目、中央高校交叉项目（重大）等多项，获得国家科技进步奖二等奖、上海市科技进步奖一等奖、中国电子学会自然科学一等奖、吴文俊人工智能技术发明奖一等奖、上海市优秀博士论文奖以及首届教育部国务院学位委员会博士研究生学术新人奖等。刘关俊是中国计算机学会形式化方法专委会委员、中国自动化学会网络信息服务专委会委员、中国人工智能学会智能空天系统专委会委员、IEEESeniorMember。

提要文摘附注:

本书主要介绍原型Petri网、知识Petri网、带有优先级的时间Petri网，用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模，如刻画并发、选择、冲突、多方交互、多方认知过程、(抢占式)资源分配、事件的实时性约束等。

豆瓣简介：