Results 111 to 120 of about 12,298,173 (375)
Axiomatic Design based Design of a Software Prototype for Smart Shopfloor Management
Shopfloor management systems are currently undergoing a change. With the era of Industry 4.0, traditional shop floor management concepts are changing to new and digitally supported approaches for the coordination and management of production at the shop ...
Rauch Erwin +4 more
doaj +1 more source
Model Checking Dynamic-Epistemic Spatial Logic [PDF]
In this paper we focus on Dynamic Spatial Logic, the extension of Hennessy-Milner logic with the parallel operator. We develop a sound complete Hilbert-style axiomatic system for it comprehending the behavior of spatial operators in relation with dynamic/
Mardare, Radu, Priami, Corrado
core
ABSTRACT The short essay makes a case that a post biological world will be a devolution. Sentience is a relational process linked with the awe and wonder we experience in relation to one another and our shared habitat. The voiceless need to be protected by extending solidarity on the basis of sentience—a normative plea, but also on the basis of ...
J. J. McIntyre‐Mills
wiley +1 more source
Epistemological Implications of a System—Theoretical Understanding for Sustainability Models
ABSTRACT In the sense of the Sustainable Development Goals (SDGs), global efforts to create a sustainable society will not be sufficiently successful under the current geopolitical and socio‐economic trends. For this reason, recent sustainability research has increasingly focused on systemic coherence, the subject of cognition, and psychological and ...
Stefan Stumm
wiley +1 more source
Model‐Based Systems Design (MBSD) formalizes the application of system modeling. However, it is still difficult for designers to implement MBSD in practice.
Haoqi Wang +4 more
semanticscholar +1 more source
ABSTRACT The emergence of cooperation in natural selection has been successfully studied using game theory and, despite the underlying selfish nature of the evolutionary process, a spectrum of plausible mechanisms have been proposed to determine the conditions under which cooperative behaviour is likely to occur.
Phil Mercy, Martin Neil
wiley +1 more source
Reduction of the Pareto Set in Bicriteria Asymmetric Traveling Salesman Problem
We consider the bicriteria asymmetric traveling salesman problem (bi-ATSP). Optimal solution to a multicriteria problem is usually supposed to be the Pareto set, which is rather wide in real-world problems.
Kovalenko, Yulia V. +1 more
core +1 more source
Hybrid AC/DC microgrids flexible reliability index by using the axiomatic design concept [PDF]
Hamed Sabouhi +3 more
openalex +1 more source
Abstract After a blossoming pre‐World War II (WWII) period, the concrete construction industry in then‐socialist Hungary existed in a relative isolation from the Western World during the mid‐20th century. In this paper, we focus on the body of work of one of the then newly established state‐owned design offices, IPARTERV, to show how the isolation ...
Orsolya Gáspár, Péter Haba
wiley +1 more source
Modern custom machine construction and automation projects face pressure to shorten innovation cycles, reduce durations, and manage growing system complexity.
Roland Wölfle +2 more
doaj +1 more source

