• KIPS Transactions on Software and Data Engineering
• /
• v.10 no.5
• /
• pp.161-168
• /
• 2021

Cracks affect the robustness of infrastructures such as buildings, bridge, pavement, and pipelines. This paper presents an automated crack detection system which detect cracks in diverse surfaces. We first constructed the combined crack dataset, consists of multiple crack datasets in diverse domains presented in prior studies. Then, state-of-the-art deep learning models in computer vision tasks including VGG, ResNet, WideResNet, ResNeXt, DenseNet, and EfficientNet, were used to validate the performance of crack detection. We divided the combined dataset into train (80%) and test set (20%) to evaluate the employed models. DenseNet121 showed the highest accuracy at 96.20% with relatively low number of parameters compared to other models. Based on the validation procedures of the advanced deep learning models in crack detection task, we shed light on the cost-effective automated crack detection system which can be applied to different surfaces and structures with low computing resources.

• KIPS Transactions on Software and Data Engineering
• /
• v.12 no.5
• /
• pp.229-236
• /
• 2023

Since 3D printed medical implant parts usually have surface defects, it is necessary to inspect the surface after manufacturing. In order to automate the surface inspection, it is effective to 3D scan the implant and reconstruct it as a scan model such as a point cloud. When constructing a scan model, the characteristics of the shape and material of the implant must be considered because it has characteristics different from those of general 3D printed parts. In this paper, we present a method to reconstruct the 3D scan model of a 3D printed metal bone-plate that is one kind of medical implant parts. Multiple partial scan data are produced by multi-view 3D scan, and then, we reconstruct a scan model by alignment and merging of partial data. We also present the process of the scan model reconstruction through experiments.

• Journal of Practical Engineering Education
• /
• v.16 no.1_spc
• /
• pp.59-64
• /
• 2024

As the aging population grows, the incidence of cancer is increasing. Skin cancer appears externally, but people often don't notice it or simply overlook it. As a result, if the early detection period is missed, the survival rate in the case of late stage cancer is only 7.5-11%. However, the disadvantage of diagnosing, serious skin cancer is that it requires a lot of time and money, such as a detailed examination and cell tests, rather than simple visual diagnosis. To overcome these challenges, we propose an Attention-based CNN model skin cancer classification system. If skin cancer can be detected early, it can be treated quickly, and the proposed system can greatly help the work of a specialist. To mitigate the problem of image data imbalance according to skin cancer type, this skin cancer classification model applies the Over Sampling, technique to data with a high distribution ratio, and adds a pre-learning model without an Attention layer. This model is then compared to the model without the Attention layer. We also plan to solve the data imbalance problem by strengthening data augmentation techniques for specific classes.

• Product Safety
• /
• s.196
• /
• pp.16-17
• /
• 2010

$\blacksquare$ 지식경제부(최경환 장관)은 에너지소비효율 등급표시를 위반한 9개 업체에 대해 생산 판매금지등의 시정명령을 했다고 밝혔음 $\circ$ (대상 및 내용) '09. 1월 ~ 10.1월간, 19개품목 179개모델 제품에 표시된 성능과 매장에서 채취한 샘플제품의 시험측정결과를 비교 검사하고 위반제품에 대해 아래와 같이 시정 명령을 요구하였음 - (생산판매금지) 최저소비효율에 미달된 5개 회사의 전기냉장고, 백열전구, 어댑터 충전기 등 6개모델 - (등급조정) 소비효율등급표시를 위반한 2개회사의 전기진공청소기, 선풍기 등 2개 모델 - (표시사항정정) 소비효율 표시사항의 허용오차를 초과한 2개회사의 선풍기 2개 모델 $\circ$ (조치의무 등) 위반업체 및 모델을 관보에 게재('10.3.10)하고 해당 제조 수입업체는 시정명령에 대한조치결과를 1개월이내 보고해야함 - 시정명령 미이행시에는 위반내용에 따라 벌금 과태료등의 벌칙에 처할 수 있음

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.472-474
• /
• 1998

병렬 객체를 이용한 소프트웨어의 개발시, 병렬성에서 기인한 경쟁 조건의 만족 여부나 교착 상태, 기아 상태 등의 오류를 모델의 검증을 통하여 개발의 초기 단계에 발겨하고 수정하는 것은 개발의 효율성을 높일 수 있다. 이러한 병력 객체모델의 검증을 위해서는 객체간의 상호 메시지 교환과 동적 행위를 기술할 수 있는 모델링 언어가 필요하며, 검증하고자 하는 속성을 기술하기 위한 방법이 요구된다. 본 연구에서는 시스템의 모델링을 위해 SPIN에서 사용되는 PROMELA를 쓰레드 기반의 객체 모델링 언어인 SPIN++로 확장하고, 속성의 기술을 위해 확장된 선형 시제 논리를 제안하였으며, 유한 상태에서는 모델 검사(model checking) 도구인 SPIN을 이용하여 검증하는 방법을 제시하고자 한다. 이러한 연구를 통하여 병렬 객체 모델의 정형적인 검증을 수행할 수 있으며, 시스템 개발의 효율성을 높이는 데 도움을 줄 수 있다.

• Annual Conference of KIPS
• /
• 2006.11a
• /
• pp.701-704
• /
• 2006

