Search results for: abnormal trading volume activity

Authors: Bouhenni Mohamed Saif El Islam

Abstract:

In the recent years, the dry reforming of methane has received considerable attention from an environmental view point because it consumes and eliminates two gases (CH4 and CO2) responsible for global warming by greenhouse effect. Many catalysts containing noble metal (Rh, Ru, Pd, Pt and Ir) or transition metal (Ni, Co and Fe) have been reported to be active in this reaction. Compared to noble metals, Ni-materials are cheap but very easily deactivated by coking. Ni-based mixed oxides structurally well-defined like perovskites and spinels are being studied because they possibly make solid solutions and allow to vary the composition and thus the performances properties. In this work, nano-sized nickel ferrite oxides are synthesized using three different methods: Co-precipitation (CP), hydrothermal (HT) and sol gel (SG) methods and characterized by XRD, Raman, XPS, BET, TPR, SEM-EDX and TEM-EDX. XRD patterns of all synthesized oxides showed the presence of NiFe2O4 spinel, confirmed by Raman spectroscopy. Hematite was present only in CP sample. Depending on the synthesis method, the surface area, particle size, as well as the surface Ni/Fe atomic ratio (XPS) and the behavior upon reduction varied. The materials were tested in methane dry reforming with CO2 at 1 atm and 650-800 °C. The catalytic activity of the spinel samples was not very high (XCH4 = 5-20 mol% and XCO2 = 25-40 mol %) when no pre-reduction step was carried out. A significant contribution of RWGS explained the low values of H2/CO ratio obtained. The reoxidation step of the catalyst carried out after reaction showed little amounts of coke deposition. The reducing pretreatment was particularly efficient in the case of SG (XCH4 = 80 mol% and XCO2 = 92 mol%, at 800 °C), with H2/CO > 1. In conclusion, the influence of preparation was strong for most samples and the catalytic behavior could be interpreted by considering the distribution of cations among octahedral (Oh) and tetrahedral (Td) sites as in (Ni2+1-xFe3+x)Td (Ni2+xFe3+2-x)OhO2-4 influenced the reducibility of materials and thus their catalytic performance.

Keywords: NiFe2O4, dry reforming of methane, spinel oxide, XCO2

Procedia PDF Downloads 385

Authors: Oluyomi Stephen Adeyemi, Kentaro Kato

Abstract:

Toxoplasma gondii is the etiological agent of toxoplasmosis, a common parasitic disease capable of infecting a range of hosts, including nearly one-third of the human population. Current treatment options for toxoplasmosis patients are limited. In consequence, toxoplasmosis represents a large global burden that is further enhanced by the shortcomings of the current therapeutic options. These factors underscore the need for better anti-T. gondii agents and/or new treatment approach. In the present study, we sought to find out whether preparing and capping nanoparticles (NPs) in amino acids, would enhance specificity toward the parasite versus the host cell. The selection of amino acids was premised on the fact that T. gondii is auxotrophic for some amino acids. The amino acid-nanoparticles (amino-NPs) were synthesized, purified and characterized following established protocols. Next, we tested to determine the anti-T. gondii activity of the amino-NPs using in vitro experimental model of infection. Overall, our data show evidence that supports enhanced and excellent selective action against the parasite versus the host cells by amino-NPs. The findings are promising and provide additional support that warrants exploring the prospects of NPs as alternative anti-parasite agents. In addition, the anti-parasite action by amino-NPs indicates that nutritional requirement of parasite may represent a viable target in the development of better alternative anti-parasite agents. Furthermore, data suggest the anti-parasite mechanism of the amino-NPs involves multiple cellular processes including the production of reactive oxygen species (ROS), modulation of hypoxia-inducing factor-1 alpha (HIF-1α) as well as the activation of kynurenine pathway. Taken together, findings highlight further, the prospects of NPs as alternative source of anti-parasite agents.

Keywords: drug discovery, infectious diseases, mode of action, nanomedicine

Procedia PDF Downloads 113

Authors: Kang-Hyun Leem, Myung-Gyou Kim, Hye Kyung Kim

Abstract:

Deer antler, traditionally used as a tonic and valuable drug in oriental medicine, has been considered to possess bone-strengthening activity. The upper section, mid section, and base of the antler has been known to exhibit different biological properties. Present study was performed to examine the effects of different parts of deer antler extract (DH) on osteogenic gene expressions in MG-63 cells and longitudinal bone growth in adolescent male rats. The expressions of osteogenic genes, collagen, alkaline phosphatase, osteocalcin, and osteopontin, were measured by quantitative real-time PCR. Longitudinal bone growth was measured in 3-week-old male Sprague-Dawley rats using fluorescence microscopy. To examine the effects on the growth plate metabolism, the total height of growth plate and bone morphogenetic protein-2 (BMP-2) were measured. Collagen and osteocalcin mRNA expressions were increased by all three parts of the DH treatment while osteopontin gene expression was not affected by any of the DH treatment. Alkaline phosphatase gene expression was increased by upper and mid part of DH while base part of DH fails to affect alkaline phosphatase gene expression. The upper and mid parts of the DH treatment enhanced longitudinal bone growth and total height of growth plate. The induction of BMP-2 protein expression in growth plate assessed by immunostaining was also promoted by upper and mid parts of the DH treatment. These results suggest that DH, especially upper and mid parts, stimulate osteogenic gene expressions and have the effect on bone growth in adolescent rats and might be used for the growth delayed adolescent and inherent growth failure patient.

Keywords: bone morphogenetic protein-2, deer antler, longitudinal bone growth, osteogenic genes

Procedia PDF Downloads 381

Authors: Vidya Pratap, Seena Biju, A. Keshavdev

Abstract:

