Search results for: object temperature

Authors: Ju-Young Hwang, Hyo-Gyoung Kwak

Abstract:

This paper introduces a numerical analysis method for reinforced-concrete (RC) structures exposed to fire and compares the result with experimental results. The proposed analysis method for RC structure under the high temperature consists of two procedures. First step is to decide the temperature distribution across the section through the heat transfer analysis by using the time-temperature curve. After determination of the temperature distribution, the nonlinear analysis is followed. By considering material and geometrical nonlinearity with the temperature distribution, nonlinear analysis predicts the behavior of RC structure under the fire by the exposed time. The proposed method is validated by the comparison with the experimental results. Finally, prediction model to describe the status of after-cooling concrete can also be introduced based on the results of additional experiment. The product of this study is expected to be embedded for smart structure monitoring system against fire in u-City.

Keywords: RC, high temperature, after-cooling analysis, nonlinear analysis

Procedia PDF Downloads 414

Authors: Chakrit Chotamonsak, Eric P. Salathé Jr, Jiemjai Kreasuwan

Abstract:

Dynamical downscaling of the ECHAM5 global climate model is applied at 20-km horizontal resolution using the WRF regional climate model (WRF-ECHAM5), to project changes from 1990–2009 to 2045–2064 of temperature and precipitation over the Upper Ping River Basin. The analysis found that monthly changes in daily temperature and precipitation over the basin for the 2045-2064 compared to the 1990-2009 are revealed over the basin all months, with the largest warmer in December and the smallest warmer in February. The future simulated precipitation is smaller than that of the baseline value in May, July and August, while increasing of precipitation is revealed during pre-monsoon (April) and late monsoon (September and October). This means that the rainy season likely becomes longer and less intensified during the rainy season. During the cool-dry season and hot-dry season, precipitation is substantial increasing over the basin. For the annual cycle of changes in daily temperature and precipitation over the upper Ping River basin, the largest warmer in the mean temperature over the basin is 1.93 °C in December and the smallest is 0.77 °C in February. Increase in nighttime temperature (minimum temperature) is larger than that of daytime temperature (maximum temperature) during the dry season, especially in wintertime (November to February), resulted in decreasing the diurnal temperature range. The annual and seasonal changes in daily temperature and precipitation averaged over the basin. The annual mean rising are 1.43, 1.54 and 1.30 °C for mean temperature, maximum temperature and minimum temperature, respectively. The increasing of maximum temperature is larger than that of minimum temperature in all months during the dry season (November to April).

Keywords: climate change, regional climate model, upper Ping River basin, WRF

Procedia PDF Downloads 383

Authors: Khalid S. Hashim, Andy Shaw, Rafid Alkhaddar, David Phipps, Ortoneda Pedrola

Abstract:

Temperature is an essential parameter in the electrocoagulation process (EC) as it governs the solubility of electrodes and the precipitates and the collision rate of particles in water being treated. Although it has been about 100 years since the EC technology was invented and applied in water and wastewater treatment, the effects of temperature on the its performance were insufficiently investigated. Thus, the present project aims to fill this gap by an innovative use of perforated flow columns in the designing of a new EC reactor (ECR1). The new reactor (ECR1) consisted of a Perspex made cylinder container supplied with a flow column consisted of perorated discoid electrodes that made from aluminium. The flow column has been installed vertically, half submerged in the water being treated, inside a plastic cylinder. The unsubmerged part of the flow column works as a radiator for the water being treated. In order to investigate the performance of ECR1; water samples with different initial temperatures (15, 20, 25, 30, and 35 °C) to the ECR1 for 20 min. Temperature of effluent water samples were measured using Hanna meter (Model: HI 98130). The obtained results demonstrated that the ECR1 reduced water temperature from 35, 30, and 25 °C to 24.6, 23.8, and 21.8 °C respectively. While low water temperature, 15 °C, increased slowly to reach 19.1 °C after 15 minutes and kept the same level till the end of the treatment period. At the same time, water sample with initial temperature of 20 °C showed almost a steady level of temperature along the treatment process, where the temperature increased negligibly from 20 to 20.1 °C after 20 minutes of treatment. In conclusion, ECR1 is able to control the temperature of water being treated around the room temperature even when the initial temperature was high (35 °C) or low (15 °C).

Keywords: electrocoagulation, flow column, treatment, water temperature

Procedia PDF Downloads 430

Authors: Jimin Yun, Yebeen Ji, Kwonhoo Kim

