• Proceedings of the Korean Society of Computer Information Conference
• /
• 2021.07a
• /
• pp.53-56
• /
• 2021

국내 산업화가 들어선 후 산업화 당시 지었던 낙후된 건물의 증가에 따라 구조물의 손상 조사 및 검사 방법의 수요가 늘어나고 있다. 일반적으로 구조물의 손상은 전문 검사원이 현장에서 직접 측량도구와 시각적인 방식으로 검사한다. 그러나 전문 검사원들이 직접 조사하는 수고에 비해 균열을 검사하는 방식 자체가 단순하고, 일반 사람이 검사하기에는 객관성이 떨어지는 한계가 있어 균열을 자동적으로 검출함으로써 객관성과 편의성을 보장할 기술이 필요하다. 본 연구에서는 이미지 기반으로 다양한 환경에서의 외벽 균열을 검출할 수 있는 딥러닝 모델 개발을 소개한다. 균열 검출을 위해 다양한 외벽 균열 관련 데이터셋을 확보 및 구축하고 각 데이터셋의 검출 정보를 보완할 반자동(semi-auto) 라벨링 작업을 수행하였다. 두 번째로 기존 높은 검출 성능을 보였던 모델들을 선정 및 비교하여 YOLO v5 모델을 최종적으로 선정하였고, 도메인이 각각 다른 데이터셋에 대한 교차 학습을 통해 각 데이터셋의 mAP의 편차가 31%에서 11%로 좁히는 작업을 수행하였다. 이를 통해 실제 상황에서의 균열 영상에서 균열을 검출할 수 있는 측량 시스템을 개발함으로써 실질적인 검사의 도구로 활용될 수 있길 기대한다.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.06a
• /
• pp.166-169
• /
• 2002

In this paper, implements the abstract interpretation of the imperative language While in SMV model-checker and explain how to apply the logic of CTL which example the security of information flow. And show the way to translate the abstract program of While into SMV program and explain the derive process of CTL logic to test the security of the information flow. For the various security test, it is suitable to use the model-checking than to implements the abstract interpretation.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.10
• /
• pp.493-498
• /
• 2017

Capsule endoscopy is specialized for the observation of small intestine that is difficult to access by general endoscopy. The diagnostic procedure through capsule endoscopy consists of three stages: examination of indicant, endoscopy, and diagnosis. At this time, key information needed for diagnosis includes indicant, lesions, and suspected disease information. In this paper, these information are defined as semantic features and the extracting process is defined as semantic-based analysis. It is performed in whole capsule endoscopy. First, several symptoms of patient are checked before capsule endoscopy to get some information on suspected disease. Next, capsule endoscopy is performed by checking the suspected diseases. Finally, diagnosis is concluded by using supporting information. At this time, some association are used to conclude diagnosis. For example, there are the disease association between the symptom and the disease to identify the expected disease, and the anatomical association between the location of the lesion and supporting information. However, existing knowledge models such as MST and CEST only lists the simple term related to endoscopy and cannot consider such semantic associations. Therefore, in this paper, we propose association-based knowledge model for supporting diagnosis of capsule endoscopy. The proposed model is divided into two; a disease model and anatomical model of small intestine, interesting area(organs) of capsule endoscopy. It can effectively support diagnosis by providing key information for capsule endoscopy.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.5
• /
• pp.599-604
• /
• 2018

For missile systems, sustaining high reliability and ensuring economical maintenance are very important. In the Republic of Korea, for most missiles, periodic inspection is mandatory for missiles in the field. Every fixed number of years, they are returned to the ordnance depot to be tested and repaired if faults are found. Almost all missiles have a built-in test (BIT) capability. With the BIT, faulty missiles can be isolated anytime during operations or storage in the launchers. So the reliability and the maintenance costs of the missiles greatly depend on the length of the inspection cycle and the BIT/inspection quality. In this paper, we suggest a model for predicting the storage reliability of missiles subjected to non-periodic tests and periodic inspections, excluding overlapping failures. Some numerical examples are given. This model will be useful for determining the length of the periodic inspection cycle.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.21 no.6
• /
• pp.607-611
• /
• 2001

