Results (67)
Search Parameters:
Keyword: ValidationUsing Formal Methods to Model a Smart School System via TLA+ and its TLC Model Checker for Validation
Formal methods are one of the efficient tools to verify and validate designs for different kinds of systems. Smart systems are attracting researchers’ attention due to the rapid spread of new technologies all over the world. Modeling a smart system requires connecting heterogeneous subsystems together to build it. Our contribution to this work is in…
Read MoreAssessing Heutagogical Elements in Learning of Engineering Education: Instrument Validation
Practically level of design element (i.e., explore, sharing, connect) is an essential of heutagogical approach. The self-determined learning process can be at ease with the implementation of these elements, and the critical step is reliability to measure teaching and learning feedback. Although various instruments were proposed in the literature to assess heutagogy elements, the specific…
Read MoreDesign and Validation of a Meter Band Rate in OpenFlow and OpenDaylight for Optimizing QoS
Technological developments in the Internet and communications have created a vastly complex and dynamic context with diverse heterogeneous networks and fast growth of mobile devices and multimedia. As the Internet becomes the primary mode of communication for many organisations there is requirement to enhance quality of service (QoS) from heterogeneous systems and networks. Traditional networks…
Read MoreMission Profile Analysis of a SiC Hybrid Module for Automotive Traction Inverters and its Experimental Power-loss Validation with Electrical and Calorimetric Methods
This paper investigates the efficiency benefits of replacing the Silicon diodes of a commercial IGBT module for the main inverter application of an electric vehicle with Silicon Carbide diodes, leaving the package, operating conditions and the system unchanged. This ensures that the comparison is directly between the chip technologies without any scope for discrepancies arising…
Read MoreDevelopment and Validation of a Heat Pump System Model Using Artificial Neural Network
Modeling of direct expansion (DX) air conditioning and heat pump systems can be necessary in developing energy saving methods required to reduce energy consumption in buildings. The artificial neural networks (ANN) can be simple and reliable as compared to traditional methods. A properly trained artificial neural network can provide accurate results, while being relatively straightforward…
Read MoreMobi-Sim: An Emulation and Prototyping Platform for Protocols Validation of Mobile Wireless Sensors Networks
The objective of this paper is to provide a new simulator framework for mobile WSN that emulate a sensor node at a laptop i.e. the laptop will model and replace a sensor node within a network. This platform can implement di?erent WSN routing protocols to simulate and validate new developed protocols in terms of energy…
Read MoreSystem-Level Test Case Design for Field Reliability Alignment in Complex Products
Achieving targeted reliability for complex products in real-world field environments remains a persistent challenge, even when laboratory validation suggests high performance. A significant reliability gap often emerges during the initial deployment phase, typically within the first one to five years where field failure rates can be up to twice those predicted in controlled settings. Compounding…
Read MoreDeploying Trusted and Immutable Predictive Models on a Public Blockchain Network
Machine learning-based predictive models often face challenges, particularly biases and a lack of trust in their predictions when deployed by individual agents. Establishing a robust deployment methodology that supports validating the accuracy and fairness of these models is a critical endeavor. In this paper, we introduce a novel approach to deploying predictive models, such as…
Read MoreA Smart Farming Management System based on IoT Technologies for Sustainable Agriculture
Advances in Internet of Things (IoT) and wireless technologies are revolutionizing various sectors, including environment, education, healthcare, industry, etc. In the same dynamic, as the world population constantly evolves, solutions based on such technologies need to be proposed to improve the agricultural sector. Senegalese agriculture, primarily rain-fed and based on both cash crops and subsistence…
Read MoreComparative Study of J48 Decision Tree and CART Algorithm for Liver Cancer Symptom Analysis Using Data from Carnegie Mellon University
Liver cancer is a major contributor to cancer-related mortality both in the United States and worldwide. A range of liver diseases, such as chronic liver disease, liver cirrhosis, hepatitis, and liver cancer, play a role in this statistic. Hepatitis, in particular, is the main culprit behind liver cancer. As a consequence, it is decisive to…
Read MoreHybrid Neural Network Method for Predicting the SOH and RUL of Lithium-Ion Batteries
The use of a battery to power an electrical or electronic system is accompanied by battery management, i.e. a set of measures intended to preserve it for preventative maintenance, thus the cost reduction. This management is generally based on two key parameters, the (remaining useful life) RUL and the (State-of-health) SOH, which relate respectively to…
Read MoreInnovations in Recruitment—Social Media
The main objective and contribution of the paper is to describe the creation of a model to support recruitment using social media information and its deployment in practice. The model includes the design of an automated solution for downloading social media data and a proposal for the subsequent analysis and creation of a predictive model…
Read MoreEnsemble Learning of Deep URL Features based on Convolutional Neural Network for Phishing Attack Detection
The deep learning-based URL classification approach using massive observations has been verified especially in the field of phishing attack detection. Various improvements have been achieved through the modeling of character and word sequence of URL based on convolutional and recurrent neural networks, and it has been proven that an ensemble approach of each model has…
Read MoreThe Internal Reliability of a Questionnaire on the Impact of Enterprise Resource Planning on the Performance of Moroccan Companies
Background: Today, Enterprise Resource Planning (ERP) software is a major tool for strengthening competitiveness. They are an asset that is changing work practices through the rapid circulation of information, the coordination of action and the development of new ways of doing things, rapid access to a wide range of knowledge and the opening up of…
Read MoreElectroencephalogram Based Medical Biometrics using Machine Learning: Assessment of Different Color Stimuli
A methodology of medical signal-based biometrics has been proposed in this paper for implementing a human identification system controlled by electroencephalogram in respect of different color stimuli. The advantage of biosignal based biometrics is that they provide more efficient operation in simple experimental condition to ensure accurate identification. Red, Green, Blue (primary colors) and Yellow…
Read MoreClosed Loop Capacitive Accelerometer Model using Simple Regression Test for Linearity
This article extends novelty of modeling capacitive accelerometer with PID controller to provide PI controller for better tuning and statistical test to determine the linear validation characteristics of closed capacitive accelerometer. Capacitive accelerometer is a sensor which uses the dynamic law of physics model Position-Velocity-Accelerator (PVA) by the movement of an electrode coupled to mass…
Read MoreBlockchain-Based Decentralized Digital Self-Sovereign Identity Wallet for Secure Transaction
Blockchain (BC) as the widespread innovations in the 21st century has recognized itself to be immutable, tamper-resistant, decentralize and secure. This emerging technology is used as a functional technology for refining present technology and forming new applications for its robustness and disintermediation. Decentralized Digital Self-Sovereign Identity (DDSSI) is an identity mapped with individual identity information…
Read MorePerformance Evaluation of Convolutional Neural Networks (CNNs) And VGG on Real Time Face Recognition System
Face Recognition (FR) is considered as a heavily studied topic in computer vision field. The capability to automatically identify and authenticate human’s faces using real-time images is an important aspect in surveillance, security, and other related domains. There are separate applications that help in identifying individuals at specific locations which help in detecting intruders. The…
Read MoreDevelopment of an EEG Controlled Wheelchair Using Color Stimuli: A Machine Learning Based Approach
Brain-computer interface (BCI) has extensively been used for rehabilitation purposes. Being in the research phase, the brainwave based wheelchair controlled systems suffer from several limitations, e.g., lack of focus on mental activity, complexity in neural behavior in different conditions, and lower accuracy. Being sensitive to the color stimuli, the EEG signal changes promises a better…
Read MoreFood Price Prediction Using Time Series Linear Ridge Regression with The Best Damping Factor
Forecasting food prices play an important role in livestock and agriculture to maximize profits and minimizing risks. An accurate food price prediction model can help the government which leads to optimization of resource allocation. This paper uses ridge regression as an approach for forecasting with many predictors that are related to the target variable. Ridge…
Read MoreUsing Supervised Classification Methods for the Analysis of Multi-spectral Signatures of Rice Varieties in Panama
In this article supervised classification methods for the analysis of local Panamanian rice crops using Near-Infrared (NIR) spectral signatures are assessed. Neural network ( Multilayer Perceptron-MLP) and Tree based (Decision Trees-DT and Random Forest-RF) algorithms are used as regression and supervised classification of the spectral signatures by rice varieties, against other crops and by plant…
Read MoreSEA: An UML Profile for Software Evolution Analysis in Design Phase
Software evolution is one of the software process activities that occupies a major percentage of software development cost. Since requirements change continually and new technologies emerge, software should be adapted to satisfy these new changes to continue to survive. Despite software evolution being performed after software validation and deployment, software developers should predict at earlier…
Read MoreVariation in Self-Perception of Professional Competencies in Systems Engineering Students, due to the COVID -19 Pandemic
The objective of this article is to determine if the self-perception of professional competences has been affected, in systems engineering students, during the health emergency declared in Peru by Covid-19; The results will allow the public university of Peru to make corrective decisions and formulate proposals to improve the functioning of the variable under study.…
Read MoreDiagnosis of Tobacco Addiction using Medical Signal: An EEG-based Time-Frequency Domain Analysis Using Machine Learning
Addiction such as tobacco smoking affects the human brain and thus causes significant changes in the brainwaves. The changes in brain wave due to smoking can be identified by focusing on changes in electroencephalogram pattern, extracting different time-frequency domain features. In this aspect, a laboratory-based study has been presented in this paper, for assessing the…
Read MoreMultiple Machine Learning Algorithms Comparison for Modulation Type Classification Based on Instantaneous Values of the Time Domain Signal and Time Series Statistics Derived from Wavelet Transform
Modulation type classification is a part of waveform estimation required to employ spectrum sharing scenarios like dynamic spectrum access that allow more efficient spectrum utilization. In this work multiple classification features, feature extraction, and classification algorithms for modulation type classification have been studied and compared in terms of classification speed and accuracy to suggest the…
Read More
