Search results for: net present value method
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 29457

Search results for: net present value method

27687 Morphological Anatomical Study of the Axis Vertebra and Its Clinical Orientation

Authors: Mangala M. Pai, B. V. Murlimanju, Latha V. Prabhu, P. J. Jiji , Vandana Blossom

Abstract:

Background:To study the morphological parameters of the axis vertebra in anatomical specimens. Methods: The present study was designed to obtain the morphometric data of axis vertebra. The superior and inferior articular facets of the axis were macroscopically observed for their shapes and the different parameters were measured using the digital Vernier caliper. It included 20 dried axis bones, which were obtained from the anatomy laboratory. Results: The morphometric data obtained in the present study are represented in the tables. The side wise comparison of the length and width of the articular facets of the axis vertebra were done. The present study observed that, there is no statistically significant difference observed among the parameters of right and left side articular facets (p>0.05). The superior and inferior articular facets were observed to have variable shapes. The frequencies of different shapes of superior and inferior articular facets are represented in figures. All the shapes of the inferior and superior articular facets were symmetrical over the right and left sides. Among the superior articular facets, the constrictions were absent in 13 cases (65%), 2 (10%) exhibited a single constriction, 3 (15%) had 2 constrictions and 2 (10%) were having 3 constrictions. The constrictions were absent in 11 (55%) of the inferior articular facets, 3 (15%) of them had 1 constriction, 3 (15%) were having 2 constrictions, 2 (10%) exhibited 3 constrictions and 1 (5%) of them had 4 constrictions. The constrictions of the inferior and superior articular facets were symmetrical over the right and left sides. Conclusion: We believe that the present study has provided additional information on the morphometric data of the axis vertebra. The data are important to the neurosurgeons, orthopedic surgeons and radiologists. The preoperative assessment of the axis vertebra may prevent dangerous complications like spinal cord and nerve root compression during the surgical intervention.

Keywords: axis, articular facet, morphology, morphometry

Procedia PDF Downloads 331
27686 Ficus carica as Adsorbent for Removal of Phenol from Aqueous Solutions: Modeling and Optimization

Authors: Tizi Hayet, Berrama Tarek, Bounif Nadia

Abstract:

Phenol and its derivatives are organic compounds utilized in the chemical industry. They are introduced into the environment by accidental spills and the illegal release of industrial and municipal wastewater. Phenols are organic intermediaries that are considered potential pollutants. Adsorption is one of the purification and separation techniques used in this area. Algeria annually produces 131000 tons of fig; therefore, a large amount of fig leaves is generated, and the conversion of this waste into adsorbent allows the valorization of agricultural residue. The main purpose of this present work is to describe an application of a statistical method for modeling and to optimize the conditions of the phenol adsorption from agricultural by-products, locally available (fig leaves). The best experimental performance of phenol elimination on the adsorbent was obtained with: Adsorbent concentration (X₂) = 200 mg L⁻¹; Initial concentration (X₃) = 150 mg L⁻¹; Speed agitation (X₁) = 300 rpm.

Keywords: low-cost adsorbents, adsorption, fig leaves, phenol, factorial design

Procedia PDF Downloads 117
27685 Non-Convex Multi Objective Economic Dispatch Using Ramp Rate Biogeography Based Optimization

Authors: Susanta Kumar Gachhayat, S. K. Dash

Abstract:

Multi objective non-convex economic dispatch problems of a thermal power plant are of grave concern for deciding the cost of generation and reduction of emission level for diminishing the global warming level for improving green-house effect. This paper deals with ramp rate constraints for achieving better inequality constraints so as to incorporate valve point loading for cost of generation in thermal power plant through ramp rate biogeography based optimization involving mutation and migration. Through 50 out of 100 trials, the cost function and emission objective function were found to have outperformed other classical methods such as lambda iteration method, quadratic programming method and many heuristic methods like particle swarm optimization method, weight improved particle swarm optimization method, constriction factor based particle swarm optimization method, moderate random particle swarm optimization method etc. Ramp rate biogeography based optimization applications prove quite advantageous in solving non convex multi objective economic dispatch problems subjected to nonlinear loads that pollute the source giving rise to third harmonic distortions and other such disturbances.

Keywords: economic load dispatch, ELD, biogeography-based optimization, BBO, ramp rate biogeography-based optimization, RRBBO, valve-point loading, VPL

Procedia PDF Downloads 383
27684 Chromosomes Are Present in a Fixed Region on the Equatorial Plate Within the Interphase of Cell Division

Authors: Chunxiao Wu, Dongyun Jiang, Tao Jiang, Luxia Xu, Qian Xu, Meng Zhao, Qin Zhu, Zhigang Guo, Jinlan Pan, Suning Chen

Abstract:

The stability and evolution of human genetics depends on chromosomes (and chromosome-chromosome interactions). We wish to understand the spatial location of chromosomes in dividing cells in order to understand the relationship between chromosome-chromosome interactions and to further investigate the role of chromosomes and their impact on cell biological behavior. In this study, we explored the relative spatial positional relationships of chromosomes [t (9;22) and t (15;17)] in B-ALL cells by using the three-dimensions DNA in situ fluorescent hybridization (3D-FISH) method. The results showed that chromosomes [t (9;22) and t (15;17)] showed relatively stable spatial relationships. The relative stability of the spatial location of chromosomes in dividing cells may be relevant to disease.

