Search results for: fractional model predictive control
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 25543

Search results for: fractional model predictive control

9043 Performance Prediction Methodology of Slow Aging Assets

Authors: M. Ben Slimene, M.-S. Ouali

Abstract:

Asset management of urban infrastructures faces a multitude of challenges that need to be overcome to obtain a reliable measurement of performances. Predicting the performance of slowly aging systems is one of those challenges, which helps the asset manager to investigate specific failure modes and to undertake the appropriate maintenance and rehabilitation interventions to avoid catastrophic failures as well as to optimize the maintenance costs. This article presents a methodology for modeling the deterioration of slowly degrading assets based on an operating history. It consists of extracting degradation profiles by grouping together assets that exhibit similar degradation sequences using an unsupervised classification technique derived from artificial intelligence. The obtained clusters are used to build the performance prediction models. This methodology is applied to a sample of a stormwater drainage culvert dataset.

Keywords: artificial Intelligence, clustering, culvert, regression model, slow degradation

Procedia PDF Downloads 92
9042 Synthesis of NiO and ZnO Nanoparticles and Charactiration for the Eradication of Lead (Pb) from Wastewater

Authors: Sadia Ata, Anila Tabassum, Samina ghafoor, Ijaz ul Mohsin, Azam Muktar

Abstract:

Heavy metal ions such as Pb2+, Cd2+, Zn2+, Ni2+ and Hg2+, in wastewater are considered as the serious environmental problem. Among these heavy metals, Lead or Pb (II) is the most toxic heavy metal. Exposure to lead causes damage of nervous system, mental retardation, renal kidney disease, anemia and cancer in human beings. Adsorption is the most widely used method to remove metal ions based on the physical interaction between metal ions and sorbents. With the development of nanotechnology, nano-sized materials are proved to be effective sorbents for the removal of heavy metal ions from wastewater due to their unique structural properties. The present work mainly focuses on the synthesis of NiO and ZnO nanoparticles for the removal of Lead ions, their preparation, characterization by XRD, FTIR, SEM, and TEM, adsorption characteristics and mechanism, along with adsorption isotherm model and adsorption kinetics to understand the adsorption procedure.

Keywords: heavy metal, adsorption isotherms, nanoparticles, wastewater

Procedia PDF Downloads 575
9041 Reasons behind Accounting Information Tools Adopted by Portuguese Third Sector Organizations: Institutional Theory versus Rational Choice Theory

Authors: Eurico Lima Basto, Ofélia Pinto, Anabela Silva, Amélia Ferreira-Da-Silva

Abstract:

The purpose if this study is two-fold: on the one hand, to identify the accounting information systems implemented in third sector organizations, as well as its components, its tools and the decisions and control purposes they serve; on the other hand, and by confronting these two theories - institutional theory versus rational choice – we intent to go further by understanding the reasons behind the adoption of the aforementioned tools. Data has been collected from third sector organizations operating in Portugal. Our sample includes all juridical types of organizations such as foundations, cooperative, associations or private institutions of social solidarity. The questionnaire contained sixteen close-ended questions and four open-questions. Results confirm the theoretical perspective of institutionalism. Most third sector organizations operating in Portugal implemented only traditional accounting tools like standard accounting statements, cost accounting, budgeting. Moreover, there is clear evidence that the decisions about the implementation of these tools were coercive oriented. With this study it is intended to contribute to a better understanding of the context of third sector organizations in Portugal, in particular the role that accounting plays in this sector, with a special focus on management accounting tools, and the factors that influence their use and the degree of their usefulness in the process of decision making.

Keywords: third sector, accounting tools, institutional theory, Portugal, descriptive research

Procedia PDF Downloads 300
9040 Ageing Population and Generational Turn-Over in the Italian Labour Market: Towards a Sustainable Solidarity

Authors: Marianna Russo

Abstract:

Ageing population and youth unemployment are the major challenges that Western Countries – and Italy in particular – are facing in recent years. These phenomena have a significant impact not only on the labour market and the welfare system, but also on the organisational models of work. Therefore, in Italy, in the past few years, there have been some attempts to regulate the management of generational turn-over: intergenerational pacts, early retirement incentives, solidarity contracts, etc. In particular, this paper aims to focus on the expansive solidarity contracts, that were introduced in the Italian legal system for the first time in 1984. Indeed, they have been little used during the thirty years of their lives, so the Legislative Decree no. 148/2015, implementing the so-called Jobs Act, has given them another opportunity. The paper tries to analyse the rules and the empirical data, looking for a sustainable model of generational turn-over management.

Keywords: ageing population, generational turn-over, Italian jobs' act, solidarity contracts

Procedia PDF Downloads 244
9039 A Highly Accurate Computer-Aided Diagnosis: CAD System for the Diagnosis of Breast Cancer by Using Thermographic Analysis

Authors: Mahdi Bazarganigilani

Abstract:

Computer-aided diagnosis (CAD) systems can play crucial roles in diagnosing crucial diseases such as breast cancer at the earliest. In this paper, a CAD system for the diagnosis of breast cancer was introduced and evaluated. This CAD system was developed by using spatio-temporal analysis of data on a set of consecutive thermographic images by employing wavelet transformation. By using this analysis, a very accurate machine learning model using random forest was obtained. The final results showed a promising accuracy of 91% in terms of the F1 measure indicator among 200 patients' sample data. The CAD system was further extended to obtain a detailed analysis of the effect of smaller sub-areas of each breast on the occurrence of cancer.

Keywords: computer-aided diagnosis systems, thermographic analysis, spatio-temporal analysis, image processing, machine learning

Procedia PDF Downloads 198
9038 Surveying the Effects of Online Learning On High School Student’s Motivation: A Case Study of Pinewood School

Authors: Robert Cui

Abstract:

COVID-19 has drastically changed the way students interact and engage with their environments. Students, in particular, have been forced to change from in-person to online learning. How can we ensure that students continue to remain motivated even as their mode of education transitions to online learning? In this study conducted on high school students from a small private school (n = 50), we investigate the factors that predict student motivation during online learning. Using the framework of self-determination theory, we examine the three facets of student motivation during online learning: engagement, autonomy, and competence. We find that students' perception of their peers' engagement with the curriculum, feelings of parental academic expectations, perceptions of favoritism by the teacher, and perceived clarity of instruction given by the teacher all predict student engagement in online learning. Student autonomy is predicted by the amount of parental control a student feels, the clarity of instruction given by the teacher, and also the amount to which a student is perceiving their peers to be paying attention. Finally, competence is predicted by favoritism a student perceives from a teacher and also the amount of which a student is perceiving their peers to be paying attention. Based on these findings, we provide insights on how three important stakeholders –parents, teachers, and peers can enhance students' motivation during online learning.

Keywords: academic performance, motivation, online learning, parental influence, teacher, peers

Procedia PDF Downloads 126
9037 Waste Analysis and Classification Study (WACS) in Ecotourism Sites of Samal Island, Philippines Towards a Circular Economy Perspective

Authors: Reeden Bicomong

Abstract:

Ecotourism activities, though geared towards conservation efforts, still put pressures against the natural state of the environment. Influx of visitors that goes beyond carrying capacity of the ecotourism site, the wastes generated, greenhouse gas emissions, are just few of the potential negative impacts of a not well-managed ecotourism activities. According to Girard and Nocca (2017) tourism produces many negative impacts because it is configured according to the model of linear economy, operating on a linear model of take, make and dispose (Ellen MacArthur Foundation 2015). With the influx of tourists in an ecotourism area, more wastes are generated, and if unregulated, natural state of the environment will be at risk. It is in this light that a study on waste analysis and classification study in five different ecotourism sites of Samal Island, Philippines was conducted. The major objective of the study was to analyze the amount and content of wastes generated from ecotourism sites in Samal Island, Philippines and make recommendations based on the circular economy perspective. Five ecotourism sites in Samal Island, Philippines was identified such as Hagimit Falls, Sanipaan Vanishing Shoal, Taklobo Giant Clams, Monfort Bat Cave, and Tagbaobo Community Based Ecotourism. Ocular inspection of each ecotourism site was conducted. Likewise, key informant interview of ecotourism operators and staff was done. Wastes generated from these ecotourism sites were analyzed and characterized to come up with recommendations that are based on the concept of circular economy. Wastes generated were classified into biodegradables, recyclables, residuals and special wastes. Regression analysis was conducted to determine if increase in number of visitors would equate to increase in the amount of wastes generated. Ocular inspection indicated that all of the five ecotourism sites have their own system of waste collection. All of the sites inspected were found to be conducting waste separation at source since there are different types of garbage bins for all of the four classification of wastes such as biodegradables, recyclables, residuals and special wastes. Furthermore, all five ecotourism sites practice composting of biodegradable wastes and recycling of recyclables. Therefore, only residuals are being collected by the municipal waste collectors. Key informant interview revealed that all five ecotourism sites offer mostly nature based activities such as swimming, diving, site seeing, bat watching, rice farming experiences and community living. Among the five ecotourism sites, Sanipaan Vanishing Shoal has the highest average number of visitors in a weekly basis. At the same time, in the wastes assessment study conducted, Sanipaan has the highest amount of wastes generated. Further results of wastes analysis revealed that biodegradables constitute majority of the wastes generated in all of the five selected ecotourism sites. Meanwhile, special wastes proved to be the least generated as there was no amount of this type was observed during the three consecutive weeks WACS was conducted.

Keywords: Circular economy, ecotourism, sustainable development, WACS

Procedia PDF Downloads 200
9036 Tuning of the Thermal Capacity of an Envelope for Peak Demand Reduction

Authors: Isha Rathore, Peeyush Jain, Elangovan Rajasekar

Abstract:

The thermal capacity of the envelope impacts the cooling and heating demand of a building and modulates the peak electricity demand. This paper presents the thermal capacity tuning of a building envelope to minimize peak electricity demand for space cooling. We consider a 40 m² residential testbed located in Hyderabad, India (Composite Climate). An EnergyPlus model is validated using real-time data. A Parametric simulation framework for thermal capacity tuning is created using the Honeybee plugin. Diffusivity, Thickness, layer position, orientation and fenestration size of the exterior envelope are parametrized considering a five-layered wall system. A total of 1824 parametric runs are performed and the optimum wall configuration leading to minimum peak cooling demand is presented.

Keywords: thermal capacity, tuning, peak demand reduction, parametric analysis

Procedia PDF Downloads 169
9035 Vibration Signals of Small Vertical Axis Wind Turbines

Authors: Aqoul H. H. Alanezy, Ali M. Abdelsalam, Nouby M. Ghazaly

Abstract:

In recent years, progress has been made in increasing the renewable energy share in the power sector particularly in the wind. The experimental study conducted in this paper aims to investigate the effects of number of blades and inflow wind speed on vibration signals of a vertical axis Savonius type wind turbine. The operation of the model of Savonius type wind turbine is conducted to compare two, three and four blades wind turbines to show vibration amplitudes related with wind speed. It is found that the increase of the number of blades leads to decrease of the vibration magnitude. Furthermore, inflow wind speed has reduced effect on the vibration level for higher number of blades.

Keywords: Savonius type wind turbine, number of blades, renewable energy, vibration signals

Procedia PDF Downloads 142
9034 Person Re-Identification using Siamese Convolutional Neural Network

Authors: Sello Mokwena, Monyepao Thabang

Abstract:

In this study, we propose a comprehensive approach to address the challenges in person re-identification models. By combining a centroid tracking algorithm with a Siamese convolutional neural network model, our method excels in detecting, tracking, and capturing robust person features across non-overlapping camera views. The algorithm efficiently identifies individuals in the camera network, while the neural network extracts fine-grained global features for precise cross-image comparisons. The approach's effectiveness is further accentuated by leveraging the camera network topology for guidance. Our empirical analysis on benchmark datasets highlights its competitive performance, particularly evident when background subtraction techniques are selectively applied, underscoring its potential in advancing person re-identification techniques.

Keywords: camera network, convolutional neural network topology, person tracking, person re-identification, siamese

Procedia PDF Downloads 60
9033 BART Matching Method: Using Bayesian Additive Regression Tree for Data Matching

Authors: Gianna Zou

Abstract:

Propensity score matching (PSM), introduced by Paul R. Rosenbaum and Donald Rubin in 1983, is a popular statistical matching technique which tries to estimate the treatment effects by taking into account covariates that could impact the efficacy of study medication in clinical trials. PSM can be used to reduce the bias due to confounding variables. However, PSM assumes that the response values are normally distributed. In some cases, this assumption may not be held. In this paper, a machine learning method - Bayesian Additive Regression Tree (BART), is used as a more robust method of matching. BART can work well when models are misspecified since it can be used to model heterogeneous treatment effects. Moreover, it has the capability to handle non-linear main effects and multiway interactions. In this research, a BART Matching Method (BMM) is proposed to provide a more reliable matching method over PSM. By comparing the analysis results from PSM and BMM, BMM can perform well and has better prediction capability when the response values are not normally distributed.

Keywords: BART, Bayesian, matching, regression

Procedia PDF Downloads 135
9032 Sustainable Improvement in Soil Properties and Maize Performance by Organic Fertilizers at Different Levels

Authors: Shahid Iqbal, Haroon Z. Khan, Muhammad Arif

Abstract:

A sustainable agricultural system involving the improvement in soil properties and crop performance cannot be developed without organic fertilizer use. The effects of poultry manure compost (PMC) and pressmud compost (PrMC) at different levels on improving the soil properties and maize performance has not been yet described by any study comprehensively. Thus, field experiments (2011 and 2012) were conducted at Agronomy Research Area, University of Agriculture Faisalabad (31°26'5" N and 73°4'6" E) in sandy loam soil to determine the improvement in soil properties and maize performance due to application of PMC and PrMC each at five different levels (2, 4, 6, 8 and 10 t ha-1). A control (unamended) treatment was also included for comparison. The results indicated that performance of PMC levels was superior to PrMC levels. Increasing both composts levels improved soil properties, maize growth, and stover yield. Results showed that during both years’ highest rates of PMC i.e. 10 and 8 t ha-1 improved the soil properties: ECe, pH, inorganic N, OM, and WHC higher than other treatments. While, 10 and 8 t PMC ha-1 also significantly increased leaf area index (LAI), crop growth rate (CGR) and net assimilation rate (NAR), and stover yield. Similarly, 10 and 8 t PMC ha-1 also improved the grain protein content, but contrarily, grain oil was lowest for 10 and 8 t ha-1 PMC during both years. Moreover, in both years highest gross and net income, and benefit cost ratio was also achieved by 10 and 8 t ha-1 PMC. It is concluded that PMC at rate of 10 and 8 t ha-1 sustainably improved soil properties and maize performance.

Keywords: compost, soil, maize, growth, yield

Procedia PDF Downloads 347
9031 The Role of Labour Substitution by Age in the Effect of Fertility on Living Standards: Simulations for Scandinavia

Authors: Ross Guest, Bjarne Jensen

Abstract:

This paper analyses a potentially new consumption dividend from lower fertility arising from imperfect labour substitution by age. A smaller proportion of young workers relative to older workers raises relative youth wages given imperfect labour substitution by age. Discounted lifetime labour income rises which provides a consumption dividend. Simulation results are reported for the four Scandinavian countries, adopting a simple overlapping generations model. Imperfect labour substitution is modelled using a CRESH functional form of an aggregate labour index. The magnitudes of this new consumption dividend from a Low fertility projection compared with a high fertility projection are found to be approximately 4 percent annually, on average over the Scandinavian countries in the very long run, but somewhat lower in the short term. There is some sensitivity to the interest rate and the degree of consumption smoothing.

Keywords: fertility, consumption, productivity, labour substitution

Procedia PDF Downloads 339
9030 Influence of Social Norms and Perceived Government Roles on Environmental Consciousness: A Multi-Socio-Economic Approach

Authors: Mona Francesca B. Dela Cruz, Katrina Marie R. Mamaril, Mariah Hannah Kassandra Salazar, Emerald Jay D. Ilac

Abstract:

One key factor that should be considered when determining sustainable solutions to various environmental problems is the potential impact of individual human beings. In order to understand an individual, there is a need to examine cognitive, emotional, dispositional, and behavioral factors which are all indicative of one’s environmental consciousness. This quantitative study explored the moderated mediation between environmental consciousness, socio-economic status, social norms as a mediator, and the perceived role of government as a moderator for 381 Filipinos, aged 25 to 65, in urban and suburban settings. Results showed social norms do not have a mediating effect between socio-economic status and environmental consciousness. This may be influenced by the collectivist culture of the Philippines and the tendency for people to copy behaviors according to the descriptive norm effect. Meanwhile, there exists a moderating effect of the perceived role of government between the relationship of social norms and environmental consciousness which can be explained by the government’s ability to impose social norms that can induce a person to think and act pro-environmentally. Practical applications of this study can be used to tap the ability of the government to strengthen their influence and control over environmental protection and to provide a basis for the development of class-specific environmental solutions that can be done by individuals depending on their socioeconomic status.

Keywords: environmental consciousness, role of government, social norms, socio-economic status

Procedia PDF Downloads 148
9029 Iterative Dynamic Programming for 4D Flight Trajectory Optimization

Authors: Kawser Ahmed, K. Bousson, Milca F. Coelho

Abstract:

4D flight trajectory optimization is one of the key ingredients to improve flight efficiency and to enhance the air traffic capacity in the current air traffic management (ATM). The present paper explores the iterative dynamic programming (IDP) as a potential numerical optimization method for 4D flight trajectory optimization. IDP is an iterative version of the Dynamic programming (DP) method. Due to the numerical framework, DP is very suitable to deal with nonlinear discrete dynamic systems. The 4D waypoint representation of the flight trajectory is similar to the discretization by a grid system; thus DP is a natural method to deal with the 4D flight trajectory optimization. However, the computational time and space complexity demanded by the DP is enormous due to the immense number of grid points required to find the optimum, which prevents the use of the DP in many practical high dimension problems. On the other hand, the IDP has shown potentials to deal successfully with high dimension optimal control problems even with a few numbers of grid points at each stage, which reduces the computational effort over the traditional DP approach. Although the IDP has been applied successfully in chemical engineering problems, IDP is yet to be validated in 4D flight trajectory optimization problems. In this paper, the IDP has been successfully used to generate minimum length 4D optimal trajectory avoiding any obstacle in its path, such as a no-fly zone or residential areas when flying in low altitude to reduce noise pollution.

Keywords: 4D waypoint navigation, iterative dynamic programming, obstacle avoidance, trajectory optimization

Procedia PDF Downloads 146
9028 Influence of Shock Absorber Condition on the Vertical Dynamic Load Applied on the Pavement by a Truck’s Front Suspension

Authors: Pablo Kubo, Cassio Paiva, Adelino Ferreira

Abstract:

The main objective of this research study is to present the results of the influence of shock absorber condition, from a truck front suspension, on the vertical dynamic load applied on the pavement. For the measurements, it has been used a durability test track located in Brazil. The shock absorber conditions were new, used and failed with a constant load of 6 tons on the front suspension, the maximum allowed load for front axle according to Brazilian legislation. By applying relative damage concept, it is possible to conclude that the variation on the shock absorber conditions will significantly affect the load applied on the pavement. Although, it is recommended to repeat the same methodology in order to analyze the influence on the variation of the quarter car model variants.

Keywords: damage, shock absorber, vertical dynamic load, absorber

Procedia PDF Downloads 473
9027 Investigating the Efficacy of Developing Critical Thinking through Literature Reading

Authors: Julie Chuah Suan Choo

Abstract:

Due to the continuous change in workforce and the demands of the global workplace, many employers had lamented that the majority of university graduates were not prepared in the key areas of employment such as critical thinking, writing, self-direction and global knowledge which are most needed for the purposes of promotion. Further, critical thinking skills are deemed as integral parts of transformational pedagogy which aims at having a more informed society. To add to this, literature teaching has recently been advocated for enhancing students’ critical thinking and reasoning. Thus this study explored the effects of incorporating a few strategies in teaching literature, namely a Shakespeare play, into a course design to enhance these skills. An experiment involving a pretest and posttest using the California Critical Thinking Skills Test (CCTST) were administered on 80 first-year students enrolled in the Bachelor of Arts programme who were randomly assigned into the control group and experimental group. For the next 12 weeks, the experimental group was given intervention which included guided in-class discussion with Socratic questioning skills, learning log to detect their weaknesses in logical reasoning; presentations and quizzes. The results of CCTST which included paired T-test using SPSS version 22 indicated significant differences between the two groups. Findings have significant implications on the course design as well as pedagogical practice in using literature to enhance students’ critical thinking skills.

Keywords: literature teaching, critical thinking, California critical thinking skills test (CCTST), course design

Procedia PDF Downloads 451
9026 A Kernel-Based Method for MicroRNA Precursor Identification

Authors: Bin Liu

Abstract:

MicroRNAs (miRNAs) are small non-coding RNA molecules, functioning in transcriptional and post-transcriptional regulation of gene expression. The discrimination of the real pre-miRNAs from the false ones (such as hairpin sequences with similar stem-loops) is necessary for the understanding of miRNAs’ role in the control of cell life and death. Since both their small size and sequence specificity, it cannot be based on sequence information alone but requires structure information about the miRNA precursor to get satisfactory performance. Kmers are convenient and widely used features for modeling the properties of miRNAs and other biological sequences. However, Kmers suffer from the inherent limitation that if the parameter K is increased to incorporate long range effects, some certain Kmer will appear rarely or even not appear, as a consequence, most Kmers absent and a few present once. Thus, the statistical learning approaches using Kmers as features become susceptible to noisy data once K becomes large. In this study, we proposed a Gapped k-mer approach to overcome the disadvantages of Kmers, and applied this method to the field of miRNA prediction. Combined with the structure status composition, a classifier called imiRNA-GSSC was proposed. We show that compared to the original imiRNA-kmer and alternative approaches. Trained on human miRNA precursors, this predictor can achieve an accuracy of 82.34 for predicting 4022 pre-miRNA precursors from eleven species.

Keywords: gapped k-mer, imiRNA-GSSC, microRNA precursor, support vector machine

Procedia PDF Downloads 145
9025 Factors and Impact of the Intention to Adopt Online Purchases in Africa: The Moderating Effect of Culture

Authors: Mefoute Badiang Alphonse, Emile Saker Nkwei

Abstract:

This study examines the factors determining the adoption of online purchases among customers and the influence of cultural variables in an African context. The research is based on a combination of the technology acceptance model (IS/IT). The hypotheses are tested using the structural equation method (PLS) on a sample of 446 individuals. The findings show that: (1) rational perception variables are influential factors affecting users’ intentions to adopt online purchases; (2) it is established that cultural factors have an impact on online purchases in the context of the study. Customers who value physical interaction are more likely to make purchases online, although mostly for hedonic reasons. Additionally, the relationship between utilitarian expectations and purchase intention depends on the level of conformity to the group. Implications and limitations of the research are formulated.

Keywords: Africa, cultural variables, online purchases, rational perception

Procedia PDF Downloads 66
9024 Cardiovascular Modeling Software Tools in Medicine

Authors: J. Fernandez, R. Fernandez de Canete, J. Perea-Paizal, J. C. Ramos-Diaz

Abstract:

The high prevalence of cardiovascular diseases has provoked a raising interest in the development of mathematical models in order to evaluate the cardiovascular function both under physiological and pathological conditions. In this paper, a physical model of the cardiovascular system with intrinsic regulation is presented and implemented by using the object-oriented Modelica simulation software tools.  For this task, a multi-compartmental system previously validated with physiological data has been built, based on the interconnection of cardiovascular elements such as resistances, capacitances and pumping among others, by following an electrohydraulic analogy. The results obtained under both physiological and pathological scenarios provide an easy interpretative key to analyze the hemodynamic behavior of the patient. The described approach represents a valuable tool in the teaching of physiology for graduate medical and nursing students among others.

Keywords: cardiovascular system, MODELICA simulation software, physical modelling, teaching tool

Procedia PDF Downloads 290
9023 A Tool to Measure Efficiency and Trust Towards eXplainable Artificial Intelligence in Conflict Detection Tasks

Authors: Raphael Tuor, Denis Lalanne

Abstract:

The ATM research community is missing suitable tools to design, test, and validate new UI prototypes. Important stakes underline the implementation of both DSS and XAI methods into current systems. ML-based DSS are gaining in relevance as ATFM becomes increasingly complex. However, these systems only prove useful if a human can understand them, and thus new XAI methods are needed. The human-machine dyad should work as a team and should understand each other. We present xSky, a configurable benchmark tool that allows us to compare different versions of an ATC interface in conflict detection tasks. Our main contributions to the ATC research community are (1) a conflict detection task simulator (xSky) that allows to test the applicability of visual prototypes on scenarios of varying difficulty and outputting relevant operational metrics (2) a theoretical approach to the explanations of AI-driven trajectory predictions. xSky addresses several issues that were identified within available research tools. Researchers can configure the dimensions affecting scenario difficulty with a simple CSV file. Both the content and appearance of the XAI elements can be customized in a few steps. As a proof-of-concept, we implemented an XAI prototype inspired by the maritime field.

Keywords: air traffic control, air traffic simulation, conflict detection, explainable artificial intelligence, explainability, human-automation collaboration, human factors, information visualization, interpretability, trajectory prediction

Procedia PDF Downloads 148
9022 A Formal Verification Approach for Linux Kernel Designing

Authors: Zi Wang, Xinlei He, Jianghua Lv, Yuqing Lan

Abstract:

Kernel though widely used, is complicated. Errors caused by some bugs are often costly. Statically, more than half of the mistakes occur in the design phase. Thus, we introduce a modeling method, KMVM (Linux Kernel Modeling and verification Method), based on type theory for proper designation and correct exploitation of the Kernel. In the model, the Kernel is separated into six levels: subsystem, dentry, file, struct, func, and base. Each level is treated as a type. The types are specified in the structure and relationship. At the same time, we use a demanding path to express the function to be implemented. The correctness of the design is verified by recursively checking the type relationship and type existence. The method has been applied to verify the OPEN business of VFS (virtual file system) in Linux Kernel. Also, we have designed and developed a set of security communication mechanisms in the Kernel with verification.

Keywords: formal approach, type theory, Linux Kernel, software program

Procedia PDF Downloads 116
9021 Review of Current Literature on Use of Prazosin for Treatment of Post-Traumatic Stress Disorder Related Sleep Disturbances in Child and Adolescent Population

Authors: Davit Khachatryan, Shuo Xiang

Abstract:

Numerous published studies on the use of prazosin in the treatment of PTSD-related sleep disturbances in adult population have resulted in updates to the recommendation for prazosin for nightmares that showed its strength of evidence elevated from C to B in the US Department of Veterans Affairs clinical practice guideline. In addition, the American Academy of Sleep Medicine clinical practice guideline gave prazosin a level-A recommendation for the treatment of PTSD-associated nightmares. The aim of this review is to summarize the available literature for prazosin use for nightmares and other sleep disturbances in children and adolescents with PTSD. Method: A comprehensive search for studies on prazosin use for sleep disturbances in child and adolescent population with PTSD has been performed. We looked at MEDLINE, EMBASE, PsycINFO, CINAHL, AMED, Scopus, Web of Science, and Cochrane CENTRAL databases. Results: Compared to adult population with similar psychopathology, the available literature in child and adolescent population is scarce. Despite increased interest in prazosin in the management of PTSD, only six studies investigating this medication in children and adolescents have been published. Conclusion: A large randomized control trial on this topic is needed for more definite evidence on the efficacy and safety of prazosin in the treatment of nightmares in children and adolescents with PTSD.

Keywords: guidelines, prazosin, PTSD, sleep disturbance

Procedia PDF Downloads 371
9020 Compromised Sexual Territoriality under Reflexive Cosmopolitanism: From Coffee Bean to Gay Bean in South Korea

Authors: Robert Christopher Hamilton

Abstract:

This research examined the effects of reflexive cosmopolitanism on the competition for sexual territoriality. By adopting Michel De Certeau’s (1984) spatial didactic model, the article maps out the key elements at play and the dynamics explaining how gays gay place in the backdrop of rapid modernization. It found that heterosexual space and heteronormative assumptions helped to create temporal and spatial opportunities that allow for sexual performativity of gay males. Moreover, using data collected from multiple semi-controlled one-on-one interviews over 13 months, this article illustrates how spatial competition culminates in non-zero sum game outcomes and particularly to compromise of sexual territoriality while further demonstrating the need to understand the sexual coping tactics used in cultures with similar backgrounds. The findings enable researchers to better understand how gay men gay space, and how space performatively embodies gay men.

Keywords: South Korea, coffee bean, sexual territoriality, reflexive cosmopolitanism

Procedia PDF Downloads 315
9019 Anticancer Activity of Edible Coprinus Mushroom (Coprinus comatus) on Human Glioblastoma Cell Lines and Interaction with Temozolomide

Authors: Maria Borawska, Patryk Nowakowski, Sylwia K. Naliwajko, Renata Markiewicz-Zukowska, Anna Puscion-Jakubik, Krystyna Gromkowska-Kepka, Justyna Moskwa

Abstract:

Coprinus comatus (O. F. Müll.) Pers.) should not be confused with the common Ink Cap, which contains coprine and can induce coprine poisoning. We study the possibility of applying coprinus mushroom (Coprinus comatus), available in Poland, as food product supporting the treatment of human glioblastoma cells. The U87MG and T98 glioblastoma cell lines were exposed to water (CW) or ethanol 95° (CE) Cantharellus extracts (50-500 μg/ml), with or without temozolomide (TMZ) during 24, 48 or 72 hours. The cell division was examined by the H³-thymidine incorporation. The statistical analysis was performed using Statistica v. 13.0 software. Significant differences were assumed for p < 0.05. We found that both, CW and CE, administrated alone, had inhibitory effect on cell lines growth, but the CE extract had a higher degree of growth inhibition. The anti-tumor effect of TMZ (50 μM) on U87MG was enhanced by mushroom extracts, and the effect was lower to the effect after using Coprinus comatus extracts (CW and CE) alone. A significant decrease (p < 0.05) in pro-MMP2 (82.61 ± 6.3% of control) secretion in U87MG cells was observed after treated with CE (250 μg/ml). We conclude that extracts of Coprinus comatus, edible mushroom, present cytotoxic properties on U87MG and T98 cell lines and may cooperate with TMZ synergistically enhancing its growth inhibiting activity against glioblastoma U87MG cell line.

Keywords: anticancer, glioma, mushroom, temozolomide

Procedia PDF Downloads 179
9018 Effect of Financial and Institutional Ecosystems on Startup Mergers and Acquisitions

Authors: Saurabh Ahluwalia, Sul Kassicieh

Abstract:

The conventional wisdom has maintained that being in proximity to entrepreneurial ecosystems helps startups to raise financing, develop and grow. In this paper, we examine the effect of a major component of an entrepreneurial ecosystem- financial or venture capital clusters on the exit of a startup through mergers and acquisitions (M&A). We find that the presence of a venture capitalist in a venture capital (VC) cluster is a major success factor for M&A exits. The location of startups in the top VC clusters did not turn out to be significant for success. Our results are robust to different specifications of the model that use different time periods, types of success, the reputation of VC, industry and the quality of the startup company. Our results provide evidence for VCs, startups and policymakers who want to better understand the components of entrepreneurial ecosystems and their relation to the M&A exits of startups.

Keywords: financial institution, mergers and acquisitions, startup financing, venture capital

Procedia PDF Downloads 186
9017 Mapping Tunnelling Parameters for Global Optimization in Big Data via Dye Laser Simulation

Authors: Sahil Imtiyaz

Abstract:

One of the biggest challenges has emerged from the ever-expanding, dynamic, and instantaneously changing space-Big Data; and to find a data point and inherit wisdom to this space is a hard task. In this paper, we reduce the space of big data in Hamiltonian formalism that is in concordance with Ising Model. For this formulation, we simulate the system using dye laser in FORTRAN and analyse the dynamics of the data point in energy well of rhodium atom. After mapping the photon intensity and pulse width with energy and potential we concluded that as we increase the energy there is also increase in probability of tunnelling up to some point and then it starts decreasing and then shows a randomizing behaviour. It is due to decoherence with the environment and hence there is a loss of ‘quantumness’. This interprets the efficiency parameter and the extent of quantum evolution. The results are strongly encouraging in favour of the use of ‘Topological Property’ as a source of information instead of the qubit.

Keywords: big data, optimization, quantum evolution, hamiltonian, dye laser, fermionic computations

Procedia PDF Downloads 183
9016 Bacterial Profiling and Development of Molecular Diagnostic Assays for Detection of Bacterial Pathogens Associated with Bovine mastitis

Authors: Aqeela Ashraf, Muhammad Imran, Tahir Yaqub, Muhammad Tayyab, Yung Fu Chang

Abstract:

For the identification of bovine mastitic pathogen, an economical, rapid and sensitive molecular diagnostic assay is developed by PCR multiplexing of gene and pathogenic species specific DNA sequences. The multiplex PCR assay is developed for detecting nine important bacterial pathogens causing mastitis Worldwide. The bacterial species selected for this study are Streptococcus agalactiae, Streptococcus dysagalactiae, Streptococcus uberis, Staphylococcus aureus, Escherichia coli, Staphylococcus haemolyticus, Staphylococcus chromogenes Mycoplasma bovis and Staphylococcus epidermidis. A single reaction assay was developed and validated by 27 reference strains and further tested on 276 bacterial strains obtained from culturing mastitic milk. The multiplex PCR assay developed here is further evaluated by applying directly on genomic DNA isolated from 200 mastitic milk samples. It is compared with bacterial culturing method and proved to be more sensitive, rapid, economical and can specifically identify 9 bacterial pathogens in a single reaction. It has detected the pathogens in few culture negative mastitic samples. Recognition of disease is the foundation of disease control and prevention. This assay can be very helpful for maintaining the udder health and milk monitoring.

Keywords: multiplex PCR, bacteria, mastitis, milk

Procedia PDF Downloads 319
9015 Study on an Integrated Real-Time Sensor in Droplet-Based Microfluidics

Authors: Tien-Li Chang, Huang-Chi Huang, Zhao-Chi Chen, Wun-Yi Chen

Abstract:

The droplet-based microfluidic are used as micro-reactors for chemical and biological assays. Hence, the precise addition of reagents into the droplets is essential for this function in the scope of lab-on-a-chip applications. To obtain the characteristics (size, velocity, pressure, and frequency of production) of droplets, this study describes an integrated on-chip method of real-time signal detection. By controlling and manipulating the fluids, the flow behavior can be obtained in the droplet-based microfluidics. The detection method is used a type of infrared sensor. Through the varieties of droplets in the microfluidic devices, the real-time conditions of velocity and pressure are gained from the sensors. Here the microfluidic devices are fabricated by polydimethylsiloxane (PDMS). To measure the droplets, the signal acquisition of sensor and LabVIEW program control must be established in the microchannel devices. The devices can generate the different size droplets where the flow rate of oil phase is fixed 30 μl/hr and the flow rates of water phase range are from 20 μl/hr to 80 μl/hr. The experimental results demonstrate that the sensors are able to measure the time difference of droplets under the different velocity at the voltage from 0 V to 2 V. Consequently, the droplets are measured the fastest speed of 1.6 mm/s and related flow behaviors that can be helpful to develop and integrate the practical microfluidic applications.

Keywords: microfluidic, droplets, sensors, single detection

Procedia PDF Downloads 476
9014 Railway Crane Accident: A Comparative Metallographic Test on Pins Fractured during Operation

Authors: Thiago Viana

Abstract:

Eventually train accidents occur on railways and for some specific cases it is necessary to use a train rescue with a crane positioned under a platform wagon. These tumbled machines are collected and sent to the machine shop or scrap yard. In one of these cranes that were being used to rescue a wagon, occurred a fall of hoist due to fracture of two large pins. The two pins were collected and sent for failure analysis. This work investigates the main cause and the secondary causes for the initiation of the fatigue crack. All standard failure analysis procedures were applied, with careful evaluation of the characteristics of the material, fractured surfaces and, mainly, metallographic tests using an optical microscope to compare the geometry of the peaks and valleys of the thread of the pins and their respective seats. By metallographic analysis, it was concluded that the fatigue cracks were started from a notch (stress concentration) in the valley of the threads of the pin applied to the right side of the crane (pin 1). In this, it was verified that the peaks of the threads of the pin seat did not have proper geometry, with sharp edges being present that caused such notches. The visual analysis showed that fracture of the pin on the left side of the crane (pin 2) was brittle type, being a consequence of the fracture of the first one. Recommendations for this and other railway cranes have been made, such as nondestructive testing, stress calculation, design review, quality control and suitability of the mechanical forming process of the seat threads and pin threads.

Keywords: crane, fracture, pin, railway

Procedia PDF Downloads 95