Results 91 to 100 of about 262,073 (323)
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking [PDF]
, 2015 Stochastic Petri nets are commonly used for modeling distributed systems in order to study their performance and dependability. This paper proposes a realization of stochastic Petri nets in SystemC for modeling large embedded control systems.
Legay, Axel, Ngo, Van Chan
core +3 more sources
Advanced Functional Materials, EarlyView.A scalable one‐step copolymerization strategy is developed to produce low‐cost microporous ion exchange membranes that boost both the efficiency and lifespan of flow batteries. When combined with organic electrolytes in aqueous systems, these membranes enable safe and cheap flow battery energy storage, supporting the widespread integration of renewable
Jiaye Liu +7 more
wiley +1 more source
Time Extensions of Petri Nets for Modelling and Verification of Hard Real-Time Systems [PDF]
Computer Science, 2002 The main aim ofthe paper is a presentation of time extensions of Petri nets appropriate for modelling and analysis of hard real-time systems. It is assumed, that the extensions must provide a model of time flow an ability to force a transition to fire ...
Tomasz Szmuc, Slawomir Samolej
doaj
Advanced Functional Materials, EarlyView.A multifunctional nanodiamond platform enables pH‐triggered Diazoxide (DZX) delivery and quantum sensing of subcellular radical dynamics in triple‐negative breast cancer cells. Diamond relaxometry revealed reduced lysosomal radicals during DZX‐induced mitochondrial radical elevation, providing insights into redox modulation and organelle‐ resolved ...
Kaiqui Wu +8 more
wiley +1 more source
Peptide Sequencing With Single Acid Resolution Using a Sub‐Nanometer Diameter Pore
Advanced Functional Materials, EarlyView.To sequence a single molecule of Aβ1−42–sodium dodecyl sulfate (SDS), the aggregate is forced through a sub‐nanopore 0.4 nm in diameter spanning a 4.0 nm thick membrane. The figure is a visual molecular dynamics (VMD) snapshot depicting the translocation of Aβ1−42–SDS through the pore; only the peptide, the SDS, the Na+ (yellow/green) and Cl− (cyan ...
Apurba Paul +8 more
wiley +1 more source
Reconfigurable Magnetic Soft Microrobot for Acoustically Triggered Targeted Bacterial Sterilization
Advanced Functional Materials, EarlyView.Reconfigurable magnetic soft microrobots integrate in situ‐grown piezoelectric zinc oxide nanorods that produce reactive oxygen species upon acoustic excitation. Combining magnetically guided transport with thermally induced planar reconfiguration, the microrobots achieve targeted delivery and enhanced bacterial sterilization through efficient on ...
Quan Gao +12 more
wiley +1 more source
Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use
, 2015 Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic
semanticscholar +1 more source
Advanced Functional Materials, EarlyView.A FeN4─O/Clu@NC‐0.1Ac catalyst containing atomically‐dispersed FeN4─O sites (medium‐spin Fe2+) and Fe clusters delivered a half‐wave potential of 0.89 V for ORR and an overpotential of 330 mV at 10 mA cm−2 for OER in 0.1 m KOH. When the catalyst was used in a rechargeable Zn–air battery, a power density of 284.5 mW cm−2 was achieved with excellent ...
Yongfang Zhou +8 more
wiley +1 more source
Path planning for automated guided vehicle systems with time constraints using timed Petri nets
Measurement + Control, 2020 Automated guided vehicles (AGVs) are extensively used in many applications such as intelligent transportation, logistics, and industrial factories. In this paper, we address the path planning problem for an AGV system (i.e. a team of identical AGVs) with
Zhou He +4 more
doaj +1 more source
Droplet Triboelectrification on Liquid‐Like Polymer Brushes
Advanced Functional Materials, EarlyView.This work investigates the triboelectrification of water droplets on polymer brush‐coated surfaces exhibiting minimal contact line pinning. Such surfaces enable the systematic study of electrode patterning and controlled changes in droplet contact area.
Mohammad Soltani +5 more
wiley +1 more source