Academic literature on the topic 'Simulations de formage'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Simulations de formage.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Simulations de formage"

1

Guinard, Stéphane, Sylvain Chatel, and Serge Maison-Le-Poëc. "Besoins industriels en simulation numérique du formage thermoplastique." Revue des composites et des matériaux avancés 12, no. 3 (December 23, 2002): 399–406. http://dx.doi.org/10.3166/rcma.12.399-406.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Simons, M. A. J., T. Lamberts, and H. M. Cuppen. "Formation of COMs through CO hydrogenation on interstellar grains." Astronomy & Astrophysics 634 (February 2020): A52. http://dx.doi.org/10.1051/0004-6361/201936522.

Full text
Abstract:
Context. Glycoaldehyde, ethylene glycol, and methyl formate are complex organic molecules that have been observed in dark molecular clouds. Because there is no efficient gas-phase route to produce these species, it is expected that a low-temperature surface route existst that does not require energetic processing. CO hydrogenation experiments at low temperatures showed that this is indeed the case. Glyoxal can form through recombination of two HCO radicals and is then further hydrogenated. Aims. Here we aim to constrain the methyl formate, glycolaldehyde, and ethylene glycol formation on the surface of interstellar dust grains through this cold and dark formation route. We also probe the dependence of the grain mantle composition on the initial gas-phase composition and the dust temperature. Methods. A full CO hydrogenation reaction network was built based on quantum chemical calculations for the rate constants and branching ratios. This network was used in combination with a microscopic kinetic Monte Carlo simulation to simulate ice chemistry, taking into account all positional information. After benchmarking the model against CO-hydrogenation experiments, simulations under molecular cloud conditions were performed. Results. Glycoaldehyde, ethylene glycol, and methyl formate are formed in all interstellar conditions we studied, even at temperatures as low as 8 K. This is because the HCO + HCO reaction can occur when HCO radicals are formed close to each other and do not require to diffuse. Relatively low abundances of methyl formate are formed. The final COM abundances depend more on the H-to-CO ratio and less on temperature. Only above 16 K, where CO build-up is less efficient, does temperature start to play a role. Molecular hydrogen is predominantly formed through abstraction reactions on the surface. The most important reaction leading to methanol is H2CO + CH3O → HCO + CH3OH. Our simulations are in agreement with observed COM ratios for mantles that have been formed at low temperatures.
APA, Harvard, Vancouver, ISO, and other styles
3

Muttaqien, Fahdzi, Hiroyuki Oshima, Yuji Hamamoto, Kouji Inagaki, Ikutaro Hamada, and Yoshitada Morikawa. "Desorption dynamics of CO2 from formate decomposition on Cu(111)." Chemical Communications 53, no. 66 (2017): 9222–25. http://dx.doi.org/10.1039/c7cc03707d.

Full text
Abstract:
Based on the ab initio molecular dynamics simulations on formate decomposition into CO2 and adsorbed H on Cu(111), we suggest that excitation of CO2 bending mode can enhance formate synthesis.
APA, Harvard, Vancouver, ISO, and other styles
4

Ma, Hai-bin, Enric Ibáñez Alé, Nuria López, and Boon Siang Jason Yeo. "Direct Electroreduction of Carbonate to Formate." ECS Meeting Abstracts MA2023-02, no. 54 (December 22, 2023): 2646. http://dx.doi.org/10.1149/ma2023-02542646mtgabs.

Full text
Abstract:
A cause of losses in energy and carbon conversion efficiencies during the electrochemical CO2 reduction reaction (eCO2RR) can be attributed to the formation of carbonates (CO3 2–), which is generally considered to be an electrochemically-inert species. Herein, we employ in-situ electrochemical Raman spectroscopy, liquid chromatography, nuclear magnetic resonance spectroscopy, 13C isotope-labelling and density functional theory (DFT) simulations to understand the role of carbonate species formed on copper catalysts during eCO2RR, and its ability to reduce to formate. Direct carbonate-to-formate conversion was confirmed by the the direct reduction of CuCO3, and by pulse reduction of N2-saturated K2CO3 electrolyte on Cu,. DFT simulations elucidated the nature of the active sites generating the Cu-CO3 2– species and revealed the mechanism for the pulse-enabled carbonate reduction to formate. Combining both experimental and computational results, we proposed that a dynamic carbonate intermediate was constantly formed on Cu during eCO2RR, that further evolves to formate between –0.4 to –1.2 VRHE on Cu. Control systems using Pb, Ag and Au electrodes were also studied.
APA, Harvard, Vancouver, ISO, and other styles
5

Zamankhan, Piroz, Jun Huang, and S. Mohammad Mousavi. "Large Eddy Simulations of a Brine-Mixing Tank." Journal of Offshore Mechanics and Arctic Engineering 129, no. 3 (August 4, 2006): 176–87. http://dx.doi.org/10.1115/1.2426995.

Full text
Abstract:
Traditionally, solid–liquid mixing has always been regarded as an empirical technology with many aspects of mixing, dispersing, and contacting related to power draw. One important application of solid–liquid mixing is the preparation of brine from sodium formate. This material has been widely used as a drilling and completion fluid in challenging environments such as in the Barents Sea. In this paper large-eddy simulations, of a turbulent flow in a solid–liquid, baffled, cylindrical mixing vessel with a large number of solid particles, are performed to obtain insight into the fundamental aspects of a mixing tank. The impeller-induced flow at the blade tip radius is modeled by using the sliding mesh. The simulations are four-way coupled, which implies that both solid–liquid and solid–solid interactions are taken into account. By employing a soft particle approach the normal and tangential forces are calculated acting on a particle due to viscoelastic contacts with other neighboring particles. The results show that the granulated form of sodium formate may provide a mixture that allows faster and easier preparation of formate brine in a mixing tank. In addition it is found that exceeding a critical size for grains phenomena, such as caking, can be prevented. The obtained numerical results suggest that by choosing appropriate parameters a mixture can be produced that remains free-flowing no matter how long it is stored before use.
APA, Harvard, Vancouver, ISO, and other styles
6

Szeremeta, Anna Z., Andrzej Nowok, Adam Sieradzki, Mantas Simenas, Linas Vilčiauskas, Anna Gągor, Mirosław Mączka, Marian Paluch, and Sebastian Pawlus. "Relaxing under pressure with a rigid niccolite formate framework." Journal of Materials Chemistry C 8, no. 47 (2020): 16736–41. http://dx.doi.org/10.1039/d0tc04047a.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Liu, Xiao-Wei, Ya Guo, Andi Tao, Michael Fischer, Tian-Jun Sun, Peyman Z. Moghadam, David Fairen-Jimenez, and Shu-Dong Wang. "“Explosive” synthesis of metal-formate frameworks for methane capture: an experimental and computational study." Chem. Commun. 53, no. 83 (2017): 11437–40. http://dx.doi.org/10.1039/c7cc06249d.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Nilov, D. K., I. G. Shabalin, V. O. Popov, and V. K. Švedas. "Investigation of formate transport through the substrate channel of formate dehydrogenase by steered molecular dynamics simulations." Biochemistry (Moscow) 76, no. 2 (February 2011): 172–74. http://dx.doi.org/10.1134/s0006297911020027.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

