Search results for: Magaji M. G.

Authors: Zainab Magaji Musa, Nordin M. A. Rahman, Julaily Aida Jusoh

Abstract:

The web services applications for digital reference service (WSDRS) of LIS model is an informal model that claims to reduce the problems of digital reference services in libraries. It uses web services technology to provide efficient way of satisfying users’ needs in the reference section of libraries. The formal WSDRS model consists of the Z specifications of all the informal specifications of the model. This paper discusses the formal validation of the Z specifications of WSDRS model. The authors formally verify and thus validate the properties of the model using Z/EVES theorem prover.

Keywords: validation, verification, formal, theorem prover

Procedia PDF Downloads 475

Authors: Muhammad Nura Isa, Magaji Muhammad Garba, Dauda Dahiru Danwata

Abstract:

A lot of research was carried out to improve the technology of concrete, some of which include the introduction of new admixture in concrete production such as effective microorganisms. Researches carried out in Japan and Malaysia indicated that the Effective Microorganisms improve the strength and durability of concrete. Therefore, the main objective of this research is to assess the effect of the locally made effective microorganisms on the compressive strength of concrete in Nigeria. The effective microorganisms were produced locally. The locally made effective microorganism was added in 3%, 5%, 10% and 15% to replace the mixing water required. The results of the tests indicated that the concrete specimens with 3% content of locally made EM-A possessed the highest compressive strength, this proved the 3% to be the optimum dosage of locally made EM-A in the concrete.

Keywords: locally made effective microorganisms, compressive strength, admixture, fruits and vegetable wastes

Procedia PDF Downloads 308

Authors: Abdulkadir Magaji

Abstract:

This study analyzes and compares the actual measured and simulated performance of a 3.2 kwP grid-connected photovoltaic system. The system is located at the Outdoor Facility of Government Day secondary School Katsina State, which lies approximately between coordinate of 12°15′N 7°30′E. The system consists of 14 Mono crystalline silicon modules connected in two strings of 7 series-connected modules, each facing north at a fixed tilt of 340. The data presented in this study were measured in the year 2015, where the system supplied a total of 4628 kWh to the local electric utility grid. The performance of the system was simulated using PVsyst software using measured and Meteonorm derived climate data sets (solar radiation, ambient temperature and wind speed). The comparison between measured and simulated energy yield are discussed. Although, both simulation results were similar, better comparison between measured and predicted monthly energy yield is observed with simulation performed using measured weather data at the site. The measured performance ratio in the present study shows 58.4% is higher than those reported elsewhere as compared in the study.

Keywords: performance, evaluation, grid connection, photovoltaic system

Procedia PDF Downloads 156

Authors: Dauda G., Bila Ha Sani Y. M., Magaji M. G., Musa A. M., Hassan H. S.

Abstract:

Introduction: Globimetula oreophila is a parasitic plant with a known therapeutic value that is widely used in the treatment of various ailments, including malaria, hypertension, cancer, diabetes, epilepsy and as a diuretic agent. Objectives: The present study is aimed at analyzing and documenting the level of trace and toxic metals in the crude ethanol leaf extract of G. oreophila. Methods: After collection and authentication, the leaves were air-dried, mashed into powder, weighed and extracted using aqueous ethanol (70%). The crude extract (0.5g) was digested with HNO₃: HCl (3:1); then heated to 2000C and analyzed for its metal content by atomic absorption spectroscopy (AAS). Results: Fe had the highest concentration (32.73mg/kg), while Pb was not detected. The concentrations of Co, Cu, Ni, Zn and Cd detected were 5.97, 10.8, 8.01 and 0.9mg/kg, respectively. The concentration of Cd, Fe and Ni were above the permissible limit of FAO/WHO. Conclusion: The results also show that the analyzed plant is a beneficial source of appropriate and essential trace metals. However, the leaf of G. oreophila in the present study was probably unsafe for long-term use because of the level of Fe, Ni, and Cd concentration.

Keywords: Globimetula oreophila, minerals, trace element, crude extract

Procedia PDF Downloads 120

