Search results for: formal logic
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 1493

Search results for: formal logic

713 A Summary of the Research on the Driving Mechanism of Space Expansion in China's National New District

Authors: Qin Xia

Abstract:

’National New District’ as a regional overall promotion of strategic thinking has become increasingly mature, but its spatial expansion is still chaotic and disorderly, so it is urgent to summarize the complex and unique driving mechanism contained in its spatial expansion to formulate sustainable urban expansion plan. Under the understanding of the general laws of the driving mechanism of China's space expansion, it is found that the existing research on the driving mechanism of the space expansion of national new districts is insufficient. The research area focuses on the research of the driving mechanism of the space expansion of a single new area. In terms of research methods, qualitative description is the main focus. In terms of research content, it is limited to the expansion speed, intensity, and area of the new district itself and does not involve the expansion and utilization efficiency of space and the spillover efficiency to surrounding cities. The specific connotations of social, economic, political, and geographical categories are not thoroughly explored. It is often a general explanation that a certain factor has promoted it. The logic is not rigorous and convincing, and the description is relatively static, with different time and space. There is less literature on scale interaction. Through the reflection on the key and difficult points of the drive mechanism of the space expansion of the national new area, it is clear that the existing research on the drive mechanism of the space expansion of the national new area should be continued to drive the sustainable expansion of space.

Keywords: national new district, space expansion, driving mechanism, existing research

Procedia PDF Downloads 169
712 Framework to Quantify Customer Experience

Authors: Anant Sharma, Ashwin Rajan

Abstract:

Customer experience is measured today based on defining a set of metrics and KPIs, setting up thresholds and defining triggers across those thresholds. While this is an effective way of measuring against a Key Performance Indicator ( referred to as KPI in the rest of the paper ), this approach cannot capture the various nuances that make up the overall customer experience. Customers consume a product or service at various levels, which is not reflected in metrics like Customer Satisfaction or Net Promoter Score, but also across other measurements like recurring revenue, frequency of service usage, e-learning and depth of usage. Here we explore an alternative method of measuring customer experience by flipping the traditional views. Rather than rolling customers up to a metric, we roll up metrics to hierarchies and then measure customer experience. This method allows any team to quantify customer experience across multiple touchpoints in a customer’s journey. We make use of various data sources which contain information for metrics like CXSAT, NPS, Renewals, and depths of service usage collected across a customer lifecycle. This data can be mined systematically to get linkages between different data points like geographies, business groups, products and time. Additional views can be generated by blending synthetic contexts into the data to show trends and top/bottom types of reports. We have created a framework that allows us to measure customer experience using the above logic.

Keywords: analytics, customers experience, BI, business operations, KPIs, metrics

Procedia PDF Downloads 74
711 Development of Geo-computational Model for Analysis of Lassa Fever Dynamics and Lassa Fever Outbreak Prediction

Authors: Adekunle Taiwo Adenike, I. K. Ogundoyin

Abstract:

Lassa fever is a neglected tropical virus that has become a significant public health issue in Nigeria, with the country having the greatest burden in Africa. This paper presents a Geo-Computational Model for Analysis and Prediction of Lassa Fever Dynamics and Outbreaks in Nigeria. The model investigates the dynamics of the virus with respect to environmental factors and human populations. It confirms the role of the rodent host in virus transmission and identifies how climate and human population are affected. The proposed methodology is carried out on a Linux operating system using the OSGeoLive virtual machine for geographical computing, which serves as a base for spatial ecology computing. The model design uses Unified Modeling Language (UML), and the performance evaluation uses machine learning algorithms such as random forest, fuzzy logic, and neural networks. The study aims to contribute to the control of Lassa fever, which is achievable through the combined efforts of public health professionals and geocomputational and machine learning tools. The research findings will potentially be more readily accepted and utilized by decision-makers for the attainment of Lassa fever elimination.

Keywords: geo-computational model, lassa fever dynamics, lassa fever, outbreak prediction, nigeria

Procedia PDF Downloads 93
710 Off-Farm Work and Cost Efficiency in Staple Food Production among Small-Scale Farmers in North Central Nigeria

Authors: C. E. Ogbanje, S. A. N. D. Chidebelu, N. J. Nweze

Abstract:

The study evaluated off-farm work and cost efficiency in staple food production among small-scale farmers in North Central Nigeria. Multistage sampling technique was used to select 360 respondents (participants and non-participants in off-farm work). Primary data obtained were analysed using stochastic cost frontier and test of means’ difference. Capital input was lower for participants (N2,596.58) than non-participants (N11,099.14). Gamma (γ) was statistically significant. Farm size significantly (p<0.01) increased cost outlay for participants and non-participants. Average input prices of enterprises one and two significantly (p<0.01) increased cost. Sex, household size, credit obtained, formal education, farming experience, and farm income significantly (p<0.05) reduced cost inefficiency for non-participants. Average cost efficiency was 11%. Farm capital was wasted. Participants’ substitution of capital for labour did not put them at a disadvantage. Extension agents should encourage farmers to obtain financial relief from off-farm work but not to the extent of endangering farm cost efficiency.

Keywords: cost efficiency, mean difference, North Central Nigeria, off-farm work, participants and non-participants, small-scale farmers