CHEN, QIUBO, ZHIFENG LIU, and CHEE HOW WONG. "AN AB INITIO MOLECULAR DYNAMICS STUDY ON THE SOLVATION OF FORMATE ION AND FORMIC ACID IN WATER." Journal of Theoretical and Computational Chemistry 11, no. 05 (October 2012): 1019–32. http://dx.doi.org/10.1142/s021963361250068x.

Full text
Abstract:
Formate ion and formic acid are linked in water by the equilibrium for the acidic dissociation of formic acid, which as the simplest carboxylic acid is an important model system. In this study, the microscopic details of the solvation around a formate ion and around a formic acid molecule in aqueous solution are explored by ab initio molecular dynamics simulations, at 300, 500, 700, and 900 K. The formate ion exerts a strong influence on the surrounding solvent molecules by hydrogen bonding, which restricts the access of other water molecules. With rising temperature, the hydrogen bonds are disrupted, and the space around formic acid becomes more accessible. Solvation of the formic acid is marked by its partial dissociation to produce a proton, and the hydrogen bond interaction around a formic acid is not as strong as that around a formate ion. The acidic dissociation becomes less favorable as temperature rises, which indicates a lesser catalytic role for the water molecules in the thermal dissociation of formic acid.
APA, Harvard, Vancouver, ISO, and other styles
10

Moyer, Preenaa, Micholas Dean Smith, Nourredine Abdoulmoumine, Stephen C. Chmely, Jeremy C. Smith, Loukas Petridis, and Nicole Labbé. "Relationship between lignocellulosic biomass dissolution and physicochemical properties of ionic liquids composed of 3-methylimidazolium cations and carboxylate anions." Physical Chemistry Chemical Physics 20, no. 4 (2018): 2508–16. http://dx.doi.org/10.1039/c7cp07195g.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Simulations de formage"

1

Barbier, Cyrille. "Le Formage de composants en petites dimensions : investigations expérimentales, modélisation et simulations numériques." Besançon, 2008. http://www.theses.fr/2008BESA2055.

Full text
Abstract:
L'expansion du marché des micro-composants est la principale cause du développement des procédés de micro- formage. Les méthodes conventionnelles de mise en forme doivent nécessairement s'adapter à cette évolution. Mais lors d'une opération de micro-formage, les phénomènes physiques et mécaniques observés ne sont plus identiques à ceux observés à l'échelle macroscopique. Ces effets d'échelle demandent à être pris en compte dans les modèles numériques afin de pouvoir simuler le micro-formage. L'objectif de ces travaux a été de développer une modélisation du comportement volumique et surfacique des structures pour des opérations de mise en forme. L'approche choisie dans cette étude pour la modélisation des effets d'échelle est basée sur une modification des modèles macroscopiques en intégrant des paramètres pertinents. Dans un premier temps, la mise en évidence de la miniaturisation sur le comportement mécanique d'un matériau est présentée grâce à des essais de compression. Ces essais donnent ensuite lieu à la proposition d'un modèle original pour la prise en compte des effets d'échelle dans le comportement volumique du matériau. Dans un second temps, la caractérisation de l'influence de l'état de surface de la pièce et des outils en micro-formage est abordée. Pour cela un plan d'expériences numérique permet de proposer un modèle original caractérisant et prenant en compte de manière réaliste le comportement tribologique à l'interface pièce-outil en micro-formage. Cette approche permet de simplifier la prise en compte numérique de la rugosité de surface tout en préservant l'aspect réaliste du modèle. Enfin, les deux modèles développés sont mis en application sur un essai industriel de forgeage de micro-pignon. Les premiers résultats obtenus par comparaison entre les mesures expérimentales et les simulations numériques sont de bonne qualité et encourageant quant à la poursuite de l'investigation dans ce sens
The development of the production of very small components is the main reason of the development of cold metal forming processes. Technologies for metal forming must be adapted to this evolution. The problem in reducing the scale is the apparition of physical and mechanical phenomenon which are not the same than these observed at the macroscopic scale. These size effects have to be considered in the numerical models in order to realise microforming simulations. Ln this work, a modelling of material behaviour and a characterisation of the roughness influence is investigated. The approach is based on the modification of macroscopic models in which some pertinent parameters are introduced. First, the influence of miniaturisation on material behaviour is studied thanks to compression tests. A new model of the constitutive behaviour which takes into account the size effects on material flow is proposed. Second, the influence of the roughness in microforming is characterised and modelled. A numerical design of experiments based on cylinder upsetting tests is achieved to define the influence of the surface geometric properties on the friction coefficient and connect the surface roughness to the coefficient of friction. Finally, the two models proposed are applied on an industrial forming operation, the micro-gear forging. The first results obtained by the comparison between experimental measures and numerical simulations are encouraging
APA, Harvard, Vancouver, ISO, and other styles
2

Martinier, Alexandre. "L’étude de la durée de vie des aciers réfractaires pour les moules de formage superplastique : essais et simulations." Paris, ENMP, 2005. http://www.theses.fr/2005ENMP1447.

Full text
Abstract:
Le formage superplastique est une technique innovante de mise en forme des matériaux, mettant à profit les propriétés superplastiques de certains alliages. Les industriels, principalement dans l’aéronautique, conscients des avantages technologiques sont dors et déjà utilisateurs. Toutefois les conditions extrêmes de formage imposent sur les outillages en acier réfractaire de très fortes contraintes thermomécaniques occasionnant leur détérioration. Ce travail a pour objet : l’étude de la durée de vie des aciers réfractaires constitutifs des moules de formage superplastique. Le travail vise à introduire des outils de simulations numériques afin d’assister la conception et le dimensionnement des outillages. Une étude bibliographie sur les conditions de service et un état de l’art sur les aciers réfractaires ont été conduits. Une large campagne d’essai de fatigue cyclique à haute température a permis d’identifier un modèle de comportement élasto-viscoplastique cyclique et de proposer une méthodologie de prédiction de la durée de vie. Pour cela, un modèle d’endommagement en fluage formulé en déformation a été modifié pour prendre en compte les effets de fatigue-relaxation à haute température, par l’introduction d’un effet de fréquence. Parallèlement, des investigations sur la microstructure, ont été réalisées à différentes échelles d’observation ; celles-ci ont mis en évidence le comportement mécanique très hétérogène du matériau à l’échelle du grain. L’ensemble de ces résultats a été utilisé dans le cadre d’une prédiction, par simulation numérique par éléments finis, de la durée de vie en fatigue haute température d’éprouvettes avec différents rayons de fond d’entaille
Superplastic forming is an innovative material forming process, making profitable the alloy superplastic properties. The companies, mainly in aeronautical industry, knowing this technological advantage are already end-users. However an extreme forming environment is imposed on the casted heat-resistant Ni-Cr-Fe steel tooling, generating very high thermomechanical stresses and causing their premature damage. The main objective of this work is to study the high temperature behaviour and the life-time of heat-resistant steel superplastic forming moulds. In this frame, work aims at introducing computer simulation tools in order to assist the design and the dimensioning of the moulds. A bibliographic study on the operational conditions and a state of the art on high temperature properties of heat-resistant steels were performed. A cyclic fatigue test campaign at high temperature (25°C-950°C) was performed to identify, on the one hand, a cyclic elasto-visco-plastic constitutive model, and on the other hand to propose a methodology for life-time prediction. To this extend, a strain formulated creep damage model was modified in order to take into account the effects of fatigue-relaxation at high temperature, by introducing a frequency effect. In parallel, the microstructural investigations at different observation scales have shown a heterogeneous mechanical behaviour of material at the grain scale. All these results were used in a validation stage that compares high temperature fatigue tests on notched samples with the finite element simulations
APA, Harvard, Vancouver, ISO, and other styles
3