The ever-increasing quantity and variety of domestic solid waste pose a major challenge to both households as well as to municipal authorities. In keeping with the Indian Prime Minister’s mission of Swachh Bharat (Clean India), the local municipal administration distributed 2 buckets to each household in a residential colony in Manipal (an educational town in southern India). Households were instructed to segregate their waste into wet and dry waste and keep these buckets at their gate for daily collection. This paper captures the knowledge, attitude, and behavior of 145 households along with the challenges they face in segregating their wastes. Survey representatives self-administered a questionnaire based on 107 variables that gathered demographic details, attitude and behavior constructs, knowledge about waste segregation and method of disposal for organic, recyclable and hazardous wastes. The study used descriptive tools to explore the data. While 95% of the respondents preferred good segregation practices, only 86% of them exhibited such behavior. 88% of the families observed had members who were either graduates or post-graduates whereas only 37% of the families had women who were working. In both attitude and behavior, 63% of the households did not have working women. Also, among those who practiced segregation, 7% were observed to not practice segregation in spite of the lady member being at home (The authors of this study in no way intend to name women as responsible for waste segregation at home; this thought is based on the fact that while in conversation with households, all respondents opined that women lead this activity). The findings of the study are intended to add value to the existing perceptions of the municipality regarding citizen behavior towards policy implementation/improvement. India as a country faces roadblocks at many levels of policy implementation. The findings of this study are meant to contribute/clarify about the Clean India drive.

Keywords: attitude, behavior, knowledge, segregation of domestic waste

Procedia PDF Downloads 174

Authors: Isabel Gouveia

Abstract:

Antimicrobial textile materials may significantly reduce the risk of infections and because they are able to absorb substances from the skin and release therapeutic compounds to the skin, they can also find applications as complementary therapy of skin-diseases as part of standard management. Although functional textiles may be a promising area in skin disease/injury management, as part of standard management, few offer complementary treatment even though they are well known to reduce scratching and aiding emollient absorption, reducing infection, and alleviating pruritus. The reason for this may rely on the low quality of supporting evidence and negative effect that antimicrobial agents may exert on skin microbiome, as for example additional irritation of the vulnerable skin, and by causing resistant bacteria. Several antimicrobial agents have been tested in textiles: quaternary ammonium compounds, silver, polyhexamethylene-biguanides and triclosan have been used, with success. They have powerful bactericidal activity but the majority have a reduce spectrum of microbial inhibition and may cause skin irritation, ecotoxicity and bacteria resistance. Furthermore, the rising flow of strains resistant to last-resort antibiotics rekindles interest in alternative strategies. In this regard, new functional textiles incorporating highly specific antimicrobial agents towards pathogenic bacteria, are required. Recent research has been conducted on naturally occurring antimicrobials as novel alternatives to antibiotics. Conscious of this need our team firstly reported new approaches using L-cysteine and antimicrobial peptides (AMP). Briefly, we were able to develop different immobilization processes towards 6 Log Reduction against bacteria such as S. aureus and K. pneumoniae. Therefore, here we present several innovative antimicrobial textiles incorporating AMP and L-Cysteine which may open new avenues for the medical textiles market and biomaterials in general. Team references will be discussed as an overview and for comparison purposes in terms of potential therapeutic applications.

Keywords: Antimicrobials, Antimicrobial Textiles, Biomedical Textiles, Biomimetic surface functionalization

Procedia PDF Downloads 123

Authors: Avinash Vellore Sunder, Shikha Shah, Pramod P. Wangikar

Abstract:

The enzymatic conversion of nitriles to carboxylic acids by nitrilases has gained significance in the green synthesis of several pharmaceutical precursors and fine chemicals. While nitrilases have been characterized from different sources, the industrial application requires the identification of nitrilases that possess higher substrate tolerance, wider specificity and better thermostability, along with the development of an efficient bioprocess for producing large amounts of nitrilase. To produce large amounts of nitrilase, we developed a fed-batch fermentation process on defined media for the high cell density cultivation of E. coli cells expressing the well-studied nitrilase from Alcaligenes fecalis. A DO-stat feeding approach was employed combined with an optimized post-induction strategy to achieve nitrilase titer of 2.5*105 U/l and 78 g/l dry cell weight. We also identified 16 novel nitrilase sequences from genome mining and analysis of substrate binding residues. The nitrilases were expressed in E. coli and their biocatalytic potential was evaluated on a panel of 22 industrially relevant nitrile substrates using high-throughput screening and HPLC analysis. Nine nitrilases were identified to exhibit high activity on structurally diverse nitriles including aliphatic and aromatic dinitriles, heterocyclic, -hydroxy and -keto nitriles. With fed-batch biotransformation, whole-cell Zobelia galactanivorans nitrilase achieved yields of 2.4 M nicotinic acid and 1.8 M isonicotinic acid from 3-cyanopyridine and 4-cyanopyridine respectively within 5 h, while Cupravidus necator nitrilase enantioselectively converted 740 mM mandelonitrile to (R)–mandelic acid. The nitrilase from Achromobacter insolitus could hydrolyze 542 mM iminodiacetonitrile in 1 h. The availability of highly active nitrilases along with bioprocesses for enzyme production expands the toolbox for industrial biocatalysis.

Keywords: biocatalysis, isonicotinic acid, iminodiacetic acid, mandelic acid, nitrilase

Procedia PDF Downloads 238

Authors: Linghui Meng, James Atlas, Deborah Munro

Abstract:

There is an increasing demand for prosthetics capable of mimicking natural limb movements and hand gestures, but precise movement control of prosthetics using only electrode signals continues to be challenging. This study considers the implementation of machine learning as a means of improving accuracy and presents an initial investigation into hand gesture recognition using models based on electromyographic (EMG) signals. EMG signals, which capture muscle activity, are used as inputs to machine learning algorithms to improve prosthetic control accuracy, functionality and adaptivity. Using logistic regression, a machine learning classifier, this study evaluates the accuracy of classifying two hand gestures from the publicly available Ninapro dataset using two-time series feature extraction algorithms: Time Series Feature Extraction (TSFE) and Convolutional Neural Networks (CNNs). Trials were conducted using varying numbers of EMG channels from one to eight to determine the impact of channel quantity on classification accuracy. The results suggest that although both algorithms can successfully distinguish between hand gesture EMG signals, CNNs outperform TSFE in extracting useful information for both accuracy and computational efficiency. In addition, although more channels of EMG signals provide more useful information, they also require more complex and computationally intensive feature extractors and consequently do not perform as well as lower numbers of channels. The findings also underscore the potential of machine learning techniques in developing more effective and adaptive prosthetic control systems.

Keywords: EMG, machine learning, prosthetic control, electromyographic prosthetics, hand gesture classification, CNN, computational neural networks, TSFE, time series feature extraction, channel count, logistic regression, ninapro, classifiers

