• Journal of Navigation and Port Research
• /
• v.34 no.10
• /
• pp.727-733
• /
• 2010

An estimation algorithm of collision risk among multiple ships has been developed in order to reduce human error and prevent collision accidents. The algorithm is designed to calculate the collision risk among ships based on Fuzzy theory by using AIS data as traffic information. In this paper, to validate the algorithm, the AIS data of actual collision accident, which occurred between a product carrier and a cargo carrier in Busan harbor in 2009 are collected. The replay simulation is carried out on the actual AIS data and the collision risk is calculated in real time. In this paper, the features of the estimation algorithm of collision risk and the results of replay simulation based on AIS data of actual collision accident are discussed.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.4
• /
• pp.835-845
• /
• 2019

File Carving is a technique for attempting to recover a file without metadata, such as a formated storage media or a damaged file system, and generally looks for a specific header / footer signature and data structure of the file. However, file carving is faced with the problem of recovering fragmented files for a long time, and it is very important to propose a solution for digital forensics because important files are relatively fragmented. To overcome these limitations, various carving techniques and tools are continuously being developed, and data sets from various researches and institutions are provided for functional verification. However, existing data sets are ineffective in verifying tools because of their limited environmental conditions. Therefore, this paper refers to the importance of fragmented file carving and develops 16 images for carving tool verification based on scenarios. The developed images' carving rate and accuracy of each media is shown through Foremost which is well known as a commercial carving tool.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.31 no.1
• /
• pp.51-59
• /
• 2021

The deep learning model can produce false prediction results due to inputs that deviate from training data through variation, which leads to fatal accidents in areas such as autonomous driving and security. To ensure reliability of the model, the model's coping ability for exceptional situations should be verified through various mutations. However, previous studies were carried out on limited scope of models and used several mutation types without separating them. Based on the CIFAR10 data set, widely used dataset for deep learning verification, this study carries out reliability verification for total of six models including various commercialized models and their additional versions. To this end, six types of input mutation algorithms that may occur in real life are applied individually with their various parameters to the dataset to compare the accuracy of the models for each of them to rigorously identify vulnerabilities of the models associated with a particular mutation type.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.436-438
• /
• 2004

MDA 기반 개발을 지원하는 도구를 사용하여 모델 변환을 수행하거나 또는 수동으로 모델을 변환하는 경우 두 모델간에 변환의 일관성 검증은 반드시 필요하다. 본 논문에서는 현재 개발 지원 도구에서 자동으로 수행되고 있는 MDA 핵심 개념인 모델 변환 가운데 한 가지인 PIM에서 PSM으로의 변환이 일관성을 유지하면서 정확하게 수행되었는가를 검증할 수 있는 기준으로 구성 요소간의 추적성과 데이터 타입변환의 정확성을 도출하였다. 이에 따라 모델간의 일관성을 검증하기 위한 규칙을 추적성과 정확성으로 구분하여 제시한다.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.21 no.1
• /
• pp.83-95
• /
• 2018

With recent technological advances in the shipbuilding industry, vessels have been improved in size and performance. As a result, an accident such as grounding, caused by a single ship-to-ship collision, could lead to a large-scale maritime disaster. Considering the seriousness of the situation, the international community has been consistently updating the standards for Electronic Navigational Chart(ENC) to improve the maritime safety. S-57, the existing ENC standard governed by the International Hydrographic Organization(IHO), includes standards for generating conventional binary-type ENC data sets. The S-57 standard, however, has not been updated since the release of Version 3.1 in December 2000. Since then, the standard has failed to reflect technological development regarding maritime spacial information, which has been consistently improving. In an effort to address this concern, the IHO designated S-100, i.e., the next-generation ENC production standard. S-100 differs from S-57 in data exchange type. Contrary to the conventional ENC standards, which use binary-type data, S-10X, based on the next-generation ENC standards, uses ENC data composed of Feature Catalogue, Portrayal Catalogue, and GML. Considering this fact, it is necessary to update S-58, the ENC validation check standard, or designate a new standard for ENC validation checks. This study is developed own software to implement validation checks for new types of data, and identified improvement points based on the test results.

• Proceedings of the IEEK Conference
• /
• 2003.07b
• /
• pp.835-838
• /
• 2003

