Search results for: domain decomposition
980 Workflow Based Inspection of Geometrical Adaptability from 3D CAD Models Considering Production Requirements
Authors: Tobias Huwer, Thomas Bobek, Gunter Spöcker
Abstract:
Driving forces for enhancements in production are trends like digitalization and individualized production. Currently, such developments are restricted to assembly parts. Thus, complex freeform surfaces are not addressed in this context. The need for efficient use of resources and near-net-shape production will require individualized production of complex shaped workpieces. Due to variations between nominal model and actual geometry, this can lead to changes in operations in Computer-aided process planning (CAPP) to make CAPP manageable for an adaptive serial production. In this context, 3D CAD data can be a key to realizing that objective. Along with developments in the geometrical adaptation, a preceding inspection method based on CAD data is required to support the process planner by finding objective criteria to make decisions about the adaptive manufacturability of workpieces. Nowadays, this kind of decisions is depending on the experience-based knowledge of humans (e.g. process planners) and results in subjective decisions – leading to a variability of workpiece quality and potential failure in production. In this paper, we present an automatic part inspection method, based on design and measurement data, which evaluates actual geometries of single workpiece preforms. The aim is to automatically determine the suitability of the current shape for further machining, and to provide a basis for an objective decision about subsequent adaptive manufacturability. The proposed method is realized by a workflow-based approach, keeping in mind the requirements of industrial applications. Workflows are a well-known design method of standardized processes. Especially in applications like aerospace industry standardization and certification of processes are an important aspect. Function blocks, providing a standardized, event-driven abstraction to algorithms and data exchange, will be used for modeling and execution of inspection workflows. Each analysis step of the inspection, such as positioning of measurement data or checking of geometrical criteria, will be carried out by function blocks. One advantage of this approach is its flexibility to design workflows and to adapt algorithms specific to the application domain. In general, within the specified tolerance range it will be checked if a geometrical adaption is possible. The development of particular function blocks is predicated on workpiece specific information e.g. design data. Furthermore, for different product lifecycle phases, appropriate logics and decision criteria have to be considered. For example, tolerances for geometric deviations are different in type and size for new-part production compared to repair processes. In addition to function blocks, appropriate referencing systems are important. They need to support exact determination of position and orientation of the actual geometries to provide a basis for precise analysis. The presented approach provides an inspection methodology for adaptive and part-individual process chains. The analysis of each workpiece results in an inspection protocol and an objective decision about further manufacturability. A representative application domain is the product lifecycle of turbine blades containing a new-part production and a maintenance process. In both cases, a geometrical adaptation is required to calculate individual production data. In contrast to existing approaches, the proposed initial inspection method provides information to decide between different potential adaptive machining processes.Keywords: adaptive, CAx, function blocks, turbomachinery
Procedia PDF Downloads 297979 Effect of Corrugating Bottom Surface on Natural Convection in a Square Porous Enclosure
Authors: Khedidja Bouhadef, Imene Said Kouadri, Omar Rahli
Abstract:
In this paper numerical investigation is performed to analyze natural convection heat transfer characteristics within a wavy-wall enclosure filled with fluid-saturated porous medium. The bottom wall which has the wavy geometry is maintained at a constant high temperature, while the top wall is straight and is maintained at a constant lower temperature. The left and right walls of the enclosure are both straight and insulated. The governing differential equations are solved by Finite-volume approach and grid generation is used to transform the physical complex domain to a computational regular space. The aim is to examine flow field, temperature distribution and heat transfer evolutions inside the cavity when Darcy number, Rayleigh number and undulations number values are varied. The results mainly indicate that the heat transfer is rather affected by the permeability and Rayleigh number values since increasing these values enhance the Nusselt number; although the exchanges are not highly affected by the undulations number.Keywords: grid generation, natural convection, porous medium, wavy wall enclosure
Procedia PDF Downloads 264978 Inhibitions in Implementing Green Supply Chain Management at Hospitals
Authors: M. Aruna, Uma Gunasilan
Abstract:
Hospitals play an ample role in securing the health of a country. Nevertheless, they also have an unhealthy side. Ecological issues strengthen ill-health throughout the domain which subsequently puts pressure on hospital supply chains. Medical waste indeed is hazardous for environment and subsequently for human. The hospital waste management is of immense prominence due to its infectious and hazardous nature that can source many effects on human health and the environment. Government regulations and public cognizance regarding hospital waste issues have imposed hospital units to admit these strategies. The innovative technologies and instruments have been developed to handle hospital wastes. Green supply chain management practices are common in the United States. In India, Green Supply Chain management (GSCM) has just started to be recognized and practiced. GSCM are green, integrated and ecologically optimized. In Green supply chain management environmental sustainability is found to be an important driver. Eleven barriers are identified in this work. Interpretive Structural Modeling (ISM) technique is used for ranking the obstructions.Keywords: green supply chain management (GSCM), hospital waste management (HWM), interpretive structural modeling (ISM), medical waste (MW)
Procedia PDF Downloads 319977 “Octopub”: Geographical Sentiment Analysis Using Named Entity Recognition from Social Networks for Geo-Targeted Billboard Advertising
Authors: Oussama Hafferssas, Hiba Benyahia, Amina Madani, Nassima Zeriri
Abstract:
Although data nowadays has multiple forms; from text to images, and from audio to videos, yet text is still the most used one at a public level. At an academical and research level, and unlike other forms, text can be considered as the easiest form to process. Therefore, a brunch of Data Mining researches has been always under its shadow, called "Text Mining". Its concept is just like data mining’s, finding valuable patterns in data, from large collections and tremendous volumes of data, in this case: Text. Named entity recognition (NER) is one of Text Mining’s disciplines, it aims to extract and classify references such as proper names, locations, expressions of time and dates, organizations and more in a given text. Our approach "Octopub" does not aim to find new ways to improve named entity recognition process, rather than that it’s about finding a new, and yet smart way, to use NER in a way that we can extract sentiments of millions of people using Social Networks as a limitless information source, and Marketing for product promotion as the main domain of application.Keywords: textmining, named entity recognition(NER), sentiment analysis, social media networks (SN, SMN), business intelligence(BI), marketing
Procedia PDF Downloads 589976 Digital Control Algorithm Based on Delta-Operator for High-Frequency DC-DC Switching Converters
Authors: Renkai Wang, Tingcun Wei
Abstract:
In this paper, a digital control algorithm based on delta-operator is presented for high-frequency digitally-controlled DC-DC switching converters. The stability and the controlling accuracy of the DC-DC switching converters are improved by using the digital control algorithm based on delta-operator without increasing the hardware circuit scale. The design method of voltage compensator in delta-domain using PID (Proportion-Integration- Differentiation) control is given in this paper, and the simulation results based on Simulink platform are provided, which have verified the theoretical analysis results very well. It can be concluded that, the presented control algorithm based on delta-operator has better stability and controlling accuracy, and easier hardware implementation than the existed control algorithms based on z-operator, therefore it can be used for the voltage compensator design in high-frequency digitally- controlled DC-DC switching converters.Keywords: digitally-controlled DC-DC switching converter, digital voltage compensator, delta-operator, finite word length, stability
Procedia PDF Downloads 412975 Spontaneous Message Detection of Annoying Situation in Community Networks Using Mining Algorithm
Authors: P. Senthil Kumari
Abstract:
Main concerns in data mining investigation are social controls of data mining for handling ambiguity, noise, or incompleteness on text data. We describe an innovative approach for unplanned text data detection of community networks achieved by classification mechanism. In a tangible domain claim with humble secrecy backgrounds provided by community network for evading annoying content is presented on consumer message partition. To avoid this, mining methodology provides the capability to unswervingly switch the messages and similarly recover the superiority of ordering. Here we designated learning-centered mining approaches with pre-processing technique to complete this effort. Our involvement of work compact with rule-based personalization for automatic text categorization which was appropriate in many dissimilar frameworks and offers tolerance value for permits the background of comments conferring to a variety of conditions associated with the policy or rule arrangements processed by learning algorithm. Remarkably, we find that the choice of classifier has predicted the class labels for control of the inadequate documents on community network with great value of effect.Keywords: text mining, data classification, community network, learning algorithm
Procedia PDF Downloads 508974 Analytical Design of Fractional-Order PI Controller for Decoupling Control System
Authors: Truong Nguyen Luan Vu, Le Hieu Giang, Le Linh
Abstract:
The FOPI controller is proposed based on the main properties of the decoupling control scheme, as well as the fractional calculus. By using the simplified decoupling technique, the transfer function of decoupled apparent process is firstly separated into a set of n equivalent independent processes in terms of a ratio of the diagonal elements of original open-loop transfer function to those of dynamic relative gain array and the fraction – order PI controller is then developed for each control loops due to the Bode’s ideal transfer function that gives the desired fractional closed-loop response in the frequency domain. The simulation studies were carried out to evaluate the proposed design approach in a fair compared with the other existing methods in accordance with the structured singular value (SSV) theory that used to measure the robust stability of control systems under multiplicative output uncertainty. The simulation results indicate that the proposed method consistently performs well with fast and well-balanced closed-loop time responses.Keywords: ideal transfer function of bode, fractional calculus, fractional order proportional integral (FOPI) controller, decoupling control system
Procedia PDF Downloads 331973 The Role of Risk Management Practices in the Relationship between Risks Factors and Construction Project Performance
Authors: Ali Abdullah Albezaghi
Abstract:
This article aims to introduce a conceptual framework that can facilitate investigations concerning the role of risk management practices in the relationship between construction risks and the construction project's performance. This article is structured based on the extant literature; it reviews theoretical perspectives, highlights the gaps, and illustrates the significance of developing a framework of suggested relationships. Despite growing interest in the role of risks in construction project performance, previous studies have paid little attention to investigating the moderating role of risk management practices on the risk-performance link. This has left researchers and construction project managers with minimal information to explain the conditions under which risk management practices can reduce the impact of project-related risks and improve performance. In this context, this article suggests a viable research model with propositions that assess risk-performance relationships and discusses the potential moderating effects on the domain relationship. This paper adds to the risk management literature by focusing on risk variables that directly impact performance. Further, it also considers the moderating role of risk management practices in such relationships.Keywords: risk management practices, external risks, internal risks, project risks, project performance
Procedia PDF Downloads 137972 Synthesis of TiO₂/Graphene Nanocomposites with Excellent Visible-Light Photocatalytic Activity Based on Chemical Exfoliation Method
Authors: Nhan N. T. Ton, Anh T. N. Dao, Kouichirou Katou, Toshiaki Taniike
Abstract:
Facile electron-hole recombination and the broad band gap are two major drawbacks of titanium dioxide (TiO₂) when applied in visible-light photocatalysis. Hybridization of TiO₂ with graphene is a promising strategy to lessen these pitfalls. Recently, there have been many reports on the synthesis of TiO₂/graphene nanocomposites, in most of which graphene oxide (GO) was used as a starting material. However, the reduction of GO introduced a large number of defects on the graphene framework. In addition, the sensitivity of titanium alkoxide to water (GO usually contains) significantly obstructs the uniform and controlled growth of TiO₂ on graphene. Here, we demonstrate a novel technique to synthesize TiO₂/graphene nanocomposites without the use of GO. Graphene dispersion was obtained through the chemical exfoliation of graphite in titanium tetra-n-butoxide with the aid of ultrasonication. The dispersion was directly used for the sol-gel reaction in the presence of different catalysts. A TiO₂/reduced graphene oxide (TiO₂/rGO) nanocomposite, which was prepared by a solvothermal method from GO, and the commercial TiO₂-P25 were used as references. It was found that titanium alkoxide afforded the graphene dispersion of a high quality in terms of a trace amount of defects and a few layers of dispersed graphene. Moreover, the sol-gel reaction from this dispersion led to TiO₂/graphene nanocomposites featured with promising characteristics for visible-light photocatalysts including: (I) the formation of a TiO₂ nano layer (thickness ranging from 1 nm to 5 nm) that uniformly and thinly covered graphene sheets, (II) a trace amount of defects on the graphene framework (low ID/IG ratio: 0.21), (III) a significant extension of the absorption edge into the visible light region (a remarkable extension of the absorption edge to 578 nm beside the usual edge at 360 nm), and (IV) a dramatic suppression of electron-hole recombination (the lowest photoluminescence intensity compared to reference samples). These advantages were successfully demonstrated in the photocatalytic decomposition of methylene blue under visible light irradiation. The TiO₂/graphene nanocomposites exhibited 15 and 5 times higher activity than TiO₂-P25 and the TiO₂/rGO nanocomposite, respectively.Keywords: chemical exfoliation, photocatalyst, TiO₂/graphene, sol-gel reaction
Procedia PDF Downloads 160971 The Implementation of the Multi-Agent Classification System (MACS) in Compliance with FIPA Specifications
Authors: Mohamed R. Mhereeg
Abstract:
The paper discusses the implementation of the MultiAgent classification System (MACS) and utilizing it to provide an automated and accurate classification of end users developing applications in the spreadsheet domain. However, different technologies have been brought together to build MACS. The strength of the system is the integration of the agent technology with the FIPA specifications together with other technologies, which are the .NET widows service based agents, the Windows Communication Foundation (WCF) services, the Service Oriented Architecture (SOA), and Oracle Data Mining (ODM). Microsoft's .NET windows service based agents were utilized to develop the monitoring agents of MACS, the .NET WCF services together with SOA approach allowed the distribution and communication between agents over the WWW. The Monitoring Agents (MAs) were configured to execute automatically to monitor excel spreadsheets development activities by content. Data gathered by the Monitoring Agents from various resources over a period of time was collected and filtered by a Database Updater Agent (DUA) residing in the .NET client application of the system. This agent then transfers and stores the data in Oracle server database via Oracle stored procedures for further processing that leads to the classification of the end user developers.Keywords: MACS, implementation, multi-agent, SOA, autonomous, WCF
Procedia PDF Downloads 274970 Effects of Peakedness of Bimodal Waves on Overtopping of Sloping Seawalls
Authors: Stephen Orimoloye, Jose Horrillo-Caraballo, Harshinie Karunarathna, Dominic E. Reeve
Abstract:
Prediction of wave overtopping is an essential component of coastal seawall designing and management. Not only that excessive overtopping is reported for impermeable seawalls under bimodal waves, but overtopping is also showing a high sensitivity to the peakedness of the random wave propagation patterns. In the present study, we present a comprehensive analysis of the effects of peakedness of bimodal wave patterns of the overtopping of sloping seawalls. An energy-conserved bimodal spectrum with four different spectra peak periods and swell percentages was applied to estimate wave overtopping in both numerical and experimental flumes. Results of incident surface elevations and bimodal spectra were accurately captured across the flume domain using sets of well-positioned resistant-type wave gauges. Peakedness characteristics of the wave patterns were extracted to derive a relationship between the non-dimensional overtopping and the peakedness across the wave groups in the wave series. The full paper will briefly describe the development of the spectrum and present a comprehensive results analysis leading to the derivation of the relationship between dimensionless overtopping and peakedness of bimodal waves.Keywords: wave overtopping, peakedness, bimodal waves, swell percentages
Procedia PDF Downloads 181969 The Power House of Mind: Determination of Action
Authors: Sheetla Prasad
Abstract:
The focus issue of this article is to determine the mechanism of mind with geometrical analysis of human face. Research paradigm has been designed for study of spatial dynamic of face and it was found that different shapes of face have their own function for determine the action of mind. The functional ratio (FR) of face has determined the behaviour operation of human beings. It is not based on the formulistic approach of prediction but scientific dogmatism and mathematical analysis is the root of the prediction of behaviour. For analysis, formulae were developed and standardized. It was found that human psyche is designed in three forms; manipulated, manifested and real psyche. Functional output of the psyche has been determined by degree of energy flow in the psyche and reserve energy for future. Face is the recipient and transmitter of energy but distribution and control is the possible by mind. Mind directs behaviour. FR indicates that the face is a power house of energy and as per its geometrical domain force of behaviours has been designed and actions are possible in the nature of individual. The impact factor of this study is the promotion of human capital for job fitness objective and minimization of criminalization in society.Keywords: functional ratio, manipulated psyche, manifested psyche, real psyche
Procedia PDF Downloads 453968 Numerical Study of Heat Transfer in Silica Aerogel
Authors: Amal Maazoun, Abderrazak Mezghani, Ali Ben Moussa
Abstract:
Aerogel consists of a ramified and inter-connected solid skeleton enclosing a very important number of nano-sized pores filled with air that occupies most of the volume and makes very low density. The thermal conductivity of this material can reach lower values than those of any other material, and it changes with the type of the aerogel and its composition. So, in order to explain the causes of the super-insulation of our material and to determine the factors in which depends on its conductivity we used a numerical simulation. We have developed a numerical code that generates random fractal structure of silica aerogel with pre-defined concentration, properties of the backbone and the gas in the pores as well as the size of the particles. The calculation of the conductivity at any point of domain shows that it is not constant and that it depends on the pore size and the location in the pore. A numerical method based on resolution by inversion of block tridiagonal matrices is used to calculate the equivalent thermal conductivity of the whole fractal structure. The average conductivity calculated for each concentration is in good agreement with those of typical aerogels. And we found that the equivalent thermal conductivity of a silica aerogel depends strongly not only on the porosity but also on the tortuosity of the solid backbone.Keywords: aerogel, fractal structure, numerical study, porous media, thermal conductivity
Procedia PDF Downloads 291967 Personalizing Human Physical Life Routines Recognition over Cloud-based Sensor Data via AI and Machine Learning
Authors: Kaushik Sathupadi, Sandesh Achar
Abstract:
Pervasive computing is a growing research field that aims to acknowledge human physical life routines (HPLR) based on body-worn sensors such as MEMS sensors-based technologies. The use of these technologies for human activity recognition is progressively increasing. On the other hand, personalizing human life routines using numerous machine-learning techniques has always been an intriguing topic. In contrast, various methods have demonstrated the ability to recognize basic movement patterns. However, it still needs to be improved to anticipate the dynamics of human living patterns. This study introduces state-of-the-art techniques for recognizing static and dy-namic patterns and forecasting those challenging activities from multi-fused sensors. Further-more, numerous MEMS signals are extracted from one self-annotated IM-WSHA dataset and two benchmarked datasets. First, we acquired raw data is filtered with z-normalization and denoiser methods. Then, we adopted statistical, local binary pattern, auto-regressive model, and intrinsic time scale decomposition major features for feature extraction from different domains. Next, the acquired features are optimized using maximum relevance and minimum redundancy (mRMR). Finally, the artificial neural network is applied to analyze the whole system's performance. As a result, we attained a 90.27% recognition rate for the self-annotated dataset, while the HARTH and KU-HAR achieved 83% on nine living activities and 90.94% on 18 static and dynamic routines. Thus, the proposed HPLR system outperformed other state-of-the-art systems when evaluated with other methods in the literature.Keywords: artificial intelligence, machine learning, gait analysis, local binary pattern (LBP), statistical features, micro-electro-mechanical systems (MEMS), maximum relevance and minimum re-dundancy (MRMR)
Procedia PDF Downloads 21966 Lifetime Assessment of Highly Efficient Metal-Based Air-Diffuser through Accelerated Degradation Test
Authors: Jinyoung Choi, Tae-Ho Yoon, Sunmook Lee
Abstract:
Degradation of standard oxygen transfer efficiency (SOTE) with time was observed for the assessment of lifetime of metal-based air-diffuser, which displaced a polymer composite-based air-diffuser in order to attain a longer lifetime in the actual field. The degradation of air-diffuser occurred due to the failure of the formation of small and uniform air bubbles since the patterns formed on the disc of air-diffuser deteriorated and/or changed from their initial shapes while they were continuously exposed to the air blowing condition during the operation in the field. Therefore, the lifetime assessment of metal-based air-diffuser was carried out through an accelerated degradation test by accelerating the air-blowing conditions in 200 L/min, 300 L/min, and 400 L/min and the lifetime of normal operating condition at 120 L/min was predicted. It was found that Weibull distribution was the most proper one for describing the lifetime distribution of metal-based air-diffuser in the present study. The shape and scale parameters indicated that the accelerated blowing conditions were all within the acceleration domain. The lifetime was predicted by adopting inverse power model for a stress-life relationship and estimated to be B10=94,004 hrs with CL=95%. Acknowledgement: This work was financially supported by the Ministry of Trade, Industry and Energy (Grant number: N0001475).Keywords: accelerated degradation test, air-diffuser, lifetime assessment, SOTE
Procedia PDF Downloads 562965 Modeling Dynamics and Control of Transversal Vibration of an Underactuated Flexible Plate Using Controlled Lagrangian Method
Authors: Mahmood Khalghollah, Mohammad Tavallaeinejad, Mohammad Eghtesad
Abstract:
The method of Controlled Lagrangian is an energy shaping control technique for under actuated Lagrangian systems. Energy shaping control design methods are appealing as they retain the underlying nonlinear dynamics and can provide stability results that hold over larger domain than can be obtained using linear design and analysis. In the present study, controlled lagrangian is employed for designing a controller in an under actuated rotating flexible plate system. In the system of rotating flexible plate, due to its nonlinear characteristics and coupled dynamics of rigid and flexible components, controller design is a known challenge. In this paper, controller objectives are considered to be vibration reduction of flexible component and position control of the tip of the plate. To achieve the goals, a method based on both kinetic and potential energy shaping is introduced. The stability of the closed-loop system is investigated and proved around its equilibrium points. Moreover, the proposed controller is shown to be robust against disturbance and plant uncertainties.Keywords: controlled lagrangian, underactuated system, flexible rotating plate, disturbance
Procedia PDF Downloads 446964 Detoxification and Recycling of the Harvested Microalgae using Eco-friendly Food Waste Recycling Technology with Salt-tolerant Mushroom Strains
Authors: J. M. Kim, Y. W. Jung, E. Lee, Y. K. Kwack, , S. K. Sim*
Abstract:
Cyanobacterial blooms in lakes, reservoirs, and rivers have been environmental and social issues due to its toxicity, odor, etc. Among the cyanotoxins, microcystins exist mostly within the cyanobacterial cells, and they are released from the cells. Therefore, an innovative technology is needed to detoxify the harvested microalgae for environment-friendly utilization of the harvested microalgae. This study develops detoxification method of microcystins in the harvested microalgae and recycling harvested microalgae with food waste using salt-tolerant mushroom strains and natural ecosystem decomposer. During this eco-friendly organic waste recycling process, diverse bacteria or various enzymes of the salt-tolerant mushroom strains decompose the microystins and cyclic peptides. Using PHLC/Mass analysis, it was verified that 99.8% of the microcystins of the harvested microalgae was detoxified in the harvested mushroom as well as in the recycled organic biomass. Further study is planned to verify the decomposition mechanisms of the microcystins by the bacteria or enzymes. In this study, the harvested microalgae is mixed with the food waste, and then the mixed toxic organic waste is used as mushroom compost by adjusting the water content of about 70% using cellulose such as sawdust cocopeats and cottonseeds. The mushroom compost is bottled, sterilized, and salt-tolerant mushroom spawn is inoculated. The mushroom is then cultured and growing in the temperature, humidity, and CO2 controlled environment. During the cultivation and growing process of the mushroom, microcystins are decomposed into non-toxic organic or inorganic compounds by diverse bacteria or various enzymes of the mushroom strains. Various enzymes of the mushroom strains decompose organics of the mixed organic waste and produce nutritious and antibiotic mushrooms. Cultured biomass compost after mushroom harvest can be used for organic fertilizer, functional bio-feed, and RE-100 biomass renewable energy source. In this eco-friendly organic waste recycling process, no toxic material, wastewater, nor sludge is generated; thus, sustainable with the circular economy.Keywords: microalgae, microcystin, food waste, salt-tolerant mushroom strains, sustainability, circular economy
Procedia PDF Downloads 143963 Helping the Development of Public Policies with Knowledge of Criminal Data
Authors: Diego De Castro Rodrigues, Marcelo B. Nery, Sergio Adorno
Abstract:
The project aims to develop a framework for social data analysis, particularly by mobilizing criminal records and applying descriptive computational techniques, such as associative algorithms and extraction of tree decision rules, among others. The methods and instruments discussed in this work will enable the discovery of patterns, providing a guided means to identify similarities between recurring situations in the social sphere using descriptive techniques and data visualization. The study area has been defined as the city of São Paulo, with the structuring of social data as the central idea, with a particular focus on the quality of the information. Given this, a set of tools will be validated, including the use of a database and tools for visualizing the results. Among the main deliverables related to products and the development of articles are the discoveries made during the research phase. The effectiveness and utility of the results will depend on studies involving real data, validated both by domain experts and by identifying and comparing the patterns found in this study with other phenomena described in the literature. The intention is to contribute to evidence-based understanding and decision-making in the social field.Keywords: social data analysis, criminal records, computational techniques, data mining, big data
Procedia PDF Downloads 84962 Petra: Simplified, Scalable Verification Using an Object-Oriented, Compositional Process Calculus
Authors: Aran Hakki, Corina Cirstea, Julian Rathke
Abstract:
Formal methods are yet to be utilized in mainstream software development due to issues in scaling and implementation costs. This work is about developing a scalable, simplified, pragmatic, formal software development method with strong correctness properties and guarantees that are easy prove. The method aims to be easy to learn, use and apply without extensive training and experience in formal methods. Petra is proposed as an object-oriented, process calculus with composable data types and sequential/parallel processes. Petra has a simple denotational semantics, which includes a definition of Correct by Construction. The aim is for Petra is to be standard which can be implemented to execute on various mainstream programming platforms such as Java. Work towards an implementation of Petra as a Java EDSL (Embedded Domain Specific Language) is also discussed.Keywords: compositionality, formal method, software verification, Java, denotational semantics, rewriting systems, rewriting semantics, parallel processing, object-oriented programming, OOP, programming language, correct by construction
Procedia PDF Downloads 145961 Analyzing the Perception of Students and Faculty Members on Social Media Use in Academic Activities: A Case Study of Beijing Normal University
Authors: Mcjerry A. Bekoe, Emile Uwamahoro
Abstract:
Social media has become the order of the day, in particular among the youth. It is widely used both formally and informally in the university communities with varied definitions both in the academic circles and in the public domain. In simple terms, it is a media upon which social interactions are carried. In this work social media denote mobile phones, and web-base applications use by students and institutions to construct, partake, and distribute both existing and new information in a digital setting through internet communication. The basic aim of conducting this study was to analyze the perception of students and faculty members Beijing Normal University on social media use in the academic setting and to contribute to the understanding of how university students use social media, the advantages and disadvantages of social media in education. The study was qualitative and employed open-ended interview questions developed to seek students’ perception of the effects of social media and administered based on purposive sampling. Document analysis was also done because of triangulation to ensure validity and reliability. The results show there are positive and negative impacts of social media use depending on how one uses it. Social media have the capability to become a priceless asset to aid their educational communication.Keywords: academics, high education, interactions, social media
Procedia PDF Downloads 341960 Multidimensional Poverty and Its Correlates among Rural Households in Limpopo Province, South Africa
Authors: Tamunotonye Mayowa Braide, Isaac Oluwatayo
Abstract:
This study investigates multidimensional poverty, and its correlates among rural households in Sekhukhune and Capricorn District municipalities (SDM & CDM) in Limpopo Province, South Africa. Primary data were collected from 407 rural households selected through purposive and simple random sampling techniques. Analytical techniques employed include descriptive statistics, principal component analysis (PCA), and the Alkire Foster (A-F) methodology. The results of the descriptive statistics showed there are more females (66%) than males (34%) in rural areas of Limpopo Province, with about 45% of them having secondary school education as the highest educational level attained and only about 3% do not have formal education. In the analysis of deprivation, eight dimensions of deprivation, constructed from 21 variables, were identified using the PCA. These dimensions include type and condition of dwelling water and sanitation, educational attainment and income, type of fuel for cooking and heating, access to clothing and cell phone, assets and fuel for light, health condition, crowding, and child health. In identifying the poor with poverty cut-off (0.13) of all indicators, about 75.9% of the rural households are deprived in 25% of the total dimensions, with the adjusted headcount ratio (M0) being 0.19. Multidimensional poverty estimates showed higher estimates of poor rural households with 71%, compared to 29%, which fall below the income poverty line. The study conducted poverty decomposition, using sub-groups within the area by examining regions and household characteristics. In SDM, there are more multidimensionally poor households than in CDM. The water and sanitation dimension is the largest contributor to the multidimensional poverty index (MPI) in rural areas of Limpopo Province. The findings can, therefore, assist in better design of welfare policy and target poverty alleviation programs and as well help in efficient resource allocation at the provincial and local municipality levels.Keywords: Alkire-Foster methodology, Limpopo province, multidimensional poverty, principal component analysis, South Africa
Procedia PDF Downloads 164959 Influences of Emerging Beauty Industry for Men on Construction of Masculinities of Male Students of Dhaka City
Authors: Abu Saleh Mohammad Sowad
Abstract:
Back in history, muscular and strong male body has always been used to promulgate masculinity; for physically representing supreme manliness there were not many other options. This idealized male figure was proliferated mainly for spreading the notion of male superiority in relation to power and to give a strong base to the social construction of masculinity. This study targets to disclose the perception about the attributes masculinities among the male students of Dhaka city regarding male beautification. It is an attempt to unveil young men’s perspectives regarding their masculinities and beauty. Till the very recent past, beauty was always seen as sole feminine trait in Bangladeshi society. From history we can see men have always been assumed as the ambassador of roughness but in recent time the emergence of fashion-conscious men can be seen, who are slowly occupying a handsome position in the society. Concerning study attempts to bring out the way in which such changing trend of male beauty is perceived among the male students of Dhaka city. What could be the ideologies of these young men who are being involved with it? What is influencing them to be part of such arena which, to a great extent, is still considered as female domain? Is their perception about construction of masculinity is shifting from the so called idealized masculinity? The study tries to find out the answers.Keywords: masculinity, male beauty, Bangladesh, identity, body
Procedia PDF Downloads 474958 Tobacco Taxation and the Heterogeneity of Smokers' Responses to Price Increases
Authors: Simone Tedeschi, Francesco Crespi, Paolo Liberati, Massimo Paradiso, Antonio Sciala
Abstract:
This paper aims at contributing to the understanding of smokers’ responses to cigarette prices increases with a focus on heterogeneity, both across individuals and price levels. To do this, a stated preference quasi-experimental design grounded in a random utility framework is proposed to evaluate the effect on smokers’ utility of the price level and variation, along with social conditioning and health impact perception. The analysis is based on individual-level data drawn from a unique survey gathering very detailed information on Italian smokers’ habits. In particular, qualitative information on the individual reactions triggered by changes in prices of different magnitude and composition are exploited. The main findings stemming from the analysis are the following; the average price elasticity of cigarette consumption is comparable with previous estimates for advanced economies (-.32). However, the decomposition of this result across five latent-classes of smokers, reveals extreme heterogeneity in terms of price responsiveness, implying a potential price elasticity that ranges between 0.05 to almost 1. Such heterogeneity is in part explained by observable characteristics such as age, income, gender, education as well as (current and lagged) smoking intensity. Moreover, price responsiveness is far from being independent from the size of the prospected price increase. Finally, by comparing even and uneven price variations, it is shown that uniform across-brand price increases are able to limit the scope of product substitutions and downgrade. Estimated price-response heterogeneity has significant implications for tax policy. Among them, first, it provides evidence and a rationale for why the aggregate price elasticity is likely to follow a strictly increasing pattern as a function of the experienced price variation. This information is crucial for forecasting the effect of a given tax-driven price change on tax revenue. Second, it provides some guidance on how to design excise tax reforms to balance public health and revenue goals.Keywords: smoking behaviour, preference heterogeneity, price responsiveness, cigarette taxation, random utility models
Procedia PDF Downloads 162957 Business Skills Laboratory in Action: Combining a Practice Enterprise Model and an ERP-Simulation to a Comprehensive Business Learning Environment
Authors: Karoliina Nisula, Samuli Pekkola
Abstract:
Business education has been criticized for being too theoretical and distant from business life. Different types of experiential learning environments ranging from manual role-play to computer simulations and enterprise resource planning (ERP) systems have been used to introduce the realistic and practical experience into business learning. Each of these learning environments approaches business learning from a different perspective. The implementations tend to be individual exercises supplementing the traditional courses. We suggest combining them into a business skills laboratory resembling an actual workplace. In this paper, we present a concrete implementation of an ERP-supported business learning environment that is used throughout the first year undergraduate business curriculum. We validate the implementation by evaluating the learning outcomes through the different domains of Bloom’s taxonomy. We use the role-play oriented practice enterprise model as a comparison group. Our findings indicate that using the ERP simulation improves the poor and average students’ lower-level cognitive learning. On the affective domain, the ERP-simulation appears to enhance motivation to learn as well as perceived acquisition of practical hands-on skills.Keywords: business simulations, experiential learning, ERP systems, learning environments
Procedia PDF Downloads 259956 Disequilibrium between the Demand and Supply of Teachers of English at the Junior Secondary Schools in Gashua, Yobe State: Options for 2015 and Beyond
Authors: Clifford Irikefe Gbeyonron
Abstract:
The Nigerian educational system, which has English language as a major medium of instruction, has been designed in such a way that the cognitive, psychomotor and affective endowments of the Nigerian learner could be explored. However, the human resources that would impart the desired knowledge, skills and values in the learners seem to be in short supply. This paucity is more manifest in the area of teachers of English. As a result, this research was conducted on the demand and supply of teachers of English at the junior secondary schools in Gashua, Yobe State. The results indicate that there was dearth of teachers of English the domain under review. This thus presents a challenge that should propel English language teacher education industries to produce more teachers of English. As a result, this paper recommends that the teacher production process should make use of qualified and enthusiastic teacher trainers that would be able to inculcate in-depth linguistic and communicative competence of English language and English language teaching skills in the potential teachers of English. In addition, English language education service providers should attract and retain the trained teachers of English in the business of English language teaching in such a way that all the states of Nigeria could experience educational development.Keywords: demand, supply, teachers of English, Yobe State
Procedia PDF Downloads 374955 Drinking Water Quality Assessment Using Fuzzy Inference System Method: A Case Study of Rome, Italy
Authors: Yas Barzegar, Atrin Barzegar
Abstract:
Drinking water quality assessment is a major issue today; technology and practices are continuously improving; Artificial Intelligence (AI) methods prove their efficiency in this domain. The current research seeks a hierarchical fuzzy model for predicting drinking water quality in Rome (Italy). The Mamdani fuzzy inference system (FIS) is applied with different defuzzification methods. The Proposed Model includes three fuzzy intermediate models and one fuzzy final model. Each fuzzy model consists of three input parameters and 27 fuzzy rules. The model is developed for water quality assessment with a dataset considering nine parameters (Alkalinity, Hardness, pH, Ca, Mg, Fluoride, Sulphate, Nitrates, and Iron). Fuzzy-logic-based methods have been demonstrated to be appropriate to address uncertainty and subjectivity in drinking water quality assessment; it is an effective method for managing complicated, uncertain water systems and predicting drinking water quality. The FIS method can provide an effective solution to complex systems; this method can be modified easily to improve performance.Keywords: water quality, fuzzy logic, smart cities, water attribute, fuzzy inference system, membership function
Procedia PDF Downloads 75954 Dynamic Investigation of Brake Squeal Problem in The Presence of Kinematic Nonlinearities
Authors: Shahroz Khan, Osman Taha Şen
Abstract:
In automotive brake systems, brake noise has been a major problem, and brake squeal is one of the critical ones which is an instability issue. The brake squeal produces an audible sound at high frequency that is irritating to the human ear. To study this critical problem, first a nonlinear mathematical model with three degree of freedom is developed. This model consists of a point mass that simulates the brake pad and a sliding surface that simulates the brake rotor. The model exposes kinematic and clearance nonlinearities, but no friction nonlinearity. In the formulation, the friction coefficient is assumed to be constant and the friction force does not change direction. The nonlinear governing equations of the model are first obtained, and numerical solutions are sought for different cases. Second, a computational model for the squeal problem is developed with a commercial software, and computational solutions are obtained with two different types of contact cases (solid-to-solid and sphere-to-plane). This model consists of three rigid bodies and several elastic elements that simulate the key characteristics of a brake system. The response obtained from this model is compared with numerical solutions in time and frequency domain.Keywords: contact force, nonlinearities, brake squeal, vehicle brake
Procedia PDF Downloads 246953 Numerical Simulation of Unsteady Natural Convective Nanofluid Flow within a Trapezoidal Enclosure Using Meshfree Method
Authors: S. Nandal, R. Bhargava
Abstract:
The paper contains a numerical study of the unsteady magneto-hydrodynamic natural convection flow of nanofluids within a symmetrical wavy walled trapezoidal enclosure. The length and height of enclosure are both considered equal to L. Two-phase nanofluid model is employed. The governing equations of nanofluid flow along with boundary conditions are non-dimensionalized and are solved using one of Meshfree technique (EFGM method). Meshfree numerical technique does not require a predefined mesh for discretization purpose. The bottom wavy wall of the enclosure is defined using a cosine function. Element free Galerkin method (EFGM) does not require the domain. The effects of various parameters namely time t, amplitude of bottom wavy wall a, Brownian motion parameter Nb and thermophoresis parameter Nt is examined on rate of heat and mass transfer to get a visualization of cooling and heating effects. Such problems have important applications in heat exchangers or solar collectors, as wavy walled enclosures enhance heat transfer in comparison to flat walled enclosures.Keywords: heat transfer, meshfree methods, nanofluid, trapezoidal enclosure
Procedia PDF Downloads 158952 Efficient Energy Management: A Novel Technique for Prolonged and Persistent Automotive Engine
Authors: Chakshu Baweja, Ishaan Prakash, Deepak Giri, Prithwish Mukherjee, Herambraj Ashok Nalawade
Abstract:
The need to prevent and control rampant and indiscriminate usage of energy in present-day realm on earth has motivated active research efforts aimed at understanding of controlling mechanisms leading to sustained energy. Although much has been done but complexity of the problem has prevented a complete understanding due to nonlinear interaction between flow, heat and mass transfer in terrestrial environment. Therefore, there is need for a systematic study to clearly understand mechanisms controlling energy-spreading phenomena to increase a system’s efficiency. The present work addresses the issue of sustaining energy and proposes a devoted technique of optimizing energy in the automotive domain. The proposed method focus on utilization of the mechanical and thermal energy of an automobile IC engine by converting and storing energy due to motion of a piston in form of electrical energy. The suggested technique utilizes piston motion of the engine to generate high potential difference capable of working as a secondary power source. This is achieved by the use of a gear mechanism and a flywheel.Keywords: internal combustion engine, energy, electromagnetic induction, efficiency, gear ratio, hybrid vehicle, engine shaft
Procedia PDF Downloads 474951 Lean Thinking and E-Commerce as New Opportunities to Improve Partnership in Supply Chain of Construction Industries
Authors: Kaustav Kundu, Alberto Portioli Staudacher
Abstract:
Construction industry plays a vital role in the economy of the world. But due to high uncertainty and variability in the industry, its performance is not as efficient in terms of quality, lead times, productivity and costs as of other industries. Moreover, there are continuous conflicts among the different actors in the construction supply chains in terms of profit sharing. Previous studies suggested partnership as an important approach to promote cooperation among the different actors in the construction supply chains and thereby it improves the overall performance. Construction practitioners tried to focus on partnership which can enhance the performance of construction supply chains but they are not fully aware of different approaches and techniques for improving partnership. In this research, a systematic review on partnership in relation to construction supply chains is carried out to understand different elements influencing the partnership. The research development of this domain is analyzed by reviewing selected articles published from 1996 to 2015. Based on the papers, three major elements influencing partnership in construction supply chains are identified: “Lean approach”, “Relationship building” and “E-commerce applications”. This study analyses the contributions in the areas within each element and provides suggestions for future developments of partnership in construction supply chains.Keywords: partnership, construction, lean, SCM, supply chain management
Procedia PDF Downloads 434