Ultrasonic inspection system consist of the operator, equipment and procedure. The reliability of results in ultrasonic inspection is affected by its ability. Furthermore, the reliability of nondestructive testing is influenced by the inspection environment, materials and types of defect. Therefore, it is very difficult to estimate the reliability of NDT due to the various factors. In this study, the probability of detection by logistic probability model and Monte Carlo simulation is used for the reliability assessment of ultrasonic inspection. The utility of the NDT reliability assesment is verified by the analysis of the data from round robin test nth these models.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.181-183
• /
• 2006

UML 2.0의 시퀀스 다이어그램은 실시간 특성을 표기할 수 있는 표기법이 추가됨으로써 시간의 엄격성이 중요하게 여겨지는 임베디드 소프트웨어의 행위를 보다 정확하고 상세하게 모델링 할 수 있게 되었다. 시퀀스 다이어그램은 전체 시스템의 부분적인 행위를 기술하여 같은 행위가 여러 다이어그램에 걸쳐서 기술되어지므로 이들 다이어그램들은 서로 일관성을 가져야 하는데 복잡한 시스템에서 일관성을 검사하는 것은 어려운 일이다. 본 논문에서는 행위 모델을 표현하는 시퀀스 다이어그램과 다른 다이어그램에 기술된 실시간 특성들의 일관성을 자동으로 검사할 수 있는 방법을 제안한다. 먼저 서로 다른(inter) 다이어그램들 사이의 시간적인 일관성을 유지하기 위한 제약사항을 파악하여 정의한다. 그리고 모델을 구성하는 인스턴스들에 대한 제약사항을 OCL로 기술하는데 이는 UML 2.0이 발표되면서 모델의 의미를 정확하고 상세하게 표현할 수 있는 메타 모델과 그들의 연관관계가 추가되고 명확하게 정의됨에 따라 가능하게 된 것이다. 이렇게 OCL로 정형화되어 기술된 식은 UML 2.0 메타 모델을 이용한 어느 모델에나 적용 가능하며 모델의 문제점을 발견하고 정확한 모델을 구축하도록 도와준다.

• Annual Conference of KIPS
• /
• 2022.05a
• /
• pp.708-711
• /
• 2022

본 논문은 3D 프린팅 출력 성공률을 높이기 위해 GPU를 이용한 대용량 3D 메쉬 모델에 대한 병렬 자체충돌 검사 방법을 제안한다. 강인하고 견고한 자체 충돌 검사를 위해 분리축 검사, 삼각형-삼각형 교차 검사, 메쉬 연결성 검사, 대용량 메쉬를 위한 분할 처리 기법의 절차를 제안한다. 이러한 자체 충돌 검사를 빠르게 수행하기 위하여 GPU 기반 병렬처리 구현 방법을 제시한다.

• The KIPS Transactions:PartD
• /
• v.17D no.2
• /
• pp.111-118
• /
• 2010

In this paper, we describe the implementation of debugger that has advanced features for verifying Simulink model. The debugger provided in Simulink has some boring and repetitive work when verifying complicated Simulink models or complicated scenarios. In order to resolve the problems, this paper addresses the issues on the implementation of debugger that provides features such as a convenient feature to compare the simulation output to the expected output for specific input, to monitor system's behavior at specific time, and coverage report function in some or all input scenarios. The proposed debugger is applied to the vending machine model provided by Matlab, demonstrating its feasibility.

• Education of Primary School Mathematics
• /
• v.22 no.1
• /
• pp.65-82
• /
• 2019

In this study, students' multiplication expression method according to visual model was analyzed through paper test and eye tracking test. As a result of the paper-pencil test, students were presented with multiplication formula. In the group model (number of individual pieces in a group) ${\times}$ (number of group) in the array model (column) ${\times}$ (row), but in the array model, the proportion of students who answered the multiplication formula in the (row) ${\times}$ (column). From these results, we derived the appropriate model presentation method for multiplication instruction and the multiplication expression method for visual model.

• Korean Journal of Construction Engineering and Management
• /
• v.12 no.1
• /
• pp.73-84
• /
• 2011

This study represents construction progress management model based on quality inspection process in addition to cost-schedule integration. Quality inspection process cycle, resource estimate as progress measurement parameter, hierarchical structure of schedule, and inspection lots linking quality inspection to resource estimate are addressed as four main information areas. The authors established several process models to give a structure and correlations among information elements on each of these areas. Applying the process models proposed, an information system was implemented and utilized for nuclear power plant construction. It reveals that the system achieves accurate and objective progress information in near real time with significantly reduced time and effort as well as administrative efficiencies from making quality inspection process online.