• 동굴
• /
• 제69호
• /
• pp.9-20
• /
• 2005

Geologic Structures are reflected on the landform development. So lots of studies are emphasized on the individual processes and mechanism of the relationship between geologic structures and landforms. In this study, many cases are represented, such as : weathering, stream directions and structures expecially joints, gnamas, meander bending etc. New D-D Diagrams and photos are available to explain the relations of two factors. Landform developments are depend on geologic structures.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2012년도 춘계학술대회 논문집
• /
• pp.725-726
• /
• 2012

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2011년도 춘계학술대회 논문집
• /
• pp.25-26
• /
• 2011

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2011년도 춘계학술대회 논문집
• /
• pp.11-12
• /
• 2011

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회/대한산업공학회 2005년도 춘계공동학술대회 발표논문
• /
• pp.842-847
• /
• 2005

Although there are many applications of Euclidean Voronoi diagram for spheres in a 3D space in various disciplines from sciences and engineering, it has not been studied as much as it deserves. In this paper, we present an edge-tracing algorithm to compute the Euclidean Voronoi diagram of 3-dimensional spheres in O(mn) in the worst-case, where m is the number of edges of Voronoi diagram and n is the number of spheres. After building blocks for the algorithm, we show an example of Voronoi diagram for atoms using actual protein data and discuss its applications for protein analysis.

• 한국시스템다이내믹스연구
• /
• 제14권4호
• /
• pp.91-112
• /
• 2013

This article aims at revealing the dynamic relationships between the energy R&D investment and economic growth in Korea. To achieve this goal, we reviewed the effects of energy R&D investments and tried to make the holistic interconnections for describing the feedback loops between energy R&D and economic system. Energy R&D investments develop the renewable energy, energy efficiency and $CO_2$ emission reductions technologies for accomplishing the national strategic targets. The rapid obsolescence of technologies makes the inefficiency and negative effects in governmental energy R&D investments.

• 정보처리학회논문지D
• /
• 제13D권7호
• /
• pp.923-930
• /
• 2006

본 논문에서는 무기체계 임베디드 소프트웨어의 시간 요소를 고려한 TFM(Time Factor Method) 기반의 시스템 테스트 모델을 설계하고, 적용사례를 통하여 결과를 제시한다. 이를 위해 무기체계 임베디드 소프트웨어의 특징과 시스템 테스트 그리고 객체지향 모델의 표현방법인 UML 표기법에 대하여 알아보고, 시스템 테스트 모델 설계를 위한 TFM 접근 방법으로 시간 요소를 고려한 테스트 방법과 시간 요소 측정 방법 그리고 테스트 케이스 선정 알고리즘을 제시한다. 무기체계 임베디드 소프트웨어의 TFM 기반 시스템 테스트 모델은 세 가지 요소 (X,Y,Z) 로 구성되며, 'X' 에서는 최대시간경로를 선정하는 알고리즘을 통해 테스트 케이스가 도출되고, 'Y' 에서는 Sequence Diagram과 관련된 객체를 식별하고, 'Z'에서는 Timing Diagram을 통하여 식별된 각 객체들의 실행시간을 측정한다. 또한 제안한 W:M 기반 시스템 테스트 모델을 '다기능 미사일 방어시스템'에 적용하여 테스트 케이스를 추출하는 방법을 제시한다.

• 정보처리학회논문지D
• /
• 제19D권4호
• /
• pp.281-292
• /
• 2012

스마트 폰과 같은 모바일 기기에서 동작하는 응용 소프트웨어는 제한된 배터리 용량으로 인하여 안정적인 서비스를 지속적으로 제공하는데 어려움을 갖는다. 과거에는 배터리의 수명을 연장 시키거나 소모전력이 적은 하드웨어 장치들을 개발하는 것으로 모바일 기기의 소모전력을 관리하였다. 그러나 시스템에 탑재되는 소프트웨어가 복잡해짐에 따라 소프트웨어에 대한 소모전력 분석 연구도 관심을 갖게 되었다. 이러한 연구들 중에서 모델 기반의 소모전력 분석은 코드가 개발되기 이전에 미리 소모전력을 분석하고, 분석 결과를 기반으로 소프트웨어를 개발한다는 측면에서 소모전력 감소를 위한 하나의 중요한 전략으로 인식되어 오고 있다. 따라서 본 논문에서는 소프트웨어의 행위 모델인 UML의 상태기계(State Machine) 다이어그램을 이용하는 소모전력 분석 기법을 제안한다. 제안하는 분석기법은 상태기계 다이어그램을 페트리 넷으로 변환하고, 이의 시뮬레이션을 통해 소모전력을 예측하게 된다.