Procedia PDF Downloads 43

Authors: Klary Geisler, Dalit Lev-Arey, Yael Hacohen

Abstract:

It is a well-known fact that exercise has favorable effects on people's physical health, as well as mental well-being. However, as for as excessive exercise, it may likely elevate negative consequences (e.g., physical injuries, negligence of everyday responsibilities such as work, family life). Lately, there is a growing interest in exercise addiction, sometimes referred to as exercise dependence, which is defined as a craving for physical activity that results in extreme work-out sessions and generates negative physiological and psychological symptoms (e.g., withdrawal symptoms, tolerance, social conflict). Exercise addiction is considered a behavioral addiction, yet it was not included in the latest editions of the diagnostic and statistical manual of mental disorders (DSM-IV), due to lack of significant research. Specifically, there is scarce research on the relationship between exercise addiction and personality dimensions. The purpose of the current research was to examine the relationship between primary exercise addiction symptoms and the big five dimensions, perfectionism (high performance expectations and self-critical performance evaluations) and subjective affect. participants were 152 trainees on a variety of aerobic sports activities (running, cycling, swimming) that were recruited through sports groups and trainers. 88% of participants trained for at least 5 hours per week, 24% of the participants trained above 10 hours per week. To test the predictive ability of the IVs a hierarchical linear regression with forced block entry was performed. It was found that Neuroticism significantly predicted exercise addiction symptoms (20% of the variance, p<0.001), while consciousness was negatively correlated with exercise addiction symptoms (14% of variance p<0.05); both had a unique contribution. Other dimensions of the big five (agreeableness, openness and extraversion) did not have any contribution to the dependent. Moreover, maladaptive perfectionism (self-critical performance evaluations) significantly predicted exercise addiction symptoms as well (10% of the variance P < 0.05). The overall regression model explained 54% of variance.

Keywords: big five, consciousness, excessive exercise, exercise addiction, neuroticism, perfectionism, personality

Procedia PDF Downloads 232

Authors: Setapo Moloi, Jun-Ichiro Giorgos Tsutsumi

Abstract:

South Africa’s need for the provision of housing within its major city centres, specifically Gauteng Province (GP), is a major concern. Initiatives for converting misused/ unused buildings to suitable housing for residents who work in the city as well as prospective citizens are currently underway, one aspect that is needed currently, is the re-possession of these buildings repurposing, into housing communities for quality low cost mixed density housing and for this process to have minimal strain on existing infrastructure like energy, emission reduction etc. Unfortunately, there are instances in Johannesburg, the country’s economic capital, with 2017 estimates claiming that 700 buildings lay unused or misused due to issues that will be discussed in this paper, these then become hubs for illegal activity and are an unacceptable form of shelter. It can be argued that the provision of inner-city social housing is lacking, but not due to the unavailability of funding or usable land and buildings, but that these assets are not being used appropriately nor to their full potential. Currently the GP government has mandated the re-purposing of all buildings that meet their criteria (structural stability, feasibility, adaptability, etc.) with the intention of inviting interested parties to propose conversions of the buildings into densified social housing. Going forward, the proposed focus is creation of social housing communities within existing buildings which may be retrofitted with sustainable technologies, green design strategies and principles, aiming for the finished buildings to achieve ‘Net-Zero/Positive’ status. A Net-Zero building, according to The Green Building Council of South Africa (GBCSA) is a building which manages to produce resources it needs to function, and reduces wastage, emissions and demand of these resources during its lifespan. The categories which GBCSA includes are carbon, water, waste and ecology, this may include material selection, construction methods, etc.

Keywords: adaptive reuse, conversion, net-zero, social housing, sustainable communities

Procedia PDF Downloads 144

Authors: M. Younus, Muhammad Shafique, M. Athar Khan, Tanveer Akhtar , M. Moeen Athar

Abstract:

A total of 48 apparently healthy weaned sheep lambs (Ovis aries) of 8-10 weeks old weighing 7-10 Kg were purchased from the contractors, maintained in the experimental station of University of the Punjab, Quaid-e-Azam Campus at Lahore, Pakistan. They were dewormed against nematodes with levamisole (ICI) at recommended dose rates. The feces were tested against the parasitic eggs, no helminths ova were seen. All the 48 sheep lambs were divided into two groups i.e. group A & group B. Group 'A' comprising of 40 sheep, kept as infected groups whereas group 'B' comprising of 08 sheep & kept as a new infected control group. Each sheep lamb of group A was given 3-4 fresh gravid segments contains 2-3 thousand eggs of Echinococcus granulosus. These were collected from experimentally infected dogs by feeding fresh hydrated cysts collected from liver & lungs of sheep after slaughtering. Each lamb was fed with fresh gravid segments for a total period of 5 days or each alternate day. Coagulated blood was collected before the start of infected diet and after every month by jugular phlebotomy of each sheep lamb from the infected & new infected control group. One lamb each from group A & group B was slaughtered at the end of each month for the presence of macroscopic hydatid cyst in viscera & abdominal cavity. After 180 days of the experiment, hydatid cysts were confirmed in the abdominal cavity. Hematological parameters of zero days & then at the end of every month revealed that there was a gradual increase (PL 0.05) in the White Blood Cell (WBC), Mean Corpuscular Volume (MCV), Mean Corpuscular Hemoglobin Concentration (MCHC) and Erythrocyte Sedimentation Rates (ESR). The increasing trend was probably due to inflammatory response and lytic effect of the newly developing E. granulosus hydatid cysts. The red blood cell (RBC), Hemoglobin (HB), Packed Cell Volume (PCV) and Mean Corpuscular Hemoglobin (MCH) infected groups were decreased significantly as compared to the control group (PL 0.05). The experiment was terminated at the end of the 7th month. It can be concluded that Echinococcus granulosus can damage livestock and other intermediate hosts such as horses, the development of hydatid cysts affect the organs due to the growing cysts pressuring the organ tissues. Parts of the tissue die, which impairs the functioning of the affected organ. The clinical signs depend on the affected organ. The major damage for livestock is organ condemnation at slaughter.

Keywords: echinococcus granulosus, hydatidosis, sheep, hematology

Procedia PDF Downloads 422

