Search results for: energy efficient building
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 14907

Search results for: energy efficient building

3237 Influence of Ball Milling Time on Mechanical Properties of Porous Ti-20Nb-5Ag Alloy

Authors: M. J. Shivaram, Shashi Bhushan Arya, Jagannath Nayak, Bharat Bhooshan Panigrahi

Abstract:

Titanium and its alloys have become more significant implant materials due to their mechanical properties, excellent biocompatibility and high corrosion resistance. Biomaterials can be produce by using the powder metallurgy (PM) methods and required properties can tailored by varying the processing parameters, such as ball milling time, space holder particles, and sintering temperature. The desired properties such as, structural and mechanical properties can be obtained by powder metallurgy method.  In the present study, deals with fabrication of solid and porous Ti-20Nb-5Ag alloy using high energy ball milling for different times (5 and 20 h). The resultant powder particles were used to fabricate solid and porous Ti-20Nb-5Ag alloy by adding space holder particles (NH4HCO3). The resultant powder particles, fabricated solid and porous samples were characterized by scanning electron microscopy (SEM). The compressive strength, elastic modulus and microhardness properties were investigated. Solid and porous Ti-20Nb-5Ag alloy samples showed good mechanical properties for 20 h ball milling time as compare to 5 h ball milling.

Keywords: ball milling, compressive strengths, microstructure, porous titanium alloy

Procedia PDF Downloads 288
3236 Optimizing the Location of Parking Areas Adapted for Dangerous Goods in the European Road Transport Network

Authors: María Dolores Caro, Eugenio M. Fedriani, Ángel F. Tenorio

Abstract:

The transportation of dangerous goods by lorries throughout Europe must be done by using the roads conforming the European Road Transport Network. In this network, there are several parking areas where lorry drivers can park to rest according to the regulations. According to the "European Agreement concerning the International Carriage of Dangerous Goods by Road", parking areas where lorries transporting dangerous goods can park to rest, must follow several security stipulations to keep safe the rest of road users. At this respect, these lorries must be parked in adapted areas with strict and permanent surveillance measures. Moreover, drivers must satisfy several restrictions about resting and driving time. Under these facts, one may expect that there exist enough parking areas for the transport of this type of goods in order to obey the regulations prescribed by the European Union and its member countries. However, the already-existing parking areas are not sufficient to cover all the stops required by drivers transporting dangerous goods. Our main goal is, starting from the already-existing parking areas and the loading-and-unloading location, to provide an optimal answer to the following question: how many additional parking areas must be built and where must they be located to assure that lorry drivers can transport dangerous goods following all the stipulations about security and safety for their stops? The sense of the word “optimal” is due to the fact that we give a global solution for the location of parking areas throughout the whole European Road Transport Network, adjusting the number of additional areas to be as lower as possible. To do so, we have modeled the problem using graph theory since we are working with a road network. As nodes, we have considered the locations of each already-existing parking area, each loading-and-unloading area each road bifurcation. Each road connecting two nodes is considered as an edge in the graph whose weight corresponds to the distance between both nodes in the edge. By applying a new efficient algorithm, we have found the additional nodes for the network representing the new parking areas adapted for dangerous goods, under the fact that the distance between two parking areas must be less than or equal to 400 km.

Keywords: trans-european transport network, dangerous goods, parking areas, graph-based modeling

Procedia PDF Downloads 267
3235 The Role of Motivational Beliefs and Self-Regulated Learning Strategies in The Prediction of Mathematics Teacher Candidates' Technological Pedagogical And Content Knowledge (TPACK) Perceptions

Authors: Ahmet Erdoğan, Şahin Kesici, Mustafa Baloğlu

Abstract:

Information technologies have lead to changes in the areas of communication, learning, and teaching. Besides offering many opportunities to the learners, these technologies have changed the teaching methods and beliefs of teachers. What the Technological Pedagogical Content Knowledge (TPACK) means to the teachers is considerably important to integrate technology successfully into teaching processes. It is necessary to understand how to plan and apply teacher training programs in order to balance students’ pedagogical and technological knowledge. Because of many inefficient teacher training programs, teachers have difficulties in relating technology, pedagogy and content knowledge each other. While providing an efficient training supported with technology, understanding the three main components (technology, pedagogy and content knowledge) and their relationship are very crucial. The purpose of this study is to determine whether motivational beliefs and self-regulated learning strategies are significant predictors of mathematics teacher candidates' TPACK perceptions. A hundred seventy five Turkish mathematics teachers candidates responded to the Motivated Strategies for Learning Questionnaire (MSLQ) and the Technological Pedagogical And Content Knowledge (TPACK) Scale. Of the group, 129 (73.7%) were women and 46 (26.3%) were men. Participants' ages ranged from 20 to 31 years with a mean of 23.04 years (SD = 2.001). In this study, a multiple linear regression analysis was used. In multiple linear regression analysis, the relationship between the predictor variables, mathematics teacher candidates' motivational beliefs, and self-regulated learning strategies, and the dependent variable, TPACK perceptions, were tested. It was determined that self-efficacy for learning and performance and intrinsic goal orientation are significant predictors of mathematics teacher candidates' TPACK perceptions. Additionally, mathematics teacher candidates' critical thinking, metacognitive self-regulation, organisation, time and study environment management, and help-seeking were found to be significant predictors for their TPACK perceptions.

Keywords: candidate mathematics teachers, motivational beliefs, self-regulated learning strategies, technological and pedagogical knowledge, content knowledge

Procedia PDF Downloads 472
3234 Building Student Empowerment through Live Commercial Projects: A Reflective Account of Participants

Authors: Nilanthi Ratnayake, Wen-Ling Liu

Abstract:

Prior research indicates an increasing gap between the skills and capabilities of graduates in the contemporary workplace across the globe. The challenge of addressing this issue primarily lies on the hands of higher education institutes/universities. In particular, surveys of UK employers and retailers found that soft skills including communication, numeracy, teamwork, confidence, analytical ability, digital/IT skills, business sense, language, and social skills are highly valued by graduate employers, and in achieving this, there are various assessed and non-assessed learning exercises have already been embedded into the university curriculum. To this end, this research study aims to explore the reflections of postgraduate student participation in a live commercial project (i.e. designing an advertising campaign for open days, summer school etc.) implemented with the intention of offering a transformative experience by deploying this project. Qualitative research methodology has been followed in this study, collecting data from three types of target audiences; students, academics and employers via a series of personal interviews and focus group discussions. Recorded data were transcribed, entered into NVIVO, and analysed using meaning condensation and content analysis. Students reported that they had a very positive impact towards improving self-efficacy, especially in relation to soft skills and confidence in seeking employment opportunities. In addition, this project has reduced cultural barriers for international students in general communications. Academic staff and potential employers who attended on the presentation day expressed their gratitude for offering a lifelong experience for students, and indeed believed that these type of projects contribute significantly to enhance skills and capabilities of students to cater the demands of employers. In essence, key findings demonstrate that an integration of knowledge-based skills into a live commercial project facilitate individuals to make the transition from education to employment in terms of skills, abilities and work behaviours more effectively in comparison to some other activities/assuagements that are currently in place in higher education institutions/universities.

