• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.371-380
• /
• 2009

최근에 테스트 데이터를 자동으로 생성하는 방법에 관한 연구가 활발하게 진행되고 있다. 그러나 이러한 방법들은 플래그 변수가 프로그램에 존재하는 경우에는 효과적이지 못함이 밝혀졌다. 이는 엔진 제어기와 같은 내장형 시스템들이 전형적으로 디바이스 관련 상태 정보를 기록하기 위해 플래그 변수를 많이 이용한다는 점을 고려할 때 문제가 된다. 이 논문에서는 플래그 변수가 있는 프로그램에 대하여 효과적으로 테스트 데이터를 생성할 수 있는 방법을 소개한다. 이 방법은 테스트 데이터 생성 문제를 SAT(SATisfiability) 문제로 변환하고 SAT 해결도구를 이용하여 자동으로 테스트 데이터를 생성한다. 이를 위해 프로그램을 1차 관계 논리 언어인 Alloy로 변환하고 Alloy 분석기를 통하여 테스트 데이터를 생성한다.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2006년도 추계 학술대회논문집
• /
• pp.70-73
• /
• 2006

Mesh generation for the region of interest is prerequisite for numerical analysis of governing partial differential equations describing phenomena with proper physic. Mesh generation is, however, usually considered as a major obstacle for a routine application of numerical approaches in Engineering applications. Therefore automatic mesh generation is highly pursued. In this paper automated quadrilateral surface mesh generation is proposed. According to the present method, Cartesian cells of proper resolution for a region bounding the whole region of interest are first generated and the interior cells are identified. Then projecting their surface meshes onto the boundary surfaces gives surface mesh consisting of quadrilateral cells. This method has been implemented as an application program, and example cases are given.

• 한국멀티미디어학회논문지
• /
• 제23권7호
• /
• pp.850-861
• /
• 2020

Hangul is a language that is composed of initial, medial, and final syllables. It has 11,172 characters. For this reason, the current method of designing all the characters by hand is very expensive and time-consuming. In order to solve the problem, this paper proposes an automatic Hangul font generation system and evaluates the standards for mapping Hangul characters to produce an effective automated Hangul font generation system. The system was implemented using character generation engine based on deep learning CycleGAN. In order to evaluate the criteria when mapping characters in pairs, each criterion was designed based on Hangul structure and character shape, and the quality of the generated characters was evaluated. As a result of the evaluation, the standards designed based on the Hangul structure did not affect the quality of the automated Hangul font generation system. On the other hand, when tried with similar characters, the standards made based on the shape of Hangul characters produced better quality characters than when tried with less similar characters. As a result, it is better to generate automated Hangul font by designing a learning method based on mapping characters in pairs that have similar character shapes.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.1342-1345
• /
• 2011

A valid scenario generation is essential for model checking software. This paper suggests an automated scenario generation technique through the analysis of function called-by graphs and call graphs of the program source code. We provide the verification process including the scenario generation and show application results on the Trampoline operating system using CBMC as a back-end model checker.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2002년도 추계학술대회 논문집
• /
• pp.599-602
• /
• 2002

A novel rapid prototyping (RP) process, an automated transfer type variable lamination manufacturing process (Automated VLM-ST) has been developed. In Automated VLM-ST, a vacuum chuck and linear moving system transfer the plate type material with two pilot holes to the rotation stage. A four-axis synchronized hotwire cutter cuts the material twice to generate Automated Unit Shape Layer (AUSL) with the desired width, side slopes, length, and two reference shapes in accordance with CAD data. Each AUSL is stacked on the stacking plate with two pilot pins using the pilot holes in AUSL and the pilot pins. Subsequently, adhesive is supplied to the top surface of the stacked AUSL by a bonding roller and pressure is simultaneously applied to the bottom surface of the stacked AUSL. Finally, three-dimensional shapes are rapidly fabricated. This paper describes the procedure for generating the cutting path data (AUSL data) f3r automated VLM-ST. The method for the generation of the Automated Unit Shape Layer (AUSL) in Automated VLM-ST was practically applied and fabricated for a various shapes.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2007년도 춘계 학술대회논문집
• /
• pp.103-107
• /
• 2007