Authors: Ligia Nascimento, Manuela Faia Correia

Abstract:

Nowadays, Information and Communication Technologies (ICT) are embedded in most professions. Technostress - or stress induced by the use of ICTs, has been studied in various sectors of activity and in different geographical areas, mainly from the perspective of its harmful impacts. In the context of work, the technological contexts capable of causing stress have been examined in-depth, as well as the type of individuals most likely to experience its negative effects. However, new lines of the research argue that the stress generated by the use of ICTs may not necessarily be detrimental (technodistress), admitting that, in contrast, and in addition, it may actually be beneficial to organizations and their employees (technoeustress). Any measures that succeed in reducing technodistress do not necessarily lead to the creation of technoeustress, justifying the study of this phenomenon in a focused and independent manner. Adopting the transactional model of stress as the basic theoretical framework, an ongoing research project aims to study technoeustress independently. Given the role played in the qualification and progress of society and the economy, it becomes particularly critical to care for the well-being of the higher education teacher. Particularly in recent times, when teleworking is prevalent, these professionals have made a huge, compulsive effort to adapt to a new teaching reality. Rather than limiting itself to mitigating adverse effects of ICT use, which featured earlier approaches, the present study seeks to understand how to activate the positive side of technostress in higher education teachers in order to obtain favorable personal and organizational outcomes from ICT use at work. The research model seeks to understand, upstream, the ICT characteristics that increase the perception of technoeustress among higher education teachers, studying the direct and moderating effects of individual and organizational variables and, downstream, the impacts that technoeustress has on job satisfaction and performance. This research contributes both to expanding the knowledge of the technostress phenomenon and to identify possible recommendations for management.

Keywords: higher education teachers, ICT, stress, technoeustress

Procedia PDF Downloads 150

Authors: Xueming Xu, Jiahao Liu, Jichao Li, Kewei Yang, Minghao Li, Bingfeng Ge

Abstract:

A combat system-of-systems (CSoS) comprises various types of functional combat entities that interact to meet corresponding task requirements in the present and future. Enhancing the resilience of CSoS holds significant military value in optimizing the operational planning process, improving military survivability, and ensuring the successful completion of operational tasks. Accordingly, this research proposes an integrated framework called CSoS resilience enhancement (CSoSRE) to enhance the resilience of CSoS from a recovery perspective. Specifically, this research presents a two-phase resilience optimization model to define a resilience optimization objective for CSoS. This model considers not only task baseline, recovery cost, and recovery time limit but also the characteristics of emergency recovery and comprehensive recovery. Moreover, the research extends it from the deterministic case to the stochastic case to describe the uncertainty in the recovery process. Based on this, a resilience-oriented recovery optimization method based on deep reinforcement learning (RRODRL) is proposed to determine a set of entities requiring restoration and their recovery sequence, thereby enhancing the resilience of CSoS. This method improves the deep Q-learning algorithm by designing a discount factor that adapts to changes in CSoS state at different phases, simultaneously considering the network’s structural and functional characteristics within CSoS. Finally, extensive experiments are conducted to test the feasibility, effectiveness and superiority of the proposed framework. The obtained results offer useful insights for guiding operational recovery activity and designing a more resilient CSoS.

Keywords: combat system-of-systems, resilience optimization model, recovery optimization method, deep reinforcement learning, certainty and uncertainty

Procedia PDF Downloads 22

Authors: A. K. Visnuprasad, P. J. Jojo, Reshma Bhaskaran

Abstract:

Computational fluid dynamics (CFD) is used to simulate the distribution of indoor radon concentration in a living room with elevated levels of radon concentration which varies from 22 Bqm-3 to 1533 Bqm-3 in 24 hours. Finite volume method (FVM) was used for the simulation. The simulation results were experimentally validated at 16 points in two horizontal planes (y=1.4m & y=2.0m) using pin-hole dosimeters and at 3 points using scintillation radon monitor (SRM). Passive measurement using pin-hole dosimeters were performed in all seasons. Another simulation was done to find a suitable position for a passive ventilation system for the effective mitigation of radon.

Keywords: indoor radon, computational fluid dynamics, radon flux, ventilation rate, pin-hole dosimeter

Procedia PDF Downloads 417

Authors: Jiechen Yin, Xiang Hong, Ran Liu

Abstract:

Atrazine (ATR), a widely used triazine herbicide, is an environmental endocrine disruptor that can cause health problems. However, whether there are multi/trans-generational reproductive impacts of ATR have not been studied to our best knowledge. Therefore, in this study, Caenorhabditis elegans was used as a preferable model organism to identify the multi/trans-generational reproductive toxicity of ATR. L1 larvae were exposed to different concentrations (0.0004–40 mg/L) of ATR for 48 h. Successive generations (F1 to F5) were fed without ATR and consecutive exposure. The results showed that ATR exposure during P0 decreased fecundity, including a reduction in fertilized eggs, oocytes, and ovulation rate, delayed gonadal development, and decreased the relative area of the gonad arm and germ cell number. Furthermore, continuous ATR exposure (P0–F5) causes a significant increase in reproductive toxicity in subsequent generations, although no significant toxicity occurred in the P0 generation after exposure to environmental-related concentrations, suggesting that ATR exposure might have cumulative effects. Likewise, parental exposure to ATR caused transgenerational toxicity impairments. Interestingly, reproductive toxicity not development toxicity was transmitted to several generations (F1–F4), and the F2 generation showed the most notable changes. QRT-PCR results showed that genes related to DNA methylation 6mA (damt-1, nmad-1) and histone H3 methylation (mes-4, met-2, set-25, set-2, and utx-1) can also be passed on to offspring. The function of H3K4 and H3K9 methylation were explored by using loss-of-function mutants for set-2, set-25, and met-2. Transmissible reproductive toxicity was absent in met-2(n4256), set-2(ok952), and set-25(n5021) mutants, which suggests that the histone methyltransferases H3K4 and H3K9 activity are indispensable for the transgenerational effect of ATR. Finally, the downstream genes of DNA methylation and histone H3 methylation were determined. ATR upregulated the expression of ZC317.7, hsp-6, and hsp-60. Mitochondrial stress in parental generation dependent transcription 6mA modifiers may establish these epigenetic marks in progeny.

