• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.7 no.6
• /
• pp.1257-1263
• /
• 2006

Many automatic medical devices have been invented and developed mostly for the western medicine, not for the oriental medicine. Facial ocular inspection is one of the four diagnosis methods of oriental medicine, which makes a diagnosis of disease by observing the shape and color of patient's vital organs. In facial ocular inspection, the regions of five sensory organs and Myungdang are specially important. In this paper, we propose a novel method to extract the five sensory organ and Myungdang from a facial image for facial ocular inspection. Finally, we show the usefulness of the proposed method by experiments.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2018.10a
• /
• pp.669-672
• /
• 2018

캡술내시경은 식도부터 항문까지 소화기관 전체를 한번에 촬영할 수 있는 의료기기로, 한번의 검사에 평균 8~12 시간 정도의 길이와 5만장 이상의 프레임으로 구성된 영상을 생성한다. 그러나 생성된 영상에 대한 분석은 수작업으로 진행되고 있어, 캡술내시경 영상 분석 자동화에 대한 기술적인 수요가 높아지고 있는 추세이다. 이를 위해, 캡슐내시경 영상 분석에 대한 많은 연구가 진행되고 있는데, 본 연구에서는 그 중에서도 폴립 영상에 대한 검출 자동화 연구에 주목하였다. 폴립이란 위장관 내에서 발견될 수 있는 융기성 병변으로, 많은 연구에서 기계학습 혹은 딥러닝 방식을 적용하여 이를 검출하기 위한 연구를 수행하였다. 그러나 캡슐내시경 영상의 특성상, 병번이 있는 영상이 굉장히 적기 때문에 일반적인 딥러닝 방식의 적용으로 좋은 성능을 내기 어렵다. 따라서 본 논문에서는 폴립 검출 컨볼루션 신경망 설계를 위한 멀티 스케일에 대한 원형 검출기법을 결합하여 폴립이 의심되는 영역을 추출해주는 특징 추출 기법으로, 수집한 데이터 150장에 대한 실험한 결과 약 82%의 성능을 보였다.

• Journal of the Korea Society of Computer and Information
• /
• v.7 no.1
• /
• pp.174-183
• /
• 2002

In this paper a control chart pattern recognition methodology based on the back propagation algorithm and Multi layer perceptron, a neural computing theory, is presented. This pattern recognition algorithm, suitable for real time statistical process control. evaluates observations routinely collected for control charting to determine whether a Pattern, such as a cycle. trend or shift, which is exists in the data. This approach is promising because of its flexible training and high speed computation with low-end workstation. The artificial neural network methodology is developed utilizing the delta learning rule, sigmoid activation function with two hidden layers. In a computer integrated manufacturing environment, the operator need not routinely monitor the control chart but, rather, can be alerted to patterns by a computer signal generated by the proposed system.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.1
• /
• pp.115-129
• /
• 2003

This paper presents a semi-automated formal verification method based on the famous SVO logic, and discusses its experimental results. We discuss several problems on automating the SVO logic and design its derivative, ASVO logic for automation. Also the proposed method is implemented by the Isabelle/Isar system. As a result, we verified the well-known weakness of the NSSK protocol that is vulnerable to the Denning-Sacco attack, using our Isabelle/ASVO system. Finally, we refined the protocol by following the logical consequence of the ASVO verification.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.16 no.4
• /
• pp.125-131
• /
• 2016

Tongue image segmentation is critical for automation of the tongue diagnosis system. However, most image segmentation methods for tongue diagnosis systems in oriental medicine have been proposed as user-based manual types or semi-automatic types. This study proposed a new method for tongue image segmentation, which is the most important image processing stage for complete automation of the tongue diagnosis system in oriental medicine. The proposed method improved the conventional snake algorithm, by making improvement on the internal energy function so that, as the points move outward reversely, the snake energy function is minimized, by using the image characteristics of tongue images. To calculate external energy, hierarchical spatial filtering is applied to ensure resistance against noise. Also, The proposed method was tested by using sample images and actual images, and showed more robustness against the background noise than the conventional snake algorithm. And, when one selected point was moved by the improved snake algorithm, energy values at the starting, middle, and end points were analyzed, and showed robustness that does not fall in the local minima.

