Search results for: fine electronic structure
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 9876

Search results for: fine electronic structure

9336 Barriers to E-Tendering Adoption and Implementation in the Ghanaian Construction Industry

Authors: Aynur Kazaz, Yusif Inusah

Abstract:

In the bid to improve transparency and efficiency as well as to reduce the cost of the public procurement process, Ghana started implementing an electronic Government Procurement System, known as the Ghana Electronic Procurement System (GHANEPS) in November 2019. The implementation of e-tendering technology is new to the stakeholders. Therefore, this research is aimed to identify the critical barriers to e-tendering implementation in the Ghanaian construction industry. Examples of barriers to e-tendering implementation were first identified through a literature review, and questionnaires and interview questions were prepared to gather the data. This study contributes to the in-depth understanding of global e-tendering barriers in the Ghanaian construction industry. The findings could help researchers, practitioners, and governments make strategic investment decisions and overcome e-tendering challenges.

Keywords: barriers, challenges, construction industry, e-procurement, e-tendering

Procedia PDF Downloads 105
9335 Assessment Methodology of E-government Projects for the Regions of Georgia

Authors: Tina Melkoshvili

Abstract:

Drastic development of information and communication technologies in Georgia has led to the necessity of launching conceptually new, effective, flexible, transparent and society oriented form of government that is e-government. Through applying information technologies, the electronic system enables to raise the efficacy of state governance and increase citizens’ participation in the process. Focusing on the topic of e-government allows us to analyze success stories, attributed benefits and, at the same time, observes challenges hampering the government development process. There are number of methodologies elaborated to study the conditions in the field of electronic governance. They enable us to find out if the government is ready to apply broad opportunities of information and communication technologies and if the government is apt to improve the accessibility and quality of delivering mainly social services. This article seeks to provide comparative analysis of widely spread methodologies used for Electronic government projects’ assessment. It has been concluded that applying current methods of assessment in Georgia is related to difficulties due to inaccessible data and the necessity of involving number of experts. The article presents new indicators for e-government development assessment that reflect efficacy of e-government conception realization in the regions of Georgia and enables to provide quantitative evaluation of regional e-government projects including all significant aspects of development.

Keywords: development methodology, e-government in Georgia, information and communication technologies, regional government

Procedia PDF Downloads 262
9334 The Single-Level Structure in Lucid Dreams

Authors: Jinshuo Zhang

Abstract:

Lucid dreams(LD) are the mental states in which people are aware that they are dreaming, which is a rising interdisciplinary topic among psychologists, neuroscientists and spiritual practitioners. From a phenomenological perspective, this research explores the self-consciousness structure in lucid dreams, particularly focusing on the self-reference structure between lucidity(the observer) and the dream ego(the observed). The main argument of this paper is that the self-structure in lucid dreams is a single-level paradigm. In this paper, the phenomenological characteristics of lucidity in LD are carefully unfolded. The appearance of lucidity is the most significant part of understanding the self-structure and the consciousness in dreams, which is also related to the “Six Bardos practices” in Tibetan Buddhism. In the second section, this research investigates the referential relationship between"lucidity" and "the dream ego" using the phenomenological resource of subjectivity theory, as well as referring to many cases in the psychological labs. Despite the appearance of various consciousness layers in lucid dreams, according to this paper, they are all part of a single-level consciousness paradigm. Dream ego is transparent, and dream lucidity can grasp it directly and thoroughly during LD. This research also responds to some potential criticisms and engages in current debates about the self-structure issue in lucid dreams, as well as discussing some future research prospects for dreams and lucid dreams.

Keywords: lucid dream, self-awareness, phenomenological perspective, high-order theory, one-level consciousness

Procedia PDF Downloads 81
9333 Nazca: A Context-Based Matching Method for Searching Heterogeneous Structures

Authors: Karine B. de Oliveira, Carina F. Dorneles

Abstract:

The structure level matching is the problem of combining elements of a structure, which can be represented as entities, classes, XML elements, web forms, and so on. This is a challenge due to large number of distinct representations of semantically similar structures. This paper describes a structure-based matching method applied to search for different representations in data sources, considering the similarity between elements of two structures and the data source context. Using real data sources, we have conducted an experimental study comparing our approach with our baseline implementation and with another important schema matching approach. We demonstrate that our proposal reaches higher precision than the baseline.

Keywords: context, data source, index, matching, search, similarity, structure

Procedia PDF Downloads 350
9332 Building an E-Platform for Virtual Research Teams in Educational Science

Authors: Hanan A. Abdulhameed, Huda Y. Alyami

Abstract:

The study presents a new international direction to conduct collaborative educational research. It follows a qualitative and quantitative methodology in investigating the main requirements to build an e-platform for Virtual Research Teams (VRTs). The e-platform considers three main components: First, the human and cultural structure, second, the institutional/organizational structure, and third, the technological structure. The study mainly focuses on the third component, the technological structure (the e-platform), and studies how to incorporate the other components: The human/cultural structure and the institutional/organizational structure in order to build an effective e-platform. The importance of the study is that it presents a comprehensive study about VRTs in terms of definition, types, structure, and main challenges. In addition, it suggests a practical way that benefits from the information and communication technology to conduct collaborative educational research by building and managing virtual research teams through an effective e-platform. The study draws the main framework to build an e-platform for collaborative educational research teams in Arab World. Thus, it tackles mainly the theoretical aspects, the framework of an effective e-platform. Then, it presents the evaluation of 18 Arab educational experts' to the proposed e-platform.

Keywords: collaborative research, educational science, E-platform, social research networks sites (SRNS), virtual research teams (VRTs)

Procedia PDF Downloads 448
9331 Effect of Fly Ash Fineness on Sorption Properties of Geopolymers Based on Liquid Glass

Authors: Miroslava Zelinkova, Marcela Ondova

Abstract:

Fly ash (FA) thanks to the significant presence of SiO2 and Al2O3 as the main components is a potential raw material for geopolymers production. Mechanical activation is a method for improving FA reactivity and also the porosity of final mixture; those parameters can be analysed through sorption properties. They have direct impact on the durability of fly ash based geopolymer mortars. In the paper, effect of FA fineness on sorption properties of geopolymers based on sodium silicate, as well as relationship between fly ash fineness and apparent density, compressive and flexural strength of geopolymers are presented. The best results in the evaluated area reached the sample H1, which contents the highest portion of particle under 20μm (100% of GFA). The interdependence of individual tested properties was confirmed for geopolymer mixtures corresponding to those in the cement based mixtures: higher is portion of fine particles < 20μm, higher is strength, density and lower are sorption properties. The compressive strength as well as sorption parameters of the geopolymer can be reasonably controlled by grinding process and also ensured by the higher share of fine particle (to 20μm) in total mass of the material.

Keywords: alkali activation, geopolymers, fly ash, particle fineness

Procedia PDF Downloads 208
9330 Determine of Design Variables and Target Reliability Indexes of Underground Structure

Authors: Yo-Seph Byun, Gyu-Phil Lee, Young-Bin Park, Gye-Chun Cho, Seong-Won Lee

Abstract:

In Korea, a study on Limit State Design (LSD) for underground structures is being conducted in order to perform more effective design. In this study, as a result of MCS (Monte-Carlo Simulation) technique, failure probabilities of the structure during normal and earthquake are estimated in reliability analysis. Target reliability indexes are determined depending on load combinations for underground structure, and then, design variables such as load and material factors in LSD are decided. As a result, through the research in order to determine more reliable design variables, a specification of LSD for underground structures is able to be developed.

Keywords: design variable, limit state design, target reliability index, underground structure

Procedia PDF Downloads 274
9329 Using Confirmatory Factor Analysis to Test the Dimensional Structure of Tourism Service Quality

Authors: Ibrahim A. Elshaer, Alaa M. Shaker

Abstract:

Several previous empirical studies have operationalized service quality as either a multidimensional or unidimensional construct. While few earlier studies investigated some practices of the assumed dimensional structure of service quality, no study has been found to have tested the construct’s dimensionality using confirmatory factor analysis (CFA). To gain a better insight into the dimensional structure of service quality construct, this paper tests its dimensionality using three CFA models (higher order factor model, oblique factor model, and one factor model) on a set of data collected from 390 British tourists visited Egypt. The results of the three tests models indicate that service quality construct is multidimensional. This result helps resolving the problems that might arise from the lack of clarity concerning the dimensional structure of service quality, as without testing the dimensional structure of a measure, researchers cannot assume that the significant correlation is a result of factors measuring the same construct.

Keywords: service quality, dimensionality, confirmatory factor analysis, Egypt

Procedia PDF Downloads 575
9328 Charge Transport of Individual Thermoelectric Bi₂Te₃ Core-Poly(3,4-Ethylenedioxythiophene):Polystyrenesulfonate Shell Nanowires Determined Using Conductive Atomic Force Microscopy and Spectroscopy

Authors: W. Thongkham, K. Sinthiptharakoon, K. Tantisantisom, A. Klamchuen, P. Khanchaitit, K. Jiramitmongkon, C. Lertsatitthanakorn, M. Liangruksa

Abstract:

Due to demands of sustainable energy, thermoelectricity converting waste heat into electrical energy has become one of the intensive fields of worldwide research. However, such harvesting technology has shown low device performance in the temperature range below 150℃. In this work, a hybrid nanowire of inorganic bismuth telluride (Bi₂Te₃) and organic poly(3,4-ethylenedioxythiophene):polystyrenesulfonate (PEDOT:PSS) synthesized using a simple in-situ one-pot synthesis, enhancing efficiency of the nanowire-incorporated PEDOT:PSS-based thermoelectric converter is highlighted. Since the improvement is ascribed to the increased electrical conductivity of the thermoelectric host material, the individual hybrid nanowires are investigated using voltage-dependent conductive atomic force microscopy (CAFM) and spectroscopy (CAFS) considering that the electrical transport measurement can be performed either on insulating or conducting areas of the sample. Correlated with detailed chemical information on the crystalline structure and compositional profile of the nanowire core-shell structure, an electrical transporting pathway through the nanowire and the corresponding electronic-band structure have been determined, in which the native oxide layer on the Bi₂Te₃ surface is not considered, and charge conduction on the topological surface states of Bi₂Te₃ is suggested. Analyzing the core-shell nanowire synthesized using the conventional mixing of as-prepared Bi₂Te₃ nanowire with PEDOT:PSS for comparison, the oxide-removal effect of the in-situ encapsulating polymeric layer is further supported. The finding not only provides a structural information for mechanistic determination of the thermoelectricity, but it also encourages new approach toward more appropriate encapsulation and consequently higher efficiency of the nanowire-based thermoelectric generation.

Keywords: electrical transport measurement, hybrid Bi₂Te₃-PEDOT:PSS nanowire, nanoencapsulation, thermoelectricity, topological insulator

Procedia PDF Downloads 191
9327 Partner Selection in International Strategic Alliances: The Case of the Information Industry

Authors: H. Nakamura

Abstract:

This study analyzes international strategic alliances in the information industry. The purpose of this study is to clarify the strategic intention of an international alliance. Secondly, it investigates the influence of differences in the target markets of partner companies on alliances. Using an international strategy theory approach to analyze the global strategies of global companies, the study compares a database business and an electronic publishing business. In particular, these cases emphasized factors attributable to "people" and "learning", reliability and communication between organizations and the evolution of the IT infrastructure. The theory evolved in this study validates the effectiveness of these strategies.

Keywords: database business, electronic library, international strategic alliances, partner selection

Procedia PDF Downloads 361
9326 Hand Motion and Gesture Control of Laboratory Test Equipment Using the Leap Motion Controller

Authors: Ian A. Grout

Abstract:

In this paper, the design and development of a system to provide hand motion and gesture control of laboratory test equipment is considered and discussed. The Leap Motion controller is used to provide an input to control a laboratory power supply as part of an electronic circuit experiment. By suitable hand motions and gestures, control of the power supply is provided remotely and without the need to physically touch the equipment used. As such, it provides an alternative manner in which to control electronic equipment via a PC and is considered here within the field of human computer interaction (HCI).

Keywords: control, hand gesture, human computer interaction, test equipment

Procedia PDF Downloads 306
9325 Cementing Efficiency of Low Calcium Fly Ash in Fly Ash Concretes

Authors: T. D. Gunneswara Rao, Mudimby Andal

Abstract:

Research on the utilization of fly ash will no longer refer the fly ash as a waste material of thermal power plants. Use of fly ash in concrete making, makes the concrete economical as well as durable. The fly ash is being added to the concrete in three ways namely, as partial replacement to cement, partial replacement to fine aggregates and admixture. Addition of fly ash to the concrete in each one of the form mentioned above, makes the concrete more workable and durable than the conventional concrete. Studies on fly ash as partial replacement to cement gained momentum as such replacement makes the concrete economical. In the present study, an attempt has been made to understand the effects of fly ash on the workability characteristics and strength aspects of fly ash concretes. In India, major number of thermal power plants are producing low calcium fly ash. Hence, in the present investigation, low calcium fly ash has been used. Fly ash in concrete was considered for the partial replacement of cement. The percentage replacement of cement by fly ash varied from 0% to 40% at regular intervals of 10%. Moreover the fine aggregate to coarse aggregate ratio also has been varied as 1:1, 1:2, and 1:3. The workability tests revealed that up to 30% replacement of cement by fly ash in concrete mixes water demand for reduces and beyond 30% replacement of cement by fly ash demanded more water content for constant workability.

Keywords: cementing efficiency, compressive strength, low calcium fly ash, workability