Procedia PDF Downloads 362
709 Electronic Stability Control for a 7 DOF Vehicle Model Using Flex Ray and Neuro Fuzzy Techniques

Authors: Praveen Battula

Abstract:

Any high performance car has the tendency to over steer and Understeer under slippery conditions, An Electronic Stability Control System is needed under these conditions to regulate the steering of the car. It uses Anti-Lock Braking System (ABS) and Traction Control and Wheel Speed Sensor, Steering Angle Sensor, Rotational Speed Sensors to correct the problems. The focus of this paper is to improve the driving dynamics and safety by controlling the forces applied on each wheel. ESC Control the Yaw Stability, traction controls the Roll Stability, where actually the vehicle slip rate and lateral acceleration is controlled. ESC uses differential braking on all four brakes independently to control the vehicle’s motion. A mathematical model is developed in Simulink for the FlexRay based Electronic Stability Control. Vehicle steering is developed using Neuro Fuzzy Logic Controller. 7 Degrees of Freedom Vehicle Model is used as a Plant Model using dSpace autobox. The Performance of the system is assessed using two different road Scenarios, Vehicle Control under standard maneuvering conditions. The entire system is set using Dspace Control Desk. Results are provided by comparison of how a Vehicle with and without Electronic Stability Control which shows an improved performance in control.

Keywords: ESC, flexray, chassis control, steering, neuro fuzzy, vehicle dynamics

Procedia PDF Downloads 448
708 The Global Language Teaching Spots to Accelerate Globalization and Equitable Economic Development Worldwide

Authors: Setyo Pamuji

Abstract:

The basis of this research is to create an international business project by developing an area in every country which focused on global language teaching to accelerate huge project of internationalization for mankind better with equity. It is to make an ease, learning more effective and efficient as well as economic development significantly at the place. Some have attempted to establish it, but could have not succeeded. This study uses stratified random sampling method to determine respondents. It is caused by population coming from around of Indonesia which is heterogeneity. Above all, researcher has already known well the spot including the mapping of students and societies, over 5-year, from beginning studying English (2011) until teaching English (2015). This quantitative research is able to analyze the vital factor of successful Language Village at Pare, Kediri, East Java, Indonesia which has never been obtained anywhere. This project provides valuable information regarding management used by the Language Village. Overall approach depicts vigorous marketing strategy and dedication blended. This will allow for more individual consideration of economist and may direct future research on the uniqueness of the Language Village to ascertain more profound understanding of the village which succeeds inviting people from other places to come, beside formal management and marketing.

Keywords: internationalization, accelerate, global language, economic development, blended, globalization

Procedia PDF Downloads 176
707 Social Work Profession in a Mirror of the Russian Immigrant Media in Israel

Authors: Natalia Khvorostianov, Nelly Elias

Abstract:

The present study seeks to analyze representation of social work in immigrant media, focusing on the case of online newspapers established by immigrants from the Former Soviet Union (FSU) in Israel. This immigrant population is particularly interesting because social work did not exist as a profession practiced in the USSR and hence most FSU immigrants arrive in Israel without a basic knowledge of the essence of social work, the services it provides and the logic behind its treatment methods. The sample of 37 items was built through a Google search of the Russian online newspapers and portals originated in Israel by using keywords such as “social worker,” “social work services” and the like. All items were analyzed by using qualitative content analysis. Principal analytical categories used for the analysis were: Assessment of social work services (negative, positive, neutral); social workers’ professionalism and effectiveness; goals and motives underlying their activity; cross-cultural contact with immigrants and methods used in working with immigrants. On this basis, four dominant images used to portray Israeli social work services and social workers were identified: Lack of professionalism, cultural gaps between FSU immigrants and Israeli social workers, repressive character of social work services and social workers’ involvement in corruption and crime.

Keywords: FSU immigrants, immigrant media, media images, social workers

Procedia PDF Downloads 357
706 Perceived Environmental Effects of Charcoal Production among Rural Dwellers in Rainforest and Guinea Savannah Agro-Ecological Zones of Nigeria

Authors: P. O. Eniola, S. O. Odebode

Abstract:

Charcoal production constitutes serious environmental problems to most developing countries of the world. Hence, the study assessed perceived environmental effects of charcoal production (CP) among the rural dwellers in rainforest and guinea savannah (GS) zones of Nigeria. Multi-stage sampling procedure was used to select 83 and 85 charcoal producers in GS and rainforest zones respectively. Eighteen statements on perceived environmental effects of charcoal production were collected. Data was collected through the use of structured interview schedule and analysed using both descriptive and inferential statistics. Descriptive analysis showed that the mean age was 43 years, 90.5% males, 90.6% married and 35.3% of respondents had no formal education. The majority (80.0%) of the respondents make use of earth mound method of CP and 52.9% of respondents produced between 32-32000kg of charcoal per annum. Respondents (62.7%) perceived that charcoal production could lead to erosion, 62.4% reduce the available trees for future use (62.4%) and reduce available air in the environment (54.1%). A significant difference existed in the perceived environmental effects of charcoal production between rainforest and guinea savannah agro-ecological zones (F=14.62). There is a need for the government to quickly work on other available and affordable alternative household energy sources.

Keywords: deforestation, energy, earth mound method, environment

