Search results for: property verification
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 2070

Search results for: property verification

1380 Effects of Gamma Irradiation on Chemical and Antioxidant Properties of Iranian Native Fresh Barberry Fruit

Authors: Samira Berenji Ardestani, Hamid Reza Akhavan

Abstract:

Gamma irradiation greatly reduces the potential microbiological risk of fresh fruits, resulting in improved microbial safety as well as extending their shelf life. The effects of 0.5-2 kGy gamma doses on some physicochemical, microbial and sensory properties of fresh barberry fruits (Berberis vulgaris) during refrigerated storage for 40 days were evaluated. The total anthocyanin and total phenolic contents of barberry fruits decreased in a dose-dependent manner immediately after irradiation and after subsequent storage. In general, it is recommended that, according to the effect of gamma radiation on physicochemical, microbial and sensorial characteristics, doses of 1.25-2 kGy could be used.

Keywords: antioxidant property, barberry fruit, chemical properties, gamma irradiation

Procedia PDF Downloads 274
1379 Museums and Csr: Environmental Impact and Strategies in Corporate Social Responsibility Policies

Authors: Nicola Urbino

Abstract:

The definition of corporate social responsibility policies is a central topic in contemporary museology, as the role of museums in developing social, cultural, and environmental impact strategies has become increasingly prominent. An overarching perspective in this domain can be provided by the publication of the primary tool for impact verification and reporting in the CSR field: the Social Report. The study, based on an international and national theoretical and regulatory assessment, focuses on the operational significance of structured social reporting for Italian museums. It analyzes the quality of some of the most important Social Reports published by leading Italian museums, examining both the strengths and weaknesses in order to offer a comprehensive overview of the phenomenon of social responsibility in the national context. That said, the contribution aims to analyze the strategies of the main Italian museums regarding their environmental impact on the territory. Through the analysis of the Social Balance Sheets published by a group of museums from the north to the south of Italy, we will highlight the relations that museums have established over the years with the territory and the environment, their sensitivity to climate change, and the strategies proposed to mitigate their environmental impact. Starting from a general analysis, the talk will help to highlight best practices and management models to be followed for sustainable growth, analyzing best practices, case studies and strategies applied to the museological field.

Keywords: museums, social report, sustainable development, footprint

Procedia PDF Downloads 6
1378 Characteristics and Key Exploration Directions of Gold Deposits in China

Authors: Bin Wang, Yong Xu, Honggang Qu, Rongmei Liu, Zhenji Gao

Abstract:

Based on the geodynamic environment, basic geological characteristics of minerals and so on, gold deposits in China are divided into 11 categories, of which tectonic fracture altered rock, mid-intrudes and contact zone, micro-fine disseminated and continental volcanic types are the main prospecting kinds. The metallogenic age of gold deposits in China is dominated by the Mesozoic and Cenozoic. According to the geotectonic units, geological evolution, geological conditions, spatial distribution, gold deposits types, metallogenic factors etc., 42 gold concentration areas are initially determined and have a concentrated distribution feature. On the basis of the gold exploration density, gold concentration areas are divided into high, medium and low level areas. High ones are mainly distributed in the central and eastern regions. 93.04% of the gold exploration drillings are within 500 meters, but there are some problems, such as less and shallower of drilling verification etc.. The paper discusses the resource potentials of gold deposits and proposes the future prospecting directions and suggestions. The deep and periphery of old mines in the central and eastern regions and western area, especially in Xinjiang and Qinghai, will be the future key prospecting one and have huge potential gold reserves. If the exploration depth is extended to 2,000 meters shallow, the gold resources will double.

Keywords: gold deposits, gold deposits types, gold concentration areas, prospecting, resource potentiality

Procedia PDF Downloads 70
1377 Doping ZnO with Bi through Synthesis of Layered Double Hydroxide Application of Photo-Catalytic Degradation of Indigoid Dye in the Visible Light

Authors: I. Benyamina, B. Benalioua, M. Mansour, A. Bentouami

Abstract:

The aim of this study is to use a synthetic of the layered double hydroxide as a method of doping of zinc by transition metal. The choice of dopant metal being bismuth. The material has been heat treated at different temperatures then tested on the Photo discoloration of indigo carmine under visible irradiation. In contrast, the diffuse reflectance spectroscopic analysis of the UV-visible heat treated material exhibits an absorbance in the visible unlike ZnO and TiO2 P25. This property let the photocatalytic activity of Bi-ZnO under visible irradiation. Indeed, the photocatalytic effectiveness of Bi-ZnO in a visible light was proved by the total discoloration of indigo carmine solution with intial concentration of 16 mg/L after 90 minutes, whereas the TiO2 P25 and ZnO their discolorations are obtained after 120 minutes.