Keywords: chromosome, human genetics, chromosome territory, 3D-FISH

Procedia PDF Downloads 51
27683 Numerical Study of 5kW Vertical Axis Wind Turbine Using DOE Method

Authors: Yan-Ting Lin, Wei-Nian Su

Abstract:

The purpose of this paper is to demonstrate the design of 5kW vertical axis wind turbine (VAWT) using DOE method. The NACA0015 airfoil was implemented for the design and 3D simulation. The critical design parameters are chord length, tip speed ratio (TSR), aspect ratio (AR) and pitch angle in this investigation. The RNG k-ε turbulent model and the sliding mesh method are adopted in the CFD simulation. The results show that the model with zero pitch, 0.3 m in chord length, TSR of 3, and AR of 10 demonstrated the optimum aerodynamic power under the uniform 10m/s inlet velocity. The aerodynamic power is 3.61kW and 3.89kW under TSR of 3 and 4 respectively. The aerodynamic power decreased dramatically while TSR increased to 5.

Keywords: vertical axis wind turbine, CFD, DOE, VAWT

Procedia PDF Downloads 444
27682 Numerical and Experimental Investigations of Cantilever Rectangular Plate Structure on Subsonic Flutter

Authors: Mevlüt Burak Dalmış, Kemal Yaman

Abstract:

In this study, flutter characteristics of cantilever rectangular plate structure under incompressible flow regime are investigated by comparing the results of commercial flutter analysis program ZAERO© with wind tunnel tests conducted in Ankara Wind Tunnel (ART). A rectangular polycarbonate (PC) plate, 5x125x1000 mm in dimensions, is used for both numerical and experimental investigations. Analysis and test results are very compatible with each other. A comparison between two different solution methods (g and k-method) of ZAERO© is also done. It is seen that, k-method gives closer result than the other one. However, g-method results are on conservative side and it is better to use conservative results namely g-method results. Even if the modal analysis results are used for the flutter analysis for this simple structure, a modal test should be conducted in order to validate the modal analysis results to have accurate flutter analysis results for more complicated structures.

Keywords: flutter, plate, subsonic flow, wind tunnel

Procedia PDF Downloads 523
27681 Identifying the Effects of the Rural Demographic Changes in the Northern Netherlands: A Holistic Approach to Create Healthier Environment

Authors: A. R. Shokoohi, E. A. M. Bulder, C. Th. van Alphen, D. F. den Hertog, E. J. Hin

Abstract:

The Northern region of the Netherlands has beautiful landscapes, a nice diversity of green and blue areas, and dispersed settlements. However, some recent population changes can become threats to health and wellbeing in these areas. The rural areas in the three northern provinces -Groningen, Friesland, and Drenthe, see youngsters leave the region for which reason they are aging faster than other regions in the Netherlands. As a result, some villages have faced major population decline that is leading to loss of facilities/amenities and a decrease in accessibility and social cohesion. Those who still live in these villages are relatively old, low educated and have low-income. To develop a deeper understanding of the health status of the people living in these areas, and help them to improve their living environment, the GO!-Method is being applied in this study. This method has been developed by the National Institute for Public Health and the Environment (RIVM) of the Netherlands and is inspired by the broad definition of health by Machteld Huber: the ability to adapt and direct control, in terms of the physical, emotional and social challenges of life, while paying extra attention to vulnerable groups. A healthy living environment is defined as an environment that residents find it pleasant and encourages and supports healthy behavior. The GO!-method integrates six domains that constitute a healthy living environment: health and lifestyle, facilities and development, safety and hygiene, social cohesion and active citizens, green areas, and air and noise pollution. First of all, this method will identify opportunities for a healthier living environment using existing information and perceptions of residents and other local stakeholders in order to strengthen social participation and quality of life in these rural areas. Second, this approach will connect identified opportunities with available and effective evidence-based interventions in order to develop an action plan from the residents and local authorities perspective which will help them to design their municipalities healthier and more resilient. This method is being used for the first time in rural areas to our best knowledge, in close collaboration with the residents and local authorities of the three provinces to create a sustainable process and stimulate social participation. Our paper will present the outcomes of the first phase of this project in collaboration with the municipality of Westerkwartier, located in the northwest of the province of Groningen. And will describe the current situation, and identify local assets, opportunities, and policies relating to healthier environment; as well as needs and challenges to achieve goals. The preliminary results show that rural demographic changes in the northern Netherlands have negative impacts on service provisions and social cohesion, and there is a need to understand this complicated situation and improve the quality of life in those areas.

Keywords: population decline, rural areas, healthy environment, Netherlands

Procedia PDF Downloads 102
27680 Generalized Synchronization in Systems with a Complex Topology of Attractor

Authors: Olga I. Moskalenko, Vladislav A. Khanadeev, Anastasya D. Koloskova, Alexey A. Koronovskii, Anatoly A. Pivovarov

Abstract:

Generalized synchronization is one of the most intricate phenomena in nonlinear science. It can be observed both in systems with a unidirectional and mutual type of coupling including the complex networks. Such a phenomenon has a number of practical applications, for example, for the secure information transmission through the communication channel with a high level of noise. Known methods for the secure information transmission needs in the increase of the privacy of data transmission that arises a question about the observation of such phenomenon in systems with a complex topology of chaotic attractor possessing two or more positive Lyapunov exponents. The present report is devoted to the study of such phenomenon in two unidirectionally and mutually coupled dynamical systems being in chaotic (with one positive Lyapunov exponent) and hyperchaotic (with two or more positive Lyapunov exponents) regimes, respectively. As the systems under study, we have used two mutually coupled modified Lorenz oscillators and two unidirectionally coupled time-delayed generators. We have shown that in both cases the generalized synchronization regime can be detected by means of the calculation of Lyapunov exponents and phase tube approach whereas due to the complex topology of attractor the nearest neighbor method is misleading. Moreover, the auxiliary system approaches being the standard method for the synchronous regime observation, for the mutual type of coupling results in incorrect results. To calculate the Lyapunov exponents in time-delayed systems we have proposed an approach based on the modification of Gram-Schmidt orthogonalization procedure in the context of the time-delayed system. We have studied in detail the mechanisms resulting in the generalized synchronization regime onset paying a great attention to the field where one positive Lyapunov exponent has already been become negative whereas the second one is a positive yet. We have found the intermittency here and studied its characteristics. To detect the laminar phase lengths the method based on a calculation of local Lyapunov exponents has been proposed. The efficiency of the method has been verified using the example of two unidirectionally coupled Rössler systems being in the band chaos regime. We have revealed the main characteristics of intermittency, i.e. the distribution of the laminar phase lengths and dependence of the mean length of the laminar phases on the criticality parameter, for all systems studied in the report. This work has been supported by the Russian President's Council grant for the state support of young Russian scientists (project MK-531.2018.2).

Keywords: complex topology of attractor, generalized synchronization, hyperchaos, Lyapunov exponents

Procedia PDF Downloads 278
27679 New Refrigerant La₀.₇Ca₀.₁₅Sr₀.₁₅Mn₁₋ₓGaₓO₃ for Application in Magnetic Refrigeration

Authors: Essebti Dhahri

Abstract:

We present a new refrigerant La₀.₇Ca₀.₁₅Sr₀.₁₅Mn₁₋ₓGaₓO₃ (x = 0.0-0.1) manganites. These compounds were prepared by the sol-gel method. The refinement of the X-ray diffraction reveals that all samples crystallize in a rhombohedral structure (space group R3 ̅c). Detailed measurements of the magnetization as a function of temperature and magnetic applied field M (µ₀H, T) were carried out. From the M(µ₀H, T) curves, we have calculated the magnetic entropy change (ΔSM) according to the Maxwell relation. The temperature dependence of the magnetization M(T) reveals a decrease of M when increasing the x content. The magnetic entropy change (ΔSM) reaches a maximum value near room temperature. It was also found that this compound exhibits a large magnetocaloric effect MCE which increases when decreasing Ga concentration. So, the studied compounds could be considered potential materials for magnetic refrigeration application.

Keywords: magnetic measurements, Rietveld refinement, magnetic refrigeration, magnetocaloric effect

Procedia PDF Downloads 92
27678 Ergonomic Assessment of Workplace Environment of Flour Mill Workers

Authors: Jayshree P. Zend, Ashatai B. Pawar

Abstract:

The study was carried out in Parbhani district of Maharashtra state, India with the objectives to study environmental problems faced by flour mill workers, prevalence of work-related health hazards and the physiological cost of workers while performing work in flour mill in traditional method as well as improved method. The use of flour presser, dust controlling bag and noise and dust controlling mask developed by AICRP College of Home Science, VNMKV, Parbhani was considered as an improved method. This investigation consisted survey and experiment which was conducted in the respective locations of flour mills. Healthy, non-smoking 30 flour mill workers ranged between the age group of 20-50 yrs comprising 16 female and 14 male working at flour mill for 4-8 hrs/ day and 6 days/ week and had minimum five years experience of work in flour mill were selected for the study. Pulmonary function test of flour mill workers was carried out by trained technician at Dr. ShankarraoChavan Government Medical College, Nanded by using Electronic Spirometer. The data regarding heart rate (resting, working and recovery), energy expenditure, musculoskeletal problems and occupational health hazards and accidents were recorded by using pretested questionnaire. Scientific equipment used in the experiment were polar sport test heart rate monitor, Hygrometer, Goniometer, Dialed Thermometer, Sound Level Meter, Lux Meter, Ambient Air Sampler and Air Quality Monitor. The collected data were subjected to appropriate statistical analysis such as 't' test and correlation coefficient test. Results indicated that improved method i.e. use of noise and dust controlling mask, flour presser and dust controlling bag were effective in reducing physiological cost of work of flour mill workers. Lung function test of flour mill workers showed decreased values of all parameters, hence the results of present study support paying attention to use of personal protective noise and dust controlling mask by flour mill workers and also to the working conditions in flour mill especially ventilation and illumination level needs to be enhanced in flour mill. The study also emphasizes the need to develop some mechanism for lifting load of grains and unloading in the hopper. It is also suggested that the flour mill workers should use flour presser suitable to their height to avoid frequent bending and should use dust controlling bag to flour outlet of machine to reduce inhalable flour dust level in the flour mill.

Keywords: physiological cost, energy expenditure, musculoskeletal problems