Procedia PDF Downloads 396
705 Provision of Afterschool Programs: Understanding the Educational Needs and Outcomes of Newcomer and Refugee Students in Canada

Authors: Edward Shizha, Edward Makwarimba

Abstract:

Newcomer and refugee youth feel excluded in the education system in Canada, and the formal education environment does not fully cater for their learning needs. The objective of this study was to build knowledge and understanding of the educational needs and experiences of these youth in Canada and how available afterschool programs can most effectively support their learning needs and academic outcomes. The Employment and Social Development Canada (ESDC), which funded this research, enables and empowers students to advance their educational experience through targeted investments in services that are delivered by youth-serving organizations outside the formal education system through afterschool initiatives. A literature review and a provincial/territorial internet scan were conducted to determine the availability of services and programs that serve the educational needs and academic outcomes of newcomer youth in 10 provinces and 3 territories in Canada. The goal was to identify intersectional factors (e.g., gender, sexuality, culture, social class, race, etc.) that influence educational outcomes of newcomer/refugee students and to recommend ways the ESDC could complement settlement services to enhance students’ educational success. First, data was collected through a literature search of various databases, including PubMed, Web of Science, Scopus, Google docs, ACADEMIA, and grey literature, including government documents, to inform our analysis. Second, a provincial/territorial internet scan was conducted using a template that was created by ESDC staff with the input of the researchers. The objective of the web-search scan was to identify afterschool programs, projects, and initiatives offered to newcomer/refugee youth by service provider organizations. The method for the scan included both qualitative and quantitative data gathering. Both the literature review and the provincial/territorial scan revealed that there are gender disparities in educational outcomes of newcomer and refugee youth. High school completion rates by gender show that boys are at higher risk of not graduating than girls and that girls are more likely than boys to have at least a high school diploma and more likely to proceed to postsecondary education. Findings from literature reveal that afterschool programs are required for refugee youth who experience mental health challenges and miss out on significant periods of schooling, which affect attendance, participation, and graduation from high school. However, some refugee youth use their resilience and ambition to succeed in their educational outcomes. Another finding showed that some immigrant/refugee students, through ethnic organizations and familial affiliation, maintain aspects of their cultural values, parental expectations and ambitious expectations for their own careers to succeed in both high school and postsecondary education. The study found a significant combination of afterschool programs that include academic support, scholarships, bursaries, homework support, career readiness, internships, mentorship, tutoring, non-clinical counselling, mental health and social well-being support, language skills, volunteering opportunities, community connections, peer networking, culturally relevant services etc. These programs assist newcomer youth to develop self-confidence and prepare for academic success and future career development. The study concluded that advantages of afterschool programs are greatest for youth at risk for poor educational outcomes, such as Latino and Black youth, including 2SLGBTQI+ immigrant youth.

Keywords: afterschool programs, educational outcomes, newcomer youth, refugee youth, youth-serving organizations

Procedia PDF Downloads 74
704 Exploring the Activity Fabric of an Intelligent Environment with Hierarchical Hidden Markov Theory

Authors: Chiung-Hui Chen

Abstract:

The Internet of Things (IoT) was designed for widespread convenience. With the smart tag and the sensing network, a large quantity of dynamic information is immediately presented in the IoT. Through the internal communication and interaction, meaningful objects provide real-time services for users. Therefore, the service with appropriate decision-making has become an essential issue. Based on the science of human behavior, this study employed the environment model to record the time sequences and locations of different behaviors and adopted the probability module of the hierarchical Hidden Markov Model for the inference. The statistical analysis was conducted to achieve the following objectives: First, define user behaviors and predict the user behavior routes with the environment model to analyze user purposes. Second, construct the hierarchical Hidden Markov Model according to the logic framework, and establish the sequential intensity among behaviors to get acquainted with the use and activity fabric of the intelligent environment. Third, establish the intensity of the relation between the probability of objects’ being used and the objects. The indicator can describe the possible limitations of the mechanism. As the process is recorded in the information of the system created in this study, these data can be reused to adjust the procedure of intelligent design services.

Keywords: behavior, big data, hierarchical hidden Markov model, intelligent object

Procedia PDF Downloads 233
703 Aircraft Automatic Collision Avoidance Using Spiral Geometric Approach

Authors: M. Orefice, V. Di Vito

Abstract:

This paper provides a description of a Collision Avoidance algorithm that has been developed starting from the mathematical modeling of the flight of insects, in terms of spirals and conchospirals geometric paths. It is able to calculate a proper avoidance manoeuver aimed to prevent the infringement of a predefined distance threshold between ownship and the considered intruder, while minimizing the ownship trajectory deviation from the original path and in compliance with the aircraft performance limitations and dynamic constraints. The algorithm is designed in order to be suitable for real-time applications, so that it can be considered for the implementation in the most recent airborne automatic collision avoidance systems using the traffic data received through an ADS-B IN device. The presented approach is able to take into account the rules-of-the-air, due to the possibility to select, through specifically designed decision making logic based on the consideration of the encounter geometry, the direction of the calculated collision avoidance manoeuver that allows complying with the rules-of-the-air, as for instance the fundamental right of way rule. In the paper, the proposed collision avoidance algorithm is presented and its preliminary design and software implementation is described. The applicability of this method has been proved through preliminary simulation tests performed in a 2D environment considering single intruder encounter geometries, as reported and discussed in the paper.

