Symbolic simulation techniques-state-of-the-art and applications

Author(s):  
C. Blank ◽  
H. Eveking ◽  
J. Levihn ◽  
G. Ritter
1979 ◽  
Author(s):  
Charles F. M. Condon ◽  
Lawrence L. Ames ◽  
John R. Hennessy ◽  
Edgar L. Shriver ◽  
Russell E. Seeman

Author(s):  
Simon Sirca

Electron-induced proton, neutron and deuteron knock-out remains the most versatile probe of the electro-magnetic properties and spin structure of light nuclei. The advent of highly polarized beams and targets and improvements in recoil polarization methods, as well as analysis and simulation techniques, have enabled us to study the static and dynamical properties of few-body systems with unprecedented precision. Recent experiments at Jefferson Lab and MAMI are presented and put into perspective of state-of-the art Faddeev calculations, with focus on the ^\mathbf{3}\mathbf{He}3𝐇𝐞 nucleus.


2018 ◽  
Author(s):  
Niels Gregersen ◽  
Jakob Rosenkrantz de Lasson ◽  
Lars Hagedorn Frandsen ◽  
Philipp Gutsche ◽  
Sven Burger ◽  
...  

Author(s):  
Michael Chandross

Molecular dynamics is the simulation method that is most amenable to the length and time scales of nanotribological experiments. The ability to track the individual motion of every atom in simulations has led to a detailed understanding of the underlying physics that is difficult to extract from experiment. While significant progress has been made in simulations over the past two decades, computational issues still limit the types of problems that can be approached, and the detailed understanding that results. Here we discuss recent advances in molecular dynamics simulations that push the bounds of simulation size, velocity, and chemistry. These state of the art simulation techniques have made great strides in allowing detailed comparisons to experimental results. These advances will be placed in context by addressing the barriers that remain and where future progress lies.


2021 ◽  
Vol 31 (4) ◽  
pp. 1-31
Author(s):  
Navonil Mustafee ◽  
Korina Katsaliaki ◽  
Simon J. E. Taylor

The field of Supply Chain Management (SCM ) is experiencing rapid strides in the use of Industry 4.0 technologies and the conceptualization of new supply chain configurations for online retail, sustainable and green supply chains, and the Circular Economy. Thus, there is an increasing impetus to use simulation techniques such as discrete-event simulation, agent-based simulation, and hybrid simulation in the context of SCM. In conventional supply chain simulation, the underlying constituents of the system like manufacturing, distribution, retail, and logistics processes are often modelled and executed as a single model. Unlike this conventional approach, a distributed supply chain simulation (DSCS) enables the coordinated execution of simulation models using specialist software. To understand the current state-of-the-art of DSCS, this paper presents a methodological review and categorization of literature in DSCS using a framework-based approach. Through a study of over 130 articles, we report on the motivation for using DSCS, the modelling techniques, the underlying distributed computing technologies and middleware, its advantages and a future agenda, and also limitations and trade-offs that may be associated with this approach. The increasing adoption of technologies like Internet-of-Things and Cloud Computing will ensure the availability of both data and models for distributed decision-making, which is likely to enable data-driven DSCS of the future. This review aims to inform organizational stakeholders, simulation researchers and practitioners, distributed systems developers and software vendors, as to the current state-of-the art of DSCS, and which will inform the development of future DSCS using new applied computing approaches.


2020 ◽  
Vol 157 ◽  
pp. 111682
Author(s):  
Raul Pampin ◽  
Natalia Casal ◽  
Marco Fabbri ◽  
Mario Gagliardi ◽  
Davide Laghi ◽  
...  

1994 ◽  
Vol 05 (02) ◽  
pp. 179-202 ◽  
Author(s):  
MASSOUD PEDRAM

This paper describes various approaches for power analysis and minimization at the logic level including, amongst others, pattern-independent probabilistic and symbolic simulation techniques for power estimation and low-power techniques for state assignment, logic restructuring, logic decomposition, technology mapping and pin ordering.


2015 ◽  
Vol 67 (2) ◽  
Author(s):  
R. D. B. Sevenois ◽  
W. Van Paepegem

Composite structural parts have been successfully introduced in high performance industries. Nowadays, also lower performance, high volume production industries are looking for the application of composites in their products. Especially attractive are textile composites (woven, braided, etc.) because of their better drapability and higher resistance to out-of-plane and dynamic loads. Currently, however, extensive mechanical tests are needed to properly design a composite structure. This is a requirement the large volume industries typically do not have the resources nor the time for. Reducing the need for structural tests can only be done if reliable simulation techniques are available. Simulation techniques for fatigue loading are particularly interesting because products generally have to perform their function over a period of time. For the textile structural composites concerned in this paper, some notable modeling techniques have been developed over the past 15 years. These techniques are presented here and the state of the art is established together with insights for future development by comparing the state of the art with the modeling techniques for laminates from unidirectional (UD) laminae.


Sign in / Sign up

Export Citation Format

Share Document