• Journal of Korea Multimedia Society
• /
• v.9 no.11
• /
• pp.1503-1514
• /
• 2006

Today, consumers can access Internet from everywhere, therefore most commercial and other organizations provide their services on the Web. As the result, countless Web service systems are already on the Internet and more systems are under construction. Therefore, many researches of verifying that the system to be constructed will not have any deadlock and will run successfully without any problem at the early stage of design have been performed. Several Petri net based verification methods have also been published. However, they have focused on building Petri net models of Web service systems and none of them introduces efficient analysis methods. As a mathematical technique with which we can find the minimum duration time needed to fire all the transitions at least once and coming back to the initial marking in a timed net, the minimum cycle time method has been widely used in computer system analysis. A timed net is a modified version of a Petri net where a transition is associated with a delay time. A delay time used in a timed net is a constant even though the duration time associated with an event in the real world is a stochastic number in general. Therefore, this paper proposes 'Mixedly Distributed Stochastic Timed Net' where a transition can be associated with a stochastic number and introduce a minimum cycle time analysis method for 'Mixedly Distributed Stochastic Timed Net'. We also introduce a method of analysing a Web service system's response time with the minimum cycle time analysis method for 'Mixedly Distributed Stochastic Timed Net.'.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2011.05a
• /
• pp.403-407
• /
• 2011

본 연구에서는 임의시간 환산계수(Conversion Factor, CF)와 관련하여 거의 유일한 이론적 연구인 Weiss 모형을 자세히 검토하고, 그 문제점을 보완한 수정 Weiss 모형을 제안하였다. 특히, 임의시간 환산계수를 이론적인 방법을 통해 산정하는 과정에서 강우 지속기간과 강우 시간분포의 특성을 반영하지 못하는 한계를 극복하는 시도의 하나로서 강우의 시간분포 특성을 고려하여 CF를 결정하였다. 이를 실제 관측 자료에 근거한 국내 외 CF값들과 비교해본 결과, 수정 Weiss 모형을 근거로 산정한 CF값은 강우 시간분포의 특성에 영향을 받으며 그 형태에 따라 다양한 값이 나타남을 확인할 수 있었다.

• Annual Conference of KIPS
• /
• 2005.05a
• /
• pp.1749-1752
• /
• 2005

하드웨어/소프트웨어 통합설계에서 기존의 FDS(Force-Directed Scheduling)를 응용하는 모든 방법들은 분포 그래프를 기반으로 분할을 수행하는데, 이들의 문제점은 입력테이블의 특정한 설계방법에서 구현이 불가능한 노드가 존재할 때에는 분할의 해가 존재함에도 불구하고 분할의 해를 찾지 못하는 경우나 다양한 해가 존재함에도 불구하고 탐색공간을 충분히 고려하지 못하는 경우가 발생한다. 본 연구에서는 입력테이블의 여러 가지 설계방법에서 구현이 불가능한 노드가 복합적으로 존재하는 경우에도 분포그래프를 생성하고 생성된 분포 그래프의 노드별 힘을 계산하여 분할이 가능하게 하였다. 제안 방법은 비용테이블에서 특정한 구현방법으로의 매핑이 불가능한 경우에는 최소 실행시간을 갖는 구현방법을 임의로 선택해서 분포그래프를 생성하여 분할할 수 있도록 하였다. 제안방법의 실험 결과는 기존의 FDS 응용 방법들보다 개선된 알고리즘 실행시간과 더불어 여러개의 노드에 대해 불가능한 구현 방법이 복합적으로 존재할 때에도 분할이 가능함을 보인다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2020.07a
• /
• pp.555-556
• /
• 2020

본 논문에서는 지속적으로 증가하는 이동통신 가입자를 수용하고 초고속 모바일 데이터 서비스를 제공하기 위해서 무선 자원을 효율적으로 사용하기 위한 호 제어 방법을 제안한다. 제안된 방법에서는 핸드오버 호 요구를 효율적으로 처리하고 서비스 품질을 개선하기 위하여 핸드오버 지속시간(핸드오버 요구부터 기존 채널 절단까지의 핸드오버 영역에 머무르는 시간)을 고려하여 핸드오버 영역을 먼저 벗어나는 순서를 예측하고 이를 기준으로 우선순위가 높은 핸드오버 호를 먼저 처리한다. 제안된 방법의 성능을 분석하기 위하여 시뮬레이션을 수행하였으며, 가입자의 새로운 호의 발생 시간 간격과 호의 통화시간을 지수분포로 가정하고 지수분포의 memoryless property 특성을 이용하였다. 수행 결과, 제안된 방법이 기존의 FIFO(First-In-First-Out) 방법에 비하여 호의 블록킹 확률과 강제 종료 확률이 감소(평균 25.2%)됨을 알 수 있다.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.19 no.39
• /
• pp.205-218
• /
• 1996

본 연구는 써버의 고장을 허용하는 단수써버 Queueing 시스템의 확률적 모델을 제시한 것으로, 써버는 N 제어 정책에 의하여 작동되며, 도착은 Stationary compound poisson에 의하여 이루어지고, 서비스 시간에 대한 분포는 Erlang에 의하여 발생하며, 수리시간에 대한 분포는 평균이 일정한 분포에 의하여 생성되는 경우를 고려하였다. 또한 고장간격 시간은 일정한 평균을 가진 임의의 분포를 가진 Renewal process에 의한다고 가정하였고, 완료 시간의 개념은 재생과정의 적용방법에 의하여 유도할 수 있으며, 시스템 크기의 확율 생성 함수의 값이 구해진다는 것을 제시하였다.