• 정보처리학회논문지D
• /
• 제16D권4호
• /
• pp.517-526
• /
• 2009

동적 UML 다이어그램은 객체 지향 언어로 구현된 프로그램의 복잡한 실행 동작에 대한 표현이 가능하다. 이로 인하여 동적 다이어그램 중, 순서, 상태, 액티비티 다이어그램을 이용하여 테스트 케이스를 추출하고 테스트 하는 방법이 많이 쓰이고 있다. 그러나 테스트 자원과 시간이 제한되어 있을 때 어떤 명세를 이용하여 테스트 케이스를 만드는 것이 더 효율적인지, 또한 어떤 특성이 있는지 알 필요가 있다. 이 논문에서는 ATM 시뮬레이션 프로그램을 세 가지 다이어그램으로 표현하고 이를 이용하여 서로 다른 테스트 케이스를 생성한다. 또한 뮤테이션 테스팅(Mutation Testing)을 실시하여 각 테스트 케이스에 대한 효율을 평가 하였다. 뮤턴트(Mutant) 생성은 절차적 방식과 객체 지향 방식에 의한 뮤테이션 연산자(Mutation Operator)를 구분해서 적용하였으며 뮤클립스(Muclipse)라는 이클립스(Eclipse) 기반의 플러그인 도구를 이용하였다. 생성된 테스트 케이스와 뮤턴트를 이용해서 뮤테이션 점수(Mutation Score)를 측정하고 이를 기반으로 각 테스트 케이스 및 여러 관점에서 테스트 케이스의 효율을 평가하였다. 이런 과정을 통해 테스트 케이스 생성 방식의 선택에 대한 힌트를 얻을 수 있었다.

• Structural Engineering and Mechanics
• /
• 제81권4호
• /
• pp.411-428
• /
• 2022

This paper presents the Campbell diagram analysis of the rotordynamic system using the full order model (FOM) and the reduced order model (ROM) techniques to determine the critical speeds, identify the stability and reduce the computational time. Due to the spin-speed-dependent matrices (e.g., centrifugal stiffening matrix), several model order reduction (MOR) techniques may be considered, such as the modal superposition (MS) method and the Krylov subspace-based MOR techniques (e.g., Ritz vector (RV), quasi-static Ritz vector (QSRV), multifrequency quasi-static Ritz vector (MQSRV), multifrequency/ multi-spin-speed quasi-static Ritz vector (MMQSRV) and the combined Ritz vector & modal superposition (RV+MS) methods). The proposed MMQSRV method in this study is extended from the MQSRV method by incorporating the rotational-speed-dependent stiffness matrices into the Krylov subspace during the MOR process. Thus, the objective of this note is to respond to the question of whether to use the MS method or the Krylov subspace-based MOR technique in establishing the Campbell diagram of the shaft-disc-blade assembly systems in three-dimensional (3D) finite element analysis (FEA). The Campbell diagrams produced by the FOM and various MOR methods are presented and discussed thoroughly by computing the norm of relative errors (ER). It is found that the RV and the MS methods are dominant at low and high rotating speeds, respectively. More precisely, as the spinning velocity becomes large, the calculated ER produced by the RV method is significantly increased; in contrast, the ER produced by the MS method is smaller and more consistent. From a computational point of view, the MORs have substantially reduced the time computing considerably compared to the FOM. Additionally, the verification of the 3D FE rotordynamic model is also provided and found to be in close agreement with the existing solutions.