Real-time extended interface automata for software testing cases generation.
Ontology highlight
ABSTRACT:
SUBMITTER: Yang S
PROVIDER: S-EPMC4032670 | biostudies-other | 2014
REPOSITORIES: biostudies-other
Similar Datasets
Project description:A mobile robot mounted with multiple sensors is used to rapidly collect 3D point clouds and video images so as to allow accurate terrain modeling. In this study, we develop a real-time terrain storage generation and representation system including a nonground point database (PDB), ground mesh database (MDB), and texture database (TDB). A voxel-based flag map is proposed for incrementally registering large-scale point clouds in a terrain model in real time. We quantize the 3D point clouds into 3D grids of the flag map as a comparative table in order to remove the redundant points. We integrate the large-scale 3D point clouds into a nonground PDB and a node-based terrain mesh using the CPU. Subsequently, we program a graphics processing unit (GPU) to generate the TDB by mapping the triangles in the terrain mesh onto the captured video images. Finally, we produce a nonground voxel map and a ground textured mesh as a terrain reconstruction result. Our proposed methods were tested in an outdoor environment. Our results show that the proposed system was able to rapidly generate terrain storage and provide high resolution terrain representation for mobile mapping services and a graphical user interface between remote operators and mobile robots.
| S-EPMC4101941 | biostudies-other
Project description:De novo sequencing software has been widely used in proteomics to sequence new peptides from tandem mass spectrometry data. This study presents a new software tool, Novor, to greatly improve both the speed and accuracy of today's peptide de novo sequencing analyses. To improve the accuracy, Novor's scoring functions are based on two large decision trees built from a peptide spectral library with more than 300,000 spectra with machine learning. Important knowledge about peptide fragmentation is extracted automatically from the library and incorporated into the scoring functions. The decision tree model also enables efficient score calculation and contributes to the speed improvement. To further improve the speed, a two-stage algorithmic approach, namely dynamic programming and refinement, is used. The software program was also carefully optimized. On the testing datasets, Novor sequenced 7%-37% more correct residues than the state-of-the-art de novo sequencing tool, PEAKS, while being an order of magnitude faster. Novor can de novo sequence more than 300 MS/MS spectra per second on a laptop computer. The speed surpasses the acquisition speed of today's mass spectrometer and, therefore, opens a new possibility to de novo sequence in real time while the spectrometer is acquiring the spectral data. Graphical Abstract ?.
| S-EPMC4604512 | biostudies-literature
Project description:The ability to experimentally perturb biological systems has traditionally been limited to static pre-programmed or operator-controlled protocols. In contrast, real-time control allows dynamic probing of biological systems with perturbations that are computed on-the-fly during experimentation. Real-time control applications for biological research are available; however, these systems are costly and often restrict the flexibility and customization of experimental protocols. The Real-Time eXperiment Interface (RTXI) is an open source software platform for achieving hard real-time data acquisition and closed-loop control in biological experiments while retaining the flexibility needed for experimental settings. RTXI has enabled users to implement complex custom closed-loop protocols in single cell, cell network, animal, and human electrophysiology studies. RTXI is also used as a free and open source, customizable electrophysiology platform in open-loop studies requiring online data acquisition, processing, and visualization. RTXI is easy to install, can be used with an extensive range of external experimentation and data acquisition hardware, and includes standard modules for implementing common electrophysiology protocols.
| S-EPMC5469488 | biostudies-literature
Project description:[This corrects the article DOI: 10.1371/journal.pcbi.1005430.].
| S-EPMC5513696 | biostudies-literature
Project description:Rapid antibiotic susceptibility testing is in high demand in health care fields as antimicrobial-resistant bacterial strains emerge and spread. Here, we describe an optical screening system (oCelloScope) which, based on time-lapse imaging of 96 bacteria-antibiotic combinations at a time, introduces real-time detection of bacterial growth and antimicrobial susceptibility with imaging material to support the automatically generated graphs. Automated antibiotic susceptibility tests of a monoculture showed statistically significant antibiotic effects within 6 min and within 30 min in complex samples from pigs suffering from catheter-associated urinary tract infections. The oCelloScope system provides a fast high-throughput screening method for detecting bacterial susceptibility that might entail an earlier diagnosis and introduction of appropriate targeted therapy and thus combat the threat from multidrug-resistant pathogenic bacteria. The oCelloScope system can be employed for a broad range of applications within bacteriology and might present new vistas as a point-of-care instrument in clinical and veterinary settings.
| S-EPMC3697729 | biostudies-literature
Project description:Theory and implementation of acoustic virtual reality have matured and become a powerful tool for the simulation of entirely controllable virtual acoustic environments. Such virtual acoustic environments are relevant for various types of auditory experiments on subjects with normal hearing, facilitating flexible virtual scene generation and manipulation. When it comes to expanding the investigation group to subjects with hearing loss, choosing a reproduction system which offers a proper integration of hearing aids into the virtual acoustic scene is crucial. Current loudspeaker-based spatial audio reproduction systems rely on different techniques to synthesize a surrounding sound field, providing various possibilities for adaptation and extension to allow applications in the field of hearing aid-related research. Representing one option, the concept and implementation of an extended binaural real-time auralization system is presented here. This system is capable of generating complex virtual acoustic environments, including room acoustic simulations, which are reproduced as combined via loudspeakers and research hearing aids. An objective evaluation covers the investigation of different system components, a simulation benchmark analysis for assessing the processing performance, and end-to-end latency measurements.
| S-EPMC6195018 | biostudies-other
Project description:We study the relationships between the real-time psychophysiological activity of professional traders, their financial transactions, and market fluctuations. We collected multiple physiological signals such as heart rate, blood volume pulse, and electrodermal activity of 55 traders at a leading global financial institution during their normal working hours over a five-day period. Using their physiological measurements, we implemented a novel metric of trader's "psychophysiological activation" to capture affect such as excitement, stress and irritation. We find statistically significant relations between traders' psychophysiological activation levels and such as their financial transactions, market fluctuations, the type of financial products they traded, and their trading experience. We conducted post-measurement interviews with traders who participated in this study to obtain additional insights in the key factors driving their psychophysiological activation during financial risk processing. Our work illustrates that psychophysiological activation plays a prominent role in financial risk processing for professional traders.
| S-EPMC9312384 | biostudies-literature
Project description:In this paper, we propose a software reliability model that considers not only error generation but also fault removal efficiency combined with testing coverage information based on a nonhomogeneous Poisson process (NHPP). During the past four decades, many software reliability growth models (SRGMs) based on NHPP have been proposed to estimate the software reliability measures, most of which have the same following agreements: 1) it is a common phenomenon that during the testing phase, the fault detection rate always changes; 2) as a result of imperfect debugging, fault removal has been related to a fault re-introduction rate. But there are few SRGMs in the literature that differentiate between fault detection and fault removal, i.e. they seldom consider the imperfect fault removal efficiency. But in practical software developing process, fault removal efficiency cannot always be perfect, i.e. the failures detected might not be removed completely and the original faults might still exist and new faults might be introduced meanwhile, which is referred to as imperfect debugging phenomenon. In this study, a model aiming to incorporate fault introduction rate, fault removal efficiency and testing coverage into software reliability evaluation is developed, using testing coverage to express the fault detection rate and using fault removal efficiency to consider the fault repair. We compare the performance of the proposed model with several existing NHPP SRGMs using three sets of real failure data based on five criteria. The results exhibit that the model can give a better fitting and predictive performance.
| S-EPMC5531529 | biostudies-other
Project description:Heat waves over India occur during the months of March-June. This study aims at the real-time monitoring and prediction of heat waves using a multi-model dynamical ensemble prediction system developed at Indian Institute of Tropical Meteorology, India. For this, a criterion has been proposed based on the observed daily gridded maximum temperature (Tmax) datasets, which can be used for real-time prediction as well. A heat wave day is identified when either (1) Tmax (a)≥ its climatological 95th percentile (calculated from daily values during March-June and for 1981-2010), (b) >36 °C, and (c) its departure from normal is >3.5 °C, Or, (2) when the Tmax >44 °C. Three heat wave prone regions, namely, northwest, southeast and northwest-southeast regions are recognized and heat wave spells of minimum consecutive six days are identified objectively for each region during 1981-2018. It is noticed that the prediction system has reasonable skill in predicting the heat waves over heat wave prone regions of India. Forecast verification of heat wave spells during 2003-2018 reveals that the prediction system has great potential in providing overall indication about the onset, duration and demise of the forthcoming heat wave spell with sufficient lead time albeit with some spatio-temporal error.
| S-EPMC6588722 | biostudies-literature
Project description:Brain-machine interfaces (BMIs) involving electrodes implanted into the human cerebral cortex have recently been developed in an attempt to restore function to profoundly paralyzed individuals. Current BMIs for restoring communication can provide important capabilities via a typing process, but unfortunately they are only capable of slow communication rates. In the current study we use a novel approach to speech restoration in which we decode continuous auditory parameters for a real-time speech synthesizer from neuronal activity in motor cortex during attempted speech.Neural signals recorded by a Neurotrophic Electrode implanted in a speech-related region of the left precentral gyrus of a human volunteer suffering from locked-in syndrome, characterized by near-total paralysis with spared cognition, were transmitted wirelessly across the scalp and used to drive a speech synthesizer. A Kalman filter-based decoder translated the neural signals generated during attempted speech into continuous parameters for controlling a synthesizer that provided immediate (within 50 ms) auditory feedback of the decoded sound. Accuracy of the volunteer's vowel productions with the synthesizer improved quickly with practice, with a 25% improvement in average hit rate (from 45% to 70%) and 46% decrease in average endpoint error from the first to the last block of a three-vowel task.Our results support the feasibility of neural prostheses that may have the potential to provide near-conversational synthetic speech output for individuals with severely impaired speech motor control. They also provide an initial glimpse into the functional properties of neurons in speech motor cortical areas.
| S-EPMC2784218 | biostudies-literature