• Title/Summary/Keyword: 이산변수

Search Result 315, Processing Time 0.03 seconds

종합병원 외래약국을 위한 자동 물류 취급 시스템의 설계 및 실시간 운용

  • 김종원;우중원
    • ICROS
    • /
    • v.3 no.1
    • /
    • pp.75-82
    • /
    • 1997
  • 본 글에서는 자동물류취급시스템을 설치하여 극단적인 다품종소량생산시스템을 모델링하고 분석하여 설계변수들을 결정하는 틀을 설명하였으며, 이에 의해 설치되어진 자동물류취급시스템의 실례를 들어서 자동물류취급시스템이 납기단축과 간접공수절감에 얼마나 효율적인가를 보였다. 본 연구에서 얻어진 결론을 요약하면 다음과 같다. 1) 다양한 정보처리와 실시간 이산현상시스템의 해석 및 검증을 위하여 Colored and Stochastic 페트리네트를 정의하고 이를 이용하여 자동물류취급시스템이 설치되어진 생산시스템에 대한 모델링을 수행하였다. 2) Colored and Stochastic페트리네트 모델에 대한 시뮬레이션을 수행하는 소프트웨어를 개발하여 주어진 모델의 성능평가를 수행하였다. 3) 자동물류취급시스템의 설계변수를 결정하는 알고리즘을 제시하였으며 이에 의거한 시뮬레이션을 통하여 적절한 설계변수를 결정하였다. 4) 자동물류취급시스템이 설치되어진 생산시스템을 대상으로 모델과 설계변수의 타당성을 검증하였다.

  • PDF

경기도 평택지역과 서울 정동지역 지표오존농도의 시계열모형 연구

  • Lee, Hun-Ja
    • 한국데이터정보과학회:학술대회논문집
    • /
    • 2006.11a
    • /
    • pp.29-36
    • /
    • 2006
  • 최근 유해성이 강한 지표오존농도가 대기환경의 주요한 문제로 부각되고 있다. 본 연구에서는 경기도 평택과 서울 정동지역의 오존농도를 설명 변수를 사용할 수 있는 다변량 시계열 모형인 ARE(자기회귀오차) 모형으로 분석하였다. ARE모형에서는 오존 전체자료를 사용한 전체모형과 오존농도가 41ppb 이상 되는 자료를 사용한 부분모형 두 가지 모형을 비교하였다. ARE의 오존농도 설명변수로는 오존농도와 연관 있는 8종류의 기상자료와 4종류의 대기오염자료를 고려하였다. 기상자료의 8가지 설명변수로 일 최고온도, 일사량, 풍속, 상대습도, 강수량, 이슬점온도, 수증기압, 운량 자료를 사용하였다. 대기오염자료의 4가지 설명변수로는 아황산가스(SO2), 이산화질소(NO2), 코발트(CO)와 프로메툼 10(PM10)를 사용하였다.

  • PDF

H Control for Discrete-Time Fuzzy Markovian Jump Systems with State and Input Time Delays (상태 및 입력 시간지연을 갖는 이산 퍼지 마코비안 점프 시스템의 H 제어)

  • Lee, Kap-Rai
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.22 no.1
    • /
    • pp.28-35
    • /
    • 2012
  • This paper presents the method for $H_{\infty}$ fuzzy controller design of discrete-time fuzzy Markovian jump systems with state and input time delays. The Takagi and Sugeno fuzzy model is employed to represent a delayed nonlinear system that possesses Markovian jump parameters. A stochastic mode dependent Lyapunov function is employed to analyze the stability and $H_{\infty}$ disturbance attenuation performance of the fuzzy Markovian jump systems with state and input time delays. A sufficient condition for the existence of fuzzy $H_{\infty}$ controller is given in terms of matrix inequalities. Also numerical example is presented to illustrate the efficiency of the proposed design method.

