Results (1182)
Search Parameters:
Keyword: ULAUsing 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 MoreAdvanced Multiple Linear Regression Based Dark Channel Prior Applied on Dehazing Image and Generating Synthetic Haze
Haze removal is an extremely challenging task, and object detection in the hazy environment has recently gained much attention due to the popularity of autonomous driving and traffic surveillance. In this work, the authors propose a multiple linear regression haze removal model based on a widely adopted dehazing algorithm named Dark Channel Prior. Training this…
Read MoreBLDC Motor Vibration Identification by Finite Element Method and Measurements
Within the results of scientific research, vibrations and their reduction have been described for the brushless direct current motor with permanent magnets (BLDC motor). In this paper, calculations (the finite element method using commercial Finite Element Software Ansys) and measurements were performed to identifying the sources of vibrations in BLDC motor. The article presents numerical…
Read MoreActual Traffic Based Load-Aware Dynamic Point Selection for LTE-Advanced System
Coordinated MultiPoint (CoMP) has been introduced for LTE-Advanced system to overcome the inter-cell interference problems and enhance the signal quality of cell-edge UEs (User Equipments). With such concept, the overall system performance should be improved considerably to support the significantly increasing amount of demand on data transmission via mobile communication that happens nowadays. Dynamic Point…
Read MoreFrequency Scaling for High Performance of Low-End Pipelined Processors
In the Internet of Things era it is expected that low-end processor domination of the embedded market will be further reaffirmed. Then, a question will arise, on whether it is possible to enhance performance of such processors without the cost of high-end architectures. In this work we propose a better-than-worst-case (BTWC) methodology which enables the…
Read MoreSecuring IPv6 Neighbor Discovery using Pre-Shared Key
Neighbor Discovery Protocol (NDP) is used to discover the MAC address of the connected hosts in Internet Protocol Version 6 (IPv6) in a networked environment. Neighbor Cache Entry (NCE) table holds the association between a host’s IP address and MAC address. However, according to the protocol, the MAC address could be overwritten by sending a…
Read MorePrototype Design Internet of Things Based Waste Management Using Image Processing
Waste is currently a serious problem often found in rural areas, rural areas, and even industrial areas. Waste is a side effect of activities carried out by humans to meet social or industrial needs. Increasing human productivity will also increase the amount of waste produced. To overcome this, a sorting management system is needed. Good…
Read MoreDependence of the Knowledge Structure of the Company Employees on a Set of the Competencies
The article substantiates the relevance of conducting research on the structural characteristics of a company’s employee knowledge, which is the result of his mental activity and his practical experience. The conditions under which information becomes a source of employee knowledge are determined. An abstract analysis of the process of transforming knowledge into an intellectual product…
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 MoreAnalyze Performance of Enterprise Supervision System by Game Theory-Take the case of Tatung Management Rights Competition as Example
Protecting the rights and interests of shareholders is the important research topic. This study takes ” Tatung Operation Rights Competition” as an example to execute case study. Game tools are applied to analyze which corporate supervision strategies should be used by government. The research and analysis results show that both the corporate group and the…
Read MoreControlling A Multiphase Induction Motor with Multilevel Converter Paradigm
Induction motors (IM) are used widely in high energy applications where high torque is required such as ships/ aircrafts manufacturing industry. Those motor drivers are populated in many advantages especially their wide control strategies. However, new technology is invented for enhancing efficiency and smoothing the torque curve by increasing number of phases in the motor…
Read MoreComparative Study of Control Algorithms Through Different Converters to Improve the Performance of a Solar Panel
This article aims at comparing two controls to follow the maximum power point, making use of DC-DC converters for PV uses. All transformers operate continuously. To fulfil maximum power, we will exploit two MPPT controls: a traditional perturb – observe ‘P&O’ and a smart one – the fuzzy logic ‘FL’. The goal of this article…
Read MoreNeural Networks and Fuzzy Logic Based Maximum Power Point Tracking Control for Wind Energy Conversion System
In grid connected wind turbine (WT) systems, the maximum power point tracking (MPPT) approach has a crucial role in optimizing the wind energy efficiency. To search for the maximum power value of the wind turbine, this contribution proposes a new Maximum Power Point Tracking System (MPPT) for wind turbine related to a permanent magnet synchronous…
Read MoreHomology Modeling of CYP6Z3 Protein of Anopheles Mosquito
The Anopheles gambiae’s CYP6Z3 protein belongs to the Cytochrome P450 family and functions in oxidation-reduction processes, many studies including our previous work on elucidating insecticide resistance genes of the Anopheles also implicated her in pyrethroid insecticide resistance. Model prediction, functional analysis, and enrichment of the target gene with triplex binding sites may become a useful…
Read MoreComplex Order PI\(^{a+jb}\)D\(^{c+jd}\) Controller Design for a Fractional Order DC Motor System
Industry 4.0 implementation stipulates effective actuator control. In the present work, a complex order PIa+jb Dc+jd (COPID) controller was designed for a fractional order model of a direct current (DC) motor system. For comparisons, the DC motor system model was also controlled using the conventional proportional integral (PI), proportional integral derivative (PID), proportional resonant (PR) and fractional…
Read MoreA Model for the Application of Automatic Speech Recognition for Generating Lesson Summaries
Automatic Speech Recognition (ASR) technology has the potential to improve the learning experience of students in the classroom. This article addresses some of the key theoretical areas identified in the pursuit of implementing a speech recognition system, capable of lesson summary generation in the educational setting. The article discusses: some of the applica- tions of…
Read MoreRecycling and Reuse of Wastewater Generated in Car-Washing Facilities
Fresh water is already scarce in the world, especially in the Middle East (ME). Desalination industry is the main supplier of the potable water to the municipalities in the ME region. It is well known the high cost of a liter of water produced by the desalination process. Unfortunately, car-washing service consumes substantial amount of…
Read MoreA Novel Approach for Evaluating Eddy Current Loss in Wind Turbine Generator Step-Up Transformers
South Africa is aiming to achieve a generation capacity of about 11.4GW through wind energy systems, which will contribute nearly 15.1% of the country’s energy mix by 2030. Wind energy is one of the principal renewable energy determinations by the South African government, owing to affluent heavy winds in vast and remote coastal areas. In…
Read MoreDesign Approach of an Electric Single-Seat Vehicle with ABS and TCS for Autonomous Driving Based on Q-Learning Algorithm
Compared to other types of autonomous vehicles, the single-seat is the simplest when designing, since its compact design makes it an option that can simplify different mechanical aspects and enhance those of greater importance such as the steering and the braking system. Likewise, the electronic and electrical design may be a great improvement on the…
Read MoreApplication of Polynomial Regression Analysis in Evaluating the Techno-Economic Performance of DSPV Transformers
To this extent, the delineation of techno-economic evaluations for transformers becomes more intricate through a lens of Distributed Solar Photovoltaic (DSPV) market in South Africa. Essentially, the transformer price and loss evaluation techniques should be tailored for calculating the Total Ownership Cost (TOC) of transformers facilitating decentralized energy systems. In South Africa, the traditional coal…
Read MoreDevelopment and Improvement of Web Services Selections using Immigrants Scheme of Multi-Objective Genetic Algorithm
Quality of service is a significant part of formulating a composing of web services to satisfy the user’s request, especially when several services exist and have been implemented in the same field and functionality. The selection process of web services among many options can be taken based on the quality of service considerations, fitness parameters,…
Read MoreImplementation of Blended Learning Models to Improve Student Learning Outcomes in Junior High School
The purpose of this study is to determine the improvement of the competence of junior high school students through the application of blended learning models. This is a Classroom Action Research comprising of two cycles and two observations of student activities, with the descriptive statistics used for data analysis. From the results of the learning…
Read MoreFetal Electrocardiogram Extraction using Moth Flame Optimization (MFO)-Based Adaptive Filter
Effective Fetal Electrocardiogram (FECG) Extraction provides medical workers with precise knowledge for monitoring fetal health condition during gestational age. However, Fetal ECG Extraction still remains a challenge as the signal is weak and contaminated with noises of different kinds, more significantly maternal ECG. In this work, a new Moth Flame optimization algorithm (MFO)-based adaptive filter…
Read MoreImproved Detection of Advanced Persistent Threats Using an Anomaly Detection Ensemble Approach
Rated a high-risk cyber-attack type, Advanced Persistent Threat (APT) has become a cause for concern to cyber security experts. Detecting the presence of APT in order to mitigate this attack has been a major challenge as successful attacks to large organizations still abound. Our approach combines static rule anomaly detection through pattern recognition and machine…
Read MoreBlockchain Technology-Based Good Distribution Practice Model of Pharmacy Industry in Indonesia
Distribution is the main activity in integrated product supply chain management. In the pharmaceutical industry, the process of drug distribution is important because of the handling, storage, and distribution of medicinal products with good standards and quality. The problem that occurs in the pharmaceutical industry is the circulation of counterfeit drugs by related parties, for…
Read More
