The Design of an Online Petri Net Based Token (Ludo) Game

The behavior of Petri nets with exponentially distributed firing times can be represented by labeled directed "slate" graphs in which labels describe the probabilities of transition firings (displacement of tokens) between vertices of the graph. The interactive firing of transitions in subsequent markings is known as token game. This development is analogous to that of games of strategy, in which each player is assigned a set of possible strategies (actions or moves) and each possible combination of strategies, one for each player, produces an outcome. That is, player's fortunes are intertwined and determined by chance events. The design of an interactive Petri net-based token (ludo) game is presented in which transition firing is determined by dice cast. Programming is considered and developed in Visual Basic 6.0 programming language, which is an object-oriented, event-driven and visual programming environment

Automatic Data Collection Design for Neural Networks Detection of Occupational Frauds

Automated data collection is necessary to alleviate problems inherent in data collection for investigation of management frauds. Once we have gathered a realistic data, several methods then exist for proper analysis and detection of anomalous transactions. However, in Nigeria, collecting fraudulent data is relatively difficult and the human labour involved is expensive and risky. This paper examines some formal procedures for data collection and proposes designing an automatic data collection system for detection of occupational frauds using artificial neural networks.

Software Design Modelling with Functional Petri Nets

Petri Nets use two basic primitives: events and conditions to view or model a system. Events are the actions that take place in the system. The occurrence of events is controlled by the "state" of the system, which can be described as a set of conditions. An immediate application of such a model is in the control structures of conventional programming languages. Control structures are the backbone of every programming language. In this paper, an equivalent functional Petri Net (FPN) model is developed for each of the three constructs of structured programs and a FPN Software prototype proposed for the conventional programming construct: if-then-else statement. The motivating idea is essentially to show that FPNs could be used as an alternative approach for program design

Automatic Data Collection Design for Real-Time Detection of Oil-Spillage Disasters in Nigeria

Oil-spillage disaster is a phenomenon that has thrived and come to stay especially in the Niger Delta region in Nigeria where crude oil is produced both on-shored and off-shored resulting in the loss of billions of crude oils and corresponding loss of income every year. Such disasters can occur at any point within the entire oil-pipeline topology, which is geographically dispersed across the country spanning from the extreme south-south through south-east and south-west to the north central. A major cause of oil spillage disaster is oil-pipeline vandalism, which has recently become one of the primary means of defrauding the Nation by oil bunkers and even angry youths of the host communities. Currently in Nigeria oil spillage disaster is monitored manually under the auspices of the National Emergency Management Agency (NEMA) and involves huge human labor as gathering of useful data has proven to be difficult and untimely using traditional data collection methods given the peculiarity of the operational terrain. An automated data collection design (ADCD) for real-time data collection on oil spillages in the on-shore, mangrove, thick forest and off-shore areas of the Nation offers the much needed solution. This paper examined some current procedures for data collection and highlighted inherent pitfalls. It further presented a robust architecture and model for real-time detection of oil-spillage and discussed incorporated contemporary technological requirements. The major advantages and disadvantages of the proposed system were also discussed

Economic Implication of Crude Oil Theft in Nigeria

This study is carried out against the backdrop of oil theft as a threat to the economy and security of Nigeria. The study relied on existing literature on the problem and also draws from the Resource Curse Theory. The importance of crude oil to the economic development of Nigeria is also stressed. The reasons why crude oil should be sustained also form the epicentre of our discussion. The threat of the nefarious act on the security of the country is one of the main thrust of this work. The Dutch disease is identified as an economic explanation of the resource curse theory and this is used to explain the economic implication of oil theft in the Niger Delta of Nigeria. The paper posited that the implications on sustainable economic development include; reduced revenue, increased unemployment and diversification of the economy. Other implications include sustainable conflict, possession of arms, curb social development and displacement of persons. To fight the illicit practice of oil theft, it is recommended that transparency and accountability should be adhered to while security operatives should be re-oriented on the ethics of their job and there should be close relationship among government, oil producing communities and multinational corporations

Credit Risk Evaluation System: An Artificial Neural Network Approach

Decisions concerning credits granting are one of the most crucial issues in an everyday banks’ policy. Well-allocated credits may become one of the biggest sources of profits for any financial organizations. On the other hand, this kind of bank’s activity is connected with high risk as big amount of bad decisions may even cause bankruptcy. The key problem consists of distinguishing good (that surely repay) and bad (that likely default) credit applicants. Credit risk evaluation is an important and interesting management science problem in financial analysis. The main idea in credit risk evaluation investigations consists of building classification rules that properly assess bank customers as good or bad. In this paper, we proposed an architecture which uses the theory of artificial neural networks and business rules to correctly determine whether a customer is good or bad. In the first step, by using clustering algorithm, clients are segmented into groups with similar features. In the second step, decision trees are built based on classification rules defined for each group of clients. To avoid redundancy, different attributes are taken into consideration during each phase of classification. The proposed approach allows for using different rules within the same data set, and for defining more accurately clients with high risk. Preliminary result indicates that the model presented is promising and reasonable

Lessons and challenges from software quality assessment: The case of space systems software

Software development activities have continued to be plagued by a number of problems even with the availability of so many esoteric software technologies and paradigms such as object oriented development, etc.Several studies can be traced back to the software processes adopted. Other contributing factors include lack of knowledge of available systems standards, tools and techniques employed by system practitioners. This paper presents lessons and challenges gained over the last 10 years of experience as software system administrator as well as lecturers in the computer science department. Over this period of time, we have managed a number of in-house and purchased project software amongst them are banking, airtime billing, human resource, result computation etc. We discussed these lessons and challenges across two measurable  characteristics namely quality of design (life cycle stages) and quality of conformance. Finally, we also recommended the lessons and challenges from software quality management for space system software

Petri Net Modeling of Computer Virus Life Cycle

Virus life cycle, which refers to the stages of development of a computer virus, is presented as a suitable area for the application of Petri nets. Petri nets a powerful modeling tool in the field of dynamic system analysis is applied to model the virus life cycle. Simulation of the derived model is also presented. The intention of this paper essentially is to show that similar procedure can be used to derive anti-viral programs based on the Petri net framework.

REAL-TIME PETROL AVAILABILITY REPORTING SYSTEM (RPARS) FOR NSUKKA TOWN, NIGERIA

As the number of vehicle owners grows continually, the challenge of searching for petrol availability increases, as not all petrol stations may have petrol available at all times. This is owed to the fact that petrol as a commodity remains relatively scarce. Therefore, this project aims to provide a platform for reporting in real-time petrol availability in Nsukka town. Hence, vehicle owners and public transporters need not waste more petrol and time searching for filling stations with petrol availability. A mobile application is developed to capture relevant real-time information about petrol availability in sampled petrol stations in Nsukka town. The application is a real-time petrol availability reporting system. The system shows a Graphic User Interface (GUI), of a simulated real-time display of petrol availability in sampled filling stations in Nsukka town. This system will help public road vehicle transporters and private vehicle owners make informed decisions on refilling their vehicle tanks from petrol stations with petrol availability closest to the users of the system when they are running out of petrol in their vehicle. Object-Oriented Analysis and Design (OOAD) methodology was used for the analysis and design while JavaScript (JS) and DART programming languages, MongoDB, a no-SQL database, were used to implement the simulation of wireless capacitive fuel level sensor reading on a mobile App, using flutter SDK. Keywords: Realtime, Petrol Availability, Reporting System, Petrol Stations