• Industrial Engineering and Management Systems
• /
• 제9권2호
• /
• pp.178-194
• /
• 2010

To improve the ship operation in automated container terminals, it is important to schedule different types of handling equipment to operate synchronously. For example, a vehicle with container receiving and lifting capabilities is used to transport containers from a storage yard to a vessel and vice versa, while a triple quay crane (QC) can handle up to three 40-ft containers simultaneously. This paper discusses the manner in which vehicles should be assigned to containers to support such multi-lifts of QCs by using information about the locations and times of deliveries. A mixed-integer programming model is introduced to optimally assign delivery tasks to vehicles. This model considers the constraint imposed by the limited buffer space under each QC. A procedure for converting buffer-space constraints into time window constraints and a heuristic algorithmfor overcoming the excessive computational time required for solving the mathematical model are suggested. A numerical experiment is conducted to compare the objective values and computational times of the heuristic algorithm with those of the optimizing method to evaluate the performance of the heuristic algorithm.

• Industrial Engineering and Management Systems
• /
• 제11권4호
• /
• pp.397-405
• /
• 2012

This research proposes a framework of buffer management for multi-project systems in the critical chain project management (CCPM) method, expressed in the form of max-plus linear (MPL) representation. Since time buffers are inserted in the projects for absorbing uncertainties in task durations and protecting the completion times, the proposed method provides a procedure for frequently surveying the rates of consumed buffers and the rate of elapsed times. Their relation expresses the performance of the projects which is plotted on a chart through the completed processes. The chart presents the current performance of the projects and their interaction, which alerts managers to make necessary decisions at the right time for managing each project and the entire multi-project system. The proposed framework can analyze the complex system readily, and it enables managers to make an effective decision on scheduling. The effectiveness of the framework is demonstrated through a numerical example.

• Journal of Information Technology Applications and Management
• /
• 제11권2호
• /
• pp.179-190
• /
• 2004

This paper describes the design of hacking prevention systems using a smart card. It consists of two parts, i.e., PC authentication and Keyboard-buffer hacking prevention. PC authentication function is a procedure to handle the access control to the target PC. The card's serial number is used for PIN(Personal Identification Number) and is converted into hash-code by SHA-1 hash-function to verify the valid users. The Keyboard-buffer hacking prevention function converts the scan codes into the encoded forms using RSA algorithm on the Java Card, and puts them into the keyboard-buffer to protect from illegal hacking. The encoded information in the buffer is again decoded by the RSA algorithm and displayed on the screen. in this paper, we use RSA_PKCS#1 algorithm for encoding and decoding. The reason using RSA technique instead of DES or Triple-DES is for the expansion to multi-functions in the future on PKI. Moreover, in the ubiquitous computing environment, this smart card security system can be used to protect the private information from the illegal attack in any computing device anywhere. Therefore, our security system can protect PC user's information more efficiently and guarantee a legal PC access authority against any illegal attack in a very convenient way.

• 대한산업공학회지
• /
• 제34권3호
• /
• pp.296-307
• /
• 2008

A semiconductor production system has sophisticated manufacturing operations and needs high capital investment for its expensive equipment, which warrants efficient real-time flow control for wafers. In the bay, we consider material handling equipment that can handle multiple carriers of wafers. The dispatching logic first determines the transportation time of each carrier to its destination by each unit of transportation equipment and uses this information to determine the destination machine and target carrier. When there is no available buffer space at the machine tool, the logic allows carriers to stay at the buffer of a machine tool and determine the delay time, which is used to determine the destination of carriers in URL. A simulation study shows this dispatching logic performs better than the procedure currently in use to reduce the mean flow time and average WIP of wafers and increase efficiency of material handling equipment.

• 한국산학기술학회논문지
• /
• 제5권5호
• /
• pp.429-432
• /
• 2004