Structured DEVS Formalism: A Structural Modelling Method of Discrete Event Systems (Structured DEVS Formalism: 이산사건 시스템의 구조적 모델링 기법)

  • Song, Hae-Sang
    • Journal of the Korea Society for Simulation
    • /
    • v.21 no.2
    • /
    • pp.19-30
    • /
    • 2012
  • In recent decades, it has been known that the Discrete Event System Specification, or DEVS, formalism provides sound semantics to design a modular and hierarchical model of a discrete event system. In spite of this benefit, practitioners have difficulties in applying the semantics to real-world systems modeling because DEVS needs to specify a large size of sets of events and/or states in an unstructured form. To resolve the difficulties, this paper proposes an extension of the DEVS formalism, called the Structured DEVS formalism, with an associated graphical representation, called the DEVS diagram, by means of structural representation of such sets based on closure property of set theory. The proposed formalism is proved to be equivalent to the original DEVS formalism in their model specification, yet the new formalism specifies sets in a structured form with a concept of phases, variables and ports. A simplified example of the structured DEVS with the DEVS diagram shows the effectiveness of the proposed formalism which can be easily implemented in an objected-oriented simulation environment.

Minimization of Sulfur Dioxide Gas Emission by Process Optimization of Sulfuric Acid Plants (공정최적화에 의한 황산공장의 이산화황가스 배출 최소화)

  • Cho Byoung-Hak;Song Kwang Ho;Kim In-Won
    • Journal of the Korean Institute of Gas
    • /
    • v.3 no.2 s.7
    • /
    • pp.70-76
    • /
    • 1999
  • Because of the tight pollution control of $SO_2$ emission, sulfuric acid manufacturers have been interested in the operation with the highest possible conversion efficiency. In this work, the design criteria and operating conditions of the catalytic converter were investigated for maximum conversion efficiency and minimum $SO_2$ emission by parametric analysis and process optimization for the existing acid plants. The Double Converter/Double Absorber(DC/DA) process was investigated by varying $SO_2$ compositions of feed gas, pressures and temperatures of layers of the converter and the depth of the catalyst beds. In order to evaluate the process, a computer simulator for sulfuric acid plants has been developed. The results by process optimization could be used for the converter design and operating conditions with highest conversion efficiency.

  • PDF

Analysis of Discrete-Time Geo/G/1 Queues under Workload Control and Multiple Vacations (일량제어정책과 복수휴가를 갖는 이산시간 Geo/G/1 대기행렬의 분석)

  • Lee, Se Won
    • Journal of Korea Society of Industrial Information Systems
    • /
    • v.23 no.2
    • /
    • pp.29-39
    • /
    • 2018
  • In this paper, we discuss a discrete-time queueing system with dyadic server control policy that combines workload control and multiple vacations. Customers arrive at the system with Bernoulli arrival process. If there is no customer to serve in the system, an idle single server spends a vacation of discrete random variable V and returns. The server repeats the vacation until the total service time of waiting customers exceeds the predetermined workload threshold D. In this paper, we derived the steady-state workload distribution of a discrete-time queueing system which is operating under a more realistic and flexible server control policy. Mean workload is also derived as a performance measure. The results are basis for the analysis of system performance measures such as queue lengths, waiting time, and sojourn time.

(J,J')-lossless factorization and $H^{\infty}$ control in discrete-time systems (이산시간 시스템에서 (J,J')-lossless 분해와 $H^{\infty}$ 제어)

  • 정은태;이재명;박홍배
    • Journal of the Korean Institute of Telematics and Electronics B
    • /
    • v.31B no.5
    • /
    • pp.65-72
    • /
    • 1994
  • We resolve the suboptimal $\infty$ control problem using (J,J')-lossless coprime factorization by transforming the linear fractional transformation (LFT) into chain scattering description (CSD) in discrete-time systems. The condition transformed LFT into CSD is that the inverse matrix of $P_{21}$ of standard plant exists. But, this paper presents the method of transforming LFT into CSD for 4-block problem in case that the inverse matrix of $P_{21}$ of standard plant does not exist and parameterization of the all suboptimal $\infty$T controllers using (J,J')-lossless coprime factorization. It is shown that this method can resolve the suboptimal $\infty$ control problem solving only two Riccati equations in discrete-time systems.

  • PDF