Procedia PDF Downloads 468
9324 Ultrasonic Irradiation Synthesis of High-Performance Pd@Copper Nanowires/MultiWalled Carbon Nanotubes-Chitosan Electrocatalyst by Galvanic Replacement toward Ethanol Oxidation in Alkaline Media

Authors: Majid Farsadrouh Rashti, Amir Shafiee Kisomi, Parisa Jahani

Abstract:

The direct ethanol fuel cells (DEFCs) are contemplated as a promising energy source because, In addition to being used in portable electronic devices, it is also used for electric vehicles. The synthesis of bimetallic nanostructures due to their novel optical, catalytic and electronic characteristic which is precisely in contrast to their monometallic counterparts is attracting extensive attention. Galvanic replacement (sometimes is named to as cementation or immersion plating) is an uncomplicated and effective technique for making nanostructures (such as core-shell) of different metals, semiconductors, and their application in DEFCs. The replacement of galvanic does not need any external power supply compared to electrodeposition. In addition, it is different from electroless deposition because there is no need for a reducing agent to replace galvanizing. In this paper, a fast method for the palladium (Pd) wire nanostructures synthesis with the great surface area through galvanic replacement reaction utilizing copper nanowires (CuNWS) as a template by the assistance of ultrasound under room temperature condition is proposed. To evaluate the morphology and composition of Pd@ Copper nanowires/MultiWalled Carbon nanotubes-Chitosan, emission scanning electron microscopy, energy dispersive X-ray spectroscopy were applied. In order to measure the phase structure of the electrocatalysts were performed via room temperature X-ray powder diffraction (XRD) applying an X-ray diffractometer. Various electrochemical techniques including chronoamperometry and cyclic voltammetry were utilized for the electrocatalytic activity of ethanol electrooxidation and durability in basic solution. Pd@ Copper nanowires/MultiWalled Carbon nanotubes-Chitosan catalyst demonstrated substantially enhanced performance and long-term stability for ethanol electrooxidation in the basic solution in comparison to commercial Pd/C that demonstrated the potential in utilizing Pd@ Copper nanowires/MultiWalled Carbon nanotubes-Chitosan as efficient catalysts towards ethanol oxidation. Noticeably, the Pd@ Copper nanowires/MultiWalled Carbon nanotubes-Chitosan presented excellent catalytic activities with a peak current density of 320.73 mAcm² which was 9.5 times more than in comparison to Pd/C (34.2133 mAcm²). Additionally, activation energy thermodynamic and kinetic evaluations revealed that the Pd@ Copper nanowires/MultiWalled Carbon nanotubes-Chitosan catalyst has lower compared to Pd/C which leads to a lower energy barrier and an excellent charge transfer rate towards ethanol oxidation.

Keywords: core-shell structure, electrocatalyst, ethanol oxidation, galvanic replacement reaction

Procedia PDF Downloads 135
9323 New Approach to Interactional Dynamics of E-mail Correspondence

Authors: Olga Karamalak

Abstract:

The paper demonstrates a research about theoretical understanding of writing in the electronic environment as dynamic, interactive, dialogical, and distributed activity aimed at “other-orientation” and consensual domain creation. The purpose is to analyze the personal e-mail correspondence in the academic environment from this perspective. The focus is made on the dynamics of interaction between the correspondents such as contact setting, orientation and co-functions; and the text of an e-letter is regarded as indices of the write’s state or affordances in terms of ecological linguistics. The establishment of consensual domain of interaction brings about a new stage of cognition emergence which may lead to distributed learning. The research can play an important part in the series of works dedicated to writing in the electronic environment.

Keywords: consensual domain of interactions, distributed writing and learning, e-mail correspondence, interaction, orientation, co-function

Procedia PDF Downloads 570
9322 Fluid Structure Interaction Study between Ahead and Angled Impact of AGM 88 Missile Entering Relatively High Viscous Fluid for K-Omega Turbulence Model

Authors: Abu Afree Andalib, Rafiur Rahman, Md Mezbah Uddin

Abstract:

The main objective of this work is to anatomize on the various parameters of AGM 88 missile anatomized using FSI module in Ansys. Computational fluid dynamics is used for the study of fluid flow pattern and fluidic phenomenon such as drag, pressure force, energy dissipation and shockwave distribution in water. Using finite element analysis module of Ansys, structural parameters such as stress and stress density, localization point, deflection, force propagation is determined. Separate analysis on structural parameters is done on Abacus. State of the art coupling module is used for FSI analysis. Fine mesh is considered in every case for better result during simulation according to computational machine power. The result of the above-mentioned parameters is analyzed and compared for two phases using graphical representation. The result of Ansys and Abaqus are also showed. Computational Fluid Dynamics and Finite Element analyses and subsequently the Fluid-Structure Interaction (FSI) technique is being considered. Finite volume method and finite element method are being considered for modelling fluid flow and structural parameters analysis. Feasible boundary conditions are also utilized in the research. Significant change in the interaction and interference pattern while the impact was found. Theoretically as well as according to simulation angled condition was found with higher impact.