Keywords: photo-catalysis, doping, AOP, ZnO

Procedia PDF Downloads 365
1376 A Compact Quasi-Zero Stiffness Vibration Isolator Using Flexure-Based Spring Mechanisms Capable of Tunable Stiffness

Authors: Thanh-Phong Dao, Shyh-Chour Huang

Abstract:

This study presents a quasi-zero stiffness (QZS) vibration isolator using flexure-based spring mechanisms which afford both negative and positive stiffness elements, which enable self-adjustment. The QZS property of the isolator is achieved at the equilibrium position. A nonlinear mathematical model is then developed, based on the pre-compression of the flexure-based spring mechanisms. The dynamics are further analyzed using the Harmonic Balance method. The vibration attention efficiency is illustrated using displacement transmissibility, which is then compared with the corresponding linear isolator. The effects of parameters on performance are also investigated by numerical solutions. The flexure-based spring mechanisms are subsequently designed using the concept of compliant mechanisms, with evaluation by ANSYS software, and simulations of the QZS isolator.

Keywords: vibration isolator, quasi-zero stiffness, flexure-based spring mechanisms, compliant mechanism

Procedia PDF Downloads 452
1375 Modelling of Hydric Behaviour of Textiles

Authors: A. Marolleau, F. Salaun, D. Dupont, H. Gidik, S. Ducept.

Abstract:

The goal of this study is to analyze the hydric behaviour of textiles which can impact significantly the comfort of the wearer. Indeed, fabrics can be adapted for different climate if hydric and thermal behaviors are known. In this study, fabrics are only submitted to hydric variations. Sorption and desorption isotherms obtained from the dynamic vapour sorption apparatus (DVS) are fitted with the parallel exponential kinetics (PEK), the Hailwood-Horrobin (HH) and the Brunauer-Emmett-Teller (BET) models. One of the major finding is the relationship existing between PEK and HH models. During slow and fast processes, the sorption of water molecules on the polymer can be in monolayer and multilayer form. According to the BET model, moisture regain, a physical property of textiles, show a linear correlation with the total amount of water taken in monolayer. This study provides potential information of the end uses of these fabrics according to the selected activity level.

Keywords: comfort, hydric properties, modelling, underwears

Procedia PDF Downloads 144
1374 Fatigue Tests of New Assembly Bolt Connections for Perspective Temporary Steel Railway Bridges

Authors: Marcela Karmazínová, Michal Štrba, Miln Pilgr

Abstract:

The paper deals with the problems of the actual behavior, failure mechanism and load-carrying capacity of the special bolt connection developed and intended for the assembly connections of truss main girders of perspective railway temporary steel bridges. Within the framework of this problem solution, several types of structural details of assembly joints have been considered as the conceptual structural design. Based on the preliminary evaluation of advantages or disadvantages of these ones, in principle two basic structural configurations so-called “tooth” and “splice-plate” connections have been selected for the subsequent detailed investigation. This investigation is mainly based on the experimental verification of the actual behavior, strain and failure mechanism and corresponding strength of the connection, and on its numerical modeling using FEM. This paper is focused only on the cyclic loading (fatigue) tests results of “splice-plate” connections and their evaluation, which have already been finished. Simultaneously with the fatigue tests, the static loading tests have been realized too, but these ones, as well as FEM numerical modeling, are not the subject of this paper.

Keywords: Bolt assembly connection, cyclic loading, failure mechanisms, fatigue strength, steel structure, structural detail category, temporary railway bridge

Procedia PDF Downloads 441
1373 Legal Considerations in Fashion Modeling: Protecting Models' Rights and Ensuring Ethical Practices

Authors: Fatemeh Noori

Abstract:

The fashion industry is a dynamic and ever-evolving realm that continuously shapes societal perceptions of beauty and style. Within this industry, fashion modeling plays a crucial role, acting as the visual representation of brands and designers. However, behind the glamorous façade lies a complex web of legal considerations that govern the rights, responsibilities, and ethical practices within the field. This paper aims to explore the legal landscape surrounding fashion modeling, shedding light on key issues such as contract law, intellectual property, labor rights, and the increasing importance of ethical considerations in the industry. Fashion modeling involves the collaboration of various stakeholders, including models, designers, agencies, and photographers. To ensure a fair and transparent working environment, it is imperative to establish a comprehensive legal framework that addresses the rights and obligations of each party involved. One of the primary legal considerations in fashion modeling is the contractual relationship between models and agencies. Contracts define the terms of engagement, including payment, working conditions, and the scope of services. This section will delve into the essential elements of modeling contracts, the negotiation process, and the importance of clarity to avoid disputes. Models are not just individuals showcasing clothing; they are integral to the creation and dissemination of artistic and commercial content. Intellectual property rights, including image rights and the use of a model's likeness, are critical aspects of the legal landscape. This section will explore the protection of models' image rights, the use of their likeness in advertising, and the potential for unauthorized use. Models, like any other professionals, are entitled to fair and ethical treatment. This section will address issues such as working conditions, hours, and the responsibility of agencies and designers to prioritize the well-being of models. Additionally, it will explore the global movement toward inclusivity, diversity, and the promotion of positive body image within the industry. The fashion industry has faced scrutiny for perpetuating harmful standards of beauty and fostering a culture of exploitation. This section will discuss the ethical responsibilities of all stakeholders, including the promotion of diversity, the prevention of exploitation, and the role of models as influencers for positive change. In conclusion, the legal considerations in fashion modeling are multifaceted, requiring a comprehensive approach to protect the rights of models and ensure ethical practices within the industry. By understanding and addressing these legal aspects, the fashion industry can create a more transparent, fair, and inclusive environment for all stakeholders involved in the art of modeling.

Keywords: fashion modeling contracts, image rights in modeling, labor rights for models, ethical practices in fashion, diversity and inclusivity in modeling

Procedia PDF Downloads 60
1372 Modern and Postmodern Marketing Approaches to Consumer Loyalty in Case of Indonesia Real Estate Developer

Authors: Lincoln Panjaitan, Antonius Sumarlin

Abstract:

The development of property businesses in the metropolitan area is growing rapidly forcing big real estate developers to come up with various strategies in winning the heart of consumers. This empirical research is focusing on how the two schools of marketing thoughts; namely, Modern and postmodern marketing employed by the preceding developers to retain consumers’ commitment toward their prospective brands. The data was collected from three different properties of PT. Intiland Tbk using accidental sampling technique. The data of 600 respondents was then put into Structural Equation Model (SEM). The result of the study suggests that both schools of thought can equally produce commitment and loyalty of consumers; however, the difference lays where the loyalty belongs to. The first is more toward developer’s brand and the latter is more toward the co-creation value of the housing community.

Keywords: consumer loyalty, consumer commitment, knowledge sharing platform, marketing mix

Procedia PDF Downloads 327
1371 A Golay Pair Based Synchronization Algorithm for Distributed Multiple-Input Multiple-Output System

Authors: Weizhi Zhong, Xiaoyi Lu, Lei Xu

Abstract:

In order to solve the problem of inaccurate synchronization for distributed multiple-input multiple-output (MIMO) system in multipath environment, a golay pair aided timing synchronization method is proposed in this paper. A new synchronous training sequence based on golay pair is designed. By utilizing the aperiodic auto-correlation complementary property of the new training sequence, the fine timing point is obtained at the receiver. Simulation results show that, compared with the tradition timing synchronization approaches, the proposed algorithm can provide high accuracy in synchronization, especially under multipath condition.

Keywords: distributed MIMO system, golay pair, multipath, synchronization

Procedia PDF Downloads 244
1370 The Determination of the Zinc Sulfate, Sodium Hydroxide and Boric Acid Molar Ratio on the Production of Zinc Borates

Authors: N. Tugrul, A. S. Kipcak, E. Moroydor Derun, S. Piskin

Abstract:

Zinc borate is an important boron compound that can be used as multi-functional flame retardant additive due to its high dehydration temperature property. In this study, the raw materials of ZnSO4.7H2O, NaOH and H3BO3 were characterized by X-Ray Diffraction (XRD) and Fourier Transform Infrared Spectroscopy (FT-IR) and used in the synthesis of zinc borates. The synthesis parameters were set to 100°C reaction temperature and 120 minutes of reaction time, with different molar ratio of starting materials (ZnSO4.7H2O:NaOH:H3BO3). After the zinc borate synthesis, the identifications of the products were conducted by XRD and FT-IR. As a result, Zinc Oxide Borate Hydrate [Zn3B6O12.3.5H2O], were synthesized at the molar ratios of 1:1:3, 1:1:4, 1:2:5 and 1:2:6. Among these ratios 1:2:6 had the best results.

