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

검색결과 539건 처리시간 0.031초

균등 표면 염화물량을 고려한 시간 의존적 내구적 파괴확률 해석기법 (Analysis Technique on Time-dependent PDF (Probability of Durability Failure) Considering Equivalent Surface Chloride Content)

  • 이학수;권성준
    • 한국구조물진단유지관리공학회 논문집
    • /
    • 제21권2호
    • /
    • pp.46-52
    • /
    • 2017
  • 염해에 노출된 콘크리트 구조물의 내구수명 평가는 매우 중요하므로 최근들어 결정론적 및 확률론적 방법을 통하여 내구수명을 평가하는 시도가 이루어지고 있다. Fick's 2nd 법칙에 근거한 내구수명 평가방법은 표면 염화물량과 확산계수의 시간의존성을 고려하여 합리적인 설계를 수행하고 있으나, 확률론적 방법에서는 이러한 영향이 고려되지 않고 있다. 본 논문에서는 시간에 따라 증가하는 표면염화물량을 유효 표면염화물량으로 고려한 뒤 시간의존성 확산계수를 고려하여 내구적 파괴확률을 도출할 수 있는 해석기법을 제안하였다. 표면염화물에 도달하는 기간을 10~30년으로, 표면염화물량을 $5.0{\sim}10.0kg/m^3$으로 변화시키면서 내구적 파괴확률을 평가하고 내구수명의 변화를 분석하였다. 제안된 기법은 결정론적 내구수명 평가방법의 해석조건을 동일하게 적용시키면서 설계인자의 확률 변동성을 고려할 수 있으므로 과다한 설계를 방지함으로서 합리적인 설계기법으로 적용할 수 있다.

Deterministic Multi-dimensional Task Scheduling Algorithms for Wearable Sensor Devices

  • Won, Jong-Jin;Kang, Cheol-Oh;Kim, Moon-Hyun;Cho, Moon-Haeng
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제8권10호
    • /
    • pp.3423-3438
    • /
    • 2014
  • In recent years, wearable sensor devices are reshaping the way people live, work, and play. A wearable sensor device is a computer that is subsumed into the personal space of the user, and is always on, and always accessible. Therefore, among the most salient aspects of a wearable sensor device should be a small form factor, long battery lifetime, and real-time characteristics. Thereby, sophisticated applications of a wearable sensor device use real-time operating systems to guarantee real-time deadlines. The deterministic multi-dimensional task scheduling algorithms are implemented on ARC (Actual Remote Control) with relatively limited hardware resources. ARC is a wearable wristwatch-type remote controller; it can also serve as a universal remote control, for various wearable sensor devices. In the proposed algorithms, there is no limit on the maximum number of task priorities, and the memory requirement can be dramatically reduced. Furthermore, regardless of the number of tasks, the complexity of the time and space of the proposed algorithms is O(1). A valuable contribution of this work is to guarantee real-time deadlines for wearable sensor devices.

컴프턴 카메라를 위한 재배열 기반 확정론적 영상재구성법 (Rebinning-Based Deterministic Image Reconstruction Methods for Compton Camera)

  • 이미노;이수진;서희
    • 대한의용생체공학회:의공학회지
    • /
    • 제32권1호
    • /
    • pp.15-24
    • /
    • 2011
  • While Compton imaging is recognized as a valuable 3-D technique in nuclear medicine, reconstructing an image from Compton scattered data has been of a difficult problem due to its computational complexity. The most complex and time-consuming computation in Compton camera reconstruction is to perform the conical projection and backprojection operations. To alleviate the computational burden imposed by these operations, we investigate a rebinning method which can convert conical projections into parallel projections. The use of parallel projections allows to directly apply the existing deterministic reconstruction methods, which have been useful for conventional emission tomography, to Compton camera reconstruction. To convert conical projections into parallel projections, a cone surface is sampled with a number of lines. Each line is projected onto an imaginary plane that is mostly perpendicular to the line. The projection data rebinned in each imaginary plane can then be treated as the standard parallel projection data. To validate the rebinning method, we tested with the representative deterministic algorithms, such as the filtered backprojection method and the algebraic reconstruction technique. Our experimental results indicate that the rebinning method can be useful when the direct application of existing deterministic methods is needed for Compton camera reconstruction.

시간 제한 조건을 가진 자유 선택 신호 전이 그래프로부터 비동기 회로의 합성 (Synthesis of Asynchronous Circuits from Free-Choice Signal Transition Graphs with Timing Constraints)

  • 정성태;정석태
    • 정보처리학회논문지A
    • /
    • 제9A권1호
    • /
    • pp.61-74
    • /
    • 2002
  • 본 논문에서는 시간 제한 조건을 가진 자유 선택 신호 전이 그래프로부터 비동기 회로를 합성하는 방법을 기술한다. 이 방법에서는 상태 그래프를 생성하지 않고 신호 전이 그래프로부터 직접 신호 전이들간의 관계를 구하여 비동기 회로를 합성한다. 본 논문의 합성 방법에서는 자유 선택 신호 전이 그래프를 선택 행위가 없는 결정성 신호 전이 그래프에 대하여 타이밍 분석을 수행하여 임의의 두 신호 전이 사이의 시간 제약 병렬 관계와 시간 제약 인과 관계를 구한다. 다음에는 이 관계들을 이용하여 각 결정성 신호 전이 그래프에 대한 합성을 수행하고 그 결과를 합병함으로써 전체 회로를 합성한다. 실험 결과에 의하면 본 논문에서 제안한 합성 방법은 상태 공간이 큰 회로에 대하여 현저하게 합성시간을 단축시킬 수 있을 뿐 만 아니라 기존의 상태 그래프 기반 합성 방법과 비교하여 거의 같은 면적의 회로를 합성한다.

PD-DESYNC: Practical and Deterministic Desynchronization in Wireless Sensor Networks

  • Hyun, Sang-Hyun;Kim, Geon;Yang, Dongmin
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제13권8호
    • /
    • pp.3880-3899
    • /
    • 2019
  • Distributive desynchronization algorithms based on pulse-coupled oscillator (PCO) models have been proposed for achieving collision-free wireless transmissions. These algorithms do not depend on a global clock or infrastructure overheads. Moreover, they gradually converge to fair time-division multiple access (TDMA) scheduling by broadcasting a periodic pulse signal (called a 'firing') and adjusting the next firing time based on firings from other nodes. The time required to achieve constant spacing between phase neighbors is estimated in a closed form or via stochastic modeling. However, because these algorithms cannot guarantee the completion of desynchronization in a short and bounded timeframe, they are not practical. Motivated by the limitations of these methods, we propose a practical solution called PD-DESYNC that provides a short and deterministic convergence time using a flag firing to indicate the beginning of a cycle. We demonstrate that the proposed method guarantees the completion of desynchronization within three cycles, regardless of the number of nodes. Through extensive simulations and experiments, we confirm that PD-DESYNC not only outperforms other algorithms in terms of convergence time but also is a practical solution.

Analysis of Several Digital Network Technologies for Hard Real-time Communications in Nuclear Plant

  • Song, Ki-Sang;No, Hee-Cheon;Kim, Dong-Hun;Koo, In-Soo
    • Nuclear Engineering and Technology
    • /
    • 제31권2호
    • /
    • pp.226-235
    • /
    • 1999
  • Applying digital network technology for advanced nuclear plant requires deterministic communication for tight safety requirements, timely and reliable data delivery for operation-critical and mission-critical characteristics of nuclear plant. Communication protocols, such as IEEE 802/4 Token Bus, IEEE 802/5 Token Ring, FDDI, and ARCnet, which have deterministic communication capability are partially applied to several nuclear power plants. Although digital communication technologies have many advantages, it is necessary to consider the noise immunity from electromagnetic interference (EMI), electrical interference, impulse noise, and heat noise before selecting specific digital network technology for nuclear plant. In this paper, we consider the token frame loss and data frame loss rate due to the link error event, frame size, and link data rate in different protocols, and evaluate the possibility of failure to meet the hard real-time requirement in nuclear plant.

  • PDF

쉐이퍼를 사용한 비디오 트래픽원의 다중화기 성능 분석 (Performance Analysis of the Multiplexer for Shaped Video Traffic Sources)

  • 이상천;홍정완;김제승
    • 산업공학
    • /
    • 제18권4호
    • /
    • pp.494-503
    • /
    • 2005
  • This paper considers the problem of performance analysis for the multiplexer, when homogeneous periodic on-off sources are statistically multiplexed. Periodic on-off source model is defined that on-period and off-period are repeated by once in a deterministic periodic time and in on-period, cell arrives with deterministic time interval. In order to reflect periodicity of source model, we consider two multiplexing situation, such as random multiplexing and synchronized multiplexing. In both case, we obtain the overload-period distribution in the multiplexer, and an approximate method using the overload period distribution is suggested for obtaining the CLP(Cell Loss Probability) in the buffer of the multiplexer. A numerical example using MPEG-I real traffic samples and the results are also presented.

순 방사형 물류체계에서 수송장비의 보유대수 결정과 분배정책 : 복합포아송과정을 따를 경우 (On Fleet Sizing and Distribution Policy of Transportation Equipments in Pure Hub-and-Spoke Networks : The Case of Compound Poisson Process)

  • 서순근;이병호
    • 한국경영과학회지
    • /
    • 제24권3호
    • /
    • pp.109-123
    • /
    • 1999
  • Fleet sizing and empty equipment redistribution are two of the most critical problems in managing a fleet of equipment over a transportation network. Where the demand pattern followed the compound Poisson process(CPP) which can be generated one or more at a time under homogeneous Poisson process(HPP), this paper presented a mathematical model to determine control parameters of a decentralized distribution policy and fleet size in case of the pure hub-and-spoke system, a popular form of a logistics system. and validated this model by simulation. That is, where the number of demanded equipments followed geometric and binomial distributions, respectively, cost models on the pure hub-and-spoke logistics system with deterministic trans-portation times, which could be solved analytically, were established and analyzed. We also compared the deterministic case with stochastic one that the transportation time follows some probability distributions.

  • PDF

웨이브렛 변환과 신경망 학습을 이용한 고저항 지락사고 검출에 관한 연구 (A Syudy on the Detection of High Impedance Faults using Wavelet Transforms and Neural Network)

  • 홍대승;배영철;전상영;임화영
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2000년도 추계종합학술대회
    • /
    • pp.459-462
    • /
    • 2000
  • The analysis of distribution line faults is essential to the proper protection of power system. A high impedance fault(HIF) dose not make enough current to cause conventional protective device operating. so it is well hon that undesirable operating conditions and certain types of faults on electric distribution feeders cannot be detected by using conventional protection system. In this paper, we prove that the nature of the high impedance faults is indeed a deterministic chaos, not a random motion Algorithms for estimating Lyapunov spectrum and the largest Lyapunov exponent are applied to various fault currents detections in order to evaluate the orbital instability peculiar to deterministic chaos dynamically, and fractal dimensions of fault currents which represent geometrical self-similarity are calculated. Wavelet transform analysis is applied the time-scale information to fault signal. Time-scale representation of high impedance faults can detect easily and localize correctly the fault waveform.

  • PDF

March Test 기법의 한게 및 알고리즘(반도체 메모리의 커플링 고장을 중심으로) (The Limit of the March Test Method and Algorithms (On Detecting Coupling Faults of Semiconductor Memories))

  • 여정모;조상복
    • 전자공학회논문지A
    • /
    • 제29A권8호
    • /
    • pp.99-109
    • /
    • 1992
  • First, the coupling faults of semiconductor memory are classified in detail. The chained coupling fault is introduced and defined, which results from sequential influencing of the coupling effects among memory cells, and its mapping relation is described. The linked coupling fault and its order are defined. Second, the deterministic “Algorithm GA” is proposed, which detects stuack-at faults, transition faults, address decoder faults, unlinked 2-coupling faults, and unlinked chained coupling faults. The time complexity and the fault coverage are improved in this algorithm. Third, it is proved that the march test of an address sequence can detect 97.796% of the linked 2-coupling faults with order 2. The deterministic “Algorithm NA” proposed can detect to the limit. The time complexity and the fault coverage are improved in this algorithm.

  • PDF