Simulation of Interim Spent Fuel Storage System with Discrete Event Model (이산 모형을 이용한 사용후 핵연료 중간 저장 시설의 전산기 모사)

  • Yoon, Wan-Ki;Song, Ki-Chan;Lee, Jae-Sol;Park, Hyun-Soo
    • Nuclear Engineering and Technology
    • /
    • v.21 no.3
    • /
    • pp.223-230
    • /
    • 1989
  • This paper describes dynamic simulation of the spent fuel storage system which is described by statistical discrete event models. It visualizes flow and queue of system over time, assesses the operational performance of the system acitivies and establishes the system components and streams. It gives information on system organization and operation policy with reference to the design. System was tested and analyzed over a number of critical parameters to establish the optimal system. Workforce schedule and resources with long processing time dominate process. A combination of two workforce shifts a day and two cooling pits gives the optimal solution of storage system. Discrete system simulation is an useful tool to get information on optimal design and operation of the storage system.

  • PDF

A Study on Extracting Valid Speech Sounds by the Discrete Wavelet Transform (이산 웨이브렛 변환을 이용한 유효 음성 추출에 관한 연구)

  • Kim, Jin-Ok;Hwang, Dae-Jun;Baek, Han-Uk;Jeong, Jin-Hyeon
    • The KIPS Transactions:PartB
    • /
    • v.9B no.2
    • /
    • pp.231-236
    • /
    • 2002
  • The classification of the speech-sound block comes from the multi-resolution analysis property of the discrete wavelet transform, which is used to reduce the computational time for the pre-processing of speech recognition. The merging algorithm is proposed to extract vapid speech-sounds in terms of position and frequency range. It performs unvoiced/voiced classification and denoising. Since the merging algorithm can decide the processing parameters relating to voices only and is independent of system noises, it is useful for extracting valid speech-sounds. The merging algorithm has an adaptive feature for arbitrary system noises and an excellent denoising signal-to-noise ratio and a useful system tuning for the system implementation.

Uncertainty analysis of the Hydrograph utilizing a Bayesian techniques (Bayesian 기법을 활용한 홍수수문곡선 불확실성 분석)

  • Kim, Tae-Jeong;Kim, Ki-Young;Park, Rae-Gun;Kwon, Hyun-Han
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2016.05a
    • /
    • pp.528-528
    • /
    • 2016
  • 신뢰성 있는 수문순환모의를 위해서 다양한 수문모형이 사용되고 있다. 그 중 대표적인 수문모형인 강우-유출 모형은 유역에 발생한 강우에 반응하는 유출특성을 평가하는데 이용된다. 강우-유출 과정은 강우량, 유출량, 도달시간 및 토양수분 등과 연관된 매개변수들의 최적화 과정을 통해서 추정된다. 하지만 동일한 강우사상이라도 다양한 매개변수들로 인하여 상당히 다른 유출패턴을 나타내기 때문에 수문순환 과정을 정확히 모의하기 위해서 강우-유출 분석시 불확실성 분석이 필수적으로 요구된다. 불확실성 분석은 통계학에서도 쉽지 않은 연구내용으로서 가장 진보된 불확실성 분석기법인 Bayesian 기법은 매개변수의 추정과 불확실성 분석을 동시에 수행할 수 있는 방법으로 매개변수들은 사후분포(posterior distribution)로 귀결되며 최종적으로 확률분포형의 형태를 가진다. 본 연구에서는 국내외적으로 널리 사용되는 단기유출 모형 HEC-1 모형에 Bayesian 기법을 연계하여 대상유역의 도달시간, 저류상수 및 CN No. 최적화 및 불확실성 평가를 수행하였다. 연구결과 Bayesian 기법을 통한 매개변수 최적화 결과는 안정적인 수렴결과를 확인하였으며, 확률강우량을 입력자료로 사용하여 산정된 빈도별 홍수수분곡선의 불확실성 분석을 통하여 향후 수공구조물의 위험도 분석 및 수자원계획 수립시 유용한 자료로 사용될 것으로 판단된다.

  • PDF