Search Results - "Duo, Wenli"

A Survey of Cyber Attacks on Cyber Physical Systems: Recent Advances and Challenges by Duo, Wenli, Zhou, MengChu, Abusorrah, Abdullah

“…A cyber physical system (CPS) is a complex system that integrates sensing, computation, control and networking into physical processes and objects over…”
Get full text

A Deadlock Prevention Policy for a Class of Multithreaded Software by Duo, Wenli, Jiang, Xiaoning, Karoui, Oussama, Guo, Xin, You, Dan, Wang, Shouguang, Ruan, Yuan

“…Deadlock is an undesired situation in multithreaded software since it can lead to the stoppage of software. This paper studies the problem of deadlock control…”
Get full text

A Resource Allocation Approach for Enforcing Liveness on a Class of Petri Nets by You, Dan, Wang, Shouguang, Dou, Hao, Duo, Wenli

“…Liveness enforcement is of great importance to resource allocation systems (RASs) since liveness is closely related to their performance and security. Petri…”
Get full text

Thermodynamic analysis and kinetic modelling of dioxin formation and emissions from power boilers firing salt-laden hog fuel by Duo, Wenli, Leclerc, Denys

“…Both organic chlorine (e.g. PVC) and inorganic chlorides (e.g. NaCl) can be significant chlorine sources for dioxin and furan (PCDD/F) formation in combustion…”
Get full text

Crystallization and Fracture:  Product Layer Diffusion in Sulfation of Calcined Limestone by Duo, Wenli, Laursen, Karin, Lim, Jim, Grace, John

“…Sintered samples of calcined limestone were sulfated for extended times in a differential reactor to study the reaction kinetics after formation of a product…”
Get full text

Crystallization and fracture: formation of product layers in sulfation of calcined limestone by Duo, Wenli, Laursen, Karin, Lim, Jim, Grace, John

“…Sulfation experiments were carried out and product layers were characterized to investigate the reaction kinetics and to test a Crystallization and Fracture…”
Get full text

A two-stage circulated fluidized bed process to minimize tar generation of biomass gasification for fuel gas production by Wang, Chao, Zhu, Lianfeng, Zhang, Mengjuan, Han, Zhennan, Jia, Xin, Bai, Dingrong, Duo, Wenli, Bi, Xiaotao, Abudula, Abuliti, Guan, Guoqing, Xu, Guangwen

“…[Display omitted] •Two-stage gasification process with a riser char gasifier and a downer fuel reactor is performed.•Its low-tar gasification capability in…”
Get full text

Pilot verification of a two-stage fluidized bed gasifier with a downer pyrolyzer using oxygen-rich air by Wang, Chao, Zhang, Mengjuan, Han, Zhennan, Bai, Dingrong, Duo, Wenli, Bi, Xiaotao, Abudula, Abuliti, Guan, Guoqing, Xu, Guangwen

“…[Display omitted] •A two-stage fluidized bed gasifier with a downer pyrolyzer is proposed.•Downer pyrolyzer has large tolerance to wide-range size of solid…”
Get full text

Thermochemical conversion of biomass to fuels and chemicals: a review of catalysts, catalyst stability, and reaction mechanisms by Wang, Haiyan, Liu, Shida, Wang, Haoqi, Chao, Junnan, Li, Tingting, Ellis, Naoko, Duo, Wenli, Bi, Xiaotao, Smith, Kevin J.

Get full text

Corrigendum to ‘Pilot verification of a two-stage fluidized bed gasifier with a downer pyrolyzer using oxygen-rich air’ [Fuel 307 (2021) 121816] by Wang, Chao, Zhang, Mengjuan, Han, Zhennan, Bai, Dingrong, Duo, Wenli, Bi, Xiaotao, Abudula, Abuliti, Guan, Guoqing, Xu, Guangwen

Get full text

Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming by Wang, Shouguang, Duo, Wenli, Guo, Xin, Jiang, Xiaoning, You, Dan, Barkaoui, Kamel, Zhou, MengChu

“…Deadlock resolution strategies based on siphon control are widely investigated. Their computational efficiency largely depends on siphon computation…”
Get full text

Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks by Duo, Wenli, Wang, Shouguang, Zhou, MengChu, You, Dan, Wisniewski, Remigiusz, Bazydlo, Grzegorz

“…In this paper, we examine the supervisory control problem for cyber-physical systems vulnerable to actuator jamming attacks, which cause control command loss…”
Get full text

Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets UsingMixed-Integer Programming by Shouguang Wang, Wenli Duo, Xin Guo, Xiaoning Jiang, Dan You, Kamel Barkaoui, MengChu Zhou

“…Deadlock resolution strategies based on siphon control are widely investigated. Their computational efficiency largely depends on siphon computation…”
Get full text

Supremal and Robust Control against Actuator Jamming Attacks in Cyber-Physical Systems by Duo, Wenli, Wang, Shouguang, Zhou, MengChu, You, Dan, Wisniewski, Remigiusz, Bazydlo, Grzegorz, Albeshri, Aiiad

“…Cyber-physical systems, such as unmanned aerial vehicles and connected and autonomous vehicles, are vulnerable to cyber attacks, which can cause significant…”
Get full text

The Role of the Filter Cake in Hot Gas Cleaning with Ceramic Filters by Duo, Wenli, Grace, John R, Lim, C. Jim, Brereton, Clive M. H, Watkinson, A. Paul, Laursen, Karin

“…Experiments were carried out in a pilot-scale test rig at temperatures of 600−770 °C to investigate the potential of filter cakes formed in hot gas filtration…”
Get full text

Liveness Enforcement for a Class of Petri Nets via Resource Allocation by You, Dan, Wang, Shouguang, Dou, Hao, Duo, Wenli, Barkaoui, Kamel, Seatzu, Carla

“…This work focuses on a class of Petri nets (PNs) called Weighted Systems of Simple Sequential Processes with Resources (WS3PR). We study how to enforce…”
Get full text

Characterization of steam reactivation mechanisms in limestones and spent calcium sorbents by Laursen, Karin, Duo, Wenli, Grace, John R, Jim Lim, C

“…Three limestones and three spent calcium sorbents with differing sulfation patterns were subjected to sulfation and steam hydration at 250 and 450°C in an…”
Get full text