• Journal for History of Mathematics
• /
• v.11 no.1
• /
• pp.47-51
• /
• 1998

We consider how the speculation of infinity has been established through Cantor's idea. Also this paper deals with a problem of infinity in view of the application of our real life, as well as the theoretical meaning.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.8 no.3
• /
• pp.1011-1025
• /
• 2014

A demosaicing method for a Bayer-like W-RGB color filter array (CFA) is proposed. When reproducing images from a W-RGB CFA, conventional color separation methods for W-RGB CFA are likely to cause blurring near the edges due to rough averaging using a color ratio of neighboring pixels. Moreover, these methods cannot be applied to real-life digital cameras with W-RGB CFA because the methods were proposed under an ideal situation, W=R+G+B, not a real-life situation, $W{\neq}R+G+B$. To improve edge performance, we propose a method of constant color difference assumption with inversed weight, which uses information from all edge directions for interpolating all missing color channels. The proposed method calculates the correlation between W, R, G, and B to enable its application to real-life digital cameras with W-RGB CFA. Simulations were performed to evaluate the proposed method using images captured from a real-life digital camera with W-RGB CFA. Simulation results shows that we can demosaic by using the proposed algorithm compared with the conventional one in about +34.79% SNR, +11.43% PSNR, +1.54% SSIM and 14.02% S-CIELAB error. Thus, the proposed method demosaics better than the conventional methods.

• Communications for Statistical Applications and Methods
• /
• v.27 no.1
• /
• pp.97-108
• /
• 2020

This paper compares several methods for estimating parameters of normal inverse Gaussian distribution. Ordinary maximum likelihood estimation and the method of moment estimation often do not work properly due to restrictions on parameters. We examine the performance of adjusted estimation methods along with the ordinary maximum likelihood estimation and the method of moment estimation by simulation and real data application. We also see the effect of the initial value in estimation methods. The simulation results show that the ordinary maximum likelihood estimator is significantly affected by the initial value; in addition, the adjusted estimators have smaller root mean square error than ordinary estimators as well as less impact on the initial value. With real datasets, we obtain similar results to what we see in simulation studies. Based on the results of simulation and real data application, we suggest using adjusted maximum likelihood estimates with adjusted method of moment estimates as initial values to estimate the parameters of normal inverse Gaussian distribution.

• Journal of information and communication convergence engineering
• /
• v.19 no.1
• /
• pp.16-21
• /
• 2021

In this paper, to prevent accidents of school vehicles used by students, which have emerged as a continuous social problem, a boarding and leaving notification system using Bluetooth beacons is proposed. The platform structure uses Bluetooth, a smartphone, and an application, and provides real-time message reception between parents and teachers. It is not simply a system with Bluetooth capability alone, but also an IcT technology that is closely related to real life using two-way communication. The purpose is to provide user-friendly ICT technology as an integrated system for more practical effects. Two-way exchange of information between parents and teachers using cloud servers is made possible. By using this Bluetooth beacon notification system, safety accidents in student vehicles are reduced, which brings confidence from traffic accidents to schoolchildren of parents and teachers. Therefore, it is expected that parents and teachers are expected to improve their mental stability and quality of life from traffic accidents.

• Journal of Microbiology and Biotechnology
• /
• v.29 no.10
• /
• pp.1543-1552
• /
• 2019

Salmonella is a common zoonotic and foodborne pathogen that causes high morbidity and mortality in developing countries. In this study, we established and validated a polymerase spiral reaction (PSR) assay which targeted the conserved invasion gene (invA) of Salmonella by SYBR Green I indicator methods. Subsequently, assays for determination of the optimal conditions for optimal specificity and sensitivity of PSR were performed. We performed comprehensive evaluations using loop-mediated isothermal amplification (LAMP) and real-time PCR. A total number of 532 samples of daily food were analyzed by PSR. Twenty-seven bacterial strains were tested in the specificity assay, from which positive results were obtained only for 14-Salmonella strains. However, none of the 13 non-Salmonella strains was amplified. Similarly with LAMP and real-time PCR, the detection limit of the PSR assay was 50 CFU/ml. The PSR method was also successfully applied to evaluate the contamination with Salmonella in 532 samples of daily food, corroborating traditional culture method data. The novel PSR method is simple, sensitive, and rapid and provides new insights into the prevention and detection of foodborne diseases.

• Corrosion Science and Technology
• /
• v.3 no.2
• /
• pp.72-80
• /
• 2004

Recently, the demand on the practical application of life-cycle cost effective design and rehabilitation of bridges is rapidly growing in civil engineering practice. However, in spite of impressive progress in the researches on the Life-Cycle Cost (LCC), the most researches have only focused on the theoretical point but did not fully incorporate the critical issues for the practical implementation. Thus, this paper is intended to suggest a systemic integrated approach to the practical application of various LCC methodologies for the design and rehabilitation of bridges, For that purpose, hierarchical definitions of LCC models are presented to categorize the approach of LCC assessment applicable for the practical implementation. And then, an integrated LCC system model is introduced with an emphasis on data uncertainty assessment and user-friendly knowledge-based database for its successful implementation. Finally, in order to demonstrate the LCC effectiveness for design and rehabilitation of real bridge structures, illustrative examples are discussed.

• Journal of Korea Multimedia Society
• /
• v.17 no.5
• /
• pp.640-653
• /
• 2014

Recently medical consumers pursue high leveled quality of life through active promotion, prevention, management activity of health as the importance of health during home life is emerged to meet the aging society and chronic diseases. In addition, people are directed to the m-Health for managing yourself their health by using smartphone and various personal health devices, if necessary transmits health data to the physician himself. In the previous studies, m-Health Application were developed and applied in the real clinical environment by adopting the medical information standards was rarely conducted. Therefore, in this study, the m-Health application platform was developed. Developed application was communicate with IEEE 11073 standard protocol using the Bluetooth Health Device Profile in personal health device via smart phone to process blood pressure information, and it converted to HL7 V2.6 ORU_R01 message for send to remote medical server. In addition, we tested the interoperability and safety of the developed application for 23 inpatient and 17 outpatient at D University Hospital. As a result, the blood pressure information has been transmitted without error.

• Journal of Korean Society of Rural Planning
• /
• v.19 no.3
• /
• pp.1-12
• /
• 2013

Climate change has increased the number of floods and inundation on farmland. Recently various mobile applications through inundation mapping, flood forecasts and evacuation routes have been developed for the prevention and reduction of flood damages. However, most of current prevention systems for farmland flooding are still web-based systems relying on the field survey which needs a lot of human and time resources although mobile devices has been rapidly improved and widely used. The purpose of this study is to design a mobile application for preventing and reducing farmland flood and inundation damages and collecting damage information in real time. We put advanced mobile device functions such as GPS, network communications, cameras into our system design. This system implement 2way communication and intuitive application that will increase information efficiency and decrease flood damage. Our design has been tested through previous flooding data of Jinju city in 2010.

• Korean Journal of Construction Engineering and Management
• /
• v.16 no.4
• /
• pp.70-79
• /
• 2015

With the rise of the interest in a renewable system, the importance of the Life Cycle Cost Analysis(LCCA), an economic evaluation tool, has been increasing. However, there is an inevitable gap between a real cost and an estimation from LCCA because of the uncertainty of the external environment in real world. As the input variables in an analysis, such as a real discount rate and an energy cost, ares subject to change as time goes by, strategic decision on the current operating system is made depending on the real cost. Current economic evaluation approaches have treated only the fluctuation of input variables without consideration of the flexibility in operation, which has consequently led to the impairment on the reliability of LCCA. Therefore, new approach needs to be proposed to consider both the uncertainty of input variables and operational flexibility. To address this issue, the application of the Real Option to LCCA is presented in this study. Through a case analysis of LCCA of a solar heating system, the limits and current status of LCCA are identified. As a result, quantitative presentation of strategic decisions has been added in the new approach to implement the traditional approach.

• Journal of Korean Institute of Industrial Engineers
• /
• v.41 no.1
• /
• pp.86-96
• /
• 2015

A lot of research works in the BPM area focuses on the development of new techniques in process mining. Even though the application of process mining to analyze real life process logs is important, only few case studies are available. Thus, in this paper, we conduct a case study on how to analyze a real life process log which comes from a Korean company in the heavy industry area. We analyze a customer service process that consists of a series of activities to enhance the level of customer satisfaction. In this case study, five research questions are derived based on collected questions from the company. Then we focus on bottleneck analysis, basic performance analysis and pattern analysis that are selected in order to answer the research questions. The analysis shows some abnormal behaviors in the process and possible ways to improve current processes are suggested.