Procedia PDF Downloads 404
27677 A Method of Effective Planning and Control of Industrial Facility Energy Consumption

Authors: Aleksandra Aleksandrovna Filimonova, Lev Sergeevich Kazarinov, Tatyana Aleksandrovna Barbasova

Abstract:

A method of effective planning and control of industrial facility energy consumption is offered. The method allows to optimally arrange the management and full control of complex production facilities in accordance with the criteria of minimal technical and economic losses at the forecasting control. The method is based on the optimal construction of the power efficiency characteristics with the prescribed accuracy. The problem of optimal designing of the forecasting model is solved on the basis of three criteria: maximizing the weighted sum of the points of forecasting with the prescribed accuracy; the solving of the problem by the standard principles at the incomplete statistic data on the basis of minimization of the regularized function; minimizing the technical and economic losses due to the forecasting errors.

Keywords: energy consumption, energy efficiency, energy management system, forecasting model, power efficiency characteristics

Procedia PDF Downloads 396
27676 The Development of Liquid Chromatography Tandem Mass Spectrometry Method for Citrinin Determination in Dry-Fermented Meat Products

Authors: Ana Vulic, Tina Lesic, Nina Kudumija, Maja Kis, Manuela Zadravec, Nada Vahcic, Tomaz Polak, Jelka Pleadin

Abstract:

Mycotoxins are toxic secondary metabolites produced by numerous types of molds. They can contaminate both food and feed so that they represent a serious public health concern. Production of dry-fermented meat products involves ripening, during which molds can overgrow the product surface, produce mycotoxins, and consequently contaminate the final product. Citrinin is a mycotoxin produced mainly by the Penicillium citrinum. Data on citrinin occurrence in both food and feed are limited. Therefore, there is a need for research on citrinin occurrence in these types of meat products. The LC-MS/MS method for citrinin determination was developed and validated. Sample preparation was performed using immunoaffinity columns, which resulted in clean sample extracts. Method validation included the determination of the limit of detection (LOD), the limit of quantification (LOQ), recovery, linearity, and matrix effect in accordance to the latest validation guidance. The determined LOD and LOQ were 0.60 µg/kg and 1.98 µg/kg, respectively, showing a good method sensitivity. The method was tested for its linearity in the calibration range of 1 µg/L to 10 µg/L. The recovery was 100.9 %, while the matrix effect was 0.7 %. This method was employed in the analysis of 47 samples of dry-fermented sausages collected from local households. Citrinin wasn’t detected in any of these samples, probably because of the short ripening period of the tested sausages that takes three months tops. The developed method shall be used to test other types of traditional dry-cured products, such as prosciuttos, whose surface is usually more heavily overgrown by surface molds due to the longer ripening period.

Keywords: citrinin, dry-fermented meat products, LC-MS/MS, mycotoxins

Procedia PDF Downloads 125
27675 A Method for Rapid Evaluation of Ore Breakage Parameters from Core Images

Authors: A. Nguyen, K. Nguyen, J. Jackson, E. Manlapig

Abstract:

With the recent advancement in core imaging systems, a large volume of high resolution drill core images can now be collected rapidly. This paper presents a method for rapid prediction of ore-specific breakage parameters from high resolution mineral classified core images. The aim is to allow for a rapid assessment of the variability in ore hardness within a mineral deposit with reduced amount of physical breakage tests. This method sees its application primarily in project evaluation phase, where proper evaluation of the variability in ore hardness of the orebody normally requires prolong and costly metallurgical test work program. Applying this image-based texture analysis method on mineral classified core images, the ores are classified according to their textural characteristics. A small number of physical tests are performed to produce a dataset used for developing the relationship between texture classes and measured ore hardness. The paper also presents a case study in which this method has been applied on core samples from a copper porphyry deposit to predict the ore-specific breakage A*b parameter, obtained from JKRBT tests.

Keywords: geometallurgy, hyperspectral drill core imaging, process simulation, texture analysis

Procedia PDF Downloads 363
27674 Modern Technologies and Equipment for Modular-Aggregate Installation of Shipborne Equipment

Authors: A. O. Mikhailov, N. I. Gerasimov, K. N. Morozov, I. V. Grachev

Abstract:

The most advanced method of onboard equipment installation on the world shipbuilding practice is modular method, or modularization. The main idea of this is assembly of equipment, pipelines and hull structures in so called assembly units yet at the shopfloor. Those assembly units are thereafter loaded and installed inside the ship's hull. This allows to reduce labour intensiveness and significantly improve assembly quality, due to the fact that a good part of installation work is performed in the shops, instead of restricted onboard premises. Also, this method allows performing equipment installation at very early stages of hull erection. This practice is widely spread in naval submarines building. However, in merchant shipbuilding, equipment is installed mostly individually. To implement modular principles of equipment installation in designing and construction of civil ships and marine rigs, some new technologies are being developed in the following areas. The paper contains main principles and already achieved results in the above mentioned areas.

Keywords: assembly and installation technology, onboard equipment installation, large-scale assembly units, modular method

Procedia PDF Downloads 666
27673 Improving an Automotive Bumper Structure for Pedestrian Protection

Authors: Mohammad Hassan Shojaeefard, Abolfazl Khalkhali, Khashayar Ghadirinejad

Abstract:

In the present study, first, a three-dimensional finite element model of lower legform impactor according to the pedestrian protection regulation EC 78/2009 is carried out. The FE model of lower legform impactor then validated on static and dynamic tests by three main criteria which are bending angle, shear displacement and upper tibia acceleration. At the second step, the validated impactor is employed to evaluate bumper of a B-class automotive based on pedestrian protection criteria defined in EC regulation. Finally, based on some investigations an improved design for the bumper is then represented and compared with the base design. Results show that very good improvement in meeting the pedestrian protection criteria is achieved.

Keywords: pedestrian protection, legform impactor, automotive bumper, finite element method

Procedia PDF Downloads 255
27672 Determination of Pesticides Residues in Tissue of Two Freshwater Fish Species by Modified QuEChERS Method

Authors: Iwona Cieślik, Władysław Migdał, Kinga Topolska, Ewa Cieślik

Abstract:

The consumption of fish is recommended as a means of preventing serious diseases, especially cardiovascular problems. Fish is known to be a valuable source of protein (rich in essential amino acids), unsaturated fatty acids, fat-soluble vitamins, macro- and microelements. However, it can also contain several contaminants (e.g. pesticides, heavy metals) that may pose considerable risks for humans. Among others, pesticide are of special concern. Their widespread use has resulted in the contamination of environmental compartments, including water. The occurrence of pesticides in the environment is a serious problem, due to their potential toxicity. Therefore, a systematic monitoring is needed. The aim of the study was to determine the organochlorine and organophosphate pesticide residues in fish muscle tissues of the pike (Esox lucius, L.) and the rainbow trout (Oncorhynchus mykkis, Walbaum) by a modified QuEChERS (Quick, Easy, Cheap, Effective, Rugged and Safe) method, using Gas Chromatography Quadrupole Mass Spectrometry (GC/Q-MS), working in selected-ion monitoring (SIM) mode. The analysis of α-HCH, β-HCH, lindane, diazinon, disulfoton, δ-HCH, methyl parathion, heptachlor, malathion, aldrin, parathion, heptachlor epoxide, γ-chlordane, endosulfan, α-chlordane, o,p'-DDE, dieldrin, endrin, 4,4'-DDD, ethion, endrin aldehyde, endosulfan sulfate, 4,4'-DDT, and metoxychlor was performed in the samples collected in the Carp Valley (Malopolska region, Poland). The age of the pike (n=6) was 3 years and its weight was 2-3 kg, while the age of the rainbow trout (n=6) was 0.5 year and its weight was 0.5-1.0 kg. Detectable pesticide (HCH isomers, endosulfan isomers, DDT and its metabolites as well as metoxychlor) residues were present in fish samples. However, all these compounds were below the limit of quantification (LOQ). The other examined pesticide residues were below the limit of detection (LOD). Therefore, the levels of contamination were - in all cases - below the default Maximum Residue Levels (MRLs), established by Regulation (EC) No 396/2005 of the European Parliament and of the Council. The monitoring of pesticide residues content in fish is required to minimize potential adverse effects on the environment and human exposure to these contaminants.

Keywords: contaminants, fish, pesticides residues, QuEChERS method

Procedia PDF Downloads 221
27671 Biosynthesis of Silver-Phosphate Nanoparticles Using the Extracellular Polymeric Substance of Sporosarcina pasteurii

Authors: Mohammadhosein Rahimi, Mohammad Raouf Hosseini, Mehran Bakhshi, Alireza Baghbanan

Abstract:

Silver ions (Ag+) and their compounds are consequentially toxic to microorganisms, showing biocidal effects on many species of bacteria. Silver-phosphate (or silver orthophosphate) is one of these compounds, which is famous for its antimicrobial effect and catalysis application. In the present study, a green method was presented to synthesis silver-phosphate nanoparticles using Sporosarcina pasteurii. The composition of the biosynthesized nanoparticles was identified as Ag3PO4 using X-ray Diffraction (XRD) and Energy Dispersive Spectroscopy (EDS). Also, Fourier Transform Infrared (FTIR) spectroscopy showed that Ag3PO4 nanoparticles was synthesized in the presence of biosurfactants, enzymes, and proteins. In addition, UV-Vis adsorption of the produced colloidal suspension approved the results of XRD and FTIR analyses. Finally, Transmission Electron Microscope (TEM) images indicated that the size of the nanoparticles was about 20 nm.

Keywords: bacteria, biosynthesis, silver-phosphate, Sporosarcina pasteurii, nanoparticle

Procedia PDF Downloads 457
27670 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 698
27669 Synthesis of a Model Predictive Controller for Artificial Pancreas

Authors: Mohamed El Hachimi, Abdelhakim Ballouk, Ilyas Khelafa, Abdelaziz Mouhou

Abstract:

Introduction: Type 1 diabetes occurs when beta cells are destroyed by the body's own immune system. Treatment of type 1 diabetes mellitus could be greatly improved by applying a closed-loop control strategy to insulin delivery, also known as an Artificial Pancreas (AP). Method: In this paper, we present a new formulation of the cost function for a Model Predictive Control (MPC) utilizing a technic which accelerates the speed of control of the AP and tackles the nonlinearity of the control problem via asymmetric objective functions. Finding: The finding of this work consists in a new Model Predictive Control algorithm that leads to good performances like decreasing the time of hyperglycaemia and avoiding hypoglycaemia. Conclusion: These performances are validated under in silico trials.