Authors: Magaji Zainab Musa, Nordin M. A. Rahman, Julaily Aida Jusoh

Abstract:

This paper discusses the formal specification of web services applications for digital reference services (WSDRS). Digital reference service involves a user requesting for help from a reference librarian and a reference librarian responding to the request of a user all by electronic means. In most cases users do not get satisfied while using digital reference service due to delay of response of the librarians. Another may be due to no response or due to librarian giving an irrelevant solution to the problem submitted by the user. WDSRS is an informal model that claims to reduce the problems of digital reference services in libraries. It uses web services technology to provide efficient way of satisfying users’ need in the reference section of libraries. But informal model is in natural language which is inconsistent and ambiguous that may cause difficulties to the developers of the system. In order to solve this problem we decided to convert the informal specifications into formal specifications. This is supposed to reduce the overall development time and cost. Formal specification can be used to provide an unambiguous and precise supplement to natural language descriptions. It can be rigorously validated and verified leading to the early detection of specification errors. We use Z language to develop the formal model and verify it with Z/EVES theorem prover tool.

Keywords: formal, specifications, web services, digital reference services

Procedia PDF Downloads 344

Authors: Salisu Abdullahi Dalhat, Ibrahim Aliyu Adamu, Abubakar Magaji, Ridwan Adebola Adedigba

Abstract:

The paper examined the municipal solid waste disposal methods and the environmental issues associated with the management of solid waste in Bauchi Metropolis, Nigeria. Data were obtained through the administration of structured questionnaires, oral interviews, and field observations, as well as the desk review method. The research identifies how the city was composed of both biodegradable and non-biodegradable materials, which are mostly paper waste, polythene, and plastic materials. Most of the solid wastes are left unattended for a long period. Poor design of dump sites, ineffective management of urban development plans, and poor enforcement of environmental laws were observed to be the major causes of poor waste management, and in a few areas where large waste containers are provided, they are hardly used by the community. The major environmental issues resulting from improper disposal and poor management of solid waste in the Bauchi metropolis are a nuisance of the waste to the environment, emitting of methane gas which contributes to climate change, blockage of drainages during rainstorms causing flooding within the metropolis as well as the decomposition of such waste leading to contamination of groundwater thereby leading to the cholera outbreak. Relevant stakeholders should, without compromise, design enforceable short, workable bye-laws; local supervisors should be stationed at the designated dump sites across the city as well as public enlightenment/sensitization campaigns could be the way out.

Keywords: biodegradable, contamination, cholera outbreak, solid waste, solid waste management, urban development

Procedia PDF Downloads 81

Authors: Ibrahim Magaji

Abstract:

WhatsApp messaging platform brings about new opportunities for users to participate in unique storytelling experiences and audience engagement, particularly to Students of Mass communication who receive training to report events and issues accurately and objectively in accordance with official controls. Also, the complex nature of society today made it possible to use the WhatsApp platform that revolutionizes the means of sharing information, ideas, and experiences. This paper examined the WhatsApp messaging platform and how it influenced the academic performance of students in the Department of Mass Communication, Abdu Gusau Polytechnic, Talata Mafara. It used in-depth interview techniques and focus group discussion with students, as well as the use of published materials as well as unpublished materials to gather related and relevant data. Also, the paper used procedures involved to analyze long interview content. This procedure includes observation of a useful utterance, development of expanded observation, the examination of the interconnection of observed comments, collective scrutiny of observation for patterns and themes, and review and analysis of the themes across all interviews for development of the thesis. The result revealed that the majority of students used WhatsApp messenger for making friends and chatting. Also, the students experienced negative effects such as poor grammar and spelling, less study time, and poor academic performance because of active participation in the use of WhatsApp messaging platform. Surprisingly, there was a high addiction rate among students in the usage of WhatsApp messenger. However, other students experienced an improvement in their readings skills as a result of participation in the use of the platform. Also, students shared ideas, discussed, and shared examination questions among themselves on WhatsApp messenger.

Keywords: WhatsApp messenger, students, participation, group

Procedia PDF Downloads 99