Abstract:

Magnesium and Mg-Ag system alloys are known to be promising biomaterials due to their high specific strengths and biocompatibility. Because the limited numbers of slip systems were activated in the HCP structure at room temperature, their formability was low. To solve these problems, much research about the improvement of room-temperature formability has been studied, but the microstructure development behaviors of Mg-Ag alloys were still limited. Therefore, this study was conducted to investigate the texture development behaviors of Mg-Ag alloy during high-temperature plane strain deformation. The Ag content of the Mg-Ag alloy used in this study was 3.0, 5.0, and 9.0 wt%. Hot rolling was performed at a temperature of 673K with a reduction ratio of 25%, and these specimens were annealed for 1H at 773K, followed by water quenching at room temperature. High-temperature plane strain deformation was performed under temperatures of 623K and 723K, with strain rates from 0.1/s to 0.05/s and strain from -0.4 to –1.0. As a result, it showed a microstructure and texture similar to the AZ61 alloy, which had been studied previously. It was confirmed that the basal texture became stronger with increasing strains at high-temperature plane strain deformation.

Keywords: Mg-Ag, texture, microstructure development behavior, AZ61

Procedia PDF Downloads 64

Authors: Roshanak Afrakhteh, Abdolrasoul Salman Mahini, Mahdi Motagh, Hamidreza Kamyab

Abstract:

Urban Heat Islands (UHIs) are distinctive urban areas characterized by densely populated central cores surrounded by less densely populated peripheral lands. These areas experience elevated temperatures, primarily due to impermeable surfaces and specific land use patterns. The consequences of these temperature variations are far-reaching, impacting the environment and society negatively, leading to increased energy consumption, air pollution, and public health concerns. This paper emphasizes the need for simplified approaches to comprehend UHI temperature dynamics and explains how urban development patterns contribute to land surface temperature variation. To illustrate this relationship, the study focuses on the Guilan Plain, utilizing techniques like principal component analysis and generalized additive models. The research centered on mapping land use and land surface temperature in the low-lying area of Guilan province. Satellite data from Landsat sensors for three different time periods (2002, 2012, and 2021) were employed. Using eCognition software, a spatial unit known as a "city block" was utilized through object-based analysis. The study also applied the normalized difference vegetation index (NDVI) method to estimate land surface radiance. Predictive variables for urban land surface temperature within residential city blocks were identified categorized as intrinsic (related to the block's structure) and neighboring (related to adjacent blocks) variables. Principal Component Analysis (PCA) was used to select significant variables, and a Generalized Additive Model (GAM) approach, implemented using R's mgcv package, modeled the relationship between urban land surface temperature and predictor variables.Notable findings included variations in urban temperature across different years attributed to environmental and climatic factors. Block size, shared boundary, mother polygon area, and perimeter-to-area ratio were identified as main variables for the generalized additive regression model. This model showed non-linear relationships, with block size, shared boundary, and mother polygon area positively correlated with temperature, while the perimeter-to-area ratio displayed a negative trend. The discussion highlights the challenges of predicting urban surface temperature and the significance of block size in determining urban temperature patterns. It also underscores the importance of spatial configuration and unit structure in shaping urban temperature patterns. In conclusion, this study contributes to the growing body of research on the connection between land use patterns and urban surface temperature. Block size, along with block dispersion and aggregation, emerged as key factors influencing urban surface temperature in residential areas. The proposed methodology enhances our understanding of parameter significance in shaping urban temperature patterns across various regions, particularly in Iran.

Keywords: urban heat island, land surface temperature, LST modeling, GAM, Gilan province

Procedia PDF Downloads 76

Authors: Rabia Shabbir, Sheikh Saeed Ahmad, Amna Butt

Abstract:

Rapid land use changes have taken place in Islamabad, the capital city of Pakistan, over the past decades due to accelerated urbanization and industrialization. In this study, land use changes in the metropolitan area of Islamabad was observed by the combined use of GIS and satellite remote sensing for a time period of 15 years. High-resolution Google Earth images were downloaded from 2000-2015, and object-based classification method was used for accurate classification using eCognition software. The information regarding urban settlements, industrial area, barren land, agricultural area, vegetation, water, and transportation infrastructure was extracted. The results showed that the city experienced a spatial expansion, rapid urban growth, land use change and expanding transportation infrastructure. The study concluded the integration of GIS and remote sensing as an effective approach for analyzing the spatial pattern of urban growth and land use change.

Keywords: land use change, urban growth, Islamabad, object-based classification, Google Earth, remote sensing, GIS

Procedia PDF Downloads 152

Authors: Risti Suryantari, Flaviana

Abstract:

The aim of this research is to design calibration method of Thermochromic Liquid Crystal for temperature distribution measurement based on mathematical morphology of hue image A glass of water is placed on the surface of sample TLC R25C5W at certain temperature. We use scanner for image acquisition. The true images in RGB format is converted to HSV (hue, saturation, value) by taking of hue without saturation and value. Then the hue images is processed based on mathematical morphology using Matlab2013a software to get better images. There are differences on the final images after processing at each temperature variation based on visualization observation and the statistic value. The value of maximum and mean increase with rising temperature. It could be parameter to identify the temperature of the human body surface like hand or foot surface.

Keywords: thermochromic liquid crystal, TLC, mathematical morphology, hue image

Procedia PDF Downloads 475

Authors: Amine Beloufa, Mohamed Amirat

Abstract:

In the electric vehicle, high power leads to high current; automotive power connector should resist to this high current in order to avoid a serious damage caused by the increase of contact temperature. The purpose of this paper is to analyze experimentally and numerically the effect of the cable diameter variation on the decrease of contact temperature. For this reason, a finite element model was developed to calculate the numerical contact temperature for several cable diameters and several electrical high currents. Also, experimental tests were established in order to validate this numerical model. Results show that the influence of cable diameter on the contact temperature is never neglected.

Keywords: contact temperature, experimental test, finite element, power automotive connector

Procedia PDF Downloads 264

Authors: Amaladhithyan Krishnamoorthy, Ruvaitha Banu

Abstract:

Vision is considered as the most important sense in humans, without which leading a normal can be often difficult. There are many existing smart canes for visually impaired with obstacle detection using ultrasonic transducer to help them navigate. Though the basic smart cane increases the safety of the users, it does not help in filling the void of visual loss. This paper introduces the concept of Digi-Buddy which is an evolved smart cane for visually impaired. The cane consists for several modules, apart from the basic obstacle detection features; the Digi-Buddy assists the user by capturing video/images and streams them to the server using a wide-angled camera, which then detects the objects using Deep Convolutional Neural Network. In addition to determining what the particular image/object is, the distance of the object is assessed by the ultrasonic transducer. The sound generation application, modelled with the help of Natural Language Processing is used to convert the processed images/object into audio. The object detected is signified by its name which is transmitted to the user with the help of Bluetooth hear phones. The object detection is extended to facial recognition which maps the faces of the person the user meets in the database of face images and alerts the user about the person. One of other crucial function consists of an automatic-intimation-alarm which is triggered when the user is in an emergency. If the user recovers within a set time, a button is provisioned in the cane to stop the alarm. Else an automatic intimation is sent to friends and family about the whereabouts of the user using GPS. In addition to safety and security by the existing smart canes, the proposed concept devices to be implemented as a prototype helping visually-impaired visualize their surroundings through audio more in an amicable way.

Keywords: artificial intelligence, facial recognition, natural language processing, internet of things

Procedia PDF Downloads 355

Authors: Mohammed S. Al-Rawi, J. Bastos, J. Rodriguez

Abstract:

Object detection and object recognition are essential components of every computer vision system. Despite the high computational complexity and other problems related to numerical stability and accuracy, Zernike moments of 2D images (ZMs) have shown resilience when used in object recognition and have been used in various image analysis applications. In this work, we propose a novel method for computing ZMs via Fast Fourier Transform (FFT). Notably, this is the first algorithm that can generate ZMs up to extremely high orders accurately, e.g., it can be used to generate ZMs for orders up to 1000 or even higher. Furthermore, the proposed method is also simpler and faster than the other methods due to the availability of FFT software and/or hardware. The accuracies and numerical stability of ZMs computed via FFT have been confirmed using the orthogonality property. We also introduce normalizing ZMs with Neumann factor when the image is embedded in a larger grid, and color image reconstruction based on RGB normalization of the reconstructed images. Astonishingly, higher-order image reconstruction experiments show that the proposed methods are superior, both quantitatively and subjectively, compared to the q-recursive method.

Keywords: Chebyshev polynomial, fourier transform, fast algorithms, image recognition, pseudo Zernike moments, Zernike moments

Procedia PDF Downloads 265

Authors: Milan Uhríčik, Andrea Soviarová, Zuzana Dresslerová, Peter Palček, Alan Vaško

Abstract:

The article is focused on the analysis changes dependence on the temperature on the magnesium alloy with 5,48% Al, 0,813% Zn and 0,398% Mn by internal friction. Internal friction is a property of the material is measured on the ultrasonic resonant aparature at a frequency about f = 20470 Hz. The measured temperature range was from 30 °C up to 420 °C. Precisely measurement of the internal friction can be monitored ongoing structural changes and various mechanisms that prevent these changes.

Keywords: internal friction, magnesium alloy, temperature, resonant frequency

Procedia PDF Downloads 701

Authors: Nurshafika Adira Bt Audi Ashraf, Habsah Alwi

Abstract:

This study describes the series of analysis conducted after the use of Vacuum far Infra Red. Parameter including the constant drying temperature at 40°C with pressure difference (-400 bar, -500 bar and -600 bar) and constant drying pressure at -400 bar with difference temperature (40°C, 50°C and 60°C). The dried leaves with constant temperature and constant pressure is compared with the fresh leaves via several analysis including TGA, FTIR and Chromameter. Results indicated that the fresh leaves shows three degradation stages while temperature constant shows four stages of degradation and at constant pressure of -400 bar, five stages of degradation is shown. However, at the temperature constant with pressure -500 bar, five degradation stages are identified and at constant pressure with temperature 40°C, three stage of degradation is presence. It is assumed that it is due to the difference size of the sample as the particle size is decrease, the peak temperature shown in TG curves is also decrease which lead to the rapid ignition. Based on the FTIR analysis, fresh leaves gives the high presence of O-H and C=O group where both of the constant parameters give the absence of those due to the drying effects. In color analysis, the constant drying parameters (pressure and temperature) both shows that as the temperature increases, the average total of color change is also increases.

Keywords: chromameter, FTIR, TGA, Vaccum far infrared dying

Procedia PDF Downloads 366

Authors: B. Afsharipoor, E. Nazemi

Abstract:

Artificial neural networks (ANNs) are powerful tool for prediction which can be trained based on a set of examples and thus, it would be useful for nonlinear image processing. The present paper reviews several paper regarding applications of ANN in image processing to shed the light on advantage and disadvantage of ANNs in this field. Different steps in the image processing chain including pre-processing, enhancement, segmentation, object recognition, image understanding and optimization by using ANN are summarized. Furthermore, results on using multi artificial neural networks are presented.

Keywords: neural networks, image processing, segmentation, object recognition, image understanding, optimization, MANN

Procedia PDF Downloads 409

Authors: S. M. Sadrameli, Y. Azizi

Abstract:

Lithium-ion batteries (LIBs) have shown to be one of the most reliable energy storage systems for electric cars in the recent years. Ambient temperature has a significant impact on the performance, lifetime, safety and cost of such batteries. Increasing the temperature degrade the lithium batteries more quickly while working at low-temperature environment results reducing the power and energy capability of the system. A thermal management system has been designed and setup in laboratory scale for controlling the temperature at optimum conditions using PEG-1000 with the melting point in the range of 33-40 oC as a phase change material. Aluminum plates have been installed in the PCM to increase the thermal conductivity and increasing the heat transfer rate. Experimental tests have been run at different discharge rates and ambient temperatures to investigate the effects of temperature on the efficiency of the batteries. The comparison has been made between the system of 6 batteries with and without PCM and the results show that PCM with aluminum plates decrease the surface temperature of the batteries that would result better performance and longer lifetime of the batteries.

Keywords: lithium-ion batteries, phase change materials, thermal management, temperature control

Procedia PDF Downloads 342

Authors: Alexandre Faure, Yoko Mizokami, éRic Dinet

Abstract:

These recent years, the potential of light in assisting visually impaired people in their indoor mobility has been demonstrated by different studies. Implementing smart lighting systems for selective visual enhancement, especially designed for low-vision people, is an approach that breaks with the existing visual aids. The appearance of the surface of an object is significantly influenced by the lighting conditions and the constituent materials of the objects. Appearance of objects may appear to be different from expectation. Therefore, lighting conditions lead to an important part of accurate material recognition. The main objective of this work was to investigate the effect of the spatial distribution of light on object identification in the context of low vision. The purpose was to determine whether and what specific lighting approaches should be preferred for visually impaired people. A psychophysical experiment was designed to study the ability of individuals to identify the smallest cube of a pair under different lighting diffusion conditions. Participants were divided into two distinct groups: a reference group of observers with normal or corrected-to-normal visual acuity and a test group, in which observers were required to wear visual impairment simulation glasses. All participants were presented with pairs of cubes in a "miniature room" and were instructed to estimate the relative size of the two cubes. The miniature room replicates real-life settings, adorned with decorations and separated from external light sources by black curtains. The correlated color temperature was set to 6000 K, and the horizontal illuminance at the object level at approximately 240 lux. The objects presented for comparison consisted of 11 white cubes and 11 black cubes of different sizes manufactured with a 3D printer. Participants were seated 60 cm away from the objects. Two different levels of light diffuseness were implemented. After receiving instructions, participants were asked to judge whether the two presented cubes were the same size or if one was smaller. They provided one of five possible answers: "Left one is smaller," "Left one is smaller but unsure," "Same size," "Right one is smaller," or "Right one is smaller but unsure.". The method of constant stimuli was used, presenting stimulus pairs in a random order to prevent learning and expectation biases. Each pair consisted of a comparison stimulus and a reference cube. A psychometric function was constructed to link stimulus value with the frequency of correct detection, aiming to determine the 50% correct detection threshold. Collected data were analyzed through graphs illustrating participants' responses to stimuli, with accuracy increasing as the size difference between cubes grew. Statistical analyses, including 2-way ANOVA tests, showed that light diffuseness had no significant impact on the difference threshold, whereas object color had a significant influence in low vision scenarios. The first results and trends derived from this pilot experiment clearly and strongly suggest that future investigations could explore extreme diffusion conditions to comprehensively assess the impact of diffusion on object identification. For example, the first findings related to light diffuseness may be attributed to the range of manipulation, emphasizing the need to explore how other lighting-related factors interact with diffuseness.

Keywords: Lighting, Low Vision, Visual Aid, Object Identification, Psychophysical Experiment

Procedia PDF Downloads 64

Authors: Enyia James Diwa, Dodeye Ina Igbong, Archibong Eso Archibong

Abstract:

The creep life of an industrial gas turbine is determined through a physics-based model used to investigate the high pressure temperature (HPT) of the blade in use. A performance model was carried out via the Cranfield University TURBOMATCH simulation software to size the blade and to determine the corresponding stress. Various effects such as radial temperature distortion factor, turbine entry temperature, ambient temperature, blade metal temperature, and compressor degradation on the blade creep life were investigated. The output results show the difference in creep life and the location of failure along the span of the blade enabling better-informed advice for the gas turbine operator.

Keywords: creep, living, performance, degradation

Procedia PDF Downloads 402

Authors: Jamal Choudhry, Roland Larsson, Andreas Almqvist

Abstract:

A multi-scale flash temperature model has been developed and validated against existing work. The core strength of the proposed model is that it can be adapted to predict flash contact temperatures occurring in various types of sliding systems. In this paper, it is used to investigate how different surface roughness parameters affect the flash temperatures. The results show that for decreasing Hurst exponents as well as increasing values of the high-frequency cut-off, the maximum flash temperature increases. It was also shown that the effect of surface roughness does not influence the average interface temperature. The model predictions were validated against data from an experiment conducted in a pin-on-disc machine. This also showed the importance of including a wear model when simulating flash temperature development in a sliding system.

Keywords: multiscale, pin-on-disc, finite element method, flash temperature, surface roughness

Procedia PDF Downloads 119

Authors: Sebastian Töpfer, Marta Gilaberte Basset, Jorge Fuenzalida, Fabian Steinlechner, Juan P. Torres, Markus Gräfe

Abstract:

This work introduces a combination of digital phase-shifting holography with a non-linear interferometer using undetected photons. Non-linear interferometers can be used in combination with a measurement scheme called quantum imaging with undetected photons, which allows for the separation of the wavelengths used for sampling an object and detecting it in the imaging sensor. This method recently faced increasing attention, as it allows to use of exotic wavelengths (e.g., mid-infrared, ultraviolet) for object interaction while at the same time keeping the detection in spectral areas with highly developed, comparable low-cost imaging sensors. The object information, including its transmission and phase influence, is recorded in the form of an interferometric pattern. To collect these, this work combines the method of quantum imaging with undetected photons with digital phase-shifting holography with a minimal sampling of the interference. With this, the quantum imaging scheme gets extended in its measurement capabilities and brings it one step closer to application. Quantum imaging with undetected photons uses correlated photons generated by spontaneous parametric down-conversion in a non-linear interferometer to create indistinguishable photon pairs, which leads to an effect called induced coherence without induced emission. Placing an object inside changes the interferometric pattern depending on the object’s properties. Digital phase-shifting holography records multiple images of the interference with determined phase shifts to reconstruct the complete interference shape, which can afterward be used to analyze the changes introduced by the object and conclude its properties. An extensive characterization of this method was done using a proof-of-principle setup. The measured spatial resolution, phase accuracy, and transmission accuracy are compared for different combinations of camera exposure times and the number of interference sampling steps. The current limits of this method are shown to allow further improvements. To summarize, this work presents an alternative holographic measurement method using non-linear interferometers in combination with quantum imaging to enable new ways of measuring and motivating continuing research.

Keywords: digital holography, quantum imaging, quantum holography, quantum metrology

Procedia PDF Downloads 92

Authors: P. C. Chiu, Jehnming Lin

Abstract:

In this study, a 50-W CO₂ laser was used for the clad of 304L powders on the stainless steel substrate with a temperature sensor and image monitoring system. The laser power and cladding speed and focal position were modified to achieve the requirement of the workpiece flatness and mechanical properties. The numerical calculation is based on ANSYS to analyze the temperature change of the moving heat source at different surface positions when coating the workpiece, and the effect of the process parameters on the bath size was discussed. The temperature of stainless steel powder in the nozzle outlet reacting with the laser was simulated as a process parameter. In the experiment, the difference of the thermal conductivity in three-dimensional space is compared with single-layer cladding and multi-layer cladding. The heat dissipation pattern of the single-layer cladding is the steel plate and the multi-layer coating is the workpiece itself. The relationship between the multi-clad temperature and the profile was analyzed by the temperature signal from an IR pyrometer.

Keywords: laser cladding, temperature, profile, microstructure

Procedia PDF Downloads 223

Authors: Khaing Yadana Swe, Lillie Dewan

Abstract:

At present, the cascade PID control is widely used to control the super-heating temperature (main steam temperature). As the main steam temperature has the characteristics of large inertia, large time-delay, and time varying, etc., conventional PID control strategy can not achieve good control performance. In order to overcome the bad performance and deficiencies of main steam temperature control system, Model Free Adaptive Control (MFAC) P cascade control system is proposed in this paper. By substituting MFAC in PID of the main control loop of the main steam temperature control, it can overcome time delays, non-linearity, disturbance and time variation.

Keywords: model-free adaptive control, cascade control, adaptive control, PID

Procedia PDF Downloads 603

Authors: Nour Ismail, Sahar El Kardawy, Bassant Badwy

Abstract:

Radiofrequency (RF) lesioning of nerves have been commonly used to alleviate chronic pain, where RF current preventing transmission of pain signals through the nerve by heating the nerve causing the pain. There are some factors that affect the temperature distribution and the nerve lesion size, one of these factors is the inhomogeneities in the tissue medium. Our objective is to calculate the temperature distribution and the nerve lesion size in a nonhomogenous medium surrounding the RF electrode. A two 3-D finite element models are used to compare the temperature distribution in the homogeneous and nonhomogeneous medium. Also the effect of temperature-dependent electric conductivity on maximum temperature and lesion size is observed. Results show that the presence of a nonhomogeneous medium around the RF electrode has a valuable effect on the temperature distribution and lesion size. The dependency of electric conductivity on tissue temperature increased lesion size.

Keywords: finite element model, nerve lesioning, pain relief, radiofrequency lesion

Procedia PDF Downloads 418

Authors: Aran Hakki, Corina Cirstea, Julian Rathke

Abstract:

Formal methods are yet to be utilized in mainstream software development due to issues in scaling and implementation costs. This work is about developing a scalable, simplified, pragmatic, formal software development method with strong correctness properties and guarantees that are easy prove. The method aims to be easy to learn, use and apply without extensive training and experience in formal methods. Petra is proposed as an object-oriented, process calculus with composable data types and sequential/parallel processes. Petra has a simple denotational semantics, which includes a definition of Correct by Construction. The aim is for Petra is to be standard which can be implemented to execute on various mainstream programming platforms such as Java. Work towards an implementation of Petra as a Java EDSL (Embedded Domain Specific Language) is also discussed.

Keywords: compositionality, formal method, software verification, Java, denotational semantics, rewriting systems, rewriting semantics, parallel processing, object-oriented programming, OOP, programming language, correct by construction

Procedia PDF Downloads 146

Authors: R. R. Hordijk, O. J. G. Somsen

Abstract:

Traditionally, radar systems are the eyes and ears of a ship. However, these systems have their drawbacks and nowadays they are extended with systems that work with video and photos. Processing of data from these videos and photos is however very labour-intensive and efforts are being made to automate this process. A major problem when trying to recognize objects in water is that the 'background' is not homogeneous so that traditional image recognition technics do not work well. Main question is, can a method be developed which automate this recognition process. There are a large number of parameters involved to facilitate the identification of objects on such images. One is varying the resolution. In this research, the resolution of some images has been reduced to the extreme value of 1% of the original to reduce clutter before the polynomial fit (pre-processing). It turned out that the searched object was clearly recognizable as its grey value was well above the average. Another approach is to take two images of the same scene shortly after each other and compare the result. Because the water (waves) fluctuates much faster than an object floating in the water one can expect that the object is the only stable item in the two images. Both these methods (pre-processing and comparing two images of the same scene) delivered useful results. Though it is too early to conclude that with these methods all image problems can be solved they are certainly worthwhile for further research.

Keywords: image processing, image recognition, polynomial fit, water

Procedia PDF Downloads 534

Authors: Alok Tiwari, Ming Show Wong

Abstract:

Lanthanum (La) doped Barium Tin Oxide (BaSnO₃) film is an excellent alternative for expensive Transparent Conducting Oxides (TCOs) film such as Indium Tin Oxide (ITO). However single crystal film of La-doped BaSnO₃ has been reported with a good amount of conductivity and transparency but in order to improve its reachability, it is important to grow doped BaSO₃ films on an inexpensive substrate. La-doped BaSnO₃ thin films have been grown on quartz substrate by Radio Frequency (RF) sputtering at a different substrate temperature (from 200⁰C to 750⁰C). The thickness of the film measured was varying from 360nm to 380nm with varying substrate temperature. Structure, optical and electrical properties have been studied. The carrier concentration is seen to be decreasing as we enhance the substrate temperature while mobility found to be increased up to 9.3 cm²/V-S. At low substrate temperature resistivity found was lower (< 3x10⁻³ ohm-cm) while sudden enhancement was seen as substrate temperature raises and the trend continues further with increasing substrate temperature. Optical transmittance is getting better with higher substrate temperature from 70% at 200⁰C to > 80% at 750⁰C. Overall, understanding of changes in microstructure, electrical and optical properties of a thin film by varying substrate temperature has been reported successfully.

Keywords: conductivity, perovskite, mobility, TCO film

Procedia PDF Downloads 162

Authors: Kanpop Saion, Sakreya Chitwong

Abstract:

Control of superheated steam temperature in the steam generation is essential for the efficiency safety and increment age of the boiler. Conventional cascade PID temperature control in the super heater is known to be efficient to compensate disturbance. However, the complex of thermal power plant due to nonlinearity, load disturbance and time delay of steam of superheater system is bigger than other control systems. The cascade loop with feed forward steam temperature control with energy balance compensator using thermodynamic model has been used for the compensation the complex structure of superheater. In order to improve the performance of steam temperature control. The experiment is implemented for 100% load steady and load changing state. The cascade with feed forward with energy balance steam temperature control has stabilized the system as well.

Keywords: cascade with feed forward, boiler, superheated steam temperature control, enthalpy balance

Procedia PDF Downloads 307

Authors: Galit Harel

Abstract:

Deborah was referred for psychoanalytic psychotherapy following a suicide attempt and depression. She began a fascinating journey spanning more than 10 years. During therapy, many questions arose concerning the suicidal episode, which she could not register consciously. The author tried to understand the reasons for her depression and the attempted suicide through the unconscious process in the therapeutic relationship and through the music and poetry that she brought to sessions. In this paper, the author describes the process of listening for the signifiers of semiotic and symbolic language, both metaphoric and metonymic, as revealed in poetry and music according to the theories of Kristeva and Lacan. The poetry enabled the patient to retrieve childhood memories, experience the movement from unconscious to conscious, and mourn through the experience of transference and countertransference in the therapeutic relationship. Also illustrated is the transition from singing the music to more symbolic language, turning the patient’s sensory experience into language, and connecting her personal experience with the culture of her past. The patient’s mourning and the lost love objects are discussed through the prism of classical and object relations theories.

Keywords: depression, lost love object, psychoanalytic psychotherapy, suicide attempt, symbolization of desire

Procedia PDF Downloads 92

Authors: Aysun Sezer

Abstract:

Magnetic Resonance Imaging (MRI) is one of the advanced diagnostic tools for evaluating shoulder pathologies. Proton Density (PD)-weighted MRI sequences prove highly effective in detecting edema. However, they are deficient in the anatomical identification of bones due to a trauma-induced decrease in signal-to-noise ratio and blur in the traumatized cortices. Computer-based diagnostic systems require precise segmentation, identification, and localization of anatomical regions in medical imagery. Deep learning-based object detection algorithms exhibit remarkable proficiency in real-time object identification and localization. In this study, the YOLOv8 model was employed to detect humeral head and scapular regions in 665 axial PD-weighted MR images. The YOLOv8 configuration achieved an overall success rate of 99.60% and 89.90% for detecting the humeral head and scapula, respectively, with an intersection over union (IoU) of 0.5. Our findings indicate a significant promise of employing YOLOv8-based detection for the humerus and scapula regions, particularly in the context of PD-weighted images affected by both noise and intensity inhomogeneity.

Keywords: YOLOv8, object detection, humerus, scapula, IRM

Procedia PDF Downloads 66

Authors: Wheyming Song, Ssu-Ping Lin

Abstract:

The primary advantage of package-on-package (PoP) packaging is that since it has less volume, it weighs less. But this is also related to its principal drawback, which is warpage. This research investigates how PoP package warpage patterns are affected by assembling process parameters, including substrate temperature, injection speed, injection temperature, and compound forces. We also investigate how warpage patterns are affected by the location of the silicon chip. The methodologies used in this research are design of experiment and warpage simulation via ANSYS. We propose a regression model to predict the warpage value as a function of substrate temperature, injection speed, injection temperature, and compound forces. Our results show that interaction effects exist between substrate temperature and compound forces and between injection speed and injection temperature. Therefore, determining the optimal values for substrate temperature, compound forces, injection speed, and injection temperature cannot be done individually. Also, our results show that the warpage patterns based on the location of silicon chips can be classified into 11 groups, with the largest warpage occurring at the left-most and right-most sides.

Keywords: package-on-package, warpage, design of experiment, simulation

Procedia PDF Downloads 306

Authors: Juraj Belan, Lenka Hurtalová, Eva Tillová, Alan Vaško, Milan Uhríčik

Abstract:

High-pressure turbine (HPT) blades of DV–2 jet engines are made from Ni–base superalloy, a former Soviet Union production, specified as ŽS6K. For improving its high-temperature resistance are blades covered with Al–Si diffusion layer. A regular operation temperature of HPT blades vary from 705°C to 750°C depending on jet engine regime. An over-crossing working temperature range causes degradation of protective alitize layer as well as base material–gamma matrix and gamma prime particles what decreases turbine blade lifetime. High-temperature degradation has mainly diffusion mechanism and causes coarsening of strengthening phase gamma prime and protective alitize layer thickness growing. All changes have a significant influence on high-temperature properties of base material.

Keywords: alitize layer, gamma prime phase, high-temperature degradation, Ni–base superalloy ŽS6K, turbine blade

Procedia PDF Downloads 534

Authors: A. D. Parekh

Abstract:

The present work describes relative contributions of operating parameters on required heat transfer area of three heat exchangers viz. evaporator, condenser and cascade condenser of two stage R404A-R508B cascade refrigeration system using Taguchi method. The operating parameters considered in present study includes (1) condensing temperature of high temperature cycle and low temperature cycle (2) evaporating temperature of low temperature cycle (3) degree of superheating in low temperature cycle (4) refrigerating effect. Heat transfer areas of three heat exchangers are studied with variation of above operating parameters and also optimum working levels of each operating parameter has been obtained for minimum heat transfer area of each heat exchanger using Taguchi method. The analysis using Taguchi method reveals that evaporating temperature of low temperature cycle and refrigerating effect contribute relatively largely on the area of evaporator. Condenser area is mainly influenced by both condensing temperature of high temperature cycle and refrigerating effect. Area of cascade condenser is mainly affected by refrigerating effect and the effects of other operating parameters are minimal.

Keywords: cascade refrigeration system, Taguchi method, heat transfer area, ANOVA, optimal solution

Procedia PDF Downloads 338