• The Journal of the Acoustical Society of Korea
• /
• v.36 no.2
• /
• pp.136-143
• /
• 2017

In this paper, we propose a method for restoring damaged audio files using deep neural network. It is different from the conventional file carving based restoration. The purpose of our method is to infer lost information which can not be restored by existing techniques such as the file carving. We have devised methods that can automate the tasks which are essential for the restoring but are inappropriate for humans. As a result of this study it has been shown that it is possible to restore the damaged files, which the conventional file carving method could not, by using tasks such as speech or nonspeech decision and speech encoder recognizer using a deep neural network.

• Journal of the Korea Society for Simulation
• /
• v.15 no.3
• /
• pp.103-114
• /
• 2006

Now distribution centers include an ASRS (Automated Storage and Retrieving System) and automated transfer systems such as conveyors and AGV (Automated Guided Vehicle). These automated distribution centers have lots of parameters to be considered fur operating performance. The general basic parameters in the distribution centers are specifications of storage equipment, system operating rules, configuration of storage area and unit load features. In this paper, an approach using simulation and metamodeling with response Surface method to optimize the design parameters of an automated distribution center model is presented. The simulation based metamodel will constitute an efficient approximation of the system function, and the approximate function will be used to design rapid optimal parameters of the distribution center model. This paper provides a comprehensive framework for economical material flow system design using the simulation and metamodeling.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.1
• /
• pp.101-106
• /
• 2010

Due to significant advances in Internet technology, there have been many e-learning courses offered by universities and academic institutes nowadays through the Internet. And these courses have benefited many students who might be constrained by distance and time. Nevertheless, most web-based courses are lecturing courses that cannot fulfill the needs for engineering technology education. In this paper, we propose the design and implementation of web-based programmable logic controller(PLC) laboratory to support learning and training for industrial automation. The proposed web-based PLC laboratory system consists of virtual labs and remote labs. This web-based PLC laboratory can be accessed by registered students to practice PLC experiments at their own home, enhancing the quality of education without much increasing in the overall cost. With the help of web cameras, the students can even have experience the live PLC experiments through the Internet.

• Journal of Software Engineering Society
• /
• v.29 no.2
• /
• pp.13-20
• /
• 2020

The exploratory test was introduced as a desirable test method due to its fast development cycle, but it is not actively adopted because documentation and analysis of the test range are required for application. On the other hand, keyword-based testing has been introduced as a way to save resources and facilitate maintenance, but it is difficult to plan tests in advance due to the large number of variables such as data, settings, interactions, sequence and timing. However, in keyword-based testing, you can create a test case based on keywords by presenting clear criteria and methods for creating keywords and applying the exploration testing process. In this paper, we propose a model that automates exploratory tests based on keywords. To verify the effectiveness, we compared the general keyword-based test(KBT) and keyword-based exploratory test(KBET), and compared with the exploratory normal test case(ETC) and keyword-based exploratory test(KBET).

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.2
• /
• pp.385-393
• /
• 2016

This paper presents the new position estimation method which contains the optical displacement sensor and the dead reckoning based position estimation algorithm for automation of hull cleaning robot. To evaluate feasibility of the proposed position estimation method on the hull cleaning robot, it was applied on the small scale robot model which has an identical drive method with the hull cleaning robot and then a set of the position estimation experiments were performed. The experimental results of the position estimation demonstrate that the estimated results with the optical displacement sensors is more accurate than used rotary encoder method. In addition, it continuously calculated the robot position quite close to the real robot driving path. In a follow-up study, the proposed position estimation method will be complemented and exploited on the actual hull cleaning robot by adding additional sensor modules that correct measurement errors.