The fluorescent dye 4′,6-diamidino-2-phenylindole (DAPI) has been widely used to stain microorganisms in various environment media. We applied DAPI fluorescence enumeration to airborne microorganisms and found that n...
详细信息
The fluorescent dye 4′,6-diamidino-2-phenylindole (DAPI) has been widely used to stain microorganisms in various environment media. We applied DAPI fluorescence enumeration to airborne microorganisms and found that non-biological particles, including organic compounds, minerals, and soot, were also visible upon exposure to UV excitation under fluorescence microscope. Using laboratory-prepared biological particles as the control, we investigated the feasibility of identifying both biological and non-biological particles in the same sample with DAPI staining. We prepared biological (bacterial, fungi, and plant detritus) and non-biological (biochar, soot, mineral, metal, fly ash, salt) particles in the laboratory and enumerated the particles and their mixture with DAPI. We found that mineral particles were transparent, and biochar, soot, metals and fly ash particles were black under a filter set at excitation 350/50 nm and emission 460/50 nm bandpass (DAPI-BP), while biological particles were blue, as expected. Particles of the water-soluble salts NaCl and (NH_(4))_(2)SO_(4) were yellow under a filter set at excitation 340–380 nm and emission 425 nm long pass (DAPI-LP). Case studies with samples of dustfall, atmospheric aerosols and surface soils could allow for the quantification of the relative number of different types of particles and particles with organic matter or salt coating as well. Fluorescence enumeration with DAPI stain is thus able to identify the co-existence of biological and non-biological particles in the air, at least to the extent of those examined in this study.
Due to the important part of batteries in industrial systems, its safety analysis has causes widespread attention from researchers, and its effective maintenance decision-making is needed. Data-driven state-of-health ...
详细信息
Moving deep learning models from the laboratory setting to the open world entails preparing them to handle unforeseen conditions. In several applications the occurrence of novel classes during deployment poses a signi...
详细信息
With the advancement of biometric technologies, finger vein recognition has garnered widespread attention within the academic community. This paper proposes a method based on the UNet++ model, wherein parameter adjust...
详细信息
The main task of pedestrian multi objects tracking technology is to continuously track multiple pedestrian objects simultaneously in video sequences and maintain their unique ID numbers. However, current pedestrian mu...
详细信息
This paper proposes two metrics for evaluating learned object detection models: the proposition-labeled and distance-parametrized confusion matrices. These metrics are leveraged to quantitatively analyze the system wi...
This paper proposes two metrics for evaluating learned object detection models: the proposition-labeled and distance-parametrized confusion matrices. These metrics are leveraged to quantitatively analyze the system with respect to its system-level formal specifications via probabilistic model checking. In particular, we derive transition probabilities from these confusion matrices to compute the probability that the closed-loop system satisfies its system-level specifications expressed in temporal logic. Instead of using object class labels, the proposition-labeled confusion matrix uses atomic propositions relevant to the high-level control strategy. Furthermore, unlike the traditional confusion matrix, the proposed distance-parametrized confusion matrix accounts for variations in detection performance with respect to the distance between the ego and the object. Empirically, these evaluation metrics, chosen by considering system-level specifications and control module design, result in less conservative system-level evaluations than those from traditional confusion matrices. We demonstrate this framework on a car-pedestrian example by computing the satisfaction probabilities for safety requirements formalized in Linear Temporal Logic.
A popular technique used to obtain linear representations of nonlinear systems is the so-called Koopman approach, where the nonlinear dynamics are lifted to a (possibly infinite dimensional) linear space through nonli...
详细信息
A popular technique used to obtain linear representations of nonlinear systems is the so-called Koopman approach, where the nonlinear dynamics are lifted to a (possibly infinite dimensional) linear space through nonlinear functions called observables. In the lifted space, the dynamics are linear and represented by a so-called Koopman operator. While the Koopman theory was originally introduced for autonomous systems, it has been widely used to derive linear time-invariant (LTI) models for nonlinear systems with inputs through various approximation schemes such as the extended dynamics mode decomposition (EDMD). However, recent extensions of the Koopman theory show that the lifting process for such systems results in a linear parameter-varying (LPV) model instead of an LTI form. As LTI Koopman model based control has been successfully used in practice and it is generally temping to use such LTI descriptions of nonlinear systems, due to the simplicity of the associated control tool chain, a systematic approach is needed to synthesise optimal LTI approximations of LPV Koopman models compared to the ad-hoc schemes such as EDMD, which is based on least-squares regression. In this work, we introduce optimal LTI Koopman approximations of exact Koopman models of nonlinear systems with inputs by using ℓ 2 -gain and generalized H 2 norm performance measures. We demonstrate the advantages of the proposed Koopman modelling procedure compared to EDMD.
Domain generalization aims to extract a classifier model from multiple observed source domains, and then can be applied to unseen target domains. The primary challenge in domain generalization lies in how to extract a...
详细信息
The research presents a new efficient machine learning method to classify brain tumors because this task remains vital in fighting the high incidence of brain cancers. The proposed approach unites all its operations i...
详细信息
Payload grasping and transportation with quadcopters is an active research area that has rapidly developed over the last decade. To grasp a payload without human interaction, most state-of-the-art approaches apply rob...
详细信息
暂无评论