Fromentin, Sylvie. "Etablissement d'un critère de striction intrinsèque des tôles et validation numérique par simulations d'emboutissage." Metz, 1998. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/1998/Fromentin.Sylvie.SMZ9814.pdf.

Full text
Abstract:
Le développement de la striction localisée pendant le formage des tôles métalliques a conduit à de nombreuses études ayant pour objectif de déterminer les déformations limites définissant le succès des procédés de mise en forme. Ces déformations limites sont généralement présentées sous la forme de courbes limites de formage (CLF). Ce travail s'appuie sur l'analyse de ces limites de formage à partir d'une approche de localisation de la déformation plastique en présence d'un défaut d'épaisseur dans la tôle (analyse Marciniak - Kuczynski). Une description des surfaces de plasticité orthotrope en contraintes planes, proposée récemment, a été utilisée dans le cas d'un matériau à isotropie planaire. Les simulations effectuées pour des trajectoires de déformation linéaires, bilinéaires et curvilignes montrent que les limites de formage peuvent être représentées avec une bonne précision par une courbe unique définie dans les axes correspondant à la déformation équivalente limite en fonction du rapport des vitesses de déformation. Des expressions analytiques de cette courbe limite sont proposées en fonction de la taille initiale du défaut et des paramètres caractérisant le comportement plastique du matériau. Ces expressions ont été implantées dans le code de calcul par éléments finis ABQUS/Standard, afin de tester leur efficacité à déceler l'apparition de la striction dans des simulations numériques de l'emboutissage. Un critère de rupture ductile a également été implanté afin de tester si la ruine de l'embouti est contrôlée soit par la croissance d'une zone de striction soit par la rupture. Parallèlement, des simulations d'opérations simples d'emboutissage, comme le poinçonnement hémisphérique, l'emboutissage profond de godet et le gonflement hydraulique, ont montre les rôles respectifs des paramètres du comportement plastique et du frottement tôle - outils sur la localisation de la déformation plastique
The development of localized necking during forming operations of metal sheets has led to numerous studies aiming at determining limit strains that define the success of the forming process. These limit strains are generally presented in the form of the forming limit diagram (FLD). This work is based on the analysis of these forming limits by using a strain localization approach in the presence of a thickness defect in the sheet (Marcianiak – Kuczynski analysis). A description of orthotropic yield surfaces under plane stress recently proposed has been used in the case of a planar isotropic material. Simulations for linear, bilinear and curvlinear strain paths show that the forming limit can be represented with a good accuracy by a single curve defined in the axes corresponding to the effective limit strain as a function of the strain rate ratio. Analytical expressions of this limit curve are proposed, which depend on the initial size of the defect and on parameters characterizing the plastic behaviour of the material. These expressions have been implemented in the ABAQUS/Standard finite elements code, so as to test their efficiency to detect the onset of necking in numerical simulations of sheet metal forming processes. A criterion of ductile fracture also has been implemented to test whether the ruin of stamping is controlled by the growth of a necking zone or by fracture. In addition, simulations of simple forming operations, such as the hemispherical punch test, the cup drawing test or the bulging test, have shown the respective effects of the parameters characterizing the plastic behaviour, and of friction between the tools and the workpiece, to plastic flow localization
APA, Harvard, Vancouver, ISO, and other styles
4

Xenos, Sokratis. "Porous materials : constitutive modeling and computational issues." Electronic Thesis or Diss., Institut polytechnique de Paris, 2024. http://www.theses.fr/2024IPPAX040.

