Results 51 to 60 of about 13,277,259 (198)
This paper discusses two modeling and simulation (M&S) issues for defense cyber-physical systems (CPSs): 1) model-driven development via model interoperation and 2) simulation analysis between interoperated models.
Bong Gu Kang, Kyung-Min Seo, Tag Gon Kim
doaj +1 more source
Robust dual reconstruction systems and fusion frames [PDF]
We study the duality of reconstruction systems, which are g-frames in a finite dimensional setting. These systems allow redundant linear encoding-decoding schemes implemented by the so-called dual reconstruction systems. We are particularly interested in
Massey, Pedro Gustavo +2 more
core +2 more sources
Application of systems engineering to complex systems and system of systems
This dissertation is an investigation of system of systems (SoS). It begins with an analysis to define, with some rigor, the similarities and differences between complex systems and SoS. With this foundation, the baseline concept is development for several different types of systems and they are used as a practical approach to compare and contrast ...
Sturdivant, Rick L., author +4 more
openaire +1 more source
The first part of this paper explored the identification of various methodological challenges which have to be addressed when designing complex multi-system integration associated with titanium metalworking and manufacture, while in this second part of ...
Adam Stroud, Atila Ertas
doaj +1 more source
STATE STIMULATION OF TRANSFORMATION OF POWER INDUSTRY
Transition to digital technologies in management of power industry at all levels – an inevitable consequence of the technical progress which has generated opportunities for diversification, decarbonization and decentralization.
V. A. Zubakin
doaj +1 more source
From space back to Earth: supporting sustainable development with spaceflight technologies
For the past decades spaceflight has been a driver for technology development in various fields, e.g. generation of electrical power, and computers. Human spaceflight missions, require resources typically scarce (e.g.
Volker Maiwald +3 more
doaj +1 more source
Hypernetworks for Policy Design in Systems of Systems of Systems [PDF]
Hypernetworks generalise networks and hypergraphs, allowing relations between many things to be modelled by hypersimplices with richer structure than hypergraph edges. They provide a way of integrating bottom-up and top-down micro, meso and macrolevel dynamics in multilevel systems. They provide a natural way of representing social structures, enabling
openaire +1 more source
Proving Skipping Refinement with ACL2s
We describe three case studies illustrating the use of ACL2s to prove the correctness of optimized reactive systems using skipping refinement. Reasoning about reactive systems using refinement involves defining an abstract, high-level specification ...
Jain, Mitesh, Manolios, Panagiotis
core +2 more sources
Traditional farming has evolved from standalone computing systems to smart farming, driven by advancements in digitalization. This has led to the proliferation of diverse information systems (IS), such as IoT and sensor systems, decision support systems,
Emmanuel Ahoa +3 more
doaj +1 more source
This study proposes a system modeling method for aircraft maintenance program development that adopts condition-based maintenance using aircraft health management (AHM) based on a systems engineering approach, which considers AHM as a system of systems ...
Takuro Koizumi, Nozomu Kogiso
doaj +1 more source

