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...
详细信息
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.
Simulations have long been part of hardware-centric system domains. Similarly, architecture design is a common practice for complex industrial systems, which comprise many components that can be arranged in different ...
详细信息
ISBN:
(纸本)9798400706226
Simulations have long been part of hardware-centric system domains. Similarly, architecture design is a common practice for complex industrial systems, which comprise many components that can be arranged in different layouts according to given requirements. Configuring simulation models and choosing the architecture design can be time-consuming activities. This paper presents a modeldriven approach to automate the simulation configuration and architecture layouting engineering activities by leveraging modeldriven optimisation techniques. The approach leverages a research solution, MOMoT (Marrying Optimisation and Model Transformations), an academic tool that combines search-based algorithms and model transformations. MOMoT is extended with two software modules, leveraging the Functional Mock-up Interface standard for simulation configuration and an architectural description language to design architecture layouts. Our solution is presented in the context of Volvo Construction Equipment's industrial use case, which is part of the European-funded project AIDOaRt. Our approach contributes to automated decision support to simulation and architecture design through model-driven optimisation while preserving the organisation's engineering practices.
Traffic Congestion (TC) is a main issue in smart cities because of increase in urbanization, as a result in financial losses. However, existing prediction algorithms failed to predict TC effectively due to dynamic cha...
详细信息
Generating spatial and temporal features for real time prediction and classification in precision agriculture is challenging due to inaccurate estimation of features from the remote sensing images. Using Geographical ...
详细信息
System identification of nonlinear dynamical systems aims to predict the output of a system for a given input. In many engineering applications, the underlying physics are not fully understood and so there is no analy...
详细信息
ISBN:
(纸本)9780791887387
System identification of nonlinear dynamical systems aims to predict the output of a system for a given input. In many engineering applications, the underlying physics are not fully understood and so there is no analytical solution. The Wiener series is a classical data-driven technique that decomposes the system response into a set of orthogonal functionals of increasing order. Unlike standard black-box algorithms, such as neural networks, the series is highly interpretable and can offer insight into the nonlinearities present. To date, in order to calculate higher order terms in the Wiener series, vast quantities of data are needed. In this paper, a novel formulation of the Wiener series is developed in the frequency domain which applies to general stochastic inputs with an arbitrary spectrum. It is enhanced by placing Gaussian process priors over the Wiener kernels to enforce prior knowledge of their structure. This significantly reduces the quantity of data required for inference and has the benefit of enabling the calculation of the third order kernel for systems with long memory. The benefits were demonstrated in initial investigations using an idealised nonlinear oscillatory system. Decomposition of the system response into Wiener functionals also sheds light on the learnability of nonlinear dynamical systems, which could be used to assess the value of collecting additional data.
The objective of this study is to improve server speed using neural network algorithms compared with random forest techniques to increase accuracy using machine learning. Option posts by players and upvoting-based pre...
详细信息
In this paper, the development of hybrid algorithms for the detection of Pneumonia Disease from the human X-Ray's images of the Chest Structure is presented along with the simulated & experimental results. w.r...
详细信息
This paper explores into Saudi Arabia's global leadership in renewable energy, particularly its solar initiatives. The study employs a detailed analysis of input variables, including time, temperature, wind speed,...
详细信息
reconfigurable intelligent surface is a promising technology for enhancing wireless communication in various scenarios. Despite its promise, utilizing reconfigurable intelligent surface for communication services pose...
详细信息
ISBN:
(数字)9798350363760
ISBN:
(纸本)9798350363777
reconfigurable intelligent surface is a promising technology for enhancing wireless communication in various scenarios. Despite its promise, utilizing reconfigurable intelligent surface for communication services poses non-convex optimization challenges. In this paper, we propose a hybrid beamforming algorithm for reconfigurable intelligent surface aided mmWave vehicle-to-everything communication systems to maximize the system’s sum rate. The proposed algorithm is an iterative process developed jointly using coati optimization algorithm, group selection and codebook compression for reconfigurable intelligent surface aided beamforming. The algorithm first selects the reconfigurable intelligent surface phase shift matrix, then groups the vehicular user equipments and utilizes codebook compression algorithm to compute the beamforming matrix. The algorithm runs until it finds the maximum sum rate. Simulation results have verified the effectiveness of the proposed algorithm as compared to different benchmark schemes.
暂无评论