Computational Fluid Dynamics (CFD in short) approach is now playing an important role in the engineering process recently. Generating proper grid system for the region of interest in time is prerequisite for the efficient numerical calculation of flow physics using CFD approach. Grid generation is, however, usually considered as a major obstacle for a routine and successful application of numerical approaches in the engineering process. CFD approach based on the unstructured grid system is gaining popularity due to its simplicity and efficiency for generating grid system compared to the structured grid approaches. In this paper an automated triangular surface grid generation using CAD surface data is proposed According to the present method, the CAD surface data imported in the STL format is processed to identify feature edges defining the topology and geometry of the surface shape first. When the feature edges are identified, node points along the edges are distributed. The initial fronts which connect those feature edge nodes are constructed and then they are advanced along the CAD surface data inward until the surface is fully covered by triangular surface grid cells using Advancing Front Method. It is found that this approach can be implemented in an automated way successfully saving man-hours and reducing human-errors in generating triangular surface grid system.

• International Journal of CAD/CAM
• /
• 제6권1호
• /
• pp.199-211
• /
• 2006

Practical automated flat pattern generation with inbuilt production features for doubly curved sheet metal components (SMCs) is addressed here utilizing a new and unique Point Transformation Algorithm (PTA). This is the third in the series of papers on practical Flat Pattern Development (FPD) [8] and Production Loft Generation Systems (PLGS) [9] complementing the pioneering work [6,7]. In the first two publications, automated loft generation programs have addressed sheet metal components having a Principal Flat Surface (PFS) only. The flat pattern development of 3-D components that do not have the flat surface(termed as Non-PFS components) having complex features of double curvature in addition to cutouts and nibbled holes typical of aircraft components were so far not addressed due to lack of relevant published algorithms. This paper traces the evolution of developments and provides the record of fully illustrated, automated loft generation scheme for aircraft SMCs including the Non-PFS components which underwent validation through production tests by sponsors. Details of some of the unique features of the system like simplified surface model generation, termed as topological model and powerful algorithms deployed with potential for CAD/CAM applications are included.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 1998년도 Proceedings of International Symposium on Remote Sensing
• /
• pp.325-330
• /
• 1998

The first Korean remote sensing satellite, Korea Multi-Purpose Satellite (KOMPSAT-1), is going to be launched in 1999. This will carry a 7m resolution Electro-Optical Camera (EOC) for earth observation. The primary mission of the KOMPSAT-1 is to acquire stereo imagery over the Korean peninsular for the generation of 1:25,000 cartographic maps. For this mission, research is being carried out to assess the possibilities of automated or semi-automated mapping of EOC data and to develop, if necessary, such enabling tools. This paper discusses the issue of automated DEM generation from EOC data and identifies some important aspects in developing a for DEM generation system from EOC data. This paper also presents the current status of the development work for such a system. The development work has focused on sensor modelling, stereo matching and DEM interpolation techniques. The performance of the system is shown with a SPOT stereo pair. A DEM generated from a commercial software is also presented for comparison. The paper concludes that the proposed system creates preferable results to the commercial software and suggests future developments for successful generation of DEM for EOC data.

• ETRI Journal
• /
• 제37권5호
• /
• pp.1032-1043
• /
• 2015

ETRI's Co-Pilot project is aimed at the development of an automated vehicle that cooperates with a driver and interacts with other vehicles on the road while obeying traffic rules without collisions. This paper presents a core block within the Co-Pilot system; the block is named "Co-Pilot agent" and consists of several main modules, such as road map generation, decision-making, and trajectory generation. The road map generation builds road map data to provide enhanced and detailed map data. The decision-making, designed to serve situation assessment and behavior planning, evaluates a collision risk of traffic situations and determines maneuvers to follow a global path as well as to avoid collisions. The trajectory generation generates a trajectory to achieve the given maneuver by the decision-making module. The system is implemented in an open-source robot operating system to provide a reusable, hardware-independent software platform; it is then tested on a closed road with other vehicles in several scenarios similar to real road environments to verify that it works properly for cooperative driving with a driver and automated driving.

• 한국지진공학회논문집
• /
• 제23권1호
• /
• pp.83-88
• /
• 2019

Structural analysis remains as an essential part of any integrated civil engineering system in today's rapidly changing computing environment. Even with enormous advancements in capabilities of computers and mobile tools, enhancing computational efficiency of algorithms is necessary to meet the changing demands for quick real time response systems. The finite element method is still the most widely used method of computational structural analysis; a robust, reliable and automated finite element structural analysis module is essential in a modern integrated structural engineering system. To be a part of an automated finite element structural analysis, an efficient adaptive mesh generation scheme based on R-H refinement for the mesh and error estimates from representative strain values at Gauss points is described. A coefficient that depends on the shape of element is used to correct overly distorted elements. Two simple case studies show the validity and computational efficiency. The scheme is appropriate for nonlinear and dynamic problems in earthquake engineering which generally require a huge number of iterative computations.