Keywords: artificial pancreas, control algorithm, biomedical control, MPC, objective function, nonlinearity

Procedia PDF Downloads 309
27668 Neurological Complication of Bariatric Surgery: A Cross-sectional Study from Saudi Arabia

Authors: H. A. Algahtani, A. S. Khan, O. Alzahrani, N. Hussein, M. A. Khan, Loudhi Y. I. Soliman

Abstract:

Objective: To report on the Saudi experience (developing country) of neurological complications from bariatric surgery. The literature on the subject is reviewed. Method: This is a cross sectional study done in King Abdul Aziz Medical City Jeddah, WR, where we reviewed all charts of the patients who underwent bariatric surgery between January 1st, 2009 to December 31st , 2014. Personal and clinical data including age, sex, BMI, comorbidities, type of procedure, duration of stay in hospital, complications and postoperative follow up were collected. In addition follow up visit and remote complication if present were collected. All patients with neurological complications were reviewed in details including their clinical examination, laboratory and imaging results, treatment and prognosis. This report is essentially descriptive with no statistical analysis performed. Results: Fifteen cases were collected in this study (3%). Axonal polyneuropathy was the most frequent neurological complica¬tion, but cases of Wernicke syndrome, vitamin B12 deficiency, Guillain-Barre syndrome and cupper deficiency were also identified. Fourteen patients (93.3%) had full recovery from the neurological signs and symptoms but unfortunately one patient died. Conclusion: Bariatric surgery, a procedure that is continuously increasing in popularity, is not free of potential neurological complications. A clear education, guidelines and follow-up program should be planned and practiced. Facts should be clearly presented to the individual undergoing this type of surgery. Although a clear cause-effect relation cannot be established for the present cases, the cumulative literature on the subject makes it important to warn the patient of the potential risks of this procedure.

Keywords: bariatric surgery, neurological complications, neuropathy, Wenicke syndrome

Procedia PDF Downloads 331
27667 Quantitative Proteome Analysis and Bioactivity Testing of New Zealand Honeybee Venom

Authors: Maryam Ghamsari, Mitchell Nye-Wood, Kelvin Wang, Angela Juhasz, Michelle Colgrave, Don Otter, Jun Lu, Nazimah Hamid, Thao T. Le

Abstract:

Bee venom, a complex mixture of peptides, proteins, enzymes, and other bioactive compounds, has been widely studied for its therapeutic application. This study investigated the proteins present in New Zealand (NZ) honeybee venom (BV) using bottom-up proteomics. Two sample digestion techniques, in-solution digestion and filter-aided sample preparation (FASP), were employed to obtain the optimal method for protein digestion. Sequential Window Acquisition of All Theoretical Mass Spectra (SWATH–MS) analysis was conducted to quantify the protein compositions of NZ BV and investigate variations in collection years. Our results revealed high protein content (158.12 µg/mL), with the FASP method yielding a larger number of identified proteins (125) than in-solution digestion (95). SWATH–MS indicated melittin and phospholipase A2 as the most abundant proteins. Significant variations in protein compositions across samples from different years (2018, 2019, 2021) were observed, with implications for venom's bioactivity. In vitro testing demonstrated immunomodulatory and antioxidant activities, with a viable range for cell growth established at 1.5-5 µg/mL. The study underscores the value of proteomic tools in characterizing bioactive compounds in bee venom, paving the way for deeper exploration into their therapeutic potentials. Further research is needed to fractionate the venom and elucidate the mechanisms of action for the identified bioactive components.

Keywords: honeybee venom, proteomics, bioactivity, fractionation, swath-ms, melittin, phospholipase a2, new zealand, immunomodulatory, antioxidant

Procedia PDF Downloads 46
27666 Structural Health Monitoring of the 9-Story Torre Central Building Using Recorded Data and Wave Method

Authors: Tzong-Ying Hao, Mohammad T. Rahmani

Abstract:

The Torre Central building is a 9-story shear wall structure located in Santiago, Chile, and has been instrumented since 2009. Events of different intensity (ambient vibrations, weak and strong earthquake motions) have been recorded, and thus the building can serve as a full-scale benchmark to evaluate the structural health monitoring method developed. The first part of this article presents an analysis of inter-story drifts, and of changes in the first system frequencies (estimated from the relative displacement response of the 8th-floor with respect to the basement from recorded data) as baseline indicators of the occurrence of damage. During 2010 Chile earthquake the system frequencies were detected decreasing approximately 24% in the EW and 27% in NS motions. Near the end of shaking, an increase of about 17% in the EW motion was detected. The structural health monitoring (SHM) method based on changes in wave traveling time (wave method) within a layered shear beam model of structure is presented in the second part of this article. If structural damage occurs the velocity of wave propagated through the structure changes. The wave method measures the velocities of shear wave propagation from the impulse responses generated by recorded data at various locations inside the building. Our analysis and results show that the detected changes in wave velocities are consistent with the observed damages. On this basis, the wave method is proven for actual implementation in structural health monitoring systems.

Keywords: Chile earthquake, damage detection, earthquake response, impulse response, layered shear beam, structural health monitoring, Torre Central building, wave method, wave travel time