Keywords: FSI (Fluid Surface Interaction), impact, missile, high viscous fluid, CFD (Computational Fluid Dynamics), FEM (Finite Element Analysis), FVM (Finite Volume Method), fluid flow, fluid pattern, structural analysis, AGM-88, Ansys, Abaqus, meshing, k-omega, turbulence model

Procedia PDF Downloads 454
9321 Cost Comparison between R.C.C. Structures and Composite Columns Structures

Authors: Assad Rashid, Umair Ahmed, Zafar Baig

Abstract:

A new trend in construction is widely influenced by the use of Steel-Concrete Composite Columns. The rapid growth in Steel-Concrete Composite construction has widely decreased the conventional R.C.C structures. Steel Concrete composite construction has obtained extensive receiving around the globe. It is considering the fact that R.C.C structures construction is most suitable and economical for low-rise construction, so it is used in farming systems in most of the buildings. However, increased dead load, span restriction, less stiffness and risky formwork make R.C.C construction uneconomical and not suitable when it comes to intermediate to high-rise buildings. A Base + Ground +11 storey commercial building was designed on ETABS 2017 and made a comparison between conventional R.C.C and encased composite column structure. After performing Equivalent Static non-linear analysis, it has been found that construction cost is 13.01% more than R.C.C structure but encased composite column building has 7.7% more floor area. This study will help in understanding the behavior of conventional R.C.C structure and Encased Composite column structure.

Keywords: composite columns structure, equivalent static non-linear analysis, comparison between R.C.C and encased composite column structures, cost-effective structure

Procedia PDF Downloads 184
9320 Nonlinear Analysis of Reinforced Concrete Arched Structures Considering Soil-Structure Interaction

Authors: Mohamed M. El Gendy, Ibrahim A. El Arabi, Rafeek W. Abdel-Missih, Omar A. Kandil

Abstract:

Nonlinear analysis is one of the most important design and safety tools in structural engineering. Based on the finite-element method, a geometrical and material nonlinear analysis of large span reinforced concrete arches is carried out considering soil-structure interaction. The concrete section details and reinforcement distribution are taken into account. The behavior of soil is considered via Winkler's and continuum models. A computer program (NARC II) is specially developed in order to follow the structural behavior of large span reinforced concrete arches up to failure. The results obtained by the proposed model are compared with available literature for verification. This work confirmed that the geometrical and material nonlinearities, as well as soil structure interaction, have considerable influence on the structural response of reinforced concrete arches.

Keywords: nonlinear analysis, reinforced concrete arched structure, soil-structure interaction, geotechnical engineering

Procedia PDF Downloads 425
9319 Validation of Existing Index Properties-Based Correlations for Estimating the Soil–Water Characteristic Curve of Fine-Grained Soils

Authors: Karim Kootahi, Seyed Abolhasan Naeini

Abstract:

The soil-water characteristic curve (SWCC), which represents the relationship between suction and water content (or degree of saturation), is an important property of unsaturated soils. The conventional method for determining SWCC is through specialized testing procedures. Since these procedures require specialized unsaturated soil testing apparatus and lengthy testing programs, several index properties-based correlations have been developed for estimating the SWCC of fine-grained soils. There are, however, considerable inconsistencies among the published correlations and there is no validation study on the predictive ability of existing correlations. In the present study, all existing index properties-based correlations are evaluated using a high quality worldwide database. The performances of existing correlations are assessed both graphically and quantitatively using statistical measures. The results of the validation indicate that most of the existing correlations provide unacceptable estimates of degree of saturation but the most recent model appears to be promising.

Keywords: SWCC, correlations, index properties, validation

Procedia PDF Downloads 161
9318 Grain Growth in Nanocrystalline and Ultra-Fine Grained Materials

Authors: Haiming Wen

Abstract:

Grain growth is an important and consequential phenomenon that generally occurs in the presence of thermal and/or stress/strain fields. Thermally activated grain growth has been extensively studied and similarly, there are numerous experimental and theoretical studies published describing stress-induced grain growth in single-phase materials. However, studies on grain growth during the simultaneous presence of an elevated temperature and an external stress are very limited, and moreover, grain growth phenomena in materials containing second-phase particles and solute segregation at GBs have received limited attention. This lecture reports on a study of grain growth in the presence of second-phase particles and solute/impurity segregation at grain boundaries (GBs) during high-temperature deformation of an ultra-fine grained (UFG) Al alloy synthesized via consolidation of mechanically milled powders. The mechanisms underlying the grain growth were identified as GB migration and grain rotation, which were accompanied by dynamic recovery and geometric dynamic recrystallization, while discontinuous dynamic recrystallization was not operative. A theoretical framework that incorporates the influence of second-phase particles and solute/impurity segregation at GBs on grain growth in presence of both elevated temperature and external stress is formulated and discussed. The effect of second-phase particles and solute/impurity segregation at GBs on GB migration and grain rotation was quantified using the proposed theoretical framework, indicating that both second-phase particles and solutes/impurities segregated GBs reduce the velocities of GB migration and grain rotation as compared to those in commercially pure Al. Our results suggest that grain growth predicted by the proposed theoretical framework is in agreement with experimental results. Hence, the developed theoretical framework can be applied to quantify grain growth in simultaneous presence of external stress, elevated temperature, GB segregation and second-phase particles, or in presence of one or more of the aforementioned factors.

Keywords: nanocrystalline materials, ultra-fine grained materials, grain growth, grain boundary migration, grain rotation

Procedia PDF Downloads 309
9317 Generating Insights from Data Using a Hybrid Approach

Authors: Allmin Susaiyah, Aki Härmä, Milan Petković

Abstract:

Automatic generation of insights from data using insight mining systems (IMS) is useful in many applications, such as personal health tracking, patient monitoring, and business process management. Existing IMS face challenges in controlling insight extraction, scaling to large databases, and generalising to unseen domains. In this work, we propose a hybrid approach consisting of rule-based and neural components for generating insights from data while overcoming the aforementioned challenges. Firstly, a rule-based data 2CNL component is used to extract statistically significant insights from data and represent them in a controlled natural language (CNL). Secondly, a BERTSum-based CNL2NL component is used to convert these CNLs into natural language texts. We improve the model using task-specific and domain-specific fine-tuning. Our approach has been evaluated using statistical techniques and standard evaluation metrics. We overcame the aforementioned challenges and observed significant improvement with domain-specific fine-tuning.

Keywords: data mining, insight mining, natural language generation, pre-trained language models

Procedia PDF Downloads 97
9316 Formal Development of Electronic Identity Card System Using Event-B

Authors: Tomokazu Nagata, Jawid Ahmad Baktash

Abstract:

The goal of this paper is to explore the use of formal methods for Electronic Identity Card System. Nowadays, one of the core research directions in a constantly growing distributed environment is the improvement of the communication process. The responsibility for proper verification becomes crucial. Formal methods can play an essential role in the development and testing of systems. The thesis presents two different methodologies for assessing correctness. Our first approach employs abstract interpretation techniques for creating a trace based model for Electronic Identity Card System. The model was used for building a semi decidable procedure for verifying the system model. We also developed the code for the eID System and can cover three parts login to system sending of Acknowledgment from user side, receiving of all information from server side and log out from system. The new concepts of impasse and spawned sessions that we introduced led our research to original statements about the intruder’s knowledge and eID system coding with respect to secrecy. Furthermore, we demonstrated that there is a bound on the number of sessions needed for the analysis of System.Electronic identity (eID) cards promise to supply a universal, nation-wide mechanism for user authentication. Most European countries have started to deploy eID for government and private sector applications. Are government-issued electronic ID cards the proper way to authenticate users of online services? We use the eID project as a showcase to discuss eID from an application perspective. The new eID card has interesting design features, it is contact-less, it aims to protect people’s privacy to the extent possible, and it supports cryptographically strong mutual authentication between users and services. Privacy features include support for pseudonymous authentication and per service controlled access to individual data items. The article discusses key concepts, the eID infrastructure, observed and expected problems, and open questions. The core technology seems ready for prime time and government projects deploy it to the masses. But application issues may hamper eID adoption for online applications.

Keywords: eID, event-B, Pro-B, formal method, message passing

Procedia PDF Downloads 219
9315 Influence of Substitution on Structure of Tin Lantanium Pyrochlore La₂₋ₓSrₓSn₂O₇₋δ(0 ≤ x ≤ 0.25) Solid-Oxide Fuel Cells

Authors: Bounar Nedjemeddine

Abstract:

Materials with the pyrochlore lattice structure have attracted much recent attention due to their wide applications in ceramic thermal barrier coatings, high-permittivity dielectrics, and potential solid electrolytes in solid-oxide fuel cells. The work described in this paper is devoted to the synthesis and characterization of a pyrochlore structure based on lanthanum (La₂O₃) and tin (SnO₂) oxides of general formula La₂Sn₂O₇, substituted by Sr at the site La. Their structures were determined from X-ray powder diffraction using CELFER analysis. All the compositions present the space group Fd-3m. The substitution of La by Sr in the La₂Sn₂O₇ compound causes a variation of the cell parameters. The difference in charge between La³⁺ and Sr²⁺ and the difference in size cause the cell parameters to decrease from a=10.7165 A° to a=10.6848 A° for the substitution rates (x = 0.05, 0.1, 0.15 ...), which leads to a decrease in the volume of the mesh. For a substitution rate x = 0.25, there is an increase in the cell parameters (a=10.7035A°), which can be explained by a competitiveness of the size effect and the presence of a gap in the structure which go in the opposite direction.

Keywords: solid-oxide fuel cells, structure, pyrochlore, X-ray diffraction

Procedia PDF Downloads 118
9314 A Proposed Inclusive Motor Skill Intervention Programme for Pre-schoolers in Low Resources Areas in Preparation of School Readiness

Authors: J. Van der Walt, N. A. Plastow, M. Unger

Abstract:

Gross and fine motor skill difficulties among children affect their ability to learn and progress in school. Research indicates that children in low socio-economic areas are at a higher risk of motor skill difficulties, while therapy resources are limited. The Hopscotch motor skill programme is a well-researched accessible in-school intervention developed by occupational and physiotherapists through complex intervention development. The development stage of the complex intervention development model firstly included a prevalence study in a low-resourced area in the West Coast of South Africa, indicating a high prevalence with significant motor skill difficulties among pre-school children at 14.5% with fine motor skill difficulties at 24.6%. A scoping review identifies motor skill interventions for pre-school children and a proposed a framework of fundamental concepts to consider when developing a motor skill intervention. a Delphi-study considered the framework and encouraged collaboration between therapists and educators to make the programme accessible, resource and cost effective, specifically geared towards a rural, low resourced area. The results from the Delphi study, together with the proposed framework from the scoping review was used to develop the Hopscotch programme, adopting a task-shifting approach. The eight-week small-group programme is facilitated by teachers with the support of therapists. The programme aims to improve the motor skills of pre-school aged children with motor skill difficulties to promote academic readiness through obstacle courses, ball skill games and fine motor games and crafts. A randomised controlled trial is planned as a next stage to determine the preliminary effect of the programme on the motor and early academic skills of pre-school children.

Keywords: accesible learning, motor skill intervention, school readiness, task shifting

Procedia PDF Downloads 181
9313 Role of Power Electronics in Grid Integration of Renewable Energy Systems

Authors: M. N. Tandjaoui, C. Banoudjafar, C. Benachaiba, O. Abdelkhalek, A. Kechich

Abstract:

Advanced power electronic systems are deemed to be an integral part of renewable, green, and efficient energy systems. Wind energy is one of the renewable means of electricity generation that is now the world’s fastest growing energy source can bring new challenges when it is connected to the power grid due to the fluctuation nature of the wind and the comparatively new types of its generators. The wind energy is part of the worldwide discussion on the future of energy generation and use and consequent effects on the environment. However, this paper will introduce some of the requirements and aspects of the power electronic involved with modern wind generation systems, including modern power electronics and converters, and the issues of integrating wind turbines into power systems.

Keywords: power electronics, renewable energy, smart grid, green energy, power technology

Procedia PDF Downloads 638
9312 Design and Control Algorithms for Power Electronic Converters for EV Applications

Authors: Ilya Kavalchuk, Mehdi Seyedmahmoudian, Ben Horan, Aman Than Oo, Alex Stojcevski

Abstract:

The power electronic components within Electric Vehicles (EV) need to operate in several important modes. Some modes directly influence safety, while others influence vehicle performance. Given the variety of functions and operational modes required of the power electronics, it needs to meet efficiency requirements to minimize power losses. Another challenge in the control and construction of such systems is the ability to support bidirectional power flow. This paper considers the construction, operation, and feasibility of available converters for electric vehicles with feasible configurations of electrical buses and loads. This paper describes logic and control signals for the converters for different operations conditions based on the efficiency and energy usage bases.

Keywords: electric vehicles, electrical machines control, power electronics, powerflow regulations

Procedia PDF Downloads 547
9311 Seismic Response Control of 20-Storey Benchmark Building Using True Negative Stiffness Device

Authors: Asim Qureshi, R. S. Jangid

Abstract:

Seismic response control of structures is generally achieved by using control devices which either dissipate the input energy or modify the dynamic properties of structure.In this paper, the response of a 20-storey benchmark building supplemented by viscous dampers and Negative Stiffness Device (NSD) is assessed by numerical simulations using the Newmark-beta method. True negative stiffness is an adaptive passive device which assists the motion unlike positive stiffness. The structure used in this study is subjected to four standard ground motions varying from moderate to severe, near fault to far-field earthquakes. The objective of the present study is to show the effectiveness of the adaptive negative stiffness device (NSD and passive dampers together) relative to passive dampers alone. This is done by comparing the responses of the above uncontrolled structure (i.e., without any device) with the structure having passive dampers only and also with the structure supplemented with adaptive negative stiffness device. Various performance indices, top floor displacement, top floor acceleration and inter-storey drifts are used as comparison parameters. It is found that NSD together with passive dampers is quite effective in reducing the response of aforementioned structure relative to structure without any device or passive dampers only. Base shear and acceleration is reduced significantly by incorporating NSD at the cost of increased inter-storey drifts which can be compensated using the passive dampers.

Keywords: adaptive negative stiffness device, apparent yielding, NSD, passive dampers

Procedia PDF Downloads 418
9310 Formation of Miniband Structure in Dimer Fibonacci GaAs/Ga1-XAlXAs Superlattices

Authors: Aziz Zoubir, Sefir Yamina, Djelti Redouan, Bentata Samir

Abstract:

The effect of a uniform electric field across multibarrier systems (GaAs/AlxGa1-xAs) is exhaustively explored by a computational model using exact Airy function formalism and the transfer-matrix technique. In the case of biased Dimer Fibonacci Height Barrier superlattices (DFHBSL) structure a strong reduction in transmission properties was observed and the width of the miniband structure linearly decreases with the increase of the applied bias. This is due to the confinement of the states in the miniband structure, which becomes increasingly important (Wannier-Stark effect).

Keywords: Dimer Fibonacci Height Barrier superlattices, singular extended states, exact Airy function, transfer matrix formalism

Procedia PDF Downloads 497
9309 Design and Construction of Vehicle Tracking System with Global Positioning System/Global System for Mobile Communication Technology

Authors: Bala Adamu Malami

Abstract:

The necessity of low-cost electronic vehicle/car security designed in coordination with other security measures is always there in our society to reduce the risk of vehicle intrusion. Keeping this problem in mind, we are designing an automatic GPS system which is technology to build an integrated and fully customized vehicle to detect the movement of the vehicle and also serve as a security system at a reasonable cost. Users can locate the vehicle's position via GPS by using the Google Maps application to show vehicle coordinates on a smartphone. The tracking system uses a Global System for Mobile Communication (GSM) modem for communication between the mobile station and the microcontroller to send and receive commands. Further design can be improved to capture the vehicle movement range and alert the vehicle owner when the vehicle is out of range.

Keywords: electronic, GPS, GSM modem, communication, vehicle

Procedia PDF Downloads 89
9308 The Influence of Residual Stress on Hardness and Microstructure in Railway Rails

Authors: Muhammet Emre Turan, Sait Özçelik, Yavuz Sun

Abstract:

In railway rails, residual stress was measured and the values of residual stress were associated with hardness and micro structure in this study. At first, three rails as one meter long were taken and residual stresses were measured by cutting method according to the EN 13674-1 standardization. In this study, strain gauge that is an electrical apparatus was used. During the cutting, change in resistance in rail gave us residual stress value via computer program. After residual stress measurement, Brinell hardness distribution were performed for head parts of rails. Thus, the relationship between residual stress and hardness were established. In addition to that, micro structure analysis was carried out by optical microscope. The results show that, the micro structure and hardness value was changed with residual stress.

Keywords: residual stress, hardness, micro structure, rail, strain gauge

Procedia PDF Downloads 584
9307 The Structure of Asadi's Poem and Human Psyche in Garshasb-Nameh Based on Jung's Perspective

Authors: Shirin Ghasemi

Abstract:

The structure of Asadi’s poem in Garshasb-Nameh coordinates with the structure of human psyche based on Jung’s perspective. The poetic stories of Asadi in Garshasb-Nameh is contrasted to human psyche according to Jung’s view in psychology which indicated the similarity of poetic structure of stories of Garshasb-Nameh to analytical psychology of Jung. In fact, by studying the stories of this collection the reader travels with him and finds it consistent with the human psyche. To demonstrate this, the story of Jamshid marriage with Kuhrang’s daughter and the story of Garshasb marriage with King’s daughter are selected. These two stories illustrate the poetic structure and the human psyche based on Jung’s analytical psychology perspective.

Keywords: Asadi Tusi, Garshasb-Nameh, Jung, analytical psychology

Procedia PDF Downloads 390