Agent Petri Nets Framework for Modeling Staphylococcus epidermidis Biofilm Formation

This Staphylococcus epidermidis has been discovered as the most frequent germ detected during indwelling medical devices infection. This fact is well attached with the ability of this bacterium to form structured layered population known as biofilm. Inside S. epidermidis biofilm, bacterial cells present more different behavior than in their planktonic counterpart. This paper describes the thriving application of Petri net theory for modeling of interaction between different regulations actors leading S. epidermidis to switch from Planctonik to Biofilm. Indeed this biologic system is very sensible and has dangerous effect. We propose Agent Petri Nets model to describe and analyze the process of formation of Biofilm molecule. This model presents a formal framework based on Multi Agents system characteristics.

General scheduling framework in computational Grid based on Petri net

A general scheduling framework (GSF) for independent tasks in computational Grid is proposed in this paper, which modeled by Petri net and located on the layer of Grid scheduler. Furthermore, a new mapping algorithm aimed at time and cost is designed on the basis of this framework. The algorithm uses weighted average fuzzy applicability to express the matching degree between available machines and independent tasks. Some existent heuristic algorithms are tested in GSF, and the results of simulation and comparison not only show good flexibility and adaptability of GSF, but also prove that, given a certain aim, the new algorithm can consider the factors of time and cost as a whole and its performance is higher than those mentioned algorithms.

Mapping AADL to Petri Net Tool-Sets Using PNML Framework

Architecture Analysis and Design Language (AADL) has been utilized to specify and verify nonfunctional properties of Real-Time Embedded Systems (RTES) used in critical application systems. Examples of such critical application systems include medical devices, nuclear power plants, aerospace, financial, etc. Using AADL, an engineer is enable to analyze the quality of a system. For example, a developer can perform performance analysis such as end-to-end flow analysis to guarantee that system components have the required resources to meet the timing requirements relevant to their communications. The critical issue related to developing and deploying safety critical systems is how to validate the expected level of quality (e.g., safety, performance, security) and functionalities (capabilities) at design level. Currently, the core AADL is extensively applied to analyze and verify quality of RTES embed in the safety critical applications. The notation lacks the formal semantics needed to reason about the logical properties (e.g., deadlock, livelock, etc.) and capabilities of safety critical systems. The objective of this research is to augment AADL with exiting formal semantics and supporting tools in a manner that these properties can be automatically verified. Toward this goal, we exploit Petri Net Markup Language (PNML), which is a standard acting as the intermediate language between different classes of Petri Nets. Using PNML, we interface AADL with different classes of Petri nets, which support different types of tools and reasoning. The justification for using PNML is that the framework provides a context in which interoperability and exchangeability among different models of a system specified by different types of Petri nets is possible. The contributions of our work include a set of mappings and mapping rules between AADL and PNML. To show the feasibility of our approach, a fragment of RT-Embedded system, namely, Cruise Control System has been used.

Regularization by Multiple Dual Frames for Compressed Sensing Magnetic Resonance Imaging With Convergence Analysis

Plug-and-play priors are popular for solving illposed imaging inverse problems. Recent efforts indicate that the convergence guarantee of the imaging algorithms using plug-andplay priors relies on the assumption of bounded denoisers. However, the bounded properties of existing plugged Gaussian denoisers have not been proven explicitly. To bridge this gap, we detail a novel provable bounded denoiser termed as BMDual,which combines a trainable denoiser using dual tight frames and the well-known block-matching and 3D filtering(BM3D)denoiser. We incorporate multiple dual frames utilized by BMDual into a novel regularization model induced by a solver. The proposed regularization model is utilized for compressed sensing magnetic resonance imaging(CSMRI). We theoretically show the bound of the BMDual denoiser, the bounded gradient of the CSMRI data-fidelity function, and further demonstrate that the proposed CSMRI algorithm converges. Experimental results also demonstrate that the proposed algorithm has a good convergence behavior, and show the effectiveness of the proposed algorithm.

Cascaded ELM-Based Joint Frame Synchronization and Channel Estimation over Rician Fading Channel with Hardware Imperfections

