6 Search Results for "Rodriguez-Hortala, Juan"

Document
DOI: 10.4230/OASIcs.iPMVM.2020.13
An Improved Particle Finite Element Method for the Simulation of Machining Processes

Authors: Xialong Ye, Juan Manuel Rodríguez Prieto, and Ralf Müller

Published in: OASIcs, Volume 89, 2nd International Conference of the DFG International Research Training Group 2057 – Physical Modeling for Virtual Manufacturing (iPMVM 2020)

Abstract
Machining is one of the most common and versatile manufacturing processes in industry, e.g. automotive industry and aerospace industry. But classical numerical methods such as the Finite Element Method (FEM) have difficulties to simulate it, because the material undergoes large deformations, large strain, large strain rates and high temperatures in this process. One option to simulate such kind of problems is the Particle Finite Element Method (PFEM) which combines the advantages of continuum mechanics and discrete modeling techniques. In this study we develop the PFEM further and call it the Adaptive Particle Finite Element Method (A-PFEM). Compared to the PFEM the A-PFEM enables insertion of particles and improves significantly the mesh quality along the numerical simulation. The A-PFEM improves accuracy and precision, while it decreases computing time and resolves the phenomena that take place in machining. Because metal cutting involves plastic deformation we resort to the J₂ flow theory with isotropic hardening. At last some numerical examples are presented to compare the performance of the PFEM and A-PFEM.
Cite as

Xialong Ye, Juan Manuel Rodríguez Prieto, and Ralf Müller. An Improved Particle Finite Element Method for the Simulation of Machining Processes. In 2nd International Conference of the DFG International Research Training Group 2057 – Physical Modeling for Virtual Manufacturing (iPMVM 2020). Open Access Series in Informatics (OASIcs), Volume 89, pp. 13:1-13:9, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

