[{"publisher":"Elsevier","date_updated":"2022-03-24T09:39:11Z","author":[{"first_name":"Christian Roman","full_name":"Bielak, Christian Roman","id":"34782","last_name":"Bielak"},{"last_name":"Böhnke","full_name":"Böhnke, Max","id":"45779","first_name":"Max"},{"full_name":"Beck, Robert","id":"38279","last_name":"Beck","first_name":"Robert"},{"last_name":"Bobbert","full_name":"Bobbert, Mathias","id":"7850","first_name":"Mathias"},{"first_name":"Gerson","full_name":"Meschut, Gerson","id":"32056","orcid":"0000-0002-2763-1246","last_name":"Meschut"}],"date_created":"2020-12-02T16:21:34Z","title":"Numerical analysis of the robustness of clinching process considering the pre-forming of the parts ","doi":"https://doi.org/10.1016/j.jajp.2020.100038","publication_status":"published","publication_identifier":{"unknown":["https://doi.org/10.1016/j.jajp.2020.100038"]},"year":"2020","citation":{"apa":"Bielak, C. R., Böhnke, M., Beck, R., Bobbert, M., &#38; Meschut, G. (2020). Numerical analysis of the robustness of clinching process considering the pre-forming of the parts . <i>Journal of Advanced Joining Processes. </i>. <a href=\"https://doi.org/10.1016/j.jajp.2020.100038\">https://doi.org/10.1016/j.jajp.2020.100038</a>","bibtex":"@article{Bielak_Böhnke_Beck_Bobbert_Meschut_2020, title={Numerical analysis of the robustness of clinching process considering the pre-forming of the parts }, DOI={<a href=\"https://doi.org/10.1016/j.jajp.2020.100038\">https://doi.org/10.1016/j.jajp.2020.100038</a>}, journal={Journal of Advanced Joining Processes. }, publisher={Elsevier}, author={Bielak, Christian Roman and Böhnke, Max and Beck, Robert and Bobbert, Mathias and Meschut, Gerson}, year={2020} }","mla":"Bielak, Christian Roman, et al. “Numerical Analysis of the Robustness of Clinching Process Considering the Pre-Forming of the Parts .” <i>Journal of Advanced Joining Processes. </i>, Elsevier, 2020, doi:<a href=\"https://doi.org/10.1016/j.jajp.2020.100038\">https://doi.org/10.1016/j.jajp.2020.100038</a>.","short":"C.R. Bielak, M. Böhnke, R. Beck, M. Bobbert, G. Meschut, Journal of Advanced Joining Processes.  (2020).","ama":"Bielak CR, Böhnke M, Beck R, Bobbert M, Meschut G. Numerical analysis of the robustness of clinching process considering the pre-forming of the parts . <i>Journal of Advanced Joining Processes </i>. Published online 2020. doi:<a href=\"https://doi.org/10.1016/j.jajp.2020.100038\">https://doi.org/10.1016/j.jajp.2020.100038</a>","chicago":"Bielak, Christian Roman, Max Böhnke, Robert Beck, Mathias Bobbert, and Gerson Meschut. “Numerical Analysis of the Robustness of Clinching Process Considering the Pre-Forming of the Parts .” <i>Journal of Advanced Joining Processes. </i>, 2020. <a href=\"https://doi.org/10.1016/j.jajp.2020.100038\">https://doi.org/10.1016/j.jajp.2020.100038</a>.","ieee":"C. R. Bielak, M. Böhnke, R. Beck, M. Bobbert, and G. Meschut, “Numerical analysis of the robustness of clinching process considering the pre-forming of the parts ,” <i>Journal of Advanced Joining Processes. </i>, 2020, doi: <a href=\"https://doi.org/10.1016/j.jajp.2020.100038\">https://doi.org/10.1016/j.jajp.2020.100038</a>."},"project":[{"grant_number":"418701707","_id":"130","name":"TRR 285: TRR 285"},{"_id":"131","name":"TRR 285 - A: TRR 285 - Project Area A"},{"_id":"135","name":"TRR 285 – A01: TRR 285 - Subproject A01"}],"_id":"20678","user_id":"34782","department":[{"_id":"157"}],"keyword":["Clinching","process simulation","FEM","pre-straining","sensitivity analysis"],"language":[{"iso":"eng"}],"type":"journal_article","publication":"Journal of Advanced Joining Processes. ","status":"public"},{"publication_identifier":{"isbn":["978-1-4615-2237-9"]},"page":"107 - 139","citation":{"chicago":"Börger, Egon, Uwe Glässer, and Wolfgang Müller. “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines.” In <i>Semantics of VHDL</i>, edited by C. Delgado Kloos and Peter T. Breuer, 107–39. Dordrecht: Kluwer Academic Publishers, 1995. <a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">https://doi.org/10.1007/978-1-4615-2237-9_5</a>.","ieee":"E. Börger, U. Glässer, and W. Müller, “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines,” in <i>Semantics of VHDL</i>, C. Delgado Kloos and P. T. Breuer, Eds. Dordrecht: Kluwer Academic Publishers, 1995, pp. 107–139.","ama":"Börger E, Glässer U, Müller W. A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In: Delgado Kloos C, Breuer PT, eds. <i>Semantics of VHDL</i>. Kluwer Academic Publishers; 1995:107-139. doi:<a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">10.1007/978-1-4615-2237-9_5</a>","bibtex":"@inbook{Börger_Glässer_Müller_1995, place={Dordrecht}, title={A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines}, DOI={<a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">10.1007/978-1-4615-2237-9_5</a>}, booktitle={Semantics of VHDL}, publisher={Kluwer Academic Publishers}, author={Börger, Egon and Glässer, Uwe and Müller, Wolfgang}, editor={Delgado Kloos, C. and Breuer, Peter T.}, year={1995}, pages={107–139} }","short":"E. Börger, U. Glässer, W. Müller, in: C. Delgado Kloos, P.T. Breuer (Eds.), Semantics of VHDL, Kluwer Academic Publishers, Dordrecht, 1995, pp. 107–139.","mla":"Börger, Egon, et al. “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines.” <i>Semantics of VHDL</i>, edited by C. Delgado Kloos and Peter T. Breuer, Kluwer Academic Publishers, 1995, pp. 107–39, doi:<a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">10.1007/978-1-4615-2237-9_5</a>.","apa":"Börger, E., Glässer, U., &#38; Müller, W. (1995). A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In C. Delgado Kloos &#38; P. T. Breuer (Eds.), <i>Semantics of VHDL</i> (pp. 107–139). Kluwer Academic Publishers. <a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">https://doi.org/10.1007/978-1-4615-2237-9_5</a>"},"year":"1995","place":"Dordrecht","date_created":"2022-12-15T11:42:48Z","author":[{"first_name":"Egon","full_name":"Börger, Egon","last_name":"Börger"},{"full_name":"Glässer, Uwe","last_name":"Glässer","first_name":"Uwe"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"publisher":"Kluwer Academic Publishers","date_updated":"2022-12-15T11:43:14Z","doi":"10.1007/978-1-4615-2237-9_5","title":"A Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines","publication":"Semantics of VHDL","type":"book_chapter","status":"public","abstract":[{"text":"We present a rigorous but transparent semantic definition for VHDL corresponding to the IEEE VHDL’ 93 standard [68, 9, 84]. Our definition covers the full behavior of signal and variable assignments as well as the behavior of the various wait statements including delta, time, and postponed cycles. We consider explicitly declared signals, ports, local variables, and shared variables. Our specification defines an abstract VHDL ’ 93 interpreter in the form of transition rules for an evolving algebra machine (EA-Machine) [60]. It faithfully reflects and supports the view of simulation given in the IEEE VHDL ’ 93 standard language reference manual. The definition can be understood without any prior formal training. We illustrate our definition by running the example VHDL program set out in the Introduction to this volume.","lang":"eng"}],"editor":[{"first_name":"C.","last_name":"Delgado Kloos","full_name":"Delgado Kloos, C."},{"first_name":"Peter T.","full_name":"Breuer, Peter T.","last_name":"Breuer"}],"department":[{"_id":"672"}],"user_id":"5786","_id":"34448","language":[{"iso":"eng"}],"keyword":["Transition Rule     Formal Verification     Variable Assignment     Kernel Process     Simulation Cycle"]}]