• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2018.05a
• /
• pp.164-165
• /
• 2018

최근 해양분야는 e-Navigation 전략 시행을 앞두고 새로운 장비 및 시스템이 개발되고 있으며 이러한 장비 및 시스템은 소프트웨어의 의존도가 높다. 이에 따라 소프트웨어 품질에 관한 연구가 활발하게 진행중이다. 중소조선연구원에서는 이에 대한 대응으로 해양 임베디드 소프트웨어의 시험절차를 개발하고 있다. 해양 임베디드 응용 소프트웨어 시험절차는 시험절차 뿐만 아니라 절차수행에 필요한 산출물 정보를 제공한다. 본 논문에서는 해양 임베디드 응용 소프트웨어 시험절차와 시험절차 적용사례를 소개한다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2018.05a
• /
• pp.183-184
• /
• 2018

IMO(International Maritime Organization)에서는 2019년부터 e-Navigation 전략을 이행하는 것을 목표로 하고 있다. e-Navigation 전략 이행에 따라 해양 분야에서도 소프트웨어의 사용도와 품질의 중요성이 높아질 것으로 예상된다. 중소조선연구원에서는 이에 대한 대응으로 해양 임베디드 소프트웨어 사용성 평가 시험절차를 개발중이다. 본 논문에서는 해양 임베디드 응용 소프트웨어 사용성 평가 시험절차와 산출물 사례에 대해 기술한다.

• Journal of the korean Society of Automotive Engineers
• /
• v.2 no.2
• /
• pp.31-39
• /
• 1980

복지사회적 목표에서의 도시계획 및 교통문제는 환경보전의 측면에서 상충되는 관계가 이루어 지고 있다. 특히 대도시에서 자동차의 배출가스에 의한 대기오염은 매우 심각한 관계에 이르고 있다. 우리나라에서도 앞으로 급증할 것으로 예상되는 자동차 증가율과 상대적으로 협조한 도 로의 점유율 및 이에 따른 자동차 주행 pattern의 불규칙성을 감안하면 외국과 같은 규제기준의 설정이 필요하다. 자동차 배출가스에 의한 대기오염의 심각성은 배출가스중에 들어있는, 일산 화탄소(CO), 탄화수소(HC), 질소산화물(NOx), 알데히드, 연화합물 및 발암성 방향족화합물 등 으로, 이것은 인체에 유해한 영향을 주고 있다. 이와 같은 실정에서 인간의 건강을 공해로부터 보호하기 위한 기준으로 세계보건기구 WHO 는 1972년 "WHO Technical Report Series, No.506" 에서 SO$_{2}$ 분진 일산화탄소 및 photochemical 에 대하여 기준 목표를 설치하였다.목표를 설치하였다.

• Journal of Information Processing Systems
• /
• v.13 no.1
• /
• pp.114-127
• /
• 2017

This paper proposes a color image coding algorithm based on shape-adaptive all phase biorthogonal transform (SA-APBT). This algorithm is implemented through four procedures: color space conversion, image segmentation, shape coding, and texture coding. Region-of-interest (ROI) and background area are obtained by image segmentation. Shape coding uses chain code. The texture coding of the ROI is prior to the background area. SA-APBT and uniform quantization are adopted in texture coding. Compared with the color image coding algorithm based on shape-adaptive discrete cosine transform (SA-DCT) at the same bit rates, experimental results on test color images reveal that the objective quality and subjective effects of the reconstructed images using the proposed algorithm are better, especially at low bit rates. Moreover, the complexity of the proposed algorithm is reduced because of uniform quantization.

• Communications for Statistical Applications and Methods
• /
• v.12 no.2
• /
• pp.483-496
• /
• 2005

We consider the power law process which is assumed to have multiple changepoints. We propose a binary segmentation procedure for locating all existing changepoints. We select one model between the no-changepoints model and the single changepoint model by the Bayes factor. We repeat this procedure until no more changepoints are found. Then we carry out a multiple test based on the Bayes factor through the intrinsic priors of Berger and Pericchi (1996) to investigate the system behaviour of failure times. We demonstrate our procedure with a real dataset and some simulated datasets.

• Communications for Statistical Applications and Methods
• /
• v.6 no.3
• /
• pp.957-966
• /
• 1999

We evaluate the accuacy and precision of maximum likelihood estimation procedures for infectivity of HIV in partner studies. This is achieved by applying the oricedyre typothetical samples generated by computer. One hundred samples were generated with various combinations of parameters. The estimation procedure was found to be quite accurate. in addition it was found that the power of the test for equality of infectivities for two types of contact depends on sample size and length of observation period but not on the number of observations made on each subject. Tests based on a model for the infectivity had higher power than standard methods for comparing proportions.

• Nuclear Engineering and Technology
• /
• v.10 no.1
• /
• pp.1-12
• /
• 1978

Concanavalin-A, lectin extracted from Korean native plant “Banha”(Pine-llia Termata) and their conjugation products with tyrosine and 5-iodo-6-aminouracil were labelled by radioactive iodiae-125, and these labelled compounds were subjected to a hemagglutination test in vitro. The labelling procedures were presented with respect to labelling yield and the trends on the conjugation reaction of lectin with various amino acids were discussed. The preliminary results on the hemagglutination tests against cancer tissues were presented and the potential clinical applications of these labelled compounds were discussed.

• Nuclear Engineering and Technology
• /
• v.39 no.3
• /
• pp.221-230
• /
• 2007

Wavelet theory was applied to detect a singularity in a reactor power signal. Compared to Fourier transform, wavelet transform has localization properties in space and frequency. Therefore, using wavelet transform after de-noising, singular points can easily be found. To test this theory, reactor power signals were generated using the HANARO(a Korean multi-purpose research reactor) dynamics model consisting of 39 nonlinear differential equations contaminated with Gaussian noise. Wavelet transform decomposition and de-noising procedures were applied to these signals. It was possible to detect singular events such as a sudden reactivity change and abrupt intrinsic property changes. Thus, this method could be profitably utilized in a real-time system for automatic event recognition(e.g., reactor condition monitoring).

• The Mathematical Education
• /
• v.53 no.2
• /
• pp.163-184
• /
• 2014

The purpose of this study was to develop the assessment tools using graphing calculators for the assessment of the mathematical process which was emphasized in 2009 reformed mathematics curriculum. In this paper, we presented three sample calculator-based test items for the assessment of students' mathematical process abilities and scoring rubrics for the paper and pencil assessment and assessment based on observation on each item. In order to improve mathematics teachers' understanding of the assessment tools using graphing calculators and to show the procedures of assessment using technological devices, we also drew up assessment guidelines. We hope the results of the study contribute to the promotion of assessment environment encouraging the use of graphing calculators in assessments.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.23 no.3
• /
• pp.270-279
• /
• 2003

Parametric studies have been conducted into the variability of the factors affecting the ultrasonic testing applied to weldments. The influence of ultrasonic equipment, transducer parameters, test technique, job parameters, defect type and characteristics on reliability far defect detection and sizing was investigated by experimentation. The investigation was able to build up substantial bank of information on the reliability of manual ultrasonic method for testing weldments. The major findings of the study separate into two parts, one dealing with correlation between ultrasonic techniques, equipment and defect parameters and inspection performance effectiveness and other with human factors. Defect detection abilities are dependent on the training, experience and proficiency of the UT operators, the equipment used, the effectiveness of procedures and techniques.