Keywords: soft skills, commercially live project, higher education, student participation

Procedia PDF Downloads 345
3233 Synthesis of Carbonyl Iron Particles Modified with Poly (Trimethylsilyloxyethyl Methacrylate) Nano-Grafts

Authors: Martin Cvek, Miroslav Mrlik, Michal Sedlacik, Tomas Plachy

Abstract:

Magnetorheological elastomers (MREs) are multi-phase composite materials containing micron-sized ferromagnetic particles dispersed in an elastomeric matrix. Their properties such as modulus, damping, magneto-striction, and electrical conductivity can be controlled by an external magnetic field and/or pressure. These features of the MREs are used in the development of damping devices, shock attenuators, artificial muscles, sensors or active elements of electric circuits. However, imperfections on the particle/matrix interfaces result in the lower performance of the MREs when compared with theoretical values. Moreover, magnetic particles are susceptible to corrosion agents such as acid rains or sea humidity. Therefore, the modification of particles is an effective tool for the improvement of MRE performance due to enhanced compatibility between particles and matrix as well as improvements of their thermo-oxidation and chemical stability. In this study, the carbonyl iron (CI) particles were controllably modified with poly(trimethylsilyloxyethyl methacrylate) (PHEMATMS) nano-grafts to develop magnetic core–shell structures exhibiting proper wetting with various elastomeric matrices resulting in improved performance within a frame of rheological, magneto-piezoresistance, pressure-piezoresistance, or radio-absorbing properties. The desired molecular weight of PHEMATMS nano-grafts was precisely tailored using surface-initiated atom transfer radical polymerization (ATRP). The CI particles were firstly functionalized using a 3-aminopropyltriethoxysilane agent, followed by esterification reaction with α-bromoisobutyryl bromide. The ATRP was performed in the anisole medium using ethyl α-bromoisobutyrate as a macroinitiator, N, N´, N´´, N´´-pentamethyldiethylenetriamine as a ligand, and copper bromide as an initiator. To explore the effect PHEMATMS molecular weights on final properties, two variants of core-shell structures with different nano-graft lengths were synthesized, while the reaction kinetics were designed through proper reactant feed ratios and polymerization times. The PHEMATMS nano-grafts were characterized by nuclear magnetic resonance and gel permeation chromatography proving information to their monomer conversions, molecular chain lengths, and low polydispersity indexes (1.28 and 1.35) as the results of the executed ATRP. The successful modifications were confirmed via Fourier transform infrared- and energy-dispersive spectroscopies while expected wavenumber outputs and element presences, respectively, of constituted PHEMATMS nano-grafts, were occurring in the spectra. The surface morphology of bare CI and their PHEMATMS-grafted analogues was further studied by scanning electron microscopy, and the thicknesses of grafted polymeric layers were directly observed by transmission electron microscopy. The contact angles as a measure of particle/matrix compatibility were investigated employing the static sessile drop method. The PHEMATMS nano-grafts enhanced compatibility of hydrophilic CI with low-surface-energy hydrophobic polymer matrix in terms of their wettability and dispersibility in an elastomeric matrix. Thus, the presence of possible defects at the particle/matrix interface is reduced, and higher performance of modified MREs is expected.

Keywords: atom transfer radical polymerization, core-shell, particle modification, wettability

Procedia PDF Downloads 189
3232 A Wireless Sensor System for Continuous Monitoring of Particulate Air Pollution

Authors: A. Yawootti, P. Intra, P. Sardyoung, P. Phoosomma, R. Puttipattanasak, S. Leeragreephol, N. Tippayawong

Abstract:

The aim of this work is to design, develop and test the low-cost implementation of a particulate air pollution sensor system for continuous monitoring of outdoors and indoors particulate air pollution at a lower cost than existing instruments. In this study, measuring electrostatic charge of particles technique via high efficiency particulate-free air filter was carried out. The developed detector consists of a PM10 impactor, a particle charger, a Faraday cup electrometer, a flow meter and controller, a vacuum pump, a DC high voltage power supply and a data processing and control unit. It was reported that the developed detector was capable of measuring mass concentration of particulate ranging from 0 to 500 µg/m3 corresponding to number concentration of particulate ranging from 106 to 1012 particles/m3 with measurement time less than 1 sec. The measurement data of the sensor connects to the internet through a GSM connection to a public cellular network. In this development, the apparatus was applied the energy by a 12 V, 7 A internal battery for continuous measurement of about 20 hours. Finally, the developed apparatus was found to be close agreement with the import standard instrument, portable and benefit for air pollution and particulate matter measurements.

Keywords: particulate, air pollution, wireless communication, sensor

Procedia PDF Downloads 353
3231 Decoupling PM₂.₅ Emissions and Economic Growth in China over 1998-2016: A Regional Investment Perspective

Authors: Xi Zhang, Yong Geng

Abstract:

It is crucial to decouple economic growth from environmental pollution in China. This study aims to evaluate the decoupling degree between PM₂.₅ emissions and economic growth in China from a regional investment perspective. Using the panel data of 30 Chinese provinces for the period of 1998-2016, this study combines decomposition analysis with decoupling analysis to identify the roles of conventional factors and three novel investment factors in the mitigation and decoupling of PM₂.₅ emissions in China and its four sub-regions. The results show that China’s PM₂.₅ emissions were weakly decoupled to economic growth during the period of 1998-2016, as well as in China’s four sub-regions. At the national level, investment scale played the dominant role while investment structure had a marginal effect. In contrast, emission intensity was the largest driver in promoting the decoupling effect, followed by investment efficiency and energy intensity. The investment scale effect in the western region far exceeded those in other three sub-regions. At the provincial level, the investment structure of Inner Mongolia and investment scales of Xinjiang and Inner Mongolia had the greatest impacts on PM₂.₅ emission growth. Finally, several policy recommendations are raised for China to mitigate its PM₂.₅ emissions.

