Search results for "Modeling and simulation"
showing 10 items of 1561 documents
Etudes d'objets combinatoires : applications à la bio-informatique
2011
This thesis considers classes of combinatorial objects that model data in bioinformatics. We have studied two methods of mutation of genes within the genome : duplication and inversion. At first,we study the problem of the whole mirror duplication-random lossmodel in terms of pattern avoiding permutations. We prove that the class of permutations obtained with this method after p duplications from the identity is the class of permutations avoiding alternating permutations of length 2p + 1.We also enumerate the number of duplications that are necessary and sufficient to obtain any permutation of length n from the identity. We also suggest two efficient algorithms to reconstruct two different …
Lasergrammetry and high precision topography measurements to study a complex fortified building: Tour de la Pelote (Besançon, France)
2018
International audience
The mKdV equation and multi-parameters rational solutions
2021
Abstract N -order solutions to the modified Korteweg–de Vries (mKdV) equation are given in terms of a quotient of two wronskians of order N depending on 2 N real parameters. When one of these parameters goes to 0, we succeed to get for each positive integer N , rational solutions as a quotient of polynomials in x and t depending on 2 N real parameters. We construct explicit expressions of these rational solutions for orders N = 1 until N = 6 .
On a posteriori error bounds for approximations of the generalized Stokes problem generated by the Uzawa algorithm
2012
In this paper, we derive computable a posteriori error bounds for approximations computed by the Uzawa algorithm for the generalized Stokes problem. We show that for each Uzawa iteration both the velocity error and the pressure error are bounded from above by a constant multiplied by the L2-norm of the divergence of the velocity. The derivation of the estimates essentially uses a posteriori estimates of the functional type for the Stokes problem. peerReviewed
Geostatistical computing of acoustic maps in the presence of barriers
2009
Acoustic maps are the main diagnostic tools used by authorities for addressing the growing problem of urban acoustic contamination. Geostatistics models phenomena with spatial variation, but restricted to homogeneous prediction regions. The presence of barriers such as buildings introduces discontinuities in prediction areas. In this paper we investigate how to incorporate information of a geographical nature into the process of geostatistical prediction. In addition, we study the use of a Cost-Based distance to quantify the correlation between locations.
Development and pilot-scale validation of a fuzzy-logic control system for optimization of methane production in fixed-bed reactors
2018
International audience; The objective of this study was to develop an advanced control system for optimizing the performance of fixed-bed anaerobic reactors. The controller aimed at maximizing the bio-methane production whilst controlling the volatile fatty acids content in the effluent. For this purpose, a fuzzy-logic controller was developed, tuned and validated in an anaerobic fixed-bed reactor at pilot scale (350 L) treating raw winery wastewater. The results showed that the controller was able to adequately optimize the process performance, maximizing the methane production in terms of methane flow rate, resulting in an average methane yield of about 0.29 LCH4 g−1 COD. On the other han…
Analysing face to face computer-mediated interactions
2007
http://www.emse.fr/spip/IMG/pdf/RR_2007-400-004.pdf; Detailed analysis of face to face computer mediated interactions implies a study of a corpus composed of the interaction traces produced by the collaborative tool and video and audio recordings. Because of their separate nature, it is frequently difficult to perform this joint analysis. In order to facilitate such analyses we propose a model for describing corpora composed of sources from different media; we also describe how certain types of analyses can be modelled and reified for future use. We show how a tool based on these models facilitates a number of analysis methodologies by simplifying situations where entities are multiple: sev…
The Norwegian Motion-Laboratory
2018
This paper contains an overview of the equipment currently available in the Norwegian Motion Laboratory, a description of the IT networking infrastructure in the laboratory, a GitHub link to open source code developed, description of the PyQt-based graphical user interface, presentation of robot forward and inverse kinematics, presentation of equations of motion for the suspended load motion and a description of the full system kinematics. The paper ends with a list of research experiments and publications from the laboratory to date.
Optimal recovery of a radiating source with multiple frequencies along one line
2020
We study an inverse problem where an unknown radiating source is observed with collimated detectors along a single line and the medium has a known attenuation. The research is motivated by applications in SPECT and beam hardening. If measurements are carried out with frequencies ranging in an open set, we show that the source density is uniquely determined by these measurements up to averaging over levelsets of the integrated attenuation. This leads to a generalized Laplace transform. We also discuss some numerical approaches and demonstrate the results with several examples.
Nonlinear Feedback Control and Stability Analysis of a Proof-of-Work Blockchain
2017
In this paper a novel feedback controller and stability analysis of a blockchain implementation is developed by using a control engineering perspective. The controller output equals the difficulty adjustment in the mining process while the feedback variable is the average block time over a certain time period. The computational power (hash rate) of the miners is considered a disturbance in the model. The developed controller is tested against a simulation model with constant disturbance, step and ramp responses as well as with a high-frequency sinusoidal disturbance. Stability and a fast response is demonstrated in all these cases with a controller which adjusts it's output at every new blo…