The DeFacto project, supported by the European Commission via a Marie Skłodowska-Curie Global Individual Fellowship, tackles the complexity arising from the transformation of industrial manufacturing systems into intr...
详细信息
ISBN:
(数字)9783981926385
ISBN:
(纸本)9798350348606
The DeFacto project, supported by the European Commission via a Marie Skłodowska-Curie Global Individual Fellowship, tackles the complexity arising from the transformation of industrial manufacturing systems into intricate cyber-physical systems. This evolution offers unprecedented opportunities but also poses intellectual and engineering challenges. DeFacto aims to advance the design automation of cyber-physical production systems by developing innovative modeling paradigms, scalable algorithms, software architectures, and tools. In the DeFacto approach, production systems are managed through service-oriented manufacturing software architectures. System-level models capture the features and the requirements of production systems, representing both production and computational processes as services provided by the infrastructure. Methodologies for system analysis and optimization rely on compositional abstractions of system behaviors grounded in assume-guarantee contracts. This paper outlines key research endeavors, findings, and lessons learned from the DeFacto project.
Since network technology is advancing so quickly, every industry that uses networking now has a great need for data storage facilities. The proposed system inspects the feasibility of creating a network-attached stora...
详细信息
Praxeme is an enterprise methodology designed to overcome the difficulties associated with the construction of enterprise information systems. The aspect that specifies the company's intentions represents the init...
详细信息
ISBN:
(纸本)9783030966485;9783030966478
Praxeme is an enterprise methodology designed to overcome the difficulties associated with the construction of enterprise information systems. The aspect that specifies the company's intentions represents the initial phase of the software development process in Praxeme. The use of the eLEL lexicon to express the intentional aspect of Praxeme enables the knowledge in the following aspects to be clarified. However, the logical modeling (logical aspect) from the intentional aspect represented by eLEL is largely lacking in conceptual information to be exploited in the purely IT aspect of Praxeme. In this paper, we propose the use of the ReLEL lexicon to specify the intentional aspect of Praxeme in order to automate the process covering the business and IT aspects of the enterprise. ReLEL is an enterprise terminology database and has precise information concerning the conceptual representation of an information system. For this purpose, we have proposed rules to automate the articulation that covers the intentional, semantic, logical and software aspects of Praxeme. We made use of the ATL and Acceleo language for the implementation of the transformation rules. The result obtained in this article is a SOAP web service of the software aspect of Praxeme.
The study investigated the influence of electromagnetic absorber (EA) thickness on the time and frequency characteristics of a two-conductor microstrip transmission line (TL). The structure with EA applied as a coatin...
详细信息
As technology advances, devices become more compact and comfortable. Microwave imaging systems can be used to diagnose any head disorders, thus avoiding the need for large imaging equipment such as PET, X-rays, MRIs, ...
详细信息
software-defined networking (SDN) has an extremely strong influence on the today's development of computer networks and introduces significant changes in network management and automation. Network Configuration Pr...
详细信息
The shielding effect of rebar arrays on magnetic fields poses a challenge for inductive power transfer (IPT) systems that power sensors in structural health monitoring systems. In this paper, we propose a method to en...
详细信息
In the generation of communication technologies, IoT based WBAN enables inventive software to improve the quality of life of the patient, providing the healthcare provider helpful tools for monitoring the patient. How...
详细信息
In recent years, the integration of computation, communication, and physical systems has led to the emergence of a new paradigm called Cyber-Physical systems (CPSs). Examples of CPS are ubiquitous, including home auto...
详细信息
Economic dispatch is one of the mathematical optimization problems in power system operation and planning. It aims to find the most efficient output for generating units that meets the demand of the load at the lowest...
详细信息
暂无评论