• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.5
• /
• pp.645-652
• /
• 2016

The statistical modeling of input random variables is necessary in reliability analysis, reliability-based design optimization, and statistical validation and calibration of analysis models of mechanical systems. In statistical modeling methods, there are the Akaike Information Criterion (AIC), AIC correction (AICc), Bayesian Information Criterion, Maximum Likelihood Estimation (MLE), and Bayesian method. Those methods basically select the best fitted distribution among candidate models by calculating their likelihood function values from a given data set. The number of data or parameters in some methods are considered to identify the distribution types. On the other hand, the engineers in a real field have difficulties in selecting the statistical modeling method to obtain a statistical model of the experimental data because of a lack of knowledge of those methods. In this study, commonly used statistical modeling methods were compared using statistical simulation tests. Their advantages and disadvantages were then analyzed. In the simulation tests, various types of distribution were assumed as populations and the samples were generated randomly from them with different sample sizes. Real engineering data were used to verify each statistical modeling method.

• Economic and Environmental Geology
• /
• v.37 no.5
• /
• pp.499-508
• /
• 2004

Changwon City first constructed riverbank filtration plants in Book-Myeon and Daesan-Myeon in Korea in the year 2001. This study evaluated hydrogeological characteristics and groundwater flow simulation between the Nakdong River and the fluvial aquifers adjacent to the river in Book-Myeon, Changwon City. The groundwater simulation calculated the influx rate from the Nakdong River and the fluvial aquifers to pumping wells through the riverbank filtration system. The groundwater flow model utilized drilling, grain size analysis, pumping test, groundwater level measurements, river water discharge and rainfall data. Hydraulic heads calculated by the steady-state model closely matched measured heads in pumping and observation wells. According to the transient flow model, using a total pumping amount of 14,000 $m^3$/day, the flux into the pumping wells from the Nakdong River accounts for 8,390 $m^3$/day (60%), 590 $m^3$/day (4%) is from the aquifer in the rectilinea. direction to the Nakdong River, and 5,020 $m^3$/day (36%) is from the aquifer in the parallel direction to the Nakdong River. The particle tracking analysis shows that a particle from the Nakdong River moves toward the pumping wells at a rate of about 1.85 m/day and a particle from the aquifer moves toward the pumping wells at a rate of about 0.75 m/day. This study contributes to surface water/groundwater management modeling, and helps in understanding, how seasonal change affects pumping rates, water quality, and natural recharge.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06a
• /
• pp.262-264
• /
• 2012

유비쿼터스 지능형 공간에서 사용자의 개입 없이도 자율 실행하는 서비스 플러그 앤 플레이 시스템(Service Plug and Play System)은 기능적인 모델로서 총체적인 시스템의 협력 프로토콜 부재로 그 동시성 및 병렬성을 반영한 실행관리를 하기 어렵다. 이는 시스템을 구성하는 모듈로, 컨텍스트 수집기, 서비스 실행기, 공간관리기, 모바일 제어기 등이 UML의 시퀀스 다이어그램으로 모델링하여 각 기기의 기능과 실행흐름을 독립적으로 표현할 뿐, 기기간의 상호작용, 특히 병렬 및 동시 실행 알고리즘을 설계하고 검증하는 절차의 부재 때문이다. 본 논문에서, 각 기기의 실행 흐름 및 상호작용을 Petri Net을 이용하여 모델링함으로써, 시스템을 구성하는 각 디바이스의 상호작용 및 실행 흐름을 정의 하고 검증한다.

• Journal of KIISE:Software and Applications
• /
• v.27 no.9
• /
• pp.920-930
• /
• 2000

컴포넌트 기반의 소프트웨어 개발이 소프트웨어 복잡성, 비용, 그리고 품질을 해결하기 위한 새로운 대안으로 소개되고 있다. COM, Enterprise JavaBeans, CORBA 컴포넌트 모델등과 같은 다양한 컴포넌트 아키텍쳐들이 소개되고 있으며 컴포넌트 기반의 소프트웨어 개발 방법론과 여러 CASE 도구들이 이를 지원하고 있다.[1,2,3,4]. 그러나 현재 컴포넌트를 구현할 수 있는 기술은 제시되어 있지만 컴포넌트를 모델링하는 기법들에 대한 연구는 미약한 상태이다. 본 논문에서는 도메인 분석에서 공통성과 가변성 추출 및 클러스터링 기법을 이용한 컴포넌트를 분석하는 기법을 제시한다. 즉 컴포넌트 추출 기법, 컴포넌트의 핫스팟(또는 가변성)표현 기법, 컴포넌트 요구사항 정의 기법 등을 제시한다. 컴포넌트 개발에 있어서 이러한 모델링 기법을 적용함으로써 컴포넌트를 효율적으로 개발할 수 있을 뿐만 아니라 재사용성이 높은 고품질의 컴포넌트 개발을 지원할 수 있다.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.17 no.2
• /
• pp.153-160
• /
• 1999

On this study, We apply terrain analysis method using DTM(Digital Terrain Model) to mountainous district development to present the example of terrain-change modeling when we develop mountainous district, and the landscape-change modeling which is geographically referenced when a large scale utility was constructed on mountainous district. Finally, we present an one way which raise a efficiency of national land use and future oriented, environmentally friendly national land development.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.38-43
• /
• 2008