@InProceedings{ye_et_al:OASIcs.iPMVM.2020.13,
  author =	{Ye, Xialong and Prieto, Juan Manuel Rodr{\'\i}guez and M\"{u}ller, Ralf},
  title =	{{An Improved Particle Finite Element Method for the Simulation of Machining Processes}},
  booktitle =	{2nd International Conference of the DFG International Research Training Group 2057 – Physical Modeling for Virtual Manufacturing (iPMVM 2020)},
  pages =	{13:1--13:9},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-183-2},
  ISSN =	{2190-6807},
  year =	{2021},
  volume =	{89},
  editor =	{Garth, Christoph and Aurich, Jan C. and Linke, Barbara and M\"{u}ller, Ralf and Ravani, Bahram and Weber, Gunther H. and Kirsch, Benjamin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.iPMVM.2020.13},
  URN =		{urn:nbn:de:0030-drops-137628},
  doi =		{10.4230/OASIcs.iPMVM.2020.13},
  annote =	{Keywords: Particle Finite Element Method, Alpha Shape Method, Metal Cutting}
}
Document
DOI: 10.4230/OASIcs.iPMVM.2020.16
Physical Modeling of Process Forces in Grinding

Authors: Praveen Sridhar, Daniel Mannherz, Raphael Bilz, Kristin M. de Payrebrune, Mahesh R.G. Prasad, and Juan Manuel Rodríguez Prieto

Published in: OASIcs, Volume 89, 2nd International Conference of the DFG International Research Training Group 2057 – Physical Modeling for Virtual Manufacturing (iPMVM 2020)

Abstract
This paper deals with material removal mechanisms in grinding by considering single grit-workpiece interactions. Individual investigations were performed both experimentally and using finite element simulations. Firstly, a comparison between the Johnson-Cooke material model and a Crystal Plasticity finite element method was performed with the help of micro-indentation experiments. Here the research question was answered if an anisotropic material model better describe the grinding process and process forces compared to an isotropic material model. Secondly, four discretization approaches were employed: pure Lagrangian (LAG), Arbitrary Lagrange Eulerian (ALE), Particle Finite Element Method (PFEM), and Smooth Particle Hydrodynamics (SPH), to simulate a micro-cutting operation of A2024 T351 aluminium. This study aims to compare the conventional approaches (LAG and ALE) to newer approaches (PFEM and SPH). The orthogonal cutting models were benchmarked against a micro-cutting experiment presented in literature, by comparing the obtained cutting and passive forces. The study was then extended to negative rake angles to study the effect on the discretization approaches for grinding. Thirdly, scratch experiments were investigated for a brittle material sodalime glass and A2024 T351 aluminium. Effects of the linear speed of the device, depth of cut, and conical tool angle were analyzed and tendencies are built. Finally, a realistic simulation of the manufacturing process of a grinding wheel was developed, starting with the raw material, compression, sintering, and dressing until the final grinding surface. As a result of the simulations, virtual grinding wheel topographies can be visualized and analyzed with regard to the output variables from grinding wheels such as bonding strength and static grain count. The individual research studies help in understanding the material removal mechanisms in a single grit scratch process as well as in the understanding of the overall grinding wheel topography. This in turn helps in the developing an overall physical force model for scratching/grinding to predict mechanical output parameters and hence reduce the need for experimentation.
Cite as

Praveen Sridhar, Daniel Mannherz, Raphael Bilz, Kristin M. de Payrebrune, Mahesh R.G. Prasad, and Juan Manuel Rodríguez Prieto. Physical Modeling of Process Forces in Grinding. In 2nd International Conference of the DFG International Research Training Group 2057 – Physical Modeling for Virtual Manufacturing (iPMVM 2020). Open Access Series in Informatics (OASIcs), Volume 89, pp. 16:1-16:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

@InProceedings{sridhar_et_al:OASIcs.iPMVM.2020.16,
  author =	{Sridhar, Praveen and Mannherz, Daniel and Bilz, Raphael and de Payrebrune, Kristin M. and Prasad, Mahesh R.G. and Prieto, Juan Manuel Rodr{\'\i}guez},
  title =	{{Physical Modeling of Process Forces in Grinding}},
  booktitle =	{2nd International Conference of the DFG International Research Training Group 2057 – Physical Modeling for Virtual Manufacturing (iPMVM 2020)},
  pages =	{16:1--16:20},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-183-2},
  ISSN =	{2190-6807},
  year =	{2021},
  volume =	{89},
  editor =	{Garth, Christoph and Aurich, Jan C. and Linke, Barbara and M\"{u}ller, Ralf and Ravani, Bahram and Weber, Gunther H. and Kirsch, Benjamin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.iPMVM.2020.16},
  URN =		{urn:nbn:de:0030-drops-137651},
  doi =		{10.4230/OASIcs.iPMVM.2020.16},
  annote =	{Keywords: grinding, single grit approach, finite element method, smooth particle hydrodynamics, particle finite element method, scratch experiments, virtual grinding wheel model}
}
Document
DOI: 10.4230/LIPIcs.TIME.2019.6
The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations

Authors: Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, and Joost J. Joosten

Published in: LIPIcs, Volume 147, 26th International Symposium on Temporal Representation and Reasoning (TIME 2019)

Abstract
We argue that European transport regulations can be formalized within the Sigma^1_1 fragment of monadic second order logic, and possibly weaker fragments including linear temporal logic. We consider several articles in the regulation to verify these claims.
Cite as

Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, and Joost J. Joosten. The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 6:1-6:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2019)

Copy BibTex To Clipboard

@InProceedings{dealmeidaborges_et_al:LIPIcs.TIME.2019.6,
  author =	{de Almeida Borges, Ana and Conejero Rodr{\'\i}guez, Juan Jos\'{e} and Fern\'{a}ndez-Duque, David and Gonz\'{a}lez Bedmar, Mireia and Joosten, Joost J.},
  title =	{{The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations}},
  booktitle =	{26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
  pages =	{6:1--6:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-127-6},
  ISSN =	{1868-8969},
  year =	{2019},
  volume =	{147},
  editor =	{Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.6},
  URN =		{urn:nbn:de:0030-drops-113649},
  doi =		{10.4230/LIPIcs.TIME.2019.6},
  annote =	{Keywords: linear temporal logic, monadic second order logic, formalized law, transport regulations}
}
Document
DOI: 10.4230/OASIcs.MCPS.2014.28
Simulations of the Cardiovascular System Using the Cardiovascular Simulation Toolbox

Authors: Gabriela Ortiz-León, Marta Vílchez-Monge, and Juan J. Montero-Rodríguez

Published in: OASIcs, Volume 36, 5th Workshop on Medical Cyber-Physical Systems (2014)

Abstract
In the present document, six mathematical models of the cardiovascular system are studied and implemented in MATLAB R2013a using an updated version of the Cardiovascular Simulation Toolbox proposed by O. Barnea at the Tel-Aviv University. All the mathematical models are based on electrical lumped-parameter analogies. The results of the simulations are compared with a list of expected hemodynamic parameters and contrasted with laboratory values.
Cite as

Gabriela Ortiz-León, Marta Vílchez-Monge, and Juan J. Montero-Rodríguez. Simulations of the Cardiovascular System Using the Cardiovascular Simulation Toolbox. In 5th Workshop on Medical Cyber-Physical Systems. Open Access Series in Informatics (OASIcs), Volume 36, pp. 28-37, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@InProceedings{ortizleon_et_al:OASIcs.MCPS.2014.28,
  author =	{Ortiz-Le\'{o}n, Gabriela and V{\'\i}lchez-Monge, Marta and Montero-Rodr{\'\i}guez, Juan J.},
  title =	{{Simulations of the Cardiovascular System Using the Cardiovascular Simulation Toolbox}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{28--37},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-66-8},
  ISSN =	{2190-6807},
  year =	{2014},
  volume =	{36},
  editor =	{Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.28},
  URN =		{urn:nbn:de:0030-drops-45207},
  doi =		{10.4230/OASIcs.MCPS.2014.28},
  annote =	{Keywords: Biomedic, Cardiovascular, MATLAB, Simulation}
}
Document
DOI: 10.4230/LIPIcs.FSTTCS.2008.1764
A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems

Authors: Juan Rodriguez-Hortala

Published in: LIPIcs, Volume 2, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2008)

Abstract
Formalisms involving some degree of nondeterminism are frequent in computer science. In particular, various programming or specification languages are based on term rewriting systems where confluence is not required. In this paper we examine three concrete possible semantics for non-determinism that can be assigned to those programs. Two of them --call-time choice and run-time choice-- are quite well-known, while the third one --plural semantics-- is investigated for the first time in the context of term rewriting based programming languages. We investigate some basic intrinsic properties of the semantics and establish some relationships between them: we show that the three semantics form a hierarchy in the sense of set inclusion, and we prove that call-time choice and plural semantics enjoy a remarkable compositionality property that fails for run-time choice; finally, we show how to express plural semantics within run-time choice by means of a program transformation, for which we prove its adequacy.
Cite as

Juan Rodriguez-Hortala. A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Leibniz International Proceedings in Informatics (LIPIcs), Volume 2, pp. 328-339, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2008)

Copy BibTex To Clipboard

@InProceedings{rodriguezhortala:LIPIcs.FSTTCS.2008.1764,
  author =	{Rodriguez-Hortala, Juan},
  title =	{{A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems}},
  booktitle =	{IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science},
  pages =	{328--339},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-08-8},
  ISSN =	{1868-8969},
  year =	{2008},
  volume =	{2},
  editor =	{Hariharan, Ramesh and Mukund, Madhavan and Vinay, V},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2008.1764},
  URN =		{urn:nbn:de:0030-drops-17643},
  doi =		{10.4230/LIPIcs.FSTTCS.2008.1764},
  annote =	{Keywords: Functional-logic programming, term rewriting systems, constructor-based rewriting logic, non-determinism, call-time choice semantics, run-time choice}
}
Document
DOI: 10.4230/DagSemProc.07122.24
On the Logic of Normative Systems

Authors: Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodriguez-Aguilar, Carles Sierra, and Michael Wooldridge

Published in: Dagstuhl Seminar Proceedings, Volume 7122, Normative Multi-agent Systems (2007)

Abstract
We introduce emph{Normative Temporal Logic} (acro{ntl}), a logic for reasoning about normative systems. acro{ntl} is a generalisation of the well-known branching-time temporal logic acro{ctl}, in which the path quantifiers $Apath$ (``on all pathsldots'') and $Epath$ (``on some pathldots'') are replaced by the indexed deontic operators $O{ s}$ and $P{ s}$, where for example $O{ s}phi$ means ``$phi$ is obligatory in the context of normative system $ s$''. After defining the logic, we give a sound and complete axiomatisation, and discuss the logic's relationship to standard deontic logics. We present a symbolic representation language for models and normative systems, and identify four different model checking problems, corresponding to whether or not a model is represented symbolically or explicitly, and whether or not we are given an interpretation for the normative systems named in formulae to be checked. We show that the complexity of model checking varies from acro{p}-complete up to acro{exptime}-hard for these variations.
Cite as

Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodriguez-Aguilar, Carles Sierra, and Michael Wooldridge. On the Logic of Normative Systems. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{agotnes_et_al:DagSemProc.07122.24,
  author =	{\r{A}gotnes, Thomas and van der Hoek, Wiebe and Rodriguez-Aguilar, Juan A. and Sierra, Carles and Wooldridge, Michael},
  title =	{{On the Logic of Normative Systems}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.24},
  URN =		{urn:nbn:de:0030-drops-9210},
  doi =		{10.4230/DagSemProc.07122.24},
  annote =	{Keywords: Normative systems, normative temporal logic, deontic logic}
}
  • Refine by Author
  • 2 Prieto, Juan Manuel Rodríguez
  • 1 Bilz, Raphael
  • 1 Conejero Rodríguez, Juan José
  • 1 Fernández-Duque, David
  • 1 González Bedmar, Mireia
  • Show More...

  • Refine by Classification
  • 1 Applied computing → Law
  • 1 Applied computing → Physical sciences and engineering
  • 1 Computing methodologies → Modeling and simulation
  • 1 Theory of computation → Higher order logic
  • 1 Theory of computation → Modal and temporal logics

  • Refine by Keyword
  • 1 Alpha Shape Method
  • 1 Biomedic
  • 1 Cardiovascular
  • 1 Functional-logic programming
  • 1 MATLAB
  • Show More...

  • Refine by Type
  • 6 document

  • Refine by Publication Year
  • 2 2021
  • 1 2007
  • 1 2008
  • 1 2014
  • 1 2019

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023 Schloss Dagstuhl - LZI GmbH Imprint Privacy Contact