• Journal of Korea Water Resources Association
• /
• v.39 no.9 s.170
• /
• pp.779-786
• /
• 2006

In this study, we propose a new method that utilizes rainfall data in and out of a basin, which is greater than 25.4mm for point rainfall or 12.7mm for areal mean rainfall respectively. From our analysis, most frequent quartile for point and areal mean rainfall were found to be the same in general for various rainfall duration intervals. From an evaluation of design rainfall per each rainfall duration distributed in time by the MOCT(Ministry of Construction and Transportation) version of Huff's method and this study, peak rainfall intensity by this study was found to be greater than the one by MOCT, but there were no consistent increase or decrease of this difference with rainfall durations. Using the distributed design rainfall per each duration by MOCT and this study, corresponding flood inflow hydrographs were simulated and compared each other. Contrary to the case of peak rainfall intensity, difference in peak flow by both methods per each rainfall duration started to increase from about 12-hr duration. Especially, the difference in peak flow was significant when critical rainfall duration was considered, and this trend was similar for peak flows of other rainfall durations. Therefore, the method proposed in this study is thought to be the effective procedure for the construction of dimensionless cumulative rainfall curve that is representative of a basin while considering time distribution characteristics for different rainfall durations.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2019.05a
• /
• pp.321-321
• /
• 2019

수공구조물을 설계하는데 설계강우량을 결정하기 위한 강우시간분포의 생산은 중요한 요소이고 주로 Huff 방법, Mononobe 방법, SCS 방법, Yen and Chow 방법 등을 이용하고 있다. 그러나 Huff 방법 등들로 한국의 극치강우사상을 고려하기에는 반영하지 못하는 한계점이 있었다. 본 연구에서는 기존 방법들의 한계점을 극복하고 한국 극치강우사상의 집중지속시간 특성을 반영하는 HSD 방법을 제시하여 서울과 대구광역시에 적용해 설계빈도에 관한 강우 시간분포를 발생시키고 설계 강우량을 산정하며 기존 기법들과 비교하였다. 이에 따라 연구결과를 통해 Huff 방법과 HSD 방법의 첨두 강우량은 지속시간이 길어질수록 차이가 상당하였고 과거 극치강우사상을 살펴보면 HSD 방법을 반드시 고려할 필요가 있다고 판단되었다. 게다가 기후변화로 인해 집중호우현상이 더욱 심해져서 Huff 방법만 이용할 경우 추후에 큰 문제가 발생할 수도 있다. 그래서 수공 구조물 설계 시 HSD 방법을 이용한 대상 지역의 집중지속시간 특성을 반영하는 설계 강우량과 Huff 방법을 이용한 설계 강우량을 같이 고려하여 비교 선택하면 안전한 수공구조물 설계를 실시 할 수 있을 것으로 판단되었다.

• The Korean Journal of Applied Statistics
• /
• v.31 no.1
• /
• pp.109-122
• /
• 2018

The composite lognormal-generalized Pareto distribution (LN-GPD) is a mixture of right-truncated lognormal and GPD for a given threshold value. Scollnik (Scandinavian Actuarial Journal, 2007, 20-33, 2007) shows that the composite LN-GPD is adequate to describe body distribution and heavy-tailedness. This paper considers time-varying modeling of the LN-GPD based on local polynomial maximum likelihood estimation. Time-varying model provides significant detailed information of time dependent data, hence it can be applied to disciplines such as service engineering for staffing and resources management. Our work also extends to Beirlant and Goegebeur (Journal of Multivariate Analysis, 89, 97-118, 2004) in the sense of losing no data by including truncated lognormal distribution. Our proposed method is shown to perform adequately in simulation. Real data application to the service time of the Israel bank call center shows interesting findings on the staffing policy.

• Journal of Korea Water Resources Association
• /
• v.55 no.4
• /
• pp.257-266
• /
• 2022

Inundation damage is increasing every year due to localized heavy rain and an increase of rainfall exceeding the design frequency. Accordingly, the importance of hydraulic structures for flood control and defense is also increasing. The hydraulic structures are designed according to its purpose and performance, and the amount of flood is an important calculation factor. However, in Korea, design rainfall is used as input data for hydrological analysis for the design of hydraulic structures due to the lack of sufficient data and the lack of reliability of observation data. Accurate probability rainfall and its temporal distribution are important factors to estimate the design rainfall. In practice, the regression equation of temporal distribution for the design rainfall is calculated using the cumulative rainfall percentage of Huff's quartile method. In addition, the 6^th order polynomial regression equation which shows high overall accuracy, is uniformly used. In this study, the optimized regression equation of temporal distribution is derived using the variable selection method according to the principle of parsimony in statistical modeling. The derived regression equation of temporal distribution is verified through the significance test. As a result of this study, it is most appropriate to derive the regression equation of temporal distribution using the stepwise selection method, which has the advantages of both forward selection and backward elimination.

• Journal of Korea Society of Industrial Information Systems
• /
• v.12 no.1
• /
• pp.108-117
• /
• 2007

For a PERT network the sensitivity analyses are valuable tools for effective management and control of a project. In a previous article, a method was developed for the sensitivity analysis of the expected project completion time (${\mu}_{T}$) with respect to the expected duration of an activity (${\mu}_{i}$) under the assumption that the durations of activities are independent and normally distributed. In the present article, a method is presented for the sensitivity analysis of ${\mu}_{T}$ with respect to ${\mu}_{i}$ when the durations of activities are independent and follow discrete distributions, which utilizes the previous sensitivity analysis method with modifications. The accuracy of the proposed method is assessed using various example PERT networks, and the computational results indicate that the accuracy is comparable to that of direct Monte Carlo simulation.