Keywords: decoupling, economic growth, investment, PM₂.₅ emissions

Procedia PDF Downloads 108
3230 Economic Load Dispatch with Valve-Point Loading Effect by Using Differential Evolution Immunized Ant Colony Optimization Technique

Authors: Nur Azzammudin Rahmat, Ismail Musirin, Ahmad Farid Abidin

Abstract:

Economic load dispatch is performed by the utilities in order to determine the best generation level at the most feasible operating cost. In order to guarantee satisfying energy delivery to the consumer, a precise calculation of generation level is required. In order to achieve accurate and practical solution, several considerations such as prohibited operating zones, valve-point effect and ramp-rate limit need to be taken into account. However, these considerations cause the optimization to become complex and difficult to solve. This research focuses on the valve-point effect that causes ripple in the fuel-cost curve. This paper also proposes Differential Evolution Immunized Ant Colony Optimization (DEIANT) in solving economic load dispatch problem with valve-point effect. Comparative studies involving DEIANT, EP and ACO are conducted on IEEE 30-Bus RTS for performance assessments. Results indicate that DEIANT is superior to the other compared methods in terms of calculating lower operating cost and power loss.

Keywords: ant colony optimization (ACO), differential evolution (DE), differential evolution immunized ant colony optimization (DEIANT), economic load dispatch (ELD)

Procedia PDF Downloads 432
3229 An Analysis of Uncoupled Designs in Chicken Egg

Authors: Pratap Sriram Sundar, Chandan Chowdhury, Sagar Kamarthi

Abstract:

Nature has perfected her designs over 3.5 billion years of evolution. Research fields such as biomimicry, biomimetics, bionics, bio-inspired computing, and nature-inspired designs have explored nature-made artifacts and systems to understand nature’s mechanisms and intelligence. Learning from nature, the researchers have generated sustainable designs and innovation in a variety of fields such as energy, architecture, agriculture, transportation, communication, and medicine. Axiomatic design offers a method to judge if a design is good. This paper analyzes design aspects of one of the nature’s amazing object: chicken egg. The functional requirements (FRs) of components of the object are tabulated and mapped on to nature-chosen design parameters (DPs). The ‘independence axiom’ of the axiomatic design methodology is applied to analyze couplings and to evaluate if eggs’ design is good (i.e., uncoupled design) or bad (i.e., coupled design). The analysis revealed that eggs design is a good design, i.e., uncoupled design. This approach can be applied to any nature’s artifacts to judge whether their design is a good or a bad. This methodology is valuable for biomimicry studies. This approach can also be a very useful teaching design consideration of biology and bio-inspired innovation.

Keywords: uncoupled design, axiomatic design, nature design, design evaluation

Procedia PDF Downloads 159
3228 Transcending Boundaries: Integrating Urban Vibrancy with Contemporary Interior Design through Vivid Wall Pieces

Authors: B. C. Biermann

Abstract:

This in-depth exploration investigates the transformative integration of urban vibrancy into contemporary interior design through the strategic incorporation of vivid wall pieces. Bridging the gap between public dynamism and private tranquility, this study delves into the nuanced methodologies, creative processes, and profound impacts of this innovative approach. Drawing inspiration from street art's dynamic language and the timeless allure of natural beauty, these artworks serve as conduits, orchestrating a dialogue that challenges traditional boundaries and redefines the relationship between external chaos and internal sanctuaries. The fusion of urban vibrancy with contemporary interior design represents a paradigm shift, where the inherent dynamism of public spaces harmoniously converges with the curated tranquility of private environments. This paper aims to explore the underlying principles, creative processes, and transformative impacts of integrating vivid wall pieces as instruments for bringing the "outside in." Employing an innovative and meticulous methodology, street art elements are synthesized with the refined aesthetics of contemporary design. This delicate balance necessitates a nuanced understanding of both artistic realms, ensuring a synthesis that captures the essence of urban energy while seamlessly blending with the sophistication of modern interior design. The creative process involves a strategic selection of street art motifs, colors, and textures that resonate with the organic beauty found in natural landscapes, creating a symbiotic relationship between the grittiness of the streets and the elegance of interior spaces. This groundbreaking approach defies traditional boundaries by integrating dynamic street art into interior spaces, blurring the demarcation between external chaos and internal tranquility. Vivid wall pieces serve as dynamic focal points, transforming physical spaces and challenging conventional perceptions of where art belongs. This redefinition asserts that boundaries are fluid and meant to be transcended. Case studies illustrate the profound impact of integrating vivid wall pieces on the aesthetic appeal of interior spaces. Urban vibrancy revitalizes the atmosphere, infusing it with palpable energy that resonates with the vivacity of public spaces. The curated tranquility of private interiors coexists harmoniously with the dynamic visual language of street art, fostering a unique and evolving relationship between inhabitants and their living spaces. Emphasizing harmonious coexistence, the paper underscores the potential for a seamless dialogue between public urban spaces and private interiors. The integration of vivid wall pieces acts as a bridge rather than a dichotomy, merging the dynamism of street art with the curated elegance of contemporary design. This unique visual tapestry transcends traditional categorizations, fostering a symbiotic relationship between contrasting worlds. In conclusion, this paper posits that the integration of vivid wall pieces represents a transformative tool for contemporary interior design, challenging and redefining conventional boundaries. By strategically bringing the "outside in," this approach transforms interior spaces and heralds a paradigm shift in the relationship between urban aesthetics and contemporary living. The ongoing narrative between urban vibrancy and interior design creates spaces that reflect the dynamic and ever-evolving nature of the surrounding environment.

Keywords: Art Integration, Contemporary Interior Design, Interior Space Transformation, Vivid Wall Pieces

Procedia PDF Downloads 64
3227 Adsorption of Malachite Green Dye on Graphene Oxide Nanosheets from Aqueous Solution: Kinetics and Thermodynamics Studies

Authors: Abeer S. Elsherbiny, Ali H. Gemeay

Abstract:

