Search results for: cement type
7045 Altered L-Type Calcium Channel Activity in Atrioventricular Nodal Myocytes from Rats with Streptozotocin-Induced Type I Diabetes Mellitus
Authors: Kathryn H. Yull, Lina T. Al Kury, Frank Christopher Howarth
Abstract:
Cardiovascular diseases are frequently reported in patients with Type-1 Diabetes mellitus (DM). In addition to changes in cardiac muscle inotropy, electrical abnormalities are also commonly observed in these patients. In the present study, using streptozotocin (STZ) rat model of Type-1 DM, we have characterized the changes in L-type calcium channel activity in single atrioventricular nodal (AVN) myocytes. Ionic currents were recorded from AVN myocytes isolated from the hearts of control rats and from those with STZ-induced diabetes. Patch-clamp recordings were used to assess changes in cellular electrical activity in individual myocytes. Type-1 DM significantly altered the cellular characteristics of L-type calcium current (ICaL). A reduction in peak ICaL density was observed, with no corresponding changes in the activation parameters of the current. ICaL also exhibited faster time-dependent inactivation in AVN myocytes from diabetic rats. A negative shift in the voltage dependence of inactivation was also evident. These findings demonstrate that experimentally–induced type-1 DM significantly alters AVN L-type calcium channel cellular electrophysiology. The changes in ion channel activity may underlie the abnormalities in the cardiac electrical function that contribute to the high mortality levels in patients with DM.Keywords: cardiac, ion-channel, diabetes, atrioventricular node, calcium channel
Procedia PDF Downloads 3467044 IL-21 Production by CD4+ Effector T Cells and Frequency of Circulating Follicular Helper T Cells Are Increased in Type 1 Diabetes Patients
Authors: Ferreira RC, Simons HZ, Thompson WS, Cutler AJ, Dopico XC, Smyth DJ, Mashar M, Schuilenburg H, Walker NM, Dunger DB, Wallace C, Todd JA, Wicker LS, Pekalski ML
Abstract:
Type 1 diabetes is caused by autoimmune destruction of insulin-secreting beta cells in the pancreas. T cells are known to play an important role in this immune-mediated destruction; however, there is no general consensus regarding alterations in cytokine production or T cell subsets in peripheral blood of patients with type 1 diabetes. Using polychromatic flow cytometry of peripheral blood mononuclear cells (PBMCs), we assessed production of the proinflammatory cytokines IL-21, IFN-γ and IL-17 by memory CD4 T effector (Teff) cells in 69 patients with type 1 diabetes and 61 healthy donors. We found a 21.9% (95% CI 5.8, 40.2; p = 3.9 × 10(-3)) higher frequency of IL-21(+) CD45RA(-) memory CD4(+) Teffs in patients with type 1 diabetes (geometric mean 5.92% [95% CI 5.44, 6.44]) compared with healthy donors (geometric mean 4.88% [95% CI 4.33, 5.50]). In a separate cohort of 30 patients with type 1 diabetes and 32 healthy donors, we assessed the frequency of circulating T follicular helper (Tfh) cells in whole blood. Consistent with the increased production of IL-21, we also found a 14.9% increase in circulating Tfh cells in the patients with type 1 diabetes (95% CI 2.9, 26.9; p = 0.016). Analysis of IL-21 production by PBMCs from a subset of 46 of the 62 donors immunophenotyped for Tfh showed that frequency of Tfh cells was associated with the frequency of IL-21+ cells (r2 = 0.174, p = 0.004). These results indicate that increased IL-21 production is likely to be an aetiological factor in the pathogenesis of type 1 diabetes that could be considered as a potential therapeutic target.Keywords: T follicular helper cell, IL-21, IL-17, type 1 diabetes
Procedia PDF Downloads 3807043 First-Principles Density Functional Study of Nitrogen-Doped P-Type ZnO
Authors: Abdusalam Gsiea, Ramadan Al-habashi, Mohamed Atumi, Khaled Atmimi
Abstract:
We present a theoretical investigation on the structural, electronic properties and vibrational mode of nitrogen impurities in ZnO. The atomic structures, formation and transition energies and vibrational modes of (NO3)i interstitial or NO4 substituting on an oxygen site ZnO were computed using ab initio total energy methods. Based on Local density functional theory, our calculations are in agreement with one interpretation of bound-excition photoluminescence for N-doped ZnO. First-principles calculations show that (NO3)i defects interstitial or NO4 substituting on an Oxygen site in ZnO are important suitable impurity for p-type doping in ZnO. However, many experimental efforts have not resulted in reproducible p-type material with N2 and N2O doping. by means of first-principle pseudo-potential calculation we find that the use of NO or NO2 with O gas might help the experimental research to resolve the challenge of achieving p-type ZnO.Keywords: DFF, nitrogen, p-type, ZnO
Procedia PDF Downloads 4637042 Production and Distribution Network Planning Optimization: A Case Study of Large Cement Company
Authors: Lokendra Kumar Devangan, Ajay Mishra
Abstract:
This paper describes the implementation of a large-scale SAS/OR model with significant pre-processing, scenario analysis, and post-processing work done using SAS. A large cement manufacturer with ten geographically distributed manufacturing plants for two variants of cement, around 400 warehouses serving as transshipment points, and several thousand distributor locations generating demand needed to optimize this multi-echelon, multi-modal transport supply chain separately for planning and allocation purposes. For monthly planning as well as daily allocation, the demand is deterministic. Rail and road networks connect any two points in this supply chain, creating tens of thousands of such connections. Constraints include the plant’s production capacity, transportation capacity, and rail wagon batch size constraints. Each demand point has a minimum and maximum for shipments received. Price varies at demand locations due to local factors. A large mixed integer programming model built using proc OPTMODEL decides production at plants, demand fulfilled at each location, and the shipment route to demand locations to maximize the profit contribution. Using base SAS, we did significant pre-processing of data and created inputs for the optimization. Using outputs generated by OPTMODEL and other processing completed using base SAS, we generated several reports that went into their enterprise system and created tables for easy consumption of the optimization results by operations.Keywords: production planning, mixed integer optimization, network model, network optimization
Procedia PDF Downloads 687041 Predicting Durability of Self Compacting Concrete Using Artificial Neural Network
Authors: R. Boudjelthia
Abstract:
The aim of this study is to determine the influence of mix composition of concrete as the content of water and cement, water–binder ratio, and the replacement of fly ash on the durability of self compacting concrete (SCC) by using artificial neural networks (ANNs). To achieve this, an ANNs model is developed to predict the durability of self compacting concrete which is expressed in terms of chloride ions permeability in accordance with ASTM C1202-97 or AASHTO T277. Database gathered from the literature for the training and testing the model. A sensitivity analysis was also conducted using the trained and tested ANN model to investigate the effect of fly ash on the durability of SCC. The results indicate that the developed model is reliable and accurate. the durability of SCC expressed in terms of total charge passed over a 6-h period can be significantly improved by using at least 25% fly ash as replacement of cement. This study show that artificial neural network have strong potentialas a feasible tool for predicting accurately the durability of SCC containing fly ash.Keywords: artificial neural networks, durability, chloride ions permeability, self compacting concrete
Procedia PDF Downloads 3797040 Exceptional Cost and Time Optimization with Successful Leak Repair and Restoration of Oil Production: West Kuwait Case Study
Authors: Nasser Al-Azmi, Al-Sabea Salem, Abu-Eida Abdullah, Milan Patra, Mohamed Elyas, Daniel Freile, Larisa Tagarieva
Abstract:
Well intervention was done along with Production Logging Tools (PLT) to detect sources of water, and to check well integrity for two West Kuwait oil wells started to produce 100 % water. For the first well, to detect the source of water, PLT was performed to check the perforations, no production observed from the bottom two perforation intervals, and an intake of water was observed from the top most perforation. Then a decision was taken to extend the PLT survey from tag depth to the Y-tool. For the second well, the aim was to detect the source of water and if there was a leak in the 7’’liner in front of the upper zones. Data could not be recorded in flowing conditions due to the casing deformation at almost 8300 ft. For the first well from the interpretation of PLT and well integrity data, there was a hole in the 9 5/8'' casing from 8468 ft to 8494 ft producing almost the majority of water, which is 2478 bbl/d. The upper perforation from 10812 ft to 10854 ft was taking 534 stb/d. For the second well, there was a hole in the 7’’liner from 8303 ft MD to 8324 ft MD producing 8334.0 stb/d of water with an intake zone from10322.9-10380.8 ft MD taking the whole fluid. To restore the oil production, W/O rig was mobilized to prevent dump flooding, and during the W/O, the leaking interval was confirmed for both wells. The leakage was cement squeezed and tested at 900-psi positive pressure and 500-psi drawdown pressure. The cement squeeze job was successful. After W/O, the wells kept producing for cleaning, and eventually, the WC reduced to 0%. Regular PLT and well integrity logs are required to study well performance, and well integrity issues, proper cement behind casing is essential to well longevity and well integrity, and the presence of the Y-tool is essential as monitoring of well parameters and ESP to facilitate well intervention tasks. Cost and time optimization in oil and gas and especially during rig operations is crucial. PLT data quality and the accuracy of the interpretations contributed a lot to identify the leakage interval accurately and, in turn, saved a lot of time and reduced the repair cost with almost 35 to 45 %. The added value here was more related to the cost reduction and effective and quick proper decision making based on the economic environment.Keywords: leak, water shut-off, cement, water leak
Procedia PDF Downloads 1177039 Flooring Solution for Sports Courts Such as Ecological Mortar
Authors: Helida T. G. Soares, Antonio J. P. da Silva
Abstract:
As the society develops, the accumulation of solid waste in landfills, in the environment, and the depletion of the raw material increases. In this way, there is relevance in researching the interaction between the environmental management and civil construction; therefore, this project has for scope the analysis and the effects of the rubber microparticles use as a small aggregate added to the sand, producing an ecological mortar for the pavement constitution, from the mixture of a paste, composed of Portland cement and water, and its application in sports courts. It was used the detailed reutilization of micro rubber in its most primordial, micro form, highlighting the powder pattern as the additional balancing of the mortar, analyzing the evolution of the mechanical properties. Percentages of 5, 10 and 15% rubber were used based on the total mass of the trace, where there is no removal of aggregates or cement, only increment of the rubber. The results obtained through the mechanical test of simple compression showed that the rubber, added to the mortar, presents low mechanical resistance compared to the reference trait, the study of this subject is vast of possibilities to be explored. In this sense, we seek sustainability and innovation from the use of an ecological material, thus adding value and reducing the impact of this material on the environment. The manufacturing process takes place from the direct mixing of cement paste and rubber, whether manually, mechanically or industrially. It results in the production of a low-cost mortar, through the use of recycled rubber, with high efficiency in general properties, such as compressive strength and friction coefficient, allowing its use for the construction of floors for sports courts with high durability. Thus, it is possible to reuse this micro rubber residue in other applications in simple concrete artifacts.Keywords: civil construction, ecological mortar, high efficiency, rubber
Procedia PDF Downloads 1407038 Effect of Local Steel Slag as a Coarse Aggregate in the Properties of Fly Ash Based-Geopolymer Concrete
Authors: O. M. Omar, A. M. Heniegal, G. D. Abd Elhameed, H. A. Mohamadien
Abstract:
Local steel slag is produced as a by-product during the oxidation of steel pellets in an electric arc furnace. Using local steel slag waste as a hundred substitute of crushed stone in construction materials would resolve the environmental problems caused by the large-scale depletion of the natural sources of dolomite. This paper reports the experimental study to investigate the influence of a hundred replacement of dolomite as a coarse aggregate with local steel slag, on the fresh and hardened geopolymer concrete properties. The investigation includes traditional testing of hardening concrete, for selected mixes of cement and geopolymer concrete. It was found that local steel slag as a coarse aggregate enhanced the slump test of the fresh state of cement and geopolymer concretes. Nevertheless the unit weight of concretes was affected. Meanwhile, the good performance was observed when fly ash used as geopolymer concrete based.Keywords: geopolymer, molarity, steel slag, sodium hydroxide, sodium silicate
Procedia PDF Downloads 3057037 The Effect of Program Type on Mutation Testing: Comparative Study
Authors: B. Falah, N. E. Abakouy
Abstract:
Due to its high computational cost, mutation testing has been neglected by researchers. Recently, many cost and mutants’ reduction techniques have been developed, improved, and experimented, but few of them has relied the possibility of reducing the cost of mutation testing on the program type of the application under test. This paper is a comparative study between four operators’ selection techniques (mutants sampling, class level operators, method level operators, and all operators’ selection) based on the program code type of each application under test. It aims at finding an alternative approach to reveal the effect of code type on mutation testing score. The result of our experiment shows that the program code type can affect the mutation score and that the programs using polymorphism are best suited to be tested with mutation testing.Keywords: equivalent mutant, killed mutant, mutation score, mutation testing, program code type, software testing
Procedia PDF Downloads 5557036 Multi-Objective Exergy Optimization of an Organic Rankine Cycle with Cyclohexane as Working Fluid
Authors: Touil Djamal, Fergani Zineb
Abstract:
In this study, an Organic Rankine Cycle (ORC) with Cyclohexane working fluid is proposed for cogeneration in the cement industry. In this regard: first, a parametric study is conducted to evaluate the effects of some key parameters on the system performances. Next, single and multi-objective optimizations are performed to achieve the system optimal design. The optimization considers the exergy efficiency, the cost per exergy unit and the environmental impact of the net produced power as objective functions. Finally, exergy, exergoeconomic and exergoenvironmental analysis of the cycle is carried out at the optimum operating conditions. The results show that the turbine inlet pressure, the pinch point temperature difference and the heat transfer fluid temperature have significant effects on the performances of the ORC system.Keywords: organic rankine cycle, multi-objective optimization, exergy, exergoeconomic, exergoenvironmental, multi-objective optimisation, organic rankine cycle, cement plant
Procedia PDF Downloads 2807035 Characteristics of Ozone Generated from Dielectric Barrier Discharge Plasma Actuators
Authors: R. Osada, S. Ogata, T. Segawa
Abstract:
Dielectric barrier discharge plasma actuators (DBD-PAs) have been developed for active flow control devices. However, it is necessary to reduce ozone produced by DBD toward practical applications using DBD-PAs. In this study, variations of ozone concentration, flow velocity, power consumption were investigated by changing exposed electrodes of DBD-PAs. Two exposed electrode prototypes were prepared: span-type with exposed electrode width of 0.1 mm, and normal-type with width of 5 mm. It was found that span-type shows lower power consumption and higher flow velocity than that of normal-type at Vp-p = 4.0-6.0 kV. Ozone concentration of span-type higher than normal-type at Vp-p = 4.0-8.0 kV. In addition, it was confirmed that catalyst located in downstream from the exposed electrode can reduce ozone concentration between 18 and 42% without affecting the induced flow.Keywords: dielectric barrier discharge plasma actuators, ozone diffusion, PIV measurement, power consumption
Procedia PDF Downloads 2417034 Formulation of Corrector Methods from 3-Step Hybid Adams Type Methods for the Solution of First Order Ordinary Differential Equation
Authors: Y. A. Yahaya, Ahmad Tijjani Asabe
Abstract:
This paper focuses on the formulation of 3-step hybrid Adams type method for the solution of first order differential equation (ODE). The methods which was derived on both grid and off grid points using multistep collocation schemes and also evaluated at some points to produced Block Adams type method and Adams moulton method respectively. The method with the highest order was selected to serve as the corrector. The convergence was valid and efficient. The numerical experiments were carried out and reveal that hybrid Adams type methods performed better than the conventional Adams moulton method.Keywords: adam-moulton type (amt), corrector method, off-grid, block method, convergence analysis
Procedia PDF Downloads 6267033 Comparison of Physico-Mechanical Properties of Superplasticizer Stabilized Graphene Oxide and Carbon Nanotubes Reinforced Cement Nanocomposites
Authors: Ramanjit Kaur, N. C. Kothiyal
Abstract:
The present study compares the improved mechanical strength of cement mortar nanocomposites (CNCs) using polycarboxylate superplasticizer (PCE-SP) stabilized graphene oxide or functionalized carbon nanotubes (SP-GO and SP-FCNT) as reinforcing agents. So, in the present study, GO, and FCNT have been sterically stabilized via superplasticizer. The obtained results have shown that a dosage of 0.02 wt% of SP-GO and 0.08 wt% of SP-FCNTs showed an improvement in compressive strength by 23.2% and 16.5%, respectively. On the other hand, incorporation of 0.04% SP-GO and SP-FCNT resulted in an enhanced split tensile strength of 38.5% and 35.8%, respectively, as compared to the control sample at 90 days of curing. Mercury Intrusion Porosimetry (MIP) observations presented a decline in the porosity of 0.02% SP-GO-CNCs and 0.08% SP-FCNT-CNCs by 25% and 31% in comparison to the control sample. The improved hydration of CNCs contributing to the enhancement of physicomechanical strength has also been shown by SEM and XRD studies.Keywords: graphene oxide, functionalized CNTs, steric stabilization, microstructure, crystalline behavior, pore structure refinement
Procedia PDF Downloads 1077032 Study of Physico-Chimical Properties of a Silty Soil
Authors: Moulay Smaïne Ghembaza, Mokhtar Dadouch, Nour-Said Ikhlef
Abstract:
Soil treatment is to make use soil that does not have the characteristics required in a given context. We limit ourselves in this work to the field of road earthworks where we have chosen to develop a local material in the region of Sidi Bel Abbes (Algeria). This material has poor characteristics not meeting the standards used in road geo technics. To remedy this, firstly, we were trying to improve the Proctor Standard characteristics of this material by mechanical treatment increasing the compaction energy. Then, by a chemical treatment, adding some cement dosages, our results show that this material classified A1h a increase maximum dry density and a reduction in the water content of compaction. A comparative study is made on the optimal properties of the material between the two modes of treatment. On the other hand, after treatment, one finds a decrease in the plasticity index and the methylene blue value. This material exhibits a change of class. Therefore, soil class CL turned into a soil class composed CL-ML (Silt of low plasticity). This observation allows this material to be used as backfill or sub grade.Keywords: treatment of soil, cement, subgrade, Atteberg limits, classification, optimum proctor properties
Procedia PDF Downloads 4727031 Lyapunov Type Inequalities for Fractional Impulsive Hamiltonian Systems
Authors: Kazem Ghanbari, Yousef Gholami
Abstract:
This paper deals with study about fractional order impulsive Hamiltonian systems and fractional impulsive Sturm-Liouville type problems derived from these systems. The main purpose of this paper devotes to obtain so called Lyapunov type inequalities for mentioned problems. Also, in view point on applicability of obtained inequalities, some qualitative properties such as stability, disconjugacy, nonexistence and oscillatory behaviour of fractional Hamiltonian systems and fractional Sturm-Liouville type problems under impulsive conditions will be derived. At the end, we want to point out that for studying fractional order Hamiltonian systems, we will apply recently introduced fractional Conformable operators.Keywords: fractional derivatives and integrals, Hamiltonian system, Lyapunov-type inequalities, stability, disconjugacy
Procedia PDF Downloads 3567030 Hypoglycemic Coma in Elderly Patients with Diabetes mellitus
Authors: D. Furuya, H. Ryujin, S. Takahira, Y. Sekine, Y. Oya, K. Sonoda, H. Ogawa, Y. Nomura, R. Maruyama, H. Kim, T. Kudo, A. Nakano, T. Saruta, S. Sugita, M. Nemoto, N. Tanahashi
Abstract:
Purpose: To study the clinical characteristics of hypoglycemic coma in adult patients with type 1 or type 2 diabetes mellitus (DM). Methods: Participants in this retrospective study comprised 91 patients (54 men, 37 women; mean age ± standard deviation, 71.5 ± 12.6 years; range, 42-97 years) brought to our emergency department by ambulance with disturbance of consciousness in the 7 years from April 2007 to March 2014. Patients with hypoglycemia caused by alcoholic ketoacidosis, nutrition disorder, malignancies and psychological disorder were excluded. Results: Patients with type 1 (8 of 91) or type 2 DM (83 of 91) were analyzed. Mean blood sugar level was 31.6 ± 10.4 in all patients. A sulfonylurea (SU) was more commonly used in elderly (>75 years old; n=44)(70.5%) than in younger patients (36.2%, p < 0.05). Cases showing prolonged unconsciousness (range, 1 hour to 21 days; n=30) included many (p < 0.05) patients with dementia (13.3%; 0.5% without dementia) and fewer (p < 0.05) patients with type 1 DM (0%; 13.1% in type 2 DM). Specialists for DM (n=33) used SU less often (24.2%) than general physicians (69.0%, p < 0.05). Conclusion: In cases of hypoglycemic coma, SU was frequently used in elderly patients with DM.Keywords: hypoglycemic coma, Diabetes mellitus, unconsciousness, elderly patients
Procedia PDF Downloads 4907029 The Organizational Commitment of the Public Enterprises in Thailand
Authors: Routsukol Sunalai
Abstract:
The purpose of this study is to examine the impact of public enterprise reform policy on the attributes of organizational commitments in the public energy enterprises in Thailand. It compares three structural types of public energy enterprises: Totally state-owned public enterprises (type I), partially transformed public enterprises (type II), and totally transformed public enterprises (type III), based on the degree of state partially transformed public enterprises (type II), and totally transformed public enterprises (type III),based on the degree of reformed organizations, by analyzing the presence of the desirable attributes of organizational commitment as perceived by employees. Findings indicate that there are statistically significant differences in the level of some dimensions of organizational commitment (affective commitment and normative commitment) between the three types of public energy enterprises. The lack of a structural type difference holds for only continuance commitment. The results also indicate empirical evidence concerning the causal relationship between the antecedents and including organizational commitment also.Keywords: management control, organizational commitment, public enterprises in Thailand, public enterprise reform
Procedia PDF Downloads 2907028 Environmental Pollution and Health Risks of Residents Living near Ewekoro Cement Factory, Ewekoro, Nigeria
Authors: Michael Ajide Oyinloye
Abstract:
The natural environment is made up of air, water and soil. The release of emission of industrial waste into anyone of the components of the environment causes pollution. Industrial pollution significantly threatens the inherent right of people, to the enjoyment of a safe and secure environment. The aim of this paper is to assess the effect of environmental pollution and health risks of residents living near Ewekoro Cement factory. The research made use of IKONOS imagery for Geographical Information System (GIS) to buffer and extract buildings that are less than 1 km to the plant, within 1 km to 5 km and above 5 km to the factory. Also, a questionnaire was used to elicit information on the socio-economic factors, the effect of environmental pollution on residents and measures adopted to control industrial pollution on the residents. Findings show that most buildings that between less than 1 km and 1 km to 5 km to the factory have high health risk in the study area. The study recommended total relocation for the residents of the study area to reduce risk health problems.Keywords: environmental pollution, health risk, GIS, satellite imagery, ewekoro
Procedia PDF Downloads 5447027 Residual Modulus of Elasticity of Self-Compacting Concrete Incorporated Unprocessed Waste Fly Ash after Expose to the Elevated Temperature
Authors: Mohammed Abed, Rita Nemes, Salem Nehme
Abstract:
The present study experimentally investigated the impact of incorporating unprocessed waste fly ash (UWFA) on the residual mechanical properties of self-compacting concrete (SCC) after exposure to elevated temperature. Three mixtures of SCC have been produced by replacing the cement mass by 0%, 15% and 30% of UWFA. Generally, the fire resistance of SCC has been enhanced by replacing the cement up to 15% of UWFA, especially in case of residual modulus of elasticity which considers more sensitive than other mechanical properties at elevated temperature. However, a strong linear relationship has been observed between the residual flexural strength and modulus of elasticity, where both of them affected significantly by the cracks appearance and propagation as a result of elevated temperature. Sustainable products could be produced by incorporating unprocessed waste powder materials in the production of concrete, where the waste materials, CO2 emissions, and the energy needed for processing are reduced.Keywords: self-compacting high-performance concrete, unprocessed waste fly ash, fire resistance, residual modulus of elasticity
Procedia PDF Downloads 1357026 Effect of Bamboo Chips in Cemented Sand Soil on Permeability and Mechanical Properties in Triaxial Compression
Authors: Sito Ismanti, Noriyuki Yasufuku
Abstract:
Cement utilization to improve the properties of soil is a well-known method applied in field. However, its addition in large quantity must be controlled. This study presents utilization of natural and environmental-friendly material mixed with small amount of cement content in soil improvement, i.e. bamboo chips. Absorbability, elongation, and flatness ratio of bamboo chips were examined to investigate and understand the influence of its characteristics in the mixture. Improvement of dilation behavior as a problem of loose and poorly graded sand soil is discussed. Bamboo chips are able to improve the permeability value that affects the dilation behavior of cemented sand soil. It is proved by the stress path as the result of triaxial compression test in the undrained condition. The effect of size and content variation of bamboo chips, as well as the curing time variation are presented and discussed.Keywords: bamboo chips, permeability, mechanical properties, triaxial compression
Procedia PDF Downloads 3337025 A Formal Verification Approach for Linux Kernel Designing
Authors: Zi Wang, Xinlei He, Jianghua Lv, Yuqing Lan
Abstract:
Kernel though widely used, is complicated. Errors caused by some bugs are often costly. Statically, more than half of the mistakes occur in the design phase. Thus, we introduce a modeling method, KMVM (Linux Kernel Modeling and verification Method), based on type theory for proper designation and correct exploitation of the Kernel. In the model, the Kernel is separated into six levels: subsystem, dentry, file, struct, func, and base. Each level is treated as a type. The types are specified in the structure and relationship. At the same time, we use a demanding path to express the function to be implemented. The correctness of the design is verified by recursively checking the type relationship and type existence. The method has been applied to verify the OPEN business of VFS (virtual file system) in Linux Kernel. Also, we have designed and developed a set of security communication mechanisms in the Kernel with verification.Keywords: formal approach, type theory, Linux Kernel, software program
Procedia PDF Downloads 1407024 Apolipoprotein E Gene Polymorphism and Its Association with Cardiovascular Heart Disease Risk Factors in Type 2 Diabetes Mellitus
Authors: Amani Ashari, Julia Omar, Arif Hashim, Shahrul Hamid
Abstract:
Apolipoprotein E (APOE) gene polymorphism has influence on serum lipids which relates to cardiovascular risk. The purpose of this study was to determine the frequency distribution of APOE alleles among Malaysian Type 2 Diabetes Mellitus (DM) patients with and without coronary artery disease (CAD) and their association with serum lipid profiles. A total of 115 patients were recruited in which 78 patients had Type 2 DM without CAD and 37 patients had Type 2 DM with CAD. The APOE polymorphism was detected by polymerase chain reaction-restriction fragment length polymorphism (PCR-RFLP). The APOE ɛ3 allele was the most common one in both groups. There was no significant association between the APOE genotypes and the CAD status in Type 2 DM using Pearson χ2 test. Further analysis indicated there were no significant differences in all lipid parameters between E2, E3 and E4 subgroups in both groups. The study showed that the E4 allele carriers of Type 2 DM with CAD patients had higher LDL-C level and lower HDL-C level compared to the other allele carriers. However, analyses showed these levels were not statistically different. The study also showed that the Type 2 DM with CAD group with E2 allele had higher triglyceride (TG). In conclusion, further study with larger sample size is needed to confirm role of E4 as a marker of CAD among Type 2 DM patients in Malaysian population.Keywords: Apolipoprotein E, diabetes mellitus, cardiovascular disease, lipids
Procedia PDF Downloads 2937023 Evaluation of Fresh, Strength and Durability Properties of Self-Compacting Concrete Incorporating Bagasse Ash
Authors: Abdul Haseeb Wani, Shruti Sharma, Rafat Siddique
Abstract:
Self-compacting concrete is an engineered concrete that flows and de-airs without additional energy input. Such concrete requires a high slump which can be achieved by the addition of superplasticizers to the concrete mix. In the present work, bagasse ash is utilised as a replacement of cement in self-compacting concrete. This serves the purpose of both land disposal and environmental concerns related to the disposal of bagasse ash. Further, an experimental program was carried out to study the fresh, strength, and durability properties of self-compacting concrete made with bagasse ash. The mixes were prepared with four percentages (0, 5, 10 and 15) of bagasse ash as partial replacement of cement. Properties investigated were; Slump-flow, V-funnel and L-box, Compressive strength, Splitting tensile strength, Chloride-ion penetration resistance and Water absorption. Compressive and splitting tensile strength tests were conducted at the age of 7 and 28 days. Rapid chloride-ion permeability test was carried at the age of 28 days and water absorption test was carried out at the age of 7 days after initial curing of 28 days. Test results showed that there is an increase in the compressive strength and splitting tensile strength of the concrete specimens having up to 10% replacement level, however, there is a slight decrease at 15% level of replacement. Resistance to chloride-ion penetration of the specimens increased as the percentage of replacement was increased. The charge passed in all the specimens containing bagasse ash was lower than that of the specimen without bagasse ash. Water absorption of the specimens decreased up to 10% replacement level and increased at 15% level of replacement. Hence, it can be concluded that optimum level of replacement of cement with bagasse ash in self-compacting concrete comes out to be 10%; at which the self-compacting concrete has satisfactory flow characteristics (as per the European guidelines), improved compressive and splitting tensile strength and better durability properties as compared to the control mix.Keywords: bagasse ash, compressive strength, self-compacting concrete, splitting tensile strength
Procedia PDF Downloads 3527022 Porosity Characterization and Its Destruction by Authigenic Minerals: Reservoir Sandstones, Mamuniyat Formation, Murzuq Basin, SW Libya
Authors: Mohamrd Ali Alrabib
Abstract:
Sandstones samples were selected from cores of seven wells ranging in depth from 5040 to 7181.4 ft. The dominant authigenic cement phase is quartz overgrowth cement (up to 13% by volume) and this is the major mechanism for porosity reduction. Late stage carbonate cements (siderite and dolomite/ferroan dolomite) are present and these minerals infill intergranular porosity and, therefore, further reduce porosity and probably permeability. Authigenic clay minerals are represented by kaolinite, illite, and grain coating clay minerals. Kaolinite occurs as booklet and vermicular forms. Minor amounts of illite were noted in the studied samples, which commonly block pore throats, thereby reducing permeability. Primary porosity of up to 26.5% is present. Secondary porosity (up to 17%) is also present as a result of feldspar dissolution. The high intergranular volume (IGV) of the sandstones indicates that mechanical and chemical compaction played a more important role than cementation of porosity loss.Keywords: authigenic minerals, porosity types, porosity reduction, mamuniyat sandstone reservoir
Procedia PDF Downloads 3777021 Vertically Grown P–Type ZnO Nanorod on Ag Thin Film
Authors: Jihyun Park, Tae Il Lee, Jae-Min Myoung
Abstract:
A Silver (Ag) thin film is introduced as a template and doping source for vertically aligned p–type ZnO nanorods. ZnO nanorods were grown using a ammonium hydroxide based hydrothermal process. During the hydrothermal process, the Ag thin film was dissolved to generate Ag ions in the solution. The Ag ions can contribute to doping in the wurzite structure of ZnO and the (111) grain of Ag thin film can be the epitaxial temporal template for the (0001) plane of ZnO. Hence, Ag–doped p–type ZnO nanorods were successfully grown on the substrate, which can be an electrode or semiconductor for the device application. To demonstrate the potentials of this idea, p–n diode was fabricated and its electrical characteristics were demonstrated.Keywords: hydrothermal process, Ag–doped ZnO nanorods, p–type ZnO
Procedia PDF Downloads 4657020 Evaluation of Best-Fit Probability Distribution for Prediction of Extreme Hydrologic Phenomena
Authors: Karim Hamidi Machekposhti, Hossein Sedghi
Abstract:
The probability distributions are the best method for forecasting of extreme hydrologic phenomena such as rainfall and flood flows. In this research, in order to determine suitable probability distribution for estimating of annual extreme rainfall and flood flows (discharge) series with different return periods, precipitation with 40 and discharge with 58 years time period had been collected from Karkheh River at Iran. After homogeneity and adequacy tests, data have been analyzed by Stormwater Management and Design Aid (SMADA) software and residual sum of squares (R.S.S). The best probability distribution was Log Pearson Type III with R.S.S value (145.91) and value (13.67) for peak discharge and Log Pearson Type III with R.S.S values (141.08) and (8.95) for maximum discharge in Jelogir Majin and Pole Zal stations, respectively. The best distribution for maximum precipitation in Jelogir Majin and Pole Zal stations was Log Pearson Type III distribution with R.S.S values (1.74&1.90) and then Pearson Type III distribution with R.S.S values (1.53&1.69). Overall, the Log Pearson Type III distributions are acceptable distribution types for representing statistics of extreme hydrologic phenomena in Karkheh River at Iran with the Pearson Type III distribution as a potential alternative.Keywords: Karkheh River, Log Pearson Type III, probability distribution, residual sum of squares
Procedia PDF Downloads 1977019 Hydration Behavior of Belitic Cement in the Presence of Na₂CO₃, NaOH, KOH, and Water Glass
Authors: F. Amor, A. Bouregba, N. El Fami, A. Diouri
Abstract:
This study provides insights into the role of alkalis in modifying the hydration kinetics and microstructural development of β-dicalcium silicate, highlighting potential pathways for enhancing the performance of belite-based cements in various construction applications. It investigates the behavior of β-dicalcium silicates (β-Ca₂SiO₄) when hydrated in various alkaline environments, including deionized water and solutions containing 2M concentrations of Na₂CO₃, NaOH, KOH, and water glass. The dicalcium silicate was synthesized with laboratory reagents, calcium carbonate, and gel silica. The hydration process was carried out over different periods, ranging from 7 to 90 days. The hydrated samples were characterized using X-ray diffraction, infrared spectroscopy, and scanning electron microscopy, while the mechanical strength tests were performed at 28 and 90 days. The results indicate that the presence of alkalis significantly influences the hydration of belite cement. Early hydration is accelerated, which is evident from the faster dissolution of C₂S, a decrease in C₂S peaks, and the formation of C-S-H products, including sodium-containing C-(N)-S-H and potassium-containing C-(K)-S-H.Keywords: dicalcium silicate, alkali activator, hydration, water glass, Na₂CO₃, NaOH, KOH
Procedia PDF Downloads 177018 Investigating the Mechanical Properties of Geopolymer Concrete Containing Microencapsulated Phase Change Materials
Authors: Shima Pilehvar, Vinh Duy Cao, Anna M. Szczotok, Anna-Lena Kjøniksen
Abstract:
Micro encapsulated phase change materials (MPCM) may be utilized to increase the energy efficiency of buildings by the addition of MPCM to concrete structures. However, addition of MPCM to Portland cement concrete is known to reduce the compressive strength of the concrete. Accordingly, it is interesting to also examine the effect of adding MPCM to geopolymer concrete. Geopolymer binder is synthesized by mixing aluminosilicate materials in amorphous form with a strong alkali activator, and have a much lower CO2 footprint than Portland cement concrete. In this study, the mechanical properties of fly ash-based geopolymer concrete with different types and contents of MPCM were investigated at different curing temperatures. The aim was to find the optimum amount of MPCM which still maintain the workability and compressive strength at an acceptable level. The results revealed that both workability and compressive strength of geopolymer concrete decrease after adding MPCM. Also, the percentage of strength reduction can be variable by different types of MPCM.Keywords: compressive strength, concrete, curing, geopolymer, micro-encapsulated PCM
Procedia PDF Downloads 4157017 Point Estimation for the Type II Generalized Logistic Distribution Based on Progressively Censored Data
Authors: Rana Rimawi, Ayman Baklizi
Abstract:
Skewed distributions are important models that are frequently used in applications. Generalized distributions form a class of skewed distributions and gain widespread use in applications because of their flexibility in data analysis. More specifically, the Generalized Logistic Distribution with its different types has received considerable attention recently. In this study, based on progressively type-II censored data, we will consider point estimation in type II Generalized Logistic Distribution (Type II GLD). We will develop several estimators for its unknown parameters, including maximum likelihood estimators (MLE), Bayes estimators and linear estimators (BLUE). The estimators will be compared using simulation based on the criteria of bias and Mean square error (MSE). An illustrative example of a real data set will be given.Keywords: point estimation, type II generalized logistic distribution, progressive censoring, maximum likelihood estimation
Procedia PDF Downloads 1987016 Airfield Pavements Made of Reinforced Concrete: Dimensioning According to the Theory of Limit States and Eurocode
Abstract:
In the previous airfield construction industry, pavements made of reinforced concrete have been used very rarely; however, the necessity to use this type of pavements in an emergency situations justifies the need reference to this issue. The paper concerns the problem of airfield pavement dimensioning made of reinforced concrete and the evaluation of selected dimensioning methods of reinforced concrete slabs intended for airfield pavements. Analysis of slabs dimensioning, according to classical method of limit states has been performed and it has been compared to results obtained in case of methods complying with Eurocode 2 guidelines. Basis of an analysis was a concrete slab of class C35/45 with reinforcement, located in tension zone. Steel bars of 16.0 mm have been used as slab reinforcement. According to comparative analysis of obtained results, conclusions were reached regarding application legitimacy of the discussed methods and their design advantages.Keywords: rainforced concrete, cement concrete, airport pavements, dimensioning
Procedia PDF Downloads 256