云南高校图书馆联盟文献共享服务平台- PETRI

PETRI_NET: 作品数：152被引量：247H指数：7; 导出分析报告; 相关作者：贾洋傅铅生叶俊董宏光肖武更多>>; 相关机构：南京航空航天大学东南大学上海交通大学大连理工大学更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划国家教育部博士点基金更多>>

一种基于基地化运行的民机试飞物资保障模式: 《航空计算技术》2024年第6期27-31,共5页王安国洪斯维李正凯孙禾; 国家自然科学基金项目资助(U2133207)。; 为更好地规范民机试飞企业物资管控,进一步提升试飞物资现场保障效率,针对民机试飞基地化运行模式和型号现场物资保障需求,结合型号现场保障工作经验,创新性提出基于调度中心的“1+M+N”基地化仓库运行模式和安全库存计算方法,为验证运...; 关键词：试飞物资调度中心 Petri Net 1+M+N 安全库存

Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks: 《IEEE/CAA Journal of Automatica Sinica》2024年第1期240-248,共9页Dan You Shouguang Wang; supported in part by the Public Technology Research Plan of Zhejiang Province (LGJ21F030001);the National Natural Science Foundation of China (62302448);the Zhejiang Provincial Key Laboratory of New Network Standards and Technologies (2013E10012)。; In this paper, we study the supervisory control problem of discrete event systems assuming that cyber-attacks might occur. In particular, we focus on the problem of liveness enforcement and consider a sensor-reading m...; 关键词：Cyber-attacks cyber-physical system(CPS) LIVENESS non-deterministic supervisors Petri net(PN)

A perspective on Petri Net learning: 《Frontiers of Computer Science》2023年第6期1-3,共3页Hongda QI Changjun JIANG; supported in part by the ShanghaiScience and Technology Innovation Action Plan Project(22511100700).; Petri Nets(PNs)are used for modeling and analyzing discreteevent systems,such as communication protocols,trafficsystems,human-computer interaction,and fault diagnosis.PNs’state space explosion problem means that the ...; 关键词：BREAKTHROUGH HARDWARE LEARNING

Innovative Services for Electric Mobility Based on Virtual Sensors and Petri Nets: 《IEEE/CAA Journal of Automatica Sinica》2023年第9期1845-1859,共15页Agostino Marcello Mangini Michele Roccotelli; supported by the Italian project POR Puglia FESR 2014-2020“Research for Innovation(REFIN)”(8473A73);the MOST-Sustainable Mobility National Research Center,receiving funding from the European Union Next-GenerationEU(PIANO NAZIONALE DI RIPRESA E RESILIENZA(PNRR)–MISSIONE 4COMPONENTE 2,INVESTIMENTO 1.4-D.D.103317/06/2022,CN00000023)。; About 60%of emissions into the earth’s atmosphere are produced by the transport sector,caused by exhaust gases from conventional internal combustion engines.An effective solution to this problem is electric mobility,...; 关键词：Charge point booking electric mobility EV charging Petri Net virtual sensor

Explainable Business Process Remaining Time Prediction Using Reachability Graph: 《Chinese Journal of Electronics》2023年第3期625-639,共15页CAO Rui ZENG Qingtian NI Weijian LU Faming LIU Cong DUAN Hua; supported by the National Natural Science Foundation of China(U1931207,61702306);Sci.&Tech.Development Fund of Shandong Province of China(ZR2017BF015,ZR2017MF027);the Humanities and Social Science Research Project of the Ministry of Education(18YJAZH017);Shandong Chongqing Science and Technology Cooperation Project(cstc2020jscx-lyjsAX0008);Sci.&Tech.Development Fund of Qingdao(21-1-5-zlyj-1-zc);the Shandong Postgraduate Education Quality Improvement Plan(SDYJG19075);Shandong Education Teaching Research Key Project(2021JXZ010);National Statistical Science Research Project(2021LY053);the Taishan Scholar Program of Shandong Province,SDUST Research Fund(2015TDJH102,2019KJN024);National Statistical Science Research Project in 2019(2019LY49).; With the recent advances in the field of deep learning,an increasing number of deep neural networks have been applied to business process prediction tasks,remaining time prediction,to obtain more accurate predictive r...; 关键词：Explainable predictive process monitoring Remaining time prediction Reachability graph Recurrent neural network Petri net.

