Results 31 to 40 of about 5,480,236 (317)
Computational challenges to test and revitalize Claude Lévi-Strauss transformational methodology
Big Data & Society, 2021 The ambition and proposal for data modeling of myths presented in this paper is to link contemporary technical affordances to some canonical projects developed in structural anthropology.
Albert Doja +2 more
doaj +1 more source
Dinamika Rekayasa, 2023 Pada pabrik ini belum ada penetapan kebijakan pemesanan bahan bak. Saat ini pemesanan bahan baku dilakukan berdasarkan keinginan pemilik pabrik. Sehingga tujuan dari penelitian adalah mengetahui jumlah dan waktu pemesanan bahan baku berdasarkan jumlah ...
Maria Krisnawati +2 more
doaj +1 more source
Discrete Event Simulation Software for Agent-Based Supply Chain Demand [PDF]
International Journal of Industry and Sustainable Development, 2020 Customer satisfaction is the ultimate goal of the supply chain. At the same time, business success relies on the income made from offering service. With increasing competition, complexity, higher variety and advancing technology; supply chain management
Duncan Folley, Haider Al-Fedhly
doaj +1 more source
Research on Acceleration Technology in High Throughput Many-core Parallel Simulation [PDF]
Jisuanji gongcheng, 2017 The rapid development of high-throughput applications makes simulation speed increasingly become the bottleneck of large-scale many-core architecture research.In order to solve this problem,based on the simulation platform of high-throughput many-core ...
FANG Guoqing,LI Wenming,YU Yang,ZHANG Yang,YE Xiaochun,AN Hong
doaj +1 more source
Conflict-preserving abstraction of discrete event systems using annotated automata [PDF]
, 2012 This paper proposes to enhance compositional verification of the nonblocking property of discrete event systems by introducing annotated automata. Annotations store nondeterministic branching information, which would otherwise be stored in extra states ...
Malik, Robi, Ware, Simon
core +1 more source
Generalised verification of the observer property in discrete event systems [PDF]
, 2012 The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural ...
Pena, Patricia N. +4 more
core +1 more source
Parallel discrete event simulation with Erlang [PDF]
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, 2012 Discrete Event Simulation (DES) is a widely used technique in which the state of the simulator is updated by events happening at discrete points in time (hence the name). DES is used to model and analyze many kinds of systems, including computer architectures, communication networks, street traffic, and others. Parallel and Distributed Simulation (PADS)
L. Toscano +2 more
openaire +2 more sources
Supremica – An integrated environment for verification, synthesis and simulation of discrete event systems [PDF]
, 2006 An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a guard condition and an
\uc5kesson, Knut +8 more
core +1 more source
A novel simulation method for power electronics: discrete state event driven method
CES Transactions on Electrical Machines and Systems, 2017 In the analysis of power electronics system, it is necessary to simulate ordinary differential equations (ODEs) with discontinuities and stiffness. However, there are many difficulties in using traditional discrete-time algorithms to solve such equations.
Boyang Li +4 more
doaj +1 more source
NIHR Open Research, 2023 One aim of Open Science is to increase the accessibility of research. Within health services research that uses discrete-event simulation, Free and Open Source Software (FOSS), such as Python, offers a way for research teams to share their models with ...
Alison Harper, Thomas Monks
doaj +1 more source