Search results for: visual methodologies
874 Environmental Performance Improvement of Additive Manufacturing Processes with Part Quality Point of View
Authors: Mazyar Yosofi, Olivier Kerbrat, Pascal Mognol
Abstract:
Life cycle assessment of additive manufacturing processes has evolved significantly since these past years. A lot of existing studies mainly focused on energy consumption. Nowadays, new methodologies of life cycle inventory acquisition came through the literature and help manufacturers to take into account all the input and output flows during the manufacturing step of the life cycle of products. Indeed, the environmental analysis of the phenomena that occur during the manufacturing step of additive manufacturing processes is going to be well known. Now it becomes possible to count and measure accurately all the inventory data during the manufacturing step. Optimization of the environmental performances of processes can now be considered. Environmental performance improvement can be made by varying process parameters. However, a lot of these parameters (such as manufacturing speed, the power of the energy source, quantity of support materials) affect directly the mechanical properties, surface finish and the dimensional accuracy of a functional part. This study aims to improve the environmental performance of an additive manufacturing process without deterioration of the part quality. For that purpose, the authors have developed a generic method that has been applied on multiple parts made by additive manufacturing processes. First, a complete analysis of the process parameters is made in order to identify which parameters affect only the environmental performances of the process. Then, multiple parts are manufactured by varying the identified parameters. The aim of the second step is to find the optimum value of the parameters that decrease significantly the environmental impact of the process and keep the part quality as desired. Finally, a comparison between the part made by initials parameters and changed parameters is made. In this study, the major finding claims by authors is to reduce the environmental impact of an additive manufacturing process while respecting the three quality criterion of parts, mechanical properties, dimensional accuracy and surface roughness. Now that additive manufacturing processes can be seen as mature from a technical point of view, environmental improvement of these processes can be considered while respecting the part properties. The first part of this study presents the methodology applied to multiple academic parts. Then, the validity of the methodology is demonstrated on functional parts.Keywords: additive manufacturing, environmental impact, environmental improvement, mechanical properties
Procedia PDF Downloads 281873 Beyond Inclusion: The Need for Health Equity for Women with Disabilities
Authors: Jaishree Ellis
Abstract:
The United States Centers for Disease Control tells us that many women with disabilities will not receive regular health screenings, including Pap Smears and mammograms. This article was comprised and written to recognize the barriers to care, gaps in existing healthcare implementation, and viable methodologies for the provision of comprehensive and robust gynecologic care for women with disabilities. According to the World Health Organization, 15% of the world's population, or approximately 1 billion people, have disabilities, most of whom are identified as women. Women with disabilities are described as being multi-disabled, as in some places, they suffer exclusion because of their disabilities as well as their gender. The paucity of information regarding how to create a healthcare system that is inclusive of every woman, regardless of her type of disability (physical, mental, intellectual or medical), has made it challenging to establish an environment that makes it possible for individuals to access care in an equitable, respectful and comprehensive way. A review of the current literature, institutional websites within the United States and American resource guides was implemented to determine where comprehensive models of care for women with disabilities exist, as well as the modalities that are being employed to meet their healthcare needs. The many barriers to care that women with disabilities face were also extracted from various sources within the literature to provide an exhaustive list that can be tackled, one by one. Of the 637 Hospital Systems in the United States, only 7 provide website documentation of health care services that address the unique needs of women with disabilities. The presumption is that if institutions have not marketed such interventions to the community, then it is likely that they do not have a robust suite of services with which to make gynecologic care available to patients with disabilities. Through this review, 7 main barriers to comprehensive gynecologic care were identified, with more than 20 sub-categories existing within those. As with many other areas of community life, inclusion remains lacking in the delivery of healthcare for women with disabilities. There are at least 7 barriers that must be overcome in order to provide equity in the medical office, the exam room, the hospital and the operating room. While few institutions have prioritized this, those few have provided blueprints that can easily be adopted by others. However, as the general population lives longer and ages, the incidence of disabilities increases, as do the healthcare disparities surrounding them. Further compounded by this is a lack of formal education for medical providers in the United States.Keywords: health equity, inclusion, healthcare disparities, education
Procedia PDF Downloads 49872 Network Conditioning and Transfer Learning for Peripheral Nerve Segmentation in Ultrasound Images
Authors: Harold Mauricio Díaz-Vargas, Cristian Alfonso Jimenez-Castaño, David Augusto Cárdenas-Peña, Guillermo Alberto Ortiz-Gómez, Alvaro Angel Orozco-Gutierrez
Abstract:
Precise identification of the nerves is a crucial task performed by anesthesiologists for an effective Peripheral Nerve Blocking (PNB). Now, anesthesiologists use ultrasound imaging equipment to guide the PNB and detect nervous structures. However, visual identification of the nerves from ultrasound images is difficult, even for trained specialists, due to artifacts and low contrast. The recent advances in deep learning make neural networks a potential tool for accurate nerve segmentation systems, so addressing the above issues from raw data. The most widely spread U-Net network yields pixel-by-pixel segmentation by encoding the input image and decoding the attained feature vector into a semantic image. This work proposes a conditioning approach and encoder pre-training to enhance the nerve segmentation of traditional U-Nets. Conditioning is achieved by the one-hot encoding of the kind of target nerve a the network input, while the pre-training considers five well-known deep networks for image classification. The proposed approach is tested in a collection of 619 US images, where the best C-UNet architecture yields an 81% Dice coefficient, outperforming the 74% of the best traditional U-Net. Results prove that pre-trained models with the conditional approach outperform their equivalent baseline by supporting learning new features and enriching the discriminant capability of the tested networks.Keywords: nerve segmentation, U-Net, deep learning, ultrasound imaging, peripheral nerve blocking
Procedia PDF Downloads 97871 Perception of People with a Physical Disability towards Those with a Different Kind of Disability
Authors: Monika Skura
Abstract:
People with physical disabilities, as with other people with differences in appearance or style of functioning come under negative social mechanisms. Therefore, it is worth asking what the relationship of the group is, who experience psychosocial effects because of their physical disability, towards people with intellectual disabilities, hearing impairments, visual impairments, mental illnesses, and their own physically disabled group. To analyse the perception of people with a physical disability, the study explores three areas: the acceptance or rejection of society’s stigmatization towards persons with disabilities; the importance of their own experience regarding their disability, in relation to another kind of disability; their level of acceptance to social interactions, in relation to various types of disabilities. The research sample consisted of 90 people with physical disabilities, who suffer from damage to the locomotor system. The data was collected using a questionnaire and the Adjective Check List by H. B. Gough and A. B. Heilbrun. This study utilized focus interviews to develop survey items for the questionnaire. The findings highlight that the response from those who were physically disabled agreed with the opinions of general society, not only with the issue of promoting integrated solutions and offering assistance but also having the same preferences and opinions about specific types of disability. However, their perception regarding their own group was noticeably different from that of general society. In the light of the study, for people with physical disabilities, just as for able-bodied people, it can be challenging to develop a meaningful relationship with people who have disabilities. All forms of disability suffer from negative attitudes and opinions that exist in society. The majority of those who were researched were focused primarily on their own problems, this inevitably hinders the integrity of the entire group, making it more difficult for it to find a cohesive voice, in which to promote their place within society.Keywords: general society’s opinions about disability, people with different kinds of disability, perception, physical disability
Procedia PDF Downloads 246870 A Multidimensional Indicator-Based Framework to Assess the Sustainability of Productive Green Roofs: A Case Study in Madrid
Authors: Francesca Maria Melucci, Marco Panettieri, Rocco Roma
Abstract:
Cities are at the forefront of achieving the sustainable development goals set out in the Sustainable Development Goals of Agenda 2030. For these reasons, increasing attention has been given to the creation of resilient, sustainable, inclusive and green cities and finding solutions to these problems is one of the greatest challenges faced by researchers today. In particular urban green infrastructures, including green roofs, play a key role in tackling environmental, social and economic problems. The starting point was an extensive literature review on 1. research developments on the benefits (environmental, economic and social) and implications of green roofs; 2. sustainability assessment and applied methodologies; 3. specific indicators to measure impacts on urban sustainability. Through this review, the appropriate qualitative and quantitative characteristics that are part of the complex 'green roof' system were identified, as studies that holistically capture its multifunctional nature are still lacking. So, this paper aims to find a method to improve community participation in green roof initiatives and support local governance processes in developing efficient proposals to achieve better sustainability and resilience of cities. To this aim, the multidimensional indicator-based framework, presented by Tapia in 2021, has been tested for the first time in the case of a green roof in the city of Madrid. The framework's set of indicators was implemented with other indicators such as those of waste management and circularity (OECD Inventory of Circular Economy indicators) and sustainability performance. The specific indicators to be used in the case study were decided after a consultation phase with relevant stakeholders. Data on the community's willingness to participate in green roof implementation initiatives were collected through interviews and online surveys with a heterogeneous sample of citizens. The results of the application of the framework suggest how the different aspects of sustainability influence the choice of a green roof and provide input on the main mechanisms involved in citizens' willingness to participate in such initiatives.Keywords: urban agriculture, green roof, urban sustainability, indicators, multi-criteria analysis
Procedia PDF Downloads 70869 Smart Defect Detection in XLPE Cables Using Convolutional Neural Networks
Authors: Tesfaye Mengistu
Abstract:
Power cables play a crucial role in the transmission and distribution of electrical energy. As the electricity generation, transmission, distribution, and storage systems become smarter, there is a growing emphasis on incorporating intelligent approaches to ensure the reliability of power cables. Various types of electrical cables are employed for transmitting and distributing electrical energy, with cross-linked polyethylene (XLPE) cables being widely utilized due to their exceptional electrical and mechanical properties. However, insulation defects can occur in XLPE cables due to subpar manufacturing techniques during production and cable joint installation. To address this issue, experts have proposed different methods for monitoring XLPE cables. Some suggest the use of interdigital capacitive (IDC) technology for online monitoring, while others propose employing continuous wave (CW) terahertz (THz) imaging systems to detect internal defects in XLPE plates used for power cable insulation. In this study, we have developed models that employ a custom dataset collected locally to classify the physical safety status of individual power cables. Our models aim to replace physical inspections with computer vision and image processing techniques to classify defective power cables from non-defective ones. The implementation of our project utilized the Python programming language along with the TensorFlow package and a convolutional neural network (CNN). The CNN-based algorithm was specifically chosen for power cable defect classification. The results of our project demonstrate the effectiveness of CNNs in accurately classifying power cable defects. We recommend the utilization of similar or additional datasets to further enhance and refine our models. Additionally, we believe that our models could be used to develop methodologies for detecting power cable defects from live video feeds. We firmly believe that our work makes a significant contribution to the field of power cable inspection and maintenance. Our models offer a more efficient and cost-effective approach to detecting power cable defects, thereby improving the reliability and safety of power grids.Keywords: artificial intelligence, computer vision, defect detection, convolutional neural net
Procedia PDF Downloads 101868 A Resolution on Ideal University Teachers Perspective of Turkish Students
Authors: Metin Özkan
Abstract:
In the last decade, Turkish higher education has been expanded dramatically. With this expansion, Turkey has come a long way in establishing an efficient system of higher education which is moving into a ‘mass’ system with institutions spanning the whole country. This expansion as a quantitative target leads to questioning the quality of higher education services. Especially, the qualities of higher education services depend on mainly quality of educators. Qualities of educators are most important in Turkish higher education system due to rapid rise in the number of universities and students. Therefore, it is seen important that reveals the portrait of ideal university teacher from the point of view student enrolled in Turkish higher education system. The purpose of this current study is to determine the portrait of ideal university teacher according to the views of Turkish Students. This research is carried out with descriptive scanning method and combined and mixed of qualitative and quantitative methodologies. Research data of qualitative section were collected at Gaziantep University with the participation of 45 students enrolled in 15 different faculties. Quantitative section was performed on 217 students. The data were obtained through semi-structured interview and “Ideal University Teacher Assessment” form developed by the researcher. The interview form consists of basically two parts. The first part of the interview was about personal information, the second part included questions about the characteristic of ideal university teacher. The questions which constitute the second part of the interview are; "what is a good university teacher like?” and “What human qualities and professional skills should a university teacher have? ". Assessment form which was created from the qualitative data obtained from interviews was used to attain scaling values for pairwise comparison and ranking judgment. According to study results, it has been found that ideal university teacher characteristics include the features like patient, tolerant, comprehensive and tolerant. Ideal university teacher, besides, implement the teaching methods like encouraging the students’ critical thinking, accepting the students’ recommendations on how to conduct the lesson and making use of the new technologies etc. Motivating and respecting the students, adopting a participative style, adopting a sincere way of manner also constitute the ideal university features relationships with students.Keywords: faculty, higher education, ideal university teacher, teacher behavior
Procedia PDF Downloads 207867 Delivery of Patient-Directed Wound Care Via Mobile Application-Based Qualitative Analysis
Authors: Amulya Srivatsa, Gayatri Prakash, Deeksha Sarda, Varshni Nandakumar, Duncan Salmon
Abstract:
Delivery of Patient-Directed Wound Care Via Mobile Application-Based Qualitative Analysis Chronic wounds are difficult for patients to manage at-home due to their unpredictable healing process. These wounds are associated with increased morbidity and negatively affect physical and mental health. The solution is a mobile application that will have an algorithm-based checklist to determine the state of the wound based on different factors that vary from person to person. Once this information is gathered, the application will recommend a plan of care to the user and subsequent steps to be taken. The mobile application will allow users to perform a digital scan of the wound to extract quantitative information regarding wound width, length, and depth, which will then be uploaded to the EHR to notify the patient’s provider. This scan utilizes a photo taken by the user, who is prompted appropriately. Furthermore, users will enter demographic information and answer multiple choice and drop-down menus describing the wound state. The proposed solution can save patients from unnecessary trips to the hospital for chronic wound care. The next iteration of the application can incorporate AI to allow users to perform a digital scan of the wound to extract quantitative information regarding wound width, length, and depth, which can be shared with the patient’s provider to allow for more efficient treatment. Ultimately, this product can provide immediate and economical medical advice for patients that suffer from chronic wounds. Research Objectives: The application should be capable of qualitative analysis of a wound and recommend a plan of care to the user. Additionally, the results of the wound analysis should automatically upload to the patient’s EMR. Research Methodologies: The app has two components: the first is a checklist with tabs for varying factors that assists users in the assessment of their skin. Subsequently, the algorithm will create an at-home regimen for patients to follow to manage their wounds. Research Contributions: The app aims to return autonomy back to the patient and reduce the number of visits to a physician for chronic wound care. The app also serves to educate the patient on how best to care for their wounds.Keywords: wound, app, qualitative, analysis, home, chronic
Procedia PDF Downloads 61866 The Performance of Natural Light by Roof Systems in Cultural Buildings
Authors: Ana Paula Esteves, Diego S. Caetano, Louise L. B. Lomardo
Abstract:
This paper presents an approach to the performance of the natural lighting, when the use of appropriated solar lighting systems on the roof is applied in cultural buildings such as museums and foundations. The roofs, as a part of contact between the building and the external environment, require special attention in projects that aim at energy efficiency, being an important element for the capture of natural light in greater quantity, but also for being the most important point of generation of photovoltaic solar energy, even semitransparent, allowing the partial passage of light. Transparent elements in roofs, as well as superior protection of the building, can also play other roles, such as: meeting the needs of natural light for the accomplishment of the internal tasks, attending to the visual comfort; to bring benefits to the human perception and about the interior experience in a building. When these resources are well dimensioned, they also contribute to the energy efficiency and consequent character of sustainability of the building. Therefore, when properly designed and executed, a roof light system can bring higher quality natural light to the interior of the building, which is related to the human health and well-being dimension. Furthermore, it can meet the technologic, economic and environmental yearnings, making possible the more efficient use of that primordial resource, which is the light of the Sun. The article presents the analysis of buildings that used zenith light systems in search of better lighting performance in museums and foundations: the Solomon R. Guggenheim Museum in the United States, the Iberê Camargo Foundation in Brazil, the Museum of Fine Arts in Castellón in Spain and the Pinacoteca of São Paulo.Keywords: natural lighting, roof lighting systems, natural lighting in museums, comfort lighting
Procedia PDF Downloads 205865 Continuity of Place-Identity: Identifying Regional Components of Kerala Architecture through 1805-1950
Authors: Manoj K. Kumar, Deepthi Bathala
Abstract:
Man has the need to know and feel as a part of the historical continuum and it is this continuum that reinforces his identity. Architecture and the built environment contribute to this identity as established by the various identity theories exploring the relationship between the two. Architecture which is organic has been successful in maintaining a continuum of identity until the advent of globalization when the world saw a drastic shift to architecture of ‘placelessness’. The answer to the perfect synthesis of ‘universalization’ and ‘regionalism’ is an ongoing quest. However, history has established a smooth transition from vernacular to colonial to modern unlike the architecture of today. The traditional Kerala architecture has evolved from the tropical climate, geography, local needs, materials, skills and foreign influences. It is unique in contrast to the architecture of the neighboring states as a result of the geographical barriers however influenced by the architecture of the Orient due to trade relations. Through 1805 to 1950, the European influence on the architecture of Kerala resulted in the emergence of the colonial style which managed to establish a continuum of the traditional architecture. The paper focuses on the identification of the components of architecture that established the continuity of place-identity in the architecture of Kerala and examines the transition from the traditional Kerala architecture to colonial architecture during the colonial period. Visual surveys based on the principles of urban design, cognitive mapping, typology analysis followed by the strong understanding of the morphological and built environment along with the matrix method are the research tools used. The understanding of these components of continuity can be useful in creating buildings which people can relate to in the present day. South-Asia shares the history of colonialism and the understanding of these components can pave the way for further research on how to establish a regional identity in the era of globalization.Keywords: colonial, identity, place, regional
Procedia PDF Downloads 402864 Culture, Consumption, and Markets of Aesthetics: A10-Year Literature Review
Authors: Chin-Hsiang Chu
Abstract:
This article review the literature in the field among the marketing and aesthetics, the current market and customer-oriented product sales, and gradually from the practical functionality, transformed into the visual appearance of the concept note and the importance of marketing experience substance 'economic Aesthetics' trend. How to introduce the concept of aesthetic and differentiate products have become an important content of marketing management in for an organization in marketing.In previous studies,marketing aesthetic related researches are rare.Therefore, the purpose of this study to explore the connection between aesthetics and marketing of the market economy, and aggregated content through literature review, trying to find related research implications for the management of marketing aesthetics, market-oriented and customer value and development of the product. In this study, the problem statement and background, the development of the theory of evolution, as well as methods and results of discovery stage, literature review was conducted to explore. The results found: (1) Study of Aesthetics will help deepen the shopping environment and service environment commonly understood. (2) the perceived value of products imported aesthetic, consumer willingness to buy, and even premium products will be more attractive. (3) marketing personnel for general marketing management with a high degree of aesthetic identity. (4) management in marketing aesthetics connotation, aesthetic characteristics of five elements is greatly valued by the real-time, complex, specificity, attract sexual and richness. (5) allows consumers to experience through the process due to stimulate the senses, the mind and thinking with the corporate brand or have a deeper link. Results of this study can be used as business in a competitive market, new product development and design of the guide.Keywords: marketing aesthetics, aesthetics economic, aesthetic, experiential marketing
Procedia PDF Downloads 255863 Economic Policy to Stimulate Industrial Development in Georgia
Authors: Gulnaz Erkomaishvili
Abstract:
The article analyzes the modern level of industrial production in Georgia, shows the export-import of industrial products and evaluates the results of the activities of institutions implementing industrial policy. The research showed us that the level of development of industry in the country and its export potential are quite low. The article concludes that in the modern phase of industrial development, the country should choose a model focused on technological development and maximum growth of export potential. Objectives. The aim of the research is to develop an economic policy that promotes the development of industry and to look for ways to implement it effectively. Methodologies This paper uses general and specific methods, in particular, analysis, synthesis, induction, deduction, scientific abstraction, comparative and statistical methods, as well as experts’ evaluation. In-depth interviews with experts were conducted to determine quantitative and qualitative indicators; Publications of the National Statistics Office of Georgia are used to determine the regularity between analytical and statistical estimations. Also, theoretical and applied research of international organizations and scientist-economists are used. Contributions Based on the identified challenges in the area of industry, recommendations for the implementation of an active industrial policy in short and long term periods were developed. In particular: the government's priority orientation of industrial development; paying special attention to the processing industry sectors that Georgia has the potential to produce; supporting the development of scientific fields; Determination of certain benefits for those investors who invest money in industrial production; State partnership with the private sector, manifested in the fight against bureaucracy, corruption and crime, creating favorable business conditions for entrepreneurs; Coordination between education - science - production should be implemented in the country. Much attention should be paid to basic scientific research, which does not require purely commercial returns in the short term, science should become a real productive force; Special importance should be given to the creation of an environment that will support the expansion of export-oriented production; Overcoming barriers to entry into export markets.Keywords: industry, sectoral structure of industry, exsport-import of industrial products, industrial policy
Procedia PDF Downloads 98862 Developing Environmental Engineering Alternatives for Deep Desulphurization of Transportation Fuels
Authors: Nalinee B. Suryawanshi, Vinay M. Bhandari, Laxmi Gayatri Sorokhaibam, Vivek V. Ranade
Abstract:
Deep desulphurization of transportation fuels is a major environmental concern all over the world and recently prescribed norms for the sulphur content require below 10 ppm sulphur concentrations in fuels such as diesel and gasoline. The existing technologies largely based on catalytic processes such as hydrodesulphurization, oxidation require newer catalysts and demand high cost of deep desulphurization whereas adsorption based processes have limitations due to lower capacity of sulphur removal. The present work is an attempt to provide alternatives for the existing methodologies using a newer non-catalytic process based on hydrodynamic cavitation. The developed process requires appropriate combining of organic and aqueous phases under ambient conditions and passing through a cavitating device such as orifice, venturi or vortex diode. The implosion of vapour cavities formed in the cavitating device generates (in-situ) oxidizing species which react with the sulphur moiety resulting in the removal of sulphur from the organic phase. In this work, orifice was used as a cavitating device and deep desulphurization was demonstrated for removal of thiophene as a model sulphur compound from synthetic fuel of n-octane, toluene and n-octanol. The effect of concentration of sulphur (up to 300 ppm), nature of organic phase and effect of pressure drop (0.5 to 10 bar) was discussed. A very high removal of sulphur content of more than 90% was demonstrated. The process is easy to operate, essentially works at ambient conditions and the ratio of aqueous to organic phase can be easily adjusted to maximise sulphur removal. Experimental studies were also carried out using commercial diesel as a solvent and the results substantiate similar high sulphur removal. A comparison of the two cavitating devices- one with a linear flow and one using vortex flow for effecting pressure drop and cavitation indicates similar trends in terms of sulphur removal behaviour. The developed process is expected to provide an attractive environmental engineering alternative for deep desulphurization of transportation fuels.Keywords: cavitation, petroleum, separation, sulphur removal
Procedia PDF Downloads 374861 The Influence of Caregivers’ Preparedness and Role Burden on Quality of Life among Stroke Patients
Authors: Yeaji Seok, Myung Kyung Lee
Abstract:
Background: Even if patients survive after a stroke, stroke patients may experience disability in mobility, sensation, cognition, and speech and language. Stroke patients require rehabilitation for functional recovery and daily life for a considerable time. During rehabilitation, the role of caregivers is important. However, the stroke patients’ quality of life may deteriorate due to family caregivers’ non-preparedness and increased role burden. Purpose: To investigate the prediction of caregivers' preparedness and role burden on stroke patients’ quality of life. Methods: The target population was stroke patients who were hospitalized for rehabilitation and their family care providers. A total of 153 patient-family caregiver dyads were recruited from June to August 2021. Data were collected from self-reported questionnaires and analyzed using descriptive statistics, t-tests, chi-squared test, one-way analysis of variance, Pearson’s correlation coefficients, and multiple regression with SPSS statistics 28 programs. Results: Family caregivers’ preparedness affected stroke patients’ mobility (β = .20, p < 0.05) and character (β = -.084, p < 0.05) and production activities (β = -.197, p < 0.05) in quality of life. The role burden of family caregivers affected language skills (β = .310, p<0.05), visual functions (β=-.357, p < 0.05), thinking skills (β = 0.443, p = 0.05), mood conditions (β = 0.565, p < 0.001), family roles (β = -0.361, p < 0.001), and social roles (β = -0.304, p < 0.001), while the caregivers’ burden of performing self-protection negatively affected patients’ social roles (β = .180, p=.048). In addition, caregivers’ role burden of personal life sacrifice affected patients’ mobility (β = .311, p < 0.05), self-care (β =.232, p < 0.05) and energy (β = .239, p < 0.05). Conclusion: This study indicated that family caregivers' preparedness and role burden affected stroke patients’ quality of life. The results of this study suggested that intervention to improve family caregivers’ preparedness and to reduce role burden should be required for quality of life in stroke patients.Keywords: quality of life, preparedness, role burden, caregivers, stroke
Procedia PDF Downloads 203860 Public Art as Social Critique to Shape Urban-Scape
Authors: Po-Ching Wang
Abstract:
Public art may be regarded as a social agenda. It is assumed that public art acts as an intermediate form that contributes significantly to community resurgence. That is, public art may be regarded as a verb/process or social intervention. It functions as a vanguard form, attacking boundaries and providing a sensibility for social strategy. Public art in tradition is generally expected to bring aesthetic pleasure to public. Contemporary public art, however, not only focuses on art installation, but it also often offers a process that aims to comment on, question, and challenge the socio-cultural status quo. During the last few decades, accelerated changes in the values and expectations brought to bear on varied urban issues, together with the destruction of the hegemony of traditional art and of museum authorities, has begun to contribute to freer and more democratic representations of public art. It is said that part of a public artwork’s role is to ruffle sacred feathers. In many cases, public art is created to address the dynamic social contradictions and mutability of public life; and artists and community participants approach public art from a variety of social critical perspectives and methodologies. Urban issues, such as social and environmental justice, health problems, violence, and political statements, provide plentiful source materials that fuel the performance of public art in many different settings. Further, public artworks have been extensively adopted to express social identity, make political statements, and/or to remedy social and environmental crises. Many murals on urban walls, for instance, reflect social conflicts and address civic rights, and these projects are usually the work of artists who though denied access to traditional gallery and museum channels are supported by community engagement and involvement. Public art as a social practice challenges the traditional western view of artistic practice. Art in the public realm creates a new media that provides a platform for a dialogical exchange between diverse social groups. It seems that public art has evolved as an arena for activism that addresses wide-ranging and highly controversial social issues and civilian concerns. The findings of this study indicate that public artworks are capable of playing a role of activist in facilitating community evolution via social progress.Keywords: aesthetics, community regeneration, city development, publicness, public participation, social progress
Procedia PDF Downloads 225859 Artificial Insemination of Bali Cattle with Frozen-Thawed Sexed Sperm Under District AI Station Conditions in Lombok: A Preliminary Trial
Authors: Chairussyuhur Arman, Totti Tjiptosumirat, Muhammad Gunawan, Mastur, Joko Priyono, Baiq Tri Ratna Erawati
Abstract:
The present study was undertaken to synchronize oestrus of bali cattle and artificially inseminated with frozen-thawed sexed-semen. The experiment was carried out at District AI Station. Four pluriparous cows and four nulliparous heifers were used in this study and they were housed in free stall barns. The heifers fed with corn silage supplemented with UMMB, while the cows fed with green fodder. All animals were given 500 mg cloprostenolum i.m. injections PGF2α twice, 11 days apart, to synchronize the occurrence of estrus. Estrus was detected by visual observation twice a day and determined if all cattle accepted mount from other females. All animals were inseminated twice with Bali sexed-semen at 72 and 76 h after observed oestrus. Results suggested that the percentage of calving rate either for pluriparous cows or nulliparous heifers were recorded to be 75 percent. One cow and one heifer did not produce calves because of embryonic lost. Regardless the sex of calves, the mean of birth weight of calves in cows was higher than that of heifers (18.50 ± 2.60 kg vs 13.83 ± 5.20 kg). One female calf from heifer with lower birth weight (8.0 kg) was dead one day after born. In pluriparous group, two cows delivered male calves and the other delivered female calf. Conversely in nulliparous group, two heifers delivered female calves and the other male calf. It is concluded that under the conditions of this preliminary trials, the sex ratio between pluriparous and nulliparous groups was found to be 50:50 (male:female).Keywords: artificial insemination, bali cattle, calves, sexed sperm
Procedia PDF Downloads 306858 Integrating Knowledge Distillation of Multiple Strategies
Authors: Min Jindong, Wang Mingxia
Abstract:
With the widespread use of artificial intelligence in life, computer vision, especially deep convolutional neural network models, has developed rapidly. With the increase of the complexity of the real visual target detection task and the improvement of the recognition accuracy, the target detection network model is also very large. The huge deep neural network model is not conducive to deployment on edge devices with limited resources, and the timeliness of network model inference is poor. In this paper, knowledge distillation is used to compress the huge and complex deep neural network model, and the knowledge contained in the complex network model is comprehensively transferred to another lightweight network model. Different from traditional knowledge distillation methods, we propose a novel knowledge distillation that incorporates multi-faceted features, called M-KD. In this paper, when training and optimizing the deep neural network model for target detection, the knowledge of the soft target output of the teacher network in knowledge distillation, the relationship between the layers of the teacher network and the feature attention map of the hidden layer of the teacher network are transferred to the student network as all knowledge. in the model. At the same time, we also introduce an intermediate transition layer, that is, an intermediate guidance layer, between the teacher network and the student network to make up for the huge difference between the teacher network and the student network. Finally, this paper adds an exploration module to the traditional knowledge distillation teacher-student network model. The student network model not only inherits the knowledge of the teacher network but also explores some new knowledge and characteristics. Comprehensive experiments in this paper using different distillation parameter configurations across multiple datasets and convolutional neural network models demonstrate that our proposed new network model achieves substantial improvements in speed and accuracy performance.Keywords: object detection, knowledge distillation, convolutional network, model compression
Procedia PDF Downloads 270857 Lung HRCT Pattern Classification for Cystic Fibrosis Using a Convolutional Neural Network
Authors: Parisa Mansour
Abstract:
Cystic fibrosis (CF) is one of the most common autosomal recessive diseases among whites. It mostly affects the lungs, causing infections and inflammation that account for 90% of deaths in CF patients. Because of this high variability in clinical presentation and organ involvement, investigating treatment responses and evaluating lung changes over time is critical to preventing CF progression. High-resolution computed tomography (HRCT) greatly facilitates the assessment of lung disease progression in CF patients. Recently, artificial intelligence was used to analyze chest CT scans of CF patients. In this paper, we propose a convolutional neural network (CNN) approach to classify CF lung patterns in HRCT images. The proposed network consists of two convolutional layers with 3 × 3 kernels and maximally connected in each layer, followed by two dense layers with 1024 and 10 neurons, respectively. The softmax layer prepares a predicted output probability distribution between classes. This layer has three exits corresponding to the categories of normal (healthy), bronchitis and inflammation. To train and evaluate the network, we constructed a patch-based dataset extracted from more than 1100 lung HRCT slices obtained from 45 CF patients. Comparative evaluation showed the effectiveness of the proposed CNN compared to its close peers. Classification accuracy, average sensitivity and specificity of 93.64%, 93.47% and 96.61% were achieved, indicating the potential of CNNs in analyzing lung CF patterns and monitoring lung health. In addition, the visual features extracted by our proposed method can be useful for automatic measurement and finally evaluation of the severity of CF patterns in lung HRCT images.Keywords: HRCT, CF, cystic fibrosis, chest CT, artificial intelligence
Procedia PDF Downloads 60856 Cognitive Impairment in Chronic Renal Patients on Hemodialysis
Authors: Fabiana Souza Orlandi, Juliana Gomes Duarte, Gabriela Dutra Gesualdo
Abstract:
Chronic renal disease (CKD), accompanied by hemodialysis, causes chronic renal failure in a number of situations that compromises not only physical, personal and environmental aspects, but also psychological, social and family aspects. Objective: To verify the level of cognitive impairment of chronic renal patients on hemodialysis. Methodology: This is a descriptive, cross-sectional study. The present study was performed in a Dialysis Center of a city in the interior of the State of São Paulo. The inclusion criteria were: being 18 years or older; have a medical diagnosis of CKD; being in hemodialysis treatment in this unit; and agree to participate in the research, with the signature of the Informed Consent (TCLE). A total of 115 participants were evaluated through the Participant Characterization Instrument and the Addenbrooke Cognitive Exam - Revised Version (ACE-R), being scored from 0 to 100, stipulating the cut-off note for the complete battery <78 and subdivided into five domains: attention and guidance; memory; fluency; language; (66.9%) and caucasian (54.7%), 53.7 (±14.8) years old. Most of the participants were retired (74.7%), with incomplete elementary schooling (36.5%) and the average time of treatment was 46 months. Most of the participants (61.3%) presented impairment in the area of attention and orientation, 80.4% in the spatial visual domain. Regarding the total ACE-R score, 75.7% of the participants presented scores below the established cut grade. Conclusion: There was a high percentage (75.7%) below the cut-off score established for ACE-R, suggesting that there may be some cognitive impairment among these participants, since the instrument only performs a screening on cognitive health. The results of the study are extremely important so that possible interventions can be traced in order to minimize impairment, thus improving the quality of life of chronic renal patients.Keywords: cognition, chronic renal insufficiency, adult health, dialysis
Procedia PDF Downloads 359855 Using Dynamic Glazing to Eliminate Mechanical Cooling in Multi-family Highrise Buildings
Authors: Ranojoy Dutta, Adam Barker
Abstract:
Multifamily residential buildings are increasingly being built with large glazed areas to provide tenants with greater daylight and outdoor views. However, traditional double-glazed window assemblies can lead to significant thermal discomfort from high radiant temperatures as well as increased cooling energy use to address solar gains. Dynamic glazing provides an effective solution by actively controlling solar transmission to maintain indoor thermal comfort, without compromising the visual connection to outdoors. This study uses thermal simulations across three Canadian cities (Toronto, Vancouver and Montreal) to verify if dynamic glazing along with operable windows and ceiling fans can maintain the indoor operative temperature of a prototype southwest facing high-rise apartment unit within the ASHRAE 55 adaptive comfort range for a majority of the year, without any mechanical cooling. Since this study proposes the use of natural ventilation for cooling and the typical building life cycle is 30-40 years, the typical weather files have been modified based on accepted global warming projections for increased air temperatures by 2050. Results for the prototype apartment confirm that thermal discomfort with dynamic glazing occurs only for less than 0.7% of the year. However, in the baseline scenario with low-E glass there are up to 7% annual hours of discomfort despite natural ventilation with operable windows and improved air movement with ceiling fans.Keywords: electrochromic glazing, multi-family housing, passive cooling, thermal comfort, natural ventilation
Procedia PDF Downloads 97854 Image Quality and Dose Optimisations in Digital and Computed Radiography X-ray Radiography Using Lumbar Spine Phantom
Authors: Elhussaien Elshiekh
Abstract:
A study was performed to management and compare radiation doses and image quality during Lumbar spine PA and Lumbar spine LAT, x- ray radiography using Computed Radiography (CR) and Digital Radiography (DR). Standard exposure factors such as kV, mAs and FFD used for imaging the Lumbar spine anthropomorphic phantom obtained from average exposure factors that were used with CR in five radiology centres. Lumbar spine phantom was imaged using CR and DR systems. Entrance surface air kerma (ESAK) was calculated X-ray tube output and patient exposure factor. Images were evaluated using visual grading system based on the European Guidelines on Quality Criteria for diagnostic radiographic images. The ESAK corresponding to each image was measured at the surface of the phantom. Six experienced specialists evaluated hard copies of all the images, the image score (IS) was calculated for each image by finding the average score of the Six evaluators. The IS value also was used to determine whether an image was diagnostically acceptable. The optimum recommended exposure factors founded here for Lumbar spine PA and Lumbar spine LAT, with respectively (80 kVp,25 mAs at 100 cm FFD) and (75 kVp,15 mAs at 100 cm FFD) for CR system, and (80 kVp,15 mAs at100 cm FFD) and (75 kVp,10 mAs at 100 cm FFD) for DR system. For Lumbar spine PA, the lowest ESAK value required to obtain a diagnostically acceptable image were 0.80 mGy for DR and 1.20 mGy for CR systems. Similarly for Lumbar spine LAT projection, the lowest ESAK values to obtain a diagnostically acceptable image were 0.62 mGy for DR and 0.76 mGy for CR systems. At standard kVp and mAs values, the image quality did not vary significantly between the CR and the DR system, but at higher kVp and mAs values, the DR images were found to be of better quality than CR images. In addition, the lower limit of entrance skin dose consistent with diagnostically acceptable DR images was 40% lower than that for CR images.Keywords: image quality, dosimetry, radiation protection, optimization, digital radiography, computed radiography
Procedia PDF Downloads 44853 Topical Nonsteroidal Anti-Inflammatory Eye Drops and Oral Acetazolamide for Macular Edema after Uncomplicated Phacoemulsification: Outcome and Predictors of Non-Response
Authors: Wissam Aljundi, Loay Daas, Yaser Abu Dail, Barbara Käsmann-Kellner, Berthold Seitz, Alaa Din Abdin
Abstract:
Purpose: To investigate the effectiveness of nonsteroidal anti-inflammatory eye drops (NSAIDs) combined with oral acetazolamide for postoperative macular edema (PME) after uncomplicated phacoemulsification (PE) and to identify predictors of non-response. Methods: We analyzed data of uncomplicated PE and identified eyes with PME. First-line therapy included topical NSAIDs combined with oral acetazolamide. In case of non-response, triamcinolone was administered subtenonally. Outcome measures included best-corrected visual acuity (BCVA) and central macular thickness (CMT). Results: 94 eyes out of 9750 uncomplicated PE developed PME, of which 60 eyes were included. Follow-ups occurred 6.4±1.8, 12.5±3.7, and 18.6±6.0 weeks after diagnosis. BCVA and CMT improved significantly in all follow-ups. 40 eyes showed response to first-line therapy at first follow-up (G1). The remaining 20 eyes showed no response and required subtenon triamcinolone (G2), of which 11 eyes showed complete regression at the second follow-up and 4 eyes at the third follow-up. 5 eyes showed no response and required intravitreal injection. Multivariate linear regression model showed that diabetes mellitus (DM) and increased cumulative dissipated energy (CDE) are predictors of non-response. Conclusion: Topical NSAIDs with acetazolamide resulted in complete regression of PME in 67% of all cases. DM and increased CDE might be considered as predictors of nonresponse to this treatment.Keywords: postoperative macular edema, intravitreal injection, cumulative energy, irvine gass syndrome, pseudophakie
Procedia PDF Downloads 112852 The Lived Experience of Caregiving as a Vulnerable Person: Preliminary Findings of an Applied Hermeneutic Phenomenology Study
Authors: Amanda Aliende da Matta
Abstract:
In different fields, there are people who have something that stands out. In the educational world, for example, it is clear when some teachers have something: they are the best teachers, but this is not directly attributed to their disciplines, methodologies, etc. It is that they have something that captivates, inspires, and motivates. But we also find this something in other contexts. In this thesis, the interest is in something that some marginalized people, such as Ab (fictitious name), have. Ab was born in a rural community and saw the lifestyle of his family change drastically as a consequence of structural changes in his village. The community became impoverished, and together with a group of teenagers, he decided to migrate to Spain in search of opportunities. His best friend drowned during the crossing. After arriving, he lived in indecent conditions and felt unsafe. He now suffers from anxiety and frequently faints from it. Yet, he’s linked to Joves x la pau (a Christian project, although he is a Muslim), distributing food for people who live on the streets every Thursday afternoon. When he asked about what happens on cold and rainy days, he explained simply: "if it rains, I distribute the food, and immediately I get home, take a bath, and sleep warm under my roof. That is when we most have to go." This something he has will be called caring. And one of the general objectives of the thesis is to discover what are the meaning structures of this caring what is the lived experience of this caring. In this communication, preliminary results of an Applied Hermeneutic Phenomenology (AHP) study on the lived experience of caring as a vulnerable person are presented. The research means to answer what is the lived experience of caring as a vulnerable person. That is, to describe and explain what it is like to caregive for a vulnerable person, what it is, essentially, to caregive for a vulnerable person, what makes the lived experience of caregiving for a vulnerable person different from any other. In order to investigate the meaning of the phenomenon of caregiving as a vulnerable person, as already stated, the method used will be Applied Hermeneutic Phenomenology (AHP). We base ourselves, initially, on the proposal of Raquel Ayala-Carabajo and Max Van Manen. As Van Manen (1990) explains, AHP is a method that works essentially through fieldwork, with the collection of data on lived experience (experiential material). It is a phenomenology of practice. We here present the provisional themes we found: caregiving as a vulnerable person is seeing yourself in the other, identifying with the care-receiver; Caregiving as a vulnerable person is putting the other’s need before oneself’s; Caregiving as a vulnerable person is temporarily overcoming your weaknesses to make yourself strong for the other; Caregiving as a vulnerable person is going beyond the conventional approach; and Caregiving as a vulnerable person is taking responsibility even if it’s not yours.Keywords: applied hermeneutic phenomenology, care ethics, hermeneutics, phenomenology
Procedia PDF Downloads 89851 The Priming Effect of Morphology, Phonology, Semantics, and Orthography in Mandarin Chinese: A Prime Paradigm Study
Authors: Bingqing Xu, Wenxing Shuai
Abstract:
This study investigates the priming effects of different Chinese compound words by native Mandarin speakers. There are lots of homonym, polysemy, and synonym in Chinese. However, it is unclear which kind of words have the biggest priming effect. Native Mandarin speakers were tested in a visual-word lexical decision experiment. The stimuli, which are all two-character compound words, consisted of two parts: primes and targets. Five types of relationships were used in all stimuli: morphologically related condition, in which the prime and the target contain the same morpheme; orthographically related condition, in which the target and the prime contain the different morpheme with the same form; phonologically related condition, in which the target and the prime contain the different morpheme with the same phonology; semantically related condition, in which the target and the prime contain the different morpheme with similar meanings; totally unrelated condition. The time since participants saw the target to respond was recorded. Analyses on reaction time showed that the average reaction time of morphologically related targets was much shorter than others, suggesting the morphological priming effect is the biggest. However, the reaction time of the phonologically related conditions was the longest, even longer than unrelated conditions. According to scatter plots analyses, 86.7% of participants had priming effects in morphologically related conditions, only 20% of participants had priming effects in phonologically related conditions. These results suggested that morphologically related conditions had the biggest priming effect. The orthographically and semantically related conditions also had priming effects, whereas the phonologically related conditions had few priming effects.Keywords: priming effect, morphology, phonology, semantics, orthography
Procedia PDF Downloads 140850 Understanding Tactical Urbanisms in Derelict Areas
Authors: Berna Yaylalı, Isin Can Traunmüller
Abstract:
This paper explores the emergent bottom-up practices in the fields of architecture and urban design within comparative perspectives of two cities. As a temporary, easily affordable intervention that gives the possibility of transforming neglected spaces into vibrant public spaces, tactical urbanism, together with creative place-making strategies, presents alternative ways of creating sustainable developments in derelict and underused areas. This study examines the potential of social and physical developments through a reading of case studies of two creative spatial practices: a pop-up garden transformed from an unused derelict space in Favoriten, Vienna, and an urban community garden in Kuzguncuk, Istanbul. Two cities are chosen according to their multicultural population and diversity. Istanbul was selected as a design city by UNESCO Creative Cities Network in 2017, and Vienna was declared an open and livable city by its local government. This research will use media archives and reports, interviews with locals and local governments, site observations, and visual recordings as methods to provide a critical reading on creative public spaces from the view of local users in these neighborhoods. Reflecting on these emergent ways, this study aims at discussing the production process of tactile urbanism with the practices of locals and the decision-making process with cases from İstanbul and Vienna. The comparison between their place-making strategies in tactical urbanism will give important insights for future developments.Keywords: creative city, tactical urbanism, neglected area, public space
Procedia PDF Downloads 95849 Technical Non-Destructive Evaluation of Burnt Bridge at CH. 57+450 Along Abuja-Abaji-Lokoja Road, Nigeria
Authors: Abraham O. Olaniyi, Oluyemi Oke, Atilade Otunla
Abstract:
The structural performance of bridges decreases progressively throughout their service life due to many contributing factors (fatigue, carbonation, fire incidents etc.). Around the world, numerous bridges have attained their estimated service life and many have approached this limit. The structural integrity assessment of the burnt composite bridge located at CH57+450, Koita village along Abuja-Abaji-Lokoja road, Nigeria, is presented as a case study and shall be forthwith referred to as the 'Koita bridge' in this paper. From the technical evaluation, the residual compressive strength of the concrete piers was found to be below 16.0 N/mm2. This value is very low compared to the expected design value of 30.0 N/mm2. The pier capping beam at pier location 1 has a very low residual compressive strength. The cover to the reinforcement of certain capping beams has an outline of reinforcement which signifies poor concrete cover and the mean compressive strength is also less than 20.0 N/mm2. The steel girder indicated black colouration as a result of the fire incident without any significant structural defect like buckling or warping of the steel section. This paper reviews the structural integrity assessment and repair methodology of the Koita bridge; a composite bridge damaged by fire, highlighting the various challenges of limited obtainable guidance documents about the bridge. The objectives are to increase the understanding of processes and versatile equipment required to test and assess a fire-damaged bridge in order to improve the quality of structural appraisal and rehabilitation; thus, eliminating the prejudice associated with current visual inspection techniques.Keywords: assessment, bridge, rehabilitation, sustainability
Procedia PDF Downloads 361848 From Theory to Practice: Harnessing Mathematical and Statistical Sciences in Data Analytics
Authors: Zahid Ullah, Atlas Khan
Abstract:
The rapid growth of data in diverse domains has created an urgent need for effective utilization of mathematical and statistical sciences in data analytics. This abstract explores the journey from theory to practice, emphasizing the importance of harnessing mathematical and statistical innovations to unlock the full potential of data analytics. Drawing on a comprehensive review of existing literature and research, this study investigates the fundamental theories and principles underpinning mathematical and statistical sciences in the context of data analytics. It delves into key mathematical concepts such as optimization, probability theory, statistical modeling, and machine learning algorithms, highlighting their significance in analyzing and extracting insights from complex datasets. Moreover, this abstract sheds light on the practical applications of mathematical and statistical sciences in real-world data analytics scenarios. Through case studies and examples, it showcases how mathematical and statistical innovations are being applied to tackle challenges in various fields such as finance, healthcare, marketing, and social sciences. These applications demonstrate the transformative power of mathematical and statistical sciences in data-driven decision-making. The abstract also emphasizes the importance of interdisciplinary collaboration, as it recognizes the synergy between mathematical and statistical sciences and other domains such as computer science, information technology, and domain-specific knowledge. Collaborative efforts enable the development of innovative methodologies and tools that bridge the gap between theory and practice, ultimately enhancing the effectiveness of data analytics. Furthermore, ethical considerations surrounding data analytics, including privacy, bias, and fairness, are addressed within the abstract. It underscores the need for responsible and transparent practices in data analytics, and highlights the role of mathematical and statistical sciences in ensuring ethical data handling and analysis. In conclusion, this abstract highlights the journey from theory to practice in harnessing mathematical and statistical sciences in data analytics. It showcases the practical applications of these sciences, the importance of interdisciplinary collaboration, and the need for ethical considerations. By bridging the gap between theory and practice, mathematical and statistical sciences contribute to unlocking the full potential of data analytics, empowering organizations and decision-makers with valuable insights for informed decision-making.Keywords: data analytics, mathematical sciences, optimization, machine learning, interdisciplinary collaboration, practical applications
Procedia PDF Downloads 86847 Learning Disability or Learning Differences: Understanding Differences Between Cultural and Linguistic Diversity, Learning Differences, and Learning Disabilities
Authors: Jolanta Jonak, Sylvia Tolczyk
Abstract:
Students demonstrate various learning preferences and learning styles that range from visual, auditory to kinesthetic preferences. These learning preferences are further impacted by individual cognitive make up that characterizes itself in linguistic strengths, logical- special, inter-or intra- personal, just to name a few. Students from culturally and linguistically diverse backgrounds (CLD) have an increased risk of being misunderstood by many school systems and even medical personnel. CLD students are influenced by many factors (like acculturation and experience) that may impact their achievements and functioning levels. CLD students who develop initial or basic interpersonal communication proficiency skills in the target language are even at a higher risk for being suspected of learning disability when they are underachieving academically. Research indicates that large numbers of students arenot provided the type of education and types of supports they need in order to be successful in an academicenvironment. Multiple research findings indicate that significant numbers of school staff self-reports that they do not feel adequately prepared to work with CLD students. It is extremely important for the school staff, especially school psychologists, who often are the first experts that are consulted, to be educated about overlapping symptoms and settle differences between learning difference and disability. It is equally important for medical personnel, mainly pediatricians, psychologists, and psychiatrists, to understand the subtle differences to avoid inaccurate opinions. Having the knowledge, school staff can avoid unnecessary referrals for special education evaluations and avoid inaccurate decisions about the presence of a disability. This presentation will illustrate distinctions based on research between learning differences and disabilities, how to recognize them, and how to assess for them.Keywords: special education, learning disability, differentiation, differences
Procedia PDF Downloads 146846 Formal Development of Electronic Identity Card System Using Event-B
Authors: Tomokazu Nagata, Jawid Ahmad Baktash
Abstract:
The goal of this paper is to explore the use of formal methods for Electronic Identity Card System. Nowadays, one of the core research directions in a constantly growing distributed environment is the improvement of the communication process. The responsibility for proper verification becomes crucial. Formal methods can play an essential role in the development and testing of systems. The thesis presents two different methodologies for assessing correctness. Our first approach employs abstract interpretation techniques for creating a trace based model for Electronic Identity Card System. The model was used for building a semi decidable procedure for verifying the system model. We also developed the code for the eID System and can cover three parts login to system sending of Acknowledgment from user side, receiving of all information from server side and log out from system. The new concepts of impasse and spawned sessions that we introduced led our research to original statements about the intruder’s knowledge and eID system coding with respect to secrecy. Furthermore, we demonstrated that there is a bound on the number of sessions needed for the analysis of System.Electronic identity (eID) cards promise to supply a universal, nation-wide mechanism for user authentication. Most European countries have started to deploy eID for government and private sector applications. Are government-issued electronic ID cards the proper way to authenticate users of online services? We use the eID project as a showcase to discuss eID from an application perspective. The new eID card has interesting design features, it is contact-less, it aims to protect people’s privacy to the extent possible, and it supports cryptographically strong mutual authentication between users and services. Privacy features include support for pseudonymous authentication and per service controlled access to individual data items. The article discusses key concepts, the eID infrastructure, observed and expected problems, and open questions. The core technology seems ready for prime time and government projects deploy it to the masses. But application issues may hamper eID adoption for online applications.Keywords: eID, event-B, Pro-B, formal method, message passing
Procedia PDF Downloads 226845 The Effect of Green Power Trading Mechanism on Interregional Power Generation and Transmission in China
Authors: Yan-Shen Yang, Bai-Chen Xie
Abstract:
Background and significance of the study: Both green power trading schemes and interregional power transmission are effective ways to increase green power absorption and achieve renewable power development goals. China accelerates the construction of interregional power transmission lines and the green power market. A critical issue focusing on the close interaction between these two approaches arises, which can heavily affect the green power quota allocation and renewable power development. Existing studies have not discussed this issue adequately, so it is urgent to figure out their relationship to achieve a suitable power market design and a more reasonable power grid construction.Basic methodologies: We develop an equilibrium model of the power market in China to analyze the coupling effect of these two approaches as well as their influence on power generation and interregional transmission in China. Our model considers both the Tradable green certificate (TGC) and green power market, which consists of producers, consumers in the market, and an independent system operator (ISO) minimizing the total system cost. Our equilibrium model includes the decision optimization process of each participant. To reformulate the models presented as a single-level one, we replace the producer, consumer, ISO, and market equilibrium problems with their Karush-Kuhn-Tucker (KKT) conditions, which is further reformulated as a mixed-integer linear programming (MILP) and solved in Gurobi solver. Major findings: The result shows that: (1) the green power market can significantly promote renewable power absorption while the TGC market provides a more flexible way for green power trading. (2) The phenomena of inefficient occupation and no available transmission lines appear simultaneously. The existing interregional transmission lines cannot fully meet the demand for wind and solar PV power trading in some areas while the situation is vice versa in other areas. (3) Synchronous implementation of green power and TGC trading mechanism can benefit the development of green power as well as interregional power transmission. (4) The green power transaction exacerbates the unfair distribution of carbon emissions. The Carbon Gini Coefficient is up to 0.323 under the green power market which shows a high Carbon inequality. The eastern coastal region will benefit the most due to its huge demand for external power.Keywords: green power market, tradable green certificate, interregional power transmission, power market equilibrium model
Procedia PDF Downloads 133