Keywords: Zinc borate, ZnSO4.7H2O, NaOH, H3BO3, XRD, FT-IR

Procedia PDF Downloads 355
1369 Volumetric Properties of Binary Mixtures of Glycerol +1-Butanol or +2-Butanol at Several Temperatures

Authors: Y. Chabouni, F. Amireche

Abstract:

Densities of glycerol + 1-butanol or 2-butanol mixtures were measured over the temperature range 293.15 to 303.15 K at atmospheric pressure, over the entire composition range, with a vibrating tube densimeter. Excess molar volumes, apparent and partial molar volumes of glycerol and butanol, thermal isobaric expansivities of the mixture and partial molar expansivities of the components were calculated. The excess molar volumes of the mixtures are negative at all temperatures, and deviations from ideality increase with increasing temperature. Excess molar volumes were fitted to the Redlich–Kister equation. Partial molar volumes of glycerol decrease with increasing butanol concentration.

Keywords: 1-Butanol, 2-Butanol, density, excess molar volume, glycerol, partial molar property, thermal isobaric expansivities

Procedia PDF Downloads 187
1368 Genome-Wide Identification of Genes Resistance to Nitric Oxide in Vibrio parahaemolyticus

Authors: Yantao Li, Jun Zheng

Abstract:

Food poison caused by consumption of contaminated food, especially seafood, is one of most serious public health threats worldwide. Vibrio parahaemolyticus is emerging bacterial pathogen and the leading cause of human gastroenteritis associated with food poison, especially in the southern coastal region of China. To successfully cause disease in host, bacterial pathogens need to overcome the host-derived stresses encountered during infection. One of the toxic chemical species elaborated by the host is nitric oxide (NO). NO is generated by acidified nitrite in the stomach and by enzymes of the inducible NO synthase (iNOS) in the host cell, and is toxic to bacteria. Bacterial pathogens have evolved some mechanisms to battle with this toxic stress. Such mechanisms include genes to sense NO produced from immune system and activate others to detoxify NO toxicity, and genes to repair the damage caused by toxic reactive nitrogen species (RNS) generated during NO toxic stress. However, little is known about the NO resistance in V. parahaemolyticus. In this study, a transposon coupled with next generation sequencing (Tn-seq) technology will be utilized to identify genes for NO resistance in V. parahaemolyticus. Our strategy will include construction the saturating transposon insertion library, transposon library challenging with NO, next generation sequencing (NGS), bioinformatics analysis and verification of the identified genes in vitro and in vivo.

Keywords: vibrio parahaemolyticus, nitric oxide, tn-seq, virulence

Procedia PDF Downloads 263
1367 Microcrystalline Cellulose (MCC) from Oil Palm Empty Fruit Bunch (EFB) Fiber via Simultaneous Ultrasonic and Alkali Treatment

Authors: Ridzuan Ramli, Norhafzan Junadi, Mohammad D.H. Beg, Rosli M. Yunus

Abstract:

In this study, microcrystalline cellulose (MCC) was extracted from oil palm empty fruit bunch (EFB) cellulose which was earlier isolated from oil palm EFB fibre. In order to isolate the cellulose, the chlorination method was carried out. Then, the MCC was prepared by simultaneous ultrasonic and alkali treatment from the isolated α-cellulose. Based on mass balance calculation, the yields for MCC obtained from EFB was 44%. For fiber characterization, it is observed that the chemical composition of the hemicellulose and lignin for all samples decreased while composition for cellulose increased. The structural property of the MCC was studied by X-ray diffraction (XRD) method and the result shows that the MCC produced is a cellulose-I polymorph, with 73% crystallinity.

Keywords: oil palm empty fruit bunch, microcrystalline cellulose, ultrasonic, alkali treatment, x-ray diffraction

Procedia PDF Downloads 404
1366 Achieving Better Security by Using Nonlinear Cellular Automata as a Cryptographic Primitive

Authors: Swapan Maiti, Dipanwita Roy Chowdhury

Abstract:

Nonlinear functions are essential in different cryptoprimitives as they play an important role on the security of the cipher designs. Rule 30 was identified as a powerful nonlinear function for cryptographic applications. However, an attack (MS attack) was mounted against Rule 30 Cellular Automata (CA). Nonlinear rules as well as maximum period CA increase randomness property. In this work, nonlinear rules of maximum period nonlinear hybrid CA (M-NHCA) are studied and it is shown to be a better crypto-primitive than Rule 30 CA. It has also been analysed that the M-NHCA with single nonlinearity injection proposed in the literature is vulnerable against MS attack, whereas M-NHCA with multiple nonlinearity injections provide maximum length cycle as well as better cryptographic primitives and they are also secure against MS attack.

