Search Results

Serious games are at the forefront of discussions about the future of learning. Research shows that they can help improve student motivation and knowledge transfer by making learning experiences more pleasurable. Teaching practices are increasingly enhanced or complemented by serious games; skills and knowledge are developed by recreating realistic situations allowing learners to enhance their…

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…

The development of Machine Learning methods and approaches offers enormous growth opportunities in the Healthcare field. One of the most exciting challenges in this field is the automation of clinical treatment selection for patient state optimization. Using necessary medical data and the application of Machine Learning methods (like the Genetic Algorithm and the Analytic Hierarchy…

Multi-Robot System (MRS) is a complex system that contains many different software and hardware components. This main problem addressed in this article is the MRS design complexity. The proposed solution provides a modular modeling and simulation technique that is based on formal system engineering method, therefore the MRS design complexity is decomposed and reduced. Modeling…

Environmental sounds detection plays an increasing role in computer science and robotics as it simulates the human faculty of hearing. It is applied in environment research, monitoring and protection, by allowing investigation of natural reserves, and showing potential risks of damage that can be deduced from the environmental acoustic. The research presented in this paper…

A Decision-Making Centers (DMCs) Environment facilitates stakeholders’ decision-making processes using predictive models and diverse what-if scenarios. An essential element of this environment is the management of Decision Support Components (e.g., models or systems) that need to be created with mature methodologies and good delivery time. However, there has been a gap in the understanding of…

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…

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…

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…

Consideration of building energy performance in the early stage of the design process is very important to help minimizing energy consumed by the built environment. Therefore, help in minimizing energy crisis problem. Optimization of building form and orientation at the early stage of the design process can save a significant amount of energy consumed by…

The wide acceptance of the semantic web language RDF for ontologies creation in various application fields has led to the emergence of numerous RDF data processing solutions, the so-called triplestores, for the storage of RDF data and its querying using the RDF query language SPARQL. Such solutions are however developed under various perspectives and on…

In the phosphate industry, sulfuric acid is a key compound in phosphoric acid and fertilizer production. Industrially, the sulfuric acid H2SO4 is made generally in a sequence of three main steps: burning liquid sulfur with air, catalytic oxidation of sulfur dioxide SO2 to sulfur trioxide SO3, and formation of H2SO4 by the reaction of H2O…

As a result of digitalization, services become highly dependent on information systems thus increasing the criticality of security management. However, with system complexity and the involvement of more human resources, it becomes more arduous to monitor and track tasks and responsibilities. This creates a lack of visibility hindering decision making. To support operational monitoring, we…

This article copes with the formal verification of properties of the missions building module of PILOT’s software. PILOT is a language dedicated to remote control of robots. An incremental syntax-oriented editor was built in order to increase the dependability of PILOT’s missions and we showed that, under a maximum size of plan, this editor allows…

Disruptive innovation has created fast changes in the business environment and competition among companies, especially on information technology companies. Knowledge creation and entrepreneurial orientation are two variables that can improve firm performance. There is still limited study on how knowledge creation and entrepreneurial orientation both affects firm performance. This study aims to discuss how to…

This paper proposes a modeling framework (analytical modeling) for the case of fish cannery supply chain (FCSC) to optimize the environmental impact of the set of its processes; indeed, for our knowledge, there were few studies attempting to address this case study as a model of green supply chain. Implementation of the proposed model is…

A comparative analysis of formulas for blast wave overpressure is presented in the paper, and models were compared with available experimental data. The Kinney and Shin models show the best agreement with experimental data (Kingery-Bulmash) for free airburst, while for surface burst, Swisdak, Vanuci, and Jeon models predict test data most accurately. One of the…

In this paper, one of the “problem zones” in mathematics concerned with the surface area of three-dimensional bodies is presented by computer and mathematical modeling with synergetic effects using intelligent system support. The problems of personal self-organization and technological stages of student’s research activity in the process of modern achievements in science adaptation in teaching…

Automatic Dependent Surveillance-Broadcast (ADS-B) is the future of aviation. It is a vast system that provides situational awareness for the aviator and regulator at a very low cost and does so with the aid of multiple disparate systems working closely together and communicating with one another. ADS-B uses the Global Navigation Satellite System (GNSS/ GPS)…

The one-dimensional form of some types of differential equations that appear in the modeling of solid-state devices, like, e.g., the Poisson and Schro¨ dinger equations, can be solved numerically using the Numerov Process (NP). The accuracy of NP is superior by at least two orders of magnitude to that of commonly-used solution methods like, e.g.,…

Advances in channel modeling allow wireless communication designers to accurately model and understand the channel’s phenomena within different propagation scenarios. A precise channel model results in the wireless system’s optimized performance while considering trade-offs due to the effects of the channel. The geometric-based stochastic channel model considers different interacting objects affecting the parameters using the…

The results investigated in this work are toward the optimization of the photonic crystal structures in 1D and 2D scale. One-dimensional distributed Bragg reflectors (DBRs) have demonstrated substantial potential in various optoelectronic applications, due to the observed tunable optical band-gap. Herein, the use of DBRs in light trapping solar cells was simulated and validated, representing…

Connected and self-driving cars have emerged over the last decade as a leading example of cyber-physical systems, which seek to considerably enhance traffic safety, reduce emissions, decrease costs, and improve efficiency. Google, TESLA, Uber ATG are becoming pioneers in the autonomous vehicles industry. Autonomous vehicles can have a large codebase and with a large volume…

Reconfigurable systems are considered as promising technology that enables the design of more flexible and dynamic applications. However, actually existent design flows are either low-level (so complex) or they lack support for automatic synthesis. In this paper, we present an ontology-based modeling approach for reconfigurable systems. Our approach is based on model-driven engineering process and…

Many recent studies on autonomous driving have focused on model-based control. A number of studies has addressed that simple models such as the Kinematic Bicycle Model are easier to design controls for autonomous driving systems. However, such a simple vehicle model has a weakness in that it is subject to modeling errors. This is because…