산업 발전에 따라 생활은 점차 편리해지고 각종 질병들에 대한 위험도 점차 높아지고 있다. 인간의 생명을 위협하는 위험한 질병 중에는 사전에 예방하지 않으면 돌이킬 수 없는 사태로 확산되기도 하지만 바쁜 현태인들에게는 자신의 건강상태를 사전에 파악하고 관리하기 힘든 실정이다. 이에 유비쿼터스 환경에 접어든 IT기술을 바탕으로 의료진단 및 예방 시스템을 구축하여 실요자들이 센서를 통해 컴퓨터를 직접 이용하지 않더라도 자신의 건강상태를 유지 관리할 필요가 있다. 그러므로 본 논문에서는 이와 같이 유비쿼터스 환경으로 변화해가는 기술적 변화를 바탕으로 의료 진단 및 예방이 가능한 시스템 구축을 위한 모델로서 뇌혈관 질환에 대한 모델을 제시하고자 한다. 또한, 이를 통해 향후 구축하고자 하는 u-헬스 케어 의료진단 시스템 구축 모델에 활용하고자 하며, 본 모델을 통해 의료정보를 활용한 산업 발전과 인류의 편이성 증대 및 건강상태의 주기적 검사를 통해 향상된 복지문화를 유도할 수 있을 것이다.

• Annual Conference of KIPS
• /
• 2004.11a
• /
• pp.327-330
• /
• 2004

테스팅이 오류의 존재를 증명할 수 있는데 반해서, 정형 검증 기술은 시스템에 오류가 존재하지 않음을 증명할 수 있다. 모델 체킹은 이런 정형 검증 기술 중의 하나이다. 최근에 모델 체킹을 이용하여 코드를 자동으로 검증하려는 연구들이 많다. 하지만 이런 연구는 일반적인 환경에서의 검사만을 할 수 있다. 반면에 임베디드 소프트웨어는 실시간성, 외부 환경, 다중 스레드 등의 다양한 특성이 존재한다. 따라서 임베디드 소프트웨어와 같이 안전한 소프트웨어 시스템을 필요로 하는 환경을 위한 모델 체킹을 수행하기는 힘들다. 본 논문에서는 임베디드 소프트웨어에 대한 모델체킹 도구가 검증할 수 있어야 하는 실시간 시스템의 검증, 외부 환경에 대한 고려, 다중 스레드 시스템의 검증 등을 설명하고, 기존 도구들이 얼마나 만족하고 있는지 조사해본다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.868-870
• /
• 2005

본 논문은 포즈가 취해진 얼굴의 정확한 특징점 추출을 위하여 적응적인 평균 모양 방법을 이용한 ASM(Active Shape Model)을 제안한다. ASM은 사람 얼굴의 모양을 모델링하기 위하여 통계학상의 모양 모델을 이용한다. 통계학상의 모양 모델의 평균 모양은 입력 영상의 얼굴 포즈와 관계없이 하나로 고정되어 있으며, 이는 모양 모델 제한 조건 검사 및 복원과정에서 잘못된 결과를 만드는 원인이 된다. 이러한 문제를 해결하기 위하여 입력 영상의 얼굴 모양에 적응적인 평균 모양을 제안하며, 실험을 통해 제안한 방법이 고정된 평균 모양 방법의 문제를 해결하고 특징점 추출 성능을 향상시킴을 보였다.

• Annual Conference of KIPS
• /
• 2004.05a
• /
• pp.1233-1236
• /
• 2004

보안 시스템에서 접근 통제 모델을 사용하는 가장 중요한 목적은 시스템 및 사용자에 대한 안정성을 보장하기 위해서이다. 본 논문에서 다루고 있는, SPR은 보안 시스템의 행위를 유한 상태 기계(FSM) 기반의 보안모델로 표현한 후, 보안 모델에 대한 초기 상태의 안전성을 검사하고 초기 상태에서 다음 상태로 전이가 존재할 경우에 그 상태들에 대응하는 모든 상태들에 대해서 보안기준을 만족하는지 검증하는 도구이다. 본 논문에서는 SPR를 사용하여 현재 많은 사람들이 이용하는 Windows 운영 체제의 NTFS에 기반을 둔 보안모델의 안전성을 검증하는 방법을 소개한다

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2006.05a
• /
• pp.106-111
• /
• 2006

텔레메틱스, 위치정보서비스, 유비쿼터스 등의 발전과 더불어 3차원 GIS의 활용은 급격히 증가할 것으로 기대된다. 특히 도시모델은 이러한 3D GIS의 근간을 이루며, 이에 도시모델의 획득과 지속적인 수정에 대한 수요 증가도 필연적이다. 따라서 본 연구에서는 기존의 도시모델 구축방법과 달리 보다 효율적이고 정밀한 도시모델을 구축하는 방법을 제시하고 실험적으로 검증하고자 하였다. 제시된 방법은 항공사진과 라이다데이터를 이용하여 지표면모델을 생성하고, 지상사진을 이용하여 건물의 정교한 3차원 모델을 생성하는 것을 핵심으로 한다. 서울시립대학교를 실험대상지역으로 선택하여 전체 23개의 건물을 포함하는 27만 $600m^2$면적의 영역에 대한 도시모델을 구축하였다. 생성된 모델에 대한 검사를 통해 건물과 지표면의 기하학적 구조가 정확하게 재현된 것을 알 수 있었다. 그러나 건물의 외벽 texture는 영상 촬영 시 나무 등에 의해 가려지는 문제, 주변 지물들에 의한 그림자 영향 등으로 깔끔하게 처리되지 못한 것을 볼 수 있었다. 결론적으로 3차원 모델 구축에 있어 texture 추출에 대한 알고리즘 개선이 요구되었고, 건물 내부도 모델링함으로써 더욱 다양한 활용방안도 생각해야 할 것이다.