Keywords: ATR, Caenorhabditis elegans, multi-/trans-generation, reproductive toxicity

Procedia PDF Downloads 78

Authors: Fatima Bouazza, Rachida Hassikou, Lamiae Amallah, Jihane Ennadir, Khadija Khedid

Abstract:

This study evaluated the in vitro resistance and susceptibility of Enterobacteriaceae (Escherichia coli and Klebsiella oxytoca strains) and Staphylococci strains, isolated from sheep’s milk, against antibiotics and essential oils from Thymus satureioides and Mentha pulegium. Antibiotic resistance tests were done using disc diffusion while essential oils were extracted by steam distillation, and yields were calculated relative to plant dry matter. Gas chromatography-mass Spectrometry (GC-MS) was used to analyze each oil's chemical composition. The AMC, CTX, FOX, NA, CN, CIP, and OFX were very effective against the E. coli strains tested. Half of the strains were resistant to AMC, 60% to TIC, and 80% to TE. The K. oxytoca was resistant against AMC, FOX, and TIC (100%). Antibiotic-resistant testing on Staphylococci strains indicated Staphylococcus capitis and Staphylococcus chromogenes as the most sensitive. Staphylococcus aureus, Staphylococcus xylosus, and Staphylococcus cohnii ureal exhibited less resistance to OX, TE, PT, E, and P. The M. pulegium resulted in a higher yield of essential oil of 3.2% oil compared to T. satureioides with only 1.85% yield. Staphylococcus aureus, Staphylococcus xylosus, and Staphylococcus cohnii ureal had lower OX, TE, PT, E, and P resistance. M. pulegium yielded 3.2% essential oil compared to 1.85% for T. satureioides. The monoterpene oxygenated derivatives, monoterpene hydrocarbons, and phenols are found in essential oil extracts. T. satureioides essential oil had high antibacterial activity even at low concentrations (0.2; 0.55 g/mL). The Minimal Bactericidal Concentration (MBC) values indicate that the essential oils from the plants analyzed had bactericidal effects on all strains tested and are similar to the Minimal Inhibitory Concentration (MIC) values. The high antibacterial properties of these medicinal plants, against bacteria isolated from sheep’s milk, provide an opportunity to use these medicinal plants in the breeding sector as additives and preservatives in the dairy industry.

Keywords: antibiotic resistance, medicinal plants, essential oils, enterobacteriaceae, staphylococci, sheep milk

Procedia PDF Downloads 165

Authors: Osvaldo N. Oliveira Jr.

Abstract:

The control of molecular architecture inherent in some experimental methods to produce nanostructured films has had great impact on devices of various types, including sensors and biosensors. The self-assembly monolayers (SAMs) and the electrostatic layer-by-layer (LbL) techniques, for example, are now routinely used to produce tailored architectures for biosensing where biomolecules are immobilized with long-lasting preserved activity. Enzymes, antigens, antibodies, peptides and many other molecules serve as the molecular recognition elements for detecting an equally wide variety of analytes. The principles of detection are also varied, including electrochemical methods, fluorescence spectroscopy and impedance spectroscopy. In this presentation an overview will be provided of biosensors made with nanostructured films to detect antibodies associated with tropical diseases and HIV, in addition to detection of analytes of medical interest such as cholesterol and triglycerides. Because large amounts of data are generated in the biosensing experiments, use has been made of computational and statistical methods to optimize performance. Multidimensional projection techniques such as Sammon´s mapping have been shown more efficient than traditional multivariate statistical analysis in identifying small concentrations of anti-HIV antibodies and for distinguishing between blood serum samples of animals infected with two tropical diseases, namely Chagas´ disease and Leishmaniasis. Optimization of biosensing may include a combination of another information visualization method, the Parallel Coordinate technique, with artificial intelligence methods in order to identify the most suitable frequencies for reaching higher sensitivity using impedance spectroscopy. Also discussed will be the possible convergence of technologies, through which machine learning and other computational methods may be used to treat data from biosensors within an expert system for clinical diagnosis.

Keywords: clinical diagnosis, information visualization, nanostructured films, layer-by-layer technique

Procedia PDF Downloads 342

Authors: Hien Thi Dieu Truong, Mahmoud Al-Sarayreh, Pullanagari Reddy, Marlon M. Reis, Richard Archer

Abstract:

New Zealand mānuka honey is a honeybee product derived mainly from Leptospermum scoparium nectar. The potent antibacterial activity of mānuka honey derives principally from methylglyoxal (MGO), in addition to the hydrogen peroxide and other lesser activities present in all honey. MGO is formed from dihydroxyacetone (DHA) unique to L. scoparium nectar. Mānuka honey also has an idiosyncratic phenolic profile that is useful as a chemical maker. Authentic mānuka honey is highly valuable, but almost all honey is formed from natural mixtures of nectars harvested by a hive over a time period. Once diluted by other nectars, mānuka honey irrevocably loses value. We aimed to apply hyperspectral imaging to honey frames before bulk extraction to minimise the dilution of genuine mānuka by other honey and ensure authenticity at the source. This technology is non-destructive and suitable for an industrial setting. Chemometrics using linear Partial Least Squares (PLS) and Support Vector Machine (SVM) showed limited efficacy in interpreting chemical footprints due to large non-linear relationships between predictor and predictand in a large sample set, likely due to honey quality variability across geographic regions. Therefore, an advanced modelling approach, one-dimensional convolutional neural networks (1D-CNN), was investigated for analysing hyperspectral data for extraction of biochemical information from honey. The 1D-CNN model showed superior prediction of honey quality (R² = 0.73, RMSE = 2.346, RPD= 2.56) to PLS (R² = 0.66, RMSE = 2.607, RPD= 1.91) and SVM (R² = 0.67, RMSE = 2.559, RPD=1.98). Classification of mono-floral manuka honey from multi-floral and non-manuka honey exceeded 90% accuracy for all models tried. Overall, this study reveals the potential of HSI and deep learning modelling for automating the evaluation of honey quality in frames.

Keywords: mānuka honey, quality, purity, potency, deep learning, 1D-CNN, chemometrics

Procedia PDF Downloads 144

Authors: J. T. Koininga, J. E. Teigen, A. Wilkinson, D. Kanneh, F. Kanneh, M. Foday, D. S. Grant, M. Leach, L. M. Moses

