• Journal of KIISE:Computer Systems and Theory
• /
• v.35 no.7
• /
• pp.340-353
• /
• 2008

A computational color palette extraction model is introduced to describe paint brush objectively and efficiently. In this model, a color palette is defined as a minimum set of colors in which a painting can be displayed within error allowance and extracted by the two step processing of color grouping and major color extraction. The color grouping controls the resolution of colors adaptively and produces a basic color set of given painting images. The final palette is obtained from the basic color set by applying weighted k-means clustering algorithm. The extracted palettes from several famous painters are displayed in a 3-D color space to show the distinctive palette styles using RGB and CIE LAB color models individually. And the two experiments of painter classification and color transform of photographic image has been done to check the performance of the proposed method. The results shows the possibility that the proposed palette model can be a computational color analysis metric to describe the paint brush, and can be a color transform tool for computer graphics.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.12
• /
• pp.2808-2814
• /
• 2012

The most of military systems that developed today are composed with many sub-systems for mission execution. The test of military systems for delivery test of mass product such that part test, PCB test, component test, integration test. Improving productivity is minimize testing item by man and minimize kind of tester, so that decrease product cost by production time for test. PCB tester be developed many kind of test method that systems were developed by many different engineers. This article studies testing check point for testing that how to minimize of kind of tester, how to automatic test for all of function that have inputs and outputs. Development of tester for improving productivity requires classify functional allocation of main system and sub system, sub system require PCB for functional allocation start on preliminary design period for reducing testing item and testing fixture.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.30 no.6
• /
• pp.107-115
• /
• 2002

A parametric study has been conducted to evaluate the effects of finite element modeling methods on the internal loads, sizing and the weight of the multi-spar aircraft wing structures. The wing is idealized into total 18finite element models and subjected to 4typical external load conditions. An automatic sizing algorithm based on MSC/NASTRAN and MSC/PATRAN is developed. The results show that the critical part affection the internal loads and weight of the structure is wing skin. Effect of modeling of the spar and rib on the structural behavior is not manifest. On the contrast to the general expectation, the models using the bending-resistant elements show the heavier weight than ones by the elements without bending stiffness. From this results, designers of multi-spar wing are recommended to construct the finite element model considering the bending stiffness, or to check the characteristics of the structure before modeling.

• Nuclear Engineering and Technology
• /
• v.27 no.3
• /
• pp.385-392
• /
• 1995

A software engineering process has been developed for the design of safety critical software for Wolsong 2/3/4 project to satisfy the requirement of the regulatory body. Among the process, this paper described the detail process of validation testing peformed to ensure that the software with its hardware, developed by the design group, satisfies the requirements of the functional specification prepared by the independent functional group. To perform the test, test facility and test software ore developed and actual safety system computer was connected. Three kinds of test cases, i.e., functional test performance test and self-check test were programmed and run to verify each functional specifications. Test failures ore fedback to the design group to revise the software and test result were analyzed and documented in the report to submit to the regulatory body. The test methodology and procedure were very efficient and satisfactory to perform the systematic and automatic test. The test results were also acceptable and successful to verify the software acts as specified in the program functional specification. This methodology can be applied to the validation of other safety-critical software.

• Fire Science and Engineering
• /
• v.23 no.5
• /
• pp.125-132
• /
• 2009

In this study we could contribute to the development of a precise checking tool with which the reliability of the automatic fire detection systems was enhanced and the safety of the people was ensured. In the same way as the domestic technical standard, the portable smoke sensitivity tester, which was developed in this work, could be used to check the capability of the smoke detectors installed in the field. Its heater inside was warmed up to $400^{\circ}C$ in 40 seconds and the paper as a smoke source was burned to produce smoke for the test. With the Photoelectric smoke detector it was possible to measure and control the smoke concentration in a range from 0%/m to 25%/m. With the adjustment of rpm of the fan, it was possible to keep a constant wind velocity in a range from 20cm/sec to 40cm/sec.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.16 no.2
• /
• pp.30-46
• /
• 2013

