재사용 가능한 병리 온톨로지 구축을 위한 지식 모델링 시스템 개발

하병현(Byung-hyun Ha),김홍기(Hong-Gee Kim),이재일(Jae-il Lee),김명기(Myeng-Ki Kim),강석호(Suk-Ho Kang) 한국정보과학회 2003 한국정보과학회 학술발표논문집 Vol.30 No.2Ⅱ

본 연구에서는 병리진단 시 참여자들의 지식과 의견을 효과적으로 교환할 수 있는 온톨로지를 구축하고, 구축한 온톨로지를 기반으로 진단절차를 전산화하는 PathOnt 시스템을 개발하였다. PathOnt 시스템은 재활용 가능한 온톨로지를 사용함으로써 여러 전문가들 간의 의사소통과 지식공유의 문제를 극복하였으며, 다 충위로 구현하여 웹 어플리케이션으로써의 비전도 제시하였다.

시뮬레이션을 이용한 치과의원의 예약정책과 스케줄링 규칙 평가

하병현 ( Byung Hyun Ha ) 한국병원경영학회 2011 병원경영학회지 Vol.16 No.4

In today`s competitive dental markets, it is of paramount importance to improve service quality and at the same time to use scarce resource efficiently. In this study, we present appointment policies and scheduling rules for private dental clinics to reduce the waiting time of patients and to increase the revenue by utilizing resource more effectively. This study validates the proposed appointment policies and scheduling rules based on simulation models. We show that the bottleneck-based appointment policy is the most effective among appointment policies, followed by the multiple-block appointment one. The shortest processing time among scheduling rules contributes most to the performance of the appointment system.

자원 제약이 없는 환경에서 부분 우선순위를 고려한 Earliness-Tardiness 최적 일정계획 알고리즘

하병현(Byung-Hyun Ha) 한국경영과학회 2013 한국경영과학회지 Vol.38 No.2

In this paper, we consider the minimization of the total weighted earliness-tardiness penalty of jobs, regarding the partial precedences between jobs, We present an optimal scheduling algorithm in 0(n(n+m log m)) where n is the number of jobs and m is the number of partial precedences. In the algorithm, the optimal schedule is constructed iteratively by considering each group of contiguous jobs as a block that is represented by a tree.

수리 모형을 이용한 조선 산업에서의 블록 적치장 최적 운영 계획 도출

하병현(Byung-Hyun Ha),손정열(Jung-Ryoul Son),조규갑(Kyu Kab Cho),최병천(Byung-Cheon Choi) 한국경영과학회 2013 經營 科學 Vol.30 No.3

This paper studies the scheduling problem of storing and retrieving assembly blocks in a temporary storage yard. The objective is to minimize the number of relocations of blocks while the constraints for storage and retrieval time windows are satisfied. We present an integer programming model based on multi-commodity network flows, and the three revised models based on the properties of the problem. We show that the revised models are more efficient than the generic model through the numerical experiments.

컨테이너 터미널에서 베이 내 컨테이너의 최적 재정돈을 위한 A* 알고리즘

하병현(Byung-Hyun Ha),김상수(Sangsu Kim) 대한산업공학회 2012 대한산업공학회지 Vol.38 No.2

In most container terminals, containers are piled up and stored in a yard in order to utilize the space efficiently. Hence, it requires unproductive container-handling operations to retrieve a container that is not placed on the top of a container stack. As a result, to streamline container-loading operations by which containers are transferred from a yard to a vessel, it is necessary to pre-marshal (i.e., shuffle in advance) containers in accordance with container-loading plan. We propose A* algorithm to find the optimal container-relocation sequence for the intra-bay container pre-marshalling problem. To work out the heuristic estimate for the proposed A* algorithm, we introduce the container rearrangement problem and obtain the lower bound of the length of the optimal relocation sequence. The performance of the algorithm is validated extensively by the numerical experiments on the problem instances that are given in the previous studies and generated randomly with various parameters.

최소 비용할당 기반 온라인 지게차 운영 알고리즘

권보배,손정열,하병현,kwon, BoBae,Son, Jung-Ryoul,Ha, Byung-Hyun 한국시뮬레이션학회 2018 한국시뮬레이션학회 논문지 Vol.27 No.2

Forklifts in a shipyard lift and transport heavy objects. Tasks occur dynamically and the rate of the task occurrence changes over time. Especially, the rate of the task occurrence is high immediately after morning and afternoon business hours. The weight of objects varies according to task characteristic, and a forklift also has the workable or allowable weight limit. In this study, we propose an online forklift dispatching algorithm based on nearest-neighbor dispatching rule using minimal cost assignment approach in order to attain the efficient operations. The proposed algorithm considers various types of forklift and multiple jobs at the same time to determine the dispatch plan. We generate dummy forklifts and dummy tasks to handle unbalance in the numbers of forklifts and tasks by taking their capacity limits and weights. In addition, a method of systematic forklift selection is also devised considering the condition of the forklift. The performance indicator is the total travel distance and the average task waiting time. We validate our approach against the priority rule-based method of the previous study by discrete-event simulation.

조선산업의 블록적치계획에 관한 연구

Jung-Ryoul Son(손정열),Byung-Hyun Ha(하병현),Kyu-Kab Cho(조규갑) 한국경영과학회 2013 한국경영과학회 학술대회논문집 Vol.2013 No.5

Goal-Based Knowledge Agent Approach for Ubiquitous Healthcare Services

Ji-Hong Kim(김지홍),Byung-Hyun Ha(하병현),Wookey Lee(이우기),Suk-Ho Kang(강석호),허원창 대한산업공학회 2005 대한산업공학회 춘계학술대회논문집 Vol.2005 No.5

컨테이너 터미널 운영 분석을 위한 형식 프레임워크

박은정(Eun-Jung Park),하병현(Byung-Hyun Ha) 한국전자거래학회 2013 한국전자거래학회지 Vol.18 No.2

정보 기술이 적용된 장비 및 운영 시스템의 발달로 실시간 운영 데이터를 수집할 수 있게 되었으며, 현재 많은 터미널이 생산성 분석을 위해 상세한 작업이력을 추적하고 있다. 터미널 운영자는 수집된 작업이력 데이터를 통해 운영 중 발생하는 문제점들을 해결할 수 있는 방안을 도출하기 원하지만, 방대한 양의 자료를 수작업으로 분석하기는 쉽지 않다. 본 연구에서는 터미널 운영 중 획득된 작업이력을 바탕으로 터미널 운영자가 원하는 컨테이너 터미널의 성능지표를 손쉽게 도출하기 위한 방안을 제시한다. 이를 위해 다양한 컨테이너 터미널의 환경과 운영 방식, 운영 장비 등을 지원하기 위해 범용적으로 사용될 수 있는 형식 프레임워크(formal framework)를 고안하였다. 본 연구에서 제안하는 프레임워크는 컨테이너 처리 객체라는 개념을 기반으로 터미널 형태, 로그 데이터, 장비의 워크플로우, 통계 처리 및 보고서를 각각 정의하는 사용자 명세 부분으로 구성된다. 그리고 제안된 프레임워크를 기반으로 터미널 성능 분석시스템을 개발하여 그 유효성을 검증하였다. Today, information technologies have been applied to operations in container terminals, and it is possible to collect operational log data due to development of equipment and operations technology. Terminal operators are collecting event log data and try to figure out the way of resolving operations problems. Operators want to analyze event logs to determine the causes of the operation problems, but it can hardly be done manually. In this paper, we suggest a formal framework to evaluate performance measures using the collected log data of operations in container terminals. The proposed formal framework supports different container terminal layout, operational processes, and equipment. Our formal framework is composed of specification of terminal layout, log data, workflow, statistics, and report, based on the concept of container handling objects. For validation of our framework, we have implemented a terminal performance analysis system based on the proposed framework.

선박 물류 프로세스의 실시간 서비스 완료시간 예측에 대한 연구

윤신휘(Shin Hwi Yun),하병현(Byung-Hyun Ha) 한국전자거래학회 2012 한국전자거래학회지 Vol.17 No.2

물류 시스템은 다양한 프로세스에 걸친 한정된 자원들의 작업을 통해 고객에게 서비스를 제공한다. 이와 같은 복잡한 환경에서 높은 서비스 수준을 유지하기 위해서는 프로세스 진행상황에 대한 실시간 모니터링과 그를 통한 성과 달성도의 지속적인 관리가 필수적으로 요구된다. 본 연구에서는 컨테이너 터미널을 대상으로 선박 물류 프로세스의 서비스 완료시간을 예측하는 방법론을 제시한다. 이를 위해 먼저 선박에서 컨테이너를 싣고 내리는 프로세스에 영향을 미치는 요인을 파악한다. 그리고, 확인된 요인들 중 영향 정도를 직접적으로 측정하기 어려운 것에 대해 정량적인 값을 추정하는 방안을 개발한다. 서비스 완료 시간에 대한 실시간 예측은 의사결정 나무를 사용한다. 과거 프로세스 진행 이력을 바탕으로 의사결정 나무를 학습시킨 후, 특정 시점에서 실시간 요인의 상태를 이용하여 서비스 완료시간을 예측한다. 컨테이너 터미널 시뮬레이션 모형을 활용하여 본 연구에서 제시하는 방법론을 검증하였다. Logistics systems provide their service to customers by coordinating the resources with limited capacity throughout the underlying processes involved to each other. To maintain the high level of service under such complicated condition, it is essential to carry out the real-time monitoring and continuous management of logistics processes. In this study, we propose a method of estimating the service completion time of key processes based on process-state information collected in real time. We first identify the factors that influence the process completion time by modeling and analyzing an influence diagram, and then suggest algorithms for quantifying the factors. We suppose the container terminal logistics and the process of discharging and loading containers to a vessel. The remaining service time of a vessel is estimated using a decision tree which is the result of machine-learning using historical data. We validated the estimation model using container terminal simulation. The proposed model is expected to improve competitiveness of logistics systems by forecasting service completion in real time, as well as to prevent the waste of resources.