Procedia PDF Downloads 367
27665 Identification of the Relationship Between Signals in Continuous Monitoring of Production Systems

Authors: Maciej Zaręba, Sławomir Lasota

Abstract:

Understanding the dependencies between the input signal, that controls the production system and signals, that capture its output, is of a great importance in intelligent systems. The method for identification of the relationship between signals in continuous monitoring of production systems is described in the paper. The method discovers the correlation between changes in the states derived from input signals and resulting changes in the states of output signals of the production system. The method is able to handle system inertia, which determines the time shift of the relationship between the input and output.

Keywords: manufacturing operation management, signal relationship, continuous monitoring, production systems

Procedia PDF Downloads 98
27664 PUF-Based Lightweight Iot Secure Authentication Chip Design

Authors: Wenxuan Li, Lei Li, Jin Li, Yuanhang He

Abstract:

This paper designed a secure chip for IoT communication security integrated with the PUF-based firmware protection scheme. Then, the Xilinx Kintex-7 and STM-32 were used for the prototype verification. Firmware protection worked well on FPGA and embedded platforms. For the ASIC implementation of the PUF module, contact PUF is chosen. The post-processing method and its improvement are analyzed with emphasis. This paper proposed a more efficient post-processing method for contact PUF named SXOR, which has practical value for realizing lightweight security modules in IoT devices. The analysis was carried out under the hypothesis that the contact holes are independent and combine the existing data in the open literature. The post-processing effects of SXOR and XOR are basically the same under the condition that the proposed post-processing circuit occupies only 50.6% of the area of XOR. The average Hamming weight of the PUF output bit sequence obtained by the proposed post-processing method is 0.499735, and the average Hamming weight obtained by the XOR-based post-processing method is 0.499999.

Keywords: PUF, IoT, authentication, secure communication, encryption, XOR

Procedia PDF Downloads 146
27663 The Culture of Extrajudicial Executions: An Investigative Study of the Philippines’ Fifth Republic

Authors: Nathalie Quinto, Danielle Solancho

Abstract:

In 1986, after Marcos’ Martial Law of 1972, the Philippines revised its constitution for the fifth time, under the Aquino Administration. Extrajudicial violence was expected to be lessened, if not completely eradicated after this was passed. However, state-sponsored executions continued to persist even in the present time. There are currently identified policy gaps when it comes to extrajudicial cases, as there is no generally accepted definition of the term in the Philippines. In this paper, a triangulation method of historically published papers, key informant interviews, and focus group discussions of academics, scholars, and people who are involved in various cases found, was utilized for the methodology. This paper explores the establishment of a normalized system of state-sponsored executions in the country and why the state resorts to this kind of action. It found that due to a weak political, and social institution, a culture of extrajudicial executions was established.

Keywords: extrajudicial execution, human rights, justice, security

Procedia PDF Downloads 267
27662 Physics-Informed Convolutional Neural Networks for Reservoir Simulation

Authors: Jiangxia Han, Liang Xue, Keda Chen

Abstract:

Despite the significant progress over the last decades in reservoir simulation using numerical discretization, meshing is complex. Moreover, the high degree of freedom of the space-time flow field makes the solution process very time-consuming. Therefore, we present Physics-Informed Convolutional Neural Networks(PICNN) as a hybrid scientific theory and data method for reservoir modeling. Besides labeled data, the model is driven by the scientific theories of the underlying problem, such as governing equations, boundary conditions, and initial conditions. PICNN integrates governing equations and boundary conditions into the network architecture in the form of a customized convolution kernel. The loss function is composed of data matching, initial conditions, and other measurable prior knowledge. By customizing the convolution kernel and minimizing the loss function, the neural network parameters not only fit the data but also honor the governing equation. The PICNN provides a methodology to model and history-match flow and transport problems in porous media. Numerical results demonstrate that the proposed PICNN can provide an accurate physical solution from a limited dataset. We show how this method can be applied in the context of a forward simulation for continuous problems. Furthermore, several complex scenarios are tested, including the existence of data noise, different work schedules, and different good patterns.

Keywords: convolutional neural networks, deep learning, flow and transport in porous media, physics-informed neural networks, reservoir simulation

Procedia PDF Downloads 151
27661 Investigation of Axisymmetric Bimetallic Tube Extrusion with Conic Die

Authors: A. Eghbali, M. Goodarzi, M. Hagh Panahi

Abstract:

In this article process of direct extrusion of axisymmetric bimetallic tube with conic die profile and constant Mandrel by upper bound method has been analyzed and finite element method is simulated. Deformation area is divided into six smaller deformation areas and are calculated by presenting two generalized velocity field and applicable input and output sections separately (velocity profile with logarithmic curve for input section and spherical velocity profile for materials output ) for each die profile in spherical coordinate system strain rate values in every deformation area. After internal power, shearing power and material friction power is obtained, extrusion force is calculated. The results of upper bound analysis method with given results from other researcher's experiments and simulation by finite parts method (Abaqus software) are compared for conic die.

Keywords: extrusion, upper bound, axisy metric, deformation velocity field

Procedia PDF Downloads 380
27660 A Lagrangian Hamiltonian Computational Method for Hyper-Elastic Structural Dynamics

Authors: Hosein Falahaty, Hitoshi Gotoh, Abbas Khayyer