In this study, graphene oxide (GO) nanosheets have been synthesized and characterized using different spectroscopic tools such as X-ray diffraction spectroscopy, infrared Fourier transform (FT-IR) spectroscopy, BET specific surface area and Transmission Electronic Microscope (TEM). The prepared GO was investigated for the removal of malachite green, a cationic dye from aqueous solution. The removal methods of malachite green has been proceeded via adsorption process. GO nanosheets can be predicted as a good adsorbent material for the adsorption of cationic species. The adsorption of the malachite green onto the GO nanosheets has been carried out at different experimental conditions such as adsorption kinetics, concentration of adsorbate, pH, and temperature. The kinetics of the adsorption data were analyzed using four kinetic models such as the pseudo first-order model, pseudo second-order model, intraparticle diffusion, and the Boyd model to understand the adsorption behavior of malachite green onto the GO nanosheets and the mechanism of adsorption. The adsorption isotherm of adsorption of the malachite green onto the GO nanosheets has been investigated at 25, 35 and 45 °C. The equilibrium data were fitted well to the Langmuir model. Various thermodynamic parameters such as the Gibbs free energy (ΔG°), enthalpy (ΔH°), and entropy (ΔS°) change were also evaluated. The interaction of malachite green onto the GO nanosheets has been investigated by infrared Fourier transform (FT-IR) spectroscopy.

Keywords: adsorption, graphene oxide, kinetics, malachite green

Procedia PDF Downloads 393
3226 Fiber-Based 3D Cellular Reinforcing Structures for Mineral-Bonded Composites with Enhanced Structural Impact Tolerance

Authors: Duy M. P. Vo, Cornelia Sennewald, Gerald Hoffmann, Chokri Cherif

Abstract:

The development of solutions to improve the resistance of buildings to short-term dynamic loads, particularly impact load, is driven by the urgent demand worldwide on securing human life and critical infrastructures. The research training group GRK 2250/1 aims to develop mineral-bonded composites that allow the fabrication of thin-layered strengthening layers providing available concrete members with enhanced impact resistance. This paper presents the development of 3D woven wire cellular structures that can be used as innovative reinforcement for targeted composites. 3D woven wire cellular structures are truss-like architectures that can be fabricated in an automatized process with a great customization possibility. The specific architecture allows this kind of structures to have good load bearing capability and forming behavior, which is of great potential to give strength against impact loading. An appropriate combination of topology and material enables an optimal use of thin-layered reinforcement in concrete constructions.

Keywords: 3D woven cellular structures, ductile behavior, energy absorption, fiber-based reinforced concrete, impact resistant

Procedia PDF Downloads 286
3225 Design and Analysis of Electric Power Production Unit for Low Enthalpy Geothermal Reservoir Applications

Authors: Ildar Akhmadullin, Mayank Tyagi

Abstract:

The subject of this paper is the design analysis of a single well power production unit from low enthalpy geothermal resources. A complexity of the project is defined by a low temperature heat source that usually makes such projects economically disadvantageous using the conventional binary power plant approach. A proposed new compact design is numerically analyzed. This paper describes a thermodynamic analysis, a working fluid choice, downhole heat exchanger (DHE) and turbine calculation results. The unit is able to produce 321 kW of electric power from a low enthalpy underground heat source utilizing n-Pentane as a working fluid. A geo-pressured reservoir located in Vermilion Parish, Louisiana, USA is selected as a prototype for the field application. With a brine temperature of 126℃, the optimal length of DHE is determined as 304.8 m (1000ft). All units (pipes, turbine, and pumps) are chosen from commercially available parts to bring this project closer to the industry requirements. Numerical calculations are based on petroleum industry standards. The project is sponsored by the Department of Energy of the US.

Keywords: downhole heat exchangers, geothermal power generation, organic rankine cycle, refrigerants, working fluids

Procedia PDF Downloads 307
3224 Driver Behavior Analysis and Inter-Vehicular Collision Simulation Approach

Authors: Lu Zhao, Nadir Farhi, Zoi Christoforou, Nadia Haddadou

Abstract:

The safety test of deploying intelligent connected vehicles (ICVs) on the road network is a critical challenge. Road traffic network simulation can be used to test the functionality of ICVs, which is not only time-saving and less energy-consuming but also can create scenarios with car collisions. However, the relationship between different human driver behaviors and the car-collision occurrences has been not understood clearly; meanwhile, the procedure of car-collisions generation in the traffic numerical simulators is not fully integrated. In this paper, we propose an approach to identify specific driver profiles from real driven data; then, we replicate them in numerical traffic simulations with the purpose of generating inter-vehicular collisions. We proposed three profiles: (i) 'aggressive': short time-headway, (ii) 'inattentive': long reaction time, and (iii) 'normal' with intermediate values of reaction time and time-headway. These three driver profiles are extracted from the NGSIM dataset and simulated using the intelligent driver model (IDM), with an extension of reaction time. At last, the generation of inter-vehicular collisions is performed by varying the percentages of different profiles.

Keywords: vehicular collisions, human driving behavior, traffic modeling, car-following models, microscopic traffic simulation

Procedia PDF Downloads 162
3223 Trans-Activator of Transcription-Tagged Active AKT1 Variants for Delivery to Mammalian Cells

Authors: Tarana Siddika, Ilka U. Heinemann, Patrick O’Donoghue

Abstract:

Protein kinase B (AKT1) is a serine/threonine kinase and central transducer of cell survival pathways. Typical approaches to study AKT1 biology in cells rely on growth factor or insulin stimulation that activates AKT1 via phosphorylation at two key regulatory sites (Threonine308, Serine473), yet cell stimulation also activates many other kinases and fails to differentiate the effect of the two main activating sites of AKT1 on downstream substrate phosphorylation and cell growth. While both AKT1 activating sites are associated with disease and used as clinical markers, in some cancers, high levels of Threonine308 phosphorylation are associated with poor prognosis while in others poor survival correlates with high Serine473 levels. To produce cells with specific AKT1 activity, a system was developed to deliver active AKT1 to human cells. AKT1 phospho-variants were produced from Escherichia coli with programmed phosphorylation by genetic code expansion. Tagging of AKT1 with an N-terminal cell penetrating peptide tag derived from the human immunodeficiency virus trans-activator of transcription (TAT) helped to enter AKT1 proteins in mammalian cells. The TAT-tag did not alter AKT1 kinase activity and was necessary and sufficient to rapidly deliver AKT1 protein variants that persisted in human cells for 24 h without the need to use transfection reagents. TAT-pAKT1T308, TAT-pAKT1S473 and TAT-pAKT1T308S473 proteins induced selective phosphorylation of the known AKT1 substrate GSK-3αβ, and downstream stimulation of the AKT1 pathway as evidenced by phosphorylation of ribosomal protein S6 at Serine240/244 in transfected cells. Increase in cell growth and proliferation was observed due to the transfection of different phosphorylated AKT1 protein variants compared to cells with TAT-AKT1 protein. The data demonstrate efficient delivery of AKT1 with programmed phosphorylation to human cells, thus establishing a cell-based model system to investigate signaling that is dependent on specific AKT1 activity and phosphorylation.

