• Journal of Navigation and Port Research
• /
• v.30 no.1 s.107
• /
• pp.105-111
• /
• 2006

A LMTT (Linear Motor-based Transfer Technology) is a horizontal transfer system for the yard automation This system is based on PMLSM (Permanent Magnetic Linear Synchronous Motor) that consists of stator modules on the rail and shuttle car. In this research, the kriging interpolation method using sequential sampling is utilized to find the optimum design of a mover in LMTT. The design variables are considered as the transverse, longitudinal and wheel beam's thicknesses. The objective function is set up as weight, while the constant functions are set up as the stresses generated by four loading conditions. The optimum results obtained by the suggested method are compared with those determined by the GENESIS.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.397-399
• /
• 2001

Unified Modeling Language(UML)은 개발하고자 하는 시스템을 Visualizing, Specifying, Constructing, Documenting 화 해주는 graphical language 이다. 우리는 이러한 모델링 언어를 통하여, 객체지향 분석/설계 과정에 이용하고 있다. 그러나, EJB 로 Mapping 하기 위한 충분한 연구가 이루어지지 않아 개발자들이 EJB 로 UML 을 설계 및 구현을 명확하게 옮기지 못하였다. 본 논문에서는 이 점에 중점을 두고 UML Modeling 을 통해 설계 및 구현된 내용중 UML 의 Sequence Diagram 의 요소들을 EJB Bean으로의 구현시 Mapping 지침을 제시한다

• Proceedings of the Korea Water Resources Association Conference
• /
• 2017.05a
• /
• pp.430-430
• /
• 2017

본 연구에서는 유역모델링 시 오염원 산정의 공간적 범위를 합리적으로 고려하기 위해서, 유역모델링을 위한 소유역 구분간의 공간해상도를 유역의 오염부하량 산정을 위한 공간단위 수준으로 설정하여 새만금호 유역수질모델링을 실시하였다. 모형 구축은 HSPF (Hydrological Simulation Program - Fortran)를 이용하였으며, 오염부하량 산정단위인 리 동의 행정경계, 수치표고모델(DEM), 농경지 배수로 등 구조물들을 고려하여 새만금 유역을 대상으로 804개의 소유역을 구분 적용하였다. 소유역 세분화에 따른 계산량을 고려하여 효과적인 모델 구동을 위해 만경유역 7개, 동진유역 7개, 연안유역 3개 (총 17개)의 서브모델로 모의시스템을 구성하여 상류에서 하류로 서브모델을 순차적으로 보 검정 및 모의하도록 구현하였다. 유량 보 검정은 14개소 수문측정자료(2009~2013)와 자동보정기법을 적용하여 수행하였다. 유량보 검정결과 NSE (Nash-Sutcliffe coefficient)가 0.66~0.97, PBIAS가 -31~16.5%, $R^2$는 0.75~0.98의 범위를 보여 모형의 적용성을 확인할 수 있었다. 한편, 수질 보 검정의 경우 29개소 수질측점을 대상으로 온도, DO, BOD, TN, TP의 항목에 대해 유량보정과 같은 기간에 대해 수동보정을 실시하였다. 수질결과는 일부 상류유역에서 갈수기시 모의값이 다소 불안정한 부분이 발견되나 대체로 각 측점의 수질에 대한 시간적 변동 패턴과 평균적 수질은 합리적으로 모의하는 것으로 나타났다. 공간세분화에 따른 모델링결과를 선행연구들과 비교한 결과, 유량부문에서 우수성을 보였으나 수질부문은 비슷한 수준으로 나타났다. 본 연구는 향후 유역 오염원, 수자원 운영 등에 관한 정밀 자료 확보 시 이를 고려하는 고도화된 수문 수질 모델링 개발 및 구축에 적용될 수 있는 시스템으로 활용성이 높을 것으로 판단된다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2005.05b
• /
• pp.755-760
• /
• 2005

본 연구에서는 농업기반공사에서 구성한 AWDS (Agricultural Water Demand & Supply Estimation System: 농촌용수 수요공급량 산정시스템)를 기반으로 대상지역인 안고용수구역에 대한 정보를 추출하였다. 또한 이를 ArcGIS Hydro Data Model을 이용하여 유역의 공간객체와 하천 네트워크의 연관성을 부여하여 위상관계을 가지게 하였으며, 24개의 저수지, 18개의 양수장, 28개의 취입보 등 총 70개의 수리시설물의 네트워크를 모델링하였다. 이로 수리시설물의 공간위치를 가시적으로 표현하여 특정한 시설물 파악이 쉬우며, 하천망과 더불어 표현함으로써 순차적인 물수지의 체계를 이해하기 쉽도록 하였다.

• Proceedings of the KIEE Conference
• /
• 2005.07d
• /
• pp.2879-2881
• /
• 2005

