Search results for: cloud connected vehicle

Authors: M. G. Ghanem, A. M. M. A. Allam, Diaa E. Fawzy, Mehmet Faruk Cengiz

Abstract:

This paper is devoted to the design and implementation of a smartwatch textile antenna for Wi-Fi bio-medical applications in millimetric wave bands. The antenna is implemented on a leather textile-based substrate to be embedded in a smartwatch. It enables the watch to pick Wi-Fi signals without the need to be connected to a mobile through Bluetooth. It operates at 60 GHz or WiGig (Wireless Gigabit Alliance) band with a wide band for higher rate applications. It also could be implemented over many stratified layers of the body organisms to be used in the diagnosis of many diseases like diabetes and cancer. The structure is designed and simulated using CST (Studio Suite) program. The wearable patch antenna has an octagon shape, and it is implemented on leather material that acts as a flexible substrate with a size of 5.632 x 6.4 x 2 mm3, a relative permittivity of 2.95, and a loss tangent of 0.006. The feeding is carried out using differential feed (discrete port in CST). The work provides five antenna implementations; antenna without ground, a ground is added at the back of the antenna in order to increase the antenna gain, the substrate dimensions are increased to 15 x 30 mm2 to resemble the real hand watch size, layers of skin and fat are added under the ground of the antenna to study the effect of human body tissues human on the antenna performance. Finally, the whole structure is bent. It is found that the antenna can achieve a simulated peak realized gain in dB of 5.68, 7.28, 6.15, 3.03, and 4.37 for antenna without ground, antenna with the ground, antenna with larger substrate dimensions, antenna with skin and fat, and bent structure, respectively. The antenna with ground exhibits high gain; while adding the human organisms absorption, the gain is degraded because of human absorption. The bent structure contributes to higher gain.

Keywords: bio medical engineering, millimetric wave, smart watch, textile antennas, Wi-Fi

Procedia PDF Downloads 119

Authors: K. Mokatse, O. M. Barei, K. Gabanakgosi, P. Matlhabaphiri

Abstract:

The mining of pit slopes is often associated with some level of deviation from design recommendations, and this may translate to associated changes in the stability of the excavated pit slopes. Therefore slope angle design reconciliations are essential for assessing and monitoring compliance of excavated pit slopes to accepted slope designs. These associated changes in slope stability may be reflected by changes in the calculated factors of safety and/or probabilities of failure. Reconciliations of as-mined and slope design profiles are conducted periodically to assess the implications of these deviations on pit slope stability. Currently, the slope design reconciliation process being implemented in Jwaneng Mine involves the measurement of as-mined and design slope angles along vertical sections cut along the established geotechnical design section lines on the GEOVIA GEMS™ software. Bench retentions are calculated as a percentage of the available catchment area, less over-mined and under-mined areas, to that of the designed catchment area. This process has proven to be both tedious and requires a lot of manual effort and time to execute. Consequently, a new semi-automated mine-to-design reconciliation approach that utilizes laser scanning and GIS-based tools is being proposed at Jwaneng Mine. This method involves high-resolution scanning of targeted bench walls, subsequent creation of 3D surfaces from point cloud data and the derivation of slope toe lines and crest lines on the Maptek I-Site Studio software. The toe lines and crest lines are then exported to the ArcGIS software where distance offsets between the design and actual bench toe lines and crest lines are calculated. Retained bench catchment capacity is measured as distances between the toe lines and crest lines on the same bench elevations. The assessment of the performance of the inter-ramp and overall slopes entails the measurement of excavated and design slope angles along vertical sections on the ArcGIS software. Excavated and design toe-to-toe or crest-to-crest slope angles are measured for inter-ramp stack slope reconciliations. Crest-to-toe slope angles are also measured for overall slope angle design reconciliations. The proposed approach allows for a more automated, accurate, quick and easier workflow for carrying out slope angle design reconciliations. This process has proved highly effective and timeous in the assessment of slope performance in Jwaneng Mine. This paper presents a newly proposed process for assessing compliance to slope angle designs for Jwaneng Mine.

Keywords: slope angle designs, slope design recommendations, slope performance, slope stability

Procedia PDF Downloads 230

Authors: G. Sivaraj, K. M. Parammasivam, R. Veeramanikandan, S. Nithish

Abstract:

Reduction of ground clearance or (ride height) is a vital factor in minimizing aerodynamic drag force and improving vehicle performance. But in India, minimization of ground clearance is limited because of the road conditions. Due to this problem, reduction of aerodynamic drag and performance are not fully improved. In this view, this paper deals with the development of self-retractable front spoilers which are most suitable for Indian road conditions. These retractable spoilers are fitted in the front portion of the car and in speed below 60 km/hr these spoilers are in retracted positions. But, when the car crosses a speed above 60 km/hr, using electronic circuit the spoilers are activated. Thus, using this technique aerodynamic performance can be improved at a speed above 60 km/hr. Also, when the car speed is reduced below the 60 km/hr mark, the front spoiler are retracted which makes it as a normal car. This is because, in Indian roads, speed breakers are installed to cut off speed at particular places. Thus, in these circumstances there are chances of damaging front spoilers. Since, when the driver sees the speed breaker, he will automatically apply break to prevent damage, at this time using electronic circuit the front spoiler is retracted. However, accidentally when the driver fails to apply brakes there are chances for the front spoilers to get a hit. But as the front spoilers are made of Kevlar composite, it can withstand high impact loads and using a spring mechanism the spoilers are retracted immediately. By using CFD analysis and low-speed wind tunnel testing drag coefficient of the 1:10 scaled car model with and without self-retractable spoilers are calculated and validated. Also, using wind tunnel, proper working of self-retractable at car speed below and above 60 km/hr are validated.

Keywords: aerodynamic drag, CFD analysis, kevlar composite, self-retractable spoilers, wind tunnel

Procedia PDF Downloads 339

Authors: Alex Arghya Adhikari

Abstract:

Gaming and esports industry is one of the biggest and fastest growing industries in the world. Globally people have started investing more in this industry since now people believe just like traditional sports, esports can also sustain their future. Last year in the month of December, the Indian government also recognised esports as an official sport but there has not been any positive initiative by the government in encouraging people to enter esports. This is a problem which cannot be overlooked since we are already in the digital age and gaming and esports is the future industry. There is a need for multiple effective marketing strategies by the game publishers to stabilize the esports in the country. Purpose: To observe the marketing-communication strategies that are implemented by Riot Games’ Valorant and how those strategies influence the consumer behavior and the esports of the game. Methodology: Activities over the internet related to the game like livestreams, discord chats, Instagram posts and YouTube videos over a period of two months have been collected through the Digital Ethnography. To support and validate the observations of the data collected, in-depth online interviews have been conducted which includes streamers, journalists, LAN experienced players and casual players. Findings: The game publisher through its Dynamic Competitive Gaming Experience and Community-Engaged Ecosystem succeeded in making the game a Recreational activity and a Community which goes beyond the In-game experiences which helped in understanding the impact of audience engagement on esports and the loopholes and setbacks of Indian esports. Conclusion: The study provides a comprehensive analysis of how Valorant's successful marketing and community engagement strategies have contributed to its global popularity and competitive esports environment. It highlights the various strategies employed by Riot Games to keep players engaged and connected, and also the challenges in the Indian esports landscape which differentiates it from the global competition.

Keywords: esports, valorant, marketing, consumer behaviour

Procedia PDF Downloads 68

Authors: Girish Chandran, Milu Tigi

Abstract:

Brian O'Doherty's seminal essay, Inside the white Cube theorized and named the dominant mode of display and exhibition of Modern Art museums. Ever since the advent of Biennales and other site-specific public art projects we have seen a departure from the white cube mode of exhibition. The physicality, materiality and context within which an artwork is framed has a role in the production of meaning of public art. Equally, artworks contribute to the meaning and identity of a place. This to and fro relationship between the site and artwork and its influence on the sense of place and production of meaning is being explored in this paper in the context of Kochi Muziris Biennale (KMB). Known as the Peoples biennale with over 5 lakh visitors, it is India's first Biennale and its largest art exhibition of contemporary art. The paper employs place theory and contemporary curatorial theories to present the case. The KMB has an interesting mix of exhibition spaces which includes existing galleries and halls, site-specific projects in public spaces, infill developments and adaptive reuse of heritage and other unused architecture. The biennale was envisioned as an event connecting to the history, socio-political peculiarities of the cultural landscape of Kerala and more specifically Kochi. The paper explains the role of spatial elements in forming a curatorial narrative connected to the above mentioned ambitions.The site-specific nature of exhibition and its use of unused architecture helps in the formation of exhibition spaces unique in type and materiality. The paper argues how this helps in the creation of an 'archeology of the place'. The research elucidates how a composite nature of experience helps connect with the thematic ambitions of the Biennale and how it brings about an aesthetics distinct to KMB.

Keywords: public art, curatorial practice, architecture, place, contemporary art, site specificity

Procedia PDF Downloads 158

Authors: M. Sangeetha, D. Chamundeeswari, C. Saravanababu, C. Rose, V. Gopal

Abstract:

Rheumatoid arthritis (RA) is a chronic, progressive, systemic inflammatory disorder affecting the synovial joints and typically producing symmetrical arthritis that leads to joint destruction, which is responsible for the deformity and disability. Despite improvements in the treatment of RA over the past decade, there still is a need for new therapeutic agents that are efficacious, less expensive, and free of severe adverse reactions. The present study aimed to investigate role of inflammatory markers in arthritic rats treated with ethanolic bark extract of Albizia procera. The protective effect of ethanolic bark extract of Albizia procera against complete Freund’s adjuvant (CFA) induced arthritis in rats. Arthritis was induced by an intradermal injection of 0.1 ml FCA in the foot pad of left hind limb of rats. ETBE (100 and 200 mg/kg b.wt./p.o) and the reference drug diclofenac (25 mg/kg b.wt./p.o) were administered to arthritic rats. Paw volume was measured for all the animals before inducing arthritis and thereafter once in seven days by using plethysmometer for 42 days. Gene expression of inflammatory markers such as IL-1β and IL-10 were investigated in paw tissues. Up regulation of IL-1β and Down regulation IL-10 were observed in CFA injected rats when compared to normal rats. ETBE attenuated these alterations dose dependently when compared to the vehicle treated rats. These results provide insights into the mechanism of anti-arthritic activity, and unravel potential therapeutic use of Albizia procera in arthritis.

Keywords: CFA-Complete Freund’s adjuvant, ETBE – ethanolic bark extract, IL- interleukins, RA-rheumatoid arthritis

Procedia PDF Downloads 283

Authors: Farhad Arian Far, Anjanette Q. Eleazar, Francis Aldrine A. Uy, Mary Joyce Anne V. Uy

Abstract:

The Unified Philippine Accident Reporting and Database System (UPARDS), is a newly developed system by Dr. Francis Aldrine Uy of the Mapua Institute of Technology. The main purpose is to provide an advanced road accident investigation tool, record keeping and analysis system for stakeholders such as Philippine National Police (PNP), Metro Manila Development Authority (MMDA), Department of Public Works and Highways (DPWH), Department of Health (DOH), and insurance companies. The system is composed of 2 components, the mobile application for road accident investigators that takes advantage of available technology to advance data gathering and the web application that integrates all accident data for the use of all stakeholders. The researchers with the cooperation of PNP’s Vehicle Traffic Investigation Sector of the City of Manila, conducted the field-testing of the application in fifteen (15) accident cases. Simultaneously, the researchers also distributed surveys to PNP, Manila Doctors Hospital, and Charter Ping An Insurance Company to gather their insights regarding the web application. The survey was designed on information systems theory called Technology Acceptance Model. The results of the surveys revealed that the respondents were greatly satisfied with the visualization and functions of the applications as it proved to be effective and far more efficient in comparison with the conventional pen-and-paper method. In conclusion, the pilot study was able to address the need for improvement of the current system.

Keywords: accident, database, investigation, mobile application, pilot testing

Procedia PDF Downloads 441

Authors: Ahmed Belgasem, Walid Ben Hussin, Emad Krekshi, Jamal Hashad

Abstract:

Waxy crude oil, characterized by its high paraffin wax content, poses significant challenges in the oil & gas industry due to its increased viscosity and semi-solid state at reduced temperatures. The wax formation process, which includes precipitation, crystallization, and deposition, becomes problematic when crude oil temperatures fall below the wax appearance temperature (WAT) or cloud point. Addressing these issues, this paper introduces a technical solution designed to mitigate the wax appearance and enhance the oil production process in Abu-Attifil Field via a 30-inch crude oil pipeline. A comprehensive flow assurance study validates the feasibility and performance of this solution across various production rates, temperatures, and operational scenarios. The study's findings indicate that maintaining the crude oil's temperature above a minimum threshold of 63°C is achievable through the strategic placement of two heating stations along the pipeline route. This approach effectively prevents wax deposition, gelling, and subsequent mobility complications, thereby bolstering the overall efficiency, reliability, safety, and economic viability of the production process. Moreover, this solution significantly curtails the environmental repercussions traditionally associated with wax deposition, which can accumulate up to 7,500kg. The research methodology involves a comprehensive flow assurance study to validate the feasibility and performance of the proposed solution. The study considers various production rates, temperatures, and operational scenarios. It includes crude oil analysis to determine the wax appearance temperature (WAT), as well as the evaluation and comparison of operating options for the heating stations. The study's findings indicate that the proposed solution effectively prevents wax deposition, gelling, and subsequent mobility complications. By maintaining the crude oil's temperature above the specified threshold, the solution improves the overall efficiency, reliability, safety, and economic viability of the oil production process. Additionally, the solution contributes to reducing environmental repercussions associated with wax deposition. The research conclusion presents a technical solution that optimizes oil production in the Abu-Attifil Field by addressing wax formation problems through the strategic placement of two heating stations. The solution effectively prevents wax deposition, improves overall operational efficiency, and contributes to environmental sustainability. Further research is suggested for field data validation and cost-benefit analysis exploration.

Keywords: oil production, wax depositions, solar cells, heating stations

Procedia PDF Downloads 71

Authors: Spyridon Komaitis, Christos Koutsarnakis, Evangelos Drosos, Aristotelis Kalyvas

Abstract:

This study opts to investigate the intrinsic architecture, morphology, and spatial relationship of the subcortical pathways implicated in the connectivity of the motor/premotor cortex and SMA/pre-SMA complex. Twenty normal, adult, formalin-fixed cerebral hemispheres were explored through the fiber micro-dissection technique. Lateral to medial and medial to lateral dissections focused on the area of interest were performed in a tandem manner and under the surgical microscope. We traced the subcortical architecture, spatial relationships, and axonal connectivity of four major pathways: a) the dorsal component of the SLF (SLF-I) was found to reside in the medial aspect of the hemisphere and seen to connect the precuneus with the SMA and pre-SMA complex, b) the frontal longitudinal system (FLS) was consistently encountered as the natural anterior continuation of the SLF-II and SLF-III and connected the premotor and prefrontal cortices c) the fronto-caudate tract (FCT), a fan-shaped tract, was documented to participate in connectivity of the prefrontal and premotor cortices to the head and body of the caudate nucleus and d) the cortico-tegmental tract(CTT) was invariably recorded to subserve the connectivity of the tegmental area with the fronto-parietal cortex. No hemispheric asymmetries were recorded for any of the implicated pathways. Sub-segmentation systems were also proposed for each of the aforementioned tracts. The structural connectivity and functional specialization of motor and premotor areas in the human brain remain vague to this day as most of the available evidence derives either from animal or tractographic studies. By using the fiber-microdissection technique as our main method of investigation, we provide sound structural evidence on the delicate anatomy of the related white matter pathways.

Keywords: neuroanatomy, premotor, motor, connectivity

Procedia PDF Downloads 126

Authors: Gertrude I Hewapathirana, Mohamed M. Moustafa, Michel G. Zaitouni

Abstract:

The purposes of this research are: (a) to provide an epistemological and ontological understanding of the WLB theory, practice, and research to illuminate how the WLB evolved between 2000 to 2020 and (b) to analyze peer-reviewed research to identify the gaps, hotspots, underlying dynamics, theoretical and thematic trends, influential authors, research collaborations, geographic networks, and the multidisciplinary nature of the WLB theory to guide future researchers. The research used four-step bibliometric network analysis to explore five research questions. Using keywords such as WLB and associated variants, 1190 peer-reviewed articles were extracted from the Scopus database and transformed to a plain text format for filtering. The analysis was conducted using the R version 4.1 software (R Development Core Team, 2021) and several libraries such as bibliometrics, word cloud, and ggplot2. We used the VOSviewer software (van Eck & Waltman, 2019) for network visualization. The WLB theory has grown into a multifaceted, multidisciplinary field of research. There is a paucity of research between 2000 to 2005 and an exponential growth from 2006 to 2015. The rapid increase of WLB research in the USA, UK, and Australia reflects the increasing workplace stresses due to hyper competitive workplaces, inflexible work systems, and increasing diversity and the emergence of WLB support mechanisms, legal and constitutional mandates to enhance employee and family wellbeing at multilevel social systems. A severe knowledge gap exists due to inadequate publications disseminating the "core" WLB research. "Locally-centralized-globally-discrete" collaboration among researchers indicates a "North-South" divide between developed and developing nations. A shortage in WLB research in developing nations and a lack of research collaboration hinder a global understanding of the WLB as a universal phenomenon. Policymakers and practitioners can use the findings to initiate supporting policies, and innovative work systems. The boundary expansion of the WLB concepts, categories, relations, and properties would facilitate researchers/theoreticians to test a variety of new dimensions. This is the most comprehensive WLB landscape analysis that reveals emerging trends, concepts, networks, underlying dynamics, gaps, and growing theoretical and disciplinary boundaries. It portrays the WLB as a universal theory.

Keywords: work-life balance, co-citation networks; keyword co-occurrence network, bibliometric analysis

Procedia PDF Downloads 196

Authors: Kuladeep Kumar Sadevi

Abstract:

The shift towards raising global urban population has intense implications on the sustainability of the urban livelihoods. Rapid urbanization has made governments, companies and civil societies recognize that they are barely equipped to deal with growing urban demands, especially water, waste and energy management. Effective management of land, water, energy and waste at a community level should be addressed well to attain greener cities. In pursuit of Green livelihoods; various norms, codes, and green rating programmes have been followed by stakeholders at various levels. While the sustainability is being adapted at smaller scale developments, greening the urban environment at community/city level is still finding its path to reality. This is due to lack of the sense of ownership in the citizens for their immediate neighborhoods and city as a whole. This phenomenon can be well connected to the theory of 'tragedy of commons' with respect to the community engagement to manage the common pool resources. The common pool resource management has been well addressed by Elinor Ostrom, who shared the Nobel Prize in Economics in 2009 for her lifetime of scholarly work investigating how communities succeed or fail at managing common pool (finite) resources. This paper examines the applicability of Elinor Ostrom's 8 Principles for Managing a Commons, to meet urban sustainability. The key objective of this paper is to come up with a model for effective urban common pool resource management, which ultimately leads to sustainability as a whole. The paper brings out a methodology to understand various parameters involved in urban sustainability, examine the synergies of all such parameters, and application of Ostrom’s principles to correlate these parameters in order to attain effective urban resource management.

Keywords: common pool resources, green cities, green communities, participatory management, sustainable development, urban resource management, urban sustainability

Procedia PDF Downloads 355

Authors: Anil Bhandari, Imran Khan Pathan, Peeyush K. Sharma, Rakesh K. Patel, Suresh Purohit

Abstract:

The purpose of this study was to prepare time and pH dependent release tablets of Ayurvedic Churna formulation and evaluate their advantages as colon targeted drug delivery system. The Vidangadi Churna was selected for this study which contains Embelin and Gallic acid. Embelin is used in Helminthiasis as therapeutic agent. Embelin is insoluble in water and unstable in gastric environment so it was formulated in time and pH dependent tablets coated with combination of two polymers Eudragit L100 and ethyl cellulose. The 150mg of core tablet of dried extract and lactose were prepared by wet granulation method. The compression coating was used in the polymer concentration of 150mg for both the layer as upper and lower coating tablet was investigated. The results showed that no release was found in 0.1 N HCl and pH 6.8 phosphate buffers for initial 5 hours and about 98.97% of the drug was released in pH 7.4 phosphate buffer in total 17 hours. The in vitro release profiles of drug from the formulation could be best expressed first order kinetics as highest linearity (r2= 0.9943). The results of the present study have demonstrated that the time and pH dependent tablets system is a promising vehicle for preventing rapid hydrolysis in gastric environment and improving oral bioavailability of Embelin and Gallic acid for treatment of Helminthiasis.

Keywords: embelin, gallic acid, Vidangadi Churna, colon targeted drug delivery

Procedia PDF Downloads 359

Authors: Evgeny Obraztsov, Ilya Kremnev, Vitaly Sokolov, Maksim Gavrilov, Evgeny Tretyakov, Vladimir Kukhtevich, Vladimir Bezlepkin

Abstract:

Over the last decade, a specific set of connected software tools and calculation codes has been gradually developed. It allows simulating I&C systems, thermal-hydraulic, neutron-physical and electrical processes in elements and systems at the Unit of NPP (initially with WWER (pressurized water reactor)). In 2012 it was called a complex simulation suite “Virtual Unit of NPP” (or CSS “VEB” for short). Proper application of this complex tool should result in a complex coupled mathematical computational model. And for a specific design of NPP, it is called the Virtual Power Unit (or VPU for short). VPU can be used for comprehensive modelling of a power unit operation, checking operator's functions on a virtual main control room, and modelling complicated scenarios for normal modes and accidents. In addition, CSS “VEB” contains a combination of thermal hydraulic codes: the best-estimate (two-liquid) calculation codes KORSAR and CORTES and a homogenous calculation code TPP. So to analyze a specific technological system one can build thermal-hydraulic simulation models with different detalization levels up to a nodalization scheme with real geometry. And the result at some points is similar to the notion “engineering/testing simulator” described by the European utility requirements (EUR) for LWR nuclear power plants. The paper is dedicated to description of the tools mentioned above and an example of the application of the engineering thermal-hydraulic simulator in analysis of the boron acid concentration in the primary coolant (changed by the make-up and boron control system).

Keywords: best-estimate code, complex simulation suite, engineering simulator, power plant, thermal hydraulic, VEB, virtual power unit

Procedia PDF Downloads 379

Authors: Farid Yuristiawan, Aulina R. Rahmi, Detty Iryani, Gunawan

Abstract:

Glass ionomer cement is one of the filling material that often used in the field of dentistry because it is relatively less expensive and mostly available. Surface hardness is one of the most important properties of restoration material; it is the ability of material to stand against indentation, which is directly connected to the material compressive strength and its ability to withstand abrasion. The higher surface hardness of a material means it is better to withstand abrasion. The existence of glass ionomer cement in the mouth makes it susceptible to any substance that comes into mouth, one of them is mouthwash which is a solution that used for many purposes such as antiseptic, astringent, to prevent caries, and bad breath. The presence of alcohol in mouthwash could affect the properties of glass ionomer cement, surface hardness. Objective: To determine the comparison of surface hardness of glass ionomer cement which soaked in alcohol containing mouthwash and alcohol-free mouthwash. Methods: This research is a laboratory experimental type study. There were 30 samples made from GC FUJI IX GP EXTRA and then soaked in artificial saliva for the first 24 hours inside incubator which temperature and humidity were controlled. Samples then divided into three groups. The first group will be soaked in alcohol-containing mouthwash; second group will be soaked alcohol-free mouthwash and control group will be soaked in artificial saliva for 6 hours inside incubator. Listerine is the mouthwash that was used on this research and surface hardness was examined using Vickers Hardness Tester. The result of this research shows mean value for surface hardness of the first group is 16.36 VHN, 24.04 VHN for second group, and 43.60 VHN for control group. The result one way ANOVA with post hoc Bonferroni comparing test show significant results p = 0.00. Conclusions: The data showed there were statistically significant differences of surface hardness between each group, which surface hardness of the first group is lower than the second group, and both surface hardness of the first (alcohol mouthwash) and second group (alcohol-free mouthwash) are lowered than control group (p = 0.00).

Keywords: glass ionomer cement, mouthwash, surface hardness, Vickers hardness tester

Procedia PDF Downloads 223

Authors: Arwin Malabanan, Carl Chester Ragudo, Jerome Tadiosa, John Dee Mangoba, Eric Augustus Tingatinga, Romeo Eliezer Longalong

Abstract:

Concrete hollow blocks (CHB) are the most commonly used masonry block for walls in residential houses, school buildings and public buildings in the Philippines. During the recent 2013 Bohol earthquake (Mw 7.2), it has been proven that CHB walls are very vulnerable to severe external action like strong ground motion. In this paper, a numerical model of CHB structures is proposed, and seismic behavior of CHB houses is presented. In modeling, the Rigid Body Spring-Discrete Element method (RBS-DEM)) is used wherein masonry blocks are discretized into rigid elements and connected by nonlinear springs at preselected contact points. The shear and normal stiffness of springs are derived from the material properties of CHB unit incorporating the grout and mortar fillings through the volumetric transformation of the dimension using material ratio. Numerical models of reinforced and unreinforced walls are first subjected to linearly-increasing in plane loading to observe the different failure mechanisms. These wall models are then assembled to form typical model masonry houses and then subjected to the El Centro and Pacoima earthquake records. Numerical simulations show that the elastic, failure and collapse behavior of the model houses agree well with shaking table tests results. The effectiveness of the method in replicating failure patterns will serve as a basis for the improvement of the design and provides a good basis of strengthening the structure.

Keywords: concrete hollow blocks, discrete element method, earthquake, rigid body spring model

Procedia PDF Downloads 371

Authors: Martin Botz, Michael Kraus, Geralt Siebert

Abstract:

The use of laminated glass gains increasing importance in structural engineering. For safety reasons, at least two glass panes are laminated together with a polymeric interlayer. In case of breakage of one or all of the glass panes, the glass fragments are still connected to the interlayer due to adhesion forces and a certain residual load-bearing capacity is left in the system. Polymer interlayers used in the laminated glass show a viscoelastic material behavior, e.g. stresses and strains in the interlayer are dependent on load duration and temperature. In the intact stage only small strains appear in the interlayer, thus the material can be described in a linear way. In the broken stage, large strains can appear and a non-linear viscoelasticity material theory is necessary. Relaxation tests on two different types of polymeric interlayers are performed at different temperatures and strain amplitudes to determine the border to the non-linear material regime. Based on the small-scale specimen results further tests on broken laminated glass panes are conducted. So-called ‘through-crack-bending’ (TCB) tests are performed, in which the laminated glass has a defined crack pattern. The test set-up is realized in a way that one glass layer is still able to transfer compressive stresses but tensile stresses have to be transferred by the interlayer solely. The TCB-tests are also conducted under different temperatures but constant force (creep test). Aims of these experiments are to elaborate if the results of small-scale tests on the interlayer are transferable to a laminated glass system in the broken stage. In this study, limits of the applicability of linear-viscoelasticity are established in the context of two commercially available polymer-interlayers. Furthermore, it is shown that the results of small-scale tests agree to a certain degree to the results of the TCB large-scale experiments. In a future step, the results can be used to develop material models for the post breakage performance of laminated glass.

Keywords: glass breakage, laminated glass, relaxation test, viscoelasticity

Procedia PDF Downloads 121

Authors: Mansoor Soomro

Abstract:

The evolution of power electronic equipment has been pivotal in making industrial processes productive, efficient and safe. Despite its attractive features, it has been due to nonlinear loads which make it vulnerable to power quality conditions. Harmonics is one of the power quality problem in which the harmonic frequency is integral multiple of supply frequency. Therefore, the supply voltage and supply frequency do not last within their tolerable limits. As a result, distorted current and voltage waveform may appear. Attributes of low power quality confirm that an electrical device or equipment is likely to malfunction, fail promptly or unable to operate under all applied conditions. The electrical power system is designed for delivering power reliably, namely maximizing power availability to customers. However, power quality events are largely untracked, and as a result, can take out a process as many as 20 to 30 times a year, costing utilities, customers and suppliers of load equipment, a loss of millions of dollars. The ill effects of current harmonics reduce system efficiency, cause overheating of connected equipment, result increase in electrical power and air conditioning costs. With the passage of time and the rapid growth of power electronic converters has highlighted the damages of current harmonics in the electrical power system. Therefore, it has become essential to address the bad influence of current harmonics while planning any suitable changes in the electrical installations. In this paper, an effort has been made to mitigate the effects of dominant 3rd order current harmonics. Passive filtering technique with six pulse multiplication converter has been employed to mitigate them. Since, the standards of power quality are to maintain the supply voltage and supply current within certain prescribed standard limits. For this purpose, the obtained results are validated as per specifications of IEEE 519-1992 and IEEE 519-2014 performance standards.

Keywords: current harmonics, power quality, passive filters, power electronic converters

Procedia PDF Downloads 299

Authors: Barbara Zapala, Marek Dziechciowski, Olaf Chmura, Monika Piwowar, Katarzyna Gawlik, Dorota Pawlicka-Gosiewska, Krzysztof Skotniczny, Bogdan Solnica, Kazimierz Pitynski

Abstract:

BACKGROUND: Endometrial cancer is one of the most common gynecologic malignancy in developed countries.We hypothesized that amount of circulating micro-particles in blood may be connected with the development of endometrial hyperplasia and endometrial cancer. The aim of this study was to measure the micro-particles amount in uterine venous blood and in peripheral venous blood in women with atypical endometrial hyperplasia and endometrioid endometrial cancer. MATERIALS AND METHODS: By using flow cytometry (BD Canto II cytometer) we measured micro-particles amount in citrate plasma samples from peripheral and uterine venous blood of women with atypical hyperplasia of endometrium or endometrial cancer. We determined the amount of total (TF+), endothelial (CD144+) and monocytic (CD14+) micro- particles. RESULTS: Here we show statistically significant higher micro-particle levels in women with atypical hyperplasia of endometrium or endometrial cancer in comparison to healthy women. Performing measurements of the amounts of total, endothelial and monocytic microparticles allow for reliable differentiation between healthy, atypical hyperplasia and endometrial cancer groups. In blood samples from uterine veins the circulating micro-particle levels were significantly different from peripheral blood samples. The micro-particle levels in uterine blood samples were 7-fold higher than in those from peripheral blood of women with both atypical hyperplasia of endometrium and endometrial cancer when compared to the control group of healthy women. CONCLUSION: These results strongly suggested that the level of circulating micro-particles may be a sign of endometrial cancer development, however the detailed study is needed focusing on molecular processes passed through this small circulating molecules.

Keywords: endometrial cancer, endometrial hyperplasia, microvesicles, uterine blood

Procedia PDF Downloads 134

Authors: Arkadiusz Adam Gardaś

Abstract:

In his theory of gaps, Wolfgang Iser states that literary texts often lack direct messages. Instead of using straightforward descriptions, authors leave the gaps or blanks, i.e., the spaces within the text that come into existence only when readers fill them with their understanding and experiences. This paper’s aim is to present Iser’s literary theory in an intersectional way by comparing it to the idea of intersemiotic translation. To be more precise, the author uses the example of Netflix’s adaption of Lucy Maud Montgomery’s Anne of Green Gables as a form of rendering a book into a film in such a way that certain textual gaps are filled with film images. Intersemiotic translation is a rendition in which signs of one kind of media are translated into the signs of the other media. Film adaptions are the most common, but not the only, type of intersemiotic translation. In this case, the role of the translator is taken by a screenwriter. A screenwriter’s role can reach beyond the direct meaning presented by the author, and instead, it can delve into the source material (here – a novel) in a deeper way. When it happens, a screenwriter is able to spot the gaps in the text and fill them with images that can later be presented to the viewers. Anne with an E, the Netflix adaption of Montgomery’s novel, may be used as a highly meaningful example of such a rendition. It is due to the fact that the 2017 series was broadcasted more than a hundred years after the first edition of the novel was published. This means that what the author might not have been able to show in her text can now be presented in a more open way. The screenwriter decided to use this opportunity to represent certain groups in the film, i.e., racial and sexual minorities, and women. Nonetheless, the series does not alter the novel; in fact, it adds to it by filling the blanks with more direct images. In the paper, fragments of the first season of Anne with an E are analysed in comparison to its source, the novel by Montgomery. The main purpose of that is to show how intersemiotic translation connected with the Iser’s literary theory can enrich the understanding of works of art, culture, media, and literature.

Keywords: intersemiotic translation, film, literary gaps, representation

Procedia PDF Downloads 314

Authors: Sindhu Govardhan, Kenneth G. Crowther

Abstract:

Modernisation of the water sector is leading to increased connectivity and integration of emerging technologies with traditional ones, leading to new security risks. The convergence of Information Technology (IT) with Operation Technology (OT) results in solutions that are spread across larger geographic areas, increasingly consist of interconnected Industrial Internet of Things (IIOT) devices and software, rely on the integration of legacy with modern technologies, use of complex supply chain components leading to complex architectures and communication paths. The result is that multiple parties collectively own and operate these emergent technologies, threat actors find new paths to exploit, and traditional cybersecurity controls are inadequate. Our approach is to explicitly identify and draw data flows that cross trust boundaries between owners and operators of various aspects of these emerging and interconnected technologies. On these data flows, we layer potential attack vectors to create a frame of reference for evaluating possible risks against connected technologies. Finally, we identify where existing controls, mitigations, and other remediations exist across industry partners (e.g., suppliers, product vendors, integrators, water utilities, and regulators). From these, we are able to understand potential gaps in security, the roles in the supply chain that are most likely to effectively remediate those security gaps, and test cases to evaluate and strengthen security across these partners. This informs a “shared responsibility” solution that recognises that security is multi-layered and requires collaboration to be successful. This shared responsibility security framework improves visibility, understanding, and control across the entire supply chain, and particularly for those water utilities that are accountable for safe and continuous operations.

Keywords: cyber security, shared responsibility, IIOT, threat modelling

Procedia PDF Downloads 75

Authors: Nitish Suvarna, Anjali Awasthi

Abstract:

In an era marked by rapid technological advancements, the integration of Autonomous Vehicles into supply chain networks represents a transformative shift, promising to redefine the paradigms of logistics and transportation. This thesis delves into a comprehensive assessment of the impact of autonomous vehicles on supply chain performance, with a particular focus on network design, operational efficiency, and environmental sustainability. Employing the advanced simulation capabilities of anyLogistix (ALX), the study constructs a digital twin of a conventional supply chain network, encompassing suppliers, production facilities, distribution centers, and customer endpoints. The research methodically integrates Autonomous Vehicles into this intricate network, aiming to unravel the multifaceted effects on transportation logistics including transit times, cost-efficiency, and sustainability. Through simulations and scenarios analysis, the study scrutinizes the operational resilience and adaptability of supply chains in the face of dynamic market conditions and disruptive technologies like Autonomous Vehicles. Furthermore, the thesis undertakes carbon footprint analysis, quantifying the environmental benefits and challenges associated with the adoption of Autonomous Vehicles in supply chain operations. The insights from this research are anticipated to offer a strategic framework for industry stakeholders, guiding the adoption of Autonomous Vehicles to foster a more efficient, responsive, and sustainable supply chain ecosystem. The findings aim to serve as a cornerstone for future research and practical implementations in the realm of intelligent transportation and supply chain management.

Keywords: autonomous vehicle, agri-food supply chain, ALX simulation, anyLogistix

Procedia PDF Downloads 74

Authors: Marilei Amadeu Sabino

Abstract:

Before the advent of Cognitive Linguistics, metaphor was considered a stylistic issue, but now it is viewed as a critical component of everyday language and a fundamental mechanism of human conceptualizations of the world. It means that human beings' conceptual system (the way we think and act) is metaphorical in nature. Another interesting hypothesis in Cognitive Linguistics is that cognition is embodied, that is, our cognition is influenced by our experiences in the physical world: the mind is connected to the body and the body influences the mind. In this sense, it is believed that many conceptual metaphors appear to be potentially universal or near-universal, because people across the world share certain bodily experiences. In these terms, many metaphors may be identical or very similar in several languages. Thus, in this study, we analyzed some somatic (also called body) idioms of Italian and Portuguese languages, in order to investigate the proportion in which their metaphors are the same, similar or different in both languages. It was selected hundreds of Italian idioms in dictionaries and indicated their corresponding idioms in Portuguese. The analysis allowed to conclude that much of the studied expressions are really structurally, semantically and metaphorically identical or similar in both languages. We also contrasted some Portuguese and Italian somatic expressions to their corresponding English idioms to have a multilingual perspective of the issue, and it also led to the conclusion that the most common idioms based on metaphors are probably those that have to do with the human body. Although this is mere speculation and needs more study, the results found incite relevant discussions on issues that matter Foreign and Second Language Teaching and Learning, including the retention of vocabulary. The teaching of the metaphorically different body idioms also plays an important role in language learning and teaching as it will be shown in this paper. Acknowledgments: FAPESP – São Paulo State Research Support Foundation –the financial support offered (proc. n° 2017/02064-7).

Keywords: body idioms, cognitive linguistics, metaphor, vocabulary teaching and learning

Procedia PDF Downloads 334

Authors: Michael Luc Andre, Célia Maintenant

Abstract:

Theory of mind is a milestone in child development which allows children to understand that others could have different mental states than theirs. Understanding the developmental stages of theory of mind in children leaded researchers on two Connected research problems. In one hand, the link between executive function and theory of mind, and on the other hand, the relationship of theory of mind and syntax processing. These two lines of research involved a great literature, full of important results, despite certain level of disagreement between researchers. For a long time, these two research perspectives continue to grow up separately despite research conclusion suggesting that the three variables should implicate same developmental period. Indeed, our goal was to study the relation between theory of mind, executive function, and language via a unique research question. It supposed that between executive function and language, one of the two variables could play a critical role in the relationship between theory of mind and the other variable. Thus, 112 children aged between three and six years old were recruited for completing a receptive and an expressive vocabulary task, a syntax understanding task, a theory of mind task, and three executive function tasks (inhibition, cognitive flexibility and working memory). The results showed significant correlations between performance on theory of mind task and performance on executive function domain tasks, except for cognitive flexibility task. We also found significant correlations between success on theory of mind task and performance in all language tasks. Multiple regression analysis justified only syntax and general abilities of language as possible predictors of theory of mind performance in our preschool age children sample. The results were discussed in the perspective of a great role of language abilities in theory of mind development. We also discussed possible reasons that could explain the non-significance of executive domains in predicting theory of mind performance, and the meaning of our results for the literature.

Keywords: child development, executive function, general language, syntax, theory of mind

Procedia PDF Downloads 62

Authors: Ayla Hoeta, Holly Winton

Abstract:

Maramataka is an ancestral lunar environmental knowledge system based on environmental tohu (signs, observations or indicators), that continues to impart maatauranga (knowledge) to tangata whenua, people of the land after thousands of years. Maramataka is the mauri (energy) flow between whenua (land), moana (water) and rangi (sky), experienced through tirotiro (observing), connecting and attuning to the natural environment. Tohu serve as guidance to practises of kaiawhina (protection) a key value driving Aotearoa New Zealand led research in Antarctica. Recent developments recognise the importance of including and integrating indigenous knowledge and perspectives such as maatauranga Maaori which can provide insights into the conservation of Antarctica. We use an ancient kaupapa Maaori framework of weaving, wayfinding and attunement to navigate complexities using Hautu Waka. We investigate and weave together learnings from Antarctic and western science and indigenous Maaori maatauranga and tohu of moana, whenua and rangi to provide an indigenous perspective of Antarctica taiao and Maramataka. Drawing on past and present knowledge of environmental calendars contained in maatauranga Maaori and paleoclimate knowledge bases, field observations, interviews and whakataukii (proverbs), we aim to provide a conceptual Maramataka of the southwestern Ross Sea region and area of Antarctica. A key area of interest are the tohu related to the marama which are connected to all three interweaving spheres of moana, rangi, whenua. Maatauranga Maramataka in Aotearoa has been developed over millennia and we acknowledge the mana and sacredness of this tupuna knowledge and that this conceptual Maramataka serves as the starting point of a journey to shine light on indigenous perspectives using Maaori methods and frameworks in a dominant western science paradigm.

Keywords: Maramataka, Antarctica, Aotearoa, Maaori, tohu, moon, lunar calendar

Procedia PDF Downloads 70

Authors: Sarah Hebbouch

Abstract:

Two decades ago, research on diasporic women’s participation within Sufi circles would have been inconceivable, not only because of a general lack of recognition of their contribution to Sufism but due to the intimacy of the rituals, often taking place in confined spaces, like zawiyas (Sufi lodges). Recent scholarly attention to female spiritual experience owes to a digital awareness and interest in exploring diasporic community reproduction of those experiences. Within a context where female disciples of a Sufi convent undergo a physical separation from the saint’s sanctuary -because of immigration from the homeland to the host country- technology becomes a social hub accounting for Sufis’ ritual commitment and preservation of cultural capital in the diaspora. This paper elucidates how female Sufi immigrants affiliating with the Boudchichi brotherhood (Morocco-based) maintain ‘a relational network’ and strong social online relationships with their female compatriots in Morocco through the use of online platforms. Sufi communities living in the diaspora find the internet an open interactive space that serves to kindle their distance of spiritual participation and corroborate their transnational belonging. The current paper explores the implications of the use of a digital baseline named “Tariqa Info,” the convent’s digital online platform, and how it mediates everyday ritual performance, the promotion of digital connection, and the communication of ideas and discourses. Such a platform serves the bolstering emotional bonds for transnational female disciples and inclusion within online communities in the homeland. Assisted by an ethnographic lens, this paper discusses the research findings of participatory field observation of Sufi women’s online communities, informed by the need to trace the many ostensible aspects of interconnectedness and divergences.

Keywords: digital connection, Sufi convent, social online relationship, transnational female disciples

Procedia PDF Downloads 84

Authors: Tereza Dolečková

Abstract:

Following article provides the comparison of international norms and standards formulating personal expenses, and then it illustrates the national concept of personal expenses of the Ministry of Defence. Then a new salary system of soldiers and the importance of the service appraisal in the context of personal expenses of the Ministry of Defence are explained. The first part of the article includes formulation of the approach to the definition of personal expenses within the international norms and standards and also within the Ministry of Defence of the Czech Republic. The structure of employees of the Ministry of Defence of the Czech Republic in years 2012 – 2014 and the amount of military expenses and the share of salary expenses of the Ministry of total expenses of the Ministry are clarified there, also the comparison of the amount of military expenses in chosen member states of the North Atlantic Treaty Organization is done. The salary system of professional soldiers in connection with the amendment of the Act No. 221/1999 Coll. on Professional Soldiers is clarified in the second part of this article. The amendment significantly regulates the salary items of soldiers but changes are also in the service appraisal of soldiers which reflects one of seven salary items of soldiers – the performance bonus. The aim of this article is to clarify different approach to define personal expenses with emphasis on the Ministry of Defence of the Czech Republic which overlaps to the service appraisal of soldiers of the Army of the Czech Republic and their salary system in connection with personal expenses of the Ministry of Defence of the Czech Republic. The efficient and objective system of the service appraisal and the use of its results are connected to the principles of the career advancement; only the best soldiers can advance in the system of the service careers to higher positions. That is why it is necessary to improve the service appraisal so it would provide the maximum information about the performance of a soldier and it would also motivate the soldier in his development. The attention should be paid to the service appraisal of the soldiers of the Army of the Czech Republic to achieve as much objectivity as possible.

Keywords: career, human resource management and development, personal expenses, salary system of soldiers, service appraisal of soldiers, the Army of the Czech Republic

Procedia PDF Downloads 245

Authors: Babak Bahri, Fatemeh Yassaee Meybodi, Changiz Eslahchi

Abstract:

In the pursuit of effective cancer therapies, the exploration of combinatorial drug regimens is crucial to leverage synergistic interactions between drugs, thereby improving treatment efficacy and overcoming drug resistance. However, identifying synergistic drug pairs poses challenges due to the vast combinatorial space and limitations of experimental approaches. This study introduces ClusterSyn, a machine learning (ML)-powered framework for classifying anti-cancer drug synergy scores. ClusterSyn employs a two-step approach involving drug clustering and synergy score prediction using a fully connected deep neural network. For each cell line in the training dataset, a drug graph is constructed, with nodes representing drugs and edge weights denoting synergy scores between drug pairs. Drugs are clustered using the Markov clustering (MCL) algorithm, and vectors representing the similarity of drug pairs to each cluster are input into the deep neural network for synergy score prediction (synergy or antagonism). Clustering results demonstrate effective grouping of drugs based on synergy scores, aligning similar synergy profiles. Subsequently, neural network predictions and synergy scores of the two drugs on others within their clusters are used to predict the synergy score of the considered drug pair. This approach facilitates comparative analysis with clustering and regression-based methods, revealing the superior performance of ClusterSyn over state-of-the-art methods like DeepSynergy and DeepDDS on diverse datasets such as Oniel and Almanac. The results highlight the remarkable potential of ClusterSyn as a versatile tool for predicting anti-cancer drug synergy scores.

Keywords: drug synergy, clustering, prediction, machine learning., deep learning

Procedia PDF Downloads 76

Authors: Shu-Yuan Lin, Tung-Chin Chou

Abstract:

As products become increasingly similar in competitive markets, achieving product segmentation and differentiation through packaging design has become the primary task when designing retail product packaging. When the main focus of brand marketing is no longer the product itself, emotional marketing, such as the use of humorous packaging designs, may be employed to successfully promote the brand. Such efforts will capture the hearts of consumers, generate discussions, and allow the brand to leave a deep impression in consumers. In this study, snack packaging was used to develop a relationship model that illustrated the effect of humorous packaging designs on brand awareness and brand attitude. The study was divided into three stages: In the first stage, in-depth interviews and focus group interviews were conducted with experts to construct 24 indicators for assessing humorous packaging designs. In the second stage, survey questionnaires were distributed to a young consumer group; the results showed that the group had a high and low product involvement with chocolate and dried shredded squid, respectively. Humorous packaging designs were subsequently created for two snack types to produce a study sample of 12 different packaging. In the third stage, packaging designs were evaluated by obtaining scores for the consumers’ brand awareness, brand attitude, and perceived effects of the packaging designs. Finally, a relationship model was developed to show the effect of humorous packaging designs on brand awareness and brand attitude, confirming that two perceived effects of humorous packaging designs (i.e., ‘pleasant and emotionally healing’ and ‘connected to people’s daily life’) exhibited a significant and positive effect on ‘perceived brand value,’ where the effect of ‘pleasant and emotionally healing’ was the most significant. In addition, ‘pleasant and emotionally healing’ exerted a significant and positive effect on ‘brand purchase intention.’ Furthermore, packaging designs with humorous elements helped foster brand awareness.

Keywords: brand awareness, brand attitude, humorous design, packaging design

Procedia PDF Downloads 224

Authors: Xingdu Wang, Charlie Gere, Emma Rose, Yuxuan Zhao

Abstract:

The study introduces a fresh perspective on the digital realm through an examination of the Chinese concept of Xiang, elucidating how it can build an understanding of pixels and textures on screens as digital trigrams. This concept attempts to offer an outlook on the intersection of digital technology and the natural world, thereby contributing to discussions about the harmonious relationship between humans and technology. The study looks for the ancient Chinese theory of Xiang as a key to establishing the theories and practices to respond to the problem of Contemporary Chinese technics. Xiang is a Chinese method of understanding the essentials of things through appearances, which differs from the method of science in the Westen. Xiang, the basement of Chinese visual art, is rooted in ancient Chinese philosophy and connected to the eight trigrams. The discussion of Xiang connects art, philosophy, and technology. This paper connects the meaning of Xiang with the 'truth appearing' philosophically through the analysis of the concepts of phenomenon and noumenon and the unique Chinese way of observing. Hereafter, the historical interconnection between ancient painting and writing in China emphasizes their relationship between technical craftsmanship and artistic expression. In digital, the paper blurs the traditional boundaries between images and text on digital screens in theory. Lastly, this study identified an ensemble concept relating to pixels and textures in computer vision, drawing inspiration from AI image recognition in Chinese paintings. In art practice, by presenting a fluid visual experience in the form of pixels, which mimics the flow of lines in traditional calligraphy and painting, it is hoped that the viewer will be brought back to the process of the truth appearing as defined by the 'Xiang’.

Keywords: Chinese cosmotechnics, computer vision, contemporary Neo-Confucianism, texture and pixel, Xiang

Procedia PDF Downloads 63

Authors: Antonio Pizzarello, Oris Friesen

Abstract:

Networks, such as the electric power grid, must demonstrate exemplary performance and integrity. Integrity depends on the quality of both the system design model and the deployed software. Integrity of the deployed software is key, for both the original versions and the many that occur throughout numerous maintenance activity. Current software engineering technology and practice do not produce adequate integrity. Distributed systems utilize networks where each node is an independent computer system. The connections between them is realized via a network that is normally redundantly connected to guarantee the presence of a path between two nodes in the case of failure of some branch. Furthermore, at each node, there is software which may fail. Self-stabilizing protocols are usually present that recognize failure in the network and perform a repair action that will bring the node back to a correct state. These protocols first introduced by E. W. Dijkstra are currently present in almost all Ethernets. Super stabilization protocols capable of reacting to a change in the network topology due to the removal or addition of a branch in the network are less common but are theoretically defined and available. This paper describes how to use the Software Integrity Assessment (SIA) methodology to analyze self-stabilizing software. SIA is based on the UNITY formalism for parallel and distributed programming, which allows the analysis of code for verifying the progress property p leads-to q that describes the progress of all computations starting in a state satisfying p to a state satisfying q via the execution of one or more system modules. As opposed to demonstrably inadequate test and evaluation methods SIA allows the analysis and verification of any network self-stabilizing software as well as any other software that is designed to recover from failure without external intervention of maintenance personnel. The model to be analyzed is obtained by automatic translation of the system code to a transition system that is based on the use of the weakest precondition.

Keywords: network, power grid, self-stabilization, software integrity assessment, UNITY, weakest precondition

Procedia PDF Downloads 223