工业互联网数据服务建模及确定性算法研究: 《仪器仪表学报》2023年第6期156-164,共9页胡致远秦弦徐鑫曾毅游梓霖; 国家自然科学基金面上项目(62071075);国网重庆电科院(SGCQDK00NYJS2200181)项目资助; 5G开放的服务能力改变了工业互联网数据服务过程,工业业务向5G网络迁移时既应考虑云化下多数据过程的协同,也应考虑网络化服务的冲突避免。为此以电力行业为例,提出Petri Net数据服务模型对业务时序逻辑和网络功能统一建模分析,保证数...; 关键词：工业互联网数据服务 Petri Net 确定性编排

基于PN和CNN-LSTM-ATT的航班延误预测被引量：2: 《计算机技术与发展》2023年第4期213-220,共8页吴涔叶宁王甦季翔宇; 江苏省科技重点研发计划(社会发展)(BE2020713)。; 航班延误预测对提高机场地面保障效率具有重要参考意义。针对目前航班地面保障流程复杂多变以及航班过站延误预测精度不高的问题,提出了一种基于Petri Net和融合预测模型CNN-LSTM-ATT的航班延误预测模型。首先,根据机场航班实际地面保...; 关键词：航班地面保障保障流程分析延误预测 Petri Net CNN-LSTM-ATT

Multi-input address incremental clustering for the Bitcoin blockchain based on Petri net model analysis被引量：1: 《Digital Communications and Networks》2022年第5期680-686,共7页Fangchi Qin Yan Wu Fang Tao Lu Liu Leilei Shi Anthony J.Miller; The work reported in this paper has been partially supported by the National Key Research and Development Project(2020YFB1005503);the NSFC Projects(61502209 and U1836116);the Leading-edge Technology Program of Jiangsu Natural Science Foundation(BK20202001);the NSFC of Jiangsu Province Project(BK20201415);the UK-Jiangsu 20-20 World Class University Initiative programme,and the Natural Science Foundation of the Jiangsu Higher Education Institutions(Grant number:22KJB520016).; Bitcoin is a cryptocurrency based on blockchain.All historical Bitcoin transactions are stored in the Bitcoin blockchain,but Bitcoin owners are generally unknown.This is the reason for Bitcoin's pseudo-anonymity,there...; 关键词：Bitcoin Blockchain Petri net Incremental clustering

基于Petri Net的肺经五腧穴模型的仿真: 《计算机仿真》2022年第10期277-283,共7页包胡日查卢开信葛崎伟; 日本国家基金JSPS挑战萌芽研究(25540135);扬州市绿杨金凤基金(yzlyjfjh2016YB130);高校哲学社科基金(2019SJA1797);扬州大学教改课题基金(YZUJX2019-32C)。; 针对中医针灸治疗中,经络理论未得到科学的证明且为实现针灸治疗方案的规范化问题,提出了基于Petri Net控制理论对人体五脏六腑与相应经络进行计算机建模与仿真,模拟经络的运行机制与功效。探索中医针灸学中的“效能”和“症”的对应关...; 关键词：中医建模肺经五腧穴仿真

Modeling and Simulation Analysis of Solar Thermal Electric Plants Based on Petri Net: 《Energy Engineering》2022年第4期1711-1728,共18页Rong Huang Xiaojuan Lu Zeping Liang Pengfei Gao Tian Liang; supported by the Science Technology Project of State Grid Corporation of China(Grant No.52272219000 V);the Major Science and Technology Project of Gansu Province(Grant No.20ZD7GF011).; At present,solar thermal power generation is in the demonstration stage,and the large-scale production is affected by many factors.In view of the characteristics of different operating modes of photothermal power gene...; 关键词：Solar power hybrid system petri nets direct molten salt mode switch

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

PETRI_NET

检索结果分析

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

PETRI_NET

检索结果分析

下载全文

用户登录

高级检索检索式检索