Abstract:

Lassa fever (LF) is a severe febrile illness endemic to West Africa. While human-to-human transmission occurs, evidence suggests most LF cases originate from exposure to rodents, particularly the Natal multimammate mouse, Mastomys natalensis. Within West Africa, LF occurs primarily in rural communities where agriculture is the main economic activity. Seasonality of LF has also been linked to agricultural cycles, with peak incidence occurring in the dry season when fields are burned and plowed. To investigate this pattern of seasonality, four agricultural communities were selected for this two-year longitudinal study. Each community was to be sampled four times each year, but this was interrupted by the Ebola virus disease outbreak. Agricultural land use, forested, and fallow areas were identified through participatory mapping. Transects were plotted in each area and Sherman traps were set for four nights. Captured small mammals were identified, ear tagged, and released. Mastomys natalensis abundance was found to be highest in areas of converted fallow land and rice swamps in the dry season and upland mixed crop areas toward the onset of the rainy season. All peak times were associated with heavy perturbation of soil. All ages and genders were present during these time points. These results suggest that peak abundance of the Mastomys natalensis in agricultural areas coincides with peak incidence of LF reported in this region. Although contact with rodents may be higher in villages, our study suggests human behaviors in agricultural areas may increase risk of transmission of Lassa virus.

Keywords: agriculture, land use, Lassa Fever, rodent abundance

Procedia PDF Downloads 124

Authors: Harison Masih, Jyotsna Kiran Peter, Sundara Singh, Geetha Singh

Abstract:

The present investigation deals with diversity of dermatophytes and keratinophilic fungi from different tourist spots such as Agra Fort, Akbar tomb, It-Mat-Ud-Daulah, Mariam tomb, Radha Swami Bagh, and Taj Mahal of Agra City. These fungi are medically important which causes various infections and diseases in humans and animals. The main reservoir of these pathogens are the keratinous substances that increases due to birds and animal activities in the vicinity of monuments, where thousands (5413266) annual visitors from all over the world are visiting. The soil samples were subjected to isolate the pathogenic fungi through bait technique (buffalo skin, chicken feathers, human hair and goat tail hair). Baits were spread over the soil samples and incubated at room temperature for 30-35 days and pure culture isolates were maintained in SDA medium, stored at 4°C. Highest number of visitors were (3906453) from Taj Mahal, minimum 10785 at Mariam tomb annually, the total 271 isolates were encountered from soil samples out of these 18 genera and 38 species were found in different season. Highest incidence was 4.79% frequency shown by Chrysosporium keratinophilum while least 738% frequency occurrence by Trichophyton simii in soil samples. From the present study it was concluded that the incidence of pathogenic fungal isolates were the common in tourists soil that are etiological agents of superficial mycosis. Thus, both human and animal activity seemed to play an important role in occurrence and distribution of keratinophilic and related dermatophytes at various tourist places of Agra city.

Keywords: dermatophytic fungal diversity, bait technique, visitors at tourist spots, human and animal activities, soil samples

Procedia PDF Downloads 490

Authors: Parvin Mirmiran, Zahra Bahadoran, Sahar Mirzae, Fereidoun Azizi

Abstract:

Background and aim: Lifestyle factors, especially dietary intakes play an important role in metabolism of lipids and lipoproteins. In this study, we assessed the association between dietary factors and 3-year changes of serum triglycerides (TG), HDL-C and the atherogenic index of plasma among Iranian adults. This longitudinal study was conducted on 1938 subjects, aged 19-70 years, who participated in the Tehran Lipid and Glucose Study. Demographics, anthropometrics and biochemical measurements including serum TG were assessed at baseline (2006-2008) and after a 3-year follow-up (2009-2011). Dietary data were collected by using a 168-food item, validated semi-quantitative food frequency questionnaire at baseline. The risk of hypertriglyceridemia in the quartiles of dietary factors was evaluated using logistic regression models with adjustment for age, gender, body mass index, smoking, physical activity and energy intakes. Results: Mean age of the participants at baseline was 41.0±13.0 y. Mean TG and HDL-C at baseline was 143±86 and 42.2±10.0 mg/dl, respectively. Three-year change of serum TG were inversely related energy intake from phytochemical rich foods, whole grains, and legumes (P<0.05). Higher intakes compared to lower ones of dietary fiber and phytochemical-rich foods had similar impact on decreased risk of hyper-triglyceridemia (OR=0.58, 95% CI=0.34-1.00). Higher- compared to lower-dietary sodium to potassium ratios (Na/K ratio) increased the risk of hypertriglyceridemia by 63% (OR=0.1.63, 95% CI= 0.34-1.00). Conclusion: Findings showed that higher intakes of fiber and phytochemical rich foods especially whole grain and legumes could have protective effects against lipid disorders; in contrast higher sodium to potassium ratio had undesirable effect on triglycerides.

Keywords: lipid disorders, hypertriglyceridemia, diet, food science

Procedia PDF Downloads 471

Authors: Ngo Thi Thu, Kazuo Tanaka, Masahiro Tanaka, Dao Ngoc Chien

Abstract:

Nanometric superfocusing of optical intensity near the tip of partially metal- coated dielectric conical probe of the convergent surface plasmon polariton wave is investigated by the volume integral equation method. It is possible to perform nanofocusing using this probe by using both linearly and radially polarized Gaussian beams as the incident waves. Strongly localized and enhanced optical near-fields can be created on the tip of this probe for the cases of both incident Gaussian beams. However the intensity distribution near the probe tip was found to be very sensitive to the shape of the probe tip.

Keywords: waveguide, surface plasmons, electromagnetic theory

Procedia PDF Downloads 480

Authors: Nima Safaei, Arezoo Masoud, Babak Safaei

Abstract:

In recent years, there has been a growing emphasis on the role of urban planning in walking capability and the effects of individual and socioeconomic factors on the physical activity levels of city dwellers. Although considerable number of studies are conducted about walkability and for identifying the effective factors in walking mode choice in developed countries, to our best knowledge, literature lacks in the study of factors affecting choice of walking mode in developing countries. Due to the high importance of health aspects of human societies and in order to make insights and incentives for reducing traffic during rush hours, many researchers and policy makers in the field of transportation planning have devoted much attention to walkability studies; they have tried to improve the effective factors in the choice of walking mode in city neighborhoods. In this study, effective factors in walkability that have proven to have significant impact on the choice of walking mode, are studied at the same time in work trips. The data for the study is collected from the employees in their workplaces by well-instructed people using questionnaires; the statistical population of the study consists of 117 employed people who commute daily from work to home in Rasht city of Iran during the beginning of spring 2015. Results of the study which are found through the linear regression modeling, show that people who do not have freedom of choice for choosing their living locations and need to be present at their workplaces in certain hours have lower levels of walking. Additionally, unlike some of the previous studies which were conducted in developed countries, coincidental effects of Body Mass Index (BMI) and the income level of employees, do not have a significant effect on the walking level in work travels.

Keywords: BMI, linear regression, transportation, walking, work trips

Procedia PDF Downloads 199

Authors: Muhammad Shahzad Tufail, Iram Liaqat, Umer Sohail Meer, Muhammad Ishtaiq, Muhammad Sattar

Abstract:

Nanotechnology is a vibrant field with numerous applications in many different branches of science and technology. Several methods are used to synthesize nanoparticles (NPs), which have multiple range of applications. Comparatively, the biogenic synthesis of NPs is a more economical and environmentally favourable method than the traditional chemical method. The current study aims to synthesize biogenically silver nanoparticles (AgNPs) using bacterial isolates. Four bacterial strains Escherichia coli (MT448673), Pseudomonas aeruginosa (MN900691), Bacillus subtilis (MN900684) and Bacillus licheniformis (MN900686) were used for the synthesis of AgNPs from silver nitrate (AgNO3) solution. The biofilm time kinetics of four bacterial isolates (P. aeruginosa, E. coli, B. licheniformis and B. subtilis) was analysed by incubating bacterial cultures at 37◦C in test tubes over a period of different time intervals i.e., 2, 3, 5 and 7 days following crystal violet staining method. All the four strains had ability to form strong biofilms between 48 to 72 hours of incubation. Two strains (B. subtilis and B. licheniformis) formed significant (p < 0.05) biofilm after 3 days of incubation period. The other two strains (E. coli and P. aeruginosa) showed strong biofilm formation after 2 days of incubation. Next, the antibiofilm activity of biogenically synthesized AgNPs (10 - 100 µgmL-1) was analysed against biofilm forming human pathogenic bacteria. Findings of the work revealed that 60-90% inhibition was observed at 60 µgmL-1 of AgNPs, while maximum inhibition (i.e.,100%) was found at highest concentration (90 µgmL-1). It was evident that highly significant (p < 0.05) decrease in biofilm formation was observed with increasing concentration of AgNPs.

Keywords: antibiofilm, biofilm formation, nanotechnology, pathogenic bacteria, silver nanoparticles

Procedia PDF Downloads 115

Authors: Zongho Kom, Nthaduleni S. Nethengwe

Abstract:

From generations to generations, traditional farming systems have supported indigenous populations across the globe. In rural areas where communities primarily depend on farming activity for their livelihood, traditional farming has long been the main source of livelihood. This study seeks to examine the traditional agricultural techniques and agrarian resilient methods to adapt to climate change employed by smallholder farmers in Limpopo Province. The study used participatory appraisal for primary data gathering and was further complemented by qualitative and quantitative techniques. Data for this study were gathered through focus groups, questionnaires, and semi-structured interviews. A sample of 300 Indigenous farmers was chosen for the three survey sites. The results showed that to increase household food security and adapt to climate change, local farmers rely on using indigenous farming techniques. The findings indicated that traditional practices of crop productivity can be increased and climate change stock effects lessened by intercropping, crop rotation, cover crops, traditional organic composting, integrated crop-animal farming, indigenous ploughing, and rainwater harvesting. The significance of these findings lies in their potential to guide the development and execution of suitable resilient initiatives that adapt to shifts in rural landscapes, agriculture, and management. The study illustrates how important indigenous knowledge is to rural communities' agricultural industries. Additionally, it offers proof that indigenous knowledge should be viewed as a cooperative idea that supports resilience tactics and nature-based solutions that have helped rural communities endure.

Keywords: traditional farming strategies, limpopo province, climate change, smallholder farmer, rainwater harvesting

Procedia PDF Downloads 16

Authors: Suresh Kumar Verma, Jugal Kishore Das, Ealisha Jha, Mrutyunjay Suar, SKS Parashar

Abstract:

In recent years nanoforms of inorganic metallic oxides has attracted a lot of interest due to their small size and significantly improved physical, chemical and biological properties compared to their molecular precursor. Some of the inorganic materials such as TiO2, ZnO, MgO, CaO, Al2O3 have been extensively used in biological applications. Zinc Oxide is a Wurtzite-type semiconductor and piezo-electric material exhibiting excellent electrical, optical and chemical properties with a band energy gap of 3.1-3.4 eV. Nanoforms of Zinc Oxide (ZnO) are increasingly recognised for their utility in biological application. The significant physical parameters such as surface area, particle size, surface charge and Zeta potential of Zinc Oxide (ZnO) nanoparticles makes it suitable for the uptake, persistance, biological, and chemical activities inside the living cells. The present study shows the effect of intrinsic defects of ZnO nanocrystals synthesized by high energy ball milling (HEBM) technique in their antibacterial activities. Bulk Zinc oxide purchased from market were ball milled for 7 h, 10 h, and 15 h respectively to produce nanosized Zinc Oxide. The structural and optical modification of such synthesized particles were determined by X-ray diffraction (XRD), Scanning Electron Microscopy and Electron Paramagnetic Resonance (EPR). The antibacterial property of synthesized Zinc Oxide nanoparticles was tested using well diffusion, minimum inhibitory Concentration, minimum bacteriocidal concentration, reactive oxygen species (ROS) estimation and membrane potential determination methods. In this study we observed that antibacterial activity of ZnO nanoparticles is because of the intrinsic defects that exist as a function of difference in size and milling time.

Keywords: high energy ball milling, ZnO nanoparticles, EPR, Antibacterial properties

Procedia PDF Downloads 433

Authors: Mahsa Tavakoli, Seyed Mohammad Hojjati, Yahya Kooch

Abstract:

Considering that coal mining is one of the important industrial activities, it may cause damages to environment. According to the author’s best knowledge, the effect of traditional coal mining activities on plant biodiversity has not been investigated in the Hyrcanian forests. Therefore, in this study, the effect of coal mining activities on vegetation and tree diversity was investigated in Hyrcanian forest, North Iran. After filed visiting and determining the mine, 16 plots (20×20 m²) were established by systematic-randomly (60×60 m²) in an area of 4 ha (200×200 m²-mine entrance placed at center). An area adjacent to the mine was not affected by the mining activity, and it is considered as the control area. In each plot, the data about trees such as number and type of species were recorded. The biodiversity of vegetation cover was considered 5 square sub-plots (1 m²) in each plot. PAST software and Ecological Methodology were used to calculate Biodiversity indices. The value of Shannon Wiener and Simpson diversity indices for tree cover in control area (1.04±0.34 and 0.62±0.20) was significantly higher than mining area (0.78±0.27 and 0.45±0.14). The value of evenness indices for tree cover in the mining area was significantly lower than that of the control area. The value of Shannon Wiener and Simpson diversity indices for vegetation cover in the control area (1.37±0.06 and 0.69±0.02) was significantly higher than the mining area (1.02±0.13 and 0.50±0.07). The value of evenness index in the control area was significantly higher than the mining area. Plant communities are a good indicator of the changes in the site. Study about changes in vegetation biodiversity and plant dynamics in the degraded land can provide necessary information for forest management and reforestation of these areas.

Keywords: vegetation biodiversity, species composition, traditional coal mining, Caspian forest

Procedia PDF Downloads 188

Authors: Yousif Mohamed Y. Abdallah, Khalid H. Eltom

Abstract:

This is an experimental study deals with measurement of the periodic physiological organ motion during lung external irradiation in order to reduce the exposure of healthy tissue during radiation treatments. The results showed for left lung displacement reading (4.52+1.99 mm) and right lung is (8.21+3.77 mm) which the radiotherapy physician should take suitable countermeasures in case of significant errors. The motion ranged between 2.13 mm and 12.2 mm (low and high). In conclusion, the calculation of tumour mobility can improve the accuracy of target areas definition in patients undergo Sterostatic RT for stage I, II and III lung cancer (NSCLC). Definition of the target volume based on a high resolution CT scan with a margin of 3-5 mm is appropriate.

Keywords: physiological motion, lung, external irradiation, radiation medicine

Procedia PDF Downloads 425

Authors: Pedro Miguel Cardoso Carneiro, Ricardo André Nunes Borges, João Pedro Soares Loureiro, Hermínio Maio Graça Fernandes

Abstract:

Wind energy has been exponentially growing over the last years and will allow countries to progress regarding the decarbonization objective. In parallel, the maintenance activities have also been increasing in consequence of ageing and deterioration of the wind farms. The time available for wind blade maintenance is given by the weather window that is based upon weather conditions. Most of the wind blade repair and maintenance activities require a narrow window of temperature and humidity. Due to this limitation, the current weather windows result only on approximately 35% days/year are used for maintenance, that takes place mostly during summertime. This limitation creates large economic losses in the energy production of the wind towers, since they can be inoperative or with the energy production output reduced for days or weeks due to existing damages. Another important aspect is that the maintenance costs are higher due to the high standby time and seasonality imposed on the technicians. To reduce the relevant maintenance costs of blades and energy loses some technological developments were carried out to significantly improve this reality. The focus of this activity was to develop a series of key developments to have in the near future a suspended access equipment that can operate in harsh conditions, wind rain, cold/hot environment. To this end we have identified key areas that need to be revised and require new solutions to be found; a habitat system, multi-configurable roof and floor, roof and floor interface to blade, secondary attachment solutions to the blade and to the tower. On this paper we will describe the advances produced during a national R&D project made in partnership with an end-user (Onrope) and a test center (ISQ).

Keywords: wind turbine maintenance, cost reduction, technological innovations, wind turbine blade

Procedia PDF Downloads 98

Authors: Mindaugas Liaudanskas, Monika Tallat-Kelpsaite, Darius Kviklys, Jonas Viskelis, Pranas Viskelis, Norbertas Uselis, Juozas Lanauskas, Valdimaras Janulis

Abstract:

Apples are an important source of various biologically active compounds used for human health. Phenolic compounds detected in apples are natural antioxidants and have antimicrobial, anti-inflammatory, anticarcinogenic, and cardiovascular protective activity. The quantitative composition of phenolic compounds in apples may be affected by various factors. It is important to investigate it in order to provide the consumer with high-quality well-known composition apples and products made out of it. The objective of this study was to evaluate phenolic compounds quantitative composition in apple fruits grown in a different geographical region. In this study, biological replicates of apple cv. 'Ligol', grown in Lithuania, Latvia, Poland, and Estonia, were investigated. Three biological replicates were analyzed; one of each contained 10 apples. Samples of lyophilized apple fruits were extracted with 70% ethanol (v/v) for 20 min at 40∘C temperature using the ultrasonic bath. The ethanol extracts of apple fruits were analyzed by the high-performance liquid chromatography method. The study found that the geographical location of apple-trees had an impact on the composition of phenolic compounds in apples. The number of quercetin glycosides varied from 314.78±9.47 µg/g (Poland) to 648.17±5.61 µg/g (Estonia). The same trend was also observed with flavan-3-ols (from 829.56±47.17 µg/g to 2300.85±35.49 µg/g), phloridzin (from 55.29±1.7 µg/g to 208.78±0.35 µg/g), and chlorogenic acid (from 501.39±28.84 µg/g to 1704.35±22.65 µg/g). It was observed that the amount of investigated phenolic compounds tended to increase from apples grown in the southern location (Poland) (1701.02±75.38 µg/g) to apples grown northern location (Estonia) (4862.15±56.37 µg/g). Apples (cv. 'Ligol') grown in Estonia accumulated approx. 2.86 times higher amount of phenolic compounds than apples grown in Poland. Acknowledgment: This work was supported by a grant from the Research Council of Lithuania, project No. S-MIP-17-8.

Keywords: apples, cultivar 'Ligol', geographical regions, HPLC, phenolic compounds

Procedia PDF Downloads 190

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 227