Search results for: Antonio Brasil Junior

Authors: Giuseppina Settanni, Antonio Panarese, Raffaele Vaira, Maurizio Galiano

Abstract:

Nowdays, artificial intelligence is used successfully in academia and industry for its ability to learn from a large amount of data. In particular, in recent years the use of machine learning algorithms in the field of e-commerce has spread worldwide. In this research study, a prototype software platform was designed and implemented in order to suggest to users the most suitable products for their needs. The platform includes a chatbot and a recommender system based on artificial intelligence algorithms that provide suggestions and decision support to the customer. The recommendation systems perform the important function of automatically filtering and personalizing information, thus allowing to manage with the IT overload to which the user is exposed on a daily basis. Recently, international research has experimented with the use of machine learning technologies with the aim to increase the potential of traditional recommendation systems. Specifically, support vector machine algorithms have been implemented combined with natural language processing techniques that allow the user to interact with the system, express their requests and receive suggestions. The interested user can access the web platform on the internet using a computer, tablet or mobile phone, register, provide the necessary information and view the products that the system deems them most appropriate. The platform also integrates a dashboard that allows the use of the various functions, which the platform is equipped with, in an intuitive and simple way. Artificial intelligence algorithms have been implemented and trained on historical data collected from user browsing. Finally, the testing phase allowed to validate the implemented model, which will be further tested by letting customers use it.

Keywords: machine learning, recommender system, software platform, support vector machine

Procedia PDF Downloads 124

Authors: Edit Xhajanka, Gresa Baboci, Irene Malagnino, Mimoza Canga, Vito Antonio Malagnino

Abstract:

Purpose: This study aimed at identifying dental caries increment or reduction, based on factors such as smoking, the scaling of teeth, BMI before and during pregnancy, carbohydrates consumption in relation to childbirth. Material and method: In this observational study, the sample included a total of 98 pregnant women and their age class was 18-45 years old, with a median age of 31.5 years. The setting of the participants resides in Vlora –Albania. Moreover, 64.4% were from the city and 35.6% were from the nearby villages. The study was conducted in the time period January 2018 –June 2021. Body mass index (BMI) was calculated using the standard formula (kg/m²). Maternal pre, during and post-pregnancy BMI was collected by using a validated questionnaire. Statistical analysis was performed using IBM SPSS Statistics 23.0. The significance level (α) was set at 0.05, whereas P-value and analysis of variance (ANOVA) were used to analyze the data. Results: Based on the data analysis, 44.4% of the sample declared that they did smoke before pregnancy and 55.6% not smoked during their pregnancy. As a result, no association was found between smoking and length of pregnancy P=0.95. There is also a strong relation (P=0.000) between the number of teeth with caries before pregnancy and the number of teeth with caries during pregnancy. There is a significant relationship between the scaling of teeth and childbirth, P=0.05. BMI before and during pregnancy in relation to carbohydrates consumption have a significant correlation P=0.004 and P=0.002. The values of BMI before and during pregnancy in relation to childbirth have a strong correlation: P=0.043 and P=0.040, respectively. As a result, obesity was associated with preterm birth. The percentage of children born during 34-36 weeks of pregnancy was 69%, and children born during 32-34 weeks of pregnancy were 31%. CONCLUSION: There was a positive association between dental caries experience, BMI and carbohydrates consumption. Obesity in pregnancy is increasing worldwide; that is why this study suggests the importance of an appropriate weight before and during pregnancy.

Keywords: BMI, dental caries, pregnancy, scaling, smoking

Procedia PDF Downloads 184

Authors: Alessandro Preziosi, Antonio Prioletti, Luca Castangia

Abstract:

Deformable part models achieve high precision in pedestrian recognition, but all publicly available implementations are too slow for real-time applications. We implemented a deformable part model algorithm fast enough for real-time use by exploiting information about the camera position and orientation. This implementation is both faster and more precise than alternative DPM implementations. These results are obtained by computing convolutions in the frequency domain and using lookup tables to speed up feature computation. This approach is almost an order of magnitude faster than the reference DPM implementation, with no loss in precision. Knowing the position of the camera with respect to horizon it is also possible prune many hypotheses based on their size and location. The range of acceptable sizes and positions is set by looking at the statistical distribution of bounding boxes in labelled images. With this approach it is not needed to compute the entire feature pyramid: for example higher resolution features are only needed near the horizon. This results in an increase in mean average precision of 5% and an increase in speed by a factor of two. Furthermore, to reduce misdetections involving small pedestrians near the horizon, input images are supersampled near the horizon. Supersampling the image at 1.5 times the original scale, results in an increase in precision of about 4%. The implementation was tested against the public KITTI dataset, obtaining an 8% improvement in mean average precision over the best performing DPM-based method. By allowing for a small loss in precision computational time can be easily brought down to our target of 100ms per image, reaching a solution that is faster and still more precise than all publicly available DPM implementations.

Keywords: autonomous vehicles, deformable part model, dpm, pedestrian detection, real time

Procedia PDF Downloads 267

Authors: May Maricel De Gracia

Abstract:

Different generations respond differently to instruction because of their diverse characteristics, learning styles and study habits. Teaching strategies that were effective many years ago may not be effective now especially to the current generation which is Gen Z. Using quantitative research design, the main goal of this paper is to determine the impact of the implementation of educational technology integration in a private high school in the math performance of its Junior High School (JHS) students on SY 2014-2018 based on their periodical exam performance and on their final math grades. In support, survey on the use of technology was administered to determine the characteristics of both students and teachers of SY 2017-2018. Another survey regarding study habits was also administered to the students to determine their readiness with regards to note-taking skills, time management, test taking/preparation skills, reading, and writing and math skills. Teaching strategies were recommended based on the need of the current Gen Z JHS students. A total of 712 JHS students and 12 math teachers participated in answering the different surveys. Periodic exam means and final math grades between the school years without technology (SY 2004-2008) and with technology (SY 2014-2018) were analyzed through correlation and regression analyses. Result shows that the periodic exam mean has a 35.29% impact to the final grade of the students. In addition, z-test result where p > 0.05 shows that the periodical exam results do not differ significantly between the school years without integration of technology and with the integration of technology. However, with p < 0.01, a significant positive difference was observed in the final math grades of students between the school years without technology integration and with technology integration.

Keywords: classroom instruction, technology, generation z, math performance

Procedia PDF Downloads 137

Authors: Antonio De Lisa

Abstract:

The aim of this contribution is to describe a Sufi ceremony personally observed and recorded in Istanbul. It is part of research on the semiotics of religion that has been going on for some time. Over the centuries, Sufism has produced remarkable literature, elaborated mainly in the context of Arabic literature and Persian literature, but has also found expression in many other languages (Turkish, Indian, Malayo-Indonesian, etc.). Among the genres cultivated are: devotional books (prayers, meditation, spiritual exercises, etc.); the hagiographic texts, containing the biographies and sentences of the best-known Sufis; the texts that illustrate the abodes or stations of the spiritual path; finally, the theoretical treatises on various topics, often of an apologetic nature. Another typical expression of Sufism is in the literature in verse, which includes first-rate poets of both Arabic (Ibn al-Farid, Ibn 'Arabi) and Persian (Farid al-Din al-Attar, Rumi, Hafez, Gohar Shahi) expression. To observe an authentic Sufi ceremony, we contacted the Silivrikapı Mevlana Cultural Center in Istanbul. The ceremony we will talk about is a characteristic of the brotherhood called Mevleviyye (Mawlawiyya), so called from Mawlānā ('our lord', in Turkish: Mevlānā) Jalāl al-Dīn Muḥammad Rūmī (13th century) better known as the brotherhood of the Whirling Dervishes, founded in Konya. The characteristic of the order is to pray about one's love for Allah with music and dance in a ritual that has the name of Semà. The dance is a swirling movement in a group, representing a mystical journey of the spiritual ascent of man through the mind and love for the 'perfect'. Turning towards the truth, the follower of the group ascends towards love, passing beyond the World and Nothingness. After asceticism, he returns to the common world to communicate his own experience.

Keywords: semiotics of religion, sufi, rumi, islamic philosophy

Procedia PDF Downloads 77

Authors: Ling Xu, Giuseppe Loprencipe, Antonio D'Andrea

Abstract:

Asphalt pavement with recycled and sustainable materials has become the most commonly adopted strategy for road construction, including reclaimed asphalt pavement (RAP) and crumb rubber (CR) from waste tires. However, the adhesion and cohesion characteristics of rubberized reclaimed asphalt pavement were still ambiguous, resulting in deteriorated adhesion behavior and life performance. This research investigated the effect of bonding characteristics on rutting resistance and moisture susceptibility of rubberized reclaimed asphalt pavement in terms of two RAP sources with different oxidation levels and two tire rubber with different particle sizes. Firstly, the binder bond strength (BBS) test and bonding failure distinguishment were conducted to analyze the surface behaviors of binder-aggregate interaction. Then, the compatibility and penetration grade of rubberized RAP binder were evaluated by rotational viscosity test and penetration test, respectively. Hamburg wheel track (HWT) test with high-temperature viscoelastic deformation analysis was adopted, which illustrated the rutting resistance. Additionally, a water boiling test was employed to evaluate the moisture susceptibility of the mixture and the texture features were characterized with the statistical parameters of image colors. Finally, the colloid structure model of rubberized RAP binder with surface interaction was proposed, and statistical analysis was established to release the correlation among various indexes. This study concluded that the gel-phase colloid structure and molecular diffusion of the free light fraction would affect the surface interpretation with aggregate, determining the bonding characteristic of rubberized RAP asphalt.

Keywords: bonding characteristics, reclaimed asphalt pavement, rubberized asphalt, sustainable material

Procedia PDF Downloads 49

Authors: Rolando Barradas, Salviano Soares, António Valente, José Alberto Lencastre, Paulo Oliveira

Abstract:

This article reviews the Ant Colony Optimization, a nature-inspired algorithm, and its implementation in the Scratch/m-Block programming environment. The Ant Colony Optimization is a part of Swarm Intelligence-based algorithms and is a subset of biological-inspired algorithms. Starting with a problem in which one has a maze and needs to find its path to the center and return to the starting position. This is similar to an ant looking for a path to a food source and returning to its nest. Starting with the implementation of a simple wall follower simulator, the proposed solution uses a dynamic graphical interface that allows young students to observe the ants’ movement while the algorithm optimizes the routes to the maze’s center. Things like interface usability, Data structures, and the conversion of algorithmic language to Scratch syntax were some of the details addressed during this implementation. This gives young students an easier way to understand the computational concepts of sequences, loops, parallelism, data, events, and conditionals, as they are used through all the implemented algorithms. Future work includes the simulation results with real contest mazes and two different pheromone update methods and the comparison with the optimized results of the winners of each one of the editions of the contest. It will also include the creation of a Digital Twin relating the virtual simulator with a real micromouse in a full-size maze. The first test results show that the algorithm found the same optimized solutions that were found by the winners of each one of the editions of the Micromouse contest making this a good solution for maze pathfinding.

Keywords: nature inspired algorithms, scratch, micromouse, problem-solving, computational thinking

Procedia PDF Downloads 110

Authors: Claire B. Salvedia, Enrico P. Supangco, Francisco B. Eligado, Renato Sa Vega, Antonio A. Rayos

Abstract:

The study was conducted to evaluate the effect of probiotic feeding on weight gain, blood biochemical and hematological indices of crossbred dairy goat kids. Sixteen (16) crossbred Anglo-Nubian x Saanen dairy goat kids, 3 to 4 months old, ranging from 19 to 23kg were randomly assigned into four treatments fed with 5x109 cfu/ml probiotic supplements; Treatment 1 – control; Treatment 2 – lactic acid bacteria (L. plantarum BS and P. acidilactici 3G3); treatment 3 – S. cerevisiae 2030; Treatment 4 – multi-strain probiotics (L. plantarum BS, P. acidilactici 3G3, and S.cerevisiae 2030). Feed ration provided daily for each of the experimental animals were composed of 1kg mixed concentrate feed ((Leucaena leucocephala dried leaves and pollard), and 4 kg fresh Pennisetum purpureum and Gliciridia sepium leaves (50:50). The experimental feeding trial lasted for 9 weeks. Result revealed that treatments fed with probiotics had significantly (P≤0.05) higher weight gain compared to the control. Significant effect on plasma urea nitrogen (PUN) and triglyceride were noted during 30th and 60th day of probiotic feeding. White blood cell counts were significantly affected by probiotic feeding during the 60th day. Concentrations of glucose and cholesterol remained unchanged throughout the experimental period. The findings suggests, under the condition of the experiment, that live probiotic feeding could have a significant role in improving weight gain and metabolism of crossbred dairy goat kids.

Keywords: probiotics, weight gain, blood biochemical indices, crossbred dairy goat kids

Procedia PDF Downloads 470

Authors: Ajmal Hussain

Abstract:

In Indian music parlance, Rasa denotes a distinct aesthetic experience that builds up in the mind of the listeners while listening to a piece of Indian classical music. The distinction of the experience is rooted in the concept that it gives rise to an enhanced awareness about the Self or God and creates a mental state detached from mundane issues of everyday life. The theory of Rasa was initially proposed in the context of theatre but became a part of Indian musicological discourse roughly two thousand years ago, however, to this day, it remains shrouded in mystery due to its religious associations and connotations. This paper attempts to demystify the theory of Rasa in the light of available scientific knowledge fund particularly in Brain and Mind sciences. The paper initially describes the religious context of the theory of Rasa and then discusses its classical formulations by Bharata and Abhinavagupta including the steps and stages laid down by the latter to explain the creation of musical experience. The classical formulations are then interpreted with reference to the scientific knowledge fund about the human mind and mechanics of perception. The study uses the model of human mind as proposed by Portuguese-American neuroscientist Antonio Damasio in his theory ‘A Nesting Principle’. On the basis of the findings by Damasio, the paper interprets the experience of Rasa from a scientific perspective and clarifies the sequence of steps and stages involved in the making of musical experience. The study concludes that although the classical formulations of Rasa identify key aspects of musical experience, the association of Rasa with religion is misleading. The association with religion does not depend upon musical stimulus but the intellectual orientation of the listener. It further establishes that the function of Rasa is more profound as, from an evolutionary perspective, it can be seen as a catalyst for higher consciousness.

Keywords: aesthetic, consciousness, music, Rasa

Procedia PDF Downloads 118

Authors: Carla Pérez-Chirinos Buxadé, Bruno Fernández-Valdés, Mónica Morral-Yepes, Sílvia Tuyà Viñas, Josep Maria Padullés Riu, Gerard Moras Feliu

Abstract:

There is a long way to explore all the possible applications inertial measurement units (IMUs) have in the sports field. The aim of this study was to evaluate the validity of a new application on the use of these wearable sensors, specifically it was to evaluate a magnet-based timing system (M-BTS) for timing gate-to-gate in an alpine ski slalom using the magnetometer embedded in an IMU. This was a validation study. The criterion validity of time measured by the M-BTS was assessed using the 95% error range against actual time obtained from photocells. The experiment was carried out with first-and second-year junior skiers performing a ski slalom on a ski training slope. Eight alpine skiers (17.4 ± 0.8 years, 176.4 ± 4.9 cm, 67.7 ± 2.0 kg, 128.8 ± 26.6 slalom FIS-Points) participated in the study. An IMU device was attached to the skier’s lower back. Skiers performed a 40-gate slalom from which four gates were assessed. The M-BTS consisted of placing four bar magnets buried into the snow surface on the inner side of each gate’s turning pole; the magnetometer built into the IMU detected the peak-shaped magnetic field when passing near the magnets at a certain speed. Four magnetic peaks were detected. The time compressed between peaks was calculated. Three inter-gate times were obtained for each system: photocells and M-BTS. The total time was defined as the time sum of the inter-gate times. The 95% error interval for the total time was 0.050 s for the ski slalom. The M-BTS is valid for timing gate-to-gate in an alpine ski slalom. Inter-gate times can provide additional data for analyzing a skier’s performance, such as asymmetries between left and right foot.

Keywords: gate crossing time, inertial measurement unit, timing system, wearable sensor

Procedia PDF Downloads 172

Authors: Gláucio de Castro Júnior, Daniela Prometi, Patrícia Tuxi

Abstract:

The project 'Inventory Signs-terms of the cultural heritage field in Libras' provides for the establishment of an inventory of signs, terms relating to the field of cultural heritage in Libras, from the results of research in progress as the pilot project' Accessibility Communication, Translation and Interpretation to the Application Portal Libras Heritage 'and the Pilot Project' registration-signal terms for the preparation of bilingual lexicon Libras / Portuguese terms available in the Portal Heritage. The project's goal is to spread the lexicographical rules on the use of technologies in video graphic records of sign language and foster the training of undergraduate students and graduate to the registration of the linguistic diversity of Libras through social and communicative interaction with the community deaf and enable access to Deaf information relating to the field of cultural heritage in Libras. As a result, we expect the spread of the inventory of cultural heritage-signs in terms Libras in application usage 'Portal Heritage'. To achieve the proposed objectives are accomplished technical consulting and continuous training for the production of academic material through theoretical and practical meetings, taught by experts Libras LIP / UNB in partnership with some institutions. The Inventory project signals-Terms under Heritage in Libras field initially took place in Rio de Janeiro in order to allow its development in the Midwest region, due to technical, elected some cities in Brazil, including Manaus in Amazon Macapa in Amapa, Salvador Bahia, Goiás and Goiânia in Florianopolis in Santa Catarina. At the end of all this process, the assessment by preparing a technical report presenting all the advances and points achieved in the project looking for social improvement, economic, environmental and language in the use of technology will be conducted.

Keywords: signs-terms, equity-cultural accessibility, technology, sign language

Procedia PDF Downloads 410

Authors: Marco Antonio Lara De la Calleja, María Catalina Ovando Chico, Eduardo Lopez Ruiz

Abstract:

Community empowerment has been proved to be a key element in the solution of the food security problem. As a result of a conceptual analysis, it was found that agricultural production, economic development and governance, are the traditional basis of food security models. Although the literature points to social inclusion as an important factor for food security, no model has considered it as the basis of it. The aim of this research is to identify different dimensions that make an integral model for food security, with emphasis on community empowerment. A diagnosis was made in the study community (Tatoxcac, Zacapoaxtla, Puebla), to know the aspects that impact the level of food insecurity. With a statistical sample integrated by 200 families, the Latin American and Caribbean Food Security Scale (ELCSA) was applied, finding that: in households composed by adults and children, have moderated food insecurity, (ELCSA scale has three levels, low, moderated and high); that result is produced mainly by the economic income capacity and the diversity of the diet on its food. With that being said, a model was developed to promote food security through five dimensions: 1. Regional context of the community; 2. Structure and system of local food; 3. Health and nutrition; 4. Information and technology access; and 5. Self-awareness and empowerment. The specific actions on each axis of the model, allowed a systemic approach needed to attend food security in the community, through the empowerment of society. It is concluded that the self-awareness of local communities is an area of extreme importance, which must be taken into account for participatory schemes to improve food security. In the long term, the model requires the integrated participation of different actors, such as government, companies and universities, to solve something such vital as food security.

Keywords: community empowerment, food security, model, systemic approach

Procedia PDF Downloads 361

Authors: Hana Tadesse, Marika Grillini, Giulia Simonato, Alessandra Mondin, Giorgia Dotto, Antonio Frangipane Di Regalbono, Bersissa Kumsa, Rudi Cassini, Maria Luisa Menandro

Abstract:

Dogs are known to host several tick-borne pathogens with zoonotic potential; however, scant information is available on the epidemiology of these pathogens in low-income tropical coun- tries and in particular in sub-Saharan Africa. With the aim of investigating a wide range of tick- borne pathogens (i.e., Rickettsia spp., Anaplasma spp., Erhlichia spp., Borrelia spp., Hepatozoon spp. and Babesia spp.), 273 blood samples were collected from dogs in selected districts of Ethiopia and analyzed by real-time and/or end-point PCR. The results of the study showed that Hepatozoon canis was the most prevalent pathogen (53.8%), followed by Anaplasma phagocythophilum (7.0%), Babesia canis rossi (3.3%), Ehrlichia canis (2.6%) and Anaplasma platys (2.2%). Furthermore, five samples tested positive for Borrelia spp., identified as Borrelia afzelii (n = 3) and Borrelia burgdorferi (n = 2), and two samples for Rickettsia spp., identified as Rickettsia conorii (n = 1) and Rickettsia monacensis (n = 1). The finding of Anaplasma phagocythophilum and different species of the genera Borrelia and Rickettsia with zoonotic potential was unexpected and alarming, and calls for further investigation on the roles of dogs and on the tick, species acting as vector in this specific context. Other pathogens (Hepatozoon canis, Babaesia canis rossi, Anaplasma platys, Ehrlichia canis) are already known to have an important impact on the dogs’ health but have minor zoonotic potential as they were rarely or never reported in humans. Dogs from rural areas were found to be at higher risk for different pathogens, probably due to the presence of other wild canids in the same environment. The findings of the present study contribute to a better knowledge of the epidemiology of tick-borne pathogens, which is relevant to human and animal health.

Keywords: Dogs, Tick-borne pathogens, Africa, Ethiopia

Procedia PDF Downloads 72

Authors: Florence Ncube

Abstract:

This paper examines the military and post-military experiences of soldiers who deserted from the Rwanda Defence Force (RDF) and tried to make a living in South Africa. Because they are deserters, they try to hide their military identity, yet it is simultaneously somewhat coercively ascribed to them by the Rwandan state and can put them in potential danger. The paper attends to the constructions, experiences, practices, and subjective understanding of the deserters’ being in exile to examine how, under circumstances of perceived threat, these men navigate real or perceived state-sponsored surveillance and threat in non-military settings in South Africa where they have become potential political and disciplinary targets. To make sense of the deserters’ experiences in these circumstances, the paper stitches together a number of useful theoretical concepts, including Bourdieu’s (1992) theory of practice and Vigh’s (2009; 2018) concept of social navigation because no single approach can coherently analyze the specificity of this study. Conventional post-military literature privileges an understanding of army desertion as a malignancy and somewhat problematic. Little is known about the military and post-military experiences of deserters who believe that army desertion is in fact a building block towards achieving subjective peace, even in the context of exile. The paper argues that the presence of Rwandan state agents in South Africa strips the context of the exile of its capacity to provide the deserters with peace, safety, and security. This paper recenters army desertion in analyses of militarism, soldiering, and transition in African contexts and complicates commonsense understandings of army desertion which assume that it is entirely problematic. This paper is drawn from an ethnography conducted among 30 junior-rank Rwandan army deserters exiled in Johannesburg and Cape Town. The researcher employed life histories, in-depth interviews, and deep hangouts to collect data.

Keywords: army deserter, military, identity, exile, peacebuilding, South Africa

Procedia PDF Downloads 56

Authors: Antonio Monteiro, Jorge Azevedo, Severiano Silva, Alfredo Teixeira

Abstract:

The objective of this study was to compare the carcass and in vivo real-time ultrasound measurements (RTU) and their capacity to predict the composition of Serrana goats up to 40% of maturity. Twenty one females (11.1 ± 3.97 kg) and Twenty one males (15.6 ± 5.38 kg) were utilized to made in vivo measurements with a 5 MHz probe (ALOKA 500V scanner) at the 9th-10th, 10th-11th thoracic vertebrae (uT910 and uT1011, respectively), at the 1st- 2nd, 3rd-4th, and 4th-5th lumbar vertebrae (uL12, ul34 and uL45, respectively) and also at the 3rd-4th sternebrae (EEST). It was recorded the images of RTU measurements of Longissimus thoracis et lumborum muscle (LTL) depth (EM), width (LM), perimeter (PM), area (AM) and subcutaneous fat thickness (SFD) above the LTL, as well as the depth of tissues of the sternum (EEST) between the 3rd-4th sternebrae. All RTU images were analyzed using the ImageJ software. After slaughter, the carcasses were stored at 4 ºC for 24 h. After this period the carcasses were divided and the left half was entirely dissected into muscle, dissected fat (subcutaneous fat plus intermuscular fat) and bone. Prior to the dissection measurements equivalent to those obtained in vivo with RTU were recorded. Using the Statistica 5, correlation and regression analyses were performed. The prediction of carcass composition was achieved by stepwise regression procedure, with live weight and RTU measurements with and without transformation of variables to the same dimension. The RTU and carcass measurements, except for SFD measurements, showed high correlation (r > 0.60, P < 0.001). The RTU measurements and the live weight, showed ability to predict carcass composition on muscle (R2 = 0.99, P < 0.001), subcutaneous fat (R2 = 0.41, P < 0.001), intermuscular fat (R2 = 0.84, P < 0.001), dissected fat (R2 = 0.71, P < 0.001) and bone (R2 = 0.94, P < 0.001). The transformation of variables allowed a slight increase of precision, but with the increase in the number of variables, with the exception of subcutaneous fat prediction. In vivo measurements by RTU can be applied to predict kid goat carcass composition, from 5 measurements of RTU and the live weight.

Keywords: carcass, goats, real time, ultrasound

Procedia PDF Downloads 248

Authors: Todd Pennington, Carol Wilkinson, Keven Prusak

Abstract:

Traditional models of student teaching practices typically involve the placement of a student teacher with an experienced mentor teacher. However, due to the ever-decreasing number of quality placements, an alternative triad approach is the paired placement of student teachers with one mentor teacher in a community of practice. This study examined the paired-placement of student teachers in physical education to determine the benefits and drawbacks after a 14-week student teaching experience. PETE students (N = 22) at a university in the United States were assigned to work in a triad with a student teaching partner and a mentor teacher, making up eleven triads for the semester. The one exception was a pair that worked for seven weeks at an elementary school and then for seven weeks at a junior high school, thus having two mentor teachers and participating in two triads. A total of 12 mentor teachers participated in the study. All student teachers and mentor teachers volunteered and agreed to participate. The student teaching experience was structured so that students engaged in: (a) individual teaching (one teaching the lesson with the other observing), (b) co-planning, and (c) peer coaching. All students and mentor teachers were interviewed at the conclusion of the experience. Using interview data, field notes, and email response data, the qualitative data was analyzed using the constant comparative method. The benefits of the paired placement experience emerged into three categories (a) quality feedback, (b) support, and (c) collaboration. The drawbacks emerged into four categories (a) unrealistic experience, (b) laziness in preparation, (c) lack of quality feedback, and (d) personality mismatch. Recommendations include: providing in-service training prior to student teaching to optimize the triad experience, ongoing seminars throughout the experience specifically designed for triads, and a hybrid model of paired placement for the first half of student teaching followed by solo student teaching for the second half of the experience.

Keywords: community of practice, paired placement, physical education, student teaching

Procedia PDF Downloads 389

Authors: Fernández-Brito David, Lopez-Medina Javier Alonso, Murillo-Bracamontes Eduardo Antonio, Palomino-Ovando Martha Alicia, Gervacio-Arciniega José Juan

Abstract:

Magnetic Force Microscopy (MFM) is an Atomic Force Microscopy (AFM) technique that characterizes, at a nanometric scale, the magnetic properties of ferromagnetic materials. Conventional MFM works by scanning in two different AFM modes. The first one is tapping mode, in which the cantilever has short-range force interactions with the sample, with the purpose to obtain the topography. Then, the lift AFM mode starts, raising the cantilever to maintain a fixed distance between the tip and the surface of the sample, only interacting with the magnetic field forces of the sample, which are long-ranged. In recent years, there have been attempts to improve the MFM technique. Bimodal MFM was first theoretically developed and later experimentally proven. In bimodal MFM, the AFM internal piezoelectric is used to cause the cantilever oscillations in two resonance modes simultaneously, the first mode detects the topography, while the second is more sensitive to the magnetic forces between the tip and the sample. However, it has been proven that the cantilever vibrations induced by the internal AFM piezoelectric ceramic are not optimal, affecting the bimodal MFM characterizations. Moreover, the Secondary Resonance Magnetic Force Microscopy (SR-MFM) was developed. In this technique, a coil located below the sample generates an external magnetic field. This alternating magnetic field excites the cantilever at a second frequency to apply the Bimodal MFM mode. Nonetheless, for ferromagnetic materials with a low coercive field, the external field used in SR-MFM technique can modify the magnetic domains of the sample. In this work, a Hybrid Bimodal MFM (HB-MFM) technique is proposed. In HB-MFM, the bimodal MFM is used, but the first resonance frequency of the cantilever is induced by the magnetic field of the ferromagnetic sample due to its vibrations caused by a piezoelectric element placed under the sample. The advantages of this new technique are demonstrated through the preliminary results obtained by HB-MFM on a hard disk sample. Additionally, traditional two pass MFM and HB-MFM measurements were compared.

Keywords: magnetic force microscopy, atomic force microscopy, magnetism, bimodal MFM

Procedia PDF Downloads 58

Authors: Marta E. Hernandez-Caballero, Veronica Borgonio-Cuadra, Antonio Miranda-Duarte, Xochitl Rojas-Toledo, Normand Garcia-Hernandez, Maura Cardenas-Garcia, Teresa Abad-Camacho

Abstract:

Breast cancer (BC) is the most common tumor in women over the world. DNA methylation is an epigenetic modification critical in CpG sites, aberrant methylation of CpG islands in promoters is a hallmark of cancer. So, gene expression can be regulated by alterations in DNA methylation. In cell lines DACT2 gene reduces the growth and migration of tumor cells by its participation in the suppression of TGFb/SMAD2/3. PHF20L1 is involved in histone acetylation therefore, it regulates transcription. Our aim was to analyze the methylation status of the DACT2 and PHF20L1 promoter regions in tumoral and healthy mammary tissue from women with BC in different progression states. The study included 77 patients from Centro Medico Nacional La Raza in Mexico City. After identifying a CpG island in DACT2 and PHF20L1 promoters, DNA methylation status was analyzed through sodium bisulfite with subsequent amplification using methylation-specific PCR. Results revealed no changes in methylation status of PHF20L1 and cancer stages (II y III) or in comparison to healthy tissues, it was demethylated. DACT2 promoter methylation was no significant between tumoral stages (II, P = 0.37; III, P = 0.17) or with healthy tissue. Previous data reported DACT2 methylated in nasopharyngeal carcinoma but in this study promoter methylation was not observed. PHF20L1 protein contains N-terminal Tudor and C-terminal plant homeodomain domains, it has been suggested that can stabilize DNMT1 regulating DNA methylation, therefore, was associated with poor prognostic in BC. We found no evidence of methylation in patients and controls in PHF20L1 promoter, so its association with BC may have no direct relation with promoter methylation. More studies including other methylation sites in these genes in BC are necessary.

Keywords: bisulfite conversion, breast cancer, DACT2, DNA methylation, PHF20L1, tumoral status

Procedia PDF Downloads 286

Authors: Nessa-Amie T. Peñaflor, Antonio Cinto

Abstract:

This is a descriptive research on the level of math anxiety and mathematics misconceptions in algebra. This research is composed of four parts: (1) analysis of the level of anxiety of the respondents; (2) analysis of the common mathematical misconceptions in algebra; (3) relationship of socio-demographic profile in math anxiety and mathematical misconceptions and (4) analysis of the relationship of math anxiety and misconceptions in algebra. Through the demographic profile questionnaire it was found out that most of the respondents were female. Majority had ages that ranged from 13-15. Most of them had parents who finished secondary education. The biggest portion of Grade Seven students where from families with annual family income ranging from PhP 100, 000 to PhP 299, 999. Most of them came from public school. Mathematics Anxiety Scale for Secondary and Senior Secondary School Students (MAS) and set of 10 open-ended algebraic expressions and polynomials were also administered to determine the anxiety level and the common misconceptions in algebra. Data analysis revealed that respondents had high anxiety in mathematics. Likewise, the common mathematical misconceptions of the Grade Seven students were: combining unlike terms; multiplying the base and exponents; regarding the variable x as 0; squaring the first and second terms only in product of two binomials; wrong meaning attached to brackets; writing the terms next to each other but not simplifying in using the FOIL Method; writing the literal coefficient even if the numerical coefficient is 0; and dividing the denominator by the numerator when the numerical coefficient in the numerator is smaller than the numerical coefficient of the denominator. Results of the study show that the socio-demographic characteristics were not related to mathematics anxiety and misconceptions. Furthermore, students from higher section had high anxiety than those students on the lower section. Thus, belonging to higher or lower section may affect the mathematical misconceptions of the respondents.

Keywords: algebra, grade 7 math, math anxiety, math misconceptions

Procedia PDF Downloads 402

Authors: Swarnapriya Thiyagarajan, Modesto Antonio Sosa Aquino, Miguel Vallejo Hernandez, Senthilkumar Kalaiselvan Dhivyaraj, Jayaramakrishnan Velusamy

Abstract:

In this paper the lithium tetra borate (Li2B4O7) was prepared by used water/solution assisted synthesis method. Once finished the synthesization, Copper (Cu) were used to doping material with Li2B4O7 in order to enhance its thermo luminescent properties. The heating temperature parameters were 750°C for 2 hr and 150°C for 2hr. The samples produced by water assisted method were doped at different doping percentage (0.02%, 0.04%, 0.06%, 0.08%, 0.12%, 0.5%, 0.1%, and 1%) of Cu.The characteristics and identification of Li2B4O7 (undoped and doped) were determined in four tests. They are X-ray diffraction (XRD), Scanning electron microscope (SEM), Photoluminescence (PL), Ultra violet visible spectroscopy (UV Vis). As it is evidence from the XRD and SEM results the obtained Li2B4O7 and Li2B4O7 doping with Cu was confirmed and also confirmed the chemical compositition and their morphologies. The obtained lithium tetraborate XRD pattern result was verified with the reference data of lithium tetraborate with tetragonal structure from JCPDS. The glow curves of Li2B4O7 and Li2B4O7 : Cu were obtained by thermo luminescence (TLD) reader (Harshaw 3500). The pellets were irradiated with different kind of dose (58mGy, 100mGy, 500mGy, and 945mGy) by using an X-ray source. Finally this energy response was also compared with TLD100. The order of kinetics (b), frequency factor (S) and activation energy (E) or the trapping parameters were calculated using peak shape method. Especially Li2B4O7: Cu (0.1%) presents good glow curve in all kind of doses. The experimental results showed that this Li2B4O7: Cu could have good potential applications in radiation dosimetry. The main purpose of this paper is to determine the effect of synthesis on the TL properties of doped lithium tetra borate Li2B4O7.

Keywords: dosimetry, irradiation, lithium tetraborate, thermoluminescence

Procedia PDF Downloads 264

Authors: Sofia G. Meirinho, Luis G. Dias, António M. Peres, Lígia R. Rodrigues

Abstract:

The emerging development of electrochemical aptasen sors has enabled the easy and fast detection of protein biomarkers in standard and real samples. Biomarkers are produced by body organs or tumours and provide a measure of antigens on cell surfaces. When detected in high amounts in blood, they can be suggestive of tumour activity. These biomarkers are more often used to evaluate treatment effects or to assess the potential for metastatic disease in patients with established disease. Osteopontin (OPN) is a protein found in all body fluids and constitutes a possible biomarker because its overexpression has been related with breast cancer evolution and metastasis. Currently, biomarkers are commonly used for the development of diagnostic methods, allowing the detection of the disease in its initial stages. A previously described RNA aptamer was used in the current work to develop a simple and sensitive electrochemical aptasensor with high affinity for human OPN. The RNA aptamer was biotinylated and immobilized on a gold electrode by avidin-biotin interaction. The electrochemical signal generated from the aptamer–target molecule interaction was monitored electrochemically using cyclic voltammetry in the presence of [Fe (CN) 6]−3/− as a redox probe. The signal observed showed a current decrease due to the binding of OPN. The preliminary results showed that this aptasensor enables the detection of OPN in standard solutions, showing good selectivity towards the target in the presence of others interfering proteins such as bovine OPN and bovine serum albumin. The results gathered in the current work suggest that the proposed electrochemical aptasensor is a simple and sensitive detection tool for human OPN and so, may have future applications in cancer disease monitoring.

Keywords: osteopontin, aptamer, aptasensor, screen-printed electrode, cyclic voltammetry

Procedia PDF Downloads 416

Authors: Barbara Pittau, Piergiorgio Palla, Antonio Mastino

Abstract:

Communication is fundamental to health education. The proper use of medicinal products is a crucial aspect of the health of citizens that affects both safety and health care spending. Therefore, encouraging/promoting communication, concerning the importance of proper use of pharmaceuticals, has substantial implications in terms of individual health, health care, and health care system sustainability. In view of these considerations, in the context of two projects, one of which is still in progress, a relational database-backed web application named COLLABORAFARMACISOLA has been designed and developed as a tool to analyze and visualize how people approach the use of medicinal products, with the aim of improving and enhancing communication efficacy. The software application is being used to collect information (anonymously and voluntarily) from the citizens of Sardinia, an Italian region, regarding their knowledge, experiences, and opinions towards pharmaceuticals. This study that was conducted to date on thousand of interviewed people, has focused on different aspects such as: the treatment interruption and the "self-prescription” without medical consultation, the attention paid to reading the leaflets, the awareness of the economic value of the pharmaceuticals, the importance of avoiding the waste of medicinal products and the attitudes towards the use of generics. To this purpose, our software application provides a set of ad hoc parsing routines, to store information into the structure of a relational database and to process and visualize it through a set of interactive tools aimed to emphasize the findings and the insights obtained. The results of our preliminary analysis show the efficacy of the awareness plan and, at the same time, the criticality and the needs of the territory under examination. The ultimate goal of our study is to provide a contribution to the community by improving communication that can result in a benefit for public health in a context strictly connected to the reality of the territory.

Keywords: communication, pharmaceuticals, public health, relational database, tool, web application

Procedia PDF Downloads 124

Authors: Juan Antonio Mondragon Sanchez, Ruben Santamaria

Abstract:

The DNA G-quadruplex is a four-stranded DNA structure formed by stacked planes of four base paired guanines (G-quartet). Guanine rich DNA sequences appear in many sites of genomic DNA and can potential form G-quadruplexes, such as those occurring at 3'-terminus of the human telomeric DNA. The formation and stabilization of a G-quadruplex by small ligands at the telomeric region can inhibit the telomerase activity. In turn, the ligands can be used to down regulate oncogene expression making G-quadruplex an attractive target for anticancer therapy. Many G-quadruplex ligands have been proposed with a planar core to facilitate the pi–pi stacking and electrostatic interactions with the G-quartets. However, many drug candidates are impossibilitated to discriminate a G-quadruplex from a double helix DNA structure. In this context, it is important to investigate the site topology for the interaction of a G-quadruplex with a ligand. In this work, we determine the free energy surface of a G-quadruplex-ligand to study the binding modes of the G-quadruplex (TG4T) with the daunomycin (DM) drug. The complex TG4T-DM is studied using classical molecular dynamics in combination with metadynamics simulations. The metadynamics simulations permit an enhanced sampling of the conformational space with a modest computational cost and obtain free energy surfaces in terms of the collective variables (CV). The free energy surfaces of TG4T-DM exhibit other local minima, indicating the presence of additional binding modes of daunomycin that are not observed in short MD simulations without the metadynamics approach. The results are compared with similar calculations on a different structure (the mutated mu-G4T-DM where the 5' thymines on TG4T-DM have been deleted). The results should be of help to design new G-quadruplex drugs, and understand the differences in the recognition topology sites of the duplex and quadruplex DNA structures in their interaction with ligands.

Keywords: g-quadruplex, cancer, molecular dynamics, metadynamics

Procedia PDF Downloads 444

Authors: Thiago Spilborghs Bueno Meyer, Plinio Thomaz Aquino Junior

Abstract:

Through speech, which privileges the functional and interactive nature of the text, it is possible to ascertain the spatiotemporal circumstances, the conditions of production and reception of the discourse, the explicit purposes such as informing, explaining, convincing, etc. These conditions allow bringing the interaction between humans closer to the human-robot interaction, making it natural and sensitive to information. However, it is not enough to understand what is said; it is necessary to recognize emotions for the desired interaction. The validity of the use of neural networks for feature selection and emotion recognition was verified. For this purpose, it is proposed the use of neural networks and comparison of models, such as recurrent neural networks and deep neural networks, in order to carry out the classification of emotions through speech signals to verify the quality of recognition. It is expected to enable the implementation of robots in a domestic environment, such as the HERA robot from the RoboFEI@Home team, which focuses on autonomous service robots for the domestic environment. Tests were performed using only the Mel-Frequency Cepstral Coefficients, as well as tests with several characteristics of Delta-MFCC, spectral contrast, and the Mel spectrogram. To carry out the training, validation and testing of the neural networks, the eNTERFACE’05 database was used, which has 42 speakers from 14 different nationalities speaking the English language. The data from the chosen database are videos that, for use in neural networks, were converted into audios. It was found as a result, a classification of 51,969% of correct answers when using the deep neural network, when the use of the recurrent neural network was verified, with the classification with accuracy equal to 44.09%. The results are more accurate when only the Mel-Frequency Cepstral Coefficients are used for the classification, using the classifier with the deep neural network, and in only one case, it is possible to observe a greater accuracy by the recurrent neural network, which occurs in the use of various features and setting 73 for batch size and 100 training epochs.

Keywords: emotion recognition, speech, deep learning, human-robot interaction, neural networks

Procedia PDF Downloads 148

Authors: Marcio S. da Silva, Jose Mauricio de B. Bezerra, Antonio E. de A. Nogueira

Abstract:

This paper aims to make a performance analysis of shield wire transmission lines against atmospheric discharges when it is made the option of sectioning the shield wire and verify if the tolerability of the change. As a goal of this work, it was established to make complete modeling of a transmission line in the ATPDraw program with shield wire grounded in all the towers and in some towers. The methodology used to make the proposed evaluation was to choose an actual transmission line that served as a case study. From the choice of transmission line and verification of all its topology and materials, complete modeling of the line using the ATPDraw software was performed. Then several atmospheric discharges were simulated by striking the grounded shield wires in each tower. These simulations served to identify the behavior of the existing line against atmospheric discharges. After this first analysis, the same line was reconsidered with shield wire segmentation. The shielding wire segmentation technique aims to reduce induced losses in shield wires and is adopted in some transmission lines in Brazil. With the same conditions of atmospheric discharge the transmission line, this time with shield wire segmentation was again evaluated. The results obtained showed that it is possible to obtain similar performances against atmospheric discharges between a shield wired line in multiple towers and the same line with shield wire segmentation if some precautions are adopted as verification of the ground resistance of the wire segmented shield, adequacy of the maximum length of the segmented gap, evaluation of the separation length of the electrodes of the insulator spark, among others. As a conclusion, it is verified that since the correct assessment and adopted the correct criteria of adjustment a transmission line with shielded wire segmentation can perform very similar to the traditional use with multiple earths. This solution contributes in a very important way to the reduction of energy losses in transmission lines.

Keywords: atmospheric discharges, ATPDraw, shield wire, transmission lines

Procedia PDF Downloads 155

Authors: Byl Farney Cunha Junior

Abstract:

In this work the dynamic three-dimensional analysis of a 47-story building located in Goiania city when subjected to wind loads generated using both the Wind Brazilian code, NBR6123 (ABNT, 1988) and the Synthetic-Wind method is realized. To model the frames three different methodologies are used: the shear building model and both bi and three-dimensional finite element models. To start the analysis, a plane frame is initially studied to validate the shear building model and, in order to compare the results of natural frequencies and displacements at the top of the structure the same plane frame was modeled using the finite element method through the SAP2000 V10 software. The same steps were applied to an idealized 20-story spacial frame that helps in the presentation of the stiffness correction process applied to columns. Based on these models the two methods used to generate the Wind loads are presented: a discrete model proposed in the Wind Brazilian code, NBR6123 (ABNT, 1988) and the Synthetic-Wind method. The method uses the Davenport spectrum which is divided into a variety of frequencies to generate the temporal series of loads. Finally, the 47- story building was analyzed using both the three-dimensional finite element method through the SAP2000 V10 software and the shear building model. The models were loaded with Wind load generated by the Wind code NBR6123 (ABNT, 1988) and by the Synthetic-Wind method considering different wind directions. The displacements and internal forces in columns and beams were compared and a comparative study considering a situation of a full elevated reservoir is realized. As can be observed the displacements obtained by the SAP2000 V10 model are greater when loaded with NBR6123 (ABNT, 1988) wind load related to the permanent phase of the structure’s response.

Keywords: finite element method, synthetic wind, tall buildings, shear building

Procedia PDF Downloads 265

Authors: Antonio Horta, Renato Marinho, Raimir Holanda

Abstract:

Considered as an evolution of the Blockchain, the Ethereum platform, besides allowing transactions of its cryptocurrency named Ether, it allows the programming of decentralised applications (DApps) and smart contracts. However, this functionality into blockchains has raised other types of threats, and the exploitation of smart contracts vulnerabilities has taken companies to experience big losses. This research intends to figure out the number of contracts that are under risk of being drained. Through a deep investigation, more than two hundred thousand smart contracts currently available in the Ethereum platform were scanned and estimated how much money is at risk. The experiment was based in a query run on Google Big Query in July 2022 and returned 50,707,133 contracts published on the Ethereum platform. After applying the filtering criteria, the experimentgot 430,584 smart contracts to download and analyse. The filtering criteria consisted of filtering out: ERC20 and ERC721 contracts, contracts without transactions, and contracts without balance. From this amount of 430,584 smart contracts selected, only 268,103 had source codes published on Etherscan, however, we discovered, using a hashing process, that there were contracts duplication. Removing the duplicated contracts, the process ended up with 20,417 source codes, which were analysed using the open source SAST tool smartbugswith oyente and securify algorithms. In the end, there was nearly $100,000 at risk of being drained from the potentially vulnerable smart contracts. It is important to note that the tools used in this study may generate false positives, which may interfere with the number of vulnerable contracts. To address this point, our next step in this research is to develop an application to test the contract in a parallel environment to verify the vulnerability. Finally, this study aims to alert users and companies about the risk on not properly creating and analysing their smart contracts before publishing them into the platform. As any other application, smart contracts are at risk of having vulnerabilities which, in this case, may result in direct financial losses.

Keywords: blockchain, reentrancy, static application security testing, smart contracts

Procedia PDF Downloads 78

Authors: Ada Yurman

Abstract:

Using the case of Israeli Atomic Spy Mordechai Vanunu as an example, this study sought to examine social response to political deviance whereby social response can be mobilized in order to achieve social control. Mordechai Vanunu, a junior technician in the Dimona Atomic Research Center, played a normative role in the militaristic discourse while working in the “holy shrine” of the Israeli defense system for many years. At a certain stage, however, Vanunu decided to detach himself from this collective and launched an assault on this top-secret circle. Israeli society in general and the security establishment in particular found this attack intolerable and unforgivable. They presented Vanunu as a ticking time bomb, delegitimized him and portrayed him as “other”. In addition, Israeli enforcement authorities imposed myriad prohibitions and sanctions on Vanunu even after his release from prison – “as will be done to he who desecrates holiness.” Social response to Vanunu at the time of his capture and trial was studied by conducting a content analysis of six contemporary daily newspapers. The analysis focused on use of language and forms of expression. In contrast with traditional content analysis methodology, this study did not just look at frequency of expressions of ideas and terms in the text and covert content; rather, the text was analyzed as a structural whole, and included examination of style, tone and unusual use of imagery, and more, in order to uncover hidden messages within the text. The social response to this case was extraordinarily intense, not only because in this case of political deviance, involving espionage and treason, Vanunu’s actions comprised a real potential threat to the country, but also because of the threat his behavior posed to the symbolic universe of society. Therefore, the response to this instance of political deviance can be seen as being part of a mechanism of social control aiming to protect world view of society as a whole, as well as to punish the criminal.

Keywords: militarism, political deviance, social construction, social control

Procedia PDF Downloads 105

Authors: Felice De Luca, Vincenzo Galdi, Piera Stella, Vito Calderaro, Adriano Campagna, Antonio Piccolo

Abstract:

Sustainable mobility has become one of the major issues of recent years. The challenge in reducing polluting emissions as much as possible has led to the production and diffusion of vehicles with internal combustion engines that are less polluting and to the adoption of green energy vectors, such as vehicles powered by natural gas or LPG and, more recently, with hybrid and electric ones. While on the one hand, the spread of electric vehicles for private use is becoming a reality, albeit rather slowly, not the same is happening for vehicles used for public transport, especially those that operate in the congested areas of the cities. Even if the first electric buses are increasingly being offered on the market, it remains central to the problem of autonomy for battery fed vehicles with high daily routes and little time available for recharging. In fact, at present, solid-state batteries are still too large in size, heavy, and unable to guarantee the required autonomy. Therefore, in order to maximize the energy management on the vehicle, the optimization of driving profiles offer a faster and cheaper contribution to improve vehicle autonomy. In this paper, following the authors’ precedent works on electric vehicles in public transport and energy management strategies in the electric mobility area, an eco-driving strategy for electric bus is presented and validated. Particularly, the characteristics of the prototype bus are described, and a general-purpose eco-drive methodology is briefly presented. The model is firstly simulated in MATLAB™ and then implemented on a mobile device installed on-board of a prototype bus developed by the authors in a previous research project. The solution implemented furnishes the bus-driver suggestions on the guide style to adopt. The result of the test in a real case will be shown to highlight the effectiveness of the solution proposed in terms of energy saving.

Keywords: eco-drive, electric bus, energy management, prototype

Procedia PDF Downloads 126

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 211