Relevant bibliographies by topics / Simulations de formage

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Simulations de formage'

Author: Grafiati

Published: 26 October 2024

Last updated: 31 July 2025

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"

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 (2002): 399–406. http://dx.doi.org/10.3166/rcma.12.399-406.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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 s

APA, Harvard, Vancouver, ISO, and other styles

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 CO<sub>2</sub> and adsorbed H on Cu(111), we suggest that excitation of CO<sub>2</sub> bending mode can enhance formate synthesis.

APA, Harvard, Vancouver, ISO, and other styles

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 (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

APA, Harvard, Vancouver, ISO, and other styles

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 (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 aspec

APA, Harvard, Vancouver, ISO, and other styles

Szeremeta, Anna Z., Andrzej Nowok, Adam Sieradzki, et al. "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

Liu, Xiao-Wei, Ya Guo, Andi Tao, et al. "“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

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 (2011): 172–74. http://dx.doi.org/10.1134/s0006297911020027.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Yeo, Boon Siang Jason. "(Invited) Direct Electrochemical Reduction of Carbonate to Formate." ECS Meeting Abstracts MA2024-02, no. 60 (2024): 4068. https://doi.org/10.1149/ma2024-02604068mtgabs.

Full text

Abstract:

We shall show in this presentation that carbonates (CO3 2-), typically regarded as being electrochemically-inert, can be directly electroreduced to formate. Through a combination of in situ Raman spectroscopy, HPLC, NMR spectroscopy, 13C and deuterium isotope-labelling, and DFT simulations, our study reveals that carbonate intermediates are adsorbed onto a copper electrode during CO2RR in KHCO3 electrolyte across potentials ranging from 0.2 to –1.0 V vs. RHE. These intermediates exhibit the capability to be reduced to formate at –0.4 V vs. RHE and at more negative potentials. Our observation i

APA, Harvard, Vancouver, ISO, and other styles

Moyer, Preenaa, Micholas Dean Smith, Nourredine Abdoulmoumine, et al. "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

More sources

Dissertations / Theses on the topic "Simulations de formage"

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

APA, Harvard, Vancouver, ISO, and other styles

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 à in

APA, Harvard, Vancouver, ISO, and other styles

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

APA, Harvard, Vancouver, ISO, and other styles

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, nou

APA, Harvard, Vancouver, ISO, and other styles

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éor

APA, Harvard, Vancouver, ISO, and other styles

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'endommageme

APA, Harvard, Vancouver, ISO, and other styles

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 i

APA, Harvard, Vancouver, ISO, and other styles

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

APA, Harvard, Vancouver, ISO, and other styles

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 a

APA, Harvard, Vancouver, ISO, and other styles

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é

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Simulations de formage"

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Tucci, Mario, and Marco Garetti, eds. Proceedings of the third International Workshop of the IFIP WG5.7. 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

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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. Springer, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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. Springer Berlin Heidelberg, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Simulations de formage"

Eschenbacher, P., and B. Schmidt. "Empirische Modellbildung und formale Modellbeschreibung." In Fachberichte Simulation. 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

Hamann, Thomas. "Formaler Rahmen des Modells." In Simulation von Informationsprozessen auf idealtypischen Börsenmärkten. 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

Böckenhauer, Hans-Joachim, and Juraj Hromkovič. "Simulation und modularer Entwurf endlicher Automaten." In Formale Sprachen. 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

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

Kolárik, Tomáš, and Stefan Ratschan. "Railway Scheduling Using Boolean Satisfiability Modulo Simulations." In Formal Methods. 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

Fábregas, Ignacio, David de Frutos Escrig, and Miguel Palomino. "Logics for Contravariant Simulations." In Formal Techniques for Distributed Systems. 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

Goga, Nicolae, and Judi Romijn. "Guiding Spin Simulation." In Formal Methods and Software Engineering. 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

Herdt, Vladimir, Daniel Große, and Rolf Drechsler. "Formale Verifikation von SystemC-basierten Entwürfen durch symbolische Simulation." In Verbessertes virtuelles Prototyping. 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

Llana, Luis, and Rafael Martínez-Torres. "IOCO as a Simulation." In Software Engineering and Formal Methods. 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

Bautz, Timo. "Simulation und Emotion." In Public History - Angewandte Geschichte. transcript Verlag, 2024. http://dx.doi.org/10.14361/9783839464151-008.

Full text

Abstract:

Speichermedien prägen und verändern unser Geschichtsbewusstsein. Nach Schrift, Druck, Foto, Film und digitalen Formaten setzen Museen und historische Gedenkstätten aktuell auf eine neue Technologie: das Hologramm, das auf Fragen von Besucher:innen antwortet. Ein Algorithmus sammelt darin Schlüsselbegriffe und ordnet ihnen eine vorher aufgenommene Filmsequenz zu, die sofort interaktiv zugespielt wird. Auch Überlebende des Holocaust können in solchen simulierten Interaktionen nach ihren Erinnerungen an die NS-Zeit befragt werden. Die Antworten werden künstlich intelligent ausgewählt und berücksi

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Simulations de formage"

Martin, Cristina Ruiz, and Gabriel Wainer. "DEVS Formal Modeling and Simulation in Manufacturing Systems." In 2024 Annual Modeling and Simulation Conference (ANNSIM). IEEE, 2024. http://dx.doi.org/10.23919/annsim61499.2024.10732500.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Carreira-Munich, Tobias, Valentín Paz-Marcolla, and Rodrigo Castro. "DEVS Copilot: Towards Generative AI-Assisted Formal Simulation Modelling based on Large Language Models." In 2024 Winter Simulation Conference (WSC). IEEE, 2024. https://doi.org/10.1109/wsc63780.2024.10838994.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Wallace, Matthew. "Using Virtual Reality to Help Teach Application Technique." In SSPC 2013 Greencoat. SSPC, 2013. https://doi.org/10.5006/s2013-00073.

Full text

Abstract:

Abstract Virtual paint training systems are a needed and valuable addition to teaching methods. As the accuracy and complexity of simulations improve, the industry has begun to exploit this fusion of simulation and education. This presentation explores the next step - how to use the simulation to increase student engagement, enrich their skills development, and improve the trainees’ knowledge base. The up and coming young worker processes information in a vastly different way. The generation of iPads, Wikipedia, and computer-based training (CBT) shuns traditional pedagogical techniques. Simply

APA, Harvard, Vancouver, ISO, and other styles

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. 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

APA, Harvard, Vancouver, ISO, and other styles

Ala-Laurinaho, Riku, Albert Domotor, Sampo Laine, and Raine Viitala. "TwinTorsion — Open Source Platform For Evaluating Torsional Vibration Employing Digital Twin Web." In 39th ECMS International Conference on Modelling and Simulation. ECMS, 2025. https://doi.org/10.7148/2025-0225.

Full text

Abstract:

Torsional vibration significantly impacts mechanical system performance and lifetime. Therefore, the torsional vibration of the system should already be considered in the design phase. However, the current commercial tools available for analyzing torsional vibration rely on proprietary formats to describe systems, hindering the sharing of system models between different tools and stakeholders. Furthermore, searching for component specifications from multiple sources, such as product catalogs and manufacturer websites, to build system models necessitates considerable manual work. To overcome th

APA, Harvard, Vancouver, ISO, and other styles

"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

McGovern, Seamus M. "Simulator Validation Results and Proposed Reporting Format From Flight Testing a Software Model of a Complex, High-Performance Airplane." In ASME 2008 International Mechanical Engineering Congress and Exposition. ASMEDC, 2008. http://dx.doi.org/10.1115/imece2008-67482.

Full text

Abstract:

Computer simulations are often used in aviation studies. These simulation tools may require complex, high-fidelity aircraft models. Since many of the flight models used are third-party developed products, independent validation is desired prior to implementation. Due to the variety of processes used by the different industries and organizations that make use of flight models, the proprietary nature of some desired data, the relative availability of data-rich pilot manuals, and their standardized, rigorous nature, formal processes based in experimental and certification flight test are proposed

APA, Harvard, Vancouver, ISO, and other styles

Theunissen, E., and R. Rademaker. "Rapid prototyping of EFIS software beyond formats and autocode." In Modeling and Simulation Technologies Conference. 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

Mousavi, S. Mohammad, and Piroz Zamankhan. "Large Eddy Simulations of a Brine-Mixing Tank." In 25th International Conference on Offshore Mechanics and Arctic Engineering. ASMEDC, 2006. http://dx.doi.org/10.1115/omae2006-92082.

Full text

Abstract:

Traditionally, solid-liquid mixing has always been regarded as an empirical technology with many aspects of mixing, dispersing and contacting where 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

APA, Harvard, Vancouver, ISO, and other styles

"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

Reports on the topic "Simulations de formage"

Murillo Castellano, David, and José Luis Romero Béjar. INTRODUCTION TO SPATIAL AND SPATIOTEMPORAL RANDOM FIELDS. Fundación Avanza, 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

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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. Defense Technical Information Center, 2001. http://dx.doi.org/10.21236/ada394095.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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. Defense Technical Information Center, 1995. http://dx.doi.org/10.21236/ada305192.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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. Defense Technical Information Center, 1997. http://dx.doi.org/10.21236/ada326284.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

Qi, Dahai, Gerhard Hofer, Zhengtao Ai, 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

APA, Harvard, Vancouver, ISO, and other styles

Walmsley, Terrie. Long Run Simulations With GTAP: Illustrative Results from APEC Trade Liberalisation. GTAP Technical Paper, 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

APA, Harvard, Vancouver, ISO, and other styles

Bobashev, Georgiy, John Holloway, Eric Solano, and Boris Gutkin. A Control Theory Model of Smoking. RTI Press, 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 withdra

APA, Harvard, Vancouver, ISO, and other styles

Fedorenko, Elena G., Nataliia V. Kaidan, Vladyslav Ye Velychko, and Vladimir N. Soloviev. Gamification when studying logical operators on the Minecraft EDU platform. [б. в.], 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 v

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!