This project is at the interface between Analysis, Natural Sciences and Modeling Theory. It deals with Floquet Theory (also re ered to as Floquet-Lyapunov theory) which is the main tool of the theory of periodic ordinary ...

We propose a framework for formal analysis of DEVS Driven Modeling Language (DDML) models in order to assess and evaluate the properties of DDML models. This framework semantically maps the hierarchical levels of DDML: ...

C-DEVS is a formalism for modeling and analysis of discrete event systems. It refers to the original formalism defined by Zeigler in 1976. While the simulation algorithms are well defined, their implementation is a challenge ...

Discrete Event System Specification (DEVS) is a sound formal modeling and simulation (M&S) structure based on generic dynamic system concepts. PDEVS (Parallel Discrete Event System Specification) is a well-known formalism ...

Current advancement in VLSI technology allows more circuit to be integrated on a single chip forming a System on Chip (SoC). The state of art in on-chip intermodule connection of using a shared bus with a common arbiter ...

This thesis presents an overview on the theory of stopping times, martingales and Brownian motion which are the foundations of stochastic modeling. We started with a detailed study of discrete stopping times and their ...

Failure of offshore oil and gas pipelines occurs under certain conditions due to some applied mechanical forces. These conditions constitute a potential threat to the integrity of in-service life span of the pipelines ...

In this study, the fracture toughness and resistance curve behaviour of laminated panels, produced from the tropical Nigerian bamboo species Bambusa vulgaris, were investigated to assess its potential for use as an alternative ...

Having a central database for Nigeria which organizations can rely on for identification/verification purposes has been a plan in the pipeline for many years now. This has become urgent because of the nation’s current ...

Economic exploration and exploitation of petroleum resources is regarded as being optimal when the surrounding fiscal regime is mutually beneficial to both the government and the investors as well as other stakeholders, ...

The thesis presents the modeling and simulation of three types of lasers namely; Semicondoctor laser, Solid state laser and CO 2 laser. The rate equations were derived and simulated to examine the dynamic behaviour of the ...

Recommender systems are web-based platforms or software that use various machine learning methods to propose useful items to users. Several techniques have been used to develop such a system for generating a list of ...

Traffic simulation has become one of the most used approaches for traffic analysis in support of the design and evaluation of traffic systems. Although traffic flow models have been applied for almost a century to describe, ...

Traffic simulation has become one of the most used approaches for traffic analysis in support of the design and evaluation of traffic systems. Although traffic flow models have been applied for almost a century to describe, ...

Timetabling presents an NP-hard combinatorial optimization problem which requires an efficient search algorithm. This research aims at designing a genetic algorithm for timetabling real-world school resources to fulfil a ...

This research is focused on evaluating the geotechnical properties of lateritic soil stabilized with bone ash and hydrated lime to improve the strength and quality of Nigerian lateritic soil (acquired from Galadimawa in ...

This research is focused on evaluating the geotechnical properties of lateritic soil stabilized with bone ash and hydrated lime to improve the strength and quality of Nigerian lateritic soil (acquired from Galadimawa in ...

Gold nanoparticles were synthesized by reducing aqueous chloroauric acid (HAuCl4) with three different bacteria. Various microorganisms were verified to see how feasible they will be in synthesizing gold nanoparticles. ...

A two-dimensional hybrid material with graphene and hexagonal boron (h-BN) domain is considered as viable material for future generations of flexible electronic devices due to the tunable band gap, excellent mechanical and ...

The transportation of cuttings and efficient hole cleaning are indispensible in any drilling program. This is because a successful drilling operation is the key to a profitable business in the oil and gas sector. A successful ...