Keywords: ADS-B Based Application, Collision Avoidance, RPAS, Spiral Geometry.

Procedia PDF Downloads 241
702 Fuzzy Neuro Approach for Integrated Water Management System

Authors: Stuti Modi, Aditi Kambli

Abstract:

This paper addresses the need for intelligent water management and distribution system in smart cities to ensure optimal consumption and distribution of water for drinking and sanitation purposes. Water being a limited resource in cities require an effective system for collection, storage and distribution. In this paper, applications of two mostly widely used particular types of data-driven models, namely artificial neural networks (ANN) and fuzzy logic-based models, to modelling in the water resources management field are considered. The objective of this paper is to review the principles of various types and architectures of neural network and fuzzy adaptive systems and their applications to integrated water resources management. Final goal of the review is to expose and formulate progressive direction of their applicability and further research of the AI-related and data-driven techniques application and to demonstrate applicability of the neural networks, fuzzy systems and other machine learning techniques in the practical issues of the regional water management. Apart from this the paper will deal with water storage, using ANN to find optimum reservoir level and predicting peak daily demands.

Keywords: artificial neural networks, fuzzy systems, peak daily demand prediction, water management and distribution

Procedia PDF Downloads 186
701 An Innovation Decision Process View in an Adoption of Total Laboratory Automation

Authors: Chia-Jung Chen, Yu-Chi Hsu, June-Dong Lin, Kun-Chen Chan, Chieh-Tien Wang, Li-Ching Wu, Chung-Feng Liu

Abstract:

With fast advances in healthcare technology, various total laboratory automation (TLA) processes have been proposed. However, adopting TLA needs quite high funding. This study explores an early adoption experience by Taiwan’s large-scale hospital group, the Chimei Hospital Group (CMG), which owns three branch hospitals (Yongkang, Liouying and Chiali, in order by service scale), based on the five stages of Everett Rogers’ Diffusion Decision Process. 1.Knowledge stage: Over the years, two weaknesses exists in laboratory department of CMG: 1) only a few examination categories (e.g., sugar testing and HbA1c) can now be completed and reported within a day during an outpatient clinical visit; 2) the Yongkang Hospital laboratory space is dispersed across three buildings, resulting in duplicated investment in analysis instruments and inconvenient artificial specimen transportation. Thus, the senior management of the department raised a crucial question, was it time to process the redesign of the laboratory department? 2.Persuasion stage: At the end of 2013, Yongkang Hospital’s new building and restructuring project created a great opportunity for the redesign of the laboratory department. However, not all laboratory colleagues had the consensus for change. Thus, the top managers arranged a series of benchmark visits to stimulate colleagues into being aware of and accepting TLA. Later, the director of the department proposed a formal report to the top management of CMG with the results of the benchmark visits, preliminary feasibility analysis, potential benefits and so on. 3.Decision stage: This TLA suggestion was well-supported by the top management of CMG and, finally, they made a decision to carry out the project with an instrument-leasing strategy. After the announcement of a request for proposal and several vendor briefings, CMG confirmed their laboratory automation architecture and finally completed the contracts. At the same time, a cross-department project team was formed and the laboratory department assigned a section leader to the National Taiwan University Hospital for one month of relevant training. 4.Implementation stage: During the implementation, the project team called for regular meetings to review the results of the operations and to offer an immediate response to the adjustment. The main project tasks included: 1) completion of the preparatory work for beginning the automation procedures; 2) ensuring information security and privacy protection; 3) formulating automated examination process protocols; 4) evaluating the performance of new instruments and the instrument connectivity; 5)ensuring good integration with hospital information systems (HIS)/laboratory information systems (LIS); and 6) ensuring continued compliance with ISO 15189 certification. 5.Confirmation stage: In short, the core process changes include: 1) cancellation of signature seals on the specimen tubes; 2) transfer of daily examination reports to a data warehouse; 3) routine pre-admission blood drawing and formal inpatient morning blood drawing can be incorporated into an automatically-prepared tube mechanism. The study summarizes below the continuous improvement orientations: (1) Flexible reference range set-up for new instruments in LIS. (2) Restructure of the specimen category. (3) Continuous review and improvements to the examination process. (4) Whether installing the tube (specimen) delivery tracks need further evaluation.

Keywords: innovation decision process, total laboratory automation, health care

Procedia PDF Downloads 419
700 Classification of Sequential Sports Using Automata Theory

Authors: Aniket Alam, Sravya Gurram

Abstract:

This paper proposes a categorization of sport that is based on the system of rules that a sport must adhere to. We focus on these systems of rules to examine how a winner is produced in different sports. The rules of a sport dictate the game play and the direction it takes. We propose to break down the game play into events. At this junction, we observe two kinds of events that constitute the game play of a sport –ones that follow sequential logic and ones that do not. Our focus is pertained to sports that are comprised of sequential events. To examine these events further, to understand how a winner emerges, we take the help of finite-state automaton from the theory of computation (Automata theory). We showcase how sequential sports are eligible to be represented as finite state machines. We depict these finite state machines as state diagrams. We examine these state diagrams to observe how a team/player reaches the final states of the sport, with a special focus on one final state –the final state which determines the winner. This exercise has been carried out for the following sports: Hurdles, Track, Shot Put, Long Jump, Bowling, Badminton, Pacman and Weightlifting (Snatch). Based on our observations of how this final state of winning is achieved, we propose a categorization of sports.

Keywords: sport classification, sport modelling, ontology, automata theory

Procedia PDF Downloads 119
699 Estimation of Transition and Emission Probabilities

Authors: Aakansha Gupta, Neha Vadnere, Tapasvi Soni, M. Anbarsi

Abstract:

Protein secondary structure prediction is one of the most important goals pursued by bioinformatics and theoretical chemistry; it is highly important in medicine and biotechnology. Some aspects of protein functions and genome analysis can be predicted by secondary structure prediction. This is used to help annotate sequences, classify proteins, identify domains, and recognize functional motifs. In this paper, we represent protein secondary structure as a mathematical model. To extract and predict the protein secondary structure from the primary structure, we require a set of parameters. Any constants appearing in the model are specified by these parameters, which also provide a mechanism for efficient and accurate use of data. To estimate these model parameters there are many algorithms out of which the most popular one is the EM algorithm or called the Expectation Maximization Algorithm. These model parameters are estimated with the use of protein datasets like RS126 by using the Bayesian Probabilistic method (data set being categorical). This paper can then be extended into comparing the efficiency of EM algorithm to the other algorithms for estimating the model parameters, which will in turn lead to an efficient component for the Protein Secondary Structure Prediction. Further this paper provides a scope to use these parameters for predicting secondary structure of proteins using machine learning techniques like neural networks and fuzzy logic. The ultimate objective will be to obtain greater accuracy better than the previously achieved.

Keywords: model parameters, expectation maximization algorithm, protein secondary structure prediction, bioinformatics

Procedia PDF Downloads 480
698 Ontology Mapping with R-GNN for IT Infrastructure: Enhancing Ontology Construction and Knowledge Graph Expansion

Authors: Andrey Khalov

Abstract:

The rapid growth of unstructured data necessitates advanced methods for transforming raw information into structured knowledge, particularly in domain-specific contexts such as IT service management and outsourcing. This paper presents a methodology for automatically constructing domain ontologies using the DOLCE framework as the base ontology. The research focuses on expanding ITIL-based ontologies by integrating concepts from ITSMO, followed by the extraction of entities and relationships from domain-specific texts through transformers and statistical methods like formal concept analysis (FCA). In particular, this work introduces an R-GNN-based approach for ontology mapping, enabling more efficient entity extraction and ontology alignment with existing knowledge bases. Additionally, the research explores transfer learning techniques using pre-trained transformer models (e.g., DeBERTa-v3-large) fine-tuned on synthetic datasets generated via large language models such as LLaMA. The resulting ontology, termed IT Ontology (ITO), is evaluated against existing methodologies, highlighting significant improvements in precision and recall. This study advances the field of ontology engineering by automating the extraction, expansion, and refinement of ontologies tailored to the IT domain, thus bridging the gap between unstructured data and actionable knowledge.

Keywords: ontology mapping, knowledge graphs, R-GNN, ITIL, NER

Procedia PDF Downloads 15
697 Energy Management System with Temperature Rise Prevention on Hybrid Ships

Authors: Asser S. Abdelwahab, Nabil H. Abbasy, Ragi A. Hamdy

Abstract:

Marine shipping has now become one of the major worldwide contributors to pollution and greenhouse gas emissions. Hybrid ships technology based on multiple energy sources has taken a great scope of research to get rid of ship emissions and cut down fuel expenses. Insufficiency between power generated and the demand load to withstand the transient behavior on ships during severe climate conditions will lead to a blackout. Thus, an efficient energy management system (EMS) is a mandatory scope for achieving higher system efficiency while enhancing the lifetime of the onboard storage systems is another salient EMS scope. Considering energy storage system conditions, both the battery state of charge (SOC) and temperature represent important parameters to prevent any malfunction of the storage system that eventually degrades the whole system. In this paper, a two battery packs ratio fuzzy logic control model is proposed. The overall aim is to control the charging/discharging current while including both the battery SOC and temperature in the energy management system. The full designs of the proposed controllers are described and simulated using Matlab. The results prove the successfulness of the proposed controller in stabilizing the system voltage during both loading and unloading while keeping the energy storage system in a healthy condition.

Keywords: energy storage system, power shipboard, hybrid ship, thermal runaway

Procedia PDF Downloads 201
696 Utilization of an Object Oriented Tool to Perform Model-Based Safety Analysis According to Extended Failure System Models

Authors: Royia Soliman, Salma ElAnsary, Akram Amin Abdellatif, Florian Holzapfel

Abstract:

Model-Based Safety Analysis (MBSA) is an approach in which the system and safety engineers share a common system model created using a model-based development process. The model can also be extended by the failure modes of the system components. There are two famous approaches for the addition of fault behaviors to system models. The first one is to enclose the failure into the system design directly. The second approach is to develop a fault model separately from the system model, thus combining both independent models for safety analysis. This paper introduces a hybrid approach of MBSA. The approach tries to use informal abstracted models to investigate failure behaviors. The approach will combine various concepts such as directed graph traversal, event lists and Constraint Satisfaction Problems (CSP). The approach is implemented using an Object Oriented programming language. The components are abstracted to its failure logic and relationships of connected components. The implemented approach is tested on various flight control systems, including electrical and multi-domain examples. The various tests are analyzed, and a comparison to different approaches is represented.

Keywords: flight control systems, model based safety analysis, safety assessment analysis, system modelling

Procedia PDF Downloads 164
695 The Barriers That ESOL Learners Face Accessing Further Education

Authors: Jamie David Hopkin

Abstract:

This study aims to contribute uniquely to help colleges and community learning and development institutes to help aid progression within ESOL learning. The study investigates the barriers that migrant and displaced learners face accessing further education in Scotland. The study also includes a set of recommendations both for colleges and CLD institutes to help ESOL learners in their journey to further education. The research found that integration into Scottish society is one of the biggest motivators for ESOL students to learn English. It also found that the place of gender and “gender roles” contribute to the barriers that learners face in terms of progression and learning. The study also reviews all literature related to ESOL learning in Scotland and found that there are only two main policies that support ESOL learning, and both are slightly outdated in terms of supporting progression. This study aims to help bridge the gap in knowledge around the progression from informal learning to formal education. The recommendations that are made in this study are aimed to help institutes and learners on their journey to a positive destination. The main beneficiaries of this research are current and future ESOL learners in Scotland, ESOL institutes, and TESOL professionals.

Keywords: community learning and development, English for speakers of other languages, further education, higher education TESOL, teaching English as a second language

Procedia PDF Downloads 136
694 Female Entrepreneurship and Cultural Influence in Emerging Economy: The Case of Bangladesh

Authors: Nawreen Sobhan, Abeer Hassan, Dina Nziku

Abstract:

There has been a dramatic rise in the percentage of female entrepreneurship in both developed and developing countries as it is now considering as an important source of economic growth. Therefore, there has been a growing research interest in female entrepreneurship as they represent an unrecognized engine for economic growth especially in transition economy. This study will determine the role of cultural influence on female entrepreneurship in the growth of economic development which will add new dimensions to the field of female entrepreneurial studies in informal sector of Bangladesh. A systematic literature review has been conducted on female entrepreneurship and cultural studies in both developed and developing country in this research study. There is lack of research on this field as most of the cultural studies on female entrepreneurship have been conducted globally and most of them are either comparative or based on single developed country. This study addresses this gap by using North’s institutional theory to investigate the influence of socio cultural factors on the development of businesses run by female entrepreneurs in Bangladesh. The study, therefore, has practical implications for policy makers and enhancing micro business performance by female entrepreneurs and contributes to the on-going theoretical understanding of cultural influence in female entrepreneurship in an Asian context.

Keywords: culture, socio cultural factors, female entrepreneurship, informal sectors, formal and informal institution and sustainable economic development

Procedia PDF Downloads 199
693 Research on University Campus Green Renovation Design Method

Authors: Abduxukur Zayit, Guo Rui Chen

Abstract:

Universities play important role for develop and distribute sustainable development ideas. This research based on the current situation of large and widely distributed university campuses in China. In view of the deterioration of campus performance, the aging of function and facilities, the large consumption of energy and resources, a logic of "problem-oriented-goal-oriented- At the level, taking the problem orientation as the focus,this paper analyzes the main influencing factors of the existing characteristics of the university campuses, establishes the digital assessment methods and clarifies the key points of the rennovation. Based on the goal orientation, this paper puts forward the existing university campus design principles, builds the green transformation-carding model and sets up the post-use evaluation model. In the end, with dual guidance as the constraint, we will formulate green design standards for campus greening, construct a greening enhancement measure for campus environment, and develop and promote a green campus after-use assessment platform. It provides useful research methods and research ideas for the reconstruction of the existing campus in China, especially the urban universities.

Keywords: design method, existing university campus, green renovation, sustainable development

Procedia PDF Downloads 127
692 Profitability Assessment of Granite Aggregate Production and the Development of a Profit Assessment Model

Authors: Melodi Mbuyi Mata, Blessing Olamide Taiwo, Afolabi Ayodele David

Abstract:

The purpose of this research is to create empirical models for assessing the profitability of granite aggregate production in Akure, Ondo state aggregate quarries. In addition, an artificial neural network (ANN) model and multivariate predicting models for granite profitability were developed in the study. A formal survey questionnaire was used to collect data for the study. The data extracted from the case study mine for this study includes granite marketing operations, royalty, production costs, and mine production information. The following methods were used to achieve the goal of this study: descriptive statistics, MATLAB 2017, and SPSS16.0 software in analyzing and modeling the data collected from granite traders in the study areas. The ANN and Multi Variant Regression models' prediction accuracy was compared using a coefficient of determination (R²), Root mean square error (RMSE), and mean square error (MSE). Due to the high prediction error, the model evaluation indices revealed that the ANN model was suitable for predicting generated profit in a typical quarry. More quarries in Nigeria's southwest region and other geopolitical zones should be considered to improve ANN prediction accuracy.

Keywords: national development, granite, profitability assessment, ANN models

Procedia PDF Downloads 101
691 The Impact of Information and Communication Technology on the Re-Engineering Process of Small and Medium Enterprises

Authors: Hiba Mezaache

Abstract:

The current study aimed to know the impact of using information and communication technology on the process of re-engineering small and medium enterprises, as the world witnessed the speed development of the latter in its field of work and the diversity of its objectives and programs, that also made its process important for the growth and development of the institution and also gaining the flexibility to face the changes that may occur in the environment of work, so in order to know the impact of information and communication technology on the success of this process, we prepared an electronic questionnaire that included (70) items, and we also used the SPSS statistical calendar to analyze the data obtained. In the end of our study, our conclusion was that there was a positive correlation between the four dimensions of information and communication technology, i.e., hardware and equipment, software, communication networks, databases, and the re-engineering process, in addition to the fact that the studied institutions attach great importance to formal communication, for its positive advantages that it achieves in reducing time and effort and costs in performing the business. We could also say that communication technology contributes to the process of formulating objectives related to the re-engineering strategy. Finally, we recommend the necessity of empowering workers to use information technology and communication more in enterprises, and to integrate them more into the activity of the enterprise by involving them in the decision-making process, and also to keep pace with the development in the field of software, hardware, and technological equipment.

Keywords: information and communication technology, re-engineering, small and medium enterprises, the impact

Procedia PDF Downloads 177
690 The Fuzzy Logic Modeling of Performance Driver Seat’s Localised Cooling and Heating in Standard Car Air Conditioning System

Authors: Ali Ates, Sadık Ata, Kevser Dincer

Abstract:

In this study, performance of the driver seat‘s localized cooling and heating in a standard car air conditioning system was experimentally investigated and modeled with Rule-Based Mamdani-Type Fuzzy (RBMTF) modeling technique. Climate function at automobile is an important variable for thermal comfort. In the experimental study localized heating and cooling performances have been examined with the aid of a mechanism established to a vehicle. The equipment’s used in the experimental setup/mechanism have been provided and assembled. During the measurement, the status of the performance level has been determined. Input parameters revolutions per minute and time; output parameters car seat cooling temperature, car back cooling temperature, car seat heating temperature, car back heating temperature were described by RBMTF if-the rules. Numerical parameters of input and output variables were fuzzificated as linguistic variables: Very Very Low (L1), Very Low (L2), Low (L3), Negative Medium (L4), Medium (L5), High (L7), Very High (L8) and Very Very High (L9) linguistic classes. The comparison between experimental data and RBMTF is done by using statistical methods like absolute fraction of variance (R2). The actual values and RBMTF results indicated that RBMTF could be successfully used in standard car air conditioning system.

Keywords: air conditioning system, cooling-heating, RMBTF modelling, car seat

Procedia PDF Downloads 353
689 Digital Publics, Analogue Institutions: Everyday Urban Politics in Gated Neighborhoods in India

Authors: Praveen Priyadarshi

Abstract:

What is the nature of the 'political subjects' in the new urban spaces of the Indian cities? How do they become a 'public'? The paper explores these questions by studying the National Capital Region's gated communities in India. Even as the 'gated-ness' of these neighborhoods constantly underlines the definitive spatial boundary of the 'public' that it is constituted within the walls of a particular gated community, the making of this 'public' occurs as much in the digital spaces—in the digital space of online messaging apps and platforms—populated by unique digital identities. It is through constant exchanges of the digital identities that the 'public' is created. However, the institutional framework and the formal rules governing the making of the public are still analogue because they presume and privilege traditional modes of participation for people to constitute a 'public'. The institutions are designed as rules and norms governing people's behavior when they participate in traditional, physical mode, whereas rules and norms designed in the algorithms regulate people's social and political behavior in the digital domain. In exploring this disjuncture between the analogue institutions and the digital public, the paper analytically evaluates the nature of everyday politics in gates neighborhoods in India.

Keywords: gated communities, everyday politics, new urban spaces, digital publics

Procedia PDF Downloads 165
688 Masquerade and “What Comes Behind Six Is More Than Seven”: Thoughts on Art History and Visual Culture Research Methods

Authors: Osa D Egonwa

Abstract:

In the 21st century, the disciplinary boundaries of past centuries that we often create through mainstream art historical classification, techniques and sources may have been eroded by visual culture, which seems to provide a more inclusive umbrella for the new ways artists go about the creative process and its resultant commodities. Over the past four decades, artists in Africa have resorted to new materials, techniques and themes which have affected our ways of research on these artists and their art. Frontline artists such as El Anatsui, Yinka Shonibare, Erasmus Onyishi are demonstrating that any material is just suitable for artistic expression. Most of times, these materials come with their own techniques/effects and visual syntax: a combination of materials compounds techniques, formal aesthetic indexes, halo effects, and iconography. This tends to challenge the categories and we lean on to view, think and talk about them. This renders our main stream art historical research methods inadequate, thus suggesting new discursive concepts, terms and theories. This paper proposed the Africanist eclectic methods derived from the dual framework of Masquerade Theory and What Comes Behind Six is More Than Seven. This paper shares thoughts/research on art historical methods, terminological re-alignments on classification/source data, presentational format and interpretation arising from the emergent trends in our subject. The outcome provides useful tools to mediate new thoughts and experiences in recent African art and visual culture.

Keywords: art historical methods, classifications, concepts, re-alignment

Procedia PDF Downloads 110
687 e-Learning Security: A Distributed Incident Response Generator

Authors: Bel G Raggad

Abstract:

An e-Learning setting is a distributed computing environment where information resources can be connected to any public network. Public networks are very unsecure which can compromise the reliability of an e-Learning environment. This study is only concerned with the intrusion detection aspect of e-Learning security and how incident responses are planned. The literature reported great advances in intrusion detection system (ids) but neglected to study an important ids weakness: suspected events are detected but an intrusion is not determined because it is not defined in ids databases. We propose an incident response generator (DIRG) that produces incident responses when the working ids system suspects an event that does not correspond to a known intrusion. Data involved in intrusion detection when ample uncertainty is present is often not suitable to formal statistical models including Bayesian. We instead adopt Dempster and Shafer theory to process intrusion data for the unknown event. The DIRG engine transforms data into a belief structure using incident scenarios deduced by the security administrator. Belief values associated with various incident scenarios are then derived and evaluated to choose the most appropriate scenario for which an automatic incident response is generated. This article provides a numerical example demonstrating the working of the DIRG system.

Keywords: decision support system, distributed computing, e-Learning security, incident response, intrusion detection, security risk, statefull inspection

Procedia PDF Downloads 437
686 Knowledge Decision of Food Waste and Loss Reduction in Supply Chain System: A Case Study of Kingdom of Saudi Arabia

Authors: Nadia Adnan, Muhammad Mohsin Raza, Latha Ravindran

Abstract:

Based on the principles above, the study presents an economic model of food waste for consumers, intermediaries, and producers. We discriminate between purchasing and selling, purchases versus customers consumption, and gross output versus sales for each intermediary. To compensate for waste at each level of the supply chain, agents must charge higher sales prices. The research model can produce more accurate predictions about how actions (public regulations or private efforts) to reduce food waste impact markets, including indirect (cascading) effects. With a formal model, researchers demonstrate the uniqueness of these interaction effects and simulate an empirical model calibrated to market characteristics and waste rates in Saudi Arabia. Researchers demonstrate that the effects of waste reduction differ per commodity, depending on supply and demand elasticities, degree of openness to international commerce, and the beginning rates of food loss and waste at each level of the value chain. Because of the consequential effects related to the supply chain, initiatives to minimize food waste will be strengthened in some circumstances and partially countered in others.

Keywords: food loss, food waste, supply chain management, Saudi Arabia, food supply

Procedia PDF Downloads 107
685 Art Market in Oran: Emergence and Contraintes

Authors: Hirreche Baghdad Mohamed

Abstract:

Our research is linked to cultural policies because the initiation to taste and beauty is a matter for all cultural and educational institutions. It's done by a downstream process (programs, actions, lessons, etc.) that begins at a young age in order to inscribe aesthetic values in memories, imaginations, and practices. Preparing future art lovers probably takes a lot of time. Upstream, continuity is ensured by the "cultural industries" which make cultural products available to actors in the "art market" through professional training, production, dissemination, and sales processes. It turns out that the cultural industries borrow from the "classical" industries the same processes and logic: product, production, marketing, diffusion, profit and profits, supply and demand, the market, the creation of wealth, the entrepreneurship. Today, culture has become a product almost like the others. In the cultural industries system, we protect the rights of authors (owners) and the rights of intermediaries (entrepreneurs of culture), and we provide consumers with an accessible product that meets their needs and expectations. We aim to present an inventory and to reveal, through the speeches of the actors themselves, the processes and modes of operation and deployment of the plastic arts market by showing how it is perceived, imagined, and lived in the city of 'Oran from the 2000s to the present day. However, it is possible to clarify this field of research by looking at previous periods; and even to make comparisons with other regions in Algeria in order to give meaning to practices in various contexts.

Keywords: Oran, Algeria, fine art, art market

Procedia PDF Downloads 122
684 Increasing Business Competitiveness in Georgia in Terms of Globalization

Authors: Badri Gechbaia, Levan Gvarishvili

Abstract:

Despite the fact that a lot of Georgian scientists have worked on the issue of the business competitiveness, it think that it is necessary to deepen the works in this sphere, it is necessary also to perfect the methodology in the estimation of the business competitiveness, we have to display the main factors which define the competitive advantages in the business sphere, we have also to establish the interconnections between the business competitiveness level and the quality of states economical involvement in the international economic processes, we have to define the ways to rise the business competitiveness and its role in the upgrading of countries economic development. The introduction part justifies the actuality of the studied topic and the thesis; It defines the survey subject, the object, and the goals with relevant objectives; theoretical-methodological and informational-statistical base for the survey; what is new in the survey and what the value for its theoretical and practical application is. The aforementioned study is an effort to raise public awareness on this issue. Analysis of the fundamental conditions for the efficient functioning of business in Georgia, identification of reserves for increasing its efficiency based on the assessment of the strengths and weaknesses of the business sector. Methods of system analysis, abstract-logic, induction and deduction, synthesis and generalization, and positive, normative, and comparative analysis are used in the research process. Specific regularities of the impact of the globalization process on the determinants of business competitiveness are established. The reasons for business competitiveness in Georgia have been identified

Keywords: competitiveness, methodology, georgian, economic

Procedia PDF Downloads 113