Keywords: cellular automata, maximum period nonlinear CA, Meier and Staffelbach attack, nonlinear functions

Procedia PDF Downloads 304
1365 The New Propensity Score Method and Assessment of Propensity Score: A Simulation Study

Authors: Azam Najafkouchak, David Todem, Dorothy Pathak, Pramod Pathak, Joseph Gardiner

Abstract:

Propensity score (PS) methods have recently become the standard analysis tool for causal inference in observational studies where exposure is not randomly assigned. Thus, confounding can impact the estimation of treatment effect on the outcome. Due to the dangers of discretizing continuous variables, the focus of this paper will be on how the variation in cut-points or boundaries will affect the average treatment effect utilizing the stratification of the PS method. In this study, we will develop a new methodology to improve the efficiency of the PS analysis through stratification and simulation study. We will also explore the property of empirical distribution of average treatment effect theoretically, including asymptotic distribution, variance estimation and 95% confident Intervals.

Keywords: propensity score, stratification, emprical distribution, average treatment effect

Procedia PDF Downloads 93
1364 Teaching Reading in English: The Neglect of Phonics in Nigeria

Authors: Abdulkabir Abdullahi

Abstract:

Nigeria has not yet welcomed phonics into its primary schools. In government-owned primary schools teachers are functionally ignorant of the stories of the reading wars amongst international scholars. There are few or no Nigerian-authored phonics textbooks, and there has been no government-owned phonics curriculum either. There are few or no academic journal articles on phonics in the country and there is, in fact, a certain danger of confusion between phonics and phonetics among Nigerian publishers, authors, writers and academics as if Nigerian teachers of English and the educational policy makers of the country were unaware of reading failures/problems amongst Nigerian children, or had never heard of phonics or read of the stories of the reading wars or the annual phonics test in the United Kingdom, the United States of America and other parts of the world. It is on this note that this article reviews and examines, in the style of a qualitative inquiry, the body of arguments on phonics, and explores the effectiveness of phonics teaching, particularly, in a second-language learning contexts. While the merit of the paper is, perhaps, situated in its supreme effort to draw global attention to reading failures/problems in Nigeria and the ways the situation may affect English language learning, international academic relations and the educational future of the country, it leaves any quantitative verification of its claims to interested quantitative researchers in the world.

Keywords: graphemes, phonics, reading, reading wars, reading theories, phonemic awareness

Procedia PDF Downloads 227
1363 Development of a Green Star Certification Tool for Existing Buildings in South Africa

Authors: Bouwer Kleynhans

Abstract:

The built environment is responsible for about 40% of the world’s energy consumption and generates one third of global carbon dioxide emissions. The Green Building Council of South Africa’s (GBCSA) current rating tools are all for new buildings. By far the largest portion of buildings exist stock and therefore the need to develop a certification tool for existing buildings. Direct energy measurement comprises 27% of the total available points in this tool. The aim of this paper is to describe the development process of a green star certification tool for existing buildings in South Africa with specific emphasis on the energy measurement criteria. Successful implementation of this tool within the property market will ensure a reduced carbon footprint of buildings.

Keywords: certification tool, development process, energy consumption, green buildings

Procedia PDF Downloads 313
1362 Multi-Source Data Fusion for Urban Comprehensive Management

Authors: Bolin Hua

Abstract:

In city governance, various data are involved, including city component data, demographic data, housing data and all kinds of business data. These data reflects different aspects of people, events and activities. Data generated from various systems are different in form and data source are different because they may come from different sectors. In order to reflect one or several facets of an event or rule, data from multiple sources need fusion together. Data from different sources using different ways of collection raised several issues which need to be resolved. Problem of data fusion include data update and synchronization, data exchange and sharing, file parsing and entry, duplicate data and its comparison, resource catalogue construction. Governments adopt statistical analysis, time series analysis, extrapolation, monitoring analysis, value mining, scenario prediction in order to achieve pattern discovery, law verification, root cause analysis and public opinion monitoring. The result of Multi-source data fusion is to form a uniform central database, which includes people data, location data, object data, and institution data, business data and space data. We need to use meta data to be referred to and read when application needs to access, manipulate and display the data. A uniform meta data management ensures effectiveness and consistency of data in the process of data exchange, data modeling, data cleansing, data loading, data storing, data analysis, data search and data delivery.