Abstract:

Performance of a Hamiltonian based particle method in simulation of nonlinear structural dynamics is subjected to investigation in terms of stability and accuracy. The governing equation of motion is derived based on Hamilton's principle of least action, while the deformation gradient is obtained according to Weighted Least Square method. The hyper-elasticity models of Saint Venant-Kirchhoff and a compressible version similar to Mooney- Rivlin are engaged for the calculation of second Piola-Kirchhoff stress tensor, respectively. Stability along with accuracy of numerical model is verified by reproducing critical stress fields in static and dynamic responses. As the results, although performance of Hamiltonian based model is evaluated as being acceptable in dealing with intense extensional stress fields, however kinds of instabilities reveal in the case of violent collision which can be most likely attributed to zero energy singular modes.

Keywords: Hamilton's principle of least action, particle-based method, hyper-elasticity, analysis of stability

Procedia PDF Downloads 343
27659 A Study for Effective CO2 Sequestration of Hydrated Cement by Direct Aqueous Carbonation

Authors: Hyomin Lee, Jinhyun Lee, Jinyeon Hwang, Younghoon Choi, Byeongseo Son

Abstract:

Global warming is a world-wide issue. Various carbon capture and storage (CCS) technologies for reducing CO2 concentration in the atmosphere have been increasingly studied. Mineral carbonation is one of promising method for CO2 sequestration. Waste cement generating from aggregate recycling processes of waste concrete is potentially a good raw material containing reactive components for mineral carbonation. The major goal of our long-term project is to developed effective methods for CO2 sequestration using waste cement. In the present study, the carbonation characteristics of hydrated cement were examined by conducting two different direct aqueous carbonation experiments. We also evaluate the influence of NaCl and MgCl2 as additives to increase mineral carbonation efficiency of hydrated cement. Cement paste was made with W:C= 6:4 and stored for 28 days in water bath. The prepared cement paste was pulverized to the size less than 0.15 mm. 15 g of pulverized cement paste and 200 ml of solutions containing additives were reacted in ambient temperature and pressure conditions. 1M NaCl and 0.25 M MgCl2 was selected for additives after leaching test. Two different sources of CO2 was applied for direct aqueous carbonation experiment: 0.64 M NaHCO3 was used for CO2 donor in method 1 and pure CO2 gas (99.9%) was bubbling into reacting solution at the flow rate of 20 ml/min in method 2. The pH and Ca ion concentration were continuously measured with pH/ISE Multiparameter to observe carbonation behaviors. Material characterization of reacted solids was performed by TGA, XRD, SEM/EDS analyses. The carbonation characteristics of hydrated cement were significantly different with additives. Calcite was a dominant calcium carbonate mineral after the two carbonation experiments with no additive and NaCl additive. The significant amount of aragonite and vaterite as well as very fine calcite of poorer crystallinity was formed with MgCl2 additive. CSH (calcium silicate hydrate) in hydrated cement were changed to MSH (magnesium silicate hydrate). This transformation contributed to the high carbonation efficiency. Carbonation experiment with method 1 revealed that that the carbonation of hydrated cement took relatively long time in MgCl2 solution compared to that in NaCl solution and the contents of aragonite and vaterite were increased as increasing reaction time. In order to maximize carbonation efficiency in direct aqueous carbonation with CO2 gas injection (method 2), the control of solution pH was important. The solution pH was decreased with injection of CO2 gas. Therefore, the carbonation efficiency in direct aqueous carbonation was closely related to the stability of calcium carbonate minerals with pH changes. With no additive and NaCl additive, the maximum carbonation was achieved when the solution pH was greater than 11. Calcium carbonate form by mineral carbonation seemed to be re-dissolved as pH decreased below 11 with continuous CO2 gas injection. The type of calcium carbonate mineral formed during carbonation in MgCl2 solution was closely related to the variation of solution pH caused by CO2 gas injection. The amount of aragonite significantly increased with decreasing solution pH, whereas the amount of calcite decreased.

Keywords: CO2 sequestration, Mineral carbonation, Cement and concrete, MgCl2 and NaCl

Procedia PDF Downloads 380
27658 Ficus Carica as Adsorbent for Removal of Phenol from Aqueous Solutions: Modelling and Optimization

Authors: Tizi Hayet, Berrama Tarek, Bounif Nadia

Abstract:

Phenol and its derivatives are organic compounds utilized in the chemical industry. They are introduced into the environment by accidental spills and illegal release of industrial and municipal wastewater. Phenols are organic intermediaries that considered as potential pollutants. Adsorption is one of the purification and separation techniques used in this area. Algeria produces annually 131000 tones of fig; therefore, a large amount of fig leaves is generated, and the conversion of this waste into adsorbent allows the valorization of agricultural residue. The main purpose of this present work is to describe an application of the statistical method for modeling and optimization of the conditions of the phenol (Ph) adsorption from agricultural by-product locally available (fig leaves). The best experimental performance of Ph elimination on the adsorbent was obtained with: Adsorbent concentration (X2) = 0.2 g L-1; Initial concentration (X3) = 150 mg L-1; Speed agitation (X1) = 300 rpm.

Keywords: low-cost adsorbents, fig leaves, full factorial design, phenol, biosorption

Procedia PDF Downloads 100