Search results for: business process model and notation
4859 Tax System Reform in Nepal: Analysis of Contemporary Issues, Challenges, and Ways Forward
Authors: Dilliram Paudyal
Abstract:
The history of taxation in Nepal dates back to antiquity. However, the modern tax system gained its momentum after the establishment of democracy in 1951, which initially focused only land tax and tariff on foreign trade. In the due time, several taxes were introduced, such as direct taxes, indirect taxes, and non-taxes. However, the tax structure in Nepal is heavily dominated by indirect taxes that contribute more than 60 % of the total revenue. The government has been mobilizing revenues through a series of tax reforms during the Tenth Five-year Plan (2002 – 2007) and successive Three-year Interim Development Plans by introducing several tax measures. However, these reforms are regressive in nature, which does not lead the overall economy towards short-run stability as well as in the long run development. Based on the literature review and discussion among government officials and few taxpayers individually and groups, this paper aims to major issues and challenges that hinder the tax reform effective in Nepal. Additionally, this paper identifies potential way and process of tax reform in Nepal. The results of the study indicate that transparency in a major problem in Nepalese tax system in Nepal, where serious structural constraints with administrative and procedural complexities envisaged in the Income Tax Act and taxpayers are often unaware of the specific size of tax which is to comply them. Some other issues include high tax rate, limited tax base, leakages in tax collection, rigid and complex Income Tax Act, inefficient and corrupt tax administration, limited potentialities of direct taxes and negative responsiveness of land tax with higher administrative costs. In the context, modality of tax structure and mobilize additional resources is to be rectified on a greater quantum by establishing an effective, dynamic and highly power driven Autonomous Revenue Board.Keywords: corrupt, development, inefficient, taxation
Procedia PDF Downloads 1824858 Analysis of Maize Yield under Climate Change, Adaptations in Varieties and Planting Date in Northeast China in Recent Thirty Years
Authors: Zhan Fengmei Yao, Hui Li, Jiahua Zhang
Abstract:
The Northeast China (NEC) was the most important agriculture areas and known as the Golden-Maize-Belt. Based on observed crop data and crop model, we design four simulating experiments and separate relative impacts and contribution under climate change, planting date shift, and varieties change as well change of varieties and planting date. Without planting date and varieties change, maize yields had no significant change trend at Hailun station located in the north of NEC, and presented significant decrease by 0.2-0.4 t/10a at two stations, which located in the middle and the south of NEC. With planting date change, yields showed a significant increase by 0.09 - 0.47 t/10a. With varieties change, maize yields had significant increase by 1.8~ 1.9 t/10a at Hailun and Huadian stations, but a non-significant and low increase by 0.2t /10a at Benxi located in the south of NEC. With change of varieties and planting date, yields presented a significant increasing by 0.53-2.0 t/10a. Their contribution to yields was -25% ~ -55% for climate change, 15% ~ 35% for planting date change, and 20% ~110% for varieties change as well 30% ~135% for varieties with planting date shift. It found that change in varieties and planting date were highest yields and were responsible for significant increases in maize yields, varieties was secondly, and planting date was thirdly. It found that adaptation in varieties and planting date greatly improved maize yields, and increased yields annual variability. The increase of contribution with planting date and varieties change in 2000s was lower than in 1990s. Yields with the varieties change and yields with planting date and varieties change all showed a decreasing trend at Huadian and Benxi since 2002 or so. It indicated that maize yields increasing trend stagnated in the middle and south of NEC, and continued in the north of NEC.Keywords: climate change, maize yields, varieties, planting date, impacts
Procedia PDF Downloads 3644857 Effect of Gender on Carcass Parameters in Japanese Quail
Authors: M. Bolacali
Abstract:
This study was conducted to determine the effects of and sex on the carcass characteristics in Japanese quails. A total of 320 (160 for each sex groups) one-day-old quail chicks were randomly allocated to the sex groups, each containing 160 chicks according to a completely randomized design. Each gender was then divided into five replicate groups of 32 chicks. According to sex groups, the chicks of all replicate groups were housed in cages. The normality of distribution for all data was tested with the Shapiro-Wilk test at 95% confidence interval. A P value of ≤ 0.05 was interpreted as different. The statistical analysis for normal distribution data of the dietary groups was carried out with the general linear model procedure of SPSS software. The results are expressed as mean ± standard deviation of five replications. Duncan’s multiple range test was used for multiple comparisons in important groups. Data points bearing different letters are significantly different P ≤ 0.05. For the distribution of data that was different from normal, Kruskal Wallis H-Test was applied as a nonparametric test, and the results were expressed as median, minimum and maximum values. Pairwise comparisons of groups were made when Kruskal Wallis H-Test was significant. The study period lasted 42 days. Hot carcass, cold carcass, heart, and leg percentages in male quails was higher than female quails (P < 0.05), but liver, and breast percentages in female quails was higher than male quails (P > 0.05). The highest slaughter and carcass weight values were determined in the female quails in the cage. As a conclusion, it may be recommended to quail meat producers, who would like to obtain higher carcass weight to make more economic profit, to raise female quails in cage.Keywords: carcass yield, chick, gender, management
Procedia PDF Downloads 1904856 Adaptive Reuse of Lost Urban Space
Authors: Rana Sameeh
Abstract:
The city is the greatest symbol of human civilization and has been built for safety and comfort. However, uncontrolled urban growth caused some anonymous and unsightly images of the cities such as unused or abandoned spaces. When social interaction is missed in a public space it means the public space is lost since public spaces reflect the social life and interaction of people. Accordingly; this space became one of the most meaningless parts of the cities and has broken the continuity of the urban fabric. Lost urban spaces are the leftover unstructured landscape within the urban fabric. They are generally the unrecognized urban areas that are in need of redesign, since they have a great value that can add to their surrounding urban context. The research significance lies within the importance of urban open spaces, their value and their impact on the urban fabric. The research also addresses the reuse and reclamation of lost urban spaces in order to increase the percentage of green areas along the urban fabric, provide urban open spaces, develop a sustainable approach towards urban landscape and enhance the quality of the public open space and user experience. In addition, the reuse of lost space will give it the identity and function it lacks while also providing places for presence, spending time and observing. Creating continuity in a broken urban fabric represents an exploratory process in the relationship between infrastructure and the urban fabric and seeks to establish an architectural solution to leftover space within the city. In doing so, the research establishes a framework (criteria) for adaptive reuse of lost urban space throughout inductive and deductive methodology, analytical methodology; by analyzing some relevant examples and similar cases of lost spaces and finally through field methodology; by applying the achieved criteria on a case study in Alexandria and carrying on SWOT analysis and evaluation of the potentials of this case study.Keywords: adaptive reuse, lost urban space, quality of public open space, urban fabric
Procedia PDF Downloads 6564855 Decision Making in Medicine and Treatment Strategies
Authors: Kamran Yazdanbakhsh, Somayeh Mahmoudi
Abstract:
Three reasons make good use of the decision theory in medicine: 1. Increased medical knowledge and their complexity makes it difficult treatment information effectively without resorting to sophisticated analytical methods, especially when it comes to detecting errors and identify opportunities for treatment from databases of large size. 2. There is a wide geographic variability of medical practice. In a context where medical costs are, at least in part, by the patient, these changes raise doubts about the relevance of the choices made by physicians. These differences are generally attributed to differences in estimates of probabilities of success of treatment involved, and differing assessments of the results on success or failure. Without explicit criteria for decision, it is difficult to identify precisely the sources of these variations in treatment. 3. Beyond the principle of informed consent, patients need to be involved in decision-making. For this, the decision process should be explained and broken down. A decision problem is to select the best option among a set of choices. The problem is what is meant by "best option ", or know what criteria guide the choice. The purpose of decision theory is to answer this question. The systematic use of decision models allows us to better understand the differences in medical practices, and facilitates the search for consensus. About this, there are three types of situations: situations certain, risky situations, and uncertain situations: 1. In certain situations, the consequence of each decision are certain. 2. In risky situations, every decision can have several consequences, the probability of each of these consequences is known. 3. In uncertain situations, each decision can have several consequences, the probability is not known. Our aim in this article is to show how decision theory can usefully be mobilized to meet the needs of physicians. The decision theory can make decisions more transparent: first, by clarifying the data systematically considered the problem and secondly by asking a few basic principles should guide the choice. Once the problem and clarified the decision theory provides operational tools to represent the available information and determine patient preferences, and thus assist the patient and doctor in their choices.Keywords: decision making, medicine, treatment strategies, patient
Procedia PDF Downloads 5814854 MiR-200a/ZEB1 Pathway in Liver Fibrogenesis of Biliary Atresia
Authors: Hai-Ying Liu, Yi-Hao Chen, Shu-Yin Pang, Feng-Hua Wang, Xiao-Fang Peng, Li-Yuan Yang, Zheng-Rong Chen, Yi Chen, Bing Zhu
Abstract:
Objective: Biliary atresia (BA) is characterized by progressive liver fibrosis. Epithelial-mesenchymal transition (EMT) has been implicated as a key mechanism in the pathogenesis of organ fibrosis. MiR-200a has been shown to repress EMT. We aim to explore the role of miR-200a in the fibrogenesis of BA. Methods: We obtained the plasma samples and liver samples from patients with BA or controls to examine the role of miR-200a. Histological liver fibrosis was assessed using the Ishak fibrosis scores. Reverse transcription quantitative polymerase chain reaction (RT-qPCR) was performed to detect the expression of miR-200a in plasma. We also evaluated the expression of miR-200a in liver tissues using tyramide signal amplification fluorescence in situ hybridization (TSA-FISH). The expression of EMT related proteins zinc finger E-box-binding homeobox 1 (ZEB1), E-cadherin and α-smooth muscle actin (α-SMA) in the liver sections were detected by immunohistochemical staining. Results: We found that the expression of miR-200a was both elevated in the plasma and liver tissues from BA patients compared with the controls. The hepatic expression of ZEB1 and α-SMA were markedly increased in the liver sections from BA patients compared to the controls, whereas E-cadherin was downregulated in the BA group. Simultaneously, we noted that the hepatic expression of miR-200a, E-cadherin and α-SMA were upregulated with the progression of liver fibrosis in the BA group, while ZEB1 was downregulated with the progression of liver fibrosis in BA patients. Conclusion: These findings suggest EMT has a critical effect on the fibrotic process of BA, and the interaction between miR-200a and ZEB1 may regulate EMT and eventually influence liver fibrogenesis of BA.Keywords: biliary atresia, liver fibrosis, MicroRNA, epithelial-mesenchymal transition, zinc finger E-box-binding homeobox 1
Procedia PDF Downloads 3614853 Design and Radio Frequency Characterization of Radial Reentrant Narrow Gap Cavity for the Inductive Output Tube
Authors: Meenu Kaushik, Ayon K. Bandhoyadhayay, Lalit M. Joshi
Abstract:
Inductive output tubes (IOTs) are widely used as microwave power amplifiers for broadcast and scientific applications. It is capable of amplifying radio frequency (RF) power with very good efficiency. Its compactness, reliability, high efficiency, high linearity and low operating cost make this device suitable for various applications. The device consists of an integrated structure of electron gun and RF cavity, collector and focusing structure. The working principle of IOT is a combination of triode and klystron. The cathode lies in the electron gun produces a stream of electrons. A control grid is placed in close proximity to the cathode. Basically, the input part of IOT is the integrated structure of gridded electron gun which acts as an input cavity thereby providing the interaction gap where the input RF signal is applied to make it interact with the produced electron beam for supporting the amplification phenomena. The paper presents the design, fabrication and testing of a radial re-entrant cavity for implementing in the input structure of IOT at 350 MHz operating frequency. The model’s suitability has been discussed and a generalized mathematical relation has been introduced for getting the proper transverse magnetic (TM) resonating mode in the radial narrow gap RF cavities. The structural modeling has been carried out in CST and SUPERFISH codes. The cavity is fabricated with the Aluminum material and the RF characterization is done using vector network analyzer (VNA) and the results are presented for the resonant frequency peaks obtained in VNA.Keywords: inductive output tubes, IOT, radial cavity, coaxial cavity, particle accelerators
Procedia PDF Downloads 1284852 Efficient Compact Micro Dielectric Barrier Discharge (DBD) Plasma Reactor for Ozone Generation for Industrial Application in Liquid and Gas Phase Systems
Authors: D. Kuvshinov, A. Siswanto, J. Lozano-Parada, W. Zimmerman
Abstract:
Ozone is well known as a powerful fast reaction rate oxidant. The ozone based processes produce no by-product left as a non-reacted ozone returns back to the original oxygen molecule. Therefore an application of ozone is widely accepted as one of the main directions for a sustainable and clean technologies development. There are number of technologies require ozone to be delivered to specific points of a production network or reactors construction. Due to space constrains, high reactivity and short life time of ozone the use of ozone generators even of a bench top scale is practically limited. This requires development of mini/micro scale ozone generator which can be directly incorporated into production units. Our report presents a feasibility study of a new micro scale rector for ozone generation (MROG). Data on MROG calibration and indigo decomposition at different operation conditions are presented. At selected operation conditions with residence time of 0.25 s the process of ozone generation is not limited by reaction rate and the amount of ozone produced is a function of power applied. It was shown that the MROG is capable to produce ozone at voltage level starting from 3.5kV with ozone concentration of 5.28E-6 (mol/L) at 5kV. This is in line with data presented on numerical investigation for a MROG. It was shown that in compare to a conventional ozone generator, MROG has lower power consumption at low voltages and atmospheric pressure. The MROG construction makes it applicable for emerged and dry systems. With a robust compact design MROG can be used as incorporated unit for production lines of high complexity.Keywords: dielectric barrier discharge (DBD), micro reactor, ozone, plasma
Procedia PDF Downloads 3424851 Systematic Review of Associations between Interoception, Vagal Tone, and Emotional Regulation
Authors: Darren Edwards, Thomas Pinna
Abstract:
Background: Interoception and heart rate variability have been found to predict outcomes of mental health and well-being. However, these have usually been investigated independently of one another. Objectives: This review aimed to explore the associations between interoception and heart rate variability (HRV) with emotion regulation (ER) and ER strategies within the existing literature and utilizing systematic review methodology. Methods: The process of article retrieval and selection followed the preferred reporting items for systematic review and meta-analyses (PRISMA) guidelines. Databases PsychINFO, Web of Science, PubMed, CINAHL, and MEDLINE were scanned for papers published. Preliminary inclusion and exclusion criteria were specified following the patient, intervention, comparison, and outcome (PICO) framework, whilst the checklist for critical appraisal and data extraction for systematic reviews of prediction modeling studies (CHARMS) framework was used to help formulate the research question, and to critically assess for bias in the identified full-length articles. Results: 237 studies were identified after initial database searches. Of these, eight studies were included in the final selection. Six studies explored the associations between HRV and ER, whilst three investigated the associations between interoception and ER (one of which was included in the HRV selection too). Overall, the results seem to show that greater HRV and interoception are associated with better ER. Specifically, high parasympathetic activity largely predicted the use of adaptive ER strategies such as reappraisal, and better acceptance of emotions. High interoception, instead, was predictive of effective down-regulation of negative emotions and handling of social uncertainty, there was no association with any specific ER strategy. Conclusions: Awareness of one’s own bodily feelings and vagal activation seem to be of central importance for the effective regulation of emotional responses.Keywords: emotional regulation, vagal tone, interoception, chronic conditions, health and well-being, psychological flexibility
Procedia PDF Downloads 1184850 Psychological Contract and Job Embeddedness Perspectives to Understand Cynicism as a Behavioural Response to Pressures in the Workplace
Authors: Merkouche Wassila, Marchand Alain, Renaud Stéphane
Abstract:
Organizations are facing competitive pressures constraining them to modify their practices and change initial work conditions of employees, however, these modifications have to sustain initial quality of work and engagements toward the workforce. We focus on the importance of promises in the perspective of psychological contract. According to this perspective, employees perceiving a breach of the expected obligations from the employer may become unsatisfied at work and develop organizational withdrawal behaviors. These are negative counterproductive behaviours aiming to damage the organisation according to the principle of reciprocity and social exchange. We present an integrative model of the determinants and manifestations of organizational withdrawal (OW), a set of behaviors allowing the employee to leave his job or avoid his assigned work. OW contains two main components often studied in silos: work withdrawal (delays, absenteeism and other adverse behaviors) and job withdrawal (turnover). We use the systemic micro, meso and macro sociological approach designing the individual at the heart of a system containing individual, organizational, and environmental determinants. Under the influence of these different factors, the individual assesses the type of behavior to adopt. We provide better lighting for understanding OW using both psychological contract approach through the perception of its respect by the organization and job embeddedness approach which explains why the employee does not leave the organization and then remains in his post while practicing negative and counterproductive behaviors such as OW. We study specifically cynicism as a type of OW as it is a dimension of burnout. We focus on the antecedents of cynicism to try to prevent it in the workplace.Keywords: burnout, cynicism, job embeddedness, organizational withdrawal, psychological contract
Procedia PDF Downloads 2544849 Use of the Budyko Framework to Estimate the Virtual Water Content in Shijiazhuang Plain, North China
Authors: Enze Zhang
Abstract:
One of the most challenging steps in implementing virtual water content (VWC) analysis of crops is to get properly the total volume of consumptive water use (CWU) and, therefore, the choice of a reliable crop CWU estimation method. In practice, lots of previous researches obtaining CWU of crops follow a classical procedure for calculating crop evapotranspiration which is determined by multiplying reference evapotranspiration by appropriate coefficient, such as crop coefficient and water stress coefficients. However, this manner of calculation requires lots of field experimental data at point scale and more seriously, when current growing conditions differ from the standard conditions, may easily produce deviation between the calculated CWU and the actual CWU. Since evapotranspiration caused by crop planting always plays a vital role in surface water-energy balance in an agricultural region, this study decided to alternatively estimates crop evapotranspiration by Budyko framework. After brief introduce the development process of Budyko framework. We choose a modified Budyko framework under unsteady-state to better evaluated the actual CWU and apply it in an agricultural irrigation area in North China Plain which rely on underground water for irrigation. With the agricultural statistic data, this calculated CWU was further converted into VWC and its subdivision of crops at the annual scale. Results show that all the average values of VWC, VWC_blue and VWC_green show a downward trend with increased agricultural production and improved acreage. By comparison with the previous research, VWC calculated by Budyko framework agree well with part of the previous research and for some other research the value is greater. Our research also suggests that this methodology and findings may be reliable and convenient for investigation of virtual water throughout various agriculture regions of the world.Keywords: virtual water content, Budyko framework, consumptive water use, crop evapotranspiration
Procedia PDF Downloads 3364848 Constrains to Financial Engineering for Liquidity Management: A Multiple Case Study of Islamic Banks
Authors: Sadia Bibi, Karim Ullah
Abstract:
Islamic banks have excess liquidity, which needs proper management to earn a high rate of return on them to remain competitive. However, they lack assets-backed avenues and rely on a few sukuks, which led them to liquidity management issues. Financial engineering comes forward to innovate and develop instruments for the requisite financial problem. Still, they face many challenges, explored in the context of liquidity management in Islamic banks. The rigorous literature review shows that Shariah compliance, competition from the conventional banks, lack of sufficient instruments, derivatives are still not accepted as legitimate products, the inter-bank market being less developed, and no possibility of lender of last resort is the six significant constraints to financial engineering for liquidity management of Islamic banks. To further explore the problem, a multiple case study strategy is used to extend and develop the theory with the philosophical stance of social constructivism. Narrative in-depth interviews over the telephone are conducted with key personnel at treasury departments of selected banks. Data is segregated and displayed using NVivo 11 software, and the thematic analysis approach identifies themes related to the constraints. The exploration of further constraints to financial engineering for liquidity management of Islamic banks achieves the research aim. The theory is further developed by the addition of three more constraints to the theoretical framework, which are i) lack of skilled human resources, ii) lack of unified vision, and iii) lack of government support to the Islamic banks. These study findings are fruitful for the use of the government, regulatory authorities of the banking sector, the State Bank of Pakistan (Central Bank), and the product design & development division of Islamic banks to make the financial engineering process feasible and resolve liquidity management issues of Islamic banks.Keywords: financial engineering, liquidity management, Islamic banks, shariah compliance
Procedia PDF Downloads 924847 Constructing the Cult of the Self: on White, Working-class Males And The Neoliberalisation Of Identities – An Autoethnographic Study
Authors: Dane Morace-Court
Abstract:
This paper offers a reflective and reflexive examination of the lived experience of a group of young, white, working-class males engaging in secondary-education in England at a time when this population is widely recognised as the lowest attaining ethnic group within British schools. The focus of the paper is an exploration of the development of identities and aspirations, alongside contemporary demographic and ideological shifts in the British population, in their intersection with neoliberal education policies and the emerging ideological conflict between identity conservatism and liberalism. The construction and performance of intersecting social-class, gender, ethnic and national identities is considered as well as the process through which socially constructed narratives inform identities, values, and aspirations. Evocative autoethnography is then employed to offer reflections on working-class habitus and, in particular, classed and gendered codes that underpin expectations of manhood in post-industrial culture within an education system which seemingly requires the abandonment of aspects of a working-class background. Findings from the study identify the emergence of a culture of hyper-individualisation amongst white, working-class males in schools and a belief in the meritocratic ideologies of the New Right. In particular, the breakdown of the social contract, including notions of political and civic responsibility, coupled with the symbolic violence perpetrated against working-class culture and solidarity in British schools, have all informed the construction of a working-class masculinity which values the individual entrepreneur over the collective, and depoliticizes students to an extent where a focus on the spectacle and performance of success has replaced individual and collective investment in community.Keywords: education, identity, masculinity, neoliberalism, working-class, intersectionality, autoethnography
Procedia PDF Downloads 1114846 Vocational Rehabilitation for People with Disabilities: Employment Rates, Job Persistence and Wages
Authors: Hester Fass, Ofir Pinto
Abstract:
Research indicates gaps in education, employment rates and wages between people with disabilities and those without disabilities. One of the main tools available to reduce these gaps is vocational rehabilitation. In order to examine the effects of vocational rehabilitation, a follow-up study, based on comprehensive administrative data, was conducted. The study included 88,286 people with disabilities who participated in vocational rehabilitation of the National Insurance Institute of Israel (NII), and completed the process between 1999 and 2012. Research variables included: employment rates, job persistence and wage levels. This research, the first of its kind in Israel, has several unique aspects: a)a long-range follow-up study on people who completed vocational rehabilitation; b) examination of a broad population spectrum, including also people that are not eligible to disability pensions ; c) a comparison among those with work-related injuries, those injured in hostile acts and those injured in other circumstances; and finally d) the identification of the characteristics of those who are entitled to vocational rehabilitation but who do not participate in any vocational rehabilitation plan. The most notable results include: 1. Vocational rehabilitation contributed to employment, job persistence and wage levels. Participation in vocational rehabilitation resulted in an employment rate of 65% within two years after completing the program, and 73% eventually. Participation in a vocational rehabilitation plan also contributed to job persistence and wage levels. 2. Vocational rehabilitation plans aimed at integration in universal frameworks increased the chances of being employed, persisting at the job and receiving a higher wage than did the vocational rehabilitation aimed at selective frameworks (such as sheltered workshops). 3. The type of disability affected the chances of integration in a vocational rehabilitation plan and in the labor market. People with a disability from birth had greater chances of integration in a vocational rehabilitation plan, while the type of disability and its severity affected the chances of the person with disabilities to find employment.Keywords: vocational rehabilitation, employment, job persistence, wages
Procedia PDF Downloads 4574845 The Effect of Speech-Shaped Noise and Speaker’s Voice Quality on First-Grade Children’s Speech Perception and Listening Comprehension
Authors: I. Schiller, D. Morsomme, A. Remacle
Abstract:
Children’s ability to process spoken language develops until the late teenage years. At school, where efficient spoken language processing is key to academic achievement, listening conditions are often unfavorable. High background noise and poor teacher’s voice represent typical sources of interference. It can be assumed that these factors particularly affect primary school children, because their language and literacy skills are still low. While it is generally accepted that background noise and impaired voice impede spoken language processing, there is an increasing need for analyzing impacts within specific linguistic areas. Against this background, the aim of the study was to investigate the effect of speech-shaped noise and imitated dysphonic voice on first-grade primary school children’s speech perception and sentence comprehension. Via headphones, 5 to 6-year-old children, recruited within the French-speaking community of Belgium, listened to and performed a minimal-pair discrimination task and a sentence-picture matching task. Stimuli were randomly presented according to four experimental conditions: (1) normal voice / no noise, (2) normal voice / noise, (3) impaired voice / no noise, and (4) impaired voice / noise. The primary outcome measure was task score. How did performance vary with respect to listening condition? Preliminary results will be presented with respect to speech perception and sentence comprehension and carefully interpreted in the light of past findings. This study helps to support our understanding of children’s language processing skills under adverse conditions. Results shall serve as a starting point for probing new measures to optimize children’s learning environment.Keywords: impaired voice, sentence comprehension, speech perception, speech-shaped noise, spoken language processing
Procedia PDF Downloads 1944844 Eli-Twist Spun Yarn: An Alternative to Conventional Sewing Thread
Authors: Sujit Kumar Sinha, Madan Lal Regar
Abstract:
Sewing thread plays an important role in the transformation of a two-dimensional fabric into a three-dimensional garment. The interaction of the sewing thread with the fabric at the seam not only influences the appearance of a garment but also its performance. Careful selection of sewing thread and associated parameters can only help in improvement. Over the years, ring spinning has been dominating the yarn market. In the pursuit of improvement to challenge its dominance alternative technology has also been developed. But no real challenge has been posed by the any of the developed spinning systems. Eli-Twist spinning system can be a new method of yarn manufacture to provide a product with improved mechanical and physical properties with respect to the conventional ring spun yarn. The system, patented by Suessen has gained considerable attention in the recent times. The process of produces a two-ply compact yarn with improved fiber utilization. It produces a novel structure combining all advantages of condensing and doubling. In the present study, sewing threads of three different counts each from cotton, polyester and polyester/cotton (50/50) blend were produced on a ring and Eli-Twist systems. A twist multiplier of 4.2 was used to produce all the yarns. A comparison of hairiness, tensile strength and coefficient of friction with conventional ring yarn was made. Eli-Twist yarn has shown better frictional characteristics, better tensile strength and less hairiness. The performance of the Eli-Twist sewing thread has also been found to be better than the conventional 2-ply sewing thread. The performance was estimated through seam strength, seam elongation and seam efficiency of sewn fabric. Eli-Twist sewing thread has shown less friction, less hairiness, and higher tensile strength. Eli-Twist sewing thread resulted in better seam characteristics in comparison to conventional 2-ply sewing thread.Keywords: ring spun yarn, Eli-Twist yarn, sewing thread, seam strength, seam elongation, seam efficiency
Procedia PDF Downloads 2034843 Teaching Food Discourse in Cross-Cultural Communication Lectures at University
Authors: Sanjar Davronov
Abstract:
Linguistic research of food discourse helps to analyze gastronomic picture of the world which plays important role in cross-cultural communications. 20 hours lecture can’t provide broad knowledge about national picture of the world of native speakers whose language being studied by future translator students. This abstract analyses how to research food discourse in “Cross-cultural (or lingvo-cultural) communication” lectures for ESL students. During compare Uzbek and American national meals, we found some specific features of food names in both countries. For example: If names of food includes advertising character in USA restaurant menus like: New York strip Sirloin crowned with Fresh – squeezed orange and lemon with a hint of garlic; Uzbek meals names are too simple, short and force general afford in underlining action – preparation process like: “Dimlama” (dimla(verb-to stew)+ma(suffix of past perfect like- stew- stewed). “Qovurdoq” (qovur (verb- to fry)+ doq (suffix of adverb like “fried one”) but these are the most delicious and difficult in preparing national meals however it is heritage of national cuisine. There are also similarity between US and Uzbek food names which has geographical color - South African Lobster tail; Qashqadaryo tandiri (lamb prepared in “tandir” typical national oven with pine leafs in Qashkadarya region). Food for European people contains physical context more than spiritual but in Asian literature especially Uzbek food has some pragmatic stuff: salt and bread (associates with hospitality and humanity), don’t be faithlessness 40 for owners of house where you where a guest. We share some teaching techniques for food discourse analyzing lectures.Keywords: cross-cultural communications, food discourse, ESL lectures, linguistic research
Procedia PDF Downloads 6184842 Facile Synthesis of Sulfur Doped TiO2 Nanoparticles with Enhanced Photocatalytic Activity
Authors: Vishnu V. Pillai, Sunil P. Lonkar, Akhil M. Abraham, Saeed M. Alhassan
Abstract:
An effectual technology for wastewater treatment is a great demand now in order to encounter the water pollution caused by organic pollutants. Photocatalytic oxidation technology is widely used in removal of such unsafe contaminants. Among the semi-conducting metal oxides, robust and thermally stable TiO2 has emerged as a fascinating material for photocatalysis. Enhanced catalytic activity was observed for nanostructured TiO2 due to its higher surface, chemical stability and higher oxidation ability. However, higher charge carrier recombination and wide band gap of TiO2 limits its use as a photocatalyst in the UV region. It is desirable to develop a photocatalyst that can efficiently absorb the visible light, which occupies the main part of the solar spectrum. Hence, in order to extend its photocatalytic efficiency under visible light, TiO2 nanoparticles are often doped with metallic or non-metallic elements. Non-metallic doping of TiO2 has attracted much attention due to the low thermal stability and enhanced recombination of charge carriers endowed by metallic doping of TiO2. Amongst, sulfur doped TiO2 is most widely used photocatalyst in environmental purification. However, the most of S-TiO2 synthesis technique uses toxic chemicals and complex procedures. Hence, a facile, scalable and environmentally benign preparation process for S-TiO2 is highly desirable. In present work, we have demonstrated new and facile solid-state reaction method for S-TiO2 synthesis that uses abundant elemental sulfur as S source and moderate temperatures. The resulting nano-sized S-TiO2 has been successfully employed as visible light photocatalyst in methylene blue dye removal from aqueous media.Keywords: ecofriendly, nanomaterials, methylene blue, photocatalysts
Procedia PDF Downloads 3534841 Right Cerebellar Stroke with a Right Vertebral Artery Occlusion Following an Embolization of the Right Glomus Tympanicum Tumor
Authors: Naim Izet Kajtazi
Abstract:
Context: Although rare, glomus tumor (i.e., nonchromaffin chemodectomas and paragan¬gliomas) is the most common middle ear tumor, with female predominance. Pre-operative embolization is often required to devascularize the hypervascular tumor for better surgical outcomes. Process: A 35-year-old female presented with episodes of frequent dizziness, ear fullness, and right ear tinnitus for 12 months. Head imaging revealed a right glomus tympanicum tumor. She underwent pre-operative endovascular embolization of the glomus tympanicum tumor with surgical, cyanoacrylate-based glue. Immediately after the procedure, she developed drowsiness and severe pain in the right temporal region. Further investigations revealed a right cerebellar stroke in the posterior inferior cerebellar artery territory. She was treated with intravenous heparin, followed by one year of oral anticoagulation. With rehabilitation, she significantly recovered from her post embolization stroke. However, the tumor was resected at another institution. Ten years later, follow-up imaging indicated a gradual increase in the size of the glomus jugulare tumor, compressing the nearby critical vascular structures. She subsequently received radiation therapy to treat the residual tumor. Outcome: Currently, she has no neurological deficit, but her mild dizziness, right ear tinnitus, and hearing impairment persist. Relevance: This case highlights the complex nature of these tumors, which often bring challenges to the patients as well as treatment teams. The multi-disciplinary team approach is necessary to tailor the management plan for individual tumors. Although embolization is a safe procedure, careful attention and thoughtful anatomic knowledge regarding dangerous anastomosis are essential to avoid devastating complications. Complications occur due to encountered vessel anomalies and new anastomoses formed during the gluing and changes in hemodynamics.Keywords: stroke, embolization, MRI brain, cerebral angiogram
Procedia PDF Downloads 744840 Textile Wastewater Ecotoxicity Abatement after Aerobic Granular Sludge Treatment and Advanced Oxidation Process
Authors: Ana M. T. Mata, Alexiane Ligneul
Abstract:
Textile effluents are usually heavily loaded with organic carbon and color compounds, the latter being azo dyes in an estimated 70% of the case effluent posing a major challenge in environmental protection. In this study, the ecotoxicity of simulated textile effluent after biological treatment with anaerobic and aerobic phase (aerobic granular sludge, AGS) and after advanced oxidation processes (AOP) namely ozonation and UV irradiation as post-treatment, were tested to evaluate the fitness of this treatments for ecotoxicity abatement. AGS treatment achieved an 80% removal in both COD and color. AOP was applied with the intention to mineralize the metabolites resulting from biodecolorization of the azo dye Acid Red 14, especially the stable aromatic amine (4-amino-1-naphthalenesulfonic acid, 4A1NS). The ecotoxicity evaluation was based on growth inhibition of the algae Pseudokirchneriella subcapitata following OECD TG 201 except regarding the medium, MBL medium was used instead. Five replicate control cultures and samples were performed with an average STD of 2.7% regarding specific algae growth rate determination. It was found that untreated textile effluent holds an inhibition of specific growth rate of 82%. AGS treatment by itself is able to lower ecotoxicity to 53%. This is probably due to the high color removal of the treatment. AOP post-treatment with Ozone and UV irradiation improves the ecotoxicity abatment to 49 and 43% inhibition respectively, less significantly than previously thought. Since over 85% of 4A1NS was removed by either of the AOP (followed by HPLC), an individual ecotoxicity test of 4A1NS was performed showing that 4A1NS does not inhibit algae growth (0% inhibition). It was concluded that AGS treatment is able by itself to achieve a significant ecotoxicity abatement of textile effluent. The cost-benefit of AOP as a post-treatment have to be better accessed since their application resulted in an improvement of only 10% regarding ecotoxicity effluent removal. It was also found that the 4A1NS amine had no apparent effect on ecotoxicity. Further studies will be conducted to study where ecotoxicity is coming from after AGS biological treatment and how to eliminate it.Keywords: textile wastewate, ecotoxicity, aerobic granular sludge, AOP
Procedia PDF Downloads 1674839 The Impact of E-Commerce on the Physical Space of Traditional Retail System
Authors: Sumayya S.
Abstract:
Making cities adaptive and inclusive is one among the inherent goal and challenge for contemporary cities. This is a serious concern when the urban transformations occur in varying magnitude due to visible and invisible factors. One type of visibly invisible factor is ecommerce and its expanding operation that is understood to cause changes to the conventional spatial structure positively and negatively. With the continued growth in e-commerce activities and its future potential, market analysts, media, and even retailers have questioned the importance of a future presence of traditional Brick-and-mortar stores in cities as a critical element, with some even referring to the repeated announcement of the closure of some store chains as the end of the online shopping era. Essentially this raises the question of how adaptive and inclusive the cities are to the dynamics of transformative changes that are often unseen. People have become more comfortable with seating inside and door delivery systems, and this increased change in usage of public spaces, especially the commercial corridors. Through this research helped in presetting a new approach for planning and designing commercial activities centers and also presents the impact of ecommerce on the urban fabric, such as division and fragmentation of space, showroom syndrome, reconceptualization of space, etc., in a critical way. The changes are understood by analyzing the e-commerce logistic process. Based on the inferences reach at the conclusion for the need of an integrated approach in the field of planning and designing of public spaces for the sustainable omnichannel retailing. This study was carried out with the following objectives Monitoring the impact of e commerce on the traditional shopping space. Explore the new challenges and opportunities faced by the urban form. Explore how adaptive and inclusive our cities are to the dynamics of transformative changes caused by ecommerce.Keywords: E-commerce, shopping streets, online environment, offline environment, shopping factors
Procedia PDF Downloads 934838 Empowering Children through Co-creation: Writing a Book with and for Children about Their First Steps Towards Urban Independence
Authors: Beata Patuszynska
Abstract:
Children are largely absent from Polish social discourse, a fact which is mirrored in urban planning processes. Their absence creates a vicious circle – an unfriendly urban space discourages children from going outside on their own, meaning adults do not see a need to make spaces more friendly for a group, not present. The pandemic and lockdown, with their closed schools and temporary ban on unaccompanied minors on the streets, have only reinforced this. The project – co-writing with children a book concerning their first steps into urban independence - aims at empowering children, enabling them to find their voice when it comes to urban space. The foundation for the book was data collected during research and workshops with children from Warsaw primary schools, aged 7-10 - the age they begin independent travel in the city. The project was carried out with the participation and involvement of children at each creative step. Children were (1) models: the narrator is an 7-year-old boy getting ready for urban independence. He shares his experience as well as the experience of his school friends and his 10-year-old sister, who already travels on her own. Children were (2) teachers: the book is based on authentic children’s stories and experience, along with the author’s findings from research undertaken with children. The material was extended by observations and conclusions made during the pandemic. Children were (3) reviewers: a series of draft chapters from the book underwent review by children during workshops performed in a school. The process demonstrated that all children experience similar pleasures and worries when it comes to interaction with urban space. Furthermore, they also have similar needs that need satisfying. In my article, I will discuss; (1) the advantages of creating together with children; (2) my conclusions on how to work with children in participatory processes; (3) research results: perceptions of urban space by children age 7-10, when they begin their independent travel in the city; the barriers to and pleasures derived from independent urban travel; the influence of the pandemic on children’s feelings and their behaviour in urban spaces.Keywords: children, urban space, co-creation, participation, human rights
Procedia PDF Downloads 1064837 Inconsistent Safety Leadership as a Predictor of Employee Safety Behavior
Authors: Jane Mullen, Ann Rheaume, Kevin Kelloway
Abstract:
Research on the effects of inconsistent safety leadership is limited, particularly regarding employee safety behavior in organizations. Inconsistent safety leadership occurs when organizational leaders display both effective and ineffective styles of safety leadership (i.e., transformational vs laissez-faire). In this study, we examine the effect of inconsistent safety leadership style on employee safety participation. Defined as the interaction of S.A.F.E.R (Speak, Act, Focus, Engage and Recognize) leadership style and passive leadership style, inconsistent safety leadership was found to be a significant predictor of safety participation in a sample of 307 nurses in Eastern Canada. Results of the moderated regression analysis also showed a significant main effect for S.A.F.E.R leadership, but not for passive leadership. To further explore the significant interaction, the simple slopes for S.A.F.E.R leadership at high and low levels (1 SD above and below the mean) of passive leadership were plotted. As predicted, the positive effects of S.A.F.E.R leadership behavior were attenuated when leaders were perceived by employees as also displaying high levels of passive leadership (i.e., inconsistent leadership styles). The research makes important theoretical and practical contributions to the occupational health and safety literature. The results demonstrate that leadership behavior, which is characteristic of the S.A.F.E.R model, is positively associated with employee safety participation. This finding is particularly important as researchers continue to explore what leaders can do to engage employees in work-related safety activities. The results also demonstrate how passive leadership may undermine the positive outcomes associated with safety leadership behavior in organizations. The data suggest that employee safety behavior is highest when leaders engage in safety effective leadership behavior on a consistent basis, rather than periodically.Keywords: employee safety behavior, leadership, participation, safety training
Procedia PDF Downloads 3704836 The Impact of Hospital Strikes on Patient Care: Evidence from 135 Strikes in the Portuguese National Health System
Authors: Eduardo Costa
Abstract:
Hospital strikes in the Portuguese National Health Service (NHS) are becoming increasingly frequent, raising concerns in what respects patient safety. In fact, data shows that mortality rates for patients admitted during strikes are up to 30% higher than for patients admitted in other days. This paper analyses the effects of hospital strikes on patients’ outcomes. Specifically, it analyzes the impact of different strikes (physicians, nurses and other health professionals), on in-hospital mortality rates, readmission rates and length of stay. The paper uses patient-level data containing all NHS hospital admissions in mainland Portugal from 2012 to 2017, together with a comprehensive strike dataset comprising over 250 strike days (19 physicians-strike days, 150 nurses-strike days and 50 other health professionals-strike days) from 135 different strikes. The paper uses a linear probability model and controls for hospital and regional characteristics, time trends, and changes in patients’ composition and diagnoses. Preliminary results suggest a 6-7% increase in in-hospital mortality rates for patients exposed to physicians’ strikes. The effect is smaller for patients exposed to nurses’ strikes (2-5%). Patients exposed to nurses strikes during their stay have, on average, higher 30-days urgent readmission rates (4%). Length of stay also seems to increase for patients exposed to any strike. Results – conditional on further testing, namely on non-linear models - suggest that hospital operations and service levels are partially disrupted during strikes.Keywords: health sector strikes, in-hospital mortality rate, length of stay, readmission rate
Procedia PDF Downloads 1384835 Identification Algorithm of Critical Interface, Modelling Perils on Critical Infrastructure Subjects
Authors: Jiří. J. Urbánek, Hana Malachová, Josef Krahulec, Jitka Johanidisová
Abstract:
The paper deals with crisis situations investigation and modelling within the organizations of critical infrastructure. Every crisis situation has an origin in the emergency event occurrence in the organizations of energetic critical infrastructure especially. Here, the emergency events can be both the expected events, then crisis scenarios can be pre-prepared by pertinent organizational crisis management authorities towards their coping or the unexpected event (Black Swan effect) – without pre-prepared scenario, but it needs operational coping of crisis situations as well. The forms, characteristics, behaviour and utilization of crisis scenarios have various qualities, depending on real critical infrastructure organization prevention and training processes. An aim is always better organizational security and continuity obtainment. This paper objective is to find and investigate critical/ crisis zones and functions in critical situations models of critical infrastructure organization. The DYVELOP (Dynamic Vector Logistics of Processes) method is able to identify problematic critical zones and functions, displaying critical interfaces among actors of crisis situations on the DYVELOP maps named Blazons. Firstly, for realization of this ability is necessary to derive and create identification algorithm of critical interfaces. The locations of critical interfaces are the flags of crisis situation in real organization of critical infrastructure. Conclusive, the model of critical interface will be displayed at real organization of Czech energetic crisis infrastructure subject in Black Out peril environment. The Blazons need live power Point presentation for better comprehension of this paper mission.Keywords: algorithm, crisis, DYVELOP, infrastructure
Procedia PDF Downloads 4134834 Combustion Characteristic of Propane/Acetylene Fuel Blends Pool Fire
Authors: Yubo Bi, Xiao Chen, Shouxiang Lu
Abstract:
A kind of gas-fueled burner, named Burning Rate Emulator, was proposed for the purpose of the emulation of condensed fuel recently. The gaseous fuel can be pure combustible fuel gas or blends of gaseous fuel or inert gas. However, this concept was recently proposed without detailed study on the combustion characteristic of fuel blends. In this study, two kinds of common gaseous fuels were selected, propane and acetylene, to provide the combustion heat as well as a large amount of smoke, which widely exists in liquid and solid fuel burning process. A set of experiments were carried out using a gas-fueled burner with a diameter of 8 cm. The total volume flow rate of propane and acetylene was kept at 3 liters per minute. The volume fraction of propane varied from 0% to 100% at interval of 10%. It is found that the flame height increases with propane volume fraction, which may be caused by the increase of heat release rate, as the energy density of propane is larger than that of acetylene. The dimensionless flame height is correlated against dimensionless heat release rate, which shows a power function relationship. The radiation fraction of the flame does not show a monotonic relationship with propane volume fraction. With the increase of propane volume fraction from 0% to 100%, the value of radiation fraction increases first and reach a maximum value around 0.46 at a propane volume fraction of 10%, and then decreases continuously to a value of 0.25 at the propane volume fraction of 100%. The flame radiation is related to the soot in the flame. The trend of the radiation fraction reflects that there may be a synergistic effect of soot formation between propane and acetylene which can be guessed from the significantly high radiation fraction at a propane volume fraction of 10%. This work provides data for combustion of gaseous fuel blends pool fire and also give reference on the design of Burning Rate Emulator.Keywords: Burning Rate Emulator, fuel blends pool fire, flame height, radiation fraction
Procedia PDF Downloads 2304833 Improvement of Filler Aggregation in Catechol-Functionalized Epoxidized Natural Rubber Composites
Authors: Kwanchai Buaksuntear, Phillip Kohl, Youli LI, Wirasak Smitthipong
Abstract:
Natural rubber (NR) or cis-1,4-polyisoprene is a renewable polymer derived from Hevea brasiliensis plants, which is widely utilized in various applications, such as the tire industry. In terms of rubber processing, carbon black (CB) is commonly used as a reinforcing filler. However, filler aggregation of CB in rubber products is one of the important problems, which is related to the complicated mixing in rubber manufacturing and high energy loss. So, the mussel-inspired mechanism has been used to solve the problem of filler aggregation in rubber composites. This research aimed to improve the carbon black dispersion in epoxidized natural rubber (ENR) composites through aromatic interactions such as π-π stacking and cation-π interactions. Initially, the epoxidation process was used for the modification of NR to produce ENR. Then, the ENR was mixed with catechol as dopamine (D) and carbon black (CB), respectively. In this study, the aromatic interactions were obtained between the benzene rings in D molecules on ENR chains, and the surface of CB, which were observed in Fourier transform infrared spectroscopy and Raman spectroscopy. The results indicated that the mechanical properties were increased because of the effect of filler reinforcement and aromatic interactions within the ENR composites. Notably, this phenomenon was confirmed using the small/wide angle X-ray scattering (SAXS/WAXS), which was in good agreement with the rubber processing analyzer and transmission electron microscopy results that the π-π stacking and cation-π interactions enhanced the CB dispersion in the ENR composites. Therefore, these results showed the tensile strength, Young’s modulus, and energy-saving properties reached up to 140%, 90%, and 50%, respectively. Finally, this research provides a novel approach based on a mussel-inspired material to solve the CB aggregation problem in rubber products, resulting in the achievement of ENR composites with superior properties.Keywords: ENR composites, non-covalent interactions, mechanical properties, energy-saving property
Procedia PDF Downloads 144832 Effect of Climate Change on Groundwater Recharge in a Sub-Humid Sub-Tropical Region of Eastern India
Authors: Suraj Jena, Rabindra Kumar Panda
Abstract:
The study region of the reported study was in Eastern India, having a sub-humid sub-tropical climate and sandy loam soil. The rainfall in this region has wide temporal and spatial variation. Due to lack of adequate surface water to meet the irrigation and household demands, groundwater is being over exploited in that region leading to continuous depletion of groundwater level. Therefore, there is an obvious urgency in reversing the depleting groundwater level through induced recharge, which becomes more critical under the climate change scenarios. The major goal of the reported study was to investigate the effects of climate change on groundwater recharge and subsequent adaptation strategies. Groundwater recharge was modelled using HELP3, a quasi-two-dimensional, deterministic, water-routing model along with global climate models (GCMs) and three global warming scenarios, to examine the changes in groundwater recharge rates for a 2030 climate under a variety of soil and vegetation covers. The relationship between the changing mean annual recharge and mean annual rainfall was evaluated for every combination of soil and vegetation using sensitivity analysis. The relationship was found to be statistically significant (p<0.05) with a coefficient of determination of 0.81. Vegetation dynamics and water-use affected by the increase in potential evapotranspiration for large climate variability scenario led to significant decrease in recharge from 49–658 mm to 18–179 mm respectively. Therefore, appropriate conjunctive use, irrigation schedule and enhanced recharge practices under the climate variability and land use/land cover change scenarios impacting the groundwater recharge needs to be understood properly for groundwater sustainability.Keywords: Groundwater recharge, climate variability, Land use/cover, GCM
Procedia PDF Downloads 2874831 The Role of the Federal Supreme Court in Preventing the Exercise of the Right to Self-Determination
Authors: Shaho Ghafur Ahmed
Abstract:
The right to self-determination of peoples is a fundamental human right recognized by the principles of international law. It could be embodied in the internal level in the form of federalism. Most federal constitutions prevented the secession of constituent entities, while some remained silent, as the case of Iraq, and rare instances of them recognize it. But, after the failure of federalism, these entities seek to separate whenever the opportunity arises. In several cases, they have resort to peaceful methods in some others they resort to force. The constitutional Supreme Court, which guaranty the unity and integrity of the State, often prevent these attempts. After not a commitment of federalism in Iraq, which has been founded since 2004, the Kurdistan region, as the only federated entity, has conducted a unilateral referendum on 25 September 2017 for its independence. The Iraqi government refused it. The Iraqi Federal Supreme Court, through interpreting the constitutional provisions, decided that this referendum and it’s purposes, which was the independence of the region, was unconstitutional. Subsequently, the Iraqi government used forces and blockaded the region so as to force it to turn off this process. So, in this paper, the right to self-determination of the peoples in federated entities and its obstacles will be discussed through the comparative legal basis and analyzing the decisions of the Federal Constitutional Courts. We will compare the role that the Supreme Court of Canada played regarding the referendum that operated in Quebec in 1995, in which it refused only the unilaterally attempts for the independence of this province. While, in the case of the Kurdistan region, the Iraqi Federal Supreme Court has definitively refused this right. No measures were taken by this Court to protect the region from the Iraqi government reactions. This decision led to the questioning of the neutrality of this Court. So, from the point of view of the Kurdistan region, this Court became a political instrument to prevent it to be independent in the international community, in the absence of a clear constitutional provision, through an abstract and an incomplete interpretation of federal constitutional provisions.Keywords: right of self-determination, federal supreme court, supremacy of federal constitution
Procedia PDF Downloads 1724830 Meet Automotive Software Safety and Security Standards Expectations More Quickly
Authors: Jean-François Pouilly
Abstract:
This study addresses the growing complexity of embedded systems and the critical need for secure, reliable software. Traditional cybersecurity testing methods, often conducted late in the development cycle, struggle to keep pace. This talk explores how formal methods, integrated with advanced analysis tools, empower C/C++ developers to 1) Proactively address vulnerabilities and bugs, which includes formal methods and abstract interpretation techniques to identify potential weaknesses early in the development process, reducing the reliance on penetration and fuzz testing in later stages. 2) Streamline development by focusing on bugs that matter, with close to no false positives and catching flaws earlier, the need for rework and retesting is minimized, leading to faster development cycles, improved efficiency and cost savings. 3) Enhance software dependability which includes combining static analysis using abstract interpretation with full context sensitivity, with hardware memory awareness allows for a more comprehensive understanding of potential vulnerabilities, leading to more dependable and secure software. This approach aligns with industry best practices (ISO2626 or ISO 21434) and empowers C/C++ developers to deliver robust, secure embedded systems that meet the demands of today's and tomorrow's applications. We will illustrate this approach with the TrustInSoft analyzer to show how it accelerates verification for complex cases, reduces user fatigue, and improves developer efficiency, cost-effectiveness, and software cybersecurity. In summary, integrating formal methods and sound Analyzers enhances software reliability and cybersecurity, streamlining development in an increasingly complex environment.Keywords: safety, cybersecurity, ISO26262, ISO24434, formal methods
Procedia PDF Downloads 28