Search results for "Modeling and simulation"
showing 10 items of 1561 documents
Fractional differential equations and related exact mechanical models
2013
Creep and relaxation tests, performed on various materials like polymers, rubbers and so on are well-fitted by power-laws with exponent β ∈ [0, 1] (Nutting (1921), Di Paola et al. (2011)). The consequence of this observation is that the stress-strain relation of hereditary materials is ruled by fractional operators (Scott Blair (1947), Slonimsky (1961)). A large amount of researches have been performed in the second part of the last century with the aim to connect constitutive fractional relations with some mechanical models by means of fractance trees and ladders (see Podlubny (1999)). Recently, Di Paola and Zingales (2012) proposed a mechanical model that corresponds to fractional stress-…
EXACT SOLUTIONS FOR A CLASS OF FRACTAL TIME RANDOM WALKS
1995
Fractal time random walks with generalized Mittag-Leffler functions as waiting time densities are studied. This class of fractal time processes is characterized by a dynamical critical exponent 0<ω≤1, and is equivalently described by a fractional master equation with time derivative of noninteger order ω. Exact Greens functions corresponding to fractional diffusion are obtained using Mellin transform techniques. The Greens functions are expressible in terms of general H-functions. For ω<1 they are singular at the origin and exhibit a stretched Gaussian form at infinity. Changing the order ω interpolates smoothly between ordinary diffusion ω=1 and completely localized behavior in the …
Boundary discretization based on the residual energy using the SGBEM
2007
Abstract The paper has as objective the estimation of the error in the structural analysis performed by using the displacement approach of the Symmetric Galerkin Boundary Element Method (SGBEM) and suggests a strategy able to reduce this error through an appropriate change of the boundary discretization. The body, characterized by a domain Ω and a boundary Γ−, is embedded inside a complementary unlimited domain Ω∞⧹Ω bounded by a boundary Γ+. In such new condition it is possible to perform a separate valuation of the strain energies in the two subdomains through the computation of the work, defined generalized, obtained as the product among nodal and weighted quantities on the actual boundar…
Mechanical Bistable Structures for Microrobotics and Mesorobotics from Microfabrication to Additive Manufacturing
2018
International audience; The use of mechanical bistable structures in the design of microrobots and mesorobots has many advantages especially for flexible robotic structures. However, depending on the fabrication technology used, the adequacy of theoretical and experimental mechanical behaviors can vary widely. In this paper, we present the manufacturing results of bistable structures made with two extensively used contemporary technologies: MEMS and FDM additive manufacturing. Key issues of these fabrication technologies are discussed in the context of microrobotics and mesorobotics applications.
Analysis of metal spinning processes by the ADINA code
1989
Abstract The ADINA code, version 84, has been employed for the analysis of sheet spinning processes. The main process parameters have been evaluated in different working conditions; namely for various geometries and constitutive laws of the material.
Geothermal Gases Shape the Microbial Community of the Volcanic Soil of Pantelleria, Italy
2020
The Favara Grande nature reserve on the volcanic island of Pantelleria (Italy) is known for its geothermal gas emissions and high soil temperatures. These volcanic soil ecosystems represent “hot spots” of greenhouse gas emissions. The unique community might be shaped by the hostile conditions in the ecosystem, and it is involved in the cycling of elements such as carbon, hydrogen, sulfur, and nitrogen. Our metagenome study revealed that most of the microorganisms in this extreme environment are only distantly related to cultivated bacteria. The results obtained profoundly increased the understanding of these natural hot spots of greenhouse gas production/degradation and will help to enrich …
Car sequencing versus mixed-model sequencing: A computational study
2014
Abstract The paper deals with the two most important mathematical models for sequencing products on a mixed-model assembly line in order to minimize work overload the mixed-model sequencing (MMS) model and the car sequencing (CS) model. Although both models follow the same underlying objective, only MMS directly addresses the work overload in its objective function. CS instead applies a surrogate objective using so-called sequencing rules which restrict labor-intensive options accompanied with the products in the sequence. The CS model minimizes the number of violations of the respective sequencing rules, which is widely assumed to lead to minimum work overload. This paper experimentally co…
Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles
2017
International audience; The paper presents a formal approach to model, analyze, and verify a variant of Message Queue Telemetry Transport protocol (MQtt), dedicated to communicating vehicles (MQtt-CV) that send collected data to automotive infrastructures(subscribers). Our formal approach is based on Promela language and its system verification tool, the model checker SPIN. We propose a slight modification of MQtt protocol to reduce the big volume of data collected and sent by vehicles to infrastructures. Indeed, in the original version of MQtt protocol, when a broker receives data from publishers, it sends them directly to its subscribers without any filtration. As consequence, subscribers…
Verifying a medical protocol with temporal graphs: the case of a nosocomial disease.
2014
Abstract Objective Our contribution focuses on the implementation of a formal verification approach for medical protocols with graphical temporal reasoning paths to facilitate the understanding of verification steps. Materials and methods Formal medical guideline specifications and background knowledge are represented through conceptual graphs, and reasoning is based on graph homomorphism. These materials explain the underlying principles or rationale that guide the functioning of verifications. Results An illustration of this proposal is made using a medical protocol defining guidelines for the monitoring and prevention of nosocomial infections. Such infections, which are acquired in the h…
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
2008
International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…