Due to the interdependency of frame synchronization(FS)and channel estimation(CE),joint FS and CE(JFSCE)schemes are proposed to enhance their functionalities and therefore boost the overall performance of wireless communication systems.Although traditional JFSCE schemes alleviate the influence between FS and CE,they show deficiencies in dealing with hardware imperfection(HI)and deterministic line-of-sight(LOS)path.To tackle this challenge,we proposed a cascaded ELM-based JFSCE to alleviate the influence of HI in the scenario of the Rician fading channel.Specifically,the conventional JFSCE method is first employed to extract the initial features,and thus forms the non-Neural Network(NN)solutions for FS and CE,respectively.Then,the ELMbased networks,named FS-NET and CE-NET,are cascaded to capture the NN solutions of FS and CE.Simulation and analysis results show that,compared with the conventional JFSCE methods,the proposed cascaded ELM-based JFSCE significantly reduces the error probability of FS and the normalized mean square error(NMSE)of CE,even against the impacts of parameter variations.

Innovative Services for Electric Mobility Based on Virtual Sensors and Petri Nets

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,which significantly reduces the rate of urban pollution.The use of electric vehicles(EVs)has to be encouraged and facilitated by new information and communication technology(ICT)tools.To help achieve this goal,this paper proposes innovative services for electric vehicle users aimed at improving travel and charging experience.The goal is to provide a smart service to allow drivers to find the most appropriate charging solutions during a trip based on information such as the vehicle’s current position,battery type,state of charge,nearby charge point availability,and compatibility.In particular,the drivers are supported so that they can find and book the preferred charge option according to time availability and the final cost of the charge points(CPs).To this purpose,two virtual sensors(VSs)are designed,modeled and simulated in order to provide the users with an innovative service for smart CP searching and booking.In particular,the first VS is devoted to locate and find available CPs in a preferred area,whereas the second VS calculates the charging cost for the EV and supports the driver in the booking phase.A UML activity diagram describes VSs operations and cooperation,while a UML sequence diagram highlights data exchange between the VSs and other electromobility ecosystem actors(CP operator,EV manufacturer,etc.).Furthermore,two timed Petri Nets(TPNs)are designed to model the proposed VSs,functioning and interactions as discrete event systems.The Petri Nets are synchronized by a single larger TPN that is simulated in different use cases and scenarios to demonstrate the effectiveness of the proposed VSs.

Boundedness and liveness enforcement for labeled Petri nets using transition priority

This paper deals with the supervisory control problem of discrete event systems modeled by labeled Petri nets. The system is originally unbounded. First, the solvability of the problem is confirmed. A necessary condition is given and proven for the existence of a feasible priority-based controller based on the notions of liveness and transition invariants. Next, a cyclic behavior graph is constructed, which shows the reachable markings that guarantee the maximum liveness of the system within a given bound vector. Finally, an on-line control strategy is proposed to enforce boundedness and liveness to the given system by appending priority relations to transitions. The dynamic priority relation changes flexibly according to the current state of the system and enforces the system evolving in a bounded and live manner. In addition, numerical examples are studied to verify the validity of the proposed approach that remains the structure of the plant net and is efficient for on-line control.

Dynamic interactive bitwise meta-holography with ultra-high computational and display frame rates

Interactive holography offers unmatched levels of immersion and user engagement in the field of future display.Despite of the substantial progress has been made in dynamic meta-holography,the realization of real-time,highly smooth interactive holography remains a significant challenge due to the computational and display frame rate limitations.In this study,we introduced a dynamic interactive bitwise meta-holography with ultra-high computational and display frame rates.To our knowledge,this is the first reported practical dynamic interactive metasurface holographic system.We spa-tially divided the metasurface device into multiple distinct channels,each projecting a reconstructed sub-pattern.The switching states of these channels were mapped to bitwise operations on a set of bit values,which avoids complex holo-gram computations,enabling an ultra-high computational frame rate.Our approach achieves a computational frame rate of 800 kHz and a display frame rate of 23 kHz on a low-power Raspberry Pi computational platform.According to this methodology,we demonstrated an interactive dynamic holographic Tetris game system that allows interactive gameplay,color display,and on-the-fly hologram creation.Our technology presents an inspiration for advanced dynamic meta-holography,which is promising for a broad range of applications including advanced human-computer interaction,real-time 3D visualization,and next-generation virtual and augmented reality systems.

Resilience-incorporated seismic risk assessment of precast concrete frames with“dry”connections