Keywords: multi-source data fusion, urban comprehensive management, information fusion, government data

Procedia PDF Downloads 384
1361 Numerical Solutions of Fractional Order Epidemic Model

Authors: Sadia Arshad, Ayesha Sohail, Sana Javed, Khadija Maqbool, Salma Kanwal

Abstract:

The dynamical study of the carriers play an essential role in the evolution and global transmission of infectious diseases and will be discussed in this study. To make this approach novel, we will consider the fractional order model which is generalization of integer order derivative to an arbitrary number. Since the integration involved is non local therefore this property of fractional operator is very useful to study epidemic model for infectious diseases. An extended numerical method (ODE solver) is implemented on the model equations and we will present the simulations of the model for different values of fractional order to study the effect of carriers on transmission dynamics. Global dynamics of fractional model are established by using the reproduction number.

Keywords: Fractional differential equation, Numerical simulations, epidemic model, transmission dynamics

Procedia PDF Downloads 590
1360 Faster, Lighter, More Accurate: A Deep Learning Ensemble for Content Moderation

Authors: Arian Hosseini, Mahmudul Hasan

Abstract:

To address the increasing need for efficient and accurate content moderation, we propose an efficient and lightweight deep classification ensemble structure. Our approach is based on a combination of simple visual features, designed for high-accuracy classification of violent content with low false positives. Our ensemble architecture utilizes a set of lightweight models with narrowed-down color features, and we apply it to both images and videos. We evaluated our approach using a large dataset of explosion and blast contents and compared its performance to popular deep learning models such as ResNet-50. Our evaluation results demonstrate significant improvements in prediction accuracy, while benefiting from 7.64x faster inference and lower computation cost. While our approach is tailored to explosion detection, it can be applied to other similar content moderation and violence detection use cases as well. Based on our experiments, we propose a "think small, think many" philosophy in classification scenarios. We argue that transforming a single, large, monolithic deep model into a verification-based step model ensemble of multiple small, simple, and lightweight models with narrowed-down visual features can possibly lead to predictions with higher accuracy.

Keywords: deep classification, content moderation, ensemble learning, explosion detection, video processing

Procedia PDF Downloads 41
1359 A Molding Surface Auto-inspection System

Authors: Ssu-Han Chen, Der-Baau Perng

Abstract:

Molding process in IC manufacturing secures chips against the harms done by hot, moisture or other external forces. While a chip was being molded, defects like cracks, dilapidation, or voids may be embedding on the molding surface. The molding surfaces the study poises to treat and the ones on the market, though, differ in the surface where texture similar to defects is everywhere. Manual inspection usually passes over low-contrast cracks or voids; hence an automatic optical inspection system for molding surface is necessary. The proposed system is consisted of a CCD, a coaxial light, a back light as well as a motion control unit. Based on the property of statistical textures of the molding surface, a series of digital image processing and classification procedure is carried out. After training of the parameter associated with above algorithm, result of the experiment suggests that the accuracy rate is up to 93.75%, contributing to the inspection quality of IC molding surface.

Keywords: molding surface, machine vision, statistical texture, discrete Fourier transformation

Procedia PDF Downloads 425
1358 Formal Implementation of Routing Information Protocol Using Event-B

Authors: Jawid Ahmad Baktash, Tadashi Shiroma, Tomokazu Nagata, Yuji Taniguchi, Morikazu Nakamura

Abstract:

The goal of this paper is to explore the use of formal methods for Dynamic Routing, The purpose of network communication with dynamic routing is sending a massage from one node to others by using pacific protocols. In dynamic routing connections are possible based on protocols of Distance vector (Routing Information Protocol, Border Gateway protocol), Link State (Open Shortest Path First, Intermediate system Intermediate System), Hybrid (Enhanced Interior Gateway Routing Protocol). The responsibility for proper verification becomes crucial with Dynamic Routing. Formal methods can play an essential role in the Routing, development of Networks and testing of distributed systems. Event-B is a formal technique consists of describing rigorously the problem; introduce solutions or details in the refinement steps to obtain more concrete specification, and verifying that proposed solutions are correct. The system is modeled in terms of an abstract state space using variables with set theoretic types and the events that modify state variables. Event-B is a variant of B, was designed for developing distributed systems. In Event-B, the events consist of guarded actions occurring spontaneously rather than being invoked. The invariant state properties must be satisfied by the variables and maintained by the activation of the events.