본 논문에서는 뉴로-퍼지 모델의 전제부 소속함수의 새로운 학습방법을 통한 모델링 기법을 제안한다. 모델의 크기와 학습시간을 줄이는 기법으로 클러스터링 기법을 이용한 모델의 초기 파라미터 결정 방법이 있다. 이는 클러스터링 후 이들 파라미터를 다시 모델에 적용하여 모델을 학습하는 순차적 방법으로써 모델의 학습이 끝난 후의 전제부 파라미터가 클러스터링 파라미터와 연관성을 가지지 못하는 경우가 발생하였다. 또한 오차미분 기반 학습에서는 전제부 초기치가 국부적 최적해에서 벋어나지 못하는 문제점을 가지고 있다. 본 논문에서는 자율적으로 클러스터의 수를 추정하며 이들 파라미터를 최적화하며 이를 이용하여 뉴로-퍼지 모델의 학습을 실시하는 학습기법을 제안하였다. 제안된 방법에서는 기존의 오차미분 기반 학습을 클러스터링 기반 학습으로 확장하였으며 이를 이용한 모델의 성능을 기존의 연구결과와 비교하여 우수성을 보인다.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.15 no.1
• /
• pp.45-54
• /
• 2011

A program aiming at predicting dynamic characteristics of a Liquid Rocket Engine(LRE) was developed and examined to trace entire LRE operation. In the startup period, transient characteristics of the propellant flows were predicted and validated with hydraulic tests data. An arrangement of each component for the pipelines was based on an operating circuit of open cycle LRE. The flow rate ratio for the gas generator and the main chamber was determined to mimic that of real open cycle LRE. Individual component modeling at its transient was completed and was integrated into the system prediction program. Essential parameters of the component dynamic characteristics were examined in an integrated fashion.

• Journal of Energy Engineering
• /
• v.22 no.2
• /
• pp.156-168
• /
• 2013

Drilling expedition #1 in 2007 and drilling expedition #2 in 2010 were performed for gas hydrate resources evaluation and optimal site selection of pilot test in Ulleung basin, East Sea, Korea. This study presents to build the 3D spatial distribution models using the estimated sedimentary facies, porosity, and gas hydrate saturation derived by well logs and core analysis data from UBGH1-4, UBGH1-9, UBGH1-10, UBGH1-14, UBGH2-2-1, UBGH2-2-2, UBGH2-6, UBGH2-9, UBGH2-10 and UBGH2-11. The objective of 3D spatial distribution modeling is to build a geological representation of the gas hydrate-bearing sediment that honors the heterogeneity in 3D grid scale. The facies modeling is populating sedimentary facies into a geological grid using sequential indicator simulation. The porosity and gas hydrate saturation modeling used sequential Gaussian simulation to populate properties stochastically into grid cells.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.5
• /
• pp.1346-1353
• /
• 1996

In this paper, we propose a modeling method for the flip-flops and test generation algorithms to detect the faults in the sequential circuits using VHDL in the high-level design environment. RS, JK, D and T flip-flops are modeled using data flow types. The sequence of micro-operation which is the basic structure of a chip-level leads to a control point where varnishing occurs to one of two micro- operation sequence. In order to model the fault of one micro-operation(FMOP) that perturb another micro-operation effectively, the concept of goal trees and some heuristic rules are used. Given a faulty FMOP or fault of control point (FCON), a test pattern is generated by fault sensitization, path sensitization and determination of the imput combinations that will justify the path sensitization. The fault models are restricted to the data flow model in the ARCHITECTURE statement of VHDL. The proposed algorithm is implemented in the C language and its efficiency is confirmed by some examples.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.36 no.4B
• /
• pp.354-361
• /
• 2011

Increasing interest and technological advances in smart home has led to active research on context-awareness service and prediction algorithms such as Bayesian Networks, Tree-Dimensional Structures and Genetic prediction algorithms. Context-awareness service presents that providing automatic customized service regarding individual user's pattern surely helps users improve the quality of life. However, it is difficult to implement context-awareness service because the problems are that handling coincidence with context information and exceptional cases have to consider. To overcome this problem, we proposes an Intelligent Sequential Matching Algorithm(ISMA), models context-awareness service using Timed Petri-net(TPN) which is petri-net to have time factor. The example scenario illustrates the effectiveness of the Timed Petri-net model and our proposed algorithm improves average 4~6% than traditional in the accuracy and reliability of prediction.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.2
• /
• pp.261-274
• /
• 1999

Recently, automated business processing systems, so called workflow systems, have been studied. have been studied. even though each task has noticible duration inherently, most of previous models regard it as a simple finite automation where state transitions occur instantly. In this paper, we propose a modeling method for workflow each of whose component task has minimum processing time and due-date. Firstly we provide a priority function to choose the proper alternatives when tasks fail before their due-date. The priority function considers the time-relevant factor and the semantic compatibility level to decide the best alternative. secondly, we identify six different types of execution requirements for tasks with noticible durations. They are serial, parallel, simultaneous start simultaneous termination, interleaved and nested dependency. Note that previous models deal with only serial execution and parallel execution. Lastly, we also propose graph-based methods to detect logical conflicts in time constraint-based workflow specifications.