Search results for: net present value
10387 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 68810386 Corpus Linguistic Methods in a Theoretical Study of Quran Verb Tense and Aspect in Translations from Arabic to English
Authors: Jawharah Alasmari
Abstract:
In inflectional morphology of verb, tense and aspect indicate action’s time either past/present or future and their period whether completed or not. The usage and meaning of tense and aspect differ in Arabic and English, therefore is no simple one -to- one mapping from an Arabic verb inflected form an appropriate English translation depends on a range of features, including immediate and wider context of use. The Quranic Arabic Corpus includes seven alternative expertly crafted English translations of each Arabic verses, which provides a test dataset for the study of appropriate Arabic to English translations of verb tense and aspect. We applied Corpus Linguistics Methods in a theoretical study of exemplary verbs, to elicit candidate verbal contexts which influence the choice of English inflection for each verse.Keywords: Corpus linguistics methods, Arabic verb, tense and aspect, English translations
Procedia PDF Downloads 38910385 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 30510384 Micro-Electrical Discharge Machining (µEDM): Effect of the Electrochemical Etching Parameters on the Fabrication of Cylindrical Tungsten Micro-Tools
Authors: Asmae Tafraouti, Yasmina Layouni
Abstract:
The fabrication of cylindrical Tungsten micro-tools with a high aspect ratio is a real challenge because of several constraints that come into during their manufacture. In this paper, we will describe the process used to fabricate these micro-tools. It consists of using electrochemical etching. We will also present the optimal protocol that makes it possible to fabricate micro-tools with a high aspect ratio in a reproducible way. Next, we will show the limit of the experimental parameters chosen to manufacture micro-tools from a wire with an initial diameter of Φ_0=250µm. The protocol used allows obtaining an average diameter of Φ=88µm ±1 µm over a length of L=3.5mm.Keywords: drop-off effect, electrochemical etching, micro-electrical discharge machining, tungsten micro-tools
Procedia PDF Downloads 18710383 Learning to Recommend with Negative Ratings Based on Factorization Machine
Authors: Caihong Sun, Xizi Zhang
Abstract:
Rating prediction is an important problem for recommender systems. The task is to predict the rating for an item that a user would give. Most of the existing algorithms for the task ignore the effect of negative ratings rated by users on items, but the negative ratings have a significant impact on users’ purchasing decisions in practice. In this paper, we present a rating prediction algorithm based on factorization machines that consider the effect of negative ratings inspired by Loss Aversion theory. The aim of this paper is to develop a concave and a convex negative disgust function to evaluate the negative ratings respectively. Experiments are conducted on MovieLens dataset. The experimental results demonstrate the effectiveness of the proposed methods by comparing with other four the state-of-the-art approaches. The negative ratings showed much importance in the accuracy of ratings predictions.Keywords: factorization machines, feature engineering, negative ratings, recommendation systems
Procedia PDF Downloads 24110382 An Action Research Study of Developing Foreign Language Teachers’ Intercultural Competence
Authors: Wei Hing Rosenkvist
Abstract:
In the past few decades, concerns and demands of promoting student intercultural communicative competence in foreign language education have been increasing along with the rapid growth of information technologies and globalization in the 21st century. In Sweden, related concepts such as internationalization, global citizenship, multiculturalism, and intercultural communication etc., are also keywords that would be found in the written learning objectives of the foreign language education in all levels. Being one of the leading higher institutes in distance education in Europe, Dalarna University clearly states that after completion of the teacher education program, students shall understand the needs for integrating internationalization, intercultural and global perspective in teaching and learning in Swedish schools and implement their own studies to promote education in an international and global context. Despite the fact that many teachers and educators agree with the institutes’ mission and vision about the importance of internationalization and the need of increasing student understanding of intercultural and global perspective, they might find this objective unattainable and restricted due to the nature of the subject and their personal knowledge of intercultural competence. When conducting a comprehensive Chinese language course for the students who are going to become Chinese foreign language teachers, the researcher found that all the learning objectives are linguistic oriented while grammatical components dominate the entire course. Apparently, there is a gap between the learning objectives of the course and the DU’s mission of fostering an international learner with intercultural and globalized perspectives. How to include this macro-learning objective in a foreign language course is a great challenge to the educator. Although scholars from different academic domains have provided different theoretical frameworks and approaches for developing student intercultural competence, research that focuses on the didactic perspectives of developing student intercultural competence in teaching Chinese as a foreign language education (CFL) is limited and practical examples are rare. This has motivated the researcher to conduct an action research study that aims at integrating DU’s macro-learning objective in a current CFL course through different didactic practices with a purpose of developing the teacher student intercultural competence. This research study aims to, firstly, illustrate the cross-cultural knowledge integrated into the present Chinese language course for developing intercultural competence. Secondly, it investigates different didactic means that can be utilized to deliver cross-cultural knowledge to student teachers in the present course without generating dramatic disturbance of the syllabus. Thirdly, it examines the effectiveness of these didactic means in enhancing teacher student intercultural competence regarding the need for integrating and implementing internationalization, intercultural and global perspectives in teaching and learning in Swedish schools. Last but not least, it intends to serve as a practical example for developing the student teachers’ intercultural competence in foreign language education in DU and fill in the research gap of this academic domain worldwide.Keywords: intercultural competence, foreign language education, action research, teacher education
Procedia PDF Downloads 11710381 Juvenile Paget’s Disease(JPD) of Bone
Authors: Aftab Ahmed, Ghulam Mehboob
Abstract:
The object of presentation is to highlight the importance of condition which is a very rare genetic disorder although Paget’s disease is common but its juvenile type is very rare and a late presentation due to very slow onset and lack of earlier standard management. We present a case of 25 years old male with a chronic history of bone pain and a slow onset of mild swelling, later on diagnosed as juvenile Paget disease of bone. Rarity of this condition with inaccessibility for standard health treatment can lead to a significant delay in presentation and its management. There have been 50 reported cases worldwide according to Genetic Home Reference. There is increased osteoclastic activity along with osteoblastic activity related to gene alteration and osteoprotegrin deficiency. Morbidity of disease is very significant which lead children to become immobilize.Keywords: juvenile, Paget’s disease, bone, Northern Area of Pakistan
Procedia PDF Downloads 32710380 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 36210379 Value from Environmental and Cultural Perspectives or Two Sides of the Same Coin
Authors: Vilem Paril, Dominika Tothova
Abstract:
This paper discusses the value theory in cultural heritage and the value theory in environmental economics. Two economic views of the value theory are compared within the field of cultural heritage maintenance and within the field of the environment. The main aims are to find common features in these two differently structured theories under the layer of differently defined terms as well as really differing features of these two approaches, to clear the confusion which stems from different terminology as in fact these terms capture the same aspects of reality and to show possible inspiration these two perspectives can offer one another. Another aim is to present these two value systems in one value framework. First, important moments of the value theory from the economic perspective are presented, leading to the marginal revolution of (not only) the Austrian School. Then the theory of value within cultural heritage and environmental economics are explored. Finally, individual approaches are compared and their potential mutual inspiration searched for.Keywords: cultural heritage, environmental economics, existence value, value theory
Procedia PDF Downloads 32010378 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 18110377 Studies on the Physicochemical Properties of Biolubricants Obtained from Vegetable Oils and Their Oxidative Stability
Authors: Expedito J. S. Parente Jr., Italo C. Rios, Joao Paulo C. Marques, Rosana M. A. Saboya, F. Murilo T. Luna, Célio L. Cavalcante Jr.
Abstract:
Increasing constraints of environmental regulation around the world have led to higher demand for biodegradable products. Vegetable oils present some properties that may favor their use as biolubricants; however, there are others, such as resistance to oxidation and pour point, which affect possible commercial applications. In this study, the physicochemical properties of biolubricants synthesized from different vegetable oils were evaluated and compared with petroleum-based lubricant and pure vegetable oil. Chemical modifications applied to the original vegetable oil improved their oxidative stability and pour point significantly. The addition of commercial antioxidants to the bio-based lubricants was evaluated, yielding values of oxidative stability close to those of mineral basestock oil.Keywords: biolubricant, vegetable oil, oxidative stability, pour point, antioxidants
Procedia PDF Downloads 31110376 Relationship and Comorbidity Between Down Syndrome and Autism Spectrum Disorder
Authors: Javiera Espinosa, Patricia López, Noelia Santos, Nadia Loro, Esther Moraleda
Abstract:
In recent years, there has been a notable increase in the number of investigations that establish that Down Syndrome and Autism Spectrum Disorder are diagnoses that can coexist together. However, there are also many studies that consider that both diagnoses present neuropsychological, linguistic and adaptive characteristics with a totally different profile. The objective of this research is to question whether there really can be a profile that encompasses both disorders or if they can be incompatible with each other. To this end, a review of the scientific literature of recent years has been carried out. The results indicate that the two lines collect opposite approaches. On the one hand, there is research that supports the increase in comorbidity between Down Syndrome and Autism Spectrum Disorder, and on the other hand, many investigations show a totally different general development profile between the two. The discussion focuses on discussing both lines of work and on proposing future lines of research in this regard.Keywords: disability, language, speech, down syndrome
Procedia PDF Downloads 7110375 An Adaptive CFAR Algorithm Based on Automatic Censoring in Heterogeneous Environments
Authors: Naime Boudemagh
Abstract:
In this work, we aim to improve the detection performances of radar systems. To this end, we propose and analyze a novel censoring technique of undesirable samples, of priori unknown positions, that may be present in the environment under investigation. Therefore, we consider heterogeneous backgrounds characterized by the presence of some irregularities such that clutter edge transitions and/or interfering targets. The proposed detector, termed automatic censoring constant false alarm (AC-CFAR), operates exclusively in a Gaussian background. It is built to allow the segmentation of the environment to regions and switch automatically to the appropriate detector; namely, the cell averaging CFAR (CA-CFAR), the censored mean level CFAR (CMLD-CFAR) or the order statistic CFAR (OS-CFAR). Monte Carlo simulations show that the AC-CFAR detector performs like the CA-CFAR in a homogeneous background. Moreover, the proposed processor exhibits considerable robustness in a heterogeneous background.Keywords: CFAR, automatic censoring, heterogeneous environments, radar systems
Procedia PDF Downloads 60010374 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 26110373 Quality Fabric Optimization Using Genetic Algorithms
Authors: Halimi Mohamed Taher, Kordoghli Bassem, Ben Hassen Mohamed, Sakli Faouzi
Abstract:
Textile industry has been an important part of many developing countries economies such as Tunisia. This industry is confronted with a challenging and increasing competitive environment. Good quality management in production process is the key factor for retaining existence especially in raw material exploitation. The present work aims to develop an intelligent system for fabric inspection. In the first step, we have studied the method used for fabric control which takes into account the default length and localization in woven. In the second step, we have used a method based on the fuzzy logic to minimize the Demerit point indicator with appropriate total rollers length, so that the quality problem becomes multi-objective. In order to optimize the total fabric quality, we have applied the genetic algorithm (GA).Keywords: fabric control, Fuzzy logic, genetic algorithm, quality management
Procedia PDF Downloads 58910372 Chemical and Oxygen Isotope Analysis of Roman Glasses from Northern Greece
Authors: P. Karalis, E. Dotsika, A. Godelitsas, M. Tassi, D. Ignatiadou
Abstract:
Glass artefacts originated from Northern Greece, dated between 1st and 6th AC, were analyzed for their oxygen isotopic and chemical compositions in order to identify their raw materials provenance. The chemical composition of these glasses is rather heterogeneous although they are all obtained with natron as flux, having both K₂O and MgO contents lower than 1.5 wt%. The majority of these samples have a homogeneous oxygen isotopic composition (𝛿18O= 16‰,), which is equal to or very close to the mean value of “Roman” glass (from about 15‰ to 16.0‰). The rest of the samples present heavily enriched 𝛿18O values that indicate that their raw materials differ from those normally used in Roman and Medieval glass production, and this matches with the possibility of the different origins of these materials. So, all these fragments are soda-lime-silica natron-glass produced from natron, possibly coming from more than one source.Keywords: ancient glass, provenance of raw materials of ancient glass, roman glass, oxygen isotope analysis in glass
Procedia PDF Downloads 12710371 Points of View on Turkish Trade Marks by Foreigners Living in Konya
Authors: İmran Ugur, Zulfiye Acar
Abstract:
Trade marks are composed of figures, signs or symbols such as logos, colours and designs to be formed for service or products to be different from their counterparts. However, trade marks have nowadays a large meaning that defines its classical description. It has an understanding that pioneers novelties by forming the perception of quality, being emotional constituents and leading to links to their consumers. While entering different markets all over the world, Turkish trade marks are encountering a new type of consumers in Turkey migrating from different countries. Most of these new consumers meet Turkish trade marks for the first time. The present study was performed to investigate the perception of Turkish trade marks living in Konya. How these consumers look at the trade marks of clothes, food, beverages, GSM operators and whiteware appliances, and perceive these trade marks were tried to be determined. Which trade marks they chose according to their preferences, and the awareness of Turkish trade marks were evaluated in the study.Keywords: brand, brand awareness, culture, trade marks
Procedia PDF Downloads 37510370 Study the Efficiency of Some Homopolymers as Lube Oil Additives
Authors: Amal M. Nassar, Nehal S. Ahmed, Rasha S. Kamal
Abstract:
Some lube oil additives improve the base oil performance such as viscosity index improvers and pour point depressants which are the most important type of additives. In the present work, some homopolymeric additives were prepared by esterification of acrylic acid with different alcohols (1-dodecyl, 1-hexadecyl, and 1-octadecyl )and then homopolymerization of the prepared esters with different ratio of benzoyl peroxide catalyst (0.25%& 0.5 % and 1%). Structure of the prepared esters was confirmed by Infra-Red Spectroscopy. The molecular weights of the prepared homopolymers were determined by using Gel Permeation Chromatograph. The efficiency of the prepared homopolymers as viscosity index improvers and pour point depressants for lube oil was the investigation. It was found that all the prepared homopolymers are effective as viscosity index improvers and pour point depressants.Keywords: lube oil additives, homopolymerization, viscosity index improver, pour point depressant
Procedia PDF Downloads 22910369 Relational and Personal Variables Predicting Marital Satisfaction
Authors: Sezen Gulec, Bilge Uzun
Abstract:
Almost all of the world population marries at least once in their lifetime. Nevertheless, in reality, only half of all marriages last a lifetime. The most important factor in marriage to manage is the satisfaction that they obtain. It is reality that marital satisfaction does not only related to maintain the relationship but also related to the social and work relationships. In this respect, the purpose of the present research is to find the personal and relational factors predicted marital satisfaction. The sample including 378 (178 male and 200 females) married individuals were administered to marital life scale, multidimensional perfectionism scale, trait forgivingness scale, adjective based personality test and relationship happiness questionnaire. The findings revealed marital happiness, forgiveness and extravertedness and emotional inconsistency factors were found to be significant predictors of marital satisfaction.Keywords: marital satisfaction, happiness, perfectionism, forgiveness, five factor personality
Procedia PDF Downloads 66410368 Magnetic, Magnetocaloric, and Electrical Properties of Pr0.7Ca0.3Mn0.9M0.1O3
Authors: A. Selmi, A. Bettaibi, H. Rahmouni, R. M’nassri, N. Chniba Boudjada, A. Chiekhrouhou, K. Khirouni
Abstract:
Investigation of magnetic and magnetocaloric properties of Pr₀.₇Ca₀.₃Mn₀.₉M₀.₁O₃ perovskite manganites (M=Cr and Ni) has been carried out. Our compounds were prepared by the conventional solid-state reaction method at high temperatures. Rietveld refinement of X-ray diffraction pattern using FULLPROF method shows that all compounds adopt the orthorhombic structure with Pnma space group. The partial substitution of Mn-site drives the system from charge order state to ferromagnetic one with a Curie temperature T𝒸=150K, 118k and 116K for M=Cr and Ni, respectively. Magnetization measurements versus temperature in a magnetic applied field of 0.05T show that all our samples exhibit a paramagnetic–ferromagnetic transition with decreasing temperature. From M(H) isotherms, we have deduced the magnetic entropy change, which present maximum values of 2.37 J/kg.K and 2.94 J/kg.K, in a magnetic field change of 5T for M=Cr and Ni, respectively.Keywords: manganites, magnetocaloric, magnetic, refrigeration
Procedia PDF Downloads 7510367 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 9610366 The Gasification of Fructose in Supercritical Water
Authors: Shyh-Ming Chern, H. Y. Cheng
Abstract:
Biomass is renewable and sustainable. As an energy source, it will not release extra carbon dioxide into the atmosphere. Hence, tremendous efforts have been made to develop technologies capable of transforming biomass into suitable forms of bio-fuel. One of the viable technologies is gasifying biomass in supercritical water (SCW), a green medium for reactions. While previous studies overwhelmingly selected glucose as a model compound for biomass, the present study adopted fructose for the sake of comparison. The gasification of fructose in SCW was investigated experimentally to evaluate the applicability of supercritical water processes to biomass gasification. Experiments were conducted with an autoclave reactor. Gaseous product mainly consists of H2, CO, CO2, CH4 and C2H6. The effect of two major operating parameters, the reaction temperature (673-873 K) and the dosage of oxidizing agent (0-0.5 stoichiometric oxygen), on the product gas composition, yield and heating value was also examined, with the reaction pressure fixed at 25 MPa.Keywords: biomass, fructose, gasification, supercritical water
Procedia PDF Downloads 35110365 Sloshing Response of Liquid in Prismatic Container under Oscillation
Authors: P. R. Maiti, S. K. Bhattacharyya
Abstract:
Sloshing is a physical phenomenon characterized by the oscillation of unrestrained free surface of liquid in a partially liquid filled container subjected to external excitation. Determination of sloshing frequency in container is important to avoid resonance condition of the system. The complex behavior of the free surface movement and its combined mode of vibration make difficulty for exact analysis of sloshing. In the present study, numerical analysis is carried out for a partially liquid filled tank under external forces. Boundary element approach is used to formulate the sloshing problem in two -dimensional prismatic container with potential flow. Effort has been made to find slosh response for two dimensional problems in partially liquid filled prismatic container.Keywords: sloshing, boundary element method, prismatic container, oscillation
Procedia PDF Downloads 31910364 Clicking Based Graphical Password Scheme Resistant to Spyware
Authors: Bandar Alahmadi
Abstract:
The fact that people tend to remember pictures better than texts, motivates researchers to develop graphical passwords as an alternative to textual passwords. Graphical passwords as such were introduced as a possible alternative to traditional text passwords, in which users prove their identity by clicking on pictures rather than typing alphanumerical text. In this paper, we present a scheme for graphical passwords that are resistant to shoulder surfing attacks and spyware attacks. The proposed scheme introduces a clicking technique to chosen images. First, the users choose a set of images, the images are then included in a grid where users can click in the cells around each image, the location of the click and the number of clicks are saved. As a result, the proposed scheme can be safe from shoulder surface and spyware attacks.Keywords: security, password, authentication, attack, applications
Procedia PDF Downloads 16110363 A Simple Recursive Framework to Generate Gray Codes for Weak Orders in Constant Amortized Time
Authors: Marsden Jacques, Dennis Wong
Abstract:
A weak order is a way to rank n objects where ties are allowed. In this talk, we present a recursive framework to generate Gray codes for weak orders. We then describe a simple algorithm based on the framework that generates 2-Gray codes for weak orders in constant amortized time per string. This framework can easily be modified to generate other Gray codes for weak orders. We provide an example on using the framework to generate the first Shift Gray code for weak orders, also in constant amortized time, where consecutive strings differ by a shift or a symbol change.Keywords: weak order, Cayley permutation, Gray code, shift Gray code
Procedia PDF Downloads 17210362 Mechanical Properties of the Sugarcane Bagasse Reinforced Polypropylene Composites
Authors: R. L. M. Paiva, M. R. Capri, D. R. Mulinari, C. F. Bandeira, S. R. Montoro
Abstract:
Natural fibers are used in polymer composites to improve mechanical properties, substituting inorganic reinforcing agents produced by non renewable resources. The present study investigates the tensile, flexural and impact behaviors of sugarcane bagasse fibers-polypropylene composite as a function of volume fraction. The surface of the fibers was modified by mercerization treatments to improve the wetting behavior of the apolar polypropylene. The treatment characterization was obtained by infrared spectroscopy and scanning electron microscopy. Results evidence that a good adhesion interfacial between fibers-matrix causing an increase strength and modulus flexural as well as impact strength in the modified fibers/PP composites when compared to the pure PP and unmodified fibers reinforced composites.Keywords: sugarcane bagasse, polymer composites, mechanical properties, fibers
Procedia PDF Downloads 61810361 Non Classical Photonic Nanojets in near Field of Metallic and Negative-Index Scatterers, Purely Electric and Magnetic Nanojets
Authors: Dmytro O. Plutenko, Alexei D. Kiselev, Mikhail V. Vasnetsov
Abstract:
We present the results of our analytical and computational study of Laguerre-Gaussian (LG) beams scattering by spherical homogeneous isotropic particles located on the axis of the beam. We consider different types of scatterers (dielectric, metallic and double negative metamaterials) and different polarizations of the LG beams. A possibility to generate photonic nanojets using metallic and double negative metamaterial Mie scatterers is shown. We have studied the properties of such nonclassical nanojets and discovered new types of the nanojets characterized by zero on-axes magnetic (or electric) field with the electric (or magnetic) field polarized along the z-axis.Keywords: double negative metamaterial, Laguerre-Gaussian beam, Mie scattering, optical vortices, photonic nanojets
Procedia PDF Downloads 22010360 Mechanical Properties and Microstructure of Ultra-High Performance Concrete Containing Fly Ash and Silica Fume
Authors: Jisong Zhang, Yinghua Zhao
Abstract:
The present study investigated the mechanical properties and microstructure of Ultra-High Performance Concrete (UHPC) containing supplementary cementitious materials (SCMs), such as fly ash (FA) and silica fume (SF), and to verify the synergistic effect in the ternary system. On the basis of 30% fly ash replacement, the incorporation of either 10% SF or 20% SF show a better performance compared to the reference sample. The efficiency factor (k-value) was calculated as a synergistic effect to predict the compressive strength of UHPC with these SCMs. The SEM of micrographs and pore volume from BJH method indicate a high correlation with compressive strength. Further, an artificial neural networks model was constructed for prediction of the compressive strength of UHPC containing these SCMs.Keywords: artificial neural network, fly ash, mechanical properties, ultra-high performance concrete
Procedia PDF Downloads 41310359 UniFi: Universal Filter Model for Image Enhancement
Authors: Aleksei Samarin, Artyom Nazarenko, Valentin Malykh
Abstract:
Image enhancement is becoming more and more popular, especially on mobile devices. Nowadays, it is a common approach to enhance an image using a convolutional neural network (CNN). Such a network should be of significant size; otherwise, a possibility for the artifacts to occur is overgrowing. The existing large CNNs are computationally expensive, which could be crucial for mobile devices. Another important flaw of such models is they are poorly interpretable. There is another approach to image enhancement, namely, the usage of predefined filters in combination with the prediction of their applicability. We present an approach following this paradigm, which outperforms both existing CNN-based and filter-based approaches in the image enhancement task. It is easily adaptable for mobile devices since it has only 47 thousand parameters. It shows the best SSIM 0.919 on RANDOM250 (MIT Adobe FiveK) among small models and is thrice faster than previous models.Keywords: universal filter, image enhancement, neural networks, computer vision
Procedia PDF Downloads 10110358 The Effect of Increase in Aluminium Content on Fluidity of ZA Alloys Processed by Centrifugal Casting
Authors: P. N. Jyothi, A. Shailesh Rao, M. C. Jagath, K. Channakeshavalu
Abstract:
Uses of ZA alloys as bearing material have been increased due to their superior mechanical properties, wear characteristics and tribological properties. Among ZA alloys, ZA 27 alloy has higher strength, low density with excellent bearing and wear characteristics. From the past research work, it is observed that in continuous casting as Al content increases, the fluidity also increases. In present work, ZA 8, ZA 12 and ZA 27 alloys have been processed through centrifugal casting process at 600 rotational speed of the mould. Uniform full cylinder is casted with ZA 8 alloy. For ZA 12 and ZA 27 alloys where the Al content is higher, cast tubes were not complete and uniform. The reason is Al may be acting as a refiner and reduce the melt flow in the rotating mould. This is mainly due to macro-segregation of Al, which has occurred due to difference in densities of Al and Zn.Keywords: centrifugal casting, metal flow, characterization, systems engineering
Procedia PDF Downloads 326