Search results for: Lyapunov function
3281 Effect of Hydroxyl Functionalization on the Mechanical and Fracture Behaviour of Monolayer Graphene
Authors: Akarsh Verma, Avinash Parashar
Abstract:
The aim of this article is to study the effects of hydroxyl functional group on the mechanical strength and fracture toughness of graphene. This functional group forms the backbone of intrinsic atomic structure of graphene oxide (GO). Molecular dynamics-based simulations were performed in conjunction with reactive force field (ReaxFF) parameters to capture the mode-I fracture toughness of hydroxyl functionalised graphene. Moreover, these simulations helped in concluding that spatial distribution and concentration of hydroxyl functional group significantly affects the fracture morphology of graphene nanosheet. In contrast to literature investigations, atomistic simulations predicted a transition in the failure morphology of hydroxyl functionalised graphene from brittle to ductile as a function of its spatial distribution on graphene sheet.Keywords: graphene, graphene oxide, ReaxFF, molecular dynamics
Procedia PDF Downloads 1793280 Construction of a Fusion Gene Carrying E10A and K5 with 2A Peptide-Linked by Using Overlap Extension PCR
Authors: Tiancheng Lan
Abstract:
E10A is a kind of replication-defective adenovirus which carries the human endostatin gene to inhibit the growth of tumors. Kringle 5(K5) has almost the same function as angiostatin to also inhibit the growth of tumors since they are all the byproduct of the proteolytic cleavage of plasminogen. Tumor size increasing can be suppressed because both of the endostatin and K5 can restrain the angiogenesis process. Therefore, in order to improve the treatment effect on tumor, 2A peptide is used to construct a fusion gene carrying both E10A and K5. Using 2A peptide is an ideal strategy when a fusion gene is expressed because it can avoid many problems during the expression of more than one kind of protein. The overlap extension PCR is also used to connect 2A peptide with E10A and K5. The final construction of fusion gene E10A-2A-K5 can provide a possible new method of the anti-angiogenesis treatment with a better expression performance.Keywords: E10A, Kringle 5, 2A peptide, overlap extension PCR
Procedia PDF Downloads 1503279 The Role of Behavioral Syndromes in Human-Cattle Interactions: A Physiological Approach
Authors: Fruzsina Luca Kézér, Viktor Jurkovich, Ottó Szenci, János Tőzsér, Levente Kovács
Abstract:
Positive interaction between people and animals could have a favorable effect on the welfare and production by reducing stress levels. However, to the repeated contact with humans (e.g. farm staff, veterinarians or herdsmen), animals may respond with escape behavior or avoidance, which both have negative effects on the ease of handling, welfare and may lead to the expression of aggressive behaviors. Rough or aversive handling can impair health and the function of the cardiac autonomic activity due to fear and stress, which also can be determined by certain parameters of heart rate variability (HRV). Although the essential relationships between fear from humans and basal tone of the autonomic nervous system were described by the authors previously, several questions remained unclear in terms of the associations between different coping strategies (behavioral syndromes) of the animals and physiological responsiveness to humans. The main goal of this study was to find out whether human behavior and emotions to the animals have an impact on cardiac function and behavior of animals with different coping styles in response situations. Therefore, in the present study, special (fear, approaching, restraint, novel arena, novel object) tests were performed on healthy, 2-year old heifers (n = 104) differing in coping styles [reactive (passive) vs. proactive (active) coping]. Animals were categorized as reactive or proactive based on the following tests: 1) aggressive behavior at the feeding bunk, 2) avoidance from an approaching person, 3) immobility, and 4) daily activity (number of posture changes). Heart rate, the high frequency (HF) component of HRV as a measure of vagal activity and the ratio between the low frequency (LF) and HF components (LF/HF ratio) as a parameter of sympathetic nervous system activity were calculated for all individual during lying posture (baseline) and for response situations in novel object, novel arena, and unfamiliar person tests (both for 5 min), respectively. The differences between baseline and response were compared between groups. Higher sympathetic (higher heart rates and LF/HF ratios) and lower parasympathetic activity (lower HF) was found for proactive animals in response situations than for reactive (passive) animals either during the novel object, the novel arena and the unfamiliar person test. It suggests that animals with different behavioral traits differ in their immediate autonomic adaptation to novelty and people. Based on our preliminary results, it seems, that the analysis of HRV can help to understand the physiological manifestation of responsiveness to novelty and human presence in dairy cattle with different behavioral syndromes.Keywords: behavioral syndromes, human-cattle interaction, novel arena test, physiological responsiveness, proactive coping, reactive coping
Procedia PDF Downloads 3533278 Optimum Dispatching Rule in Solar Ingot-Wafer Manufacturing System
Authors: Wheyming Song, Hung-Hsiang Lin, Scott Lian
Abstract:
In this research, we investigate the optimal dispatching rule for machines and manpower allocation in the solar ingot-wafer systems. The performance of the method is measured by the sales profit for each dollar paid to the operators in a one week at steady-state. The decision variables are identification-number of machines and operators when each job is required to be served in each process. We propose a rule which is a function of operator’s ability, corresponding salary, and standing location while in the factory. The rule is named ‘Multi-nominal distribution dispatch rule’. The proposed rule performs better than many traditional rules including generic algorithm and particle swarm optimization. Simulation results show that the proposed Multi-nominal distribution dispatch rule improvement on the sales profit dramatically.Keywords: dispatching, solar ingot, simulation, flexsim
Procedia PDF Downloads 3003277 Modelling the Effects of External Factors Affecting Concrete Carbonation
Authors: Abhishek Mangal, Kunal Tongaria, S. Mandal, Devendra Mohan
Abstract:
Carbonation of reinforced concrete structures has emerged as one of the major challenges for Civil engineers across the world. With increasing emissions from various activities, carbon dioxide concentration in the atmosphere has been eve rising, enhancing its penetration in porous concrete, reaching steel bars and ultimately leading to premature failure. Several literatures have been published dealing with the various interdependent variables related to carbonation. However, with innumerable variability a generalization of these data proves to be a troublesome task. This paper looks into this carbonation anomaly in concrete structures caused by various external variables such as relative humidity, concentration of CO2, curing period and ambient temperature. Significant discussions and comparisons have been presented on the basis of various studies conducted with an aim to predict the depth of carbonation as a function of these multidimensional parameters using various numerical and statistical modelling techniques.Keywords: carbonation, curing, exposure conditions, relative humidity
Procedia PDF Downloads 2533276 Prediction of the Behavior of 304L Stainless Steel under Uniaxial and Biaxial Cyclic Loading
Authors: Aboussalih Amira, Zarza Tahar, Fedaoui Kamel, Hammoudi Saleh
Abstract:
This work focuses on the simulation of the prediction of the behaviour of austenitic stainless steel (SS) 304L under complex loading in stress and imposed strain. The Chaboche model is a cable to describe the response of the material by the combination of two isotropic and nonlinear kinematic work hardening, the model is implemented in the ZébuLon computer code. First, we represent the evolution of the axial stress as a function of the plastic strain through hysteresis loops revealing a hardening behaviour caused by the increase in stress by stress in the direction of tension/compression. In a second step, the study of the ratcheting phenomenon takes a key place in this work by the appearance of the average stress. In addition to the solicitation of the material in the biaxial direction in traction / torsion.Keywords: damage, 304L, Ratcheting, plastic strain
Procedia PDF Downloads 943275 Developing Measurement Model of Interpersonal Skills of Youth
Authors: Mohd Yusri Ibrahim
Abstract:
Although it is known that interpersonal skills are essential for personal development, the debate however continues as to how to measure those skills, especially in youths. This study was conducted to develop a measurement model of interpersonal skills by suggesting three construct namely personal, skills and relationship; six function namely self, perception, listening, conversation, emotion and conflict management; and 30 behaviours as indicators. This cross-sectional survey by questionnaires was applied in east side of peninsula of Malaysia for 150 respondents, and analyzed by structural equation modelling (SEM) by AMOS. The suggested constructs, functions and indicators were consider accepted as measurement elements by observing on regression weight for standard loading, average variance extracted (AVE) for convergent validity, square root of AVE for discriminant validity, composite reliability (CR), and at least three fit indexes for model fitness. Finally, a measurement model of interpersonal skill for youth was successfully developed.Keywords: interpersonal communication, interpersonal skill, youth, communication skill
Procedia PDF Downloads 3143274 Modelling High-Frequency Crude Oil Dynamics Using Affine and Non-Affine Jump-Diffusion Models
Authors: Katja Ignatieva, Patrick Wong
Abstract:
We investigated the dynamics of high frequency energy prices, including crude oil and electricity prices. The returns of underlying quantities are modelled using various parametric models such as stochastic framework with jumps and stochastic volatility (SVCJ) as well as non-parametric alternatives, which are purely data driven and do not require specification of the drift or the diffusion coefficient function. Using different statistical criteria, we investigate the performance of considered parametric and nonparametric models in their ability to forecast price series and volatilities. Our models incorporate possible seasonalities in the underlying dynamics and utilise advanced estimation techniques for the dynamics of energy prices.Keywords: stochastic volatility, affine jump-diffusion models, high frequency data, model specification, markov chain monte carlo
Procedia PDF Downloads 1043273 Preparation and Characterization of Photocatalyst for the Conversion of Carbon Dioxide to Methanol
Authors: D. M. Reddy Prasad, Nur Sabrina Binti Rahmat, Huei Ruey Ong, Chin Kui Cheng, Maksudur Rahman Khan, D. Sathiyamoorthy
Abstract:
Carbon dioxide (CO2) emission to the environment is inevitable which is responsible for global warming. Photocatalytic reduction of CO2 to fuel, such as methanol, methane etc. is a promising way to reduce greenhouse gas CO2 emission. In the present work, Bi2S3/CdS was synthesized as an effective visible light responsive photocatalyst for CO2 reduction into methanol. The Bi2S3/CdS photocatalyst was prepared by hydrothermal reaction. The catalyst was characterized by X-ray diffraction (XRD) instrument. The photocatalytic activity of the catalyst has been investigated for methanol production as a function of time. Gas chromatograph flame ionization detector (GC-FID) was employed to analyze the product. The yield of methanol was found to increase with higher CdS concentration in Bi2S3/CdS and the maximum yield was obtained for 45 wt% of Bi2S3/CdS under visible light irradiation was 20 μmole/g. The result establishes that Bi2S3/CdS is favorable catalyst to reduce CO2 to methanol.Keywords: photocatalyst, CO2 reduction, methanol, visible light, XRD, GC-FID
Procedia PDF Downloads 5013272 High Efficiency Double-Band Printed Rectenna Model for Energy Harvesting
Authors: Rakelane A. Mendes, Sandro T. M. Goncalves, Raphaella L. R. Silva
Abstract:
The concepts of energy harvesting and wireless energy transfer have been widely discussed in recent times. There are some ways to create autonomous systems for collecting ambient energy, such as solar, vibratory, thermal, electromagnetic, radiofrequency (RF), among others. In the case of the RF it is possible to collect up to 100 μW / cm². To collect and/or transfer energy in RF systems, a device called rectenna is used, which is defined by the junction of an antenna and a rectifier circuit. The rectenna presented in this work is resonant at the frequencies of 1.8 GHz and 2.45 GHz. Frequencies at 1.8 GHz band are e part of the GSM / LTE band. The GSM (Global System for Mobile Communication) is a frequency band of mobile telephony, it is also called second generation mobile networks (2G), it came to standardize mobile telephony in the world and was originally developed for voice traffic. LTE (Long Term Evolution) or fourth generation (4G) has emerged to meet the demand for wireless access to services such as Internet access, online games, VoIP and video conferencing. The 2.45 GHz frequency is part of the ISM (Instrumentation, Scientific and Medical) frequency band, this band is internationally reserved for industrial, scientific and medical development with no need for licensing, and its only restrictions are related to maximum power transfer and bandwidth, which must be kept within certain limits (in Brazil the bandwidth is 2.4 - 2.4835 GHz). The rectenna presented in this work was designed to present efficiency above 50% for an input power of -15 dBm. It is known that for wireless energy capture systems the signal power is very low and varies greatly, for this reason this ultra-low input power was chosen. The Rectenna was built using the low cost FR4 (Flame Resistant) substrate, the antenna selected is a microfita antenna, consisting of a Meandered dipole, and this one was optimized using the software CST Studio. This antenna has high efficiency, high gain and high directivity. Gain is the quality of an antenna in capturing more or less efficiently the signals transmitted by another antenna and/or station. Directivity is the quality that an antenna has to better capture energy in a certain direction. The rectifier circuit used has series topology and was optimized using Keysight's ADS software. The rectifier circuit is the most complex part of the rectenna, since it includes the diode, which is a non-linear component. The chosen diode is the Schottky diode SMS 7630, this presents low barrier voltage (between 135-240 mV) and a wider band compared to other types of diodes, and these attributes make it perfect for this type of application. In the rectifier circuit are also used inductor and capacitor, these are part of the input and output filters of the rectifier circuit. The inductor has the function of decreasing the dispersion effect on the efficiency of the rectifier circuit. The capacitor has the function of eliminating the AC component of the rectifier circuit and making the signal undulating.Keywords: dipole antenna, double-band, high efficiency, rectenna
Procedia PDF Downloads 1243271 Investigating Re-Use a Historical Masonry Arch Bridge
Authors: H. A. Erdogan
Abstract:
Historical masonry arch bridges built centuries ago have fulfilled their function until recent decades. However, from the beginning of 20th century, these bridges have remained inadequate as a result of increasing speed, size and capacity of the means of transport. Although new bridges have been built in many places, masonry bridges located within the city limits still need to be used. When the size and transportation loads of modern vehicles are taken into account, it is apparent that historical masonry arch bridges would be exposed to greater loads than their initial design loads. Because of that, many precautions taken either remain insufficient or damage these bridges. In this study, the history of Debbaglar Bridge, one of the historic bridges located in the city center of Aksaray/Turkey is presented and its existing condition is evaluated. Structural analysis of the bridge under present conditions and loads is explained. Moreover, the retrofit and restoration application prepared considering the analysis data is described.Keywords: adaptive re-use, Aksaray debbaglar bridge, masonry bridge, reconstruction
Procedia PDF Downloads 3103270 Direct Transient Stability Assessment of Stressed Power Systems
Authors: E. Popov, N. Yorino, Y. Zoka, Y. Sasaki, H. Sugihara
Abstract:
This paper discusses the performance of critical trajectory method (CTrj) for power system transient stability analysis under various loading settings and heavy fault condition. The method obtains Controlling Unstable Equilibrium Point (CUEP) which is essential for estimation of power system stability margins. The CUEP is computed by applying the CTrjto the boundary controlling unstable equilibrium point (BCU) method. The Proposed method computes a trajectory on the stability boundary that starts from the exit point and reaches CUEP under certain assumptions. The robustness and effectiveness of the method are demonstrated via six power system models and five loading conditions. As benchmark is used conventional simulation method whereas the performance is compared with and BCU Shadowing method.Keywords: power system, transient stability, critical trajectory method, energy function method
Procedia PDF Downloads 3863269 The Construction of the Semigroup Which Is Chernoff Equivalent to Statistical Mixture of Quantizations for the Case of the Harmonic Oscillator
Authors: Leonid Borisov, Yuri Orlov
Abstract:
We obtain explicit formulas of finitely multiple approximations of the equilibrium density matrix for the case of the harmonic oscillator using Chernoff's theorem and the notion of semigroup which is Chernoff equivalent to average semigroup. Also we found explicit formulas for the corresponding approximate Wigner functions and average values of the observable. We consider a superposition of τ -quantizations representing a wide class of linear quantizations. We show that the convergence of the approximations of the average values of the observable is not uniform with respect to the Gibbs parameter. This does not allow to represent approximate expression as the sum of the exact limits and small deviations evenly throughout the temperature range with a given order of approximation.Keywords: Chernoff theorem, Feynman formulas, finitely multiple approximation, harmonic oscillator, Wigner function
Procedia PDF Downloads 4393268 Songs from the Cradle: An Analysis of Some Selected Nupe Songs
Authors: Zainab Zendana Shafii
Abstract:
Lullabies have been broadly defined as songs that are sung to calm and soothe children. While this is true, this paper intends to show that lullabies exceed these functions. The paper, in exploring Nupe lullabies, examines the various functions that lullabies perform in terms of language development, cultural enrichment and also the retelling of history as it relates to the culture of the Nupe people of northern Nigeria. The theoretical framework used is the functionalist theory. This theory postulates that all cultural or social phenomena have a positive function and that all are indispensable. The functionalist theory is based on the premise that all aspects of a society—institutions, roles, norms, etc.—serve a purpose and that all are indispensable for the long-term survival of the society. To this end, this paper dissects the various lullabies in Nupeland with a view to exploring the meaning that these songs generate and why they are even sung at all. The qualitative research methodology has been used to gather materials.Keywords: Nupe, lullabies, Nigeria, northern
Procedia PDF Downloads 1963267 The Design and Development of Foot Massage Plate from Coconut Shell
Authors: Chananchida Yuktirat, Nichanant Sermsri
Abstract:
The objectives of this research were to design and develop foot massage plate from coconut shell. The research investigated on the satisfaction of the users on the developed foot massage plate on 4 aspects; usage, practical in use, safety, and materials & production process. The sample group included 64 people joining the service at Wat Paitan Health Center, Bangkok. The samples were randomly tried on the massage plate and evaluated according to the 4 aspects. The data were analyzed to find mean, percentage, and standard deviation. The result showed that the overall satisfaction was at good level (mean = 3.80). When considering in details, it was found that the subjects reported their highest satisfaction on the practical usage (mean = 4.16), followed by safety (mean = 3.82); then, materials and production process (mean = 3.78). The least satisfaction aspect was on function and usage (mean = 3.45) or moderate level.Keywords: coconut shell, design, foot massage, foot massage plate
Procedia PDF Downloads 2403266 Molecular Epidemiologic Distribution of HDV Genotypes among Different Ethnic Groups in Iran: A Systematic Review
Authors: Khabat Barkhordari
Abstract:
Hepatitis delta virus (HDV) is a RNA virus that needs the function of hepatitis B virus (HBV) for its propagation and assembly. Infection by HDV can occur spontaneously with HBV infection and cause acute hepatitis or develop as secondary infection in HBV suffering patients. Based on genome sequence analysis, HDV has several genotypes which show broad geographic and diverse clinical features. The aim of current study is determine the molecular epidemiology of hepatitis delta virus genotype in patients with positive HBsAg among different ethnic groups of Iran. This systematic review study reviews the results of different studies which examined 2000 Iranian patients with HBV infection from 2010 to 2015. Among 2000 patients in this study, 16.75 % were containing anti-HDV antibody and HDV RNA was found in just 1.75% cases. All of positive cases also have genotype I.Keywords: HDV, genotype, epidemiology, distribution
Procedia PDF Downloads 2753265 Effect of Hydrogen Content and Structure in Diamond-Like Carbon Coatings on Hydrogen Permeation Properties
Authors: Motonori Tamura
Abstract:
The hydrogen barrier properties of the coatings of diamond-like carbon (DLC) were evaluated. Using plasma chemical vapor deposition and sputtering, DLC coatings were deposited on Type 316L stainless steels. The hydrogen permeation rate was reduced to 1/1000 or lower by the DLC coatings. The DLC coatings with high hydrogen content had high hydrogen barrier function. For hydrogen diffusion in coatings, the movement of atoms through hydrogen trap sites such as pores in coatings, and crystal defects such as dislocations, is important. The DLC coatings are amorphous, and there are both sp3 and sp2 bonds, and excess hydrogen could be found in the interstitial space and the hydrogen trap sites. In the DLC coatings with high hydrogen content, these hydrogen trap sites are likely already filled with hydrogen atoms, and the movement of new hydrogen atoms could be limited.Keywords: hydrogen permeation, stainless steels, diamond-like carbon, hydrogen trap sites
Procedia PDF Downloads 3483264 Analysis of Transformer by Gas and Moisture Sensor during Laboratory Time Monitoring
Authors: Miroslav Gutten, Daniel Korenciak, Milan Simko, Milan Chupac
Abstract:
Ensure the reliable and correct function of transformers is the main essence of on-line non-destructive diagnostic tool, which allows the accurately track of the status parameters. Devices for on-line diagnostics are very costly. However, there are devices, whose price is relatively low and when used correctly, they can be executed a complex diagnostics. One of these devices is sensor HYDRAN M2, which is used to detect the moisture and gas content in the insulation oil. Using the sensor HYDRAN M2 in combination with temperature, load measurement, and physicochemical analysis can be made the economically inexpensive diagnostic system, which use is not restricted to distribution transformers. This system was tested in educational laboratory environment at measured oil transformer 22/0.4 kV. From the conclusions referred in article is possible to determine, which kind of fault was occurred in the transformer and how was an impact on the temperature, evolution of gases and water content.Keywords: transformer, diagnostics, gas and moisture sensor, monitoring
Procedia PDF Downloads 3853263 Women Participation in Politics: Rights and Challenges: The Quranic Perspective
Authors: Abdul Azeez Badmus
Abstract:
The extent to which women are allowed to express their liberty and freedom are varying in human society. Islam’s basic view of women postulates a complimentary function as the creator has created every living thing in pairs based on the foundation of complimentary functions, so the human species is not exceptional. It is also ubiquitous contention whether women should participate in politics or not; the limit to which women should participate in politics is another problem. This paper attempts to suggest a possible solution to the questions mentioned above, to review the level of participation of women in politics since the beginning of Islam and the Quranic injunctions that seem to have allowed or disallowed that. The paper adopts a historical and analytical approach, with special reference to the Quranic, Sunna, juristic opinions, and historical events. The paper advocates for proper reference to the authentic Islamic sources in determining the right and obligations of women in society.Keywords: politics, right, challenges, Qur’ān, perspective
Procedia PDF Downloads 1883262 Studying Medicinal Plants of Rajasthan Used by Tribes for Different Diseases
Authors: Rekha Vijayvergia
Abstract:
Around seven percent of tribal population of India lives in Rajasthan. Rajasthan has rich cultural diversity and biodiversity. Ethno-botany can be defined as the total natural and traditional relationship and the interactions between man and his surrounding plant wealth from times immemorial, due to sheer, necessity, intuition, observation, and experimentation. Medicinal plants are valuable and are used for the production of various drugs. These plants produce a high diversity of natural products or secondary metabolites like Mahanimbicine, Andrographine, murrayaline, lupeol, and limonin etc. with a prominent function in the protection against diseases like diabetes, kidney stones, osteoporosis, tumours, opthalmia, leucorrhoea, bronchial asthma, diarrhea, cancer, etc. The present report gives an account of traditional medicinal uses of common medicinal plants of Rajasthan. A total of 18 plant species belonging to 13 families are reported, that are being used for various purposes.Keywords: ethno botany, Rajasthan, secondary metabolites, traditional medicines
Procedia PDF Downloads 4913261 Gimbal Structure for the Design of 3D Flywheel System
Authors: Cheng-En Tsai, Chung-Chun Hsiao, Fu-Yuan Chang, Liang-Lun Lan, Jia-Ying Tu
Abstract:
New design of three dimensional (3D) flywheel system based on gimbal and gyro mechanics is proposed. The 3D flywheel device utilizes the rotational motion of three spherical shells and the conservation of angular momentum to achieve planar locomotion. Actuators mounted to the ring-shape frames are installed within the system to drive the spherical shells to rotate, for the purpose of steering and stabilization. Similar to the design of 2D flywheel system, it is expected that the spherical shells may function like a “flyball” to store and supply mechanical energy; additionally, in comparison with typical single-wheel and spherical robots, the 3D flywheel can be used for developing omnidirectional robotic systems with better mobility. The Lagrangian method is applied to derive the equation of motion of the 3D flywheel system, and simulation studies are presented to verify the proposed design.Keywords: Gimbal, spherical robot, gyroscope, Lagrangian formulation, flyball
Procedia PDF Downloads 6273260 Cardiovascular Modeling Software Tools in Medicine
Authors: J. Fernandez, R. Fernandez de Canete, J. Perea-Paizal, J. C. Ramos-Diaz
Abstract:
The high prevalence of cardiovascular diseases has provoked a raising interest in the development of mathematical models in order to evaluate the cardiovascular function both under physiological and pathological conditions. In this paper, a physical model of the cardiovascular system with intrinsic regulation is presented and implemented by using the object-oriented Modelica simulation software tools. For this task, a multi-compartmental system previously validated with physiological data has been built, based on the interconnection of cardiovascular elements such as resistances, capacitances and pumping among others, by following an electrohydraulic analogy. The results obtained under both physiological and pathological scenarios provide an easy interpretative key to analyze the hemodynamic behavior of the patient. The described approach represents a valuable tool in the teaching of physiology for graduate medical and nursing students among others.Keywords: cardiovascular system, MODELICA simulation software, physical modelling, teaching tool
Procedia PDF Downloads 3003259 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 1373258 Localized Meshfree Methods for Solving 3D-Helmholtz Equation
Authors: Reza Mollapourasl, Majid Haghi
Abstract:
In this study, we develop local meshfree methods known as radial basis function-generated finite difference (RBF-FD) method and Hermite finite difference (RBF-HFD) method to design stencil weights and spatial discretization for Helmholtz equation. The convergence and stability of schemes are investigated numerically in three dimensions with irregular shaped domain. These localized meshless methods incorporate the advantages of the RBF method, finite difference and Hermite finite difference methods to handle the ill-conditioning issue that often destroys the convergence rate of global RBF methods. Moreover, numerical illustrations show that the proposed localized RBF type methods are efficient and applicable for problems with complex geometries. The convergence and accuracy of both schemes are compared by solving a test problem.Keywords: radial basis functions, Hermite finite difference, Helmholtz equation, stability
Procedia PDF Downloads 993257 Study the Influence of Zn in Zn-MgFe₂O₄ Nanoparticles for CO₂ Gas Sensors
Authors: Maryam Kiani, Xiaoqin Tian, Yu Du, Abdul Basit Kiani
Abstract:
Zn-doped MgFe₂O₄ nanoparticles (ZMFO) (Zn=0.0, 0.2, 0.35, 0.5,) were prepared by Co-precipitation synthesis route. Structural and morphological analysis confirmed the formation of spinel cubic nanostructure by X-Ray diffraction (XRD) data shows high reactive surface area owing to a small average particle size of about 14 nm, which greatly influences the gas sensing mechanism. The gas sensing property of ZMFO for several gases was obtained by measuring the resistance as a function of different factors, like composition and response time in air and in the presence of gas. The sensitivity of spinel ferrite to gases CO₂, O₂, and O₂ at room temperature has been compared. The nanostructured ZMFO exhibited high sensitivity in the order of CO₂>O₂ and showed a good response time of (~1min) to CO₂, demonstrating that this expanse of research can be used in the field of gas sensors devising high sensitivity and good selectivity at 25°C.Keywords: MgFe₂O₄ nanoparticles, hydrothermal synthesis, gas sensing properties, XRD
Procedia PDF Downloads 1183256 Time Management in the Public Sector in Nigeria
Authors: Sunny Ewankhiwimen Aigbomian
Abstract:
Time, is a scarce resource and in everything we do, time is required to accomplish any given task. The need for this presentation is predicated on the way majority of Nigerian especially in the public sector operators see “Time Management”. Time as resources cannot be regained if lost or managed badly. As a significant aspect of human life it should be handled with diligence and utmost seriousness if the public sector is to function as a coordinated entity. In our homes, private life and offices, we schedule different things to ensure that some things do not go the unexpected. When it comes to service delivery on the part of government, it ought to be more serious because government is all about effect and efficient service delivery and “Time” is a significant variable necessary to successful accomplishment. The need for Nigerian government to re-examine time management in her public sector with a view of repositioning the sector to be able to compete well with other public sectors in the world. The peculiarity of Time management in Public Sector in Nigerian context as examined and some useful recommendations of immerse assistance proffered.Keywords: Nigeria, public sector, time management, task
Procedia PDF Downloads 993255 Vibration Characteristics of Functionally Graded Thick Hollow Cylinders Using Galerkin Method
Authors: Pejman Daryabor, Kamal Mohammadi
Abstract:
In the present work, the study of vibration characteristics of a functionally graded thick hollow cylinder is investigated. The cylinder natural frequencies are obtained using Galerkin finite element method. The functionally graded cylinder is assumed to be made from many subcylinders. Each subcylinder is considered as an isotropic layer. Material’s properties in each layer are constant and functionally graded properties result by exponential function of layer radius in multilayer cylinder. To validate the FE results code, plane strain model of functionally graded cylinder are also modeled in ABAQUS. Analytical results are validated for both models. Also, a good agreement is found between the present results and those reported in the literature.Keywords: natural frequency, functionally graded material, finite element method, thick cylinder
Procedia PDF Downloads 4733254 Communicative Roles of English Discourse Markers on Facebook among Umaru Musa Yar’Adua University Members of Academic Staff
Authors: Ibrahim Sani
Abstract:
This paper examines the use of English discourse markers with the aim of investigating their communicative functions on Facebook as used by UMYUK members of academic staff. The paper uses the qualitative approach and relevance theory by Sperber and Wilson (1995) to highlight and examine DMs in different communicative contexts. In the course of data collection, five (5) academic staff from the five faculties of the university who are already Facebook friends of the researcher are used as the participants with their consent. The paper examines the communicative functions of English DMs among UMYUK academic staff on Facebook and reveals a number of communicative functions used in different contexts. One of the major findings indicates that 'contrastive markers' such as 'but', 'however', 'although' etc. are the dominant communicative functions employed by UMYUK academic staff on Facebook with 42% occurrence; it also shows that a single DM can function differently in the same linguistic environment.Keywords: role, communicative, discourse markers, facebook, academic staff
Procedia PDF Downloads 1693253 Calibration of Hybrid Model and Arbitrage-Free Implied Volatility Surface
Authors: Kun Huang
Abstract:
This paper investigates whether the combination of local and stochastic volatility models can be calibrated exactly to any arbitrage-free implied volatility surface of European option. The risk neutral Brownian Bridge density is applied for calibration of the leverage function of our Hybrid model. Furthermore, the tails of marginal risk neutral density are generated by Generalized Extreme Value distribution in order to capture the properties of asset returns. The local volatility is generated from the arbitrage-free implied volatility surface using stochastic volatility inspired parameterization.Keywords: arbitrage free implied volatility, calibration, extreme value distribution, hybrid model, local volatility, risk-neutral density, stochastic volatility
Procedia PDF Downloads 2673252 Cancellation of Transducer Effects from Frequency Response Functions: Experimental Case Study on the Steel Plate
Authors: P. Zamani, A. Taleshi Anbouhi, M. R. Ashory, S. Mohajerzadeh, M. M. Khatibi
Abstract:
Modal analysis is a developing science in the experimental evaluation of dynamic properties of the structures. Mechanical devices such as accelerometers are one of the sources of lack of quality in measuring modal testing parameters. In this paper, eliminating the accelerometer’s mass effect of the frequency response of the structure is studied. So, a strategy is used for eliminating the mass effect by using sensitivity analysis. In this method, the amount of mass change and the place to measure the structure’s response with least error in frequency correction is chosen. Experimental modal testing is carried out on a steel plate and the effect of accelerometer’s mass is omitted using this strategy. Finally, a good agreement is achieved between numerical and experimental results.Keywords: accelerometer mass, frequency response function, modal analysis, sensitivity analysis
Procedia PDF Downloads 446