본 논문은 단일형태의 버퍼 구조로 물리적인 단일 큐의 시퀀서 갖고 논리적으로 다중 큐의 형태로 구성된 ATM스위치를 제안한다. 제안된 스위치는 순환적 순위 알고리즘이 적용되도록 하드웨어로 구현된 ATM 셀의 출력 포트에 따라 ATM 셀이 정렬되도록 프로시져를 수행시킨다. 이 구조는 물리적으로 단일 버퍼를 갖지만 논리적으로는 순환적으로 순위를 결정하여 출력포트에서의 상충을 최대한 억제하도록 설계된 다중 큐의 기능을 하고 있다. 향후 이러한 형태의 구조는 다양한 구조의 라우팅을 위한 스위치로 응용되고, 시스템 구성의 확장성에 있어서도 큰 장점을 지니고 있어, 전송 효율적인 면에서도 훌륭한 구조로 평가된다.

• 인터넷정보학회논문지
• /
• 제8권6호
• /
• pp.87-93
• /
• 2007

컴포넌트 기반 소프트웨어 개발에서, 컴포넌트 모듈간의 인터페이스는 매우 중요하다. 대부분의 기존 방법들은, 커넥터가 원격 프로시저 호출(RPC)이나 이벤트 호출에 의해서 둘 또는 그 이상의 컴포넌트들 사이의 모든 통신 채널을 담당한다. 그러나 이들 처리방법은 컴포넌트가 커넥터를 통하여 다른 컴포넌트에게 많은 요청을 보낼 때 한계를 가진다. 즉, 커넥터에서 다중 요청을 처리할 수 있는 보다 효율적인 인터페이스 방법이 필요하다. 본 논문에서는 커넥터에서 메시지 큐를 이용한 상호작용 스케줄링 알고리즘을 제안하였다. 이를 위하여 메시지를 일시적으로 저장 및 가져오도록 운영하는 메시지 버퍼를 사용하였다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 추계학술대회 논문집
• /
• pp.640-645
• /
• 2004

In this thesis, the impact analysis for the shunting procedure using the dynamic buffer characteristics of the coupler was developed. In this study, each car was modeled as one dimensional element by using the equivalent system. After the impact, the slip exists only between wheel and rail in the braked trainset. For this analysis the analysis code named the POTAS-MSM (Power Transmission Analysis Software Multi Slip Mechanism) which was developed for the numerical analysis of dynamic system is developed. The validation of this analysis was proven by comparing the numerical results with the results of world-famous S company which is located in Europe.

• ETRI Journal
• /
• 제39권5호
• /
• pp.683-694
• /
• 2017

Several studies have focused on multimedia transmission over wireless sensor networks (WSNs). In this paper, we propose a comprehensive and robust model to transmit images over cognitive radio WSNs (CRWSNs). We estimate the spectrum sensing frequency and evaluate its impact on the peak signal-to-noise ratio (PSNR). To enhance the PSNR, we attempt to maximize the number of pixels delivered to the receiver. To increase the probability of successful image transmission within the maximum allowed time, we minimize the average number of packets remaining in the send buffer. We use both single- and multi-channel transmissions by focusing on critical transmission events, namely hand-off (HO), No-HO, and timeout events. We deploy our advanced updating method, the dynamic parameter updating procedure, to guarantee the dynamic adaptation of model parameters to the events. In addition, we introduce our ranking method, named minimum remaining packet best channel selection, to enable us to rank and select the best channel to improve the system performance. Finally, we show the capability of our proposed image scrambling and filtering approach to achieve noticeable PSNR improvement.

• 한국환경생태학회지
• /
• 제31권2호
• /
• pp.252-265
• /
• 2017