본 논문에서는 현재 MPEG, JPEG 압축 알고리즘에서 쓰이는 DCT(Discrete Cosine Transform)기반의 손실 영상 압축에 사용되는 양자화(Quantization) 처리에 필요한 나눗셈 연산기를 제안한다. 영상 데이터 처리를 위한 양자화기(Quantizer)는 DCT로부터 매 사이클마다 영상 데이터를 입력 받아 양자화 처리를 해야하며 보다 나은 영상 데이터를 위해 최종 나눗셈 결과 즉, 몫을 소수 첫째자리에서 반올림(Rounding)해야 한다. 이를 위해 반올림 동작이 추가된 Pipelined Nonrestoring Array Divider를 설계하였다. 제안된 방법의 타당성을 검증하기 위해 DCT로부터 나온 영상 데이터를 제안된 구조의 양자화기로 양자화하여 일반 양자화기에서 나온 압축된 데이터와 비교해 보았다. 또한 합성기(Synthesis)를 통하여 실제 하드웨어 크기를 분석하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.69-72
• /
• 2004

기업간의 경쟁이 심화되고 정보의 중요성에 대한 인식이 확대되어 가는 상황에서 다량의 데이터로부터 가치 있는 데이터를 추출하는 CRM 데이터 마이닝은 중대한 관심사가 아닐 수 없다. 본 연구는 데이터마이닝의 여러 활용 분야 중 고객세분화를 위해 최근 많이 사용되고 있는 데이터마이닝 기법인 로지스틱 회귀분석, 의사결정나무, 신경망 알고리즘 기법들을 비교하며, 이를 실제 아파트 고객의 데이터를 이용하여 검증하고자 한다. 따라서, 아파트 고객 세분화를 위한 데이터마이닝 수행시 기법 선택의 기준과 비교 평가의 기준을 제시하는 데 연구목적 있다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2023.01a
• /
• pp.205-208
• /
• 2023

양식장에서 최적의 생육환경을 유지할 수 있는 제어시스템 개발을 위해 수질에 영향을 미치는 요인들의 상관관계 분석을 위한 머신러닝 모델을 개발하고자 한다. 데이터간의 상관관계 분석 및 예측모델 생성을 위해 알고리즘의 결정계수와 MSE, RMSE 등의 수치를 통하여 데이터의 적합성을 검증하고자 한다.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.39 no.3
• /
• pp.291-301
• /
• 2015

Product regulations specify requirements or constraints for products that manufacturers must comply with across the entire product lifecycle, from design and manufacture, through operation and maintenance, to recycling and disposal. This paper suggests a system framework and its essential components for the verification of a pressure vessel design using the industrial standards of Korea. The authors also present methods to generate design template data from legacy design systems and to construct a regulation knowledge base. The proposed framework is demonstrated through experiments involving pressure vessel design verification using a prototype system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.511-513
• /
• 2004

위성의 부분체 또는 탑재컴퓨터 및 탑재소프트웨어에 대한 검증시험을 수행하기 위해서는 위성개발에 사용하며 그 기능이 검증된 상용프로그램을 사용하는 것이 일반적이다. 그러나 위성 영령의 전송 및 텔레메트리 데이터의 전송과 분석을 위한 프로그램은 위성에 사용되는 종류 및 포맷에 따라 다양한 형태로 수정되어야 하기 때문에 자체 제작한 프로그램을 사용하게 된다. 99년에 발사되어 성공적으로 임무를 수행하고 있는 다목적실용위성 1호 및 현재 개발이 진행 중인 다목적실용위성 2호의 개발과정에서는 LEX와 YACC이라는 구문분석기를 이용한 VTSP(Verification Test Script Parser) 프로그램이 탑재소프트웨어의 검증시험에 사용되었다. VT5P는 실시간 데이터 전송 및 분석이 가능하지만 UNIX 환경에서만 실행되므로 윈도우 환경에서 작업하던 일반 사용자들에게는 익숙하지 않은 시험환경을 제공하여 텍스트 기반의 작업이 필요하므로 시험 수행에 여러 어려움들이 발생한다. 이러한 단점들을 보완하기 위하여 윈도우 기반의 검증시험 프로그램인 SATS(Spacecraft Automatic Test Script)를 개발하였다. 본 논문에서는 대부분의 사용자들에게 익숙한 윈도우 환경을 제공하며 이더넷을 통하여 장소에 상관없이 다중의 개발자가 시험을 수행할 수 있는 SATS의 개발현황과 수행환경에 대하며 소개한다.