Full text
Abstract:
Ce travail porte sur le développement, la calibration et l'implémentation numérique d'un nouveau modèle élastoplastique entièrement explicite, isotrope et indépendant du taux de déformation pour les matériaux métalliques poreux. La microstructure est supposée être constituée d'une distribution aléatoire de vides sphéroïdaux de même forme, orientés de manière aléatoire et avec une probabilité uniforme. Le modèle proposé est basé sur des estimations d'homogénéisation antérieures qui utilisent une théorie de comparaison composite linéaire (LCC). Pour évaluer l'exactitude du modèle analytique, nous réalisons des simulations éléments finis tridimensionnelles à grandes déformationsd'éléments de volume représentatifs (RVE) avec les microstructures correspondantes. Une calibration appropriée des paramètres du modèle conduit à un accord assez précis des prédictions analytiques avec les contraintes moyennes éléments finis et l'évolution de la porosité. Nous montrons, à la fois analytiquement et numériquement, que le rapport d'aspect initial des vides a un effet significatif sur la réponse effective homogénéisée du matériau poreux, entraînant des réponses extrêmement souples pour les vides très oblates, surtout à des triaxialités de contraintes élevées.Ensuite, nous examinons les problèmes computationnels liés à l'implémentation numérique de modèles constitutifs indépendants du taux de déformation qui conduisent à un comportement d'adoucissement. Il est démontré analytiquement que les modèles élastoplastiques basés sur des formulations continues "locales'' peuvent entraîner une perte d'ellipticité des équations aux dérivées partielles (EDP) et des solutions numériques dépendantes du maillage. Pour remédier les problèmes numériques associés, nous proposons une version implicite non locale du nouveau modèle poreux, basée sur l'introduction d'une variable de porosité non locale déterminée à partir de la solution d'une EDP supplémentaire. Nous montrons à la fois analytiquement et numériquement que la version régularisée du modèle permet de préserver les propriétés elliptiques des équations du problème, produisant des solutions convergentes indépendantes du maillage dans le régime post-bifurcation. Le point de bifurcation s'avère être fortement dépendant de la forme des micro-vides, avec des vides très plats (par exemple,un rapport d'aspect inférieur à 0,3) entraînant des déformations à la localisation plus faibles. Il est constaté que la longueur matérielle introduite par la formulation non locale a un effet minimal sur le point de bifurcation prédit, affectant uniquement le gradient post-bifurcation de la courbe contrainte-déformation macroscopique et la taille de lazone fortement déformée dans la structure. Dans la dernière partie de cette étude, les versions locale et non locale du modèle sont efficacement implémentées dans un code commercial d'éléments finis (ABAQUS) et utilisés pour la solution numérique de problèmes de valeurs limites liés aux processus de formage et de rupture ductile. En particulier, les problèmes de test d'expansion de trou (TET) et de test d'impact Charpy (essai Charpy), le phénomène de rupture "cup-and-cone'' ainsi que la rupture ductile d'un spécimen à géométrie complexe et la comparaison avec les résultats expérimentaux correspondants sont analysés en détail. Les prédictions numériques indiquent que la ductilité est une fonction croissante du paramètre de forme des vides, et les matériaux composés de vides oblates de faible rapport d'aspect présentent une initiation et une propagation macroscopiques de fissures prématurées par rapport aux matériaux avec des vides sphériques ou presquesphériques. Enfin, la capacité du modèle à reproduire les résultats expérimentaux avec une précision suffisante suggère qu'il peut être utilisé pour fournir des prédictions avec seulement un petit nombre de paramètres qui peuvent être calibrés à partir de calculs micromécaniques ou de données expérimentales
This work is concerned with the development, calibration, and numerical implementation of a novel fully explicit isotropic, rate-independent, elasto-plastic model for porous metallic materials. The microstructure is assumed to consist of a random, with uniform probability, distribution of randomly oriented spheroidal voids of the same shape. The proposed model is based on earlier homogenization estimates that use a Linear Comparison Composite (LCC) theory. The resulting expressions exhibit the simplicity of the well known Gurson model and, thus, its numerical implementation in a finite element code is straightforward. To assess the accuracy of the analytical model, we carry out detailed finite-strain, three-dimensional finite element (FE) simulations ofrepresentative volume elements (RVEs) with the corresponding microstructures. Properparameter calibration of the model leads to fairly accurate agreement of the analytical predictions with the corresponding FE average stresses and porosity evolution. We show, both analytically and numerically, that the initial aspect ratio of the voids has a significant effect on the homogenized effective response of the porous material leading to extremely soft responses for flat oblate voids (e.g., aspect ratio less than 0.5) especially at high stress triaxialities.Next, we examine the computational issues related to the numerical implementation of rate-independent constitutive models that lead to softening behavior. It is shown analytically that elastic-plastic models based on ``local'' continuum formulations that do not incorporate a characteristic length scale may lead to loss of ellipticity of the governing partial differential equations (PDEs) and mesh-dependent numerical solutions. To remedy the associated numerical problems, we propose an implicit non-local version of the porous model developed in this work which is based on the introductionof a non-local porosity variable determined from the solution of an additional PDE. We show both analytically and numerically that the regularized version of the model allows for preservation of the elliptic properties of the governing equations yielding mesh-independent, converged solutions in the post-bifurcation regime. The bifurcation point (i.e., strain-to-localization) is found to be highly dependent on the micro-void's shape, with very flat voids (e.g., aspect ratio less than 0.3) leading to lower localization strains. The material length introduced by the non-local formulation is found tohave minimal effect on the predicted bifurcation point, only affecting the post-bifurcation gradient of the macroscopic stress-strain curve and the size of the highly strained zone in the structure.In the last part of this study, both the local and the non-local versions of the model are efficiently implemented in a commercial finite element code (ABAQUS). The models are used for the numerical solution of boundary value problems (BVPs) related to forming and ductile fracture processes under both quasi-static and dynamic conditions. In particular, the industrially relevant problems of Hole expansion (HET) and Charpy impact (CVN) test, the cup-and-cone fracture phenomenon as well as ductile fracture of a specimen with complex geometry and comparison with corresponding experimentalresults are analyzed in detail. Numerical predictions in all cases indicate that ductility is an increasing function of the void shape parameter and materials comprising flat oblate voids of low aspect ratio exhibit early macroscopic crack initiation and propagation compared to materials with spherical/almost spherical voids. Finally, the model's capability to reproduce experimental results with sufficient accuracy suggests that it can be utilized to provide predictions with only a small amount of parameters that may be calibrated from either micromechanics calculations or experimental data
APA, Harvard, Vancouver, ISO, and other styles
5

Khelifa, Mourad. "Simulation numérique de l'endommagement en formage de structures minces." Troyes, 2004. http://www.theses.fr/2004TROY0013.

Full text
Abstract:
Ce travail est dédié à l'étude d'une approche "avancée" basée sur une modélisation pour la simulation numérique des procédés de mise en forme et leur optimisation vis-à-vis de l'endommagement ductile. En particulier, nous nous sommes intéressés à l'étude du comportement plastique anisotrope couplé à un endommagement ductile. Une modélisation basée sur la thermodynamique des processus irréversibles avec variables d'état est utilisée pour traduire le couplage "fort" entre le comportement plastique anisotrope à écrouissage mixte non linéaire et un endommagement ductile isotrope. Les aspects théoriques et numériques de cette formulation sont décrits en détail. L'intégration numérique du modèle couplé par un schéma implicite itératif combinant la technique du retour radial avec la réduction du nombre des équations est discutée. La résolution du problème d'équilibre est assurée soit par un schéma Statique implicite SI soit par un schéma Dynamique Explicite DE. L'identification du modèle est réalisée sur des données expérimentales obtenues sur des éprouvettes de traction. Les applications sont ensuite faites à la simulation de procédés d'emboutissages simples (Swift, Erichsen et gonflement hydraulique) et complexes (pot d'échappement) de ces tôles minces avec prévision de l'endommagement ductile. Des comparaisons avec les résultats expérimentaux fournis par le CETIM et l'ENIM sont réalisées. Une confrontation entre notre méthodologie et l'aproche inverse développée à l'URCA/GMMS est réalisée sur quelques cas
This work deals with the study of a advanced approach for the modelling and the numérical simulation of sheet metal forming processes in order to optimize their technological parameters with respect to the ductile damage occurence. The strong coupling between the anisotropic plastic behaviour with mixed kinematic and isotropic hardening and the ductile damage based on the thermodynamics of the irreversible processes with state variables is used. The theoretical and numerical aspects of the used formulation are described in details. The numerical integration of the model using and iterative implicite scheme combined with the radial return mapping and the reduction of the number of equations is discussed. The equilibrium equations are solved by means of a Static Implicit scheme (SI) or a Dynamic Explicit scheme (DE). An exerimental Database, essentially constitued of specimen tensile tests, is used to identify the model's paramters. In order to validate and to show the strength of the employed methodology to predict with accuracy the damaged zones, numerical simulations of simple and complex sheet metal forming processes are performed. A comparison with experimental results provided by CETIM and ENIM are then carried out. Another comparison between the present methodology and the inverse approach (URCA/GMMS) is also made on some cases
APA, Harvard, Vancouver, ISO, and other styles
6

Yang, Jian. "Étude expérimentale et modélisation du formage superplastiqued’un alliage d’aluminium Al7475." Thesis, Paris, ENSAM, 2014. http://www.theses.fr/2014ENAM0006/document.

