With the widespread adoption of cloud computing, ensuring data privacy and security has become a critical challenge. In this context, homomorphic encryption has gained significant attention due to its unique ability t...
详细信息
reconfigurable manufacturing systems (RMS) are complex systems that regularly change the system behavior. One method to deal with this is virtual commissioning (VC). The new behavior needs to be implemented in the ind...
详细信息
While the benefits of reconfigurable manufacturing systems (RMS) are well-known, there are still challenges to their development, including, among others, a modular software architecture that enables rapid reconfigura...
详细信息
This paper considers a rate-splitting multiple access (RSMA) system and employs reconfigurable intelligent surfaces (RIS) to enhance the physical layer security. Specifically, a multi-user communication system consist...
详细信息
reconfigurable antennas are attractive for dynamic changing electromagnetic environments. Multi-linear polarization (multi-LP) antennas are particularly desired for polarization matching in LP wireless systems. In thi...
详细信息
In the field of model-based systemsengineering, there is an increasing demand for the application of formal methods. However, this requires expertise in formal methods, which cannot be expected from systems engineers...
详细信息
ISBN:
(纸本)9798400706226
In the field of model-based systemsengineering, there is an increasing demand for the application of formal methods. However, this requires expertise in formal methods, which cannot be expected from systems engineers. While several attempts have been made to bridge this gap, there are still open questions. (1) With the trend shifting towards ontological languages, systems are modeled as classes of 4D occurrences, rather than a 3D system evolving with time, which hinders the application of state-of-the-art model checking algorithms. (2) Ontological reasoning cannot handle the state space explosion problem, and can even make it harder for verifiers to operate efficiently. (3) When operationalizing ontological languages, we need to validate the conformance of the two semantics, even in the presence of optimizations. (4) On top of all, these challenges must be solved for every new engineering language, version, or variant. In this paper, we propose a new approach to address the aforementioned challenges. To validate its feasibility, we present a prototype tool and evaluate it on a SysML model.
作者：
Sobral, J.Datia, N.Pato, M.Soares, C. Guedes
Instituto Superior Técnico Universidade de Lisboa Lisbon Portugal Mechanical Engineering Department
ISEL - Instituto Superior de Engenharia de Lisboa Instituto Politécnico de Lisboa Lisboa Portugal and NOVA LINCS
Instituto Politécnico de Lisboa Lisboa Portugal LASIGE
Departamento de Informática Faculdade de Ciências Universidade de Lisboa Portugal
This paper addresses machine learning algorithms, which are commonly employed to analyse vast amounts of data collected by condition monitoring systems in wind turbines to identify patterns, anomalies, and trends in t...
详细信息
The construction industry is undergoing a transformative shift towards environmental sustainability. This shift demands that building projects not only adapt to traditional benchmarks of time and cost but also integra...
详细信息
The development of modern industrial systems and their protection against emergencies are currently associated with the integration of digital radio-electronic control modules for the statuses of processes and devices...
详细信息
This article discusses the problems of accuracy and reliability of the use of integrated navigation systems. Integrated navigation systems are complex systems that combine data from various navigation sensors, such as...
详细信息
暂无评论