Search results for: renal functions

Authors: Reem Osama Yousif Ali, Osama Yousif Ali Al Gibali

Abstract:

Introduction: Balanced nutrition is undeniably essential for maintaining health, body functions, and integrity of cell metabolism; however, some sick patients cannot tolerate oral or enteral feeding to meet their nutritional needs, so partial or total parenteral nutrition (PN) may be the most suitable alternative route in such situations. Dietitians are fundamental personnel among the medical team to ensure the proper provision of PN service, which was introduced in Sudan in the 1980s. Objective: The study aimed to recognize the dietitians' awareness of parenteral nutrition and their role in providing this service in Sudan – Khartoum State. Methodology: Formulated questionnaire forms composed of twelve questions were distributed to the dietitians working in four tertiary level hospitals. Results: The majority (75%) of the responded dietitians had reasonable knowledge about the importance of PN, its advantages, and its indications. Sixty percent of them were mindful of the PN side effects. Most of the dietitians were aware of the different assessment measurements and PN calculations and were exposed in their clinical practice to patients who were in need of PN, but only a few of them (about 30%) had the actual chance to participate in the formulation and application of PN therapy. The unavailability of the multidisciplinary team, lack of the required equipment and financial support, and associated complications were basic obstacles to the provision of long-term PN service in Khartoum state hospitals. Conclusion: Although dietitians in Khartoum state hospitals have good information about PN definition, indications, accesses, and assessment measures, they do not have enough knowledge and clinical exposure that make them confident to provide the PN service. Establishing a few models of parenteral nutrition units in tertiary hospitals will be of great help, as well as providing the dietitian's training in the area of parenteral nutrition. Further study can explore more requirements to run this service.

Keywords: nutrition support, dietitian, Sudan, parenteral nutrition, nutrition support team

Procedia PDF Downloads 107

Authors: Bouchou Aïssa, Mohamed Akbi

Abstract:

Contact materials used for electrical breakers are often made with silver alloys. Mechanical and thermo dynamical properties as well as electron emission of such complicated alloys present a lack of reliable and accurate experimental data. This paper deals mainly with electron work function (EWF) measurements about silver-metal oxide (Ag-MeO) electrical contacts (Ag-ZnO (92/8), before and after surface heat treatments at 296 K  813 K, under UHV conditions (residual gas pressure of 1.4 x 10-7 mbar). The electron work function (EWF) of silver zinc oxide materials was measured photoelectrically, using both Fowler’s method of isothermal curves and linearized Fowler plots. In this paper, we present the development of a method for measuring photoelectric work function of contact materials. Also reported in this manuscript are the results of experimental work whose purpose has been the buildup of a reliable photoelectric system and associated monochromatic ultra-violet radiations source, and the photoelectric measurement of the electron work functions (EWF) of contact materials. In order to study the influence of annealing temperature on the EWF, a vacuum furnace was used for heating the metallic samples up to 800 K. The EWF of the silver – zinc oxide materials were investigated to study the influence of annealing temperature on the EWF. In the present study, the photoelectric measurements about Ag-ZnO(92/8) contacts have shown a linear decrease of the EWF with increasing temperature, i.e. the temperature coefficient is constant and negative: for the first annealing # 1, in the temperature range [299 K  823 K]. On the contrary, a linear increase was observed with increasing temperature (i.e. , being constant and positive), for the next annealing # 2, in the temperature range [296 K  813 K]. The EWFs obtained for silver-zinc oxide Ag-ZnO(92/8) show an obvious dependence on the annealing temperature which is strongly associated with the evolution of the arrangement on ZnO nano particles on the Ag-ZnO contact surface as well as surface charge distribution.

Keywords: Photoemission, Electron work function, Fowler methods, Ag-ZnO contact materials, Vacuum heat treatment

Procedia PDF Downloads 416

Authors: Synthia A. Sari

Abstract:

The transparent nomination and selection process is the first step to obtaining qualified members of board. It is believed as the representative (agent) of the owners, members of the board must consist of competent and professional people. However, the development of transparent and ideal nomination and selection process in Indonesian State-owned enterprises (SOEs) has been based on relatively little research. Considering the relative importance attached by boards to conduct their roles in their principal’s interest in a variety of governance tasks in state-owned enterprises, the primary aim of this paper is to shed light on the extent of nomination and selection process impact performance of the board in implementing good corporate governance in Indonesian SOEs. The exploratory nature of this study led to the adoption of a qualitative research methodology which uses semi-structured interviews and publically available documents to collect a range of data pertaining board nomination and selection and the work of boards. Interviews were conducted with four informants from three Indonesian SOEs and Ministry of SOEs. Findings in this study demonstrate unclear job description and expectations board members as a result of unclear functions of the board in Indonesian SOEs make transparent and accountable nomination and selection process hard to conduct. This situation is vulnerable to the influences from political interest and that even the process itself can degenerate into situations of political interference. In the end, it leads to choosing the wrong person for membership of the board. This study makes a significant contribution to several fields; the human resource management, corporate governance, and Southeast studies by addressing the basic research gaps of board selection process issues in Indonesian SOEs. The gap is addressed by providing a more coherent framework for effective nomination and selection system which reflects more clearly the real experiences of those actually involved at board level.

Keywords: board selection and nomination process, Indonesian stated-owned enterprises, good corporate governance, political influence

Procedia PDF Downloads 268

Authors: Lokanath Barik, Abinash Kumar Swain

Abstract:

This paper presents vibration analysis of FGM sandwich structure with a complex profile governed by refined higher-order shear deformation theory (RHSDT) using isogeometric analysis (IGA). Functionally graded sandwich plates provide a wide range of applications in aerospace, defence, and aircraft industries due to their ability to distribute material functions to influence the thermo-mechanical properties as desired. In practical applications, these structures generally have intrinsic profiles, and their response to loads is significantly affected due to cut-outs. IGA is primarily a NURBS-based technique that is effective in solving higher-order differential equations due to its inherent C1 continuity imposition in solution space for a single patch. Complex structures generally require multiple patches to accurately represent the geometry, and hence, there is a loss of continuity at adjoining patch junctions. Therefore, patch coupling is desired to maintain continuity requirements throughout the domain. In this work, a novel strong coupling approach is provided that generates a well-defined NURBS-based model while achieving continuity. The methodology is validated by free vibration analysis of sandwich plates with present literature. The results are in good agreement with the analytical solution for different plate configurations and power law indexes. Numerical examples of rectangular and annular plates are discussed with variable boundary conditions. Additionally, parametric studies are provided by varying the aspect ratio, porosity ratio and their influence on the natural frequency of the plate.

Keywords: vibration analysis, FGM sandwich structure, multipatch geometry, patch coupling, IGA

Procedia PDF Downloads 84

Authors: Sima Parvizi Omran, Rezvan Tavakoli, Mahnaz Safari, Mohammadreza Aghasadeghi, Abolfazl Fateh, Pooneh Rahimi

Abstract:

Background: SARS-CoV-2, a single-stranded RNA betacoronavirus causes the global outbreak of coronavirus disease 2019 (COVID-19). Several clinical and scientific concerns are raised by this pandemic. Genetic factors can contribute to pathogenesis and disease susceptibility. There are single nucleotide polymorphisms (SNPs) in many of the genes in the immune system that affect the expression of specific genes or functions of some proteins related to immune responses against viral infections. In this study, we analyzed the impact of polymorphism in the interferon alpha and beta receptor subunit 2 (IFNAR2) and dipeptidyl peptidase 9 (Dpp9) genes and clinical parameters on the susceptibility and resistance to Coronavirus disease (COVID-19). Methods: A total of 330- SARS-CoV-2 positive patients (188 survivors and 142 nonsurvivors) were included in this study. All single-nucleotide polymorphisms (SNPs) on IFNAR2 (rs2236757) and Dpp9 (rs2109069) were genotyped by the polymerase chain reaction-restriction fragment length polymorphism (PCR-RFLP) method. Results: In survivor patients, the frequency of the favourable genotypes of IFNAR2 SNP (rs2236757 GC) was significantly higher than in nonsurvivor patients, and also Dpp9 (rs2109069 AT) genotypes were associated with the severity of COVID-19 infection. Conclusions: This study demonstrated that the severity of COVID- 19 patients was strongly associated with clinical parameters and unfavourable IFNAR2, Dpp9 SNP genotypes. In order to establish the relationship between host genetic factors and the severity of COVID-19 infection, further studies are needed in multiple parts of the world.

Keywords: SARS-CoV-2, COVID-19, interferon alpha and beta receptor subunit 2, dipeptidyl peptidase 9, single-nucleotide polymorphisms

Procedia PDF Downloads 164

Authors: Abderrahim Elmoataz

Abstract:

More and more contemporary applications involve data in the form of functions defined on irregular and topologically complicated domains (images, meshs, points clouds, networks, etc). Such data are not organized as familiar digital signals and images sampled on regular lattices. However, they can be conveniently represented as graphs where each vertex represents measured data and each edge represents a relationship (connectivity or certain affinities or interaction) between two vertices. Processing and analyzing these types of data is a major challenge for both image and machine learning communities. Hence, it is very important to transfer to graphs and networks many of the mathematical tools which were initially developed on usual Euclidean spaces and proven to be efficient for many inverse problems and applications dealing with usual image and signal domains. Historically, the main tools for the study of graphs or networks come from combinatorial and graph theory. In recent years there has been an increasing interest in the investigation of one of the major mathematical tools for signal and image analysis, which are Partial Differential Equations (PDEs) variational methods on graphs. The normalized p-laplacian operator has been recently introduced to model a stochastic game called tug-of-war-game with noise. Part interest of this class of operators arises from the fact that it includes, as particular case, the infinity Laplacian, the mean curvature operator and the traditionnal Laplacian operators which was extensiveley used to models and to solve problems in image processing. The purpose of this paper is to introduce and to study a new class of normalized p-Laplacian on graphs. The introduction is based on the extension of p-harmonious function introduced in as discrete approximation for both infinity Laplacian and p-Laplacian equations. Finally, we propose to use these operators as a framework for solving many inverse problems in image processing.

Keywords: normalized p-laplacian, image processing, stochastic game, inverse problems

Procedia PDF Downloads 513

Authors: Ogar Ofut Tumenayu, Olga Shabalina

Abstract:

This paper describes the application of two types of pedagogical agents’ technology with different functions in an adaptive educational game with the sole aim of improving learning and enhancing interactivities in Digital Educational Games (DEG). This idea could promote the elimination of some problems of DEG, like isolation in game-based learning, by introducing a tutor and tutee pedagogical agents. We present an analysis of a learning companion interacting in a peer tutoring environment as a step toward improving social interactions in the educational game environment. We show that tutor and tutee agents use different interventions and interactive approaches: the tutor agent is engaged in tracking the learner’s activities and inferring the learning state, while the tutee agent initiates interactions with the learner at the appropriate times and in appropriate manners. In order to provide motivation to prevent mistakes and clarity a game task, the tutor agent uses the help dialog tool to provide assistance, while the tutee agent provides collaboration assistance by using the hind tool. We presented our idea on a prototype game called “Pyramid Programming Game,” a 2D game that was developed using Libgdx. The game's Pyramid component symbolizes a programming task that is presented to the player in the form of a puzzle. During gameplay, the Agents can instruct, direct, inspire, and communicate emotions. They can also rapidly alter the instructional pattern in response to the learner's performance and knowledge. The pyramid must be effectively destroyed in order to win the game. The game also teaches and illustrates the advantages of utilizing educational agents such as TrA and TeA to assist and motivate students. Our findings support the idea that the functionality of a pedagogical agent should be dualized into an instructional and learner’s companion agent in order to enhance interactivity in a game-based environment.

Keywords: tutor agent, tutee agent, learner’s companion interaction, agent collaboration

Procedia PDF Downloads 68

Authors: Homa Hedayat

Abstract:

Public spaces have been a central concern of urban planners for centuries but have been neglected for a long time. In the modernist planning, the focus has been on the requirements of cars rather than the needs and expectations of pedestrians, and therefore, cities have lost many qualities. Urban public space is a space within the city area which is accessible to all people and is the ground for their activity. People’s public life occurs in urban public spaces in a complex set of forms and functions. These spaces must facilitate diverse behavior, uses, and activities such as shopping, walking, conversation, entertainment, relaxation or even passing the time during festivities and events. One of the public spaces is the surrounding space of public transportation stations. Subway stations, although potentially encompass many different groups of people accommodate few social interactions. Making the surrounding areas of subway stations pedestrian-oriented, potentially increases the socialization capacity. The Sadeghieh Subway Station can be considered as the most important subway station in Tehran, which on the one hand is the rail port of Tehran's western entrance, and on the other is the port for railway journeys inside the city. The main concern of this study is to assess the success or failure of the interventions made by the municipality for changing the surrounding area of the Sadeghieh Subway Station into a pedestrian-oriented space and examine the amount of the area's improvement into a desirable space. The method used in this study is surveying, in which the data were collected using a questionnaire and interview. The study's population is all people who use Sadeghieh Subway, and the sample size for the study was 140 subjects. Using parametric one-sample t-test, we found improvement in factors such as transportation, security, pedestrian infrastructure, vitality and climate comfort. However, there was no improvement in mix use, recreational activity, readability.

Keywords: public space, public transportation stations, pedestrian-oriented space, socialization

Procedia PDF Downloads 210

Authors: Yongjiang Zhang, Kallol Barai, Umesh R. Hodeghatta, Trang Tran, Vikas Dhiman

Abstract:

Detecting water stress on crops early and accurately is crucial to minimize its impact. This study aims to measure water stress in wild blueberry crops non-destructively by analyzing proximal hyperspectral data. The data collection took place in the summer growing season of 2022. A drought experiment was conducted on wild blueberries in the randomized block design in the greenhouse, incorporating various genotypes and irrigation treatments. Hyperspectral data ( spectral range: 400-1000 nm) using a handheld spectroradiometer and leaf water potential data using a pressure chamber were collected from wild blueberry plants. Machine learning techniques, including multiple regression analysis and random forest models, were employed to predict leaf water potential (MPa). We explored the optimal wavelength bands for simple differences (RY1-R Y2), simple ratios (RY1/RY2), and normalized differences (|RY1-R Y2|/ (RY1-R Y2)). NDWI ((R857 - R1241)/(R857 + R1241)), SD (R2188 – R2245), and SR (R1752 / R1756) emerged as top predictors for predicting leaf water potential, significantly contributing to the highest model performance. The base learner models achieved an R-squared value of approximately 0.81, indicating their capacity to explain 81% of the variance. Research is underway to develop a neural vegetation index (NVI) that automates the process of index development by searching for specific wavelengths in the space ratio of linear functions of reflectance. The NVI framework could work across species and predict different physiological parameters.

Keywords: hyperspectral reflectance, water potential, spectral indices, machine learning, wild blueberries, optimal bands

Procedia PDF Downloads 67

Authors: Hamidreza Khodaei, Behnaz Mahdavi, Leila Karshenas

Abstract:

Nitric oxide (NO) is a small fast acting neurotransmitter, which is synthesized From L-arginine by nitric oxide synthase. Studies show that NO affects a wide range of reproductive functions. Steroidal hormones synthesis, LH surge during ovulation, follicular growth and ovulation are all affected by NO. Therefore, the objective of this study was to evaluate the relationship between NO and estradiol (E2) production in ovarian follicles and cysts in bovines. Two experiment groups were formed and serum and follicular fluid levels Of NO and estradiol (E2) was measured. In the first group, follicular fluids were obtained from 30 slaughtered cows. Follicles were divided into three groups according to follicular diameter: Small follicles, <5 mm, medium-sized follicles, 5 to 10 mm, and large follicles, >10 mm. 30 follicles were randomly selected within each group. Blood samples were obtained via jugular vein. NO concentrations in blood and ovarian follicular fluids were measured by Griess reaction method and radio-immunoassay respectively. In the second group: 12 cows in follicular phase and with cystic follicles were selected and a cystic follicle was obtained from each. NO and E2 levels were measured as done for the first experiment group. The data were analyzed by SAS software using ANOVA and Duncan’s test. NO concentrations of follicular fluids from large follicles were significantly higher than those of the medium and small-sized ones. There were significant differences in the concentrations of nitrite and nitrate (Stable metabolites of NO) between large and cystic follicles, with extremely low NO and high E2 levels in cystic follicles (p<0.01).The results suggest that paracrine effects of NO may play an important role in the control of ovarian follicle growth and development of cystic follicles in bovines. It seems that NO dictates its effects through inhibition of ovarian steroidal synthesis.

Keywords: nitric oxide, estradiol, cystic follicle, cow, oogenesis, oocyte maturation, follicular fluid

Procedia PDF Downloads 234

Authors: Gertrude I. Hewapathirana, Loi A. Nguyen, Mohammed M. Mostafa

Abstract:

Artificial intelligence (AI) technologies and tools are swiftly integrating into many functions of all organizations as a competitive drive to enhance innovations, productivity, efficiency, faster and precise decision making to keep up with rapid changes in the global business arena. Despite increasing research on AI technologies in production, manufacturing, and information management, AI in human resource disciplines is still lagging. Though a few research studies on HR informatics, recruitment, and HRM in general, how to integrate AI in other HR functional disciplines (e.g., compensation, training, mentoring and coaching, employee motivation) is rarely researched. Many inconsistencies of research hinder developing up-to-date knowledge on AI in HR disciplines. Therefore, exploring eight research questions, using bibliometric network analysis combined with a meta-analysis of published research literature. The authors attempt to generate knowledge on the role of AI in improving the efficiency of HR functional disciplines. To advance the knowledge for the benefit of researchers, academics, policymakers, and practitioners, the study highlights the types of AI innovations and outcomes, trends, gaps, themes and topics, fast-moving disciplines, key players, and future directions.AI in HR informatics in high tech firms is the dominant theme in many research publications. While there is increasing attention from researchers and practitioners, there are many gaps between the promise, potential, and real AI applications in HR disciplines. A higher knowledge gap raised many unanswered questions regarding legal, ethical, and morale aspects of AI in HR disciplines as well as the potential contributions of AI in HR disciplines that may guide future research directions. Though the study provides the most current knowledge, it is limited to peer-reviewed empirical, theoretical, and conceptual research publications stored in the WoS database. The implications for theory, practice, and future research are discussed.

Keywords: artificial intelligence, human resources, bibliometric analysis, research directions

Procedia PDF Downloads 98

Authors: Laxmi R. Kasaraneni

Abstract:

The Internet connects all the networks, including the nation’s critical infrastructure that are used extensively by not only a nation’s government and military to protect sensitive information and execute missions, but also the primary infrastructure that provides services that enable modern conveniences such as education, potable water, electricity, natural gas, and financial transactions. It has become the central nervous system for the government, the citizens, and the industries. When it is attacked, the effects can ripple far and wide impacts not only to citizens’ well-being but nation’s economy, civil infrastructure, and national security. As such, these critical services may be targeted by malicious hackers during cyber warfare, it is imperative to not only protect them and mitigate any immediate or potential threats, but to also understand the current or potential impacts beyond the IT networks or the organization. The Nation’s IT infrastructure which is now vital for communication, commerce, and control of our physical infrastructure, is highly vulnerable to attack. While existing technologies can address some vulnerabilities, fundamentally new architectures and technologies are needed to address the larger structural insecurities of an infrastructure developed in a more trusting time when mass cyber attacks were not foreseen. This research is intended to improve the core functions of the Internet and critical-sector information systems by providing a clear path to create a safe, secure, and resilient cyber environment that help stakeholders at all levels of government, and the private sector work together to develop the cybersecurity capabilities that are key to our economy, national security, and public health and safety. This research paper also emphasizes the present and future cyber security threats, the capabilities and goals of cyber attackers, a strategic concept and steps to implement cybersecurity for maximum effectiveness, enabling technologies, some strategic assumptions and critical challenges, and the future of cyberspace.

Keywords: critical challenges, critical infrastructure, cyber security, enabling technologies, national security

Procedia PDF Downloads 297

Authors: Sarah Ullrich, Juliane Rolle, Christian Beste, Nicole Wolff

Abstract:

Inhibition and cognitive flexibility are essential parts of executive functions in our daily lives, as they enable the avoidance of unwanted responses or selectively switch between mental processes to generate appropriate behavior. There is growing interest in improving inhibition and response selection through brief mindfulness-based meditations. Arguably, open-monitoring meditation (OMM) improves inhibitory and flexibility performance by optimizing cognitive control and information processing. Yet, the underlying neurophysiological processes have been poorly studied. Using the Simon-Go/Nogo paradigm, the present work examined the effect of a single 15-minute smartphone app-based OMM on inhibitory performance and response selection in meditation novices. We used both behavioral and neurophysiological measures (event-related potentials, ERPs) to investigate which subprocesses of response selection and inhibition are altered after OMM. The study was conducted in a randomized crossover design with N = 32 healthy adults. We thereby investigated Go and Nogo trials in the paradigm. The results show that as little as 15 minutes of OMM can improve response selection and inhibition at behavioral and neurophysiological levels. More specifically, OMM reduces the rate of false alarms, especially during Nogo trials regardless of congruency. It appears that OMM optimizes conflict processing and response inhibition compared to no meditation, also reflected in the ERP N2 and P3 time windows. The results may be explained by the meta control model, which argues in terms of a specific processing mode with increased flexibility and inclusive decision-making under OMM. Importantly, however, the effects of OMM were only evident when there was the prior experience with the task. It is likely that OMM provides more cognitive resources, as the amplitudes of these EKPs decreased. OMM novices seem to induce finer adjustments during conflict processing after familiarization with the task.

Keywords: EEG, inhibition, meditation, Simon Nogo

Procedia PDF Downloads 211

Authors: Y. Melis, E. Apicella, E. Dozio, L. Mendolicchio

Abstract:

Introduction: Feeding and Eating Disorders (FED) represent the psychiatric pathology with the highest mortality rate and one of the major disorders with the highest psychiatric and clinical comorbidity. The vagus nerve represents one of the main components of the sympathetic and parasympathetic nervous system and is involved in important neurophysiological functions. In FED, there is a spectrum of symptoms which with TaVNS (Transcutaneous Auricular Vagus Nerve Stimulation) therapy, is possible to have a therapeutic efficacy. Materials and Methods: Sample subjects are composed of 15 female subjects aged > 18 ± 51. Admitted to a psychiatry community having been diagnosed according to DSM-5: anorexia nervosa (AN) (N= 9), bulimia nervosa (BN) (N= 5), binge eating disorder (BED) (N= 1). The protocol included 9 weeks of Ta-VNS stimulation at a frequency of 1.5-3.5 mA for 4 hours per day. The variables detected are the following: Heart Rate Variability (HRV), Hamilton Depression Rating Scale (HAMD-HDRS-17), Body Mass Index (BMI), Beck Anxiety Index (BAI). Results: Data analysis showed statistically significant differences between recording times (p > 0.05) in HAM-D (t0 = 18.28 ± 5.31; t4 = 9.14 ± 7.15), in BAI (t0 = 24.7 ± 10.99; t4 = 13.8 ± 7.0). The reported values show how during (T0-T4) the treatment there is a decay of the degree in the depressive state, in the state of anxiety, and an improvement in the value of BMI. In particular, the BMI in the AN-BN sub-sample had a minimum gain of 5% and a maximum of 11%. The analysis of HRV did not show a clear change among subjects, thus confirming the discordance of the activity of the sympathetic and parasympathetic nervous system in FED. Conclusions: Although the sample does not possess a relevant value to determine long-term efficacy of Ta-VNS or on a larger population, this study reports how the application of neuro-stimulation in FED may become a further approach therapeutic. Indeed, substantial improvements are highlighted in the results and confirmed hypotheses proposed by the study.

Keywords: feeding and eating disorders, neurostimulation, anxiety disorders, depression

Procedia PDF Downloads 145

Authors: Paul Lam, Kevin Wong, Chi Him Chan

Abstract:

Constant practicing and accurate, immediate feedback are the keys to improving students’ speaking skills. However, traditional oral examination often fails to provide such opportunities to students. The traditional, face-to-face oral assessment is often time consuming – attending the oral needs of one student often leads to the negligence of others. Hence, teachers can only provide limited opportunities and feedback to students. Moreover, students’ incentive to practice is also reduced by their anxiety and shyness in speaking the new language. A mobile app was developed to use artificial intelligence (AI) to provide immediate feedback to students’ speaking performance as an attempt to solve the above-mentioned problems. Firstly, it was thought that online exercises would greatly increase the learning opportunities of students as they can now practice more without the needs of teachers’ presence. Secondly, the automatic feedback provided by the AI would enhance students’ motivation to practice as there is an instant evaluation of their performance. Lastly, students should feel less anxious and shy compared to directly practicing oral in front of teachers. Technically, the program made use of speech-to-text functions to generate feedback to students. To be specific, the software analyzes students’ oral input through certain speech-to-text AI engine and then cleans up the results further to the point that can be compared with the targeted text. The mobile app has invited English teachers for the pilot use and asked for their feedback. Preliminary trials indicated that the approach has limitations. Many of the users’ pronunciation were automatically corrected by the speech recognition function as wise guessing is already integrated into many of such systems. Nevertheless, teachers have confidence that the app can be further improved for accuracy. It has the potential to significantly improve oral drilling by giving students more chances to practice. Moreover, they believe that the success of this mobile app confirms the potential to extend the AI-assisted assessment to other language skills, such as writing, reading, and listening.

Keywords: artificial Intelligence, mobile learning, oral assessment, oral practice, speech-to-text function

Procedia PDF Downloads 104

Authors: Maaike Maria Augustina Hommes

Abstract:

This paper reviews the emergence of the recently approved lust enhancing pill for women (sold under the brand name of Addyi) and its status as ‘medicine’ from a cultural studies perspective to understand the way in which the usage of the pill can be seen as a medicalization of sexual desire. It asks where this medicalization can be localized to understand the current placement of and notions on female sexuality. Via a close reading of a woman’s narration of her usage of the pill that appeared in Shape Magazine, this paper critically reviews the pill’s relation to the concept of ‘cure’ and assesses the way this Pink Pill functions as a cure to the DSM-IV based disorder called Hypoactive Sexual Desire Disorder. As such it finds that in the diagnosis with HSDD meant a huge relief. Now this woman was not just ‘bad at life and bad at marriage’ but ‘just had this health issue’. In order to get to an understanding of the different structures that conjoin in this expression of relief this paper reviews the emergence of the sexual desire disorder within psychology and the way that the loss of desire becomes localized in the brain. This localization will be related to two ways of looking at the human body; the medical gaze as described by Michel Foucault, and the neuromolecular gaze, as introduced by Nikolas Rose and Joelle M.Abi-Rached. Both these penetrating gazes bring about a certain reductionism in which the human body is either viewed as an objectified ‘sick body’ or as a set of chemical reactions. By referring to these modes of looking as reductionist one assumes that something is lost, or forgotten in the act of reducing. It is both what is gained in the formulation of the disorder, as what is lost in reduction of the disorder in medical knowledge that is at the central inquiry of this paper. As such, this paper brings forward the way in which medicine and cultural narrative are deeply intertwined. It is this way in which different forces of subject formation come together that is addressed via an interdisciplinary and object-centered focus on the pink pill.

Keywords: disorder and cure, female sexual desire, medical gaze, neuromolecular gaze

Procedia PDF Downloads 275

Authors: Wen-Chyan Tsai, Syed S. H. Rizvi

Abstract:

Organic solvent residues are always associated with liposomes produced by the traditional techniques like the thin film hydration and reverse phase evaporation methods, which limit the applications of these vesicles in the pharmaceutical, food and cosmetic industries. Our objective was to develop a novel and benign process of liposomal microencapsulation by using supercritical carbon dioxide (SC-CO2) as the sole phospholipid-dissolving medium and a green substitute for organic solvents. This process consists of supercritical fluid extraction followed by rapid expansion via a nozzle and automatic cargo suction. Lecithin and cholesterol mixed in 10:1 mass ratio were dissolved in SC-CO2 at 20 ± 0.5 MPa and 60 oC. After at least two hours of equilibrium, the lecithin/cholesterol-laden SC-CO2 was passed through a 1000-micron nozzle and immediately mixed with the cargo solution to form liposomes. Liposomal micro-encapsulation was conducted at three pressures (8.27, 12.41, 16.55 MPa), three temperatures (75, 83 and 90 oC) and two flow rates (0.25 ml/sec and 0.5 ml/sec). Liposome size, zeta potential and encapsulation efficiency were characterized as functions of the operating parameters. The average liposomal size varied from 400-500 nm to 1000-1200 nm when the pressure was increased from 8.27 to 16.55 MPa. At 12.41 MPa, 90 oC and 0.25 ml per second of 0.2 M glucose cargo loading rate, the highest encapsulation efficiency of 31.65 % was achieved. Under a confocal laser scanning microscope, large unilamellar vesicles and multivesicular vesicles were observed to make up a majority of the liposomal emulsion. This new approach is a rapid and continuous process for bulk production of liposomes using a green solvent. Based on the results to date, it is feasible to apply this technique to encapsulate hydrophilic compounds inside the aqueous core as well as lipophilic compounds in the phospholipid bilayers of the liposomes for controlled release, solubility improvement and targeted therapy of bioactive compounds.

Keywords: liposome, micro encapsulation, supercritical carbon dioxide, non-toxic process

Procedia PDF Downloads 431

Authors: Li Pan

Abstract:

The recently prevalent government procurement of public services in China boasts a new form of government’s provision of public service through the purchasing of social work from social organizations, a new measure of the transformation in governmental functions as well as an unprecedented opportunity for the development of social organizations. For the past few years, the phenomenon of a surge in the number of social work organizations and social work staff emerged right with the initiatives of energetically carrying out the purchase of public services by the government. Such efforts have presented the strong determination of the Chinese government in building a small government by streamlining administration and delegating part of the governmental power to social organizations. This paper is based on the 2012-2014 performance appraisal project of the Guangzhou municipal government’s purchasing of public services and the project was carried out in the summer of 2015. During the process of the appraisal, several general problems hindering the sustainable development of government purchasing of public service have been observed. As Guangzhou is among the rank of pioneer cities in the conduct of the reform, it is representative and imperative to study the sustainability of government purchasing of public service. In 2012, Guangzhou local government started contracting out public service to the community social organizations to provide general family services and special services to community residents, since when integrated family service centers and special service centers were established as platforms to provide public social service in a city-wide range. Consequently, taking an example of the current rapid development of government purchase of the integrated family services and special services in Guangzhou, this paper puts up several proposals for the sustainable development of Guangzhou municipal government’s procurement of public services on the perspective of social work’s resource dependence.

Keywords: government procurement of public services, Guangzhou, integrated family service center, social work, sustainability.

Procedia PDF Downloads 271

Authors: Azar Heidarizadi, Mahdieh Salimi, Hossein Mozdarani

Abstract:

Introduction: As a complex disease, breast cancer results from several genetic and epigenetic changes. Lactoferrin, a member of the transferrin family, is reported to have a number of biological functions, including DNA synthesis, immune responses, iron transport, etc., any of which could play a role in tumor progression. The aim of this study was to investigate the bioinformatics data and experimental assay to find the pattern of promoter methylation and gene expression of LTF in breast cancer in order to study its potential role in cancer management. Material and Methods: In order to evaluate the methylation status of the LTF promoter, we studied the MS-PCR and Real-Time PCR on samples from patients with breast cancer and normal cases. 67 patient samples were conducted for this study, including tumoral, plasma, and normal tissue adjacent samples, as well as 30 plasma from normal cases and 10 tissue breast reduction cases. Subsequently, bioinformatics analyses such as cBioPortal databases, string, and genomatix were conducted to disclose the prognostic value of LTF in breast cancer progression. Results: The analysis of LTF expression showed an inverse relationship between the expression level of LTF and the stages of tissues of breast cancer patients (p<0.01). In fact, stages 1 and 2 had a high expression in LTF, while, in stages 3 and 4, a significant reduction was observable (p < 0.0001). LTF expression frequently alters with a decrease in the expression in ER⁺, PR⁺, and HER2⁺ patients (P < 0.01) and an increase in the expression in the TNBC, LN¯, ER¯, and PR- patients (P < 0.001). Also, LTF expression is significantly associated with metastasis and lymph node involvement factors (P < 0.0001). The sensitivity and specificity of LTF were detected, respectively. A negative correlation was detected between the results of level expression and methylation of the LTF promoter. Conclusions: The altered expression of LTF observed in breast cancer patients could be considered as a promotion in cell proliferation and metastasis even in the early stages of cancer.

Keywords: LTF, expression, methylation, breast cancer

Procedia PDF Downloads 71

Authors: Anierudh Vishwanathan

Abstract:

This paper suggests a new design of the crankshaft system that would help to use a low revving engine for applications requiring the use of a high revving engine operating at the same power by converting the extra or unnecessary torque obtained from a low revving engine into angular velocity of the crankshaft of the engine hence, improve the fuel economy of the vehicle because of the fact that low revving engines run more effectively on lean air fuel mixtures accompanied with less wear and tear of the engine due to lesser rubbing of the piston rings with the cylinder walls. If the crankshaft with the proposed design is used in a low revving engine, then it will give the same torque and speed as that given by a high revving engine operating at the same power but the new engine will give better fuel economy. Hence the new engine will give the benefits of a low revving engine as well as a high revving engine. The proposed crankshaft design will be achieved by changing the design of the crankweb in such a way that it functions both as a counterweight as well as a helical gear that can transfer power to the secondary gear shaft which will be incorporated in the crankshaft system. The crankshaft and the secondary gear shaft will be operating at an overdrive ratio. The crankshaft will now be a two shaft system instead of a single shaft system. The newly designed crankshaft will be mounted on the bearings instead of being connected to the flywheel of the engine. This newly designed crankshaft will transmit power to the secondary shaft which will rotate the flywheel and then the rotary motion will be transmitted to the transmission system as usual. In this design, the concept of power transmission will be incorporated in the crankshaft system. In the paper, the crankshaft and the secondary shafts have been designed in such a way that at any instant of time only half the number of crankwebs will be meshed with the secondary shaft. For example, during one revolution of the crankshaft, if for the first half of revolution; first, second, seventh and eighth crankwebs are meshing with the secondary shaft then for the next half revolution, third, fourth, fifth and sixth crankwebs will mesh with the secondary shaft. This paper also analyses the proposed crankshaft design for safety against fatigue failure. Finite element analysis of the crankshaft has been done and the resultant stresses have been calculated.

Keywords: low revving, high revving, secondary shaft, partial meshing

Procedia PDF Downloads 269

Authors: Goodarzvand Fatemeh, Soori Rahman, Effatpanah Mohammad, Ajbarnejad Ali

Abstract:

Attention deficit hyperactivity disorder (ADHD) is characterized by a pervasive pattern of developmentally inappropriate inattentive, impulsive and hyperactive behaviors that typically begin during the preschool ages and often persist into adulthood. This disorder is related to autism and schizophrenia and other psychological disorders and clinical conditions such as insulin resistance and they may operate through common pathways, and treatments used exclusively for one of these conditions may prove beneficial for the others. While ADHD is not fully understood as developmental disorder with an etiopathogeny, but studies show that core symptom of disorder was associated with and increased by the interleukins IL-13, where relation of IL-13 with inattention was notable. Regular exercise improves functions associated with attention deficit hyperactivity disorder (ADHD). However, the impact of exercise on cytokines associated with the disease activity remains relatively unexplored. The aim of this study was to examine the effects of 6 weeks high intensity by intervals training (HIIT) on IL-13 levels and insulin resistance in boys with ADHD. Twenty eight boys with ADHD disease in a range of 12-18 year of old participated in this study as the subject. Subjects were divided into control group (n=10) and training group (n=18) randomly. The training group performed progressive HIIT program, 3 days a week for 6 weeks. The control group was in absolute rest at the same time. The results showed that after six weeks of HIIT, IL-13 decreased in the exercise group and these changes achieved (p= 0.002) statistical significance (p < 0.005). The results suggest HIIT with specific intensity and duration utilized in this study had not significant effect on insulin resistance levels in female patients with ADHD (p=0.39), while the difference in the average control and case group was decreased.

Keywords: attention deficit hyperactivity disorder, interleukin 13, insulin resistance, high intensity by intervals training

Procedia PDF Downloads 512

Authors: Natividad Natalia Angeles Manuel

Abstract:

In the Dominican Republic, American-Dominican veterans face unique challenges due to their dual identities and wartime experiences. This case study examines an 85-year-old veteran with memory impairments and emotional distress linked to military service. A neuropsychological assessment using standardized tools evaluated cognitive domains and functional abilities. Significant deficits in memory, orientation, semantic memory, and executive functions, alongside symptoms of Post-Traumatic Stress Disorder and depression, were identified. A six-month cognitive stimulation program included tailored interventions to enhance memory, attention, and executive skills through weekly sessions and group activities. Medical and physical therapy support aimed to improve overall cognitive, functional, and emotional outcomes. Follow-up evaluations showed improvements in memory retention, attention, task proficiency, and reduced depressive symptoms, highlighting the program's effectiveness in promoting emotional well-being and quality of life. Despite ongoing memory challenges and military-related nightmares, the veteran responded positively to interventions, demonstrating resilience and motivation. This study emphasizes the importance of personalized neuropsychological interventions for American-Dominican veterans in the Dominican Republic. Through assessment tools and focused cognitive stimulation strategies, healthcare providers can successfully alleviate cognitive and emotional challenges stemming from traumatic experiences in elderly veterans. Overall, integrated neuropsychological assessment and stimulation programs are shown to enhance cognitive resilience and emotional well-being, thus contributing to an enhanced quality of life for aging American-Dominican veterans.

Keywords: neuropsychology, cognitive stimulation, American-Dominican veterans, Dominican Republic, PTSD, memory deficits

Procedia PDF Downloads 37

Authors: Winncy Du, Jeremy Nguyen, Harpinder Dhillon, Reinardus Justin Halim, Clayton Haske, Trent Hughes, Marissa Ortiz, Rozy Saini

Abstract:

Stroke often causes death or cerebro-vascular (CV) brain damage. Most patients with CV brain damage lost their motor control on their limbs. This paper focuses on developing a reliable, safe, and non-invasive EEG-based robot-assistant stroke rehabilitation system to help stroke survivors to rapidly restore their motor control functions for their limbs. An electroencephalogram (EEG) recording device (EPOC Headset) and was used to detect a patient’s brain activities. The EEG signals were then processed, classified, and interpreted to the motion intentions, and then converted to a series of robot motion commands. A six-axis articulated robot (AdeptSix 300) was employed to provide the intended motions based on these commends. To ensure the EEG device, the computer, and the robot can communicate to each other, an Arduino microcontroller is used to physically execute the programming codes to a series output pins’ status (HIGH or LOW). Then these “hardware” commends were sent to a 24 V relay to trigger the robot’s motion. A lookup table for various motion intensions and the associated EEG signal patterns were created (through training) and installed in the microcontroller. Thus, the motion intention can be direct determined by comparing the EEG patterns obtaibed from the patient with the look-up table’s EEG patterns; and the corresponding motion commends are sent to the robot to provide the intended motion without going through feature extraction and interpretation each time (a time-consuming process). For safety sake, an extender was designed and attached to the robot’s end effector to ensure the patient is beyond the robot’s workspace. The gripper is also designed to hold the patient’s limb. The test results of this rehabilitation system show that it can accurately interpret the patient’s motion intension and move the patient’s arm to the intended position.

Keywords: brain waves, EEG sensor, motion control, robot-assistant stroke rehabilitation

Procedia PDF Downloads 384

Authors: Ragi Poyyara, Vijaya Patnana, Mohammed Alam

Abstract:

When acid is pumped into damaged reservoirs for damage removal/stimulation, distorted inflow of acid into the formation occurs caused by acid preferentially traveling into highly permeable regions over low permeable regions, or (in general) into the path of least resistance. This can lead to poor zonal coverage and hence warrants diversion to carry out an effective placement of acid. Diversion is desirably a reversible technique of temporarily reducing the permeability of high perm zones, thereby forcing the acid into lower perm zones. The uniqueness of each reservoir can pose several challenges to engineers attempting to devise optimum and effective diversion strategies. Diversion techniques include mechanical placement and/or chemical diversion of treatment fluids, further sub-classified into ball sealers, bridge plugs, packers, particulate diverters, viscous gels, crosslinked gels, relative permeability modifiers (RPMs), foams, and/or the use of placement techniques, such as coiled tubing (CT) and the maximum pressure difference and injection rate (MAPDIR) methodology. It is not always realized that the effectiveness of diverters greatly depends on reservoir properties, such as formation type, temperature, reservoir permeability, heterogeneity, and physical well characteristics (e.g., completion type, well deviation, length of treatment interval, multiple intervals, etc.). This paper reviews the mechanisms by which each variety of diverter functions and discusses the effect of various reservoir properties on the efficiency of diversion techniques. Guidelines are recommended to help enhance productivity from zones of interest by choosing the best methods of diversion while pumping an optimized amount of treatment fluid. The success of an overall acid treatment often depends on the effectiveness of the diverting agents.

Keywords: diversion, reservoir, zonal coverage, carbonate, sandstone

Procedia PDF Downloads 432

Authors: Lixin Tian, Wei Xue

Abstract:

Many jobs in society go underground, such as mine mining, tunnel construction and subways, which are vital to the development of society. Once accidents occur in these places, the interruption of traditional wired communication is not conducive to the development of rescue work. In order to realize the positioning, early warning and command functions of underground personnel and improve rescue efficiency, it is necessary to develop and design an emergency ground communication system. It is easy to be subjected to narrowband interference when performing conventional underground communication. Spreading communication can be used for this problem. However, general spread spectrum methods such as direct spread communication are inefficient, so it is proposed to use parallel combined spread spectrum (PCSS) communication to improve efficiency. The PCSS communication not only has the anti-interference ability and the good concealment of the traditional spread spectrum system, but also has a relatively high frequency band utilization rate and a strong information transmission capability. So, this technology has been widely used in practice. This paper presents a PCSS communication model-multiple detection parallel combined spread spectrum (MDPCSS) communication system. In this paper, the principle of MDPCSS communication system is described, that is, the sequence at the transmitting end is processed in blocks and cyclically shifted to facilitate multiple detection at the receiving end. The block diagrams of the transmitter and receiver of the MDPCSS communication system are introduced. At the same time, the calculation formula of the system bit error rate (BER) is introduced, and the simulation and analysis of the BER of the system are completed. By comparing with the common parallel PCSS communication, we can draw a conclusion that it is indeed possible to reduce the BER and improve the system performance. Furthermore, the influence of different pseudo-code lengths selected on the system BER is simulated and analyzed, and the conclusion is that the larger the pseudo-code length is, the smaller the system error rate is.

Keywords: cyclic shift, multiple detection, parallel combined spread spectrum, PN code

Procedia PDF Downloads 139

Authors: E. S. Umdu, Ilker Kahraman, Nurdan Yildirim, Levent Bilir

Abstract:

Algae-culture offers new applications in sustainable architecture with its continuous productive cycle, and a potential for high carbon dioxide capture. Microalgae itself has multiple functions such as carbon dioxide fixation, biomass production, oxygen generation and waste water treatment. Incorporating microalgae cultivation processes and systems to building design to utilize this potential is promising. Microalgae cultivation systems, especially closed photo bioreactors can be implemented as components in buildings. And these systems be accommodated in the façade of a building, or in other urban infrastructure in the future. Application microalgae bio-reactors of on building’s façade has the added benefit of acting as an effective insulation system, keeping out the heat of the summer and the chill of the winter. Furthermore, microalgae can give a dynamic appearance with a liquid façade that also works as an adaptive sunshade. Recently, potential of microalgae to use as a building component to reduce net energy demand in buildings becomes a popular topic and innovative design proposals and a handful of pilot applications appeared. Yet there is only a handful of examples in application and even less information on how these systems affect building energy behavior. Further studies on microalgae mostly focused on single application approach targeting either carbon dioxide utilization through biomass production or biofuel production. The main objective of this study is to investigate effects of design parameters of microalgae panel bio-reactors on light transmission characteristics and CO2 capture potential during growth of Nannochloropsis occulata sp. A maximum reduction of 18 ppm in CO2 levels of input air during the experiments with a % light transmission of 14.10, was achieved in 6 day growth cycles. Heat transfer behavior during these cycles was also inspected for possible façade applications.

Keywords: building façade, CO2 capture, light transmittance, microalgae

Procedia PDF Downloads 193

Authors: Berkas Khaoula

Abstract:

Based on selection characteristics, high-density polyethylene (HDPE) extruded pipes are among the most economical and durable materials as well-designed solutions for water and gas transmission systems. The main reasons for such a choice are the high quality-performance ratio and the long-term service durability under aggressive conditions. Due to inevitable interactions with soils of different chemical compositions and transported fluids, aggressiveness becomes a key factor in studying resilient strength and life prediction limits. This phenomenon is known as environmental stress cracking resistance (ESCR). In this work, the effect of 3 acidic environments (5% acetic, 20% hydrochloric and 20% sulfuric) on HDPE-100 samples (~10x11x24 mm3). The results presented in the form (Δm/m0, %) as a function of √t indicate that the absorption, in the case of strong acids (HCl and H2SO4), evolves towards negative values involving material losses such as antioxidants and some additives. On the other hand, acetic acid and deionized water (DW) give a form of linear Fickean (LF) and B types, respectively. In general, the acids cause a slow but irreversible alteration of the chemical structure, composition and physical integrity of the polymer. The DW absorption is not significant (~0.02%) for an immersion duration of 69 days. Such results are well accepted in actual applications, while changes caused by acidic environments are serious and must be subjected to particular monitoring of the OIT factor (Oxidation Induction Time). After 55 days of aging, the H2SO4 and HCl media showed particular values with a loss of % mass in the interval [0.025-0.038] associated with irreversible chemical reactions as well as physical degradations. This state is usually explained by hydrolysis of the polymer, causing the loss of functions and causing chain scissions. These results are useful for designing and estimating the lifetime of the tube in service and in contact with adverse environments.

Keywords: HDPE, environmental stress cracking, absorption, acid media, chemical aging

Procedia PDF Downloads 90

Authors: Targba Aondowase

Abstract:

Undocumented migration along Nigeria’s boarder with Cameroon, Chad and Niger is a key issue in tackling the human security challenges in the region as the security situation cannot be contained without proper boarder control. The paper adopts migration systems theory which asserts that migration alters the social, cultural, economic, and institutional conditions at both the sending and receiving ends to explain the influence of unregistered migrants on institutional changes as it affects the security situation in Northern Nigeria. It was found that undocumented migration is majorly influenced by poverty, illegal trade, wars and asylum. The study also discovers that Nigerian boarders are porous with over 250 footpaths that link directly to Cameroon, Chad and Niger, making the proliferation of small arms and light weapons a transnational organized crime in the region. These porous borders are unmanned by security operatives with limited government presence in the boarder communities. The study also found that undocumented immigrants are easily integrated into the northern communities due to common religious beliefs and race where they carry out normal and civic functions without obstruction. The paper concluded that the level of undocumented migration in Northern Nigeria is high due to unmanned and porous borders. The paper therefore recommended that the security agencies should be strengthened through adequate funding, innovative technology, sound policies and proficient processes that will help protect the country’s borders. The National Populations Commission and the National Identity Management Commission should be strengthened to have a good data base of the country’s citizens and there should be international cooperation between the neighbouring countries to tackle illegal migration and illegal trade along the borders. The findings and recommendations of this paper will serve as a guide towards curtailing the impact of undocumented migration on human security in Northern Nigeria.

Keywords: human security, impact, migration, undocumented

Procedia PDF Downloads 336

Authors: Ana Lucia Molina

Abstract:

Introduction: Fine motor skills refer to the use of the hands and coordination of the small muscles that control the fingers. A deficiency in fine motor skills is as important as a change in global movements, as fine motor skills directly affect activities of daily living. Fine movements are involved in some functions, such as motor control of the extremities, sensitivity, strength and tonus of the hands. A growing interest in the effects of non-invasive neuromodulation, such as transcranial stimulation technologies, through transcranial magnetic stimulation (TMS), has been observed in the scientific literature, with promising results in fine motor rehabilitation, as it provides modulation of the corresponding cortical activity in the area primary motor skills of the hands in both hemispheres (according to the International System 10-20, corresponding to C3 and C4). Objectives: to carry out a literature review about the effects of TMS on the cortical motor area corresponding to hand motricity. Methodology: This is a bibliographic survey carried out between October 2022 and March 2023 at Pubmed, Google Scholar, Lillacs and Virtual Health Library (BVS), with a national and international database. Some books on neuromodulation were included. Results: 28 articles and 5 books were initially found, and after reading the abstracts, only 14 articles and 3 books were selected, with publication dates between 2008 and 2022, to compose the literature review since it suited the purpose of this study. Conclusion: TMS has shown promising results in the treatment of fine motor rehabilitation, such as improving coordination, muscle strength and range of motion of the hands, being a complementary technique to existing treatments and thus providing more potent results for manual skills in activities of daily living. It is important to emphasize the need for more specific studies on the application of TMS for the treatment of manual disorders, which describe the uniqueness of each movement.

Keywords: transcranial magnetic stimulation, fine motor skills, motor rehabilitation, non-invasive neuromodulation

Procedia PDF Downloads 73

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 243