A resilience-incorporated risk assessment framework is proposed and demonstrated in this study to manifest the advantageous seismic resilience of precast concrete frame(PCF)structures with“dry”connections in terms of their low damage and rapid recovery.The framework integrates various uncertainties in the seismic hazard,fragility,capacity,demand,loss functions,and post-earthquake recovery.In this study,the PCF structures are distinguished from ordinary reinforced concrete frame(RCF)structures by characterizing multiple limit states for the PCF based on its unique damage mechanisms.Accordingly,probabilistic story-wise pushover analyses are performed to yield story-wise capacities for the predefined limit states.In the seismic resilience analysis,a step-wise recovery model is proposed to idealize the functionality recovery process,with separate considerations of the repair and non-repair events.The recovery model leverages the economic loss and downtime to delineate the stochastic post-earthquake recovery curves for the resilience loss estimation.As such,contingencies in the probabilistic post-earthquake repairs are incorporated and the empirical judgments on the recovery parameters are largely circumvented.The proposed framework is demonstrated through a comparative study between two“dry”connected PCFs and one RCF designed as alternative structural systems for a prototype building.The results from the risk quantification indicate that the PCFs show reduced loss hazards and lower expected losses relative to the RCF.Particularly,the PCF equipped with energy dissipation devices at the“dry”connections largely reduces the expected economic loss,downtime,and resilience loss by 29%,56%,and 60%,respectively,compared to the RCF.

Defining the We-map Reference Frames and Providing Mathematical Expressions for Transformation Relations

We-map is an interactive mobile map that can be easily communicated and applied on personal electronic devices,such as personal computers and mobile phones.Therefore,the study of direction systems and coordinate systems is critical,and exploring reference frames is essential in direction and coordinate systems.Despite its significance,existing research on We-map lacks specific solutions for the exploration of reference frames is indispensable for the establishment of accurate direction and coordinate systems.In this paper,we endeavor to address this gap by elucidating the significance of We-map reference frames,defining them with mathematical constraints,summarizing their nature and characteristics,deriving their transformation relationships and representing them through mathematical formulars and equations.Our work contributes to the fundamental theory of We-map and provides valuable systems and support for the mathematical foundation of We-map,map production,and platform development.Ultimately,this research serves to advance the development of We-map.

Experimental and numerical study regarding H-steel all-bolted connection steel frame with composite wall boards

H-steel all-bolted connection steel frame structures with heat preservation and decoration composite wall boards were investigated and the seismic performances of three scaled specimens were studied.The failure modes,hysteresis curves,bearing capacity,ductility,energy dissipation capacity,stiffness degradation and strain distribution were discussed.The calculation method of structural theoretical internal force was presented.The results showed that the overall structural seismic performance was better,and the structural ductility met the demands of elastic-plastic inter-story drift angle for seismic design.The H-steel weak-axis connection structure obtained better energy dissipation capacity,and its bearing capacity and stiffness were slightly different from the strong-axis connection.The heat preservation and decoration performance of composite wallboard and the all-bolted connection of the steel frame realized prefabrication during the whole construction period.The plastic hinge of the steel beam can be moved outwards because of the L-angles,which effectively avoids stress concentration in joint areas and expands the plastic hinge range.The errors between the theoretical structural capacity calculated by the plastic analysis method and the test results were within 2.44%.In addition,structural failure mechanisms and bearing capacities were verified by the finite element(FE)analysis,and the effects of the main parameters on the structures were investigated.The FE verification results were the same as in the test.The research results provide theoretical support and technical guidance for the application of thermal insulation and decorative composite wall panels in H-shaped steel all-bolted steel frames.

Evaluation of the seismic behavior of reinforced concrete structures with flat slab-column gravity frame and shear walls through nonlinear analysis methods

This paper presents an investigation of the seismic behavior of reinforced concrete(RC)structures in which shear walls are the main lateral load-resisting elements and the participation of flat slab floor systems is not considered in the seismic design procedure.In this regard,the behavior of six prototype structures(with different heights and plan layouts)is investigated through nonlinear static and time history analyses,implemented in the OpenSees platform.The results of the analyses are presented in terms of the behavior of the slab-column connections and their mode of failure at different loading stages.Moreover,the global response of the buildings is discussed in terms of some parameters,such as lateral overstrength due to the gravity flat slab-column frames.According to the nonlinear static analyses,in structures in which the slab-column connections were designed only for gravity loads,the slab-column connections exhibited a punching mode of failure even in the early stages of loading.However,the punching failure was eliminated in structures in which a minimum transverse reinforcement recommended in ACI 318(2019)was provided in the slabs at joint regions.Furthermore,despite neglecting the contribution of gravity flat slab-column frames in the lateral load resistance of the structures,a relatively significant overstrength was imposed on the structures by the gravity frames.

Field Load Test Based SHM System Safety Standard Determination for Rigid Frame Bridge

