Specification of Real-Time Systems

Inspite of numerous research advancements made in recent years in the area of formal techniques, specification of real-time systems is still proving to be a very challenging and difficult problem. In this context, this paper critically examines state-of-the-art specification techniques for real-time systems and analyzes the emerging trends.

S-nets: A Petri net based model for performance evaluation of real-time scheduling algorithms

A new class of nets, called S-nets, is introduced for the performance analysis of scheduling algorithms used in real-time systems Deterministic timed Petri nets do not adequately model the scheduling of resources encountered in real-time systems, and need to be augmented with resource places and signal places, and a scheduler block, to facilitate the modeling of scheduling algorithms. The tokens are colored, and the transition firing rules are suitably modified. Further, the concept of transition folding is used, to get intuitively simple models of multiframe real-time systems. Two generic performance measures, called �load index� and �balance index,� which characterize the resource utilization and the uniformity of workload distribution, respectively, are defined. The utility of S-nets for evaluating heuristic-based scheduling schemes is illustrated by considering three heuristics for real-time scheduling. S-nets are useful in tuning the hardware configuration and the underlying scheduling policy, so that the system utilization is maximized, and the workload distribution among the computing resources is balanced.

Optimization of 2-stage gas gun for fusion refueling pellet injection with consideration of real effects

Analytic expression of pellet acceleration by constant base pressure with consideration of gas-wall friction, heat transfer and viscous dissipation that important for high speed injection is obtained. The process of compression stage is formulated by a set of governing equations and can be numerically integrated. Excellent confirmation with experiments is obtained and the ways to optimum match the compression stage with the launch stage are suggested.

An investigation of the organization of canoe fisheries in Nigeria: A case study of Ilaje/Esedo local government area of Ondo State

The effects of some socio-economic variables on the performance of artisanal fishermen were investigated. The variables include the age-structure of the fishermen, level of investment, educational background, membership of co-operative societies and marketing arrangements. All these variables were found to be crucial to productivity in the artisanal fishing sector

Climate adaptation and the fifth amendment of the United States Constitution: How do adaptation strategies impact regulatory takings claims?

As the impacts and potential of climate change are realized at the governance level, states are moving towards adaptation strategies that include greater regulatory restrictions on development within coastal zones. The purpose of this paper is to outline the impacts of existing and planned regulatory mechanisms on the Fifth Amendment to the United States Constitution, which prevents the government taking of private property for public use without just compensation. A short history of regulatory takings is explained, and the potential legal issues surrounding mitigation and adaptation measures for coastal communities are discussed. The goal is to gain an understanding of the legal issues that must be resolved by governments to effectively deal with regulatory takings claims as coastal mitigation and adaptation plans are implemented. (PDF contains 3 pages)

Poverty alleviation among fishermen within the floodplains of Kaduna River: implication for introducing commercial fish farming at village level in Doko local government area of Niger State, Nigeria

A diagnostic survey was conducted among the fishermen in six selected villages in Doko Local Government Area of Niger State. One hundred and fifty fishermen were randomly selected and interviewed to find out whether or not they had interest in commercial fish farming aimed at improving their livelihood. The dwindling fish catches in the natural flood plain ponds and Ex-bow Lakes continue to have a serious negative effect on the socio-economic well being of the village communities in question. A break on natural regular annual flooding of the plains had resulted into very low natural fish recruitment. Data analysis using simple descriptive statistics revealed that land tenure system, educational status, inadequate infrastructural facilities, religious taboos, existing fish species among others were found to be favourable indices for commercial fish farming. However, serious conflicts among the fishermen concerning the ownership status of these natural fish ponds are found to be major obstacles to commercial fish farming despite that the traditional ownership of the ponds were vested in the lands of individuals and village communities. Extensive fish farming and small-scale fish farming in the ponds and Ex-bow Lake with improved management practices are considered to be profitable venture. Despite the fact that fish seeds supply and extension effort are still inadequate, the fish farmers have indicated willingness to adopt commercial fish farming in the Ex-bow Lakes and flood plains in order to restore abundant fish production thereby providing for their food security and also increasing the daily income

Aspects of the washout of salmonid eggs. 1. Observations on the physical characteristics of real and artificial eggs, their rate of fall in a water column and their pattern of settlement in an experimental channel

When salmonid redds are disrupted by spates, the displaced eggs will drift downstream. The mean distance of travel, the types of locations in which the eggs resettle and the depth of reburial of displaced eggs are not known. Investigation of these topics under field conditions presents considerable practical problems, though the use of artificial eggs might help to overcome some of them. Attempts to assess the similarities and/or differences in performance between real and artificial eggs are essential before artificial eggs can validly be used to simulate real eggs. The present report first compares the two types of egg in terms of their measurable physical characteristics (e.g. dimensions and density). The rate at which eggs fall in still water will relate to the rate at which they are likely to resettle in flowing water in the field. As the rate of fall will be influenced by a number of additional factors (e.g. shape and surface texture) which are not easily measured directly, the rates of fall of the two types of egg have been compared directly under controlled conditions. Finally, comparisons of the pattern of settlement of the two types of egg in flowing water in an experimental channel have been made. Although the work was primarily aimed at testing the value of artificial eggs as a simulation of real eggs, several side issues more directly concerned with the properties of real eggs and the likely distance of drift in natural streams have also been explored. This is the first of three reports made on this topic by the author in 1984.

Technical efficiency in artisanal fisheries (AF) in Badagry local government area of Lagos State, Nigeria

This study examined the technical efficiency in artisanal fisheries in Lagos State of Nigeria. The study employed a two stage random sampling procedure for the selection of 120 respondents. The analytical techniques involved descriptive statistics and estimation of technical efficiency following maximum likelihood estimation (MLE) procedure available in FRONTIER 4.1. The MLE result of the stochastic frontier production function showed that hired labour, cost of repair and capital items are critical factors that influences productivity of artisanal fishermen with the coefficient of hired labour being highly elastic. This implies that employing more labour will significantly increase the catch in the study area. The predicted farm efficiency with an average value of 0.92 showed that there is a marginal potential of about 8 percent to increase the catch, hence the income of the fishermen. The study further examined the factors that influence productivity of fishermen in the study area. Year of education, mode of operation and frequency of fishing have important implication on the technical efficiency of fishermen in the study area.