Search results for "Simulation."
showing 10 items of 4779 documents
A comparative study of partitioning methods for crowd simulations
2010
The simulation of large crowds of autonomous agents with realistic behavior is still a challenge for several computer research communities. In order to handle large crowds, some scalable architectures have been proposed. Nevertheless, the effective use of distributed systems requires the use of partitioning methods that can properly distribute the workload generated by agents among the existing distributed resources. In this paper, we analyze the use of irregular shape regions (convex hulls) for solving the partitioning problem. We have compared a partitioning method based on convex hulls with two techniques that use rectangular regions. The performance evaluation results show that the conv…
Stabilization and lx -gain analysis of switched positive systems with actuator saturation
2014
This paper is concerned with the problems of stability and l 1 -gain analysis for a class of switched positive systems with time-varying delays and actuator saturation. Firstly, a convex hull representation is used to describe the saturation behavior. By constructing a multiple co-positive Lyapunov functional, sufficient conditions are provided for the closed-loop system to be locally asymptotically stable at the origin of the state space under arbitrary switching. Then, the l 1 -gain performance analysis in the presence of actuator saturation is developed. Finally, two numerical examples are provided to demonstrate the effectiveness of the proposed method.
Enhancement of the Lifetime of Metastable States in Er-Doped Si Nanocrystals by External Colored Noise
2015
The changes in the lifetime of a metastable energy level in Er-doped Si nanocrystals in the presence of an external source of colored noise are analyzed for different values of noise intensity and correlation time. Exciton dynamics is simulated by a set of phenomenological rate equations which take into account all the possible phenomena inherent in the energy states of Si nanocrystals and Er^{3+} ions in the host material of Si oxide. Electronic deexcitation is studied by examining the decay of the initial population of the Er atoms in the first excitation level 4I_{13/2} through fluorescence and cooperative energy transfer upconversion. Our results show that the deexcitation process of th…
What makes learning and understanding in virtual teams so difficult?
2004
The ideas presented in this article are especially challenged by critical questions raised by the other authors in this special issue. One of the core questions throughout the different studies is whether participants in distributed learning groups are able to successfully work on a common task and achieve a type of interaction that leads them to educationally relevant higher-level discussion and learning. This article discusses the central findings of these studies in light of the recent research on computer-supported collaborative learning. At the beginning of the article, typical problems and challenges related to learning in virtual teams are described. In the end of the discussion, som…
Granulometric analysis of corneal endothelium specular images by using a germ–grain model
2007
Specular microscopy is widely used to study the human corneal endothelium status in vivo. In this paper, the corneal endothelium is represented as a binary image composed of the cell inscribed circles. The granulometric distribution function of the complement of this image is used as a functional descriptor, which provides information about the shape, size and spatial arrangement of cells. Experimental evaluation using bootstrap techniques shows its ability to discriminate between controls and pathological cases. It represents a reliable and graphical alternative to the classical indices (cell density, hexagonality and coefficient of variation of cell areas), which behave poorly when detect…
Lead Discovery of SARS-CoV-2 Main Protease Inhibitors through Covalent Docking-Based Virtual Screening
2021
During almost all 2020, coronavirus disease 2019 (COVID-19) pandemic has constituted the major risk for the worldwide health and economy, propelling unprecedented efforts to discover drugs for its prevention and cure. At the end of the year, these efforts have culminated with the approval of vaccines by the American Food and Drug Administration (FDA) and the European Medicines Agency (EMA) giving new hope for the future. On the other hand, clinical data underscore the urgent need for effective drugs to treat COVID-19 patients. In this work, we embarked on a virtual screening campaign against the severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) Mpro chymotrypsin-like cysteine pro…
Flume experiments for assessing the dye-tracing technique in rill flows
2021
Abstract Flow velocity controls hillslope soil erosion and is a key hydrodynamic variable involved in sediment transport and deposition processes. The dye-tracer technique is one of the most applied methods for measuring velocity of shallow interrill and rill flow. The technique is based on the injection of a tracer in a specific point and the measurement of its speed to travel the known distance from the injection point to a given channel section. The dye-tracer technique requires that the measured surface flow velocity has to be corrected to obtain the mean flow velocity using a correction factor which is generally empirically deduced. The technique has two sources of uncertainties: i) th…
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
2018
This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…
Cost analysis of a vaccination strategy for respiratory syncytial virus (RSV) in a network model
2010
[EN] In this paper an age-structured mathematical model for respiratory syncytial virus (RSV) is proposed where children younger than one year old, who are the most affected by this illness, are specially considered. Real data of hospitalized children in the Spanish region of Valencia are used in order to determine some seasonal parameters of the model. Once the parameters are determined, we propose a complete stochastic network model to study the seasonal evolution of the respiratory syncytial virus (RSV) epidemics. In this model every susceptible individual can acquire the disease after a random encounter with any infected individual in the social network. The edges of a complete graph co…
Hidden oscillations in SPICE simulation of two-phase Costas loop with non-linear VCO
2016
Simulation is widely used for analysis of Costas loop based circuits. However it may be a non-trivial task, because incorrect choice of integration parameters may lead to qualitatively wrong conclusions. In this work the importance of choosing appropriate parameters and simulation model is discussed. It is shown that hidden oscillations may not be found by simulation in SPICE, however it can be predicted by analytical methods. peerReviewed