The emergence of traffic and subsequently traffic congestion in urban road networks are increasing worldwide with the growing number of vehicles. In the worst case, traffic congestion results in excess delays, reduced safety and increased environmental pollution. As a result, to proffer effective solutions to the aforementioned congestion problems, a vast amount of literature offered fixed-time or traffic-response control strategies, each focusing on modelling traffic light controlled intersections. In this paper, a Timed Coloured Petri Net (TCPN) formalism is employed to model and simulate a multi-phase traffic light controlled intersection with an associated fixed signal timing plan using T-type junction located in Federal Capital Territory, Abuja, Nigeria, as a case study. Besides, the developed model is simulated via CPN tools while its validation is carried out on the basis of real traffic data measured by detectors positioned at each input link of the T-type junction under consideration.
It is generally considered that a key component of electronic government in the future will be electronic voting, as a means of facilitating the participation of citizens in elections and public debates. The Nigerian 2015 general elections witnessed the use of electronic voters' register, permanent voters' card (PVC) and smart card readers for authentication of voters but actual ballot casting was still by manual means under a scheme called Re-Modified Open-Secret Ballot System (REMOBS). This paper proposed a framework for an electronic voting system that can be adopted for voting in Nigeria. The framework is capable of handling electronic ballots with multiple scopes at the same time, for example presidential, gubernatorial, legislative and so on. The framework caters for integrity of an election process through essential requirements of privacy, authenticity, accuracy, security, democracy and verifiability. The functional requirement in the design of the proposed framework requires well-secured identification and authentication processes for voters through the use of biometrics. Actual ballot casting is through direct recording electronics (DRE) voting machines connected together and with a central server over a private network.
One of the foremost sectors that have shaped the socioeconomic development of most countries is agriculture. Over the years, the benefits accruing from the widespread adoption and use of information and communication technologies (ICTs) in agriculture includes increasing people’s knowledge and practice of agricultural processes and hence improving agricultural production and linkages to remunerative markets, food security, national economies amongst many other benefits. A field of activity related to the use of modern information and communication tools and technologies that increase agricultural productivity and make available information that is relevant to agricultural research, planning, extension, production, monitoring, marketing and trade is referred to as e-agriculture. In this paper, we present a methodical review of theories, concepts and trends of e-agriculture. Keywords— Development, e-Agriculture, Globalization, Information and Communications Technology (ICT)
Significant investments are being made yearly to improve service quality and delivery in banking systems to minimise customers' dissatisfactions with long waiting time due to overcrowding. However, most existing empirical studies to address this problem employed the method where the system was modelled and then developed a program that will simulate, analyse and validate the developed model. This paper conceptualised modelling bank cash deposit transactions characterised by Deposit Slip (DS) using Hierarchical Timed Coloured Petri Nets (HCPN). The HTPC model developed was simulated using Coloured Petri Nets tools. The model was validated by comparing the simulated results with the real average flow time of the customers and utilisation rate of servers using statistical t-test at p< 0.05. This model is useful for bank decision makers in capacity building to enhance service quality and delivery.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.