특성 모델(Feature Model)은 소프트웨어 제품 라인 개발 시 도메인 공학 단계에서 제품들 사이의 공통점과 차이점을 모델링하는데 널리 사용된다. 특성 구성(Feature Configuration)은 특성 모델로부터 특정 제품에 포함될 특성들을 선택한 결과이다. 특성 구성은, 특성 모델에 표현되어 있는 여러 가지 제한 조건을 만족해야 한다. 본 논문에서는 특성 모델 작성 기능과 특성 구성 정의 기능을 지원하고 특성 구성의 검증 기능을 지식 기반 시스템인 JESS를 활용하여 구현한 특성 모델링 도구를 제안한다. 본 도구는 자바 언어와의 결합성이 좋은 JESS 시스템을 이용하여 확장성이 좋으며 특성 구성에서의 오류 원인을 명확히 알려주는 장점을 가진다.

• The Journal of the Acoustical Society of Korea
• /
• v.17 no.6
• /
• pp.43-53
• /
• 1998

본 논문에서는 한국어 TTS시스템을 위한 운율구 추출, 운율구 사이의 휴지 기간, 음소의 지속 시간 모델링 방법을 설명한다. 실험을 위해 여러 장르로 구성된 400문장을 선 정하고, 이를 전문 여성 아나운서가 발성하였다. 녹음된 음성 신호에 대해 음소 및 운율구 경계를 결정하고, 문장에 대해서는 형태소 분석, 발음표기 변환, 구문 분석을 수행하였다. 400문장(약33분) 중 240문장(약20분)을 이용하여 결정 트리 및 회귀 트리를 학습시킨 후, 160분장(약13분)에 대해 실험하였다. 운율 모델링을 위한 특징들이 제안되었고, 학습된 트리 들을 해석함으로써 특징들의 유효성이 평가되었다. 실험 문장에 대해 운율구 경계의 유무를 결정하는 결정 트리의 오류율은 14.46%이었고, 운율구 사이의 휴지 기간과 음소 지속 시간 을 예측하기 위한 회귀 트리들의 평균 제곱 오류근(RMSE)이 각각 132msec, 22msec이었다. 수집된 모든 자료(400문장)로 학습한 결과, 운율구 경계 결정 오류율, 휴지 기간 및 지속시 간 RMSE의 10-fold cross-validation 추정치가 각각 13.77%, 127.91msec, 21.54msec이었다.

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2002.09a
• /
• pp.156-160
• /
• 2002

실험적 베리오그램의 모델링에 SA(Simulated Annealing)기법을 이용하였다. 최소 자승법의 해를 구하기 위하여 기존의 상용 프로그램에서 많이 이용되고 있는 반복법에 근거한 방법에 비해서 SA 기법은 초기 가정값에 크게 영향을 받지 않고 일정한 모델 인자의 값을 제시하였다. 임의의 초기 가정값을 입력하여도 충분한 반복 계산을 통하여 목적함수의 값이 광역적 최소값으로 수렴하는 것을 확인할 수 있었다. 베리오그램 모델이 일반적으로 비선형 모델이기 때문에 목적함수의 지역적 최소값으로의 수렴이 문제가 되고 이로 인하여 구해지는 인자의 값이 정확하지 않을 수 있지만 SA 기법을 이용하여 최소 자승법의 해를 구하게 되면 정확한 인자의 값을 구할 수 있음을 확인하였다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.11a
• /
• pp.208-212
• /
• 2000

최근들어 B2C, B2B로 불리는 인터넷 기반의 전자상거래 시스템의 성공적인 구축이 기업의 비즈니스 성공의 열쇠로 간주될 만큼 그 중요성이 커지고 있다. 본 논문에서는 상거래 행위에 개입하는 다자간의 비즈니스 플로우를 효과적으로 모델링하여 분석할 수 있는 DEVS(Discrete Event Modeling System)이론에 기반한 새로운 비즈니스 모델링/해석 방법론을 제안한다 제안하는 방법은 비즈니스 플로우를 기술할 수 있는 언어를 정의하고, 정의된 언어를 이용하여 기술되는 전자상거래에 개입하는 개체간 거래 행위를 DEVS 모델로 자동 변환하는 방법을 제시한다. 변환된 모델은 이산사건 시뮬레이션 환경인 rDEVSim++ 시뮬레이션 소프트웨어를 이용하여 실행된 후에 그래픽 인터페이스 환경에서 비쥬얼화되어 시스템의 동작 및 성능을 분석 가능하도록 지원한다. 위의 전과정을 포함하도록 개발된 소프트웨어는 기업의 비즈니스 모델 구축용으로 활용이 가능할 뿐만 아니라 전자상거래 관련 인력 양성을 위한 교육용 소프트웨어로도 활용이 가능하다.

• Journal of the Society of Naval Architects of Korea
• /
• v.30 no.3
• /
• pp.16-28
• /
• 1993

The object-oriented paradigm is being recognized as the most effective technique to develope the complex, large software system. In this paper, we propose the modeling methodology using object-oriented technology for the ship compartmentation design(OO _COMDEF) based on the proposed modeling methodology. Illustrative examples to show the application of the prototype system are given.