Full text
Abstract:
Le formage superplastique (SuperPlastic Forming, SPF) permet d'élaborer des pièces de forme complexe qui, de par les matériaux employés, allient faible densité et haute résistance mécanique. Toutefois, sa mise en œuvre nécessite la connaissance de la loi de pression à appliquer afin de contrôler l'endommagement tout comme la répartition d'épaisseur au sein de la pièce. Il est ainsi nécessaire de mettre en place des simulations numériques pour déterminer les conditions optimales du formage. L'exactitude des prédictions obtenues repose alors sur la description du comportement et de l'endommagement du matériau soumis à des conditions thermomécaniques représentatives du procédé considéré. Le présent travail propose donc une modélisation du comportement et de l'endommagement de l'alliage d'aluminium 7475 via une étude comparative de divers modèles. Les travaux peuvent ainsi être divisés en trois grandes étapes : (i) la caractérisation du comportement de l'alliage ; (ii) la caractérisation de l'endommagement de l'alliage et (iii) la mise en place de simulations numériques pour des formes types. Des essais de traction uniaxiale à chaud ont été réalisés afin de caractériser le comportement de l'alliage 7475. Une modélisation de ce-dernier par trois modèles (Norton-Hoff, Johnson-Cook et Zener-Hollomon) est proposée. Les résultats obtenus montrent que le modèle de Zener-Hollomon conduit à la meilleure description du comportement rhéologique de l'alliage dans les conditions thermomécaniques étudiées. Par la suite, l'endommagement de l'alliage 7475 dans des conditions représentatives du formage superplastique a été étudié. Un critère de type Gurson est proposé. Des observations par micro-tomographie aux rayons X ont d'ailleurs permis d'étudier plus précisément l'évolution de l'endommagement au cours de la déformation. À partir de ces résultats, des simulations numériques par éléments finis (sous ABAQUS) ont été mises en place
Superplasticity is the ability of some materials to sustain very high value of strain (up to 2000%) under low stress and within a specific range of temperature and strain rate. Complex shape components combining low density and high strength can thus be elaborated by using this peculiar characteristic. Superplastic forming process consists in deforming a flange by applying a variable pressure until the flange takes the form of a die. A good knowledge of the pressure law to apply is therefore primordial in order to avoid damage and obtain homogeneous thickness distribution. Numerical simulations are generally used to predict the optimal forming conditions. But a precise description of the rheological response of the material (in terms of flow rule and damage evolution) under thermomechanical conditions representative of the process is necessary. The PhD work introduces several rheological models to describe the behavior of a 7xxx aluminum alloy during superplastic forming process. The work is divided into three parts: (i) characterization of rheological models, (ii) characterization of damage models and (iii) development of numerical simulations to predict the superplastic forming of typical shapes. Hot uniaxial tensile tests have been performed to characterize the rheological behavior of a 7475 alloy. Three models (i.e. Norton-Hoff, Johnson-Cook and Zener-Hollomon) have been identified but only the last one leads to a good prediction of the material response. A GTN damage model has also been identified. Observations by X-rays micro-tomography have allowed studying in more details the damage evolution during the deformation. From these results, different cases have been simulated in ABAQUS
APA, Harvard, Vancouver, ISO, and other styles
7

Mariage, Jean-François. "Simulation numérique de l'endommagement ductile en formage de pièces massives." Phd thesis, Université de Technologie de Troyes, 2003. http://tel.archives-ouvertes.fr/tel-00004667.

Full text
Abstract:
Ce travail consiste en la mise au point d'une méthodologie simplifiée, utilisable industriellement, de réalisation virtuelle de procédés en formage de pièces massives avec la prise en compte de l'endommagement. Ceci permettra de prévoir l'apparition de l'endommagement ductile en cours de formage des pièces. On pourra agir sur les paramètres technologiques pertinents du procédé afin de retarder cet endommagement pour obtenir des pièces saines, ou au contraire favoriser celui-ci afin de simuler des procédés de coupe. Une formulation théorique générale du couplage comportement-endommagement est introduite, prenant en compte une loi d'évolution de l'endommagement ductile. Sur le plan numérique un soin particulier a été apporté à l'intégration locale des équations d'évolution couplées. Deux modèles sont proposés et discutés en détails: le couplage « fort » et le couplage « faible ». L'algorithme d'intégration utilisé est implicite et utilise une méthode classique de prédiction élastique-correction plastique pour le calcul des incréments des variables internes par un schéma de Newton-Raphson. Le calcul de la matrice tangente consistante prend en compte l'influence de l'endommagement ductile. Pour valider cette méthodologie, une large gamme de procédés dont certains sont issus de l'industrie, tels que le découpage de tôle, la compression de cylindres, le forgeage et l'extrusion d'un croisillon, la mise en forme d'un écrou six-pans, le filage,… est présentée, et comparée avec des essais expérimentaux quand cela est possible. La capacité de cette méthodologie à prédire correctement l'initiation et la propagation de l'endommagement en mise en forme est clairement démontrée
APA, Harvard, Vancouver, ISO, and other styles
8

Robert, Camille. "Contribution à la simulation numérique des procédés de mise en forme - Application au formage incrémental et au formage superplastique." Phd thesis, Paris, ENSAM, 2009. http://pastel.archives-ouvertes.fr/pastel-00005620.

Full text
Abstract:
L'allègement de la masse des structures est au cœur des développements des industries du transport. Pour y parvenir, les pièces intègrent de plus en plus de fonctions, leurs géométries deviennent alors très complexes. Pour réaliser ces produits, les industriels ont recours à des stratégies d'optimisation utilisant des méta-modèles numériques prenant en compte l'enchaînement des étapes de conception et de fabrication des pièces. Cependant les temps de simulation sont encore très élevés. Ces travaux se sont intéressés à l'amélioration des protocoles de simulation numérique de procédés de mise en forme d'emboutis profonds. Dans un premier temps, ils ont permis de développer des méthodes numériques pour diminuer les temps de simulation du procédé de formage incrémental. Un schéma de résolution en dynamique explicite est utilisé avec une vitesse de l'outil adaptée. Cette méthode à permis de réduire significativement le temps CPU, tout en conservant une bonne prédiction des géométries et des épaisseurs. Les travaux se sont également intéressés à l'utilisation de la théorie de la déformation incrémentale pour diminuer le temps de résolution du calcul élasto-plastique. De bons résultats sont observés mais le gain de temps est faible (4.5%). Une approche simplifiée du contact a également été développée. De bons résultats sont obtenus avec un gain de temps d'un facteur 2.13 en comparaison de celui obtenu avec une vitesse adaptée. Dans un deuxième temps, une étude sur la réalisation d'emboutis profonds par formage superplastique a été menée de manière à pouvoir à terme enchaîner les deux procédés. Elle a porté sur la détermination d'une loi de pression optimale. Deux algorithmes ont été développés en fonction du protocole pour entrer la loi de pression dans les machines industrielles. Les algorithmes développés permettent un bon contrôle du domaine superplastique. Un temps de calcul réduit d'un facteur 3 est observé, en comparaison avec des méthodes issues de la littérature.
APA, Harvard, Vancouver, ISO, and other styles
9

Jansen, Yann. "Modélisation et optimisation du processus de formage de pièces en zinc." Thesis, Paris, ENMP, 2013. http://www.theses.fr/2013ENMP0055.

Full text
Abstract:
Le but de cette étude est de prédire la rupture de tôles en alliage de Zinc via des simulations par éléments finis. Pour ce faire, la caractérisation du comportement mécanique a été fait grâce à des essais de traction sur différentes nuances et orientation. Ces essais ont fait ressortir une grande anisotropie ainsi qu'un grande sensibilité à la vitesse de déformation et à la température. L'ensemble de ces données expérimentales est modélisé avec une loi de comportement de Norton Hoff et le critère de plasticité de Hill48. De plus la formabilité ainsi que son anisotropie ont été caractérisées avec des essais de traction, de traction plane et de gonflage hydraulique. Une grande anisotropie de formabilité, inédite dans la littérature, est observée. Celle-ci est modélisée via différents modèles de rupture issus de la littérature où que nous avons développés spécifiquement pour les alliages de Zinc. Enfin un modèle de rupture en contrainte, paraissant le plus adéquat pour la prédiction de la formabilité, a été choisi. Il a été ensuite implémenté dans le logiciel Forge2009®. Des essais académiques mais aussi industriels de mise en forme ont été simulé par le logiciel Forge2009® et ont donné de bonnes modélisations du comportement mécanique des tôles en alliage de Zinc ainsi que de bonnes prédictions de sa rupture
The aim of this study is to predict the rupture of Zinc alloy sheets by the mean of Finite Element Method simulations. The mechanical behaviour of the material has been tested by tensile tests for several directions and for several Zinc grades. The materials show a high anisotropic mechanical response and high strain rate and temperature sensitivity. This set of experimental data has been modelled by the mean of the Norton Hoff law and the Hill 48 plastic criterion. Moreover, the formability has been tested by tensile and plane strain tests, and also hydraulic bulge tests. A high anisotropic formability, unseen in the literature, has been observed. This formability is modelled with different rupture criteria coming from the literature or specifically developed for the Zinc alloy study. A stress criterion model has been chosen to predict the formability. This criterion has been implemented into Forge2009® software. Academic and industrial forming processes have been simulated with Forge2009® and lead to an accurate description of the mechanical behaviour and the rupture localisation
APA, Harvard, Vancouver, ISO, and other styles
10

Michel, Jean-François. "Modélisation mécanique et simulation numérique de la mise en forme des structures en très faibles dimensions." Besançon, 2002. http://www.theses.fr/2002BESA2064.

Full text
Abstract:
Les travaux de recherche concernent le développement et la mise en œuvre de nouveaux critères de détection des défauts de striction localisée/éclatement et de plissement/flambage lors de procédés d'emboutissage et d'hydroformage de structures minces. La striction est considérée comme une instabilité du flux de matière. Elle est modélisée via une Analyse Linéaire de Stabilité (ALS) par méthode de perturbation étendue à un état tridimensionnel. Ainsi, de nouveaux modes de striction sont repérés. De plus, le critère initial est amélioré par la détermination rigoureuse du seuil d'instabilité différenciant l'instabilité effective de l'instabilité absolue. Des Courbes Limites de Formage sont construites pour étudier l'influence de paramètres de comportement matériel sur l'apparition de la striction/éclatement. Enfin l'ALS appliquée à une plaque e flexion pure montre que les défauts observés ne sont pas dus à un phénomène de striction. Concernant le plissement, ce défaut semble plus correspondre à un problème de bifurcation qu'à un problème d'instabilité. Dans cet ouvrage, une nouvelle analyse basée sur l'équilibre d'une plaque est développée. De plus, l'analyse qualitative de Nordlund et Häggblad est reprise. Enfin, un nouveau critère basé sur une méthode de perturbation est développé en annexe. Les modélisations présentées pour la détection de striction/éclatement et de plissement/flambage ont été intégrées dans le code POLYFORMâ de simulation par éléments finis des procédés d'emboutissage et d'hydroformage. L'influence des paramètres de procédés et de comportement matériel sur la prédiction des défauts lors de simulations est présentée. La validation expérimentale des prédictions est réalisée pour un procédé d'hydroformage oscillant. L'influence des paramètres de ce procédé sur l'apparition de défauts est également observée
The work carried out the development of new criteria for the detection of necking/bursting and wrinkling/buckling defects during hydroforming and stamping of thin components. Localised necking is looked as an instability of material flow. To predict such instability, a Linear Stability Analysis (LSA) by perturbation method is chosen. The initial 2D approach has been extended to a more realistic 3D modelling. This analysis allows considering new instability modes. Moreover, the developed criterion has been improved by the determination of the instability threshold that differentiates absolute instability and effective instability. Forming Limit Curves are built to look at the influence of some material parameters on tensile defects. The LSA applied to a pure bending test shows that necking can not occur on such a test. About wrinkling, this defect does not seem to be an instability phenomenon but a bifurcation one. In this work, a new analysis based on plate equilibrium is developed. Moreover, the Nordlund & Häggblad qualitative analysis is considered. A third criterion has been developed in annex. The necking/bursting and wrinkling/buckling analyses have been integrated in the simulation code POLYFOFORMâ. The influence of stamping and hydroforming processes and material parameters on the defects prediction during simulation is shown. Experimental validation of the prediction has been realised on a tube hammering hydroforming process. The influence of the new process parameters on defects occurrence is looked at
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Simulations de formage"

1

Litvin, F. L. Computerized design, generation, and simulation of meshing and contact of face-milled formate cut spiral bevel gears. [Cleveland, Ohio]: National Aeronautics and Space Administration, Glenn Research Center, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Jones, Robert B. Symbolic simulation methods for industrial formal verification. Boston: Kluwer Academic Publishers, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

FORMATS, 2010 (2010 Klosterneuburg Austria). Formal modeling and analysis of timed systems: 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings. Berlin: Springer, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Tucci, Mario, and Marco Garetti, eds. Proceedings of the third International Workshop of the IFIP WG5.7. Florence: Firenze University Press, 2002. http://dx.doi.org/10.36253/88-8453-042-3.

Full text
Abstract:
Contents of the papers presented at the international workshop deal with the wide variety of new and computer-based techniques for production planning and control that has become available to the scientific and industrial world in the past few years: formal modeling techniques, artificial neural networks, autonomous agent theory, genetic algorithms, chaos theory, fuzzy logic, simulated annealing, tabu search, simulation and so on. The approach, while being scientifically rigorous, is focused on the applicability to industrial environment.
APA, Harvard, Vancouver, ISO, and other styles
5

Jasmin, Fisher, ed. Formal methods in systems biology: First international workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008 : proceedings. Berlin: Springer, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

1957-, Larsen K. G., and Niebert Peter, eds. Formal modeling and analysis of timed systems: First international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers. Berlin: Springer, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

FORMATS 2010 (2010 Klosterneuburg, Austria). Formal modeling and analysis of timed systems: 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings. Berlin: Springer, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Veanes, Margus. Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

W, Vaandrager Frits, and SpringerLink (Online service), eds. Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Fahrenberg, Uli. Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Simulations de formage"

1

Eschenbacher, P., and B. Schmidt. "Empirische Modellbildung und formale Modellbeschreibung." In Fachberichte Simulation, 26–38. Berlin, Heidelberg: Springer Berlin Heidelberg, 1987. http://dx.doi.org/10.1007/978-3-662-09906-3_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Hamann, Thomas. "Formaler Rahmen des Modells." In Simulation von Informationsprozessen auf idealtypischen Börsenmärkten, 73–86. Heidelberg: Physica-Verlag HD, 1993. http://dx.doi.org/10.1007/978-3-642-52397-7_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Böckenhauer, Hans-Joachim, and Juraj Hromkovič. "Simulation und modularer Entwurf endlicher Automaten." In Formale Sprachen, 113–25. Wiesbaden: Springer Fachmedien Wiesbaden, 2012. http://dx.doi.org/10.1007/978-3-658-00725-6_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Sai Kaushik, A., and Satya Sekhar Bhogilla. "Solar-Driven Potassium Formate Liquid Desiccant Dehumidification System with Thermal Energy Storage." In Modeling, Simulation and Optimization, 737–50. Singapore: Springer Singapore, 2021. http://dx.doi.org/10.1007/978-981-15-9829-6_58.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Kolárik, Tomáš, and Stefan Ratschan. "Railway Scheduling Using Boolean Satisfiability Modulo Simulations." In Formal Methods, 56–73. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-27481-7_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Fábregas, Ignacio, David de Frutos Escrig, and Miguel Palomino. "Logics for Contravariant Simulations." In Formal Techniques for Distributed Systems, 224–31. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-13464-7_18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Goga, Nicolae, and Judi Romijn. "Guiding Spin Simulation." In Formal Methods and Software Engineering, 176–93. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30482-1_20.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Herdt, Vladimir, Daniel Große, and Rolf Drechsler. "Formale Verifikation von SystemC-basierten Entwürfen durch symbolische Simulation." In Verbessertes virtuelles Prototyping, 63–125. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-18174-0_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Llana, Luis, and Rafael Martínez-Torres. "IOCO as a Simulation." In Software Engineering and Formal Methods, 125–34. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-05032-4_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Lötzbeyer, Annette. "Simulation of a steam-boiler." In Formal Methods for Industrial Applications, 493–99. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/bfb0027251.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Simulations de formage"

1

"Sharing Formats for Disease Models." In 2016 Summer Simulation Multi-Conference. Society for Modeling and Simulation International (SCS), 2016. http://dx.doi.org/10.22360/summersim.2016.scsc.010.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Inagaki, Takahiro, Tadaaki Nasu, Minoru Takeshige, Motofumi Iwata, and Naoto Nakane. "Reduced Order Modeling Technology with AI for Model-Based-Development." In WCX SAE World Congress Experience. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 2024. http://dx.doi.org/10.4271/2024-01-2850.

Full text
Abstract:
<div class="section abstract"><div class="htmlview paragraph">This paper introduces reduced-order modeling techniques with Artificial Intelligence (AI) for Model-Based Development (MBD). In vehicle development, detailed physical models are replaced by reduced-order models (ROM) to expedite simulations. With recent advancements in AI-based reduced-order modeling, it is expected that modeling work will become more efficient, leading to reduced simulation times. However, the range of simulations (Model-in-the-Loop Simulation - MILS, Hardware-in-the-Loop Simulation - HILS, bench-system) compatible with ROM is limited. To overcome this limitation, this study leverages the ONNX format (Open Neural Network Exchange), a universally supported format among machine learning frameworks, and the Functional Mock-up Interface (FMI), a standard interface format for simulation tools, to enable general-purpose embedded technology with ROM.</div><div class="htmlview paragraph">This study employs a vehicle model in engine surge simulations to validate AI-based reduced-order modeling for MBD. In MILS simulations, the ONNX-format model, trained using Long Short-Term Memory (LSTM), is integrated into an FMI-format model compatible with the simulation environment. This FMI-format model is then incorporated into MILS/HILS/bench systems, confirming its capability for accurate simulations. Thus, we have successfully established AI-based reduced-order modeling technology for comprehensive MBD.</div></div>
APA, Harvard, Vancouver, ISO, and other styles
3

Theunissen, E., and R. Rademaker. "Rapid prototyping of EFIS software beyond formats and autocode." In Modeling and Simulation Technologies Conference. Reston, Virigina: American Institute of Aeronautics and Astronautics, 2000. http://dx.doi.org/10.2514/6.2000-4504.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

"Formal Specification of Hypotheses for Assisting Computer Simulation Studies." In 2017 Spring Simulation Multi-Conference. Society for Modeling and Simulation International (SCS), 2017. http://dx.doi.org/10.22360/springsim.2017.tmsdevs.042.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

"DEVS Markov Modeling and Simulation: Formal Definition and Implementation." In 2018 Spring Simulation Multi-Conference. Society for Modeling and Simulation International (SCS), 2017. http://dx.doi.org/10.22360/springsim.2018.tms.016.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Soeken, Mathias, Baruch Sterin, Rolf Drechsler, and Robert Brayton. "Simulation graphs for reverse engineering." In 2015 Formal Methods in Computer-Aided Design (FMCAD). IEEE, 2015. http://dx.doi.org/10.1109/fmcad.2015.7542265.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Chardet, Maverick, Helene Coullon, Dimitri Pertin, and Christian Perez. "Madeus: A Formal Deployment Model." In 2018 International Conference on High Performance Computing & Simulation (HPCS). IEEE, 2018. http://dx.doi.org/10.1109/hpcs.2018.00118.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Cheshmi, Kazem, Leila Cheshmi, and Maryam Mehri Dehnavi. "Sparsity-Aware Storage Format Selection." In 2018 International Conference on High Performance Computing & Simulation (HPCS). IEEE, 2018. http://dx.doi.org/10.1109/hpcs.2018.00162.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Wilkosz, Aaron, Bryan L. Williams, and Steve Motz. "Generation of 3D characterization databases in vector format." In Aerospace/Defense Sensing, Simulation, and Controls, edited by Wendell R. Watkins, Dieter Clement, and William R. Reynolds. SPIE, 2001. http://dx.doi.org/10.1117/12.440083.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

"Extended WIFI Network Formal Design Model for Ubiquitous Emergency Events." In 2016 Summer Simulation Multi-Conference. Society for Modeling and Simulation International (SCS), 2016. http://dx.doi.org/10.22360/summersim.2016.scsc.068.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Simulations de formage"

1

Murillo Castellano, David, and José Luis Romero Béjar. INTRODUCTION TO SPATIAL AND SPATIOTEMPORAL RANDOM FIELDS. Fundación Avanza, May 2023. http://dx.doi.org/10.60096/fundacionavanza/1632022.

Full text
Abstract:
This work introduces some basic formal aspects about random fields theory, like its definition, as a generalization of stochastic processes, covariance function and variogram. Simulations of spatial and spatiotemporal models are also included.
APA, Harvard, Vancouver, ISO, and other styles
2

Stewart, H. B. Assessment of the IVA3 code for multifield flow simulation. Formal report. Office of Scientific and Technical Information (OSTI), July 1995. http://dx.doi.org/10.2172/93743.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Litvin, Faydor L., Qi Fan, and Alfonso Fuentes. Computerized Design, Generation, and Simulation of Meshing and Contact of Face-Milled Formate Cut Spiral Bevel Gears. Fort Belvoir, VA: Defense Technical Information Center, May 2001. http://dx.doi.org/10.21236/ada394095.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Toms, Mona L., Scott M. Cone, Glenn R. Gier, G. S. Boucek, and Tammy R. Brown. Evaluation of Proposed C-141 Electronic Display Formats and Menus. Volume 2. Full Mission Simulation. Fort Belvoir, VA: Defense Technical Information Center, August 1995. http://dx.doi.org/10.21236/ada305192.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Shaw, Kevin, H. V. Miller, Barbara Ray, Robert Broome, and Todd Lovitt. An Initial Design for an Extended Vector Product Format Prototype for Modeling and Simulation. Fort Belvoir, VA: Defense Technical Information Center, April 1997. http://dx.doi.org/10.21236/ada326284.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Luckham, David C. Formal Specification and Simulation of Reference Architectures for Distributed and Safety Critical Avionics Systems. Fort Belvoir, VA: Defense Technical Information Center, March 1998. http://dx.doi.org/10.21236/ada379499.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Qi, Dahai, Gerhard Hofer, Zhengtao Ai, Jan Akander, Deepak Amaripadath, Shady Attia, Fuad Baba, et al. International Energy Agency - Resilient Cooling of Buildings - Field Studies Report (Annex 80). Institute of Building Research & Innovation, 2024. http://dx.doi.org/10.52776/jiit7246.

Full text
Abstract:
This IEA Annex 80 Field Studies report and the associated brochures provide examples of well-documented field studies. These field studies apply resilient cooling technologies to reduce energy demand and carbon emissions for cooling and reduce the overheating risk in different types of buildings, including newly constructed and existing buildings. The field studies are presented in brochure format. In the field study brochures, detailed information is included for each building. Each brochure contains information in a standardized format. This includes the introduction & climate, building information, resilient cooling, KPI evaluation, design simulation, performance evaluation, discussion, lessons learned, references & key contacts. Examples and details on building information, energy systems, resilient cooling technologies, key performance indicators (KPIs), and performance evaluation and lessons learned are included in the report and the brochures. The present report summarizes all 13 field study buildings collected in Subtask C of IEA-EBC Annex 80. The values of KPIs for building similar functions, i.e., residential buildings, under different climate conditions were discussed.
APA, Harvard, Vancouver, ISO, and other styles
8

Walmsley, Terrie. Long Run Simulations With GTAP: Illustrative Results from APEC Trade Liberalisation. GTAP Technical Paper, September 2000. http://dx.doi.org/10.21642/gtap.tp09.

Full text
Abstract:
In static applied general equilibrium models, the exogenous/endogenous split between variables (or closure) is used to infer the time frame over which the effects of a shock are simulated. This paper introduces a long-run closure for the GTAP model (Hertel and Tsigas, 1997) and uses this closure to simulate and compare the short-run and long-run effects of Asia-Pacific trade liberalisation. The approach explored here incorporates some relatively minor changes to existing GTAP theory in order to define a steady state in which growth rates of all real variables are uniform. Such uniformity must apply in the initial database (as well as in the post-shock solution). So to implement the new long run in GTAP a new initial database must first be created. Details concerning the creation of the new database are given, and results under the new approach are compared with those obtained under the old. The emphasis of this paper is on the development of a long-run closure in which the percentage change form equations of the model and the relationships between the levels variables in the GTAP database are consistent. Further research is required into these types of long-run closures to incorporate changes in ownership of capital to ensure that changes in welfare are adequately modelled. In the results reported here, GDP is not a useful guide to national welfare. The long-run closures introduced here are also compared with another comparative static long-run closure developed for GTAP by Francois, MacDonald and Nordström (1996). Technical Paper Number 9 can be downloaded in PDF format. To print this you will need the Adobe Acrobat Reader. For those interested in replicating the results in this technical paper, an associated zip file can be downloaded. The zip file includes a readme file with detailed instructions.
APA, Harvard, Vancouver, ISO, and other styles
9

Bobashev, Georgiy, John Holloway, Eric Solano, and Boris Gutkin. A Control Theory Model of Smoking. RTI Press, June 2017. http://dx.doi.org/10.3768/rtipress.2017.op.0040.1706.

Full text
Abstract:
We present a heuristic control theory model that describes smoking under restricted and unrestricted access to cigarettes. The model is based on the allostasis theory and uses a formal representation of a multiscale opponent process. The model simulates smoking behavior of an individual and produces both short-term (“loading up” after not smoking for a while) and long-term smoking patterns (e.g., gradual transition from a few cigarettes to one pack a day). By introducing a formal representation of withdrawal- and craving-like processes, the model produces gradual increases over time in withdrawal- and craving-like signals associated with abstinence and shows that after 3 months of abstinence, craving disappears. The model was programmed as a computer application allowing users to select simulation scenarios. The application links images of brain regions that are activated during the binge/intoxication, withdrawal, or craving with corresponding simulated states. The model was calibrated to represent smoking patterns described in peer-reviewed literature; however, it is generic enough to be adapted to other drugs, including cocaine and opioids. Although the model does not mechanistically describe specific neurobiological processes, it can be useful in prevention and treatment practices as an illustration of drug-using behaviors and expected dynamics of withdrawal and craving during abstinence.
APA, Harvard, Vancouver, ISO, and other styles
10

Fedorenko, Elena G., Nataliia V. Kaidan, Vladyslav Ye Velychko, and Vladimir N. Soloviev. Gamification when studying logical operators on the Minecraft EDU platform. [б. в.], July 2021. http://dx.doi.org/10.31812/123456789/4624.

Full text
Abstract:
Use of visual methods plays a significant role in learning. ICT allow us to create electronic educational resources in a new format and with new opportunities. The study of their didactic possibilities, forms and methods of their application is a topical issue. Simulation, virtualization, gamification requires new knowledge about their application, and therefore, the problem of training future teachers to use them is an urgent and important part of training. In this article modern achievements in the use of serious games in education were investigated and analyzed, the possibilities of using virtual worlds in education were considered, the recommendations for the practical training of future teachers to use them were developed. In practice, the effectiveness of the use of virtual tools in education has been tested. A pedagogical experiment has been launched to identify the effectiveness of gamification in the realities of education in Ukraine.
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography