• 제목/요약/키워드: Continuous-Time Model

검색결과 1,060건 처리시간 0.03초

Applying Formal Methods to Modeling and Analysis of Real-time Data Streams

  • Kapitanova, Krasimira;Wei, Yuan;Kang, Woo-Chul;Son, Sang-H.
    • Journal of Computing Science and Engineering
    • /
    • 제5권1호
    • /
    • pp.85-110
    • /
    • 2011
  • Achieving situation awareness is especially challenging for real-time data stream applications because they i) operate on continuous unbounded streams of data, and ii) have inherent realtime requirements. In this paper we showed how formal data stream modeling and analysis can be used to better understand stream behavior, evaluate query costs, and improve application performance. We used MEDAL, a formal specification language based on Petri nets, to model the data stream queries and the quality-of-service management mechanisms of RT-STREAM, a prototype system for data stream management. MEDAL's ability to combine query logic and data admission control in one model allows us to design a single comprehensive model of the system. This model can be used to perform a large set of analyses to help improve the application's performance and quality of service.

선형 고분자의 연속 완화시간 스펙트럼 결정 (The determination of continuous relaxation time spectrum of linear polymer)

  • 이일순
    • 유변학
    • /
    • 제8권2호
    • /
    • pp.103-118
    • /
    • 1996
  • 변형된 Maxwell 모델을 모의 데이터와 폴리스티렌의 동적 실험 데이터인 G'과 G "에 적용하여 연속 완화시간 스펙트럼을 결정하였고, Maxwell 모델을 사용했을 때 얻어지 는 불연속 완화시간 스펙트럼과 비교하였다. MGMM과 GMM 모두 선형회귀 방법과 비선 형회귀 방법을 사용하여 완화시간 스펙트럼을 결정하였는데 비선형 방법을 사용했을 때 선 형방법에 비해 좀 더 만족스러운 결과를 얻을수 있었다. 모의 데이터의 경우 사용한 완화시 간의 수가 많은 경우에는 MGMM과 GMM 모두 원래의 스펙트럼을 잘 재현했으나 완화시 간의 수가 작은 경우에는 MGMM이 GMM에 비해 원래의 완화시간 스펙트럼을 보다 잘 나 타내었다. 또 단분산성폴리스티렌의 경우 MGMM과 GMM의 완화시간 스펙트럼이 모두 작 은 완화시간 영역에서는 분자량에 무관했고 큰 완화시간 영역에서는 분자량이 커질수록 스 펙트럼이 완화시간이 커지는 쪽으로 이동하였다. 또 두드러진 terminal 완화시간을 볼수 있 었다. 그러나 다분산성 폴리스티렌의 경우에는 단분산성의 경우와는 달리 두드러진 terminal 완화시간을 볼수 없었다. 그리고 MGMM의 파라미터 m은 분자량 분포에 크게 의존함을 알 수 있었으며 연속 완화시간 스펙트럼에서 계산된 불연속 완화시간 스펙트럼이 GMM에서 얻어진 불연속 완화시간 스펙트럼과 잘 일치함을 볼수 있었다.

  • PDF

설마천 유역의 토양수분 장기 모니터링을 통한 토양수분 시공간 변화양상의 특성화 (Characterizing the Spatial-temporal Distribution of Soil Moisture for Sulmachun Watershed Through a Continuous Monitoring)

  • 이가영;김기훈;김상현
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2004년도 학술발표회
    • /
    • pp.209-214
    • /
    • 2004
  • 국내산지사면에서의 토양수분의 시공간적 분포를 파악하기 위하여 TDR(Time Domain Reflectometry)을 이용한 토양수분 장기 모니터링을 실시하였다. 대상사면을 측량하여 DEM(Digital Elevation Model)을 구축하고 흐름분배알고리즘에 적용하여 측정지점을 선정, 역 측량하여 효율적인 측정 체계를 구축하였다. DEM을 통하여 대상산지사면의 지형을 파악, 활용하여 정적 습윤지수(steady-state wetness index), 반동력학적 습윤지수(quasi-dynamic wetness index)를 구하였다. 장기 모니터링을 통한 토양수분 자료를 시공간적으로 분석하고 각각의 습윤 지수의 특징을 분석하고 습윤 지수와 토양수분 실측치와의 유의성과 제한점을 비교 분석하였다.

  • PDF

중앙창고 입지선정을 위한 회귀분석기반 해법 (A Regression-Based Approach for Central Warehouse Location Problem)

  • 유재욱;이동주
    • 산업경영시스템학회지
    • /
    • 제32권2호
    • /
    • pp.57-65
    • /
    • 2009
  • In continuous review inventory model, (${\varrho}$, ${\gamma}$) system, order quantity(${\varrho}$) and reorder point(${\gamma}$) should be determined to calculate inventory-related cost that consists of setup, holding, and penalty costs. The procedure to obtain the exact value of ${\varrho}$ and ${\gamma}$ is complex. In this paper, a regression analysis is proposed to get the approximate inventory-related cost without the determination of ${\varrho}$ and ${\gamma}$ in the case that the standard deviation(${\sigma}$) of the lead time demand is small or that the mean(${\mu}$) of the lead time demand is proportional to ${\sigma}$. To save inventory-related cost, central warehouses with (${\varrho}$, ${\gamma}$) system can be built. Central warehouse can provide some stores with products with the consideration of the tradeoff between inventory-related cost and transportation cost. The number and the location of central warehouses to cover all the stores are determined by a regression-based approach. The performance of the proposed approach is tested by using some computational experiments.

A Study on the Estimation of Continuous Blood Pressure using PIT and Biometric Parameters

  • Park Eun-Kyoung;Cho Baek-Hwan;Park Sang-Hae;Lee Jong-Youn;Hwang Hwan-Sik;Park Hun-Ki;Lee Jong-Shill;Kim In-Young;Kim Sun-I
    • 대한의용생체공학회:의공학회지
    • /
    • 제27권1호
    • /
    • pp.1-5
    • /
    • 2006
  • In this paper, we propose a subject-independent regression model to estimate systolic blood pressures (SBP) conveniently and continuously. There have been several researches on estimating SBP with pulse transit time (PTT) and they showed promising results. However, previous studies used only PTT as the estimation parameter, and their models were generated with just one person's PTT data which is not applicable to estimating other person's SBP. Therefore, we collected several additional biometric parameters with 202 healthy subjects. After statistical analysis of measured biometric parameters with SBP, we chose final estimating parameters including PTT to generate a multiple linear regression model for estimating SBP. Comparing the results of our study with approvable standards of automated sphygmomanometers developed by Association for the Advancement of Medical Instrumentation and approved by American National Standards Institute (ANSI/AAMI) indicates that our proposed method for continuously blood pressures monitoring gives an acceptable error.

Development of a Stochastic Inventory System Model

  • Sung, Chang-Sup
    • 대한산업공학회지
    • /
    • 제5권1호
    • /
    • pp.59-66
    • /
    • 1979
  • The objective of this paper is to develop a stochastic inventory system model under the so-called continuous-review policy with a Poisson one-at-a-time demand process, iid customer inter-arrival times {Xi}, backorders allowed, and constant procurement lead time $\gamma$. The distributions of the so-called inventory position process {$IP_{(t-r)}$} and lead time demand process {$D_{(t-r,t)}$} are formulated in terms of cumulative demand by time t, {$N_t$}. Then, for the long-run expected average annual inventory cost expression, the "ensemble" average is estimated, where the cost variations for stock ordering, holding and backorders are considered stationary.

  • PDF

전산유체기법을 이용한 연속주조 Tundish 의 형상 설계 (CFD aided design of the continuous casting tundish)

  • 조지룡;하만영;이성우
    • 한국전산유체공학회지
    • /
    • 제2권1호
    • /
    • pp.117-128
    • /
    • 1997
  • Effects of dam and weir on the fluid flow and behavior of inclusions in the continuous casting tundish have been studied using the CFD (Computational Fluid Dynamics) technique. Inclusions affecting the quality of steel products have been considered to be passive: the fluid flow has been obtained for unstaggered grid points defined on body-fitted generalized cuvilinear coordinates with no attention on inclusions, and the spatial propagation of inclusions has been determined by using the flow field data. The result show that the dam and weir direct the flow to the free surface and increase the residence time of inclusions significantly, and thereby that inclusions have much more chance to be floated to the free surface of the tundish where it is eliminated. It is also found that they offer more margin on the geometric design of exit nozzles connected to moulds. This finding is particularly important for twin casting operations where the quality of steel products from the two moulds be kept uniformly.

  • PDF

NaA 형 제올라이트를 이용한 수중의 Sr 이온 제거에서 회분식 및 연속식 운전 특성 (Characteristics of Batch and Continuous Operation in Sr ion Removal from Aqueous Solution Using NaA Zeolite)

  • 감상규;이창한;이민규
    • 대한환경공학회지
    • /
    • 제39권9호
    • /
    • pp.505-512
    • /
    • 2017
  • NaA 제올라이트 분말(Z-PA) 및 펠렛(Z-BA)를 이용하여 수중의 Sr 이온의 흡착특성을 검토하였다. 회분식 실험에서 Z-BA와 Z-PA에 의한 Sr 이온의 흡착은 유사 1차식보다는 유사 2차식에 잘 부합되었고, 등온 흡착실험 결과는 Langmuir 등온식에 잘 부합하였으며, 이 등온식으로부터 구한 최대 흡착량은 Z-PA는 233.32 mg/g, Z-BA는 164.60 mg/g이었다. 연속식 실험에서 Sr 이온의 농도가 증가함에 따라 Sr 이온의 총 흡착량(q)는 증가하였으나 파과시간, 처리 부피($V_{eff}$) 및 총 제거율(R)은 감소하였다. 실험으로부터 구한 파과곡선은 Thomas 모델식에 의해 잘 모사되었다.

몽골 이동통신 시장의 확산 패턴 연구 (A Study on the Diffusion Pattern of Mongolian Mobile Market)

  • 바드몬드 앵흐자야;홍정식;김태구
    • 품질경영학회지
    • /
    • 제51권4호
    • /
    • pp.691-700
    • /
    • 2023
  • Purpose: This study aims to analyze the diffusion pattern of the Mongolian mobile phone market. In particular, we used a generalized diffusion model to explore the factors affecting market potenial. Methods: We used three diffusion models to estimate the number of mobile subscribers in Mongolia. Based on the Logistic model with the best fitness, we introduced time-varying market potential and explored the influence of various independent variables such as GDP and inflation. Results: Among the basic diffusion models, the Logistic model was the best in terms of estimation performance and statistical significance. The estimation results of the Generalized Logistic model confirm that investment in the telecommunication sector has a significant positive effect on market potential. The estimation of the Generalized Logistic model effectively describes the continuous growth of the Mongolian telecommunications market until recently. Conclusion: We have analyzed the diffusion pattern of the Mongolian telecommunications market and found that the amount of investment in the sector leads to the growth of the market size. This study is original in terms of its subject - Mongolian telecommunications market and methodology - time-varying market potential.

연속 다중 이미지 기반 3D 생성 모델 보정 기술 개발 (Corrected 3D Reconstruction Based on Continuous Image Sets)

  • 김태연;조동식
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국정보통신학회 2022년도 추계학술대회
    • /
    • pp.374-375
    • /
    • 2022
  • 최근, 메타버스 서비스를 통해 시간적, 공간적 제약에서 벗어나 원격지와 의사 소통을 자연스럽게 진행하는데 많이 사용하고 있다. 이러한 메타버스 콘텐츠 제작을 위해서는 실제 공간의 데이터를 기반으로 3D 모델을 복원하고, 합성할 필요가 있다. 본 논문에서는 다수의 카메라를 이용한 연속된 이미지를 기반으로 3D 생성 복원 모델을 제작하고, 복원된 3D 모델을 보정할 수 있는 기법을 제시한다. 이를 위해 오프라인으로 다중 카메라 셋업을 수행하고, 여러 각도에서 얻어진 이미지를 통해 만들어진 3D 모델에 대해 오류를 분석한 뒤 이미지 프레임 간의 매칭 기법으로 보정을 수행 하였다. 본 논문에서 제시한 움직이는 3D 물체 복원 방법을 통해 문화, 관광, 의료 등 다양한 서비스 분야에 3D 복원 데이터를 활용할 수 있을 것으로 본다.

  • PDF