본 연구에서는 고밀 시가화지역 내 녹지들의 경관생태학적 특성과 연결성을 분석함으로써 잠재적인 녹지패치들의 활용가능성을 평가하고, 이를 통해 생활권 내 녹지 네트워크를 형성하기 위한 도시정원의 도입 방안을 제시하고자 한다. 이를 위해, 서울시에서 공원 서비스 소외지역 및 중점녹화지구로 분류된 역삼동 일대를 대상지로 선정하였다. 우선, 대상지 일대 고밀 시가화지역 내 녹지의 현황을 가로녹지, 개인정원, 자투리공지, 공원, 옥상정원의 5개 항목으로 분류하여 파악하고, 녹지 네트워크 분석 및 잠재적 녹지의 가치를 평가하기 위하여 FRAGSTATS를 통한 경관지수 분석 및 다중버퍼생성분석을 통한 연결성평가를 실시하였다. 연구결과, 대상지 내 녹지면적은 가로녹지, 개인정원, 자투리공지, 공원, 옥상정원의 순으로 분포되어 있었다. 녹지의 유형별 특징으로는 가로녹지의 경우 핵심지역면적(TCA)이 $1,618m^2$로 가장 높은 값을 보여 선형 연결 녹지임에도 공원($1,128m^2$)에 상응하는 크기를 보였고, 개인정원의 경우 패치의 모양이 불규칙하면서도(ED=78.1m/ha), 최근린 평균거리가 33.9m로 낮아 사유지내에서의 자유로운 정원조성을 통해 고밀 시가화지역의 녹지군을 형성할 수 있음을 나타내었다. 자투리공지의 경우 대상지 내 가장 고루 분포하는(LPI=5.7%, SHEI=0.9) 녹지유형이나 외부교란에 노출되어 있어($TCA=66m^2$), 이를 고려한 정원으로의 활용방안을 시사하였다. 대상지 내 녹지네트워크 형성에 있어서도 50m의 버퍼 범위를 연결녹지로 상정한 경우 전체 대상지의 84%가 소규모 녹지네트워크에 의해 커버되는 것으로 나타났으며, 자투리공지의 연결만으로도(27%) 가로녹지(26%) 조성에 상응하는 네트워크 구축효과가 기대되었다. 이에, 주택지역을 중심으로 다양한 활동이 가능한 자투리 공공녹지에 지역기반의 커뮤니티 가든 등 도시정원 조성을 장려하고, 가로녹지, 개인정원, 옥상정원도 동시에 적극 활용함으로써 고밀 시가화지역 내에 녹지네트워크를 효과적으로 구축할 수 있다고 판단되었다.

• Bulletin of the Korean Chemical Society
• /
• 제32권8호
• /
• pp.2648-2656
• /
• 2011

A simple HPLC-DAD method was developed and validated to determine B group vitamin content (thiamine, riboflavin, nicotinamide, pantothenic acid, pyridoxine and folic acid) in supplemented food samples, i.e., infant formula, cereal, low-calorie food, a multi-vitamin pill and a vitamin drink. In this study, the most significant advantages were simultaneous determination of the six B group vitamins in various food matrices and a small number of sample treatment steps that required only an organic solvent, acetonitrile. Moreover, this method prevents reduction of column durability, because the mobile phase does not contain ion-pairing reagents. Analytes were separated on a Develosil RPAQUEOUS $C_{30}$ (4.6 mm ${\times}$ 250 mm, 5 ${\mu}M$ particle size) column with a gradient elution of acetonitrile and 20 mM phosphate buffer (pH 3.0) at a flow rate between 0.8 and 1.0 mL/min. Detection was performed at 275 nm, except for that of pantothenic acid (205 nm). The calibration curves for all six vitamins showed good linearity with correlation coefficients ($r^2$) higher than 0.995. The developed method was validated with respect to linearity, intra- and inter-day accuracy and precision, limit of quantification (LOQ), recovery and stability. The method showed good precision and accuracy, with intra- and inter-assay coefficients of variation less than 15% at all concentrations. The recovery was carried out according to the standard addition procedure, with yields ranging from 89.8 to 104.4%. This method was successfully applied to the determination of vitamin B groups in supplemented food products.