Search results for: hygrothermal properties
4528 Nanocrystalline Na0.1V2O5.nH2Oxerogel Thin Film for Gas Sensing
Authors: M. S. Al-Assiri, M. M. El-Desoky, A. A. Bahgat
Abstract:
Nanocrystalline thin film of Na0.1V2O5.nH2O xerogel obtained by sol-gel synthesis was used as a gas sensor. Gas sensing properties of different gases such as hydrogen, petroleum and humidity were investigated. Applying XRD and TEM the size of the nanocrystals is found to be 7.5 nm. SEM shows a highly porous structure with submicron meter-sized voids present throughout the sample. FTIR measurement shows different chemical groups identifying the obtained series of gels. The sample was n-type semiconductor according to the thermoelectric power and electrical conductivity. It can be seen that the sensor response curves from 130°C to 150°C show a rapid increase in sensitivity for all types of gas injection, low response values for heating period and the rapid high response values for cooling period. This result may suggest that this material is able to act as gas sensor during the heating and cooling process.Keywords: sol-gel, thermoelectric power, XRD, TEM, gas sensing
Procedia PDF Downloads 2964527 Identifying Chaotic Architecture: Origins of Nonlinear Design Theory
Authors: Mohammadsadegh Zanganehfar
Abstract:
Since the modernism, movement, and appearance of modern architecture, an aggressive desire for a general design theory in the theoretical works of architects in the form of books and essays emerges. Since Robert Venturi and Denise Scott Brown’s published complexity and contradiction in architecture in 1966, the discourse of complexity and volumetric composition has been an important and controversial issue in the discipline. Ever since various theories and essays were involved in this discourse, this paper attempt to identify chaos theory as a scientific model of complexity and its relation to architecture design theory by conducting a qualitative analysis and multidisciplinary critical approach through architecture and basic sciences resources. As a result, we identify chaotic architecture as the correlation of chaos theory and architecture as an independent nonlinear design theory with specific characteristics and properties.Keywords: architecture complexity, chaos theory, fractals, nonlinear dynamic systems, nonlinear ontology
Procedia PDF Downloads 3644526 DNA Intercalating Alkaloids Isolated from Chelidonium majus (Papaveraceae)
Authors: Mohamed Tamer, Wink Michael
Abstract:
DNA intercalating agents increase the stability of DNA which can be demonstrated by measuring the melting temperature Tm. Tm can be determined in a spectrophotometer in which the cell temperature is increased gradually. The resulting absorption data comes as a sigmoidal curve from which melting temperature can be determined when half of the DNA has denatured. The current study aims to assess DNA intercalating activities of four pure bioactive isoquinoline alkaloids: sanguinarine, berberine, allocryptopine, and chelerythrine which were isolated from Chelidonium majus (Papaveraceae) by repeated silica gel column chromatography, recrystallization and preparative TLC. The isolated compounds were identified by comparing their physical properties and mass spectra with those of the published data. The results showed that sanguiarine is the most active intercalating agent with Tm value of 83.55 ± 0.49 followed by berberine, chelerythrine, and allocryptopine with Tm values 62.58 ± 0.47, 51.38 ± 0.37 and 50.94 ± 0.65, respectively, relative to 49.78 ± 1.05 of bacteriophage DNA alone and 86.09 ± 0.5 for ethidium bromide as a positive control.Keywords: alkaloids, Chelidonium majus, DNA intercalation, Tm
Procedia PDF Downloads 4904525 Kerr Electric-Optic Measurement of Electric Field and Space Charge Distribution in High Voltage Pulsed Transformer Oil
Authors: Hongda Guo, Wenxia Sima
Abstract:
Transformer oil is widely used in power systems because of its excellent insulation properties. The accurate measurement of electric field and space charge distribution in transformer oil under high voltage impulse has important theoretical and practical significance, but still remains challenging to date because of its low Kerr constant. In this study, the continuous electric field and space charge distribution over time between parallel-plate electrodes in high-voltage pulsed transformer oil based on the Kerr effect is directly measured using a linear array photoelectrical detector. Experimental results demonstrate the applicability and reliability of this method. This study provides a feasible approach to further study the space charge effects and breakdown mechanisms in transformer oil.Keywords: electric field, Kerr, space charge, transformer oil
Procedia PDF Downloads 3564524 Photocatalytic Conversion of Water/Methanol Mixture into Hydrogen Using Cerium/Iron Oxides Based Structures
Authors: Wael A. Aboutaleb, Ahmed M. A. El Naggar, Heba M. Gobara
Abstract:
This research work reports the photocatalytic production of hydrogen from water-methanol mixture using three different 15% ceria/iron oxide catalysts. The catalysts were prepared by physical mixing, precipitation, and ultrasonication methods and labeled as catalysts A-C. The structural and texture properties of the obtained catalysts were confirmed by X-ray diffraction (XRD), BET-surface area analysis and transmission electron microscopy (TEM). The photocatalytic activity of the three catalysts towards hydrogen generation was then tested. Promising hydrogen productivity was obtained by the three catalysts however different gases compositions were obtained by each type of catalyst. Specifically, catalyst A had produced hydrogen mixed with CO₂ while the composite structure (catalyst B) had generated only pure H₂. In the case of catalyst C, syngas made of H₂ and CO was revealed, as a novel product, for the first time, in such process.Keywords: hydrogen production, water splitting, photocatalysts, clean energy
Procedia PDF Downloads 2294523 In-Situ Formation of Particle Reinforced Aluminium Matrix Composites by Laser Powder Bed Fusion of Fe₂O₃/AlSi12 Powder Mixture Using Consecutive Laser Melting+Remelting Strategy
Authors: Qimin Shi, Yi Sun, Constantinus Politis, Shoufeng Yang
Abstract:
In-situ preparation of particle-reinforced aluminium matrix composites (PRAMCs) by laser powder bed fusion (LPBF) additive manufacturing is a promising strategy to strengthen traditional Al-based alloys. The laser-driven thermite reaction can be a practical mechanism to in-situ synthesize PRAMCs. However, introducing oxygen elements through adding Fe₂O₃ makes the powder mixture highly sensitive to form porosity and Al₂O₃ film during LPBF, bringing challenges to producing dense Al-based materials. Therefore, this work develops a processing strategy combined with consecutive high-energy laser melting scanning and low-energy laser remelting scanning to prepare PRAMCs from a Fe₂O₃/AlSi12 powder mixture. The powder mixture consists of 5 wt% Fe₂O₃ and the remainder AlSi12 powder. The addition of 5 wt% Fe₂O₃ aims to achieve balanced strength and ductility. A high relative density (98.2 ± 0.55 %) was successfully obtained by optimizing laser melting (Emelting) and laser remelting surface energy density (Eremelting) to Emelting = 35 J/mm² and Eremelting = 5 J/mm². Results further reveal the necessity of increasing Emelting, to improve metal liquid’s spreading/wetting by breaking up the Al₂O₃ films surrounding the molten pools; however, the high-energy laser melting produced much porosity, including H₂₋, O₂₋ and keyhole-induced pores. The subsequent low-energy laser remelting could close the resulting internal pores, backfill open gaps and smoothen solidified surfaces. As a result, the material was densified by repeating laser melting and laser remelting layer by layer. Although with two-times laser scanning, the microstructure still shows fine cellular Si networks with Al grains inside (grain size of about 370 nm) and in-situ nano-precipitates (Al₂O₃, Si, and Al-Fe(-Si) intermetallics). Finally, the fine microstructure, nano-structured dispersion strengthening, and high-level densification strengthened the in-situ PRAMCs, reaching yield strength of 426 ± 4 MPa and tensile strength of 473 ± 6 MPa. Furthermore, the results can expect to provide valuable information to process other powder mixtures with severe porosity/oxide-film formation potential, considering the evidenced contribution of laser melting/remelting strategy to densify material and obtain good mechanical properties during LPBF.Keywords: densification, laser powder bed fusion, metal matrix composites, microstructures, mechanical properties
Procedia PDF Downloads 1474522 The Effect of Solution pH of Chitosan on Antimicrobial Properties of Nylon 6,6 Fabrics
Authors: Nilüfer Yıldız Varan
Abstract:
The antimicrobial activities of chitosan against various bacteria and fungi are well known, and the antimicrobial activity of chitosan depends on pH. This study investigates the antimicrobial activity at different pH levels. Nylon 6,6 fabrics were treated with different chitosan solutions. Additionally, samples were treated also in basic conditions to see the antimicrobial activities. AATCC Test Method 100 was followed to evaluate the antimicrobial activity using Staphylococcus aureus ATCC 6538 test inoculum. The pH of the chitosan solutions was controlled below 6.5 since chitosan shows its antimicrobial activity only in acidic conditions because of its poor solubility above 6.5. In basic conditions, the samples did not show any antimicrobial activity. It appears from SEM images that the bonded chitosan in the structures exists. In acidic media (ph < 6.5), all samples showed antimicrobial activity. No correlation was found between pH levels and antimicrobial activity in acidic media.Keywords: chitosan, nylon 6, 6, crosslinking, pH stability, antimicrobial
Procedia PDF Downloads 2114521 Quantitative Structure Activity Relationship Model for Predicting the Aromatase Inhibition Activity of 1,2,3-Triazole Derivatives
Authors: M. Ouassaf, S. Belaidi
Abstract:
Aromatase is an estrogen biosynthetic enzyme belonging to the cytochrome P450 family, which catalyzes the limiting step in the conversion of androgens to estrogens. As it is relevant for the promotion of tumor cell growth. A set of thirty 1,2,3-triazole derivatives was used in the quantitative structure activity relationship (QSAR) study using regression multiple linear (MLR), We divided the data into two training and testing groups. The results showed a good predictive ability of the MLR model, the models were statistically robust internally (R² = 0.982) and the predictability of the model was tested by several parameters. including external criteria (R²pred = 0.851, CCC = 0.946). The knowledge gained in this study should provide relevant information that contributes to the origins of aromatase inhibitory activity and, therefore, facilitates our ongoing quest for aromatase inhibitors with robust properties.Keywords: aromatase inhibitors, QSAR, MLR, 1, 2, 3-triazole
Procedia PDF Downloads 1044520 Cycle-Oriented Building Components and Constructions Made from Paper Materials
Authors: Rebecca Bach, Evgenia Kanli, Nihat Kiziltoprak, Linda Hildebrand, Ulrich Knaack, Jens Schneider
Abstract:
The building industry has a high demand for resources and at the same time is responsible for a significant amount of waste created worldwide. Today's building components need to contribute to the protection of natural resources without creating waste. This is defined in the product development phase and impacts the product’s degree of being cycle-oriented. Paper-based materials show advantage due to their renewable origin and their ability to incorporate different functions. Besides the ecological aspects like renewable origin and recyclability the main advantages of paper materials are its light-weight but stiff structure, the optimized production processes and good insulation values. The main deficits from building technology’s perspective are the material's vulnerability to humidity and water as well as inflammability. On material level, those problems can be solved by coatings or through material modification. On construction level intelligent setup and layering of a building component can improve and also solve these issues. The target of the present work is to provide an overview of developed building components and construction typologies mainly made from paper materials. The research is structured in four parts: (1) functions and requirements, (2) preselection of paper-based materials, (3) development of building components and (4) evaluation. As part of the research methodology at first the needs of the building sector are analyzed with the aim to define the main areas of application and consequently the requirements. Various paper materials are tested in order to identify to what extent the requirements are satisfied and determine potential optimizations or modifications, also in combination with other construction materials. By making use of the material’s potentials and solving the deficits on material and on construction level, building components and construction typologies are developed. The evaluation and the calculation of the structural mechanics and structural principals will show that different construction typologies can be derived. Profiles like paper tubes can be used at best for skeleton constructions. Massive structures on the other hand can be formed by plate-shaped elements like solid board or honeycomb. For insulation purposes corrugated cardboard or cellulose flakes have the best properties, while layered solid board can be applied to prevent inner condensation. Enhancing these properties by material combinations for instance with mineral coatings functional constructions mainly out of paper materials were developed. In summary paper materials offer a huge variety of possible applications in the building sector. By these studies a general base of knowledge about how to build with paper was developed and is to be reinforced by further research.Keywords: construction typologies, cycle-oriented construction, innovative building material, paper materials, renewable resources
Procedia PDF Downloads 2674519 The Friction and Wear Behavior of 0.35 VfTiC-Ti3SiC2 Composite
Authors: M. Hadji, A. Haddad, Y. Hadji
Abstract:
The effects of boronizing treatment on the friction coefficient and wear behavior of 0.35 Vf TiC- Ti3 SiC2 composite were investigated. In order to modify the surface properties of Ti3SiC2, boronizing treatment was carried out through powder pack cementation in the 1150-1350 °C temperature range. After boronizing treatment, one mixture layer, composed of TiB2 and SiC, forms on the surface of Ti3SiC2. The growth of the coating is processed by inward diffusion of Boron and obeys a linear rule. The Boronizing treatment increases the hardness of Ti3SiC2 from 6 GPa to 13 GPa. In the pin-on-disc test, i twas found that the material undergoes a steady-state coefficient of friction of around 0.8 and 0.45 in case of Ti3SiC2/Al2O3 tribocouple under 7 N load for the non treated and the boronized samples, respectively. The wear resistance of Ti3SiC2 under Al2O3 ball sliding has been significantly improved, which indicated that the boronizing treatment is a promising surface modification way of Ti3SiC2.Keywords: MAX phase, boronizing, hardness, wear
Procedia PDF Downloads 3364518 Immune Activity of Roman Hens as Influenced by the Feed Formulated with Germinated Paddy Rice
Authors: Wirot Likittrakulwong, Pisit Poolprasert, Tossaporn Incharoen
Abstract:
Germinated paddy rice (GPR) has the potential to be used as a feed ingredient. However, their properties have not been fully investigated. This paper examined the nutrient digestibility and the relationship to immune activity in Roman hens fed with GPR. It was found that true and apparent metabolizable energy (ME) values of GPR were 3.20 and 3.28 kcal/g air dry, respectively. GPR exhibited high content of phytonutrients, especially GABA. GPR showed similar protein profiles in comparison to non-germinated paddy rice. For immune activity, the feed with GPR enhanced the immune activity of Roman hens under high stocking density stress as evidenced by the activity of superoxide dismutase (SOD) and lysozyme activity. In this study, GPR is proved to be a good source of functional ingredient for chicken feed.Keywords: germinated paddy rice, nutrient digestibility, immune activity, functional property
Procedia PDF Downloads 1514517 Polymer Nanocomposite Containing Silver Nanoparticles for Wound Healing
Authors: Patrícia Severino, Luciana Nalone, Daniele Martins, Marco Chaud, Classius Ferreira, Cristiane Bani, Ricardo Albuquerque
Abstract:
Hydrogels produced with polymers have been used in the development of dressings for wound treatment and tissue revitalization. Our study on polymer nanocomposites containing silver nanoparticles shows antimicrobial activity and applications in wound healing. The effects are linked with the slow oxidation and Ag⁺ liberation to the biological environment. Furthermore, bacterial cell membrane penetration and metabolic disruption through cell cycle disarrangement also contribute to microbial cell death. The silver antimicrobial activity has been known for many years, and previous reports show that low silver concentrations are safe for human use. This work aims to develop a hydrogel using natural polymers (sodium alginate and gelatin) combined with silver nanoparticles for wound healing and with antimicrobial properties in cutaneous lesions. The hydrogel development utilized different sodium alginate and gelatin proportions (20:80, 50:50 and 80:20). The silver nanoparticles incorporation was evaluated at the concentrations of 1.0, 2.0 and 4.0 mM. The physico-chemical properties of the formulation were evaluated using ultraviolet-visible (UV-Vis) absorption spectroscopy, Fourier transform infrared (FTIR) spectroscopy, differential scanning calorimetry (DSC), and thermogravimetric (TG) analysis. The morphological characterization was made using transmission electron microscopy (TEM). Human fibroblast (L2929) viability assay was performed with a minimum inhibitory concentration (MIC) assessment as well as an in vivo cicatrizant test. The results suggested that sodium alginate and gelatin in the (80:20) proportion with 4 mM of AgNO₃ in the (UV-Vis) exhibited a better hydrogel formulation. The nanoparticle absorption spectra of this analysis showed a maximum band around 430 - 450 nm, which suggests a spheroidal form. The TG curve exhibited two weight loss events. DSC indicated one endothermic peak at 230-250 °C, due to sample fusion. The polymers acted as stabilizers of a nanoparticle, defining their size and shape. Human fibroblast viability assay L929 gave 105 % cell viability with a negative control, while gelatin presented 96% viability, alginate: gelatin (80:20) 96.66 %, and alginate 100.33 % viability. The sodium alginate:gelatin (80:20) exhibited significant antimicrobial activity, with minimal bacterial growth at a ratio of 1.06 mg.mL⁻¹ in Pseudomonas aeruginosa and 0.53 mg.mL⁻¹ in Staphylococcus aureus. The in vivo results showed a significant reduction in wound surface area. On the seventh day, the hydrogel-nanoparticle formulation reduced the total area of injury by 81.14 %, while control reached a 45.66 % reduction. The results suggest that silver-hydrogel nanoformulation exhibits potential for wound dressing therapeutics.Keywords: nanocomposite, wound healing, hydrogel, silver nanoparticle
Procedia PDF Downloads 944516 Sequential Pulsed Electric Field and Ultrasound Assisted Extraction of Bioactive Enriched Fractions from Button Mushroom Stalks
Authors: Bibha Kumari, Nigel P. Brunton, Dilip K. Rai, Brijesh K. Tiwari
Abstract:
Edible mushrooms possess numerous functional components like homo- and hetero- β-glucans [β(1→3), β(1→4) and β(1→6) glucosidic linkages], chitins, ergosterols, bioactive polysaccharides and peptides imparting health beneficial properties to mushrooms. Some of the proven biological activities of mushroom extracts are antioxidant, antimicrobial, immunomodulatory, cholesterol lowering activity by inhibiting a key cholesterol metabolism enzyme i.e. 3-hydroxy-3-methyl-glutaryl CoA reductase (HMGCR), angiotensin I-converting enzyme (ACE) inhibition. Application of novel extraction technologies like pulsed electric field (PEF) and high power ultrasound offers clean, green, faster and efficient extraction alternatives with enhanced and good quality extracts. Sequential PEF followed by ultrasound assisted extraction (UAE) were applied to recover bioactive enriched fractions from industrial white button mushroom (Agaricus bisporus) stalk waste using environmentally friendly and GRAS solvents i.e. water and water/ethanol combinations. The PEF treatment was carried out at 60% output voltage, 2 Hz frequency for 500 pulses of 20 microseconds pulse width, using KCl salt solution of 0.6 mS/cm conductivity by the placing 35g of chopped fresh mushroom stalks and 25g of salt solution in the 4x4x4cm3 treatment chamber. Sequential UAE was carried out on the PEF pre-treated samples using ultrasonic-water-bath (USB) of three frequencies (25 KHz, 35 KHz and 45 KHz) for various treatment times (15-120 min) at 80°C. Individual treatment using either PEF or UAE were also investigation to compare the effect of each treatment along with the combined effect on the recovery and bioactivity of the crude extracts. The freeze dried mushroom stalk powder was characterised for proximate compositional parameters (dry weight basis) showing 64.11% total carbohydrate, 19.12% total protein, 7.21% total fat, 31.2% total dietary fiber, 7.9% chitin (as glucosamine equivalent) and 1.02% β-glucan content. The total phenolic contents (TPC) were determined by the Folin-Ciocalteu procedure and expressed as gallic-acid-equivalents (GAE). The antioxidant properties were ascertained using DPPH and FRAP assays and expressed as trolox-equivalents (TE). HMGCR activity and molecular mass of β-glucans will be measured using the commercial HMG-CoA Reductase Assay kit (Sigma-Aldrich) and size exclusion chromatography (HPLC-SEC), respectively. Effects of PEF, UAE and their combination on the antioxidant capacity, HMGCR inhibition and β-glucans content will be presented.Keywords: β-glucan, mushroom stalks, pulsed electric field (PEF), ultrasound assisted extraction (UAE)
Procedia PDF Downloads 2844515 Foliation and the First Law of Thermodynamics for the Kerr Newman Black Hole
Authors: Syed M. Jawwad Riaz
Abstract:
There has been a lot of interest in exploring the thermodynamic properties at the horizon of a black hole geometry. Earlier, it has been shown, for different spacetimes, that the Einstein field equations at the horizon can be expressed as a first law of black hole thermodynamics. In this paper, considering r = constant slices, for the Kerr-Newman black hole, shown that the Einstein field equations for the induced 3-metric of the hypersurface is expressed in thermodynamic quantities under the virtual displacements of the hypersurfaces. As expected, it is found that the field equations of the induced metric corresponding to the horizon can only be written as a first law of black hole thermodynamics. It is to be mentioned here that the procedure adopted is much easier, to obtain such results, as here one has to essentially deal with (n - 1)-dimensional induced metric for an n-dimensional spacetime.Keywords: black hole space-times, Einstein's field equation, foliation, hyper-surfaces
Procedia PDF Downloads 3324514 Characterization of Ultrasonic Nonlinearity in Concrete under Cyclic Change of Prestressing Force
Authors: Gyu-Jin Kim, Hyo-Gyoung Kwak
Abstract:
In this research, the effect of prestressing force on the nonlinearity of concrete was investigated by an experimental study. For the measurement of ultrasonic nonlinearity, a prestressed concrete beam was prepared and a nonlinear resonant ultrasound method was adopted. When the prestressing force changes, the stress state of the concrete inside the beam is affected, which leads to the occurrence of micro-cracks and changes in mechanical properties. Therefore, it is necessary to introduce nonlinear ultrasonic technology which sensitively reflects microstructural changes. Repetitive prestressing load history, including maximum levels of 45%, 60% and 75%, depending on the compressive strength, is designed to evaluate the impact of loading levels on the nonlinearity. With the experimental results, the possibility of ultrasonic nonlinearity as a trial indicator of stress was evaluated.Keywords: micro crack, nonlinear ultrasonic resonant spectroscopy, prestressed concrete beam, prestressing force, ultrasonic nonlinearity
Procedia PDF Downloads 2294513 Like Making an Ancient Urn: Metaphor Conceptualization of L2 Writing
Authors: Muhalim Muhalim
Abstract:
Drawing on Lakoff’s theory of metaphor conceptualization, this article explores the conceptualization of language two writing (L2W) of ten students-teachers in Indonesia via metaphors. The ten postgraduate English language teaching students and at the same time (former) English teachers received seven days of intervention in teaching and learning L2. Using introspective log and focus group discussion, the results illuminate us that all participants are unanimous on perceiving L2W as process-oriented rather than product-oriented activity. Specifically, the metaphor conceptualizations exhibit three categories of process-oriented L2W: deliberate process, learning process, and problem-solving process. However, it has to be clarified from the outset that this categorization is not rigid because some of the properties of metaphors might belong to other categories. Results of the study and implications for English language teaching will be further discussed.Keywords: metaphor conceptualisation, second language, learning writing, teaching writing
Procedia PDF Downloads 4054512 Failure Criterion for Mixed Mode Fracture of Cracked Wood Specimens
Authors: Mahdi Fakoor, Seyed Mohammad Navid Ghoreishi
Abstract:
Investigation of fracture of wood components can prevent from catastrophic failures. Created fracture process zone (FPZ) in crack tip vicinity has important effect on failure of cracked composite materials. In this paper, a failure criterion for fracture investigation of cracked wood specimens under mixed mode I/II loading is presented. This criterion is based on maximum strain energy release rate and material nonlinearity in the vicinity of crack tip due to presence of microcracks. Verification of results with available experimental data proves the coincidence of the proposed criterion with the nature of fracture of wood. To simplify the estimation of nonlinear properties of FPZ, a damage factor is also introduced for engineering and application purposes.Keywords: fracture criterion, mixed mode loading, damage zone, micro cracks
Procedia PDF Downloads 2884511 In Situ Production of Nano-Cu on a Cotton Fabric Surface by Ink-Jet Printing
Authors: N. Zoghi, Laleh Maleknia , M. E. Olya
Abstract:
The nano-Cu particles were produced on cotton fabric substrate by ink-jet printing technology with water-soluble ink, which was based on copper. The surface tension and viscosity of the prepared inks were evaluated. The ink-jet printing process was repeated 1, 3, and 5 times in order to evaluate variations in the optical properties by changing thickness of printed film. Following initial drying of the printed film, the samples were annealed at different temperatures (150 °C, 200 °C and 250 °C) to determine the optimum temperature for the parameters set out in this experiment. The prepared nano-Cu particles were characterized by XRD and UV spectroscopy. The appearance of printed image and the nano-Cu particles morphology were observed by SEM. The results demonstrated that the ink-jet printing technology can be used to produce nano-particles on the cotton fabrics surface.Keywords: ink-jet printing, nano-cu, fabric ink, in situ production, cotton fabric, water-soluble ink, morphology
Procedia PDF Downloads 4154510 Formal Verification for Ethereum Smart Contract Using Coq
Authors: Xia Yang, Zheng Yang, Haiyong Sun, Yan Fang, Jingyu Liu, Jia Song
Abstract:
The smart contract in Ethereum is a unique program deployed on the Ethereum Virtual Machine (EVM) to help manage cryptocurrency. The security of this smart contract is critical to Ethereum’s operation and highly sensitive. In this paper, we present a formal model for smart contract, using the separated term-obligation (STO) strategy to formalize and verify the smart contract. We use the IBM smart sponsor contract (SSC) as an example to elaborate the detail of the formalizing process. We also propose a formal smart sponsor contract model (FSSCM) and verify SSC’s security properties with an interactive theorem prover Coq. We found the 'Unchecked-Send' vulnerability in the SSC, using our formal model and verification method. Finally, we demonstrate how we can formalize and verify other smart contracts with this approach, and our work indicates that this formal verification can effectively verify the correctness and security of smart contracts.Keywords: smart contract, formal verification, Ethereum, Coq
Procedia PDF Downloads 6674509 Enhanced Weighted Centroid Localization Algorithm for Indoor Environments
Authors: I. Nižetić Kosović, T. Jagušt
Abstract:
Lately, with the increasing number of location-based applications, demand for highly accurate and reliable indoor localization became urgent. This is a challenging problem, due to the measurement variance which is the consequence of various factors like obstacles, equipment properties and environmental changes in complex nature of indoor environments. In this paper we propose low-cost custom-setup infrastructure solution and localization algorithm based on the Weighted Centroid Localization (WCL) method. Localization accuracy is increased by several enhancements: calibration of RSSI values gained from wireless nodes, repetitive measurements of RSSI to exclude deviating values from the position estimation, and by considering orientation of the device according to the wireless nodes. We conducted several experiments to evaluate the proposed algorithm. High accuracy of ~1m was achieved.Keywords: indoor environment, received signal strength indicator, weighted centroid localization, wireless localization
Procedia PDF Downloads 2224508 Evolution of Microstructure through Phase Separation via Spinodal Decomposition in Spinel Ferrite Thin Films
Authors: Nipa Debnath, Harinarayan Das, Takahiko Kawaguchi, Naonori Sakamoto, Kazuo Shinozaki, Hisao Suzuki, Naoki Wakiya
Abstract:
Nowadays spinel ferrite magnetic thin films have drawn considerable attention due to their interesting magnetic and electrical properties with enhanced chemical and thermal stability. Spinel ferrite magnetic films can be implemented in magnetic data storage, sensors, and spin filters or microwave devices. It is well established that the structural, magnetic and transport properties of the magnetic thin films are dependent on microstructure. Spinodal decomposition (SD) is a phase separation process, whereby a material system is spontaneously separated into two phases with distinct compositions. The periodic microstructure is the characteristic feature of SD. Thus, SD can be exploited to control the microstructure at the nanoscale level. In bulk spinel ferrites having general formula, MₓFe₃₋ₓ O₄ (M= Co, Mn, Ni, Zn), phase separation via SD has been reported only for cobalt ferrite (CFO); however, long time post-annealing is required to occur the spinodal decomposition. We have found that SD occurs in CoF thin film without using any post-deposition annealing process if we apply magnetic field during thin film growth. Dynamic Aurora pulsed laser deposition (PLD) is a specially designed PLD system through which in-situ magnetic field (up to 2000 G) can be applied during thin film growth. The in-situ magnetic field suppresses the recombination of ions in the plume. In addition, the peak’s intensity of the ions in the spectra of the plume also increases when magnetic field is applied to the plume. As a result, ions with high kinetic energy strike into the substrate. Thus, ion-impingement occurred under magnetic field during thin film growth. The driving force of SD is the ion-impingement towards the substrates that is induced by in-situ magnetic field. In this study, we report about the occurrence of phase separation through SD and evolution of microstructure after phase separation in spinel ferrite thin films. The surface morphology of the phase separated films show checkerboard like domain structure. The cross-sectional microstructure of the phase separated films reveal columnar type phase separation. Herein, the decomposition wave propagates in lateral direction which has been confirmed from the lateral composition modulations in spinodally decomposed films. Large magnetic anisotropy has been found in spinodally decomposed nickel ferrite (NFO) thin films. This approach approves that magnetic field is also an important thermodynamic parameter to induce phase separation by the enhancement of up-hill diffusion in thin films. This thin film deposition technique could be a more efficient alternative for the fabrication of self-organized phase separated thin films and employed in controlling of the microstructure at nanoscale level.Keywords: Dynamic Aurora PLD, magnetic anisotropy, spinodal decomposition, spinel ferrite thin film
Procedia PDF Downloads 3564507 Synthesis of Metal Curcumin Complexes with Iron(III) and Manganese(II): The Effects on Alzheimer's Disease
Authors: Emel Yildiz, Nurcan Biçer, Fazilet Aksu, Arash Alizadeh Yegani
Abstract:
Plants provide the wealth of bioactive compounds, which exert a substantial strategy for the treatment of neurological disorders such as Alzheimer's disease. Recently, a lot of studies have explored the medicinal properties of curcumin, including antitumoral, antimicrobial, anti-inflammatory, antioxidant, antiviral, and anti-Alzheimer's disease effects. Metal complexes of curcumin (1,7-bis(4-hydroxy-3-methoxyphenyl)-1,6-heptadiene-3,5-dione) were synthesized with Mn(II) and Fe(III). The structures of synthesized metal complexes have been characterized by using spectroscopic and analytic methods such as elemental analysis, magnetic susceptibility, FT-IR, AAS, TG and argentometric titration. It was determined that the complexes have octahedral geometry. The effects of the metal complexes on the disorder of memory, which is an important symptom of Alzheimer's Disease were studied on lab rats with Plus-Maze Tests at Behavioral Pharmacology Laboratory.Keywords: curcumin, Mn(II), Fe(III), Alzheimer disease, beta amyloid 25-35
Procedia PDF Downloads 2974506 Design and Analysis of Piping System with Supports Using CAESAR-II
Authors: M. Jamuna Rani, K. Ramanathan
Abstract:
A steam power plant is housed with various types of equipments like boiler, turbine, heat exchanger etc. These equipments are mainly connected with piping systems. Such a piping layout design depends mainly on stress analysis and flexibility. It will vary with respect to pipe geometrical properties, pressure, temperature, and supports. The present paper is to analyze the presence and effect of hangers and expansion joints in the piping layout/routing using CAESAR-II software. Main aim of piping stress analysis is to provide adequate flexibility for absorbing thermal expansion, code compliance for stresses and displacement incurred in piping system. The design is said to be safe if all these are in allowable range as per code. In this study, a sample problem is considered for analysis as per power piping ASME B31.1 code and the results thus obtained are compared.Keywords: ASTM B31.1, hanger, expansion joint, CAESAR-II
Procedia PDF Downloads 3524505 Nonlinear Optics of Dirac Fermion Systems
Authors: Vipin Kumar, Girish S. Setlur
Abstract:
Graphene has been recognized as a promising 2D material with many new properties. However, pristine graphene is gapless which hinders its direct application towards graphene-based semiconducting devices. Graphene is a zero-gapp and linearly dispersing semiconductor. Massless charge carriers (quasi-particles) in graphene obey the relativistic Dirac equation. These Dirac fermions show very unusual physical properties such as electronic, optical and transport. Graphene is analogous to two-level atomic systems and conventional semiconductors. We may expect that graphene-based systems will also exhibit phenomena that are well-known in two-level atomic systems and in conventional semiconductors. Rabi oscillation is a nonlinear optical phenomenon well-known in the context of two-level atomic systems and also in conventional semiconductors. It is the periodic exchange of energy between the system of interest and the electromagnetic field. The present work describes the phenomenon of Rabi oscillations in graphene based systems. Rabi oscillations have already been described theoretically and experimentally in the extensive literature available on this topic. To describe Rabi oscillations they use an approximation known as rotating wave approximation (RWA) well-known in studies of two-level systems. RWA is valid only near conventional resonance (small detuning)- when the frequency of the external field is nearly equal to the particle-hole excitation frequency. The Rabi frequency goes through a minimum close to conventional resonance as a function of detuning. Far from conventional resonance, the RWA becomes rather less useful and we need some other technique to describe the phenomenon of Rabi oscillation. In conventional systems, there is no second minimum - the only minimum is at conventional resonance. But in graphene we find anomalous Rabi oscillations far from conventional resonance where the Rabi frequency goes through a minimum that is much smaller than the conventional Rabi frequency. This is known as anomalous Rabi frequency and is unique to graphene systems. We have shown that this is attributable to the pseudo-spin degree of freedom in graphene systems. A new technique, which is an alternative to RWA called asymptotic RWA (ARWA), has been invoked by our group to discuss the phenomenon of Rabi oscillation. Experimentally accessible current density shows different types of threshold behaviour in frequency domain close to the anomalous Rabi frequency depending on the system chosen. For single layer graphene, the exponent at threshold is equal to 1/2 while in case of bilayer graphene, it is computed to be equal to 1. Bilayer graphene shows harmonic (anomalous) resonances absent in single layer graphene. The effect of asymmetry and trigonal warping (a weak direct inter-layer hopping in bilayer graphene) on these oscillations is also studied in graphene systems. Asymmetry has a remarkable effect only on anomalous Rabi oscillations whereas the Rabi frequency near conventional resonance is not significantly affected by the asymmetry parameter. In presence of asymmetry, these graphene systems show Rabi-like oscillations (offset oscillations) even for vanishingly small applied field strengths (less than the gap parameter). The frequency of offset oscillations may be identified with the asymmetry parameter.Keywords: graphene, Bilayer graphene, Rabi oscillations, Dirac fermion systems
Procedia PDF Downloads 2884504 Synthesis and Evaluation of Photovoltaic Properties of an Organic Dye for Dye-Sensitized Solar Cells
Authors: M. Hosseinnejad, K. Gharanjig
Abstract:
In the present study, metal free organic dyes were prepared and used as photo-sensitizers in dye-sensitized solar cells. Double rhodanine was utilized as the fundamental electron acceptor group to which electron donor aldehyde with varying substituents was attached to produce new organic dye. This dye was first purified and then characterized by analytical techniques. Spectrophotometric evaluations of the prepared dye in solution and on a nano anatase TiO2 substrate were carried out in order to assess possible changes in the status of the dyes in different environments. The results show that the dye form j-type aggregates on the nano TiO2. Additionally, oxidation potential measurements were also carried out. Finally, dye sensitized solar cell based on synthesized dye was fabricated in order to determine the photovoltaic behavior and conversion efficiency of individual dye.Keywords: conversion efficiency, dye-sensitized solar cell, photovoltaic behavior, sensitizer
Procedia PDF Downloads 1794503 Trace Metals in Natural Bottled Water on Montenegrin Market and Comaparison with Tap Water in Podgorica
Authors: Katarina Živković, Ivana Joksimović
Abstract:
Many different chemicals may occur in drinking water and cause significant human health risks after prolonged periods of exposure. In particular concern are contaminants that have cumulative toxic properties, such as heavy metals. This investigation was done to clarify concerns about chemical quality and safety of drinking tap water in Podgorica. For comparison, all available natural bottled water on Montenegrin market were bought. All samples (bottled water and tap water from Podgorica) were analyzed using ICP –OES on contents of Al, Cd, Pb, Cu, Zn,Cr, Fe, As and Mn. All results compared with the maximum concentration levels allowed by international standards and World Health Organization (WHO) guidelines. The results of analysis showed that all trace of heavy metals were very low and in same time below MCL according to WHO and International standard.Keywords: inductively coupled plasma - optical emission spectrometry (ICP-OES), Montenegro (Podgorica), natural bottled water, tap water , trace of heavy metal
Procedia PDF Downloads 4424502 Fabrication of SnO₂ Nanotube Arrays for Enhanced Gas Sensing Properties
Authors: Hsyi-En Cheng, Ying-Yi Liou
Abstract:
Metal-oxide semiconductor (MOS) gas sensors are widely used in the gas-detection market due to their high sensitivity, fast response, and simple device structures. However, the high working temperature of MOS gas sensors makes them difficult to integrate with the appliance or consumer goods. One-dimensional (1-D) nanostructures are considered to have the potential to lower their working temperature due to their large surface-to-volume ratio, confined electrical conduction channels, and small feature sizes. Unfortunately, the difficulty of fabricating 1-D nanostructure electrodes has hindered the development of low-temperature MOS gas sensors. In this work, we proposed a method to fabricate nanotube-arrays, and the SnO₂ nanotube-array sensors with different wall thickness were successfully prepared and examined. The fabrication of SnO₂ nanotube arrays incorporates the techniques of barrier-free anodic aluminum oxide (AAO) template and atomic layer deposition (ALD) of SnO₂. First, 1.0 µm Al film was deposited on ITO glass substrate by electron beam evaporation and then anodically oxidized by five wt% phosphoric acid solution at 5°C under a constant voltage of 100 V to form porous aluminum oxide. As the Al film was fully oxidized, a 15 min over anodization and a 30 min post chemical dissolution were used to remove the barrier oxide at the bottom end of pores to generate a barrier-free AAO template. The ALD using reactants of TiCl4 and H₂O was followed to grow a thin layer of SnO₂ on the template to form SnO₂ nanotube arrays. After removing the surface layer of SnO₂ by H₂ plasma and dissolving the template by 5 wt% phosphoric acid solution at 50°C, upright standing SnO₂ nanotube arrays on ITO glass were produced. Finally, Ag top electrode with line width of 5 μm was printed on the nanotube arrays to form SnO₂ nanotube-array sensor. Two SnO₂ nanotube-arrays with wall thickness of 30 and 60 nm were produced in this experiment for the evaluation of gas sensing ability. The flat SnO₂ films with thickness of 30 and 60 nm were also examined for comparison. The results show that the properties of ALD SnO₂ films were related to the deposition temperature. The films grown at 350°C had a low electrical resistivity of 3.6×10-3 Ω-cm and were, therefore, used for the nanotube-array sensors. The carrier concentration and mobility of the SnO₂ films were characterized by Ecopia HMS-3000 Hall-effect measurement system and were 1.1×1020 cm-3 and 16 cm3/V-s, respectively. The electrical resistance of SnO₂ film and nanotube-array sensors in air and in a 5% H₂-95% N₂ mixture gas was monitored by Pico text M3510A 6 1/2 Digits Multimeter. It was found that, at 200 °C, the 30-nm-wall SnO₂ nanotube-array sensor performs the highest responsivity to 5% H₂, followed by the 30-nm SnO₂ film sensor, the 60-nm SnO₂ film sensor, and the 60-nm-wall SnO₂ nanotube-array sensor. However, at temperatures below 100°C, all the samples were insensitive to the 5% H₂ gas. Further investigation on the sensors with thinner SnO₂ is necessary for improving the sensing ability at temperatures below 100 °C.Keywords: atomic layer deposition, nanotube arrays, gas sensor, tin dioxide
Procedia PDF Downloads 2384501 Supercritical CO2 Extraction of Cymbopogon martini Essential Oil and Comparison of Its Composition with Traditionally Extracted Oils
Authors: Aarti Singh, Anees Ahmad
Abstract:
Essential oil was extracted from lemon grass (Cymbopogon martini) with supercritical carbondioxide (SC-CO2) at pressure of 140 bar and temperature of 55 °C and CO2 flow rate of 8 gmin-1, and its composition and yield were compared with other conventional extraction methods of oil, HD (Hydrodistillation), SE (Solvent Extraction), UAE (Ultrasound Assisted Extraction). SC-CO2 extraction is a green and sustainable extraction technique. Each oil was analysed by GC-MS, the major constituents were neral (44%), Z-citral (43%), geranial (27%), caryophyllene (4.6%) and linalool (1%). The essential oil of lemon grass is valued for its neral and citral concentration. The oil obtained by supercritical carbon-dioxide extraction contained maximum concentration of neral (55.05%) whereas ultrasonication extracted oil contained minimum content (5.24%) and it was absent in solvent extracted oil. The antioxidant properties have been assessed by DPPH and superoxide scavenging methods.Keywords: cymbopogon martini, essential oil, FT-IR, GC-MS, HPTLC, SC-CO2
Procedia PDF Downloads 4514500 Part Performance Improvement through Design Optimisation of Cooling Channels in the Injection Moulding Process
Authors: M. A. Alhubail, A. I. Alateyah, D. Alenezi, B. Aldousiri
Abstract:
In this study conformal cooling channel (CCC) was employed to dissipate heat of, Polypropylene (PP) parts injected into the Stereolithography (SLA) insert to form tensile and flexural test specimens. The direct metal laser sintering (DMLS) process was used to fabricate a mould with optimised CCC, while optimum parameters of injection moulding were obtained using Optimal-D. The obtained results show that optimisation of the cooling channel layout using a DMLS mould has significantly shortened cycle time without sacrificing the part’s mechanical properties. By applying conformal cooling channels, the cooling time phase was reduced by 20 seconds, and also defected parts were eliminated.Keywords: optimum parameters, injection moulding, conformal cooling channels, cycle time
Procedia PDF Downloads 2184499 A DFT-Based QSARs Study of Kovats Retention Indices of Adamantane Derivatives
Authors: Z. Bayat
Abstract:
A quantitative structure–property relationship (QSPR) study was performed to develop models those relate the structures of 65 Kovats retention index (RI) of adamantane derivatives. Molecular descriptors derived solely from 3D structures of the molecular compounds. The usefulness of the quantum chemical descriptors, calculated at the level of the DFT theories using 6-311+G** basis set for QSAR study of adamantane derivatives was examined. The use of descriptors calculated only from molecular structure eliminates the need to experimental determination of properties for use in the correlation and allows for the estimation of RI for molecules not yet synthesized. The prediction results are in good agreement with the experimental value. A multi-parametric equation containing maximum Four descriptors at B3LYP/6-31+G** method with good statistical qualities (R2train=0.913, Ftrain=97.67, R2test=0.770, Ftest=3.21, Q2LOO=0.895, R2adj=0.904, Q2LGO=0.844) was obtained by Multiple Linear Regression using stepwise method.Keywords: DFT, adamantane, QSAR, Kovat
Procedia PDF Downloads 361