机读格式显示(MARC)
- 000 02124nam0 2200265 450
- 010 __ |a 978-7-03-077284-8 |d CNY108.00
- 100 __ |a 20240115d2024 em y0chiy50 ea
- 200 1_ |a 基于Petri网的计算树逻辑模型检测 |A ji yu Petri wang de ji suan shu luo ji mo xing jian ce |f 刘关俊,何雷锋著
- 210 __ |a 北京 |c 科学出版社 |d 2024
- 215 __ |a 195页 |c 图 |d 24cm
- 314 __ |a 刘关俊,男,教授,博士生导师。2011年获得同济大学计算机软件与理论专业博士学位,同年赴新加坡科技设计大学从事博士后研究工作;2013年回国,并进入同济大学计算机科学系任教,同年获得德国洪堡基金资助,赴柏林洪堡大学从事博士后研究工作。主要从事形式化方法、模型检测、Petri网等方面的理论与应用研究,目前也从事机器学习及其在网络交易欺诈检测方面的研究。已出版学术专著1本,发表学术论文90余篇,包括ScienceChinaInformationSciences、ACMTransactionsonEmbeddedComputingSystems、ACMTransactionsonCyber-PhysicalSystems、IEEETransactionsonServicesComputing、IEEETransactionsonIndustrialInformatics等期刊论文近50篇,以及国际Petri网年会(InternationalConferenceonApplicationandTheoryofPetriNetsandConcurrency)等会议论文40余篇。刘关俊主持国家自然科学基金面上项目与青年基金项目、上海市曙光计划人才项目、中央高校交叉项目(重大)等多项,获得国家科技进步奖二等奖、上海市科技进步奖一等奖、中国电子学会自然科学一等奖、吴文俊人工智能技术发明奖一等奖、上海市优秀博士论文奖以及首届教育部国务院学位委员会博士研究生学术新人奖等。刘关俊是中国计算机学会形式化方法专委会委员、中国自动化学会网络信息服务专委会委员、中国人工智能学会智能空天系统专委会委员、IEEESeniorMember。
- 330 __ |a 本书主要介绍原型Petri网、知识Petri网、带有优先级的时间Petri网,用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模,如刻画并发、选择、冲突、多方交互、多方认知过程、(抢占式)资源分配、事件的实时性约束等。
- 606 0_ |a 计算机科学 |A Ji Suan Ji Ke Xue |x 研究
- 701 _0 |a 刘关俊 |A liu guan jun |4 著
- 701 _0 |a 何雷锋 |A he lei feng |4 著
- 801 _0 |a CN |b HDUL |c 20240423
- 905 __ |a HDUL |d TP3/0823