Search results for: formal verification
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 1370

Search results for: formal verification

1040 Designing an Agent-Based Model of SMEs to Assess Flood Response Strategies and Resilience

Authors: C. Li, G. Coates, N. Johnson, M. Mc Guinness

Abstract:

In the UK, flooding is responsible for significant losses to the economy due to the impact on businesses, the vast majority of which are Small and Medium Enterprises (SMEs). Businesses of this nature tend to lack formal plans to aid their response to and recovery from disruptive events such as flooding. This paper reports on work on how an agent-based model (ABM) is being developed based on interview data gathered from SMEs at-risk of flooding and/or have direct experience of flooding. The ABM will enable simulations to be performed allowing investigations of different response strategies which SMEs may employ to lessen the impact of flooding, thus strengthening their resilience.

Keywords: ABM, flood response, SMEs, business continuity

Procedia PDF Downloads 290
1039 A Game-Theory-Based Price-Optimization Algorithm for the Simulation of Markets Using Agent-Based Modelling

Authors: Juan Manuel Sanchez-Cartas, Gonzalo Leon

Abstract:

A price competition algorithm for ABMs based on game theory principles is proposed to deal with the simulation of theoretical market models. The algorithm is applied to the classical Hotelling’s model and to a two-sided market model to show it leads to the optimal behavior predicted by theoretical models. However, when theoretical models fail to predict the equilibrium, the algorithm is capable of reaching a feasible outcome. Results highlight that the algorithm can be implemented in other simulation models to guarantee rational users and endogenous optimal behaviors. Also, it can be applied as a tool of verification given that is theoretically based.

Keywords: agent-based models, algorithmic game theory, multi-sided markets, price optimization

Procedia PDF Downloads 426
1038 The Impact on the Network Deflectometry

Authors: Djamel–Eddine Yassine Boutiba

Abstract:

In this present memory, we present the various impacts deflectometer leading to the sizing by strengthening of existing roadways. It reminds that the road network in Algeria plays a major role with regard to drainage in major strategic areas and especially in the fringe northern Algeria. Heavy traffic passing through the northern fringe (between 25% and 30% heavy vehicles) causes substantial degradations at both the surface layer and base layer. The work on site by means within the laboratory CTTP such as deflectographe Lacroix, allowed us to record a large number of deflection localized bending on RN19A (Carrefour CW73-Ain- Merane), whose analysis of the results led us to opt for a building throughout the band's project . By the recorder against HWD (Heavy Weight déflectometer) allowed us to learn about the behavior of the pavement on the banks. In addition, the Software Alize III has been essential in the verification of the increase in the thickness dimensioned.

Keywords: capacity, deflection, deflectograph lacroix, degradation, hwd

Procedia PDF Downloads 264
1037 On the Semantics and Pragmatics of 'Be Able To': Modality and Actualisation

Authors: Benoît Leclercq, Ilse Depraetere

Abstract:

The goal of this presentation is to shed new light on the semantics and pragmatics of be able to. It presents the results of a corpus analysis based on data from the BNC (British National Corpus), and discusses these results in light of a specific stance on the semantics-pragmatics interface taking into account recent developments. Be able to is often discussed in relation to can and could, all of which can be used to express ability. Such an onomasiological approach often results in the identification of usage constraints for each expression. In the case of be able to, it is the formal properties of the modal expression (unlike can and could, be able to has non-finite forms) that are in the foreground, and the modal expression is described as the verb that conveys future ability. Be able to is also argued to expressed actualised ability in the past (I was able/could to open the door). This presentation aims to provide a more accurate pragmatic-semantic profile of be able to, based on extensive data analysis and one that is embedded in a very explicit view on the semantics-pragmatics interface. A random sample of 3000 examples (1000 for each modal verb) extracted from the BNC was analysed to account for the following issues. First, the challenge is to identify the exact semantic range of be able to. The results show that, contrary to general assumption, be able to does not only express ability but it shares most of the root meanings usually associated with the possibility modals can and could. The data reveal that what is called opportunity is, in fact, the most frequent meaning of be able to. Second, attention will be given to the notion of actualisation. It is commonly argued that be able to is the preferred form when the residue actualises: (1) The only reason he was able to do that was because of the restriction (BNC, spoken) (2) It is only through my imaginative shuffling of the aces that we are able to stay ahead of the pack. (BNC, written) Although this notion has been studied in detail within formal semantic approaches, empirical data is crucially lacking and it is unclear whether actualisation constitutes a conventional (and distinguishing) property of be able to. The empirical analysis provides solid evidence that actualisation is indeed a conventional feature of the modal. Furthermore, the dataset reveals that be able to expresses actualised 'opportunities' and not actualised 'abilities'. In the final part of this paper, attention will be given to the theoretical implications of the empirical findings, and in particular to the following paradox: how can the same expression encode both modal meaning (non-factual) and actualisation (factual)? It will be argued that this largely depends on one's conception of the semantics-pragmatics interface, and that this need not be an issue when actualisation (unlike modality) is analysed as a generalised conversational implicature and thus is considered part of the conventional pragmatic layer of be able to.

Keywords: Actualisation, Modality, Pragmatics, Semantics

Procedia PDF Downloads 109
1036 The Role of Learning in Stimulation Policies to Increase Participation in Lifelong Development: A Government Policy Analysis

Authors: Björn de Kruijf, Arjen Edzes, Sietske Waslander

Abstract:

In an ever-quickly changing society, lifelong development is seen as a solution to labor market problems by politicians and policymakers. In this paper, we investigate how policy instruments are used to increase participation in lifelong development and on which behavioral principles policy is based. Digitization, automation, and an aging population change society and the labor market accordingly. Skills that were once most sought after in the workforce can become abundantly present. For people to remain relevant in the working population, they need to continue adapting new skills useful in the current labor market. Many reports have been written that focus on the role of lifelong development in this changing society and how lifelong development can help keep people adapt and stay relevant. Inspired by these reports, governments have implemented a broad range of policies to support participation in lifelong development. The question we ask ourselves is how government policies promote participation in lifelong development. This stems from a complex interplay of policy instruments and learning. Regulation, economic and soft instruments can be combined to promote lifelong development, and different types of education further complex policies on lifelong development. Literature suggests that different stages in people’s lives might warrant different methods of learning. Governments could anticipate this in their policies. In order to influence people’s behavior, the government can tap into a broad range of sociological, psychological, and (behavioral) economic principles. The traditional economic assumption that behavior is rational is known to be only partially true, and the government can use many biases in human behavior to stimulate participation in lifelong development. In this paper, we also try to find which biases the government taps into to promote participation if they tap into any of these biases. The goal of this paper is to analyze government policies intended to promote participation in lifelong development. To do this, we develop a framework to analyze the policies on lifelong development. We specifically incorporate the role of learning and the behavioral principles underlying policy instruments in the framework. We apply this framework to the case of the Netherlands, where we examine a set of policy documents. We single out the policies the government has put in place and how they are vertically and horizontally related. Afterward, we apply the framework and classify the individual policies by policy instrument and by type of learning. We find that the Dutch government focuses on formal and non-formal learning in their policy instruments. However, the literature suggests that learning at a later age is mainly done in an informal manner through experiences.

Keywords: learning, lifelong development, policy analysis, policy instruments

Procedia PDF Downloads 67
1035 Production of Biodiesel Using Brine Waste as a Heterogeneous Catalyst

Authors: Hilary Rutto, Linda Sibali

Abstract:

In these modern times, we constantly search for new and innovative technologies to lift the burden of our extreme energy demand. The overall purpose of biofuel production research is to source an alternative energy source to replace the normal use of fossil fuel as liquid petroleum products. This experiment looks at the basis of biodiesel production with regards to alternative catalysts that can be used to produce biodiesel. The key factors that will be addressed during the experiments will focus on temperature variation, catalyst additions to the overall reaction, methanol to oil ratio, and the impact of agitation on the reaction. Brine samples sources from nearby plants will be evaluated and tested thoroughly and the key characteristics of these brine samples analysed for the verification of its use as a possible catalyst in biodiesel production. The one factor at a time experimental approach was used in this experiment, and the recycle and reuse characteristics of the heterogeneous catalyst was evaluated.

Keywords: brine sludge, heterogenous catalyst, biodiesel, one factor

Procedia PDF Downloads 149
1034 The Effectiveness of Multiple versus Once-Only Membrane Sweeping in Uncomplicated Primi Gravida at 40 Weeks of Gestational Age in a Tertiary Care Hospital, Sri Lanka: A Randomized Controlled Trial

Authors: Jeewantha Ranawaka, Gunawardane Kapila, Wijethunaga Mudiyanselage B. G. Jayathilake

Abstract:

Introduction: Sweeping of the membranes is a fairly simple technique that may positively influence the shift from maintenance of pregnancy to the beginning of labor. Objective: To assess the effectiveness and acceptability of twice versus once-only membrane sweeping in uncomplicated primi gravid at 40 weeks of gestational age in a tertiary care hospital in Sri Lanka. Methods: A randomized controlled clinical trial was done in Ward 05 of Teaching Hospital, Kandy. The participants were primi-gravida with a singleton live fetus who was at 40 weeks of gestation with intact fetal membranes and with a Modified Bishop’s score <5. After randomization both groups received membrane sweeping at 40 weeks of gestation and the experimental group received membrane sweeping after 48 hours (40+2 days). The modified Bishop Score was assessed at 40+5 days. In two groups who did not go into natural labor at 40+5 days were managed according to the ward policy of cervical ripening and with labor induction at 40+5 days. Two different methods were used to assess discomfort and pain. Patient acceptability was assessed using recommendation to another patient and acceptance during next pregnancy. Perinatal, maternal and labour outcomes were assessed. Results: A change of the Bishops score was 67.3% (n= 31 of 46) in experimental group whereas in control group it was 57.5% (n= 38 of 66). (p = 0.21, OR-1.52, CI = 0.6 -3.34). Mean (SD) of Modified Bishop score was 6.36 (1.94) in experimental group and 6.03 (.84) in control group (p = 0.354). The probability of having the spontaneous onset of labour in experimental group was 61.6% (n=74 of 120) whereas in control group it was 45% (n= 54 of 120) (p=0.01, OR-1.966, CI = 1.17 – 3.28 NNT = 5.99). Recommending the method to another among experimental group was 75% (n= 90 of 120) whereas in control group it was 79.2% (n= 95 of 120) (p= 0.443). Accepting membrane Sweeping for subsequent pregnancy among experimental was 72.5% (n=87 of 120) whereas in control group was 72.5% (n=87 of 120) (p= 1.00) Need of formal induction of labour at 40+ 5 days in experimental group was 38.4% (n=46 of 120) whereas in control group was 61.6% (n=66 of 120) (p=0.01, OR=0.5, CI= 0.3 – 0.8, NNT=6). Neonatal outcome, labour outcome such as Cesarean -section rate, need for augmentation and maternal complications such as fever, Premature rupture of membrane, bleeding were comparable in two groups. Conclusions and Recommendations: It can be concluded that twice sweeping of membrane was effective to reduce the need of formal induction of labour and increase the chances of having spontaneous onset of labour (SOL) at 40+5 days without increasing maternal or fetal morbidity. Acceptability of twice sweeping is not different from sweeping once. Hence we recommend consideration of multiple membranes sweeping as first line for women at 40 weeks of gestation.

Keywords: acceptability, induction, labour, membrane sweeping

Procedia PDF Downloads 281
1033 A Framework for Rating Synchronous Video E-Learning Applications

Authors: Alex Vakaloudis, Juan Manuel Escano-Gonzalez

Abstract:

Setting up a system to broadcast live lectures on the web is a procedure which on the surface does not require any serious technical skills mainly due to the facilities provided by popular learning management systems and their plugins. Nevertheless, producing a system of outstanding quality is a multidisciplinary and by no means a straightforward task. This complicatedness may be responsible for the delivery of an overall poor experience to the learners, and it calls for a formal rating framework that takes into account the diverse aspects of an architecture for synchronous video e-learning systems. We discuss the specifications of such a framework which at its final stage employs fuzzy logic technique to transform from qualitative to quantitative results.

Keywords: synchronous video, fuzzy logic, rating framework, e-learning

Procedia PDF Downloads 539
1032 Exchanges between Literature and Cinema: Scripted Writing in the Novel "Miguel e os Demônios", by Lourenço Mutarelli

Authors: Marilia Correa Parecis De Oliveira

Abstract:

This research looks at the novel Miguel e os demônios (2009), by the contemporary Brazilian author Lourenço Mutarelli. In it, the presence of film language resources is remarkable, creating thus a kind of scripted writing. We intend to analyze the presence of film language in work under study, in which there is a mixture of the characteristics of the novel and screenplay genres, trying to explore which aesthetic and meaning effects of the ownership of a visual language for the creation of a literary text create in the novel. The objective of this research is to identify and analyze the formal and thematic aspects that characterize the hybridity of literature and film in the novel by Lourenço Mutarelli. The method employed comprises reading and production cataloging of theoretical and critical texts, literary and film theory, historical review about the author, and also the realization of an analytical and interpretative reading of novel. In Miguel e os demônios there is a range of formal and thematic elements of popular narrative genres such as the detective story and action film, with a predominance of verb forms in the present and NPs - features that tend to make present the narrated scenes, as in the cinema. The novel, in this sense, is located in an intermediate position between the literary text and the pre-film text, as though filled with proper elements of the language of film, you can not fit it categorically in the genre script, since it does not reduce the script because aspires to be read as a novel. Therefore, the difficulty of fitting the work in a single gender also refused to be extra-textual factors - such as your publication as novel - but, rather, by the binary classifications serve solely to imprison the work on a label, which impoverish not only reading the text, as also the possibility of recognizing literature as a constant dialogue space and interaction with other media. We can say, therefore, that frame the work Miguel e os demônios in one of the two genres (novel or screenplay) proves not enough, since the text is revealed a hybrid narrative, consisting in a kind of scripted writing. In this sense, it is like a text that is born in a society saturated by audiovisual in their daily lives in order to be consumed by readers who, in ascending scale, exchange books by visual narratives. However, the novel uses film's resources without giving up its constitution as literature; on the contrary, it enriches the visual and linguistically, dialoguing with the complex contemporary horizon marked by the cultural industry.

Keywords: Brazilian literature, cinema, Lourenço Mutarelli, screenplay

Procedia PDF Downloads 293
1031 Advocating for Indigenous Music in Latin American Music Education

Authors: Francisco Luis Reyes

Abstract:

European colonization had a profound impact on Latin America. The influence of the old continent can be perceived in the culture, religion, and language of the region as well as the beliefs and attitudes of the population. Music education is not an exception to this phenomenon. With Europeans controlling cultural life and erecting educational institutions across the continent for several centuries, Western European Art Music (WEAM) has polarized music learning in formal spaces. In contrast, the musics from the indigenous population, the African slaves, and the ones that emerged as a result of the cultural mélanges have largely been excluded from primary and secondary schooling. The purpose of this paper is to suggest the inclusion of indigenous music education in primary and secondary music education. The paper employs a philosophical inquiry in order to achieve this aim. Philosophical inquiry seeks to uncover and examine individuals' unconscious beliefs, principles, values, and assumptions to envision potential possibilities. This involves identifying and describing issues within current music teaching and learning practices. High-quality philosophical research tackles problems that are sufficiently narrow (addressing a specific aspect of a single complex topic), realistic (reflecting the experiences of music education), and significant (addressing a widespread and timely issue). Consequently, this methodological approach fits this topic, as the research addresses the omnipresence of WEAM in Latin American music education, the exclusion of indigenous music, and argues about the transformational impact said artistic expressions can have on practices in the region. The paper initially addresses how WEAM became ubiquitous in the region by recounting historical events, and adressing the issues other types of music face entering higher education. According to Shifres and Rosabal-Coto (2017) Latin America still upholds the musical heritage of their colonial period, and its formal music education institutions promote the European ontology instilled during European expansion. In accordance, the work of Reyes and Lorenzo-Quiles (2024), and Soler, Lorenzo-Quiles, and Hargreaves (2014), demonstrate how music institutions in the region uphold foreign narratives. Their studies show that music programs in Puerto Rico and Colombia instruct students in WEAM as well as require skills in said art form to enter the profession, just like other authors have argued (Cain & Walden, 2019, Walden, 2016). Subsequently, the research explains the issues faced by prospective music educators that do not practice WEAM. Roberts (1991a, 1991b, 1993), Green (2012) have found that music education students that do not adhere to the musical culture of their institution, are less likely to finish their degrees. Hence, practicioners of tradional musics might feel out of place in the environment. The ubiquity of WEAM and the exclusion of traditional musics of the region, provide the primary challenges to the inclusion of indigenous musics in formal spaces in primary and secondary education. The presentation then laids the framework for the inclusion indigenous music, and conclusively offers examples of how the musical expressions from the continent can improove the music education practices of the region. As an ending, the article highlights the benefits of these musics that are lacking in current practices.

Keywords: indigenous music education, postmodern music education, decolonization in music education, music education practice, Latin American music education

Procedia PDF Downloads 10
1030 A First Step towards Automatic Evolutionary for Gas Lifts Allocation Optimization

Authors: Younis Elhaddad, Alfonso Ortega

Abstract:

Oil production by means of gas lift is a standard technique in oil production industry. To optimize the total amount of oil production in terms of the amount of gas injected is a key question in this domain. Different methods have been tested to propose a general methodology. Many of them apply well-known numerical methods. Some of them have taken into account the power of evolutionary approaches. Our goal is to provide the experts of the domain with a powerful automatic searching engine into which they can introduce their knowledge in a format close to the one used in their domain, and get solutions comprehensible in the same terms, as well. These proposals introduced in the genetic engine the most expressive formal models to represent the solutions to the problem. These algorithms have proven to be as effective as other genetic systems but more flexible and comfortable for the researcher although they usually require huge search spaces to justify their use due to the computational resources involved in the formal models. The first step to evaluate the viability of applying our approaches to this realm is to fully understand the domain and to select an instance of the problem (gas lift optimization) in which applying genetic approaches could seem promising. After analyzing the state of the art of this topic, we have decided to choose a previous work from the literature that faces the problem by means of numerical methods. This contribution includes details enough to be reproduced and complete data to be carefully analyzed. We have designed a classical, simple genetic algorithm just to try to get the same results and to understand the problem in depth. We could easily incorporate the well mathematical model, and the well data used by the authors and easily translate their mathematical model, to be numerically optimized, into a proper fitness function. We have analyzed the 100 curves they use in their experiment, similar results were observed, in addition, our system has automatically inferred an optimum total amount of injected gas for the field compatible with the addition of the optimum gas injected in each well by them. We have identified several constraints that could be interesting to incorporate to the optimization process but that could be difficult to numerically express. It could be interesting to automatically propose other mathematical models to fit both, individual well curves and also the behaviour of the complete field. All these facts and conclusions justify continuing exploring the viability of applying the approaches more sophisticated previously proposed by our research group.

Keywords: evolutionary automatic programming, gas lift, genetic algorithms, oil production

Procedia PDF Downloads 147
1029 Knitting Stitches’ Manipulation for Catenary Textile Structures

Authors: Virginia Melnyk

Abstract:

This paper explores the design for catenary structure using knitted textiles. Using the advantages of Grasshopper and Kangaroo parametric software to simulate and pre-design an overall form, the design is then translated to a pattern that can be made with hand manipulated stitches on a knitting machine. The textile takes advantage of the structure of knitted materials and the ability for it to stretch. Using different types of stitches to control the amount of stretch that can occur in portions of the textile generates an overall formal design. The textile is then hardened in an upside-down hanging position and then flipped right-side-up. This then becomes a structural catenary form. The resulting design is used as a small Cat House for a cat to sit inside and climb on top of.

Keywords: architectural materials, catenary structures, knitting fabrication, textile design

Procedia PDF Downloads 165
1028 Numerical Simulation and Experimental Validation of the Tire-Road Separation in Quarter-car Model

Authors: Quy Dang Nguyen, Reza Nakhaie Jazar

Abstract:

The paper investigates vibration dynamics of tire-road separation for a quarter-car model; this separation model is developed to be close to the real situation considering the tire is able to separate from the ground plane. A set of piecewise linear mathematical models is developed and matches the in-contact and no-contact states to be considered as mother models for further investigations. The bound dynamics are numerically simulated in the time response and phase portraits. The separation analysis may determine which values of suspension parameters can delay and avoid the no-contact phenomenon, which results in improving ride comfort and eliminating the potentially dangerous oscillation. Finally, model verification is carried out in the MSC-ADAMS environment.

Keywords: quarter-car vibrations, tire-road separation, separation analysis, separation dynamics, ride comfort, ADAMS validation

Procedia PDF Downloads 73
1027 An Axisymmetric Finite Element Method for Compressible Swirling Flow

Authors: Raphael Zanella, Todd A. Oliver, Karl W. Schulz

Abstract:

This work deals with the finite element approximation of axisymmetric compressible flows with swirl velocity. We are interested in problems where the flow, while weakly dependent on the azimuthal coordinate, may have a strong azimuthal velocity component. We describe the approximation of the compressible Navier-Stokes equations with H1-conformal spaces of axisymmetric functions. The weak formulation is implemented in a C++ solver with explicit time marching. The code is first verified with a convergence test on a manufactured solution. The verification is completed by comparing the numerical and analytical solutions in a Poiseuille flow case and a Taylor-Couette flow case. The code is finally applied to the problem of a swirling subsonic air flow in a plasma torch geometry.

Keywords: axisymmetric problem, compressible Navier-Stokes equations, continuous finite elements, swirling flow

Procedia PDF Downloads 160
1026 Adopting the Community Health Workers Master List Registry for Community Health Workforce in Kenya

Authors: Gikunda Aloise, Mjema Saida, Barasa Herbert, Wanyungu John, Kimani Maureen

Abstract:

Background: Community Health Workforce (CHW) is health care providers at the community level (Level 1) and serves as a bridge between the community and the formal healthcare system. This human resource has enormous potential to extend healthcare services and ensures that the vulnerable, marginalized, and hard-to-reach populations have access to quality healthcare services at the community and primary health facility levels. However, these cadres are neither recognized, remunerated, nor in most instances, registered in a master list. Management and supervision of CHWs is not easy if their individual demographics, training capacity and incentives is not well documented through a centralized registry. Description: In February 2022, Amref supported the Kenya Ministry of Health in developing a community health workforce database called Community Health Workers Master List Registry (CHWML), which is hosted in Kenya Health Information System (KHIS) tracker. CHW registration exercise was through a sensitization meeting conducted by the County Community Health Focal Person for the Sub-County Community Health Focal Person and Community Health Assistants who uploaded information on individual demographics, training undertaken and incentives received by CHVs. Care was taken to ensure compliance with Kenyan laws on the availability and use of personal data as prescribed by the Data Protection Act, 2019 (DPA). Results and lessons learnt: By June 2022, 80,825 CHWs had been registered in the system; 78,174 (96%) CHVs and 2,636 (4%) CHAs. 25,235 (31%) are male, 55,505 (68%) are female & 85 (1%) are transgender. 39,979. (49%) had secondary education and 2500 (3%) had no formal education. Only 27 641 (34%) received a monthly stipend. 68,436 CHVs (85%) had undergone basic training. However, there is a need to validate the data to align with the current situation in the counties. Conclusions/Next steps: The use of CHWML will unlock opportunities for building more resilient and sustainable health systems and inform financial planning, resource allocation, capacity development, and quality service delivery. The MOH will update the CHWML guidelines in adherence to the data protection act which will inform standard procedures for maintaining, updating the registry and integrate Community Health Workforce registry with the HRH system.

Keywords: community health registry, community health volunteers (CHVs), community health workers masters list (CHWML), data protection act

Procedia PDF Downloads 105
1025 Single Mothers by Choice at Corona Time - The Perception of Social Support, Happiness and Work-Family Conflict and their Effect on State Anxiety

Authors: Orit Shamir Balderman, Shamir Michal

Abstract:

Israel often deals with crisis situations, but most have been characterized as security crises (e.g., war). This is the first time that the Israel has dealt with a health and social emergency as part of a global crisis. The crisis began in January 2020 with the emergence of the novel coronavirus (Covid-19), which was defined as a pandemic (World Health Organization, 2020) and arrived in Israel in early March 2020. This study examined how single mothers by choice (SMBC) experience state anxiety (SA), social support, work–family conflict (WFC), and happiness. This group has not been studied in the context of crises in general or a global crisis. Using a snowball sample, 386 SMBCanswered an online questionnaire. The findings show a negative relationship between income and level of state anxiety. State anxiety was also negatively associated with social support, level of happiness, and WFC. Finally, a stepwise regression analysis indicated that happiness explained 34% of the variance in SA. We also found that most of the women did not turn to formal support agencies such as social workers, other Government Ministries, or municipal welfare. A positive and strong correlations was also found between SA and WFC. The findings of the study reinforce the understanding that although these women made a conscious and informed decision regarding the choice of their family cell, their situation is more complex in the absence of a spouse support. Therefore, this study, as other future studies in the field of SMBC, may contribute to the improvement of their social status and the understanding that they are a unique group. Although SMBC are a growing sector of society in the past few years, there are still special needs and special attention that is needed from the formal and informal supports systems. A comparative study of these two groups and in different countries would shed light on SA among mothers in general, regardless of their relationship status and location.Researchers should expand this study by comparing mothers in relationships and exploring how SMBC coped in other countries. In summary, the findings of the study contribute knowledge on three levels: (a) knowledge about SMBC in general and during crisis situations; (b) examination of social support using tools assessing receipt of assistance and support, some of which were developed for the present study; and (c) insights regarding counseling, accompaniment, and guidance of welfare mechanisms.

Keywords: single mothers by choice, state anxiety, social support, happiness, work–family conflict

Procedia PDF Downloads 67
1024 Calculation of Stress Intensity Factors in Rotating Disks Containing 3D Semi-Elliptical Cracks

Authors: Mahdi Fakoor, Seyed Mohammad Navid Ghoreishi

Abstract:

Initiation and propagation of cracks may cause catastrophic failures in rotating disks, and hence determination of fracture parameter in rotating disks under the different working condition is very important issue. In this paper, a comprehensive study of stress intensity factors in rotating disks containing 3D semi-elliptical cracks under the different working condition is investigated. In this regard, after verification of modeling and analytical procedure, the effects of mechanical properties, rotational velocity, and orientation of cracks on Stress Intensity Factors (SIF) in rotating disks under centrifugal loading are investigated. Also, the effects of using composite patch in reduction of SIF in rotating disks are studied. By that way, the effects of patching design variables like mechanical properties, thickness, and ply angle are investigated individually.

Keywords: stress intensity factor, semi-elliptical crack, rotating disk, finite element analysis (FEA)

Procedia PDF Downloads 343
1023 Challenges Faced by Family-Owned Education Institutions in Nepal in Implementing Effective Succession Planning Strategies

Authors: Arpan Upadhyaya, Sunaina Kuknor

Abstract:

The paper examines the succession management strategies and the preparation level of heirs in the context of family-owned educational institutions in Nepal. Sixteen in-depth, semi-structured interviews with the institution's leader were conducted. The study's findings show the lack of awareness about the importance of succession planning among the institution owners due to the availability of limited resources. The paper also provides some insights into how family ownership and management are done and the lack of formal processes in succession management strategies. It will aid researchers in considering the societal perspective of the successor, which is also a significant worry.

Keywords: effective plans, family business, interest, leadership, successor

Procedia PDF Downloads 86
1022 A Qualitative Study of Unmet Needs of Families of Children with Cerebral Palsy in Bangladesh

Authors: Reshma Parvin Nuri, Heather Michelle Aldersey, Setareh Ghahari

Abstract:

Objectives: Worldwide, it is well known that taking care of children with disabilities (CWD) can have a significant impact on the entire family unit. Over the last few decades, an increased number of studies have been conducted on families of CWD in higher income countries, and much of this research has identified family needs and strategies to meet those needs. However, family needs are incredibly under-studied in developing countries. Therefore, the aims of this study were to: (a) explore the needs of families of children with cerebral palsy (CP) in Bangladesh; (b) investigate how some of the family needs have been met and (c) identify the sources of supports that might help the families to meet their needs in the future. Methods: A face to face, semi-structured in-depth interview was conducted with 20 family members (12 mothers, 4 fathers, 1 sister, 2 grandmothers, and 1 aunt) who visited the Centre for the Rehabilitation of the Paralysed (CRP), Bangladesh between June and August 2016. Constant comparison method of grounded theory approach within the broader spectrum of qualitative study was used to analyze the data. Results: Participants identified five categories of needs: (a) financial needs, (b) access to disability-related services, (c) family and community cohesion, (d) informational needs, and (e) emotional needs. Participants overwhelmingly reported that financial need is their greatest family need. Participants noted that families encountered additional financial expenses for a child with CP, beyond what they would typically pay for their other children. Participants were seeing education as their non-primary need as they had no hope that their children would be physically able to go to school. Some participants also shared their needs for social inclusion and participation and receiving emotional support. Participants further expressed needs to receive information related to the child’s health condition and availability/accessibility of governmental support programs. Besides unmet needs, participants also highlighted that some of their needs have been met through formal and informal support systems. Formal support systems were mainly institution-based and run by non-governmental organizations, whereas participants identified informal support coming from family, friends and community members. Participants overwhelmingly reported that they receive little to no support from the government. However, participants identified the government as the key stakeholder who can play vital role in meeting their unmet needs. Conclusions: In the next phase of this research, the plan is to understand how the Government of the People’s Republic of Bangladesh is working to meet the needs of families of CWD. There is also need for further study on needs of families of children with conditions other than CP and those who live in the community and do not have access to the CRP Services. There is clear need to investigate ways to enable children with CP have better access to education in Bangladesh.

Keywords: Bangladesh, children with cerebral palsy, family needs, support

Procedia PDF Downloads 358
1021 The Relationship Between Social Support, Happiness, Work-Family Conflict and State-Trait Anxiety Among Single Mothers by Choice at Time of Covid-19 Pandemic

Authors: Shamir Balderman Orit, Shamir Michal

Abstract:

Israel often deals with crisis situations, but most have been characterized as security crises (e.g., war). This is the first time that the Israel has dealt with a health and social emergency as part of a global crisis. The crisis began in January 2020 with the emergence of the novel coronavirus (Covid-19), which was defined as a pandemic (World Health Organization, 2020) and arrived in Israel in early March 2020. This study examined how single mothers by choice (SMBC) experience state anxiety (SA), social support, work–family conflict (WFC), and happiness. This group has not been studied in the context of crises in general or a global crisis. Using a snowball sample, 386 SMBCanswered an online questionnaire. The findings show a negative relationship between income and level of state anxiety. State anxiety was also negatively associated with social support, level of happiness, and WFC. Finally, a stepwise regression analysis indicated that happiness explained 34% of the variance in SA. We also found that most of the women did not turn to formal support agencies such as social workers, other Government Ministries, or municipal welfare. A positive and strong correlations was also found between SA and WFC. The findings of the study reinforce the understanding that although these women made a conscious and informed decision regarding the choice of their family cell, their situation is more complex in the absence of a spouse support. Therefore, this study, as other future studies in the field of SMBC, may contribute to the improvement of their social status and the understanding that they are a unique group. Although SMBC are a growing sector of society in the past few years, there are still special needs and special attention that is needed from the formal and informal supports systems. A comparative study of these two groups and in different countries would shed light on SA among mothers in general, regardless of their relationship status and location. Researchers should expand this study by comparing mothers in relationships and exploring how SMBC coped in other countries. In summary, the findings of the study contribute knowledge on three levels: (a) knowledge about SMBC in general and during crisis situations; (b) examination of social support using tools assessing receipt of assistance and support, some of which were developed for the present study; and (c) insights regarding counseling, accompaniment, and guidance of welfare mechanisms.

Keywords: single mothers by choice, state anxiety, social support, happiness, work-family conflict

Procedia PDF Downloads 86
1020 Teachers' Perceptions of Physical Education and Sports Calendar and Conducted in the Light of the Objective of the Lesson Approach Competencies

Authors: Chelali Mohammed

Abstract:

In the context of the application of the competency-based approach in the system educational Algeria, the price of physical education and sport must privilege the acquisition of learning approaches and especially the approach science, which from problem situations, research and develops him information processing and application of knowledge and know-how in new situations in the words of ‘JOHN DEWEY’ ‘learning by practice’. And to achieve these goals and make teaching more EPS motivating, consistent and concrete, it is appropriate to perform a pedagogical approach freed from the constraints and open to creativity and student-centered in the light of the competency approach adopted in the formal curriculum. This approach is not unusual, but we think it is a highly professional nature requires the competence of the teacher.

Keywords: approach competencies, physical, education, teachers

Procedia PDF Downloads 590
1019 Enhancing African Students’ Learning Experience by Creating Multilingual Resources at a South African University of Technology

Authors: Lisa Graham, Kathleen Grant

Abstract:

South Africa is a multicultural country with eleven official languages, yet most of the formal education at institutions of higher education in the country is in English. It is well known that many students, irrespective of their home language, struggle to grasp difficult scientific concepts and the same is true for students enrolled in the Extended Curriculum Programme at the Cape Peninsula University of Technology (CPUT), studying biomedical sciences. Today we are fortunate in that there is a plethora of resources available to students to research and better understand subject matter online. For example, the students often use YouTube videos to supplement the formal education provided in our course. Unfortunately, most of this material is presented in English. The rationale behind this project lies in that it is well documented that students think and grasp concepts easier in their home language and addresses the fact that the lingua franca of instruction in the field of biomedical science is English. A project aimed at addressing the lack of available resources in most of the South African languages is planned, where students studying Bachelor of Health Science in Medical Laboratory Science will collaborate with those studying Film and Video Technology to create educational videos, explaining scientific concepts in their home languages. These videos will then be published on our own YouTube channel, thereby making them accessible to fellow students, future students and anybody with interest in the subject. Research will be conducted to determine the benefit of the project as well as the published videos to the student community. It is suspected that the students engaged in making the videos will benefit in such a way as to gain further understanding of their course content, a broader appreciation of the discipline, an enhanced sense of civic responsibility, as well as greater respect for the different languages and cultures in our classes. Indeed, an increase in student engagement has been shown to play a central role in student success, and it is well noted that deeper learning and more innovative solutions take place in collaborative groups. We aim to make a meaningful contribution towards the production and repository of knowledge in multilingual teaching and learning for the benefit of the diverse student population and staff. This would strengthen language development, multilingualism, and multiculturalism at CPUT and empower and promote African languages as languages of science and education at CPUT, in other institutions of higher learning, and in South Africa as a whole.

Keywords: educational videos, multiculturalism, multilingualism, student engagement

Procedia PDF Downloads 140
1018 Suitability Verification of Cellulose Nanowhisker as a Scaffold for Bone Tissue Engineering

Authors: Moon Hee Jung, Dae Seung Kim, Sang-Myung Jung, Gwang Heum Yoon, Hoo Cheol Lee, Hwa Sung Shin

Abstract:

Scaffolds are an important part to support growth and differentiation of osteoblast for regeneration of injured bone in bone tissue engineering. We utilized tunicate cellulose nanowhisker (CNW) as scaffold and developed complex system that can enhance differentiation of osteoblast by applying mechanical stimulation. CNW, a crystal form of cellulose, has high stiffness with a large surface area and is useful as a biomedical material due to its biodegradability and biocompatibility. In this study, CNW was obtained from tunicate extraction and was confirmed for its adhesion, differentiation, growth of osteoblast without cytotoxicity. In addition, osteoblast was successfully differentiated under mechanical stimulation, followed by calcium dependent signaling. In conclusion, we verified suitability of CNW as scaffold and possibility of bone substitutes.

Keywords: osteoblast, cellulose nanowhisker, CNW, mechanical stimulation, bone tissue engineering, bone substitute

Procedia PDF Downloads 351
1017 Prioritization of Mutation Test Generation with Centrality Measure

Authors: Supachai Supmak, Yachai Limpiyakorn

Abstract:

Mutation testing can be applied for the quality assessment of test cases. Prioritization of mutation test generation has been a critical element of the industry practice that would contribute to the evaluation of test cases. The industry generally delivers the product under the condition of time to the market and thus, inevitably sacrifices software testing tasks, even though many test cases are required for software verification. This paper presents an approach of applying a social network centrality measure, PageRank, to prioritize mutation test generation. The source code with the highest values of PageRank will be focused first when developing their test cases as these modules are vulnerable to defects or anomalies which may cause the consequent defects in many other associated modules. Moreover, the approach would help identify the reducible test cases in the test suite, still maintaining the same criteria as the original number of test cases.

Keywords: software testing, mutation test, network centrality measure, test case prioritization

Procedia PDF Downloads 88
1016 JREM: An Approach for Formalising Models in the Requirements Phase with JSON and NoSQL Databases

Authors: Aitana Alonso-Nogueira, Helia Estévez-Fernández, Isaías García

Abstract:

This paper presents an approach to reduce some of its current flaws in the requirements phase inside the software development process. It takes the software requirements of an application, makes a conceptual modeling about it and formalizes it within JSON documents. This formal model is lodged in a NoSQL database which is document-oriented, that is, MongoDB, because of its advantages in flexibility and efficiency. In addition, this paper underlines the contributions of the detailed approach and shows some applications and benefits for the future work in the field of automatic code generation using model-driven engineering tools.

Keywords: conceptual modelling, JSON, NoSQL databases, requirements engineering, software development

Procedia PDF Downloads 360
1015 Verification of the Effect of the Hazard-Perception Training Tool for Drivers Ported from a Tablet Device to a Smartphone

Authors: K. Shimazaki, M. Mishina, A. Fujii

Abstract:

In a previous study, we developed a hazard-perception training tool for drivers using a tablet device and verified its effectiveness. Accident movies recorded by drive recorders were separated into scenes before and after the collision. The scene before the collision is presented to the driver. The driver then touches the screen to point out where he/she feels danger. After the screen is touched, the tool presents the collision scene and tells the driver if what he/she pointed out is correct. Various effects were observed such as this tool increased the discovery rate of collision targets and reduced the reaction time. In this study, we optimized this tool for the smartphone and verified its effectiveness. Verifying in the same way as in the previous study on tablet devices clarified that the same effect can be obtained on the smartphone screen.

Keywords: hazard perception, smartphone, tablet devices, driver education

Procedia PDF Downloads 206
1014 Analytical Study on the Shape of T-Type Girder Modular Bridge Connection by Using Parametric

Authors: Jongho Park, Jinwoong Choi, Sungnam Hong, Seung-Kyung Kye, Sun-Kyu Park

Abstract:

Recently, to cope with the rapidly changing construction trend because of aging infrastructures, modular bridge technology has been studied actively. Modular bridge is easily constructed by assembling standardized precast structure members in the field. It will be possible to construct rapidly and reduce construction cost efficiently. However, the shape examination of the transverse connection of T-type girder newly developed between the segmented modules is not performed. Therefore, the investigation of the connection shape is needed. In this study, shape of the modular T-girder bridge transverse connection was analyzed by finite element model that was verified in study which was verification of model for transverse connection using Abaqus. Connection angle was chosen as the parameter. The result of analyses showed that optimal value of angle is 130 degree.

Keywords: modular bridge, optimal transverse shape, parameter, FEM

Procedia PDF Downloads 636
1013 Development of the Independent Building Permit System to Improve Productivity and Quality Service

Authors: Hartomo Soewardi, Bachtiar Jouhari

Abstract:

Ineffectiveness and inefficiency of the building permit process in Indonesia still becomes a major problems for people to apply. Long time of service, the complicated administration process, and an expensive fees are a process that causing a dissatisfaction and discomfort for applicant. Therefore, it is critical to improve the quality of service of building permit system. Objectives of this research is to develop a better process of the system to improve productivity and quality service. Lean six sigma concept by using DMAIC procedures was used to analyze the existing system. Moreover, improvement of the system was conducted by using the Axiomatic Design method. Verification test was done to test the hypothesis of the proposed system design. Result of this research shows that proposed system can produce increasing 61.8% of efficiency on service time, and more effective and easier.

Keywords: axiomatic design, bbuilding permit system, DMAIC, Lean Six Sigma

Procedia PDF Downloads 317
1012 H.264 Video Privacy Protection Method Using Regions of Interest Encryption

Authors: Taekyun Doo, Cheongmin Ji, Manpyo Hong

Abstract:

Like a closed-circuit television (CCTV), video surveillance system is widely placed for gathering video from unspecified people to prevent crime, surveillance, or many other purposes. However, abuse of CCTV brings about concerns of personal privacy invasions. In this paper, we propose an encryption method to protect personal privacy system in H.264 compressed video bitstream with encrypting only regions of interest (ROI). There is no need to change the existing video surveillance system. In addition, encrypting ROI in compressed video bitstream is a challenging work due to spatial and temporal drift errors. For this reason, we propose a novel drift mitigation method when ROI is encrypted. The proposed method was implemented by using JM reference software based on the H.264 compressed videos, and experimental results show the verification of our proposed methods and its effectiveness.

Keywords: H.264/AVC, video encryption, privacy protection, post compression, region of interest

Procedia PDF Downloads 324
1011 Global Direct Search Optimization of a Tuned Liquid Column Damper Subject to Stochastic Load

Authors: Mansour H. Alkmim, Adriano T. Fabro, Marcus V. G. De Morais

Abstract:

In this paper, a global direct search optimization algorithm to reduce vibration of a tuned liquid column damper (TLCD), a class of passive structural control device, is presented. The objective is to find optimized parameters for the TLCD under stochastic load from different wind power spectral density. A verification is made considering the analytical solution of an undamped primary system under white noise excitation. Finally, a numerical example considering a simplified wind turbine model is given to illustrate the efficacy of the TLCD. Results from the random vibration analysis are shown for four types of random excitation wind model where the response PSDs obtained showed good vibration attenuation.

Keywords: generalized pattern search, parameter optimization, random vibration analysis, vibration suppression

Procedia PDF Downloads 261