Keywords: dynamic rout RIP, formal method, event-B, pro-B

Procedia PDF Downloads 398
1357 A Paradigm Shift in Patent Protection-Protecting Methods of Doing Business: Implications for Economic Development in Africa

Authors: Odirachukwu S. Mwim, Tana Pistorius

Abstract:

Since the early 1990s political and economic pressures have been mounted on policy and law makers to increase patent protection by raising the protection standards. The perception of the relation between patent protection and development, particularly economic development, has evolved significantly in the past few years. Debate on patent protection in the international arena has been significantly influenced by the perception that there is a strong link between patent protection and economic development. The level of patent protection determines the extent of development that can be achieved. Recently there has been a paradigm shift with a lot of emphasis on extending patent protection to method of doing business generally referred to as Business Method Patenting (BMP). The general perception among international organizations and the private sectors also indicates that there is a strong correlation between BMP protection and economic growth. There are two diametrically opposing views as regards the relation between Intellectual Property (IP) protection and development and innovation. One school of thought promotes the view that IP protection improves economic development through stimulation of innovation and creativity. The other school advances the view that IP protection is unnecessary for stimulation of innovation and creativity and is in fact a hindrance to open access to resources and information required for innovative and creative modalities. Therefore, different theories and policies attach different levels of protection to BMP which have specific implications for economic growth. This study examines the impact of BMP protection on development by focusing on the challenges confronting economic growth in African communities as a result of the new paradigm in patent law. (Africa is used as a single unit in this study but this should not be construed as African homogeneity. Rather, the views advanced in this study are used to address the common challenges facing many communities in Africa). The study reviews (from the point of views of legal philosophers, policy makers and decisions of competent courts) the relevant literature, patent legislation particularly the International Treaty, policies and legal judgments. Findings from this study suggest that over and above the various criticisms levelled against the extreme liberal approach to the recognition of business methods as patentable subject matter, there are other specific implications that are associated with such approach. The most critical implication of extending patent protection to business methods is the locking-up of knowledge which may hamper human development in general and economic development in particular. Locking up knowledge necessary for economic advancement and competitiveness may have a negative effect on economic growth by promoting economic exclusion, particularly in African communities. This study suggests that knowledge of BMP within the African context and the extent of protection linked to it is crucial in achieving a sustainable economic growth in Africa. It also suggests that a balance is struck between the two diametrically opposing views.

Keywords: Africa, business method patenting, economic growth, intellectual property, patent protection

Procedia PDF Downloads 121
1356 Face Shield Design with Additive Manufacturing Practice Combating COVID-19 Pandemic

Authors: May M. Youssef

Abstract:

This article introduces a design, for additive manufacturing technology, face shield as Personal Protective Equipment from the respiratory viruses such as coronavirus 2. The face shields help to reduce ocular exposure and play a vital role in diverting away from the respiratory COVID-19 air droplets around the users' face. The proposed face shield comprises three assembled polymer parts. The frame with a transparency overhead projector sheet visor is suitable for frontline health care workers and ordinary citizens. The frame design allows tightening the shield around the user’s head and permits rubber elastic straps to be used if required. That ergonomically designed with a unique face mask support used in case of wearing extra protective mask was created using computer aided design (CAD) software package. The finite element analysis (FEA) structural verification of the proposed design is performed by an advanced simulation technique. Subsequently, the prototype model was fabricated by a 3D printing using Fused Deposition Modeling (FDM) as a globally developed face shield product. This study provides a different face shield designs for global production, which showed to be suitable and effective toward supply chain shortages and frequent needs of personal protective goods during coronavirus disease and similar viruses.

Keywords: additive manufacturing, Coronavirus-19, face shield, personal protective equipment, 3D printing

Procedia PDF Downloads 195
1355 Improving Fire Resistance of Wood and Wood-Based Composites and Fire Testing Systems

Authors: Nadir Ayrilmis

Abstract:

Wood and wood-based panels are one of the oldest structural materials used in the construction industry due to their significant advantages such as good mechanical properties, low density, renewable material, low-cost, recycling, etc. However, they burn when exposed to a flame source or high temperatures. This is very important when the wood products are used as structural or hemi-structural materials in the construction industry, furniture industry, so on. For this reason, the fire resistance is demanded property for wood products. They can be impregnated with fire retardants to improve their fire resistance. The most used fire retardants, fire-retardant mechanism, and fire-testing systems, and national and international fire-durability classifications and standard requirements for fire-durability of wood and wood-based panels were given in this study.

