• Journal of the Korean Society for Nondestructive Testing
• /
• v.30 no.1
• /
• pp.31-35
• /
• 2010

This paper presents the development of automatic defect detection program using 3D computed tomography image of small solid rocker motor. We applied the neighbor pixel comparison algorithm with beam hardening correction for the recognition of defect. We made the artificial defect specimen in order to decide a standard CT value of defect. The program was tested with 150 small solid rocket motors and it could detect the disbond, crack, foreign material and void. The program showed more reliable and faster results than human inspector's interpretation.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1993.10a
• /
• pp.561-565
• /
• 1993

본 연구에서는 산업 현장에서 일반적으로 가장 많이 사용되는 CAD 소프트웨어를 이용하여 모든 기계류에 공통적으로 쓰이는 기본적인 기계 요소들에 대한 자동 설계 시스템을 구축하려는데 목적을 둔다. 이는 단순히 제도 수준에만 머무르고 있는 현재의 CAD 시스템에 사용 조건에 맞는 기계요소에 대한 강도를 평가하여 적절한 기계 부품을 자동적으로 선정하고 도면으로 보여 주는 기능을 부여하여 생산성을 높이는데 그 의미가 있다. 또한 설계 과정의 자동화 가능성 여부에 대한 타당성을 검토하고자 한다. 연구방법으로는 C언어를 이용하여 각 기계 부품에 대한 설계(선정) 프로그램과 데이타 베이스 관리 프로그램을 작성하고, LISP언어를 이용하여 선정된 기계 부품을 자동적으로 그려 주는 방안을 제시한다. 개발에 사용된 CAD 소프트웨어는 PC에서 가장 많이 사용되는 AutoCAD를 사용한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06b
• /
• pp.253-255
• /
• 2006

학습자가 중심이 되고 선생님과 부모님들은 조력자 역할을 하는 자기주도 학습이 주로 이뤄지는 E-learning 환경에서 학습도구의 한가지인 자동 문제 출제 시스템의 역할은 매우 중요하다. 이런 학습 환경에서의 학습자의 참여도는 학습내용은 물론이고 화면구성이나 디자인에 따라서도 크게 좌우된다. 그러므로 화면구성과 디자인은 학습자의 관심과 흥미를 지속적으로 유지할 수 있도록 주기적으로 변경하여 학습자의 호응도를 높일 수 있게 구성하는 것이 바랑직하다. 하지만 기존에 연구된 자동 문제 출제 시스템은 디자인과 프로그램이 분리되어 있지 않아 잦은 사용자 인터페이스의 변화에 대처하는데 많이 비용이 소요될 수 있다. 본 논문에서는 SUN의 J2EE Patterns Catalog의 일부인 MVC 모델을 적용하여, 디자인과 프로그램을 분리하여 유지관리가 편리한 자동 문제 출제 시스템을 설계하였다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2018.06a
• /
• pp.130-132
• /
• 2018

최근 1인 미디어의 확장과 맞물려 개인 차원에서의 영상편집이 활성화되고 있다. 인기 영상강의를 위주로 초보자들도 쉽게 접근할 수 있으나 여전히 많은 사람들이 영상제작을 어려워하고 있다. 특히 밝기, 대비 및 색 보정에서 어려움을 많이 겪는다. 전문적인 영상편집 툴의 경우 자동 보정 기능을 제공하고 있으나 파이널 컷의 경우 Apple 사의 맥 디바이스 환경을 구축해야 하는 문제, Adobe사 프로그램의 경우 완전 자동 기능 부재 및 무거운 연산처리 과정 및 유료화로 인한 접근성 저하, 기타 프로그램들의 경우 설치 접근성이 낮다는 단점이 있었다. 이에 본 연구에서는 클라우드 기반의 쉽고 빠른, 접근성을 높인 자동 영상보정 서비스를 제시하려 한다. 최종 단계의 클라우드 서비스에서는 흔들림 보정, 색 보정, 대비 보정, 명암 보정의 향상 기능과 컷 단위 인식, 신단위 인식, 객체 단위 인식의 서비스를 제공해야 한다는 결론에 도출하였다. 본 논문에서는 연구의 시작으로 클라우드 서비스 구축 및 OpenCV를 활용하여 프레임 별 영상 향상 알고리즘 구현을 시행하였다.

• The Journal of Society for e-Business Studies
• /
• v.8 no.3
• /
• pp.165-176
• /
• 2003

Instead of existing cell phones, PDAs are observed as leading wireless Internet devices recently Numerous applications are developed by extended usage of PDAs and it should be installed appropriately according to devices. Furthermore, when battery is discharged, all data stored in RAM(Random Access Memory) becomes obsolete. So it should be recovered or reinstalled from flash memory, backup media or something. In this paper, we present an automatic application installation system(PAIS : PDA Automatic Installation System) to solve problems that users have to install applications by themselves whenever it is necessary. With this system, users feel comfortable by saving time and effort to install each applications and application development companies save cost needed to make materials illustrating installation process. Consequently PAIS may flourish wireless Internet business.

• The KIPS Transactions:PartD
• /
• v.17D no.4
• /
• pp.297-310
• /
• 2010

Recently, a new testing technique called concolic testing receives lots of attention. Concolic testing generates test data by combining concrete program execution and symbolic execution to achieve high test coverage. CREST is a representative open-source test tool implementing concolic testing. Currently, however, CREST only deals with integer type as input. This paper presents a new rule for automated test data generation in presence of inputs of pointer type. The rules effectively handles multi-level stack-directed pointers that are mainly used in C programs. In addition, we describe a tool named vCREST implementing the proposed rules together with the results of applying the tool to some C programs.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.11a
• /
• pp.77-78
• /
• 2023

대한민국은 국제적인 클라우드 컴퓨팅 추세와 비교하여 클라우드 전환률이 낮은 실정에 있다. 이에 대한 주요 원인으로 보안 문제, 전문 인력 부족, 비용 부담 등이 지적된다. 본 연구는 앞선 문제점을 해결함 동시에 클라우드 마이그레이션의 진입장벽을 낮추기 위해 '보안성을 고려한 클라우드 아키텍처 자동 도식화 플랫폼'을 개발하고자 한다. 이를 통해 국내 클라우드 전환율 향상 및 기업이 직면한 어려움을 완화할 것으로 기대한다.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2008.04a
• /
• pp.189-192
• /
• 2008

Generally, the inspection is hard work and needs a lot of time. So, this work contains subjectivity of inspector owing to carry out the visual evaluations through naked eye. Thus, the result of inspection is not objective and reliable. The purpose of this study is to develop new inspection technique to solve above problems and to provide convenient inspection work. We make a new inspection system using digital image processing technology. This program can stitch each image and detect cracks of surface of concrete bridge. Also, It can extract an investigation drawing from the picture. Also, this program is a kind of management tools designed to have some functions such as converting the image data obtained from cameras to Data-Base format, searching and storing the data. At first, we try to make a automatic extracting program. But, changed by semiautomatic method because of various problems. Through field experiments, the application of this inspection system with specialty software has proven to be much faster, safer, and reliable than the inspections carried out by the naked eyes in managing safety of the bridges. The new inspection method may be able to make the inspection of bridge more efficient and reliable.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2004.05b
• /
• pp.203-207
• /
• 2004

This treatise presents that a possibility of non-musician's composition. In fart, as a development of music composition program(used by IAVA) helps to compose music easily, but non-musician still feels hard to compose some musics and perform some musics even though the band-in-a-box is already existed(which is an auto accompaniment program). This treatise shows non-musicians' special music composition way. Select a cord and put the cord to special program which ratted ‘the cord composition program’, and then the cord composition program creates the rest cords. After this progress, non-musicians overwrite their own melodies in accordance with created cords. Finally, they can perform their own musics with the sound of master-keyboard and other sound sources using by the band-in-a-box program.

• KIPS Transactions on Software and Data Engineering
• /
• v.10 no.4
• /
• pp.115-124
• /
• 2021

Since function block diagram (FBD) programs are widely used to implement safety-critical systems, effective testing for FBD programs has become important. Mutation testing, a fault-based testing, is highly effective in fault detection but computationally expensive. To support testers for FBD programs, we propose an automated mutant generator for FBD programs. We designed the MuGenFBD tool with the cost and equivalent mutant issues in consideration. We conducted experiments on real industrial examples to present the performance of MuGenFBD. The results show that MuGenFBD can generate mutants for FBD programs automatically with low probability of equivalent mutants and low cost. This tool can effectively support mutation analysis and mutation-adequate test generation for FBD programs.