• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 1997.04a
• /
• pp.147-159
• /
• 1997

본 연구에서는 상변화 영역에서 열평형 방정식을 별도로 수식화하지 않고도 잠열의 영향을 고려할 수 있으며, 고상과 액상 그리고 2상 영역에서 동일한 형태의 방정식을 사용할 수 있는 엔탈피법을 이용하였다. 상변화 문제의 엔탈피법을 이용한 유한요소해석을 위하여 8개의 절점을 가지며, 각 절점에서 1개의 자유도를 가지는 3차원 육면체 요소가 개발되었다. 해법의 타당성과 해의 정확도를 검증하기 위하여 엄밀해가 존재하는 상변화 문제를 유한요소법으로 해석하고 그 결과를 비교 검토하였다. 연구 결과, 엔탈피법에 의한 유한요소해는 상변화 영역이 하나의 특정 온도인 경우는 물론 온도 구간으로 나타나는 경우에도 시간 증분과 요소수에 크게 영향을 받지 않고 안정된 해가 됨을 알 수 있었다. 검증된 요소를 이용하여 3차원 상변화 문제에 적용하여 해를 나타내었다.

• The Journal of the Acoustical Society of Korea
• /
• v.12 no.2
• /
• pp.28-36
• /
• 1993

임의의 형상을 갖는 진동체에 의한 방사 음장해석은 경계요소법에 의하여 이미 많은 해석이 시도되었다. 그러나, 진동체의 형상이 매우 복잡한 경우에는 겉표면의 요소수가 크게 증가할 뿐만 아니라 각 요소에서의 경계조건을 모두 알아내어야 하므로, 저주파에 국한된 해석일지라도 엄청난 시간과 노력이 필요하게 된다. 이러한 어려움을 극복하기 위하여 경계요소법을 사용하되, 복잡한 형상의 진동체를 둘러싸는 가상적인 표면을 매우 간단하게 설정한 후 그 표면상의 경계조건인 음압을 측정한다. 임의의 형상에 대한 파수 영역에서의 감쇠파의여파작업을 위하여 특이값 분리를 사용하였다. 특이값 분리에 의하여 음압분포를 측정위치에서 설정된 일반 좌표계에서의 고유모드로 분해한다. 각 고유모드의 원거리 음장의 기여도에 해당하는 각 특이벡터에 대한 특이값의 크기를 비교하여, 유한개의 고유모드만을 포함시킴으로써 원거리 음장을 예측한다. 몇 개의 예제를 통하여 해석적 방법의 기존의 경계요소법에 의한 결과를 본 연구 방법의 결과와 비교하여 잘 일치함을 확인하였다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2011.04a
• /
• pp.345-348
• /
• 2011

구조요소의 설계에서 유한요소해석은 매우 효과적인 방법이다. 이 방법은 시험 수행에 드는 시간과 비용을 줄여준다. 그러나 공정 과정과 환경에 의하여 생기는 입력 물성치들의 변화 때문에 우리는 유한요소해석의 결과를 전적으로 믿어서는 안 된다. 따라서 유한요소해석의 신뢰성을 증명하는 것은 매우 중요하다. 본 연구에서는 현장에 축적된 피로 수명 시험 데이터를 바탕으로 유한요소해석을 이용하여 피로수명 파라미터를 역 추정 하는 연구를 수행하였다. 베이지안 접근법을 이용하여 불확실성 피로 수명 파라미터의 사후분포를 구하였고, 마코프체인몬테카를로(Markov Chain Monte Carlo) 기법을 이용하여 역 추정된 파라미터의 샘플 데이터를 생성하였다. 얻어진 샘플 데이터를 기반으로 새로운 형상의 스프링에 대한 피로 수명을 예측한다. 신뢰성 기반 형상 최적화(RBDO)는 서스펜션 코일 스프링의 요구수명을 만족시키기 위하여 수행된다. 또한 크리깅 근사 모델은 유한요소해석의 연산 량 감소를 위해 이용한다.

• ETRI Journal
• /
• v.14 no.3
• /
• pp.58-66
• /
• 1992

본 논문은 대형 실시간 교환기 소프트웨어 설계시에 이용될 수 있는 설계모델을 제안한다. Anna $Hac^[8]$이 제안한 모델을 근간으로 중요한 구성요소에다 비중을 두는 제약 사항을 추가한 모델로 수정 보완하였다. 소프트웨어를 구성하는 중요한 구성요소들(예를 들면, 프로세스, 프로시저, 시그널, 데이터)을 열거하고 그들간의 종속관계를 근간으로 고장의 근원, 즉, 고장이 발생되면 자체 구성 요소에서 생긴 것인지, 혹은 다른 구성 요소에서부터 파급되어온 것인지를 구성요소들간의 관계를 통해 파악하여, 시스팀 다운 시간을 계산하여 이 값이 최소화 되도록하는 구조로 수정을 가할 수 있다. 그리하여, 소프트웨어 구조 설계시에 소프트웨어를 여러 주요 계층 및 구성요소들로 분할할 시 최대의 신뢰도를 보장받을 수 있는 구조로 설계를 할 수 있다는 것이다.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.11 no.2
• /
• pp.322-330
• /
• 1987

Isotropic linear viscoelasticity problems are analyzed numerically in time domain by Boundary Element Method with quadratic isoparametric boundary elements. Viscoelastic fundamental solutions are newly derived by using the elastic-viscoelastic correspondence principle and corresponding boundary integral equations are also presented. Numerical results of two examples are compared with the derived exact solutions to verify the accuracy and validity of the method. A detailed study on the accuracy of displacement and stress in terms of time integration step is given.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.385-387
• /
• 2004