Keywords: cell penetrating peptide, cell signaling, protein kinase b (AKT1), phosphorylation

Procedia PDF Downloads 104
3222 Lean Mass and Fat Mass Distribution in Ukrainian Postmenopausal Women with Abdominal Овesity and Metabolic Syndrome

Authors: V. V. Povoroznyuk, Lar. P. Martynyuk, N. I. Dzerovych, Lil. P. Martyntyuk

Abstract:

Objective: Menopause-related changes in female body are associated with the greater risk of metabolic syndrome (MS), which includes obesity, dyslipidemia, impaired glucose tolerance, hypertension. The aim of our study was to reveal peculiarities of fat and lean mass distribution between postmenopausal women with abdominal obesity and with MS. Materials and Methods: The sample consisted of 43 postmenopausal 60 – 69 years old women (age: mean = 64,8; S.D. = 0,4); duration of menopause: mean = 14,5; S.D.= 0,9). The diagnosis of MS was considered according to IDF (2005 yr) criteria. Lean and fat mass distrubution were measured by dual-energy X-ray absortiometry, and were compared for the cohorts with and without MS. Data were analyzed using Statistical Package 6.0 (Statsoft). Results: Findings revealed that 24 (55,8 %) of postmenopausal women had MS. In patients with and without MS compared, fat mass was higher in the former group (41248,25±2263,89 and 29817,68±2397,78 respectively; F=11,9; p=0,001) and at different body regions also: gynoid fat (6563,72±348,19 and 5115,21±392,43 respectively; F=7,6; p=0,008), android fat (3815,45±200,8128 and 2798,15±282,79 respectively; F=9,06; p=0,004. Lean mass comparing didn’t show significant differences in female with and without MS (42548,0±1239,18 and 40667,53±1223,78 respectively; F=1,1; p=0,29) and at different body regions also. Conclusion: These findings suggest that in postmenopausal women with MS there is prevalence of fat mass without increasing of lean mass quantity in compare to female with abdominal obesity without MS.

Keywords: lean mass, fat mass, овesity, metabolic syndrome, women, postmenopausal period

Procedia PDF Downloads 447
3221 The Contribution of Hip Strategy in Dynamic Postural Control in Recurrent Ankle Sprain

Authors: Radwa El Shorbagy, Alaa El Din Balbaa, Khaled Ayad, Waleed Reda

Abstract:

Introduction: Ankle sprain is a common lower limb injury that is complicated by high recurrence rate. The cause of recurrence is not clear; however, changes in motor control have been postulated. Objective: to determine the contribution of proximal hip strategy to dynamic postural control in patients with recurrent ankle sprain. Methods: Fifteen subjects with recurrent ankle sprain (group A) and fifteen healthy control subjects (group B) participated in this study. Abductor-adductors as well as flexor-extensor hip musculatures control was abolished by fatigue using the Biodex Isokinetic System. Dynamic postural control was measured before and after fatigue by the Biodex Balance System Results: Repeated measures MANOVA was used to compare between and within group differences, In group A fatiguing of hip muscles (flexors-extensors and abductors-adductors) increased overall stability index (OASI), anteroposterior stability index (APSI) and mediolateral stability index (MLSI) significantly (p= 0.00) whereas; in group B fatiguing of hip flexors-extensors increased significantly OASI and APSI only (p= 0.017, 0.010; respectively) while fatiguing of hip abductors-adductors has no significant effect on these variables. Moreover, patients with ankle sprain had significantly lower dynamic balance after hip muscles fatigue compared to the control group. Specifically, after hip flexor-extensor fatigue, the OASI, APSI and MLSI were increased significantly than those of the control values (p= 0.002, 0.011, and 0.003, respectively) whereas fatiguing of hip abductors-adductors increased significantly in OASI and APSI only (p=0.012, 0.026, respectively). Conclusion: To maintain dynamic balance, patients with recurrent ankle sprain seem to relay more on the hip strategy. This means that those patients depend on a top to down instead of down to top strategy clinical relevance: patients with recurrent ankle sprain less efficient in maintaining the dynamic postural control due to the change in motor strategies. Indicating that health care providers and rehabilitation specialists should treat CAI as a global/central and not just as a simple local or peripheral injury.

Keywords: ankle sprain, fatigue hip muscles, dynamic balance

Procedia PDF Downloads 289
3220 Restorative Justice to the Victims of Terrorism in the Criminal Justice System of India

Authors: Sumanta Meher, Gaurav Shukla

Abstract:

The torments of the victims of terrorism have not only confined to loss of life and limp but also includes the physiological trauma to the innocent victims. The physical wounds may heal, but the trauma remains in the mind and heart of the victims and their loved ones; however, one should not deny that these terrorist activities affect to a major extent to their livelihood. To protect their human rights and restore the shattered lives of the victims of terrorism all the Nations beyond their differences have to show solidarity and frame a comprehensive restorative policy with an effective implementing mechanism. The General Assembly of United Nations, through its several resolutions, has appealed Nations to show solidarity and also committed to helping the Members State to frame the law and policy to support the victims of terrorism. To achieve the objectives of the resolutions adopted by the United Nations, the Indian legislators in 2008 amended the Code of Criminal Procedure, 1973 and incorporated Section 357A to provide financial assistance to the victims of terrorism. In India, the contemporary developments in the victims’ oriented studies have increased the dimension of the traditional criminal justice systems to protect the rights of the victims. In this regard, the paper has ascertained the Indian legal framework in respect to the restorative justice to the victims of terrorism and also addressed the question as to whether the statutory provisions and enforcement mechanisms are efficient enough to protect the human rights of the victims of terrorism. For that purpose, the paper has analyzed the International instruments and the reports with regard to the compensation to the victims of terrorist attacks, with that, the article also evaluates the initiatives of United Nations to help Members State to frame the law and policies to support the victims of terrorism. The study also made an attempt to critically analyze the legal provisions of compensation and rehabilitation of the victims of terrorist attacks in India and whether they are in alignment with the International standards. While concluding, the paper has made an endeavor for a robust legal framework towards the restorative justice for the victims of terrorism in India.

Keywords: victims of terrorism, restorative justice, human rights, criminal justice system of India

Procedia PDF Downloads 153
3219 Computational Study of Flow and Heat Transfer Characteristics of an Incompressible Fluid in a Channel Using Lattice Boltzmann Method

Authors: Imdat Taymaz, Erman Aslan, Kemal Cakir

Abstract:

The Lattice Boltzmann Method (LBM) is performed to computationally investigate the laminar flow and heat transfer of an incompressible fluid with constant material properties in a 2D channel with a built-in triangular prism. Both momentum and energy transport is modelled by the LBM. A uniform lattice structure with a single time relaxation rule is used. Interpolation methods are applied for obtaining a higher flexibility on the computational grid, where the information is transferred from the lattice structure to the computational grid by Lagrange interpolation. The flow is researched on for different Reynolds number, while Prandtl number is keeping constant as a 0.7. The results show how the presence of a triangular prism effects the flow and heat transfer patterns for the steady-state and unsteady-periodic flow regimes. As an evaluation of the accuracy of the developed LBM code, the results are compared with those obtained by a commercial CFD code. It is observed that the present LBM code produces results that have similar accuracy with the well-established CFD code, as an additionally, LBM needs much smaller CPU time for the prediction of the unsteady phonema.

Keywords: laminar forced convection, lbm, triangular prism

Procedia PDF Downloads 360
3218 MHD Stagnation-Point Flow over a Plate

Authors: H. Niranjan, S. Sivasankaran

Abstract:

Heat and mass transfer near a steady stagnation point boundary layer flow of viscous incompressible fluid through porous media investigates along a vertical plate is thoroughly studied under the presence of magneto hydrodynamic (MHD) effects. The fluid flow is steady, laminar, incompressible and in two-dimensional. The nonlinear differential coupled parabolic partial differential equations of continuity, momentum, energy and specie diffusion are converted into the non-similar boundary layer equations using similarity transformation, which are then solved numerically using the Runge-Kutta method along with shooting method. The effects of the conjugate heat transfer parameter, the porous medium parameter, the permeability parameter, the mixed convection parameter, the magnetic parameter, and the thermal radiation on the velocity and temperature profiles as well as on the local skin friction and local heat transfer are presented and analyzed. The validity of the methodology and analysis is checked by comparing the results obtained for some specific cases with those available in the literature. The various parameters on local skin friction, heat and mass transfer rates are presented in tabular form.

Keywords: MHD, porous medium, slip, convective boundary condition, stagnation point

Procedia PDF Downloads 291
3217 Influence of Deficient Materials on the Reliability of Reinforced Concrete Members

Authors: Sami W. Tabsh

Abstract:

The strength of reinforced concrete depends on the member dimensions and material properties. The properties of concrete and steel materials are not constant but random variables. The variability of concrete strength is due to batching errors, variations in mixing, cement quality uncertainties, differences in the degree of compaction and disparity in curing. Similarly, the variability of steel strength is attributed to the manufacturing process, rolling conditions, characteristics of base material, uncertainties in chemical composition, and the microstructure-property relationships. To account for such uncertainties, codes of practice for reinforced concrete design impose resistance factors to ensure structural reliability over the useful life of the structure. In this investigation, the effects of reductions in concrete and reinforcing steel strengths from the nominal values, beyond those accounted for in the structural design codes, on the structural reliability are assessed. The considered limit states are flexure, shear and axial compression based on the ACI 318-11 structural concrete building code. Structural safety is measured in terms of a reliability index. Probabilistic resistance and load models are compiled from the available literature. The study showed that there is a wide variation in the reliability index for reinforced concrete members designed for flexure, shear or axial compression, especially when the live-to-dead load ratio is low. Furthermore, variations in concrete strength have minor effect on the reliability of beams in flexure, moderate effect on the reliability of beams in shear, and sever effect on the reliability of columns in axial compression. On the other hand, changes in steel yield strength have great effect on the reliability of beams in flexure, moderate effect on the reliability of beams in shear, and mild effect on the reliability of columns in axial compression. Based on the outcome, it can be concluded that the reliability of beams is sensitive to changes in the yield strength of the steel reinforcement, whereas the reliability of columns is sensitive to variations in the concrete strength. Since the embedded target reliability in structural design codes results in lower structural safety in beams than in columns, large reductions in material strengths compromise the structural safety of beams much more than they affect columns.

Keywords: code, flexure, limit states, random variables, reinforced concrete, reliability, reliability index, shear, structural safety

Procedia PDF Downloads 420
3216 Effect of 16 Weeks Walking with Different Dosages on Psychosocial Function Related Quality of Life among 60 to 75 Years Old Men

Authors: Mohammad Ehsani, Elham Karimi, Hashem Koozechian

Abstract:

Aim: The purpose of current semi-experimental study was a survey on effect of 16 week walking on psychosocial function related quality of life among 60 to 75 years old men. Methodology: For this reason, short from of health – related quality of life questionnaire (SF – 36) and Geriatric Depression Scale (GDS) had been distributed to the subjects at 2 times of pre – test and posttest. Statistical sample of current study was 60 to 75 years old men who placed at Kahrizak house and assessed by considering physically and medical background. Also factors of entrance to the intervention like age range, have satisfaction and have intent to participating in walking program, lack of having diabetic, cardiovascular, Parkinsonism diseases and postural, neurological, musculoskeletal disorders, lack of having clinical background like visual disorders or disordering on equilibrium system, lack of motor limitation, foot print disorders, having surgery and mental health had been determined and assessed. Finally after primary studies, 80 persons selected and categorized accidentally to the 3 experimental group (1, 2, 3 sessions per week, 30 min walking with moderate intension at every sessions) and one control group (without physical activity in period of 16 weeks). Data analysed by employing ANOVA, Pearson coefficient and Scheffe Post – Hoc tests at the significance level of p < 0.05. Results: Results showed that psychosocial function of men with 60 to 75 years old increase by influence of 16 week walking and increase of exercise sessions lead to more effectiveness of walking. Also there was no significant difference between psychosocial function of subjects within 1 session and 3 sessions experimental groups (p > 0.05). Conclusion: On the basis of results, we can say that doing regular walking with efficient and standard dosage for elderly people, can increase their quality of life. Furthermore, designing and action operation regular walking program for elderly men on the basis of special, logical and systematic pattern under the supervision of aware coaches have been recommended on the basis of results.

Keywords: walking, quality of life, psychosocial function, elders

Procedia PDF Downloads 579
3215 Computer Self-Efficacy, Study Behaviour and Use of Electronic Information Resources in Selected Polytechnics in Ogun State, Nigeria

Authors: Fredrick Olatunji Ajegbomogun, Bello Modinat Morenikeji, Okorie Nancy Chituru

Abstract:

Electronic information resources are highly relevant to students' academic and research needs but are grossly underutilized, despite the institutional commitment to making them available. The under-utilisation of these resources could be attributed to a low level of study behaviour coupled with a low level of computer self-efficacy. This study assessed computer self-efficacy, study behaviour, and the use of electronic information resources by students in selected polytechnics in Ogun State. A simple random sampling technique using Krejcie and Morgan's (1970) Table was used to select 370 respondents for the study. A structured questionnaire was used to collect data on respondents. Data were analysed using frequency counts, percentages, mean, standard deviation, Pearson Product Moment Correlation (PPMC) and multiple regression analysis. Results reveal that the internet (= 1.94), YouTube (= 1.74), and search engines (= 1.72) were the common information resources available to the students, while the Internet (= 4.22) is the most utilized resource. Major reasons for using electronic information resources were to source materials and information (= 3.30), for research (= 3.25), and to augment class notes (= 2.90). The majority (91.0%) of the respondents have a high level of computer self-efficacy in the use of electronic information resources through selecting from screen menus (= 3.12), using data files ( = 3.10), and efficient use of computers (= 3.06). Good preparation for tests (= 3.27), examinations (= 3.26), and organization of tutorials (= 3.11) are the common study behaviours of the respondents. Overall, 93.8% have good study behaviour. Inadequate computer facilities to access information (= 3.23), and poor internet access (= 2.87) were the major challenges confronting students’ use of electronic information resources. According to the PPMC results, study behavior (r = 0.280) and computer self-efficacy (r = 0.304) have significant (p 0.05) relationships with the use of electronic information resources. Regression results reveal that self-efficacy (=0.214) and study behavior (=0.122) positively (p 0.05) influenced students' use of electronic information resources. The study concluded that students' use of electronic information resources depends on the purpose, their computer self-efficacy, and their study behaviour. Therefore, the study recommended that the management should encourage the students to improve their study habits and computer skills, as this will enhance their continuous and more effective utilization of electronic information resources.

Keywords: computer self-efficacy, study behaviour, electronic information resources, polytechnics, Nigeria

Procedia PDF Downloads 107
3214 Impact of Information and Communication Technology on Academic Performance of Senior Secondary Schools Students in Gwagwalada Area Council of Federal Capital Territory, Abuja

Authors: Suleiman Garba, Haruna Ishaku

Abstract:

Information and communication technology (ICT) includes any communication device encompassing: radio, television, cellular phones, computer, satellite systems and so on, as well as the various services and applications associated with them. The significance of ICT cannot be over-emphasized in education. The teaching and learning processes have integrated with the application of ICTs for effectiveness and enhancement of academic performance among the students. Today, as the educational sector is faced with series of changes and reforms, it was noted that the problem of information technology illiteracy was a serious one among the schools’ teachers in the country as it cuts across primary, secondary schools and tertiary institutions. This study investigated the impact of ICT on the academic performance of senior secondary schools students in Gwagwalada Area Council of Federal Capital Territory (FCT), Abuja. A sample of 120 SSS III students was involved in the study. They were selected by using simple random sampling technique. A questionnaire was developed and validated through expert judgement and reliability co-efficient of 0.81 was obtained. It was used to gather relevant data from the respondents. Findings revealed that there was positive impact of ICT on academic performance of senior secondary schools students. The findings indicated the causes of poor academic performance among the students as lack of qualified teachers to teach in schools, peer group influence, and bullying. Significantly, the findings revealed that ICT had a positive impact on students’ academic performance. The null hypotheses were tested using t-test at 0.05 level of significance. It was discovered that there was significant difference between male and female secondary schools’ students' impact of ICT on academic performance in Gwagawalada Area Council of FCT-Abuja. Based on these findings, some recommendations were made which include: adequate funds should be provided towards procurement of ICT resources, relevant textbooks to enhance students’ active participation in learning processes and students should be provided with internet accessibility at inexpensive rate so as to create a platform for accessing useful information in the pursuit of academic excellence.

Keywords: academic performance, impact, information communication technology, schools, students

Procedia PDF Downloads 208
3213 Communities as a Source of Evidence: A Case of Advocating for Improved Human Resources for Health in Uganda

Authors: Asinguza P. Allan

Abstract:

The Advocacy for Better Health aims to equip citizens with enabling environment and systems to effectively advocate for strong action plans to improve health services. This is because the 2020 Government target for Uganda to transform into a middle income country will be achieved if investment is made in keeping the population healthy and productive. Citizen participation as an important foundation for change has been emphasized to gather data through participatory rural appraisal and inform evidence-based advocacy for recruitment and motivation of human resources. Citizens conduct problem ranking during advocacy forums on staffing levels and health worker absenteeism. Citizens prioritised inadequate number of midwives and absenteeism. On triangulation, health worker to population ratio in Uganda remains at 0.25/1,000 which is far below the World Health Organization (WHO) threshold of 2.3/1,000. Working with IntraHealth, the project advocated for recruitment of critical skilled staff (doctors and midwives) and scale up health workers motivation strategy to reduce Uganda’s Neonatal Mortality Rate of 22/1,000 and Maternal Mortality Ratio of 320/100,000. Government has committed to increase staffing to 80% by 2018 (10 districts have passed ordinances and revived use of duty rosters to address health worker absenteeism. On the other hand, the better health advocacy debate has been elevated with need to increase health sector budget allocations from 8% to 10%. The project has learnt that building a body of evidence from citizens enhances the advocacy agenda. Communities will further monitor government commitments to reduce Neonatal Mortality Rate and Maternal Mortality Ratio. The project has learnt that interface meeting between duty bearers and the community allows for immediate feedback and the process is a strong instrument for empowerment. It facilitates monitoring and performance evaluation of services, projects and government administrative units (like district assemblies) by the community members themselves. This, in turn, makes the human resources in health to be accountable, transparent and responsive to communities where they work. This, in turn, promotes human resource performance.

Keywords: advocacy, empowerment, evidence, human resources

Procedia PDF Downloads 205
3212 Experimental Study on Modified Double Slope Solar Still and Modified Basin Type Double Slope Multiwick Solar Still

Authors: Piyush Pal, Rahul Dev

Abstract:

Water is essential for life and fresh water is a finite resource that is becoming scarce day by day even though it is recycled by hydrological cycle. The fresh water reserves are being polluted due to expanding irrigation, industries, urban population and its development. Contaminated water leads to several health problems. With the increasing demand of fresh water, solar distillation is an alternate solution which uses solar energy to evaporate water and then to condense it, thereby collecting distilled water within or outside the same system to use it as potable water. The structure that houses the process is known as a 'solar still'. In this paper, ‘Modified double slope solar still (MDSSS)’ & 'Modified double slope basin type multiwick solar still (MDSBMSS)' have been designed to convert saline, brackish water into drinking water. In this work two different modified solar stills are fabricated to study the performance of these solar stills. For modification of solar stills, Fibre Reinforced Plastic (FRP) and Acrylic sheets are used. The experiments in MDSBMSS and MDSSS was carried on 10 September 2015 & 5 November 2015 respectively. Performances of the stills were investigated. The amount of distillate has been found 3624 Ml/day in MDSBMSS on 10 September 2015 and 2400 Ml/day in MDSSS on 5 November 2015.

Keywords: contaminated water, conventional solar still, modified solar still, wick

Procedia PDF Downloads 416
3211 Narrative Family Therapy and the Treatment of Perinatal Mood and Anxiety Disorders

Authors: Jamie E. Banker

Abstract:

For many families, pregnancy and the postpartum time are filled with both anticipation and change. For some pregnant or postpartum women, this time is marked by the onset of a mood or anxiety disorder. Experiencing a mood or anxiety disorders during this time of life differs from depression or anxiety at other times of life. Not only because of the physical changes occurring in the mother’s body but also the mental and physical preparation necessary to redefine family roles, responsibilities, and develop new identities in the life transition. The presence of a mood or anxiety disorder can influence the way in which a mother defines herself and can complicate her understanding of her abilities and competencies as a mother. The complexity of experiencing a mood or anxiety disorder in the midst of these changes necessitates specific treatment interventions to match both the symptomatology and psychological adjustments. This study explores the use of narrative family therapy techniques when treating a mother who is experiencing postpartum depression. Externalization is a common technique used in narrative family therapy and can help client’s separate their identity from the problems they are experiencing. This is crucial to a new mom who is in the middle of defining her identity during her transition to parenthood. The goal of this study is to examine how the use of externalization techniques help postpartum women separate their mood and anxiety symptoms from their identity as a mother. An exploratory case study design was conducted in a single setting, private practice therapy office, and explored how a narrative family therapy approach can be used to treat perinatal mood and anxiety disorders. The therapy sessions were audio recorded and transcribed. Constructivism and narrative theory are used as theoretical frameworks and data from the therapy sessions, and a follow-up survey was triangulated and analyzed. During the course of the treatment, the participant reports using the new externalizing labels for her symptoms. Within one month of treatment, the participant reports that she could stop herself from thinking the harmful thoughts faster, and within three months, the harmful thoughts went away. The main themes in this study were building courage and less self-blame. This case highlights the role narrative family therapy can play in the treatment of perinatal mood and anxiety disorders and the importance of separating a women’s mood from her identity as a mother. This conceptual framework was beneficial to the postpartum mother when treating perinatal mood and anxiety disorder symptoms.

Keywords: externalizing techniques, narrative family therapy, perinatal mood and anxiety disorders, postpartum depression

Procedia PDF Downloads 252
3210 Adaptive Beamforming with Steering Error and Mutual Coupling between Antenna Sensors

Authors: Ju-Hong Lee, Ching-Wei Liao

Abstract:

Owing to close antenna spacing between antenna sensors within a compact space, a part of data in one antenna sensor would outflow to other antenna sensors when the antenna sensors in an antenna array operate simultaneously. This phenomenon is called mutual coupling effect (MCE). It has been shown that the performance of antenna array systems can be degraded when the antenna sensors are in close proximity. Especially, in a systems equipped with massive antenna sensors, the degradation of beamforming performance due to the MCE is significantly inevitable. Moreover, it has been shown that even a small angle error between the true direction angle of the desired signal and the steering angle deteriorates the effectiveness of an array beamforming system. However, the true direction vector of the desired signal may not be exactly known in some applications, e.g., the application in land mobile-cellular wireless systems. Therefore, it is worth developing robust techniques to deal with the problem due to the MCE and steering angle error for array beamforming systems. In this paper, we present an efficient technique for performing adaptive beamforming with robust capabilities against the MCE and the steering angle error. Only the data vector received by an antenna array is required by the proposed technique. By using the received array data vector, a correlation matrix is constructed to replace the original correlation matrix associated with the received array data vector. Then, the mutual coupling matrix due to the MCE on the antenna array is estimated through a recursive algorithm. An appropriate estimate of the direction angle of the desired signal can also be obtained during the recursive process. Based on the estimated mutual coupling matrix, the estimated direction angle, and the reconstructed correlation matrix, the proposed technique can effectively cure the performance degradation due to steering angle error and MCE. The novelty of the proposed technique is that the implementation procedure is very simple and the resulting adaptive beamforming performance is satisfactory. Simulation results show that the proposed technique provides much better beamforming performance without requiring complicated complexity as compared with the existing robust techniques.

Keywords: adaptive beamforming, mutual coupling effect, recursive algorithm, steering angle error

Procedia PDF Downloads 312
3209 Modular Probe for Basic Monitoring of Water and Air Quality

Authors: Andrés Calvillo Téllez, Marianne Martínez Zanzarric, José Cruz Núñez Pérez

Abstract:

A modular system that performs basic monitoring of both water and air quality is presented. Monitoring is essential for environmental, aquaculture, and agricultural disciplines, where this type of instrumentation is necessary for data collection. The system uses low-cost components, which allows readings close to those with high-cost probes. The probe collects readings such as the coordinates of the geographical position, as well as the time it records the target parameters of the monitored. The modules or subsystems that make up the probe are the global positioning (GPS), which shows the altitude, latitude, and longitude data of the point where the reading will be recorded, a real-time clock stage, the date marking the time, the module SD memory continuously stores data, data acquisition system, central processing unit, and energy. The system acquires parameters to measure water quality, conductivity, pressure, and temperature, and for air, three types of ammonia, dioxide, and carbon monoxide gases were censored. The information obtained allowed us to identify the schedule of modification of the parameters and the identification of the ideal conditions for the growth of microorganisms in the water.

Keywords: calibration, conductivity, datalogger, monitoring, real time clock, water quality

Procedia PDF Downloads 91
3208 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