Search results for: direct current control

Authors: T. Abohalkuma, J. Telegdi

Abstract:

Preparation, characterization, and application of self-assembled monolayers (SAM) formed by fluorophosphonic and undecenyl phosphonic acids on carbon steel surfaces as anticorrosive nanocoatings were demonstrated. The anticorrosive efficacy of these SAM layers was followed by atomic force microscopy, as the change in the surface morphology caused by layer deposition and corrosion processes was monitored. The corrosion process was determined by electrochemical potentiodynamic polarization, whereas the surface wettability of the carbon steel samples was tested with the use of static and dynamic contact angle measurements. Results showed that both chemicals produced good protection against corrosion as they performed as anodic inhibitors, especially with increasing the time of layer formation, which results in a more compact molecular film. According to the atomic force microscope (AFM) images, the fluoro-phosphonic acid self-assembled molecular layer can control the general as well as the pitting corrosion, but the SAM layers of the undecenyl-phosphonic acid cannot inhibit the pitting corrosion. The AFM and the contact angle measurements confirmed the results achieved by electrochemical measurements.

Keywords: nanolayers, corrosion, phosphonic acids, coatings

Procedia PDF Downloads 174

Authors: Takashi Mitsuishi

Abstract:

Fuzzy logic has gained acceptance in the recent years in the fields of social sciences and humanities such as psychology and linguistics because it can manage the fuzziness of words and human subjectivity in a logical manner. However, the major field of application of the fuzzy logic is control engineering as it is a part of the set theory and mathematical logic. Mamdani method, which is the most popular technique for approximate reasoning in the field of fuzzy control, is one of the ways to numerically represent the control afforded by human language and sensitivity and has been applied in various practical control plants. Fuzzy logic has been gradually developing as an artificial intelligence in different applications such as neural networks, expert systems, and operations research. The objects of inference vary for different application fields. Some of these include time, angle, color, symptom and medical condition whose fuzzy membership function is a periodic function. In the defuzzification stage, the domain of the membership function should be unique to obtain uniqueness its defuzzified value. However, if the domain of the periodic membership function is determined as unique, an unintuitive defuzzified value may be obtained as the inference result using the center of gravity method. Therefore, the authors propose a method of circular-polar-coordinates transformation and defuzzification of the periodic membership functions in this study. The transformation to circular polar coordinates simplifies the domain of the periodic membership function. Defuzzified value in circular polar coordinates is an argument. Furthermore, it is required that the argument is calculated from a closed plane figure which is a periodic membership function on the circular polar coordinates. If the closed plane figure is continuous with the continuity of the membership function, a significant amount of computation is required. Therefore, to simplify the practice example and significantly reduce the computational complexity, we have discretized the continuous interval and the membership function in this study. In this study, the following three methods are proposed to decide the argument from the discrete polygon which the continuous plane figure is transformed into. The first method provides an argument of a straight line passing through the origin and through the coordinate of the arithmetic mean of each coordinate of the polygon (physical center of gravity). The second one provides an argument of a straight line passing through the origin and the coordinate of the geometric center of gravity of the polygon. The third one provides an argument of a straight line passing through the origin bisecting the perimeter of the polygon (or the closed continuous plane figure).

Keywords: defuzzification, fuzzy membership function, periodic function, polar coordinates transformation

Procedia PDF Downloads 368

Authors: S. B. Otieno1, F. Were, A. Afullo, K. Waza

Abstract:

Background: Multi drug resistance HIV has emerged rendering the current conventional treatment of HIV ineffective. There is a need for new treatment regime which is cheap, effective and not prone to resistance development by HIV. Methods: In randomized clinical study of 68 HIV positive children 3 – 15 years to asses the efficacy of yeast selenium in HIV/AIDS patients, 50μ yeast selenium was administered to 34 children while in matched control of 34 were put on placebo. Blood samples and weight of the both groups which were taken every 3 months intervals up to 6 months, were analyzed by ELIZA for CD4T cells, the data was analyzed by SPSS version 16, WAZ scores were analyzed by Epi Info version 6. Results: No significant difference in age { χ2 (1, 62) =0.03, p =0.853}, cause of morbidity between test and controls {χ2 (1, 65) = 5.87, p= 0.015} and on condition of foster parents {χ2 ( 1,63) = 5.57, p= 0.0172} was observed. Children on selenium showed progressive improvement of WAZ and significant difference at six months {F (5,12) = =5.758, P=0.006}, and weight gain of up to 4.1 kilograms in six months, and significant CD4 T cell count increase t= -2.943, p<0.05 compared to matched controls t = -1.258 p> 0.05. CD4 T cell count increased among all age groups on test 3-5 years (+ 267.1),5-8 years (+200.3) 9-15 years (+71.2) cells/mm3 and in matched controls a decrease 3-5 years (-71), 5-8 years (-125) and 9-13 years (-10.1) cells/mm3 . No significant difference inCD4 T cell count between boys {F (2, 32) = 1.531 p= 0.232} and between boys {F (2, 49) = 1.040, p= 0.361} on test and between boys and girls {F (5, 81) = 1.379, p= 0.241} on test. Similarly no significant difference between boys and girls were observed {F (5, 86) = 1.168, p= 0.332}.In the test group there was significant positive correlation β =252.23 between weight for age (WAZ), and CD4 T Cell Count p=0.007, R2= 0.252, F< 0.05. In matched controls no significant correlation between weight gain and CD4 T cell count change was observed at six months p > 0.05. No positive correlation β =-138.23 was observed between CD4T Cell count, WAZ, p=0.934, R2 =0.0337 F >0.05. Majority (96.78%) of children on test either remained or progressed to WHO immunological stage I. Conclusion: From this study it can be concluded that yeast Selenium is effective in slowing the progress of HIV 1 in children from WHO clinical stage I by improving CD4 T cell count and hence the immunity.

Keywords: selenium, HIV, AIDS, WAZ

Procedia PDF Downloads 478

Authors: Nirupama Dixit, Anyaa Mittal, Neeru Sood

Abstract:

Alzheimer’s disease (AD) is a progressive form of dementia, contributing to up to 70% of cases, mostly observed in elderly but is not restricted to old age. The pathophysiology of the disease is characterized by specific pathological changes in brain. The changes (i.e. accumulation of metal ions in brain, formation of extracellular β-amyloid (Aβ) peptide aggregates and tangle of hyper phosphorylated Tau protein inside neurons) damage the neuronal connections irreversibly. The current issues in improvement of life quality of Alzheimer's patient lies in the fact that the diagnosis is made at a late stage of the disease and the medications do not treat the basic causes of Alzheimer's. The targeted delivery of drug through the blood brain barrier (BBB) poses several limitations via traditional approaches for treatment. To overcome these drug delivery limitation, nanoparticles provide a promising solution. This review focuses on current strategies for efficient targeted drug delivery using nanoparticles and improving the quality of therapy provided to the patient. Nanoparticles can be used to encapsulate drug (which is generally hydrophobic) to ensure its passage to brain; they can be conjugated to metal ion chelators to reduce the metal load in neural tissue thus lowering the harmful effects of oxidative damage; can be conjugated with drug and monoclonal antibodies against BBB endogenous receptors. Finally this review covers how the nanoparticles can play a role in diagnosing the disease.

Keywords: Alzheimer's disease, β-amyloid plaques, blood brain barrier, metal chelators, nanoparticles

Procedia PDF Downloads 496

Authors: Haritha Saranga

Abstract:

Service quality has become an important driver of competition in manufacturing industries of late, as many products are being sold in conjunction with service offerings. With increase in computational power and data capture capabilities, it has become possible to analyze and estimate various aspects of service quality at the granular level and determine their impact on business performance. In the current study context, dealer level, model-wise warranty data from one of the top two-wheeler manufacturers in India is used to estimate service quality of individual dealers and its impact on warranty related costs and sales performance. We collected primary data on warranty costs, number of complaints, monthly sales, type of quality upgrades, etc. from the two-wheeler automaker. In addition, we gathered secondary data on various regions in India, such as petrol and diesel prices, geographic and climatic conditions of various regions where the dealers are located, to control for customer usage patterns. We analyze this primary and secondary data with the help of a variety of analytics tools such as Auto-Regressive Integrated Moving Average (ARIMA), Seasonal ARIMA and ARIMAX. Study results, after controlling for a variety of factors, such as size, age, region of the dealership, and customer usage pattern, show that service quality does influence sales of the products in a significant manner. A more nuanced analysis reveals the dynamics between product quality and service quality, and how their interaction affects sales performance in the Indian two-wheeler industry context. We also provide various managerial insights using descriptive analytics and build a model that can provide sales projections using a variety of forecasting techniques.

Keywords: service quality, product quality, automobile industry, business analytics, auto-regressive integrated moving average

Procedia PDF Downloads 122

Authors: Shahira El Shafie, Hanaa Eldash, Engy Ghabbour, Mohamed Eid

Abstract:

Several immunologic defects can be found in patients with beta-thalassemia, among which the impairment of neutrophil phagocytic function is of utmost importance. Attention has been directed to the role of proinflammatory cytokines in neutrophil chemotaxis and phagocytosis. Interleukin-8 (IL-8) is an important chemotactic and activation peptide for neutrophils; changes in IL-8 level and potential correlation with neutrophil function can be relevant to immunomodulation pathophysiology in beta-thalassemia patients. This case-control study aimed to evaluate IL-8 level and to assess granulocyte recruitment, as markers of immunomodulation, in poly-transfused thalassemia patients attending Fayoum University Hospitals. The study was conducted on 50 patients with ß thalassemia and 32 age-matched controls. 21/50 patients were transfused more than ten times, and 29/50 were transfused in a lower frequency. Patients and controls were subjected to thorough history taking and clinical examination, measurement of IL-8 level using human IL-8 ELISA kit, and Rebuck skin window technique (RSWT) to assess granulocyte recruitment. Our data showed statistically significant higher levels of IL-8 in ß thalassemia patients compared to control with a much higher difference in patients transfused more than ten times. Neutrophil recruitment was significantly lower in ß thalassemia patients compared to control at 4 hours and 24 hours test time. Although IL-8, the main chemotactic pro-inflammatory cytokine showed a higher level in thalassemia patients, neutrophils recruitment was significantly lower, especially in those receiving more than ten transfusion times. Our findings suggest a possible role of other neutrophil chemotactic factors, defective neutrophil response, or increased IL-8 as compensation of abnormal function. We recommend the use of IL-8 and Rebuck skin window technique as useful markers of immunomodulation in thalassemia and further study for these biomarkers to assess their clinical implications and impact on the management of thalassemia patients.

Keywords: beta-thalassemia, Interleukin-8, Rebuck skin window technique, immunomodulation

Procedia PDF Downloads 194

Authors: Niveen Hassan-Abbas, Tammie Ronen-Rosenbaum

Abstract:

Background and purpose: 'Flourishing in marriage' is a concept refers to married individuals’ high positivity ratio regarding their marriage, namely greater reported positive than negative emotions. The study proposes a different approach to marriage which emphasizes the place of the individual himself as largely responsible for his personal flourishing within marriage. Accordingly, the individual's desire to preserve and strengthen his marriage largely determines the marital behavior in a way that will contribute to his marriage success (Actor Effect), regardless the contribution of his or her partner to his marriage success (Partner Effect). Another assumption was that flourishing in marriage could be achieved by two separate processes, where capitalization support increases the positive marriage's evaluations and accommodation decreases the negative one. A theoretical model was constructed, whereby individuals who were committed to their marriage were hypothesized as employing self-control skills by way of two dynamic processes. First, individual’s higher degree of 'capitalization supportive responses' - supportive responses to the partner's sharing of positive personal experiences - was hypothesized as increasing one’s positive evaluations of marriage and thereby one’s positivity ratio. Second, individual’s higher degree of 'accommodation' responses - the ability during conflict situations to control the impulse to respond destructively and instead to respond constructively - was hypothesized as decreasing one’s negative evaluations of marriage and thereby increasing one’s positivity ratio. Methods: Participants were 156 heterosexual Arab couples from different regions of Israel. The mean period of marriage was 10.19 (SD=7.83), ages were 31.53 years for women (SD=8.12) and 36.80 years for men (SD=8.07). Years of education were 13.87 for women (SD=2.84) and 13.23 years for men (SD=3.45). Each participant completed seven questionnaires: socio-demographic, self-control skills, commitment, capitalization support, accommodation, marital quality, positive and negative affect. Using statistical analyses adapted to dyadic research design, firstly descriptive statistics were calculated and preliminary tests were performed. Next, dyadic model based on the Actor-Partner Interdependence Model (APIM) were tested using structural equation modeling (SEM). Results: The assumption according to which flourishing in marriage can be achieved by two processes was confirmed. All of the Actor Effect hypotheses were confirmed. Participants with higher self-control used more capitalization support and accommodation responses. Among husbands, unlike wives, these correlations were stronger when the individual's commitment level was higher. More capitalization supportive responses were found to increase positive evaluations of marriage, and greater spousal accommodation was found to decrease negative evaluations of marriage. High positive evaluations and low negative evaluations were found to increase positivity ratio. Not according to expectation, four partner effect paths were found significant. Conclusions and Implications: The present findings coincide with the positive psychology approach that emphasizes human strengths. The uniqueness of this study is its proposal that individuals are largely responsible for their personal flourishing in marriage. This study demonstrated that marital flourishing can be achieved by two processes, where capitalization increases the positive and accommodation decreases the negative. Practical implications include the need to construct interventions that enhance self-control skills for employment of capitalizing responsiveness and accommodation processes.

Keywords: accommodation, capitalization support, commitment, flourishing in marriage, positivity ratio, self-control skills

Procedia PDF Downloads 162

Authors: Noor Abdelhamid

Abstract:

Almost half of Cairo’s growing population is housed in self-built, self-governed informal settlements serving as an alternative in the absence of government-provided public housing. These settlements emerged as the spatial expression of informal practices or activities operating outside regulated, formal frameworks. A comprehensive narrative of political events, administrative decisions, and urban policies set the stage for the growth of informal expression in Egypt. The purpose of this qualitative inquiry is to portray informal self-governance practiced by residents in the Cairo region. This research argues that informal spatial practices offer an alternative urban framework for bottom-up development in the absence of government provisions. In the context of this study, informal self-governance is defined as the residents’ autonomous control and use of public urban space in informal settlements. The case study for this research is Ard al-Liwa, a semi-formal settlement representing the majority of informal settlement typologies in Egypt, which consist of the formal occupation of land through an uncontrolled land subdivision, zoning, and construction. An inductive methodological approach is adopted to first study informal practices as singular activities and then as components of a larger environment. The collected set of empirical data consists of audiovisual material and observations obtained during regular site visits and interviews with residents native to the settlement. Methods of analysis are synthesized to identify themes in the data: the static and dynamic use of sidewalks, the urban traces of informal building allocation and construction, the de facto right to urban space, and the resultant spatial patterns. The paper concludes by positioning the research in the context of the current architectural practice, questioning the role, and responsibility, of designers in these self-governed urban regions.

Keywords: Egypt, informal settlements, self-governance, urban framework

Procedia PDF Downloads 164

Authors: Bayarmaa Enkhbold, Kenichi Matsui

Abstract:

Urban parks are important assets to every community in terms of providing space for health, cultural and leisure activities. However, Ulaanbaatar, the capital of Mongolia, faces a shortage of green spaces, particularly urban parks, due to overpopulation and haphazard growth. Therefore, in order to increase green space per person, the city government has planned to increase green space per person up to 20m² by 2020 and 30m² by 2030 by establishing more urban parks throughout the city. But this plan was estimated that it is highly unlikely to reach those goals according to the analysis of the present status of plan implementation because the current amount of green space per person is still 4m². In the past studies globally, city planners and scientists agree that it is highly improbable to develop urban parks and keep maintenance sustainably without reflecting community perceptions and their involvement in the park establishment. Therefore, this research aims to find the challenges which stymie urban park development in Ulaanbaatar city and recommend dealing with the problems. In order to reach the goal, communities’ perceptions about the current challenges and their necessity for urban parks were identified and determined whether they differentiated depending on two different types of residential areas (urban and suburban areas). It also attempted to investigate international good practices on how they deal with similar problems. The research methodology was based on a questionnaire survey among city residents, a document review regarding the involvement of stakeholders, and a literature review of relevant past studies. According to the residents’ perceptions, the biggest challenge was a lack of land availability and followed by a lack of proper policy, planning, management, and maintenance out of seven key challenges identified. The biggest community demand from the urban park was a playground for children and followed by recreation and relaxation out of six types of needs. Based on research findings, the study proposed several recommendations for enhancements as institutional and legal framework, park plan and management, supportive environment and monitoring, evaluation, and reporting.

Keywords: challenges of urban park planning and maintenance, community-based urban park establishment, community perceptions and participation, urban parks in Ulaanbaatar, Mongolia

Procedia PDF Downloads 123

Authors: Yan Zhang, Jan Awrejcewicz, Lin Fu

Abstract:

High-heeled shoes force the foot into plantar flexion position resulting in foot arch rising and disturbance of the articular congruence between the talus and tibiofibular mortice, all of which may increase the challenge of balance maintenance. Plantar pressure distribution of the stance limb during the star excursion balance test (SEBT) contributes to the understanding of potential sources of reaching excursions in SEBT. The purpose of this study is to evaluate the dynamic posture control while wearing high-heeled shoes using SEBT in a combination of plantar pressure measurement. Twenty healthy young females were recruited. Shoes of three heel heights were used: flat (0.8 cm), low (4.0 cm), high (6.6 cm). The testing grid of SEBT consists of three lines extending out at 120° from each other, which were defined as anterior, posteromedial, and posterolateral directions. Participants were instructed to stand on their dominant limb with the heel in the middle of the testing grid and hands on hips and to reach the non-stance limb as far as possible towards each direction. The distal portion of the reaching limb lightly touched the ground without shifting weight. Then returned the reaching limb to the beginning position. The excursion distances were normalized to leg length. The insole plantar measurement system was used to record peak pressure, contact area, and pressure-time integral of the stance limb. Results showed that normalized excursion distance decreased significantly as heel height increased. The changes of plantar pressure in SEBT as heel height increased were more obvious in the medial forefoot (MF), medial midfoot (MM), rearfoot areas. At MF, the peak pressure and pressure-time integral of low and high shoes increased significantly compared with that of flat shoes, while the contact area decreased significantly as heel height increased. At MM, peak pressure, contact area, and pressure-time integral of high and low shoes were significantly lower than that of flat shoes. To reduce posture instability, the stance limb plantar loading shifted to medial forefoot. Knowledge of this study identified dynamic posture control deficits while wearing high-heeled shoes and the critical role of the medial forefoot in dynamic balance maintenance.

Keywords: dynamic posture control, high-heeled shoes, plantar pressure, star excursion balance test.

Procedia PDF Downloads 137

Authors: Chodidjah, Edi Dharmana, Hardhono, Sarjadi

Abstract:

Breast cancer treatment options including surgery, radiation therapy, chemotherapy, and immunotherapy have not been effective. Besides, they have side effects. Keladi Tikus (Typhonium flagelliforme) has been shown to improve immune system, suppress tumor growth and induce apoptosis. One of the parameters for immune system, tumor growth and apoptosis is IFNγ (Interferon γ), VEGF (Vascular Endothelial Growth Factor) and Caspase 3 respectively. The aim of this study was to examine the effect of the administration of Keladi Tikus tuber extract at the dose of 200 mg/kgBW, 400 mg/KgBW, and 800 mg/kgBW on the level of IFNγ, VEGF and caspase 3 expression. In this experimental study using post test randomized control group design, 24 CH3 mice with tumor were randomly divided into 4 groups including control group and treated groups: Treated with 0.2 cc extract of Keladi Tikus at the dose of 200 mg/kgBW, 400 mg/kgBW, 800 mg/kgBW, respectively for 30 days. On day 31 the lymphatic tissue was taken and evaluated for its level of IFNγ, using ELISA. The tumor tissue was taken and subjected to immunohistochemistry staining for VEGF and caspase 3 expression evaluation. The data on IFNγ, VEGF and Caspase 3 expression were analyzed using One Way Anova with significant level of 0.05. One Way Anova resulted in p<0.05. LSD test showed that the level of IFNγ and Caspase 3 for control group was different from that of treated groups. There was no significant different between the treated group of 400 mg/KgBW and 800mg/KgBW. VEGF expressions for all the treated groups were significant. In conclusion, the oral administration of ethanolic extract of Keladi Tikus (Typhonium flagelliforme) at the dose of 200mg/kgBW, 400 mg/kgBW,800 mg/kgBW increases IFNγ, Caspase 3 and decreases VEGF expression in C3H mice with adenocarsinoma mamma.

Keywords: Typhonium flagelliforme, IFNγ, caspase 3, VEGF

Procedia PDF Downloads 429

Authors: Mohana Babu Amberkar, Meena Kumari K, Ravi, Arjun, Christopher Rockson

Abstract:

The aim of this research is to evaluate the hepatoprotective activity of Terminalia paniculata (Tp) against ATT induced hepatic damage in rats.Three hepatotoxic ATT drugs Isoniazid + Rifampicin + Pyrazinamide, silymarin as standard hepatoprotective drug and 0.5% carboxymethylcellulose (CMC) as a control were used. Tp extract and silymarin were administered orally with ATT drugs for 90 days. Two doses 250 and 500 mg/kg of Tp extract, ATT drugs and silymarin were administered as suspensions with 0.5% CMC. ATT treated rats showed a significant increase in aspartate transaminase, alanine transaminase, alkaline phosphatase, lactate dehydrogenase, and lipid peroxides in the serum vs. control. Treatment of silymarin and Tp (250mg/kg) extract showed hepatoprotective activity against the hepatic damage by ATT. This was evident from significant reduction in serum liver enzymes levels, and also there was a significant increase in serum proteins, albumin and total liver tissue thiols as compared to the ATT treated groups. Tp was found to possess hepatoprotective property.

Keywords: antitubercular drugs, hepatoprotective, liver enzymes, Terminalia paniculata

Procedia PDF Downloads 451

Authors: Vibha Venkataramu, B. V. Venkatarama Reddy

Abstract:

Natural river sand is the most preferred choice as fine aggregate in masonry mortars. Uncontrolled mining of sand from riverbeds for several decades has had detrimental effects on the environment. Several countries across the world have put strict restrictions on sand mining from riverbeds. However, in countries like India, the huge infrastructural boom has made the local construction industry to look for alternative materials to sand. This study aims at understanding the suitability of granulated blast furnace slag (GBS) as fine aggregates in masonry mortars. Apart from characterising the material properties of GBS, such as particle size distribution, pH, chemical composition, etc., of GBS, tests were performed on the mortars with GBS as fine aggregate. Additionally, the properties of five brick tall, stack bonded masonry prisms with various types of GBS mortars were studied. The mortars with mix proportions 1: 0: 6 (cement: lime: fine aggregate), 1: 1: 6, and 1: 0: 3 were considered for the study. Fresh and hardened properties of mortar, such as flow and compressive strength, were studied. To understand the behaviour of GBS mortars on masonry, tests such as compressive strength and flexure bond strength were performed on masonry prisms made with a different type of GBS mortars. Furthermore, the elastic properties of masonry with GBS mortars were also studied under compression. For comparison purposes, the properties of corresponding control mortars with natural sand as fine aggregate and masonry prisms with sand mortars were also studied under similar testing conditions. From the study, it was observed the addition of GBS negatively influenced the flow of mortars and positively influenced the compressive strength. The GBS mortars showed 20 to 25 % higher compressive strength at 28 days of age, compared to corresponding control mortars. Furthermore, masonry made with GBS mortars showed nearly 10 % higher compressive strengths compared to control specimens. But, the impact of GBS on the flexural strength of masonry was marginal.

Keywords: building materials, fine aggregate, granulated blast furnace slag in mortars, masonry properties

Procedia PDF Downloads 124

Authors: Garadi Ahmed, Boubakar S. Bouazza

Abstract:

The Zero Cross-Correlation (C, w) code is a family of binary sequences of length C and constant Hamming-weight, the cross correlation between any two sequences equal zero. In this paper, we evaluate the performance of ZCC code based on Balanced Incomplete Block Design (BIBD) for Spectral Amplitude Coding Optical Code Division Multiple Access (SAC-OCDMA) system using direct detection. The BER obtained is better than 10-9 for five simultaneous users.

Keywords: spectral amplitude coding-optical code-division-multiple-access (SAC-OCDMA), phase induced intensity noise (PIIN), balanced incomplete block design (BIBD), zero cross-correlation (ZCC)

Procedia PDF Downloads 370

Authors: Wardatutthoyyibah, Satyawan Pudyatmoko, Sena Adi Subrata, Muhammad Ali Imron

Abstract:

The proboscis monkey is an endemic species to the island of Borneo with conservation status IUCN (The International Union for Conservation of Nature) of endangered. The population of the monkey has a specific habitat and sensitive to habitat disturbances. As a consequence of increasing rates of land-use change in the last four decades, its population was reported significantly decreased. We quantified the effect of land use change on the proboscis monkey’s habitat through the species distribution modeling (SDM) approach with Maxent Software. We collected presence data and environmental variables, i.e., land cover, topography, bioclimate, distance to the river, distance to the road, and distance to the anthropogenic disturbance to generate predictive distribution maps of the monkeys. We compared two prediction maps for 2000 and 2015 data to represent the current habitat of the monkey. We overlaid the monkey’s predictive distribution map with the existing protected areas to investigate whether the habitat of the monkey is protected under the protected areas networks. The results showed that almost 50% of the monkey’s habitat reduced as the effect of land use change. And only 9% of the current proboscis monkey’s habitat within protected areas. These results are important for the master plan of conservation of the endangered proboscis monkey and provide scientific guidance for the future development incorporating biodiversity issue.

Keywords: endemic species, land use change, maximum entropy, spatial distribution

Procedia PDF Downloads 162

Authors: Albandary Alamer, Noura Alaskar, Sana Bukhamseen, Jawaher Alkhamis, Enas Alghamdi, Almaha Almulhim, Hina Gull, Rachid Zagrouba, Madeeha Saqib

Abstract:

A good and healthy seed will always produce a nice fruit, whereas an infected seed will produce an infected fruit. The same concept applies to the children, and the healthier the environment in which the kids grow, the more likely they become valuable members of society. Kiddo project introduces us to a mobile application that focuses on enhancing the sense of responsibility from a young age and makes raising kids fun and easy. The application aims to enhance the communication between parents and their children and to enrich the good habits of the kid. Kiddo Application enables kids to share their accomplishments with their peers in an interactive environment full of enjoyment, followed by parental monitoring to handle what their kids are posting and friends following. Kiddo provides the kids' and parents’ society with a safe platform free of cyberbullying and inappropriate content with parents' fun engagement.

Keywords: kids social media, educational app, child-raising, parental control, cyberbullying, parent-child relationship, good habits

Procedia PDF Downloads 162

Authors: Arsalan Memon

Abstract:

There are many challenges that a caregiver faces in average everyday life. One such challenge is coping with the stress and negative emotions of caregiving. The Stoics (i.e. Lucius Annaeus Seneca [4 B.C.E. - 65 C.E.], Epictetus [50-135 C.E.], and Marcus Aurelius [121-180 C.E.]) have provided coping techniques that are useful for dealing with stress and negative emotions. This paper lists and explains some of the fundamental coping techniques provided by the Stoics. For instance, some Stoic coping techniques thus follow (the list is far from exhaustive): a) mindfulness: to the best of your ability, constantly being aware of your thoughts, habits, desires, norms, memories, likes/dislikes, beliefs, values, and of everything outside of you in the world (b) constantly adjusting one’s expectations in accordance with reality, c) memento mori: constantly reminding oneself that death is inevitable and that death is not to be seen as evil, and d) praemeditatio malorum: constantly detaching oneself from everything that is so dear to one so that the least amount of suffering follows from the loss, damage, or ceasing to be of such entities. All coping techniques will be extracted from the following original texts by the Stoics: Seneca’s Letters to Lucilius, Epictetus’ Discourses and the Encheiridion, and Marcus Aurelius’ Meditations. One major finding is that the usefulness of each Stoic coping technique can be empirically tested by anyone in the sense of applying it one’s own life especially when one is facing real-life challenges. Another major finding is that all of the Stoic coping techniques are predicated upon, and follow from, one fundamental principle: constantly differentiate what is and what is not in one’s control. After differentiating it, one should constantly habituate oneself in not controlling things that are beyond one’s control. For example, the following things are beyond one’s control (all things being equal): death, certain illnesses, being born in a particular socio-economic family, etc. The conclusion is that if one habituates oneself by practicing to the best of one’s ability both the fundamental Stoic principle and the Stoic coping techniques, then such a habitual practice can eventually decrease the stress and negative emotions that one experiences by being a caregiver.

Keywords: care-giving, coping techniques, negative emotions, stoicism, stress

Procedia PDF Downloads 147

Authors: Ibrahim Abdulla Labib, Medhat Mohamed Morsy, Gamal Hosny, Hanan Dawood Yassa, Gaber Hassan

Abstract:

Amiodarone is a very effective drug, widely used for arrhythmia. Unfortunately it has many side effects involving many organs especially thyroid gland. The current work was conducted to elucidate the effect of amiodarone on the thyroid gland and the possible protective role of vitamin E. Fifty adult male albino rats weighed 200 – 250 grams were divided into five groups; ten rats each. Group I (Control): Five rats were sacrificed after three weeks and five rats were sacrificed after six weeks. Group II (Sham control): Each rat received sunflower oil orally; the solvent of vitamin E for three weeks. Group III (Amiodarone-treated): each rat received an oral dose of amiodarone; 150 mg/kg/day for three weeks. Group IV (Recovery): Each rat received amiodarone as group III then the drug was stopped for three weeks to evaluate recovery. Group V (Amiodarone + Vitamin E-treated): Each rat received amiodarone as group III followed by 100 mg/kg/day vitamin E orally for three weeks. Thyroid gland of the sacrificed animals were dissected out and prepared for light and electron microscopic studies. Amiodarone administration resulted in loss of normal follicular architecture as many follicles appeared either shrunken, empty or contained scanty pale colloid. Some follicles appeared lined by more than one layer of cells while others showed interruption of their membrane. Masson's Trichrome stained sections showed increased collagen fibers in between the thyroid follicles. Ultrastructurally, the apical border of the follicular cells showed few irregular detached microvilli. The nuclei of the follicular cells were almost irregular with chromatin condensation. The cytoplasm of most follicular cells revealed numerous dilated rough endoplasmic reticulum with numerous lysosomes. After three weeks of stopping amiodarone, the follicles were nearly regular in outline. Some follicles were filled with homogenous eosinophilic colloid and others had shrunken pale colloid or were empty. Some few follicles showed exfoliated cells in their lumina and others were still lined by more than one layer of follicular cells. Moderate amounts of collagen fibers were observed in-between thyroid follicles. Ultrastructurally, many follicular cells had rounded euchromatic nucleui, moderate number of lysosomes and moderately dilated rough endoplasmic reticulum. However, few follicular cells still showing irregular nucleui, dilated rough endoplasmic reticulum and many cytoplasmic vacuoles. Administration of vitamin E with amiodarone for three weeks resulted in obvious structural improvement. Most of the follicles were lined by a single layer of cuboidal cells and the lumina were filled with homogenous eosinophilic colloid with very few vacuolations. The majority of follicular cells had rounded nuclei with occasional detection of ballooned cells and dark nuclei. Scanty collagen fibers were detected among thyroid follicles. Ultrastructurally, most follicular cells exhibited rounded euchromatic nuclei with few short microvilli were projecting into the colloid. Few lysosomes were also noticed. It was concluded that amiodarone administration leads to many adverse histological changes in the thyroid gland. Some of these changes are reversible during the recovery period however concomitant vitamin E administration with amiodarone has a major protective role in preventing many of these changes.

Keywords: amiodarone, recovery, ultrastructure, vitamin E.

Procedia PDF Downloads 352

Authors: Alan S. Weber

Abstract:

This contribution reviews the current biomedical and qualitative arts research on arts-in-health interventions to improve both individual and population health outcomes. Arts therapies–for example, music therapy with roots in Aristoxenus’s Ἁρμονικὰ στοιχεῖα and the Pythagorean sect–have long been employed in therapeutic contexts. However, the 20th century witnessed the increasing use of the visual and plastic arts (drawing, painting, sculpting), performing arts (drama and dance), and other expressive arts modalities into occupational therapy, well-being medicine, and psychological and psychiatric counselling, diagnosis, and treatment. A significant body of peer-reviewed evidence in the medical and neurological sciences on the role of arts-in-health has developed, and specifically, research on music and art therapy has led to their inclusion within the current biomedical paradigm of evidence-based practice. The arts cannot only aid in public and population health promotion (promoting healthy behaviors and lifestyles, preventing disease onset) but also in addressing psychological issues (regulation of emotion; stress, anxiety, and depression reduction), behavioural issues (basic life skills, coping), and physiological response (immune system function, hormonal regulation, homeostatis). Working as a cross-disciplinary researcher in the arts in an American medical college, the author has developed several successful arts-in-health programs at the national and international level.

Keywords: arts-in-health, evidence based medicine, arts for health, expressive arts therapies

Procedia PDF Downloads 73

Authors: Hossein Alimohammadi, Kristina Vassiljeva, Hassan HosseinNia, Eduard Petlenkov

Abstract:

This research article discusses the mechanisms for bandgap tuning of beam-type resonators to achieve ‎broadband vibration suppression through adjustable stiffness. The method involves changing the center of ‎mass of the cantilever-type resonator to achieve piezo-free tuning of stiffness. The study investigates the ‎effect of the center of masses variation (δ) of attached masses on the bandgap and vibration suppression ‎performance of a non-uniform beam-type resonator within a phononic structure. The results suggest that the ‎cantilever-type resonator beam can be used to achieve tunability and real-time control and indicate that ‎varying δ significantly impacts the bandgap and transmittance response. Additionally, the research explores ‎the use of the first and second modes of resonators for tunability and real-time control. These findings examine ‎the feasibility of this approach, demonstrate the potential for improving resonator performance, and provide ‎insights into the design and optimization of metamaterial beams for vibration suppression applications.

Keywords: bandgap, adjustable stiffness, spatial variation, tunability

Procedia PDF Downloads 92

Authors: Tetyana Baydyk, Ernst Kussul, Sandra Bonilla Meza

Abstract:

There are many articles that attempt to establish the role of different facial fragments in face recognition. Various approaches are used to estimate this role. Frequently, authors calculate the entropy corresponding to the fragment. This approach can only give approximate estimation. In this paper, we propose to use a more direct measure of the importance of different fragments for face recognition. We propose to select a recognition method and a face database and experimentally investigate the recognition rate using different fragments of faces. We present two such experiments in the paper. We selected the PCNC neural classifier as a method for face recognition and parts of the LFW (Labeled Faces in the Wild) face database as training and testing sets. The recognition rate of the best experiment is comparable with the recognition rate obtained using the whole face.

Keywords: face recognition, labeled faces in the wild (LFW) database, random local descriptor (RLD), random features

Procedia PDF Downloads 366

Authors: D. Geringswald, B. Hintze

Abstract:

The miniaturization of circuits is advancing. During chip manufacturing, structures are filled for example by metal organic chemical vapor deposition (MOCVD). Since this process reaches its limits in case of very high aspect ratios, the use of alternatives such as the atomic layer deposition (ALD) is possible, requiring the extension of existing coating systems. However, it is an unsolved question to what extent MOCVD can achieve results similar as an ALD process. In this context, this work addresses the characterization of a metal organic vapor deposition of titanium nitride. Based on the current state of the art, the film properties coating thickness, sheet resistance, resistivity, stress and chemical composition are considered. The used setting parameters are temperature, plasma gas ratio, plasma power, plasma treatment time, deposition time, deposition pressure, number of cycles and TDMAT flow. The derived process instructions for unstructured wafers and inside a structure with high aspect ratio include lowering the process temperature and increasing the number of cycles, the deposition and the plasma treatment time as well as the plasma gas ratio of hydrogen to nitrogen (H₂:N₂). In contrast to the current process configuration, the deposited titanium nitride (TiN) layer is more uniform inside the entire test structure. Consequently, this paper provides approaches to employ the MOCVD for structures with increasing aspect ratios.

Keywords: ALD, high aspect ratio, PE-MOCVD, TiN

Procedia PDF Downloads 309

Authors: Katarína Koňariková, Georgios A. Perdikaris, Lucia Andrezálová, Zdeňka Ďuračková, Lucia Laubertová, Helena Gbelcová, Ingrid Žitňanová

Abstract:

Introduction: The continuous demand for new anti-cancer drugs has stimulated chemotherapeutic research based on the use of essential metalloelements with the aim to develop potential drugs with lower toxicity and higher antiproliferative activity against tumors. Copper(II) and its complexes play an important role as suitable species for antiproliferative tests. Objectives: The central objective of the current study was to investigate the potential in vitro anti-proliferative effects of N-salicylidene-L-glutamato copper (II) complexes and molecular mechanism of apoptosis induced by tested complexes. In our project we tested N-salicylidene-L-glutamato copper (II) complexes ZK1 - [Cu(N-salicylidene-L-glutamato)(H2O)2].H2O; MK0 - ([Cu2(N-sal-D,L-glu)2(isoquinoline)2].2H2O); MK1 - [Cu(N-salicylidene-5-methyl-L-glutamato)(H2O)].H2O; MK3 - transbis(ethanol)tetrakis(imidazol)Cu(II)(2+)bis(N-salicylidene-D,L-glutamato-N,O)-KO:KO´-(imidazol); MK5 - [Cu(N-salicylidene-D,L- glutamato)(2-methylimidazol] at concentration range 0.001-100 µmol/L against human colon carcinoma cell line HT-29 and human breast carcinoma cell line MCF-7. Methods: Viability was assessed by direct counting of 0.4% trypan blue dye-excluding cells after 24, 48 and 72 hour cultivations with or without copper complex and by MTT assay. To analyze the type of cell death and its mechanism induced by our copper complex we used different methods. To distinguish apoptosis from necrosis we used electrophoretic analysis, to study the activity of caspases 8 and 9 – luminometric analysis and caspase activity 3 colorimetric assay. Results: The observed anti-proliferative effect of the copper complexes appeared to be dose-, time- and cell line- dependent. Human colon carcinoma cells HT-29 appeared to be more sensitive to the complex MK0 ([Cu2(N-sal-D,L-glu)2(isoquinoline)2].2H2O) than to ZK1 ([Cu(N-salicylidene-L-glutamato)(H2O)2].H2O) and MK1 ([Cu(N-salicylidene-5-methyl-L-glutamato)(H2O)].H2O)). Human colon carcinoma cells HT-29 appeared to be more sensitive to the complex than human breast carcinoma cells MCF-7. IC50 decreased with time of incubation (24, 48 and 72h) for HT-29, but increased for MCF-7. By electrophoresis we found apoptotic cell death induced by our copper complexes in HT-29 at concentrations 1, 10, 50 and 100 µmol/L after 48h (ZK1) and 72h (MK0, MK1) and in MCF-7 we did not find apoptosis. We also studied molecular mechanism of apoptosis in HT-29 induced by copper complexes. We found active caspase 9 in HT-29 after ZK1 ([Cu(N-salicylidene-L-glutamato)(H2O)2].H2O) and MK1 ([Cu(N-salicylidene-5-methyl-L-glutamato)(H2O)].H2O)) influence and active caspase 8 after MK0 ([Cu2(N-sal-D,L-glu)2(isoquinoline)2].2H2O) influence. Conclusion: Our copper complexes showed cytotoxic activities against human colon carcinoma cells HT-29 and breast cancer cell line MCF-7 in vitro. Apoptosis was activated by mitochondrial pathway (intrinsic pathway) in case of ZK1 [Cu(N-salicylidene-L-glutamato)(H2O)2].H2O; MK1 [Cu(N-salicylidene-5-methyl-L-glutamato)(H2O)].H2O; MK3 - transbis(ethanol)tetrakis(imidazol)Cu(II)(2+)bis(N-salicylidene-D,L-glutamato-N,O)-KO:KO´-(imidazol) and MK5 - [Cu(N-salicylidene-D,L- glutamato)(2-methylimidazol] copper complexes and by death receptors (extrinsic pathway) in case of MK0 [Cu2(N-sal-D,L-glu)2(isoquinoline)2].2H2O copper complex in HT-29.

Keywords: apoptosis, copper complex, cancer, carcinoma cell line

Procedia PDF Downloads 295

Authors: Pankaj Kumar Jha, Mahendra Singh Hada, Brijendra Singh, Sandeep Yadav

Abstract:

Protective relays are commonly connected to the secondary windings of instrument transformers, i.e., current transformers (CTs) and/or capacitive voltage transformers (CVTs). The purpose of CT and CVT is to provide galvanic isolation from high voltages and reduce primary currents and voltages to a nominal quantity recognized by the protective relays. Selecting the correct instrument transformers for an application is imperative: failing to do so may compromise the relay’s performance, as the output of the instrument transformer may no longer be an accurately scaled representation of the primary quantity. Having an accurately rated instrument transformer is of no use if these devices are not properly connected. The performance of the protective relay is reliant on its programmed settings and on the current and voltage inputs from the instrument transformers secondary. This paper will help in understanding the fundamental concepts of the connections of Instrument Transformers to the protection relays and the effect of incorrect connection on the performance of protective relays. Multiple case studies of protection system mal-operations due to incorrect connections of instrument transformers will be discussed in detail in this paper. Apart from the connection issue of instrument transformers to protective relays, this paper will also discuss the effect of multiple earthing of CTs and CVTs secondary on the performance of the protection system. Case studies presented in this paper will help the readers to analyse the problem through real-world challenges in complex power system networks. This paper will also help the protection engineer in better analysis of disturbance records. CT and CVT connection errors can lead to undesired operations of protection systems. However, many of these operations can be avoided by adhering to industry standards and implementing tried-and-true field testing and commissioning practices. Understanding the effect of missing neutral of CVT, multiple earthing of CVT secondary, and multiple grounding of CT star points on the performance of the protection system through real-world case studies will help the protection engineer in better commissioning the protection system and maintenance of the protection system.

Keywords: bus reactor, current transformer, capacitive voltage transformer, distance protection, differential protection, directional earth fault, disturbance report, instrument transformer, ICT, REF protection, shunt reactor, voltage selection relay, VT fuse failure

Procedia PDF Downloads 87

Authors: Valeriu Mihai But, Sorana Daniela Bolboacă, Adriana Elena Bulboacă

Abstract:

The nutraceutical compound Curcumin (Curcuma longa L.) is known for its anti-inflammatory, anti-cancer, and antioxidant effects. This study aimed to evaluate the antioxidative and analgesic effects of Curcumin (CC) compared to Tramadol (T) in chemical-induced nociceptive pain in rats. Thirty-five rats were randomly divided into five groups of seven rats each and were treated as follows: C group (control group): treated with saline solution 0.9%, (1 ml, i.p. administration), ethanoic acid (EA) group: pretreated with saline solution 0.9% - 30 min before EA nociceptive pain induction, (1 ml, i.p. administration), T group: pretreated with Tramadol, 10 mg/kg body weight (bw), i.p. administration - 30 min before EA nociceptive pain induction, CC1-group: pretreated with 1 mg/100g bw Curcumin i.p. administration - 2 days before EA pain induction and CC2-group: pretreated with Curcumin 2 mg/100g bw i.p. administration - 2 days before EA nociceptive pain induction. The following oxidative stress parameters were assessed: malondialdehyde (MDA), nitric oxide (NOx), total oxidative status (TOS), total antioxidative capacity (TAC), and thiol (Th). The antalgic activity was measured by the ethanoic acid writhing test. Treatment with Curcumin, both 1 mg/100g bw, and 2 mg/100g bw, showed significant differences as compared with the control group (p<0.001) regarding malondialdehyde (MDA), nitric oxide (NOx), and total oxidative status (TOS) oxidative biomarkers. Pretreatment with 2 mg/100g bw of Curcumin presented a significant decrease in MDA values compared with Tramadol (p<0.001). The TAC significantly increased in pretreatment with Curcumin compared with group control. (p<0.001) The nociceptive response to EA was significantly reduced in Curcumin and Tramadol groups. Treatment with Curcumin at a higher concentration was more effective. In an experimental pain model, this study demonstrates an important antioxidant and antinociceptive activity of Curcumin comparable with Tramadol treatment.

Keywords: curcumin, nociception, oxidative stress, pain

Procedia PDF Downloads 109

Authors: Syed Ibrahim, Syed Muneer Ahmed

Abstract:

It is a global phenomenon that fitness is a pre-requisite to the desired end of optimum efficiency in elite class basketballers achieved through appropriate conditioning program. This study was undertaken to find out the effect of gymnastic oriented training program on the physical fitness and the level of technical performance of basketball players. Method: 27 basketballers were divided into 12 experimental and 15 control groups aged between 19 to 25 years. Physical fitness tests comprising of vertical jump, push-ups, chin ups, sit ups, back strength, 30 m sprint, boomerangs test, 600 m run, sit and reach, bridge up and shoulder rotation and technical skill tests like dribbling, layup shots and rebound collection were used for the study. A pre- and post-test was conducted before and after the training program of 6 weeks. Results: The results indicated no significant difference in the anthropometric measurements of age, height and weight between the experimental and control group as the ‘t’ values observed were 0.28, 1.63 and 1.60 respectively . There were significant improvements in vertical jump, push-ups, sit-ups, modified boomerang test, bridge test and shoulder rotation index with the ‘t’ values being 2.60, 3.41, 3.91, 4.02, 3.55 and 2.33 respectively. However, no significant differences existed in chin-ups, back strength, 30 m sprint and 6000 m run with the ‘t’ values being 2.08, 1.77, 1.28 and 0.80 respectively. There was significant improvement in the post-test for the technical skills tests in the experimental group with ‘t’ values being 3.65, 2.57, and 3.62 for the dribble, layup shots and rebound collection respectively. There was no significant difference in the values of the control group except in the rebound collection which showed significant difference. Conclusion: It was found that both the physical fitness and skill proficiency of the basketballers increased through the participation in the gymnastics oriented program.

Keywords: gymnastic, technical, pre-requisite, elite class

Procedia PDF Downloads 405

Authors: M. F. Amado, A. Amado, F. Poggi, J. Correia de Freitas

Abstract:

Today it is widely understood that global energy consumption patterns are directly related to the ongoing urban expansion and development process. This expansion is based on the natural growth of human activities and has left most urban areas totally dependent on fossil fuel derived external energy inputs. This status-quo of production, transportation, storage and consumption of energy has become inefficient and is set to become even more so when the continuous increases in energy demand are factored in. The territorial management of land use and related activities is a central component in the search for more efficient models of energy use, models that can meet current and future regional, national and European goals. In this paper, a methodology is developed and discussed with the aim of improving energy efficiency at the municipal level. The development of this methodology is based on the monitoring of energy consumption and its use patterns resulting from the natural dynamism of human activities in the territory and can be utilized to assess sustainability at the local scale. A set of parameters and indicators are defined with the objective of constructing a systemic model based on the optimization, adaptation and innovation of the current energy framework and the associated energy consumption patterns. The use of the model will enable local governments to strike the necessary balance between human activities, economic development, and the local and global environment while safeguarding fairness in the energy sector.

Keywords: solar urban planning, solar smart city, urban development, energy efficiency

Procedia PDF Downloads 333

Authors: I. Muslih, A. Alkhalailah, A. Merdji

Abstract:

Photovoltaic efficiency is highly affected by dust accumulation; the dust particles prevent direct solar radiation from reaching the panel surface; therefore a reduction in output power will occur. A study of dust and soiling accumulation effect on the output power of PV panels was conducted for different periods of time from May to October in three countries of the MENA region, Jordan, Egypt, and Algeria, under local weather conditions. This study leads to build a more realistic equation to estimate the power reduction as a function of time. This logarithmic function shows the high reduction in power in the first days with 10% reduction in output power compared to the reference system, where it reaches a steady state value after 60 days to reach a maximum value of 30%.

Keywords: dust effect, MENA, solar energy, PV system

Procedia PDF Downloads 222

Authors: Eric Chappel, Dimitry Dumont-Fillon, Hugo Musard, Harald van Lintel

Abstract:

A microfluidic radial diffuser typically comprises a hole in a membrane, a small gap and pillar centred with the hole. The fluid is forced to flow radially in this gap between the membrane and the pillar. Such diffusers are notably used to form flow control valves, wherein several holes are machined into a flexible membrane progressively deflecting against pillars as the pressure increases. The fluidic modelling of such diffuser is made difficult by the presence of a transition region between the hole and the diffuser itself. An experimental investigation has been conducted using SOI wafers to form membranes with only one centred hole and Pyrex wafers for the substrate and pillars, both wafers being anodically bonded after alignment. A simple fluidic model accounting for the specific geometry of the diffuser is proposed and compared to experimental results. A good match is obtained, for Reynolds number in the range 0.5 to 35 using the analytical formula of a radial diffuser in the laminar regime with an effective inner radius that is 40% smaller than the real radius, in order to simulate correctly the flow constriction at the entrance of the diffuser.

Keywords: radial diffuser, flow control valve, numerical modelling, drug delivery

Procedia PDF Downloads 281

Authors: Michael Naderhirn, Marco Pavone

Abstract:

Problem statement, motivation, and aim of work: So far, the development of control algorithms was done by control engineers in a way that the controller would fit a specification by testing. When it comes to the certification of an autonomous car in highly complex scenarios, the challenge is much higher since such a controller must mathematically guarantee to implement the rules of the road while on the other side guarantee aspects like safety and real time executability. What if it becomes reality to solve this demanding problem by combining Formal Verification and System Theory? The aim of this work is to present a workflow to solve the above mentioned problem. Summary of the presented results / main outcomes: We show the usage of an English like language to transform the rules of the road into system specification for an autonomous car. The language based specifications are used to define system functions and interfaces. Based on that a formal model is developed which formally correctly models the specifications. On the other side, a mathematical model describing the systems dynamics is used to calculate the systems reachability set which is further used to determine the system input boundaries. Then a motion planning algorithm is applied inside the system boundaries to find an optimized trajectory in combination with the formal specification model while satisfying the specifications. The result is a control strategy which can be applied in real time independent of the scenario with a mathematical guarantee to satisfy a predefined specification. We demonstrate the applicability of the method in simulation driving scenarios and a potential certification. Originality, significance, and benefit: To the authors’ best knowledge, it is the first time that it is possible to show an automated workflow which combines a specification in an English like language and a mathematical model in a mathematical formal verified way to synthesizes a controller for potential real time applications like autonomous driving.

Keywords: formal system verification, reachability, real time controller, hybrid system

Procedia PDF Downloads 244