웹 응용은 서로 의존관계를 가지는 다양한 구성요소들이 복잡하게 뒤섞여 있기 때문에 구성요소를 효과적으로 분석하기 어렵고 개발을 병행하거나 유지보수를 하는 과정에서 않은 비용과 시간을 소요하게 된다. 본 논문에서는 웹 응용의 구성요소들을 아키텍쳐 관점에서 모델링하여 관계형 집합으로 표현하고 종속성을 파악하였다 또한 관련 구성요소들을 독립적인 영역으로 나누는데 필요한 프로토콜 변수를 파악하고자 하였다 본 논문에서 제안하는 웹 응용 아키텍쳐 정보는 관계형 집합으로 DBMS에 테이블로 저장되는 경우 SQL문을 통하여 항해나 패턴 분석, 기타 설계단계에서 웹 응용에 대한 다양한 질의를 가능하게 한다. 이러한 구성요소 정보는 기존의 웬 응용으로부터 역공학을 통해 얻을 수도 있으며, 재구조화를 통해 재공학의 도구로 활용될 수도 있다. 향후 추상화 아키텍쳐를 구체적인 릴 기술과 매핑시킬 경우 자동화를 통해 구현에 필요한 기초 코드를 생성하는데 응용될 수도 있다.

• Journal of the Korea Society for Simulation
• /
• v.22 no.2
• /
• pp.11-19
• /
• 2013

This paper presents the battle space model, which is capable of propagating various types of emissions from platforms in underwater warfare simulation, predicting interesting encounters between pairs of platforms, and managing environmental information. The battle space model has four components: the logger, spatial encounter predictor (SEP), propagator, and geographic information system (GIS) models. The logger model stores brief data on all the platforms in the simulation, and the GIS model stores and updates environmental factors such as temperature and current speed. The SEP model infers an encounter among the platforms in the simulation, and progresses the simulation to the time when this encounter will happen. The propagator model receives various emissions from platforms and propagates these to other "within-range" platforms by considering the propagation losses and delays. The battle space model is based on the discrete event system specification (DEVS) and the discrete time system specification (DTSS) formalisms. To verify the battle space model, simple underwater warfare between a battleship and a submarine was simulated. The simulation results with the model were the same as the simulation results without the model.

• The KIPS Transactions:PartA
• /
• v.12A no.5 s.95
• /
• pp.365-374
• /
• 2005

Schedulability analysis is necessary to build reliable embedded real-time systems. For schedulability analysis, worst-case execution time(WCET) analysis that computes upper bounds of the execution times of tasks, is required indispensably. WCET analysis is done in two phases. The first phase is high-level analysis that analyzes control flow and finds longest paths of the program. The second phase is low-level analysis that computes execution cycles of basic blocks taking into account the hardware architecture. In this thesis, we design and implement integrated WCET analysis tools. We develop the WCET analysis tools for XScale-based system called WATER(WCET Analysis Tool for Embedded Real-time system). WATER consist of high-level flow analyzer and low-level execution time analyzer. Also, We compare real measurement for execution of program with analysis result calculated by WATER.

• Journal of Korean Society of Transportation
• /
• v.25 no.5
• /
• pp.183-193
• /
• 2007

Traditionally, a congestion charge based on first-best congestion pricing theory, namely, the theory of marginal cost pricing theory, is equal to the difference between marginal social cost and marginal private cost. It is charged on each link so as to derive a user equilibrium flow pattern to a system optimal one. Based on this theory this paper investigates on the characteristics of first-best congestion pricing of multiple user class on road with variable demand, and presents two methods for analysis of social and spatial equity. For these purposes, we study on the characteristics of first-best congestion pricing derived from system optimal in time and in monetary unit, and analyze equity from this congestion pricing with an example network.

• Journal of Korean Society of Transportation
• /
• v.18 no.4
• /
• pp.41-50
• /
• 2000

신호교차로에서 맨 우측차로의 대부분이 우회전 공용차로로 사용되는데 도로용량편람에서 우회전이 불가능한 보행자 횡단시간 비율$(f_c)$은 공용차로의 용량을 결정하는 우회전보정계수$(f_{RT})$의 산정시 중요한 요소가 된다. 그러나 이에 대한 국내의 연구는 미미하여 연구의 필요성이 있다고 생각된다. 본 연구는 유입부의 직진신호시간을 위주로 교차방향 횡단보도 내의 보행자수와 우회전차량의 통과여부를 촬영하여 분석하는 방법으로 진행되었으며, 우회전 차량이 교차도로의 보행자 횡단시간에 보행자와의 상충으로 우회전하지 못하는 시간 비율을 산정함에 있어서 횡단보도의 보행자수에 따라 우회전 차량의 통과율을 구하고 이로부터 횡단보도 보행신호시간동안에 우회전이 불가능한 시간비율을 산정했다. 연구결과는 우회전이 불가능한 시간비율이 시간당 보행자수(양방향)가 500인/시~1,500인/시로 변할 때 0.78에서 0.94사이의 값을 가지며 한국도로용량편람에서 제시한 값 0.3에서 0.9보다는 대체로 큰 것으로 나타났다. 따라서 한국용량편람에서 얻은 우회전차로의 용량은 과대 평가되는 경향이 있다.