Keywords: fire resistance, wood-based panels, cone calorimeter, wood

Procedia PDF Downloads 155
1354 Phenomenology of Contemporary Cities: Abandoned Sites as Waiting Places, Bucharest, a Case Study

Authors: Luigi Pintacuda

Abstract:

What characterize the phenomenology of Bucharest is that all operations of modernization have never been completed, creating a city made up of fragments. Understood this fragmented nature, the traces and fractures, the acceptance of their scars must represent the basis for the design of development for Bucharest. From this insight comes a new analysis of this city: a city of two million inhabitants that does not need a project on an urban scale (as all other major projects for the city have failed), but, starting from the study of all these interstitial spaces of public property, it must find its own strategy, a strategy on a large-scale that reflects on the sites on an architectural one. It is a city composed by fragments, not waste, but places for the project: ‘waiting spaces’ for a possible continuation of the process of genesis of a city which is often incomplete.

Keywords: public spaces, traces fractures, urban design, urban development

Procedia PDF Downloads 246
1353 Exact Soliton Solutions of the Integrable (2+1)-Dimensional Fokas-Lenells Equation

Authors: Meruyert Zhassybayeva, Kuralay Yesmukhanova, Ratbay Myrzakulov

Abstract:

Integrable nonlinear differential equations are an important class of nonlinear wave equations that admit exact soliton solutions. All these equations have an amazing property which is that their soliton waves collide elastically. One of such equations is the (1+1)-dimensional Fokas-Lenells equation. In this paper, we have constructed an integrable (2+1)-dimensional Fokas-Lenells equation. The integrability of this equation is ensured by the existence of a Lax representation for it. We obtained its bilinear form from the Hirota method. Using the Hirota method, exact one-soliton and two-soliton solutions of the (2 +1)-dimensional Fokas-Lenells equation were found.

Keywords: Fokas-Lenells equation, integrability, soliton, the Hirota bilinear method

Procedia PDF Downloads 214
1352 Study of Wake Dynamics for a Rim-Driven Thruster Based on Numerical Method

Authors: Bao Liu, Maarten Vanierschot, Frank Buysschaert

Abstract:

The present work examines the wake dynamics of a rim-driven thruster (RDT) with Computational Fluid Dynamics (CFD). Unsteady Reynolds-averaged Navier-Stokes (URANS) equations were solved in the commercial solver ANSYS Fluent in combination with the SST k-ω turbulence model. The application of the moving reference frame (MRF) and sliding mesh (SM) approach to handling the rotational movement of the propeller were compared in the transient simulations. Validation and verification of the numerical model was performed to ensure numerical accuracy. Two representative scenarios were considered, i.e., the bollard condition (J=0) and a very light loading condition(J=0.7), respectively. From the results, it’s confirmed that compared to the SM method, the MRF method is not suitable for resolving the unsteady flow features as it only gives the general mean flow but smooths out lots of characteristic details in the flow field. By evaluating the simulation results with the SM technique, the instantaneous wake flow field under both conditions is presented and analyzed, most notably the helical vortex structure. It’s observed from the results that the tip vortices, blade shed vortices, and hub vortices are present in the wake flow field and convect downstream in a highly non-linear way. The shear layer vortices shedding from the duct displayed a strong interaction with the distorted tip vortices in an irregularmanner.

Keywords: computational fluid dynamics, rim-driven thruster, sliding mesh, wake dynamics

Procedia PDF Downloads 243
1351 Synthesis of KCaVO4:Sm³⁺/PMMA Luminescent Nanocomposites and Their Optical Property Measurements

Authors: Sumara Khursheed, Jitendra Sharma

Abstract:

The present work reports synthesis of nanocomposites (NCs) of phosphor (KCaVO4:Sm3+) embedded poly(methylmethacrylate) (PMMA) using solution casting method and their optical properties measurements for their possible application in making flexible luminescent films. X-ray diffraction analyses were employed to obtain the structural parameters as crystallinity, shape and size of the obtained NCs. The emission and excitation spectra were obtained using Photoluminescence spectroscopy to quantify the spectral properties of these fluorescent polymer/phosphor films. Optical energy gap has been estimated using UV-VIS spectroscopy while differential scanning calorimetry (DSC) was exploited to measure the thermal properties of the NC films in terms of their thermal stability, glass transition temperature and degree of crystallinity etc.

Keywords: nanocomposites, luminescence, XRD, differential scanning calorimetry, PMMA

Procedia PDF Downloads 160