The deteriorated continuous rigid frame bridge is strengthened by external prestressing. Static loading tests wereconducted before and after the bridge rehabilitation to verify the effectiveness of the rehabilitation process. Thestiffness of the repaired bridge is improved, and the maximum deflection of the load test is reduced from 37.9 to27.6 mm. A bridge health monitoring system is installed after the bridge is reinforced. To achieve an easy assessmentof the bridge’s safety status by directly using transferred data, a real-time safety warning system is createdbased on a five-level safety standard. The threshold for each safety level will be determined by theoretical calculationsand the outcomes of static loading tests. The highest risk threshold will be set at the ultimate limit statevalue. The remaining levels, namely middle risk, low risk, and very low risk, will be determined usingreduction coefficients of 0.95, 0.9, and 0.8, respectively.

Frame Length Dependency for Fundamental Frequency Extraction in Noisy Speech

The fundamental frequency plays a significant part in understanding and perceiving the pitch of a sound. The pitch is a fundamental attribute employed in numerous speech-related works. For fundamental frequency extraction, several algorithms have been developed which one to use relies on the signal’s characteristics and the surrounding noise. Thus, the algorithm’s noise resistance becomes more critical than ever for precise fundamental frequency estimation. Nonetheless, numerous state-of-the-art algorithms face struggles in achieving satisfying outcomes when confronted with speech recordings that are noisy with low signal-to-noise ratio (SNR) values. Also, most of the recent techniques utilize different frame lengths for pitch extraction. From this point of view, This research considers different frame lengths on male and female speech signals for fundamental frequency extraction. Also, analyze the frame length dependency on the speech signal analytically to understand which frame length is more suitable and effective for male and female speech signals specifically. For the validation of our idea, we have utilized the conventional autocorrelation function (ACF), and state-of-the-art method BaNa. This study puts out a potent idea that will work better for speech processing applications in noisy speech. From experimental results, the proposed idea represents which frame length is more appropriate for male and female speech signals in noisy environments.

Real-Time Mosaic Method of Aerial Video Based on Two-Stage Key Frame Selection Method

A two-stage automatic key frame selection method is proposed to enhance stitching speed and quality for UAV aerial videos. In the first stage, to reduce redundancy, the overlapping rate of the UAV aerial video sequence within the sampling period is calculated. Lagrange interpolation is used to fit the overlapping rate curve of the sequence. An empirical threshold for the overlapping rate is then applied to filter candidate key frames from the sequence. In the second stage, the principle of minimizing remapping spots is used to dynamically adjust and determine the final key frame close to the candidate key frames. Comparative experiments show that the proposed method significantly improves stitching speed and accuracy by more than 40%.

Resource Allocation Using Timed Petri Nets and Heuristic Search

Traditional models for project management have not adequately incorporated a number of factors that are important for resource allocation. This paper proposed a unified timed Petri net model in which scheduling and planning were collectively carried out to take full advantages of the flexibility of the FMS. Through the lens of system theory, two types of resources were distinguished: major role and auxiliary role, and the major role was used to construct the FMS' Petri net. The method simplified the Petri net's construction and gave a clear flow chart for scheduling. Hence, the auxiliary resource allocation could be easily carried out according to the schedule, which was proposed by heuristic search algorithm. At last, the efficacy of the Petri net model for online scheduling in a resource constrained environment was discussed.

Research on Petri Net Based Modeling and Analyzing Methods for Workflow Process

Workflow management is an important aspect in CSCW at present. The elementary knowledge of workflow process is introduced, the Petri nets based process modeling methodology and basic definitions are provided, and the analysis and verification of structural and behavioral correctness of workflow process are discussed. Finally, the algorithm of verification of process definitions is proposed.

An Effective Approach to Verify the Correctness of Workflow Process Models Based on Petri Net

Along with the extensive use of workflow, analysis methods to verify the correctness of the workflow are becoming more and more important. In the paper, we exploit the verification method based on Petri net for workflow process models which deals with the verification of workflow and finds the potential errors in the process design. Additionally, an efficient verification algorithm is given.

Study of Object Oriented Petri Net and Its Application in Flexible Manufacturing Cells

This paper presents an object oriented Petri net (OOPN) schema to model the dynamic behaviors of a flexible manufacturing cells (FMCs). The OOPN paradigm incorporates the characteristics of a Petri net and OOP. It increases the maintainability and reusability of objects in Petri net modeling, thus it has more powerful modeling and analysis abilities.