Volume 8, Issue 5, August 2017

Carbonation of Recycled Aggregates Concrete - Application of the ProKnow-C Methodology in the Selection of Bibliographic Portfolio, Systematic and Bibliometric Analysis


Department of Civil Engineering, Centro Federal de Educação Tecnológica de Minas Gerais, Belo Horizonte, Brazil

Abstract– This paper presents an example of the application of the Knowledge Development Process-Constructivist (ProKnow-C) to the selection and analysis of a bibliographic portfolio. A brief explanation of the research topic is initially presented - concrete produced with the incorporation of recycled aggregates and the environmental importance of the reuse of residues in the construction industry. The necessity of employing a methodology to select and analyze bibliographic references is also discussed. The procedure of selection of the bibliographic portfolio is demonstrated step-by-step and the Research Lenses are presented. The final portfolio is shown in the results, as well as the systematic analysis, which identifies strengths and weaknesses of the portfolio and, therefore, allows the identification of research opportunities. The bibliometric analysis exposes the relevance of the papers selected for the portfolio.

Keywords— ProKnow-C, Bibliometric Analysis and Systemic Analysis

Download full paper PDF format (Page: 1-5)

Provable, Secure & Democratic Election Model

Ochieng’ Daniel Achola, Oleche Paul and Oluoch Nyamwala

Department of Pure & Applied Mathematics, Maseno University, Kenya
School of Biological & Physical Sciences, Moi University, Kenya

Abstract– Democracy is founded on the principle of elections and opinion expression capabilities. Bimber & Leggewie foresaw e-democracy. Voting is an information transfer model. Trust is essential to communication channel but can’t be transferred through that channel. New York Times (November, 2008) editorial and computer security experts like Wallach reported malfunctions, vulnerability and vote flipping. Trust in the correct functioning of the electronic voting system is key to democracy. Identification and verification of voters lie in the design to accurately detect fraud and audit elections. Practical implementation on a bulletin board in a secure way is feasible provided certain deficiencies like privacy, identification, verification and tally is addressed using cryptographic techniques. Lampard’s one time signature schemes that ensure one man, one vote principle and converted non-interactive proofs via zero knowledge proofs to identify voters with bit commitments for distributed computation after casting votes can be exploited to achieve this objective. In this paper we have achieved real time tabulation of results in associated race. Simulated interfaces are in the appendix section.

Keywords— Voting Protocols, Zero Knowledge Proofs, Blind Signatures, Universal Verifiability, Mixnets, Digital Signatures Homomorphic Secret Sharing and Ballot Construction

Download full paper PDF format (Page: 6-12)

Analysis of High Level Language Virtual Machines: Features and Implementations

Rida Khalid and Irum Manzoor

Department of Computer Science and Engineering, University of Engineering and Technology, Lahore, Pakistan

Abstract– Virtual Machines are gaining popularity in the world of today. Virtualization is a technique via which different operating systems run side by side on a same physical PC. This paper explores ‘virtualization’ by explaining the types of virtual machines along with the memory management techniques currently prevalent in virtual machines. The paper targets high level language virtual machines. Their comparison is presented along with the brief overviews of a few popular machines like Lisp, Java and Smalltalk etc. The parameters for comparison include the number of instructions and types of opcodes etc. With the advent of each high level language virtual machine, certain features also evolved with the passage of time. These features were exclusive to each virtual machine and are also discussed in the paper in order to familiarize the readers with the latest and exciting new innovations in the world of computing. Furthermore, we have discussed most commonly used virtual machine implementations and summarized existing virtual machines based on distinct features using diagrammatical representations with the end goal to provide compact and precise information related to popular high level language interpreters.

Keywords— High Level, Interpreter, Opcodes, Register and Stack

Download full paper PDF format (Page: 13-17)

Effect of Chemicals on Compressive Strength of High Volume Metakaolin Concrete

Felix N. Isa, Changlia H. Salihu and Solomon S. Maxwell

153 Base Services Group Nigeria Air Force Base Yola, Adamawa State
Department of Building, Modibbo Adama University of Technology, Yola, Nigeria

Abstract– Chemicals have been reported to have detrimental effects on concretes as the age of the concrete increases. This has led to loss of strength of concrete and concrete failure subjected to such environment. Therefore, this study examined the resistance of High Volume Metakaolin (HVMK) concrete in two chemical solutions. The study specifically determined the compressive strength of the hardened concrete cubes cured in Magnesium Sulphate and Sodium Chloride solutions. Mix proportion 1:2:4 was adopted in this research work with designed target strength of 21N/mm2 after 90 days. 9 mixes were produced with identities MK - 0, MK - 10, MK - 20, MK - 30, MK - 40, MK - 50, MK - 60, MK - 70 and MK - 80. A total of one hundred and six (106) cubes were cast. The cubes were cured in the two chemical solutions and the compressive strengths determined at 14, 28, 56 and 90 day of curing. Results of the Energy Dispersion X-ray fluorescent spectrometry test confirms that the Metakaolin obtained from the kaolin sourced from Alkaleri, Bauchi State - Nigeria is an N – pozzolana.......

Keywords— Chemicals, Compressive Strength, Magnesium Sulphate, Resistance and Sodium Chloride

Download full paper PDF format (Page: 18-24)



Download full paper PDF format (Page: -)