Using ArcGIS Model Builder, with emphasis on the importance of ecology and user friendliness, a model for site selecting tool is developed. This tool is developed by establishing standardized method for data selection and analysis with evaluation criteria using GIS. For this task, our first action was to objectively define and establish 18 elements to evaluate the potentiality of the site based on extensive literature reviews. These 18 elements reflect environmental, social/cultural and legal aspects that may influence the decision process to select the desired site. Secondly, using ArcGIS Model Builder, 18 analytical elements were made into thematic mapping which represent systematically organized graphic input to the model with automatic double check system and overlay analysis capability. Thirdly, to validate the effectiveness of the developed model, site location analysis was performed using the actual site, Buk-ku, Pohang.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.21 no.1
• /
• pp.68-79
• /
• 2011

This paper focuses on the opinion information extraction and analysis system through Web mining that is based on statistics collected from Web contents. That is, users' opinion information which is scattered across several websites can be automatically analyzed and extracted. The system provides the opinion information search service that enables users to search for real-time positive and negative opinions and check their statistics. Also, users can do real-time search and monitoring about other opinion information by putting keywords in the system. Proposing technique proved that the actual performance is excellent by comparison experiment with other techniques. Performance evaluation of function extracting positive/negative opinion information, the performance evaluation applying dynamic window technique and tokenizer technique for multilingual information retrieval, and the performance evaluation of technique extracting exact multilingual phonetic translation are carried out. The experiment with typical movie review sentence and Wikipedia experiment data as object as that applying example is carried out and the result is analyzed.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.10
• /
• pp.1912-1918
• /
• 2016

MPTCP(Multipath Transmission Control Protocol) is able to compose many TCP paths when two hosts connect and the data is able to be transported through these paths simultaneously. When a new path is added, the authentication between both hosts is necessary to check the validity of host. So, MPTCP exchanges a key when initiating an connection and makes a token by using this key for authentication. However the original MPTCP is vulnerable to MITM(Man In The Middle) attacks because the key is transported in clear text. Therefore, we applied a ECDH(Elliptic Curve Diffie-Hellman) key exchange algorithm to original MPTCP and replaced the original key to the ECDH public key. And, by generating the secret key after the public key exchanges, only two hosts is able to make the token using the secret key to add new subflow. Also, we designed and implemented a method supporting encryption and decryption of data using a shared secret key to apply confidentiality to original MPTCP.

• KIPS Transactions on Software and Data Engineering
• /
• v.3 no.5
• /
• pp.187-194
• /
• 2014

Prostate cancer is a malignant tumor occurring in the prostate. Recently, the repetition rate is increasing. Image inspection method which we can check the prostate structure the most correctly is MRI(Magnetic Resonance Imaging), but it is hard to apply it to all the patients because of the cost. So, they use mostly TRUS(Transrectal Ultrasound) images acquired from prostate ultrasound inspection and which are cheap and easy to inspect the prostate in the process of treating and diagnosing the prostate cancer. Traditionally, in the hospital the doctors saw the TRUS images by their eyes and manually segmented the boundary between the prostate and nonprostate. But the manually segmenting process not only needed too much time but also had different boundaries according to the doctor. To cope the problems, some automatic segmentations of the prostate have been studied to generate the constant segmentation results and get the belief from patients. In this study, we propose an average shape model to segment the prostate boundary in TRUS prostate image. The method has 3 steps. First, it finds the probe using edge distribution. Next, it finds two straight lines connected with the probe. Finally it puts the shape model to the image using the position of the probe and straight lines.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.1
• /
• pp.123-136
• /
• 2013

The Feature model can not be guaranteed the syntactic accuracy of its model and be difficult the validation using automatic tool for its syntax, because this model is expressed by a graphical and informal structure in itself. Therefore, there is a need to formalize and check for the feature model, to precisely define syntax for construct of the model. This paper presents a Z formal specification and a model checking mechanism of the feature model to guarantee the correctness of the model. It first defines the translation rules between feature model and Z, and then converts the syntax of the feature model into the Z schema specification by applying these rules. Finally, the Z schema specification is checked syntax, type, and domain errors using the Z/Eves validation tool to assure the correctness of its specification, With the use of the proposed method, we may express more precisely the construct of the feature model. Moreover the domain analyst are able to usefully verify the errors of the generated feature model.