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

검색결과 200건 처리시간 0.021초

지능형 로봇을 위한 이중 커널 구조의 제어 시스템 구현 및 실시간 제어 성능 분석 (Implementation of Dual-Kernel based Control System and Evaluation of Real-time Control Performance for Intelligent Robots)

  • 박정호;이수영;최병욱
    • 제어로봇시스템학회논문지
    • /
    • 제14권11호
    • /
    • pp.1117-1123
    • /
    • 2008
  • This paper implements dual-kernel system using standard Linux and real-time embedded Linux for the real-time control of intelligent robot systems. Such system provides more useful services including standard Linux thread that is easy to implement complicated tasks and real-time tasks for the deterministic response to velocity control. Here, an open source real-time embedded Linux, XENOMAI, is ported on embedded target board. And for interfacing with motor controller we adopted a real-time serial device driver. The real-time task was implemented with a priority to keep the cyclic control command for trajectory control. In order to validate deterministic response of the proposed system, the performance measurement of the delay in performing trajectory control with feedback loop is evaluated with non real-time standard Linux. The proposed software architecture is anticipated to take advantage of features in both standard Linux and real-time operating systems for the intelligent robot systems.

Estimating Correlation Dimensions of Land-Sea Breeze Phenomenon

  • Lee, Hwa-Woon;Kim, Yoo-Keun;Lee, Young-Gon
    • Environmental Sciences Bulletin of The Korean Environmental Sciences Society
    • /
    • 제3권2호
    • /
    • pp.81-89
    • /
    • 1999
  • This study estimates the correlation dimensions of the land-sea breeze phenomenon, that has a clear diurnal cycle, in order to gain a more detailed understanding of this phenomenon. The data adopted include north-south wind velocity component(v) and temperature(T) time series that were observed at Kimhae Airport and Inje University over a period of 5 days, from the 4th to the 8th of August, 1994. The embedding phase space of the time series were reconstructed from 2 to 14 dimensions, and the correlation dimensions of the attractors were then estimated. The results show that the land-sea breeze phenomenon exhibits a deterministic chaos with non-integer correlation dimension values between 2 and 3. Accordingly, 3 is the minimum number of independent variables required to model the dynamics of the landsea breeze phenomenon in the Kimhae area. Since the saturated embedding dimension, when the correlation dimension remains unchanged, is larger for the wind velocity v-component than for temperature, this indicates that wind velocity is susceptible to topology.

  • PDF

An Improving Method of Restructuring Parallel Programs for Data Race Detection

  • Ha, Keum-Sook;Lee, Sung woo;Yoo, Kee-Young
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 2000년도 ITC-CSCC -2
    • /
    • pp.715-718
    • /
    • 2000
  • Although shared memory parallel programs are designed to be deterministic both in their final results and intermediate states, the races that occur when different processes access a common memory location in an order not guaranteed by synchronization could result in unintended non-deterministic executions of the program. So, Detecting races, particularly first data races, is important for debugging explicit shared memory parallel programs. It is possible that all data races reported by other on-the-fly algorithms would disappear once the first races were removed. To detect races parallel programs with nested loops and inter-thread coordination, it must guarantee the order of synchronization operations in an execution instance. In this paper, we propose an improved restructuring method that guarantee ordering execution instance and preserve the semantics of original program. This method requires O(np) time and (s + up) space, where n is the number of total operations, s is the number of synchronization operations and p is the number of parallelism in the execution. Also, this method makes on-the-fly detection of parallel program with nested loops and inter-thread coordination more easily in space and time complexity.

  • PDF

ATM망에서의 임의의 시작 시간 배열을 갖는 다중화된 가변 비트율 MPEG 비디오 트래픽의 성능 해석 (Performance Analysis of Multiplexed VBR MPEG Video Traffic With Arbitrary Starting Times in ATM Networks)

  • 노병희;김재균
    • 한국통신학회논문지
    • /
    • 제23권6호
    • /
    • pp.1514-1525
    • /
    • 1998
  • VBR(variable bit rate) MPEG 비디오 트래픽의 가장 큰 특징은 픽쳐 형태별로 통계 특성과 GOP(group of pictures)구조에 따른 주기적인 트래픽 발생 패턴이다. 특히, GOP의 시작인 1-픽쳐에서는 다른 픽쳐들보다 매우 큰 양의 트래픽이 발생한다. 따라서, VBR MPEG비디오 정보원이 다중화 될 때, 이들의 시작 시간 배열은 ATM 다중화기의 셀 손실 특성에 큰 영향을 줄 수 있다. 본 논문에서는 VBR MPEG 비디오 정보원들이 임의의 시작 시간 배열을 갖는 환경하에서의 ATM 다중화기의 성능 해석 모델을 제안하였다. 성능 해석을 위하여 개별 트래픽과 다중화된 트래픽을 NDPP(non-deterministic periodic process)로서 모델링 하였고, 다중화기는 U-state NDPP/D/1/B 큐잉 시스템으로 모델링 하였다. 해석 결과는 모의 실험의 결과와 매우 유사한 경향임을 보여준다. 시작 시간 배열과 ATM 다중화기의 성능간의 관계를 고찰함으로서. 다중화 성능을 최대화하도록 다중화되는 VBR MPEG 비디오 정보원들의 시작 시간을 배열하기 위한 방안을 제시하였다.

  • PDF

J-JDBS: Jini를 이용한 자바 분산 일괄처리 시스템 (J-JDBS: Java Distributed Batch-processing System Using Jini)

  • 구건;김정선
    • 전자공학회논문지CI
    • /
    • 제39권1호
    • /
    • pp.1-13
    • /
    • 2002
  • 분산 일괄처리 시스템은 네트워크 상에 있는 유휴상태의 컴퓨터를 활용하여 각 컴퓨터에 의하여 제출된 CPU-intensive한 작업을 수행시킴으로써 컴퓨터 자원의 활용도 및 작업의 생산성을 높일 수 있도록 하는 시스템이다. 이러한 시스템이 효과적으로 운용되기 위해서는 규모확장성, 결함 허용성, 그리고 머신 풀(pool) 구성의 유연성 등이 보장되는 것이 바람직하다. 그러나, 네트워크의 결함이나 컴퓨터의 다운 또는 컴퓨터 소유자의 자율적 의지에 의한 풀에서의 탈퇴 등으로 인하여 사용 가능한 컴퓨터가 비결정적(non-deterministic)일 수밖에 없는 동적 환경 하에서 그와 같은 특성을 보장하기는 매우 어렵다. 본 논문에서는 Jini의 core 서비스를 이용한 분산 일괄처리 시스템인 J-JDBS (Jini-based Java Distributed Batch-processing System) 시스템의 설계 및 구현을 제시함으로써, Discovery 서비스, Lookup 서비스, Lease 서비스 등의 Jini 코아 서비스가 규모확장성, 결함 허용성, 풀 구성의 유연성을 보장하는 신뢰성 있는 분산 일괄처리 시스템을 쉽고 빠르게 구축하는 데 매우 유용하게 적용될 수 있음을 보인다.

확률적 평가에 의한 건설공사 비용 위험도 측정의 적용성에 관한 연구 (A Study on the Application of Cost Risk Exposure methods by the Probabilistic Evaluation on the Construction Projects)

  • 조재호;전재열
    • 한국건설관리학회논문집
    • /
    • 제1권1호
    • /
    • pp.63-71
    • /
    • 2000
  • 건설공사비의 총액을 산정하기 위한 예비 견적은 위험의 정도를 감수하고 있다. 즉 대형 건설공사의 경우 오랜 기간에 걸쳐 수행되어지며 공종에 따른 공사기간별로 초기 계획단계보다 실행견적가에 미달하는 위험과 관련하여 발생되어진다. 이는 신뢰성 있는 유사비용데이터 수집의 어려움과 데이터의 수가 절대적으로 부족할 뿐만 아니라 이러한 수집된 비용데이터 조차도 건설공사의 특성을 충분히 반영하지 못하기 때문이다. 또한 통산 비용산정방법에 있어서 기존에 주로 활용되는 확정론적 비용평가는 다수의 불확실성을 띄고 있는 건설공사의 특수성을 반영하지 못하고 있다. 따라서 국내의 비용평가시 다루어지지 않고 있는 비용의 확률적 개념을 도입함으로서 비용의 위험도를 측정하고 비용요인들간의 상관성과 부위별 비용특성을 반영하여 견적시 과대 과소의 오차합계를 최소화하기 위한 방법을 제시하고자 한다. 여기서 위험도는 예비견적비가 실제 발주자 집행 실행견적가 보다 적게 될 확률로서 정의하고 본 방법의 제시에 따른 사례의 적용을 통해 객관적 인 검증을 연구의 목적으로 한다. 연구의 방법은 첫 번째, 비용 데이터로부터 직접적으로 위험도를 평가하는 통계학적 방법과 두 번째, 몬테칼로 시뮬레이션 방법을 이용하여 비용데이터로부터 간접적으로 위험도 평가방법을 제안하고자한다. 몬테칼로 시뮬레이션 방법은 단위 요소비용의 분포특성과 비용상관성으로부터 총비용의 확률분포를 생성하여 신뢰성 있는 비용 데이터의 확장과 해석이 가능한 방법으로 실제상황에 접근된 위험도 평가가 가능할 것이다.

  • PDF

고신뢰도 안전등급 제어기기 개발 (Development of the High Reliable Safety PLC for the Nuclear Power Plants)

  • 손광섭;김동훈;손철웅
    • 전기학회논문지
    • /
    • 제62권1호
    • /
    • pp.109-119
    • /
    • 2013
  • This paper presents the design of the Safety Programmable Logic Controller (SPLC) used in the Nuclear Power Plants, an analysis of a reliability for the SPLC using a markov model. The architecture of the SPLC is designed to have the multiple modular redundancy composed of the Dual Modular Redundancy(DMR) and the Triple Modular Redundancy(TMR). The operating system of the SPLC is designed to have the non-preemptive state based scheduler and the supervisory task managing the sequential scheduling, timing of tasks, diagnostic and security. The data communication of the SPLC is designed to have the deterministic state based protocol, and is designed to satisfy the effective transmission capacity of 20Mbps. Using Markov model, the reliability of SPLC is analyzed, and assessed. To have the reasonable reliability such as the mean time to failure (MTTF) more than 10,000 hours, the failure rate of each SPLC module should be less than $2{\times}10^{-5}$/hour. When the fault coverage factor (FCF) is increased by 0.1, the MTTF is improved by about 4 months, thus to enhance the MTTF effectively, it is needed that the diagnostic ability of each SPLC module should be strengthened. Also as the result of comparison the SPLC and the existing safety grade PLCs, the reliability and MTTF of SPLC is up to 1.6-times and up to 22,000 hours better than the existing PLCs.

상관차원에 의한 비선형 뇌파 분석과 기질성격척도(TCI) 요인간의 상관분석 (Correlation over Nonlinear Analysis of EEG and TCI Factor)

  • 박진성;박영배;박영재;허영
    • 대한한의진단학회지
    • /
    • 제11권2호
    • /
    • pp.96-115
    • /
    • 2007
  • Background and Purpose: Electroencephalogram(EEG) is a multi-scaled signal consisting of several components of time series with different origins. Recently, because of the absence of an identified metric which quantifies the complex amount of information, there are many limitations in using such a linear method. According to chaos theory, irregular signals of EEG can also result from low dimensional deterministic chaos. Chaotic nonlinear dynamics in the EEG can be studied by calculating the correlation dimension. The aim of this study is to analyze correlation between the correlation dimension of EEG and psychological Test (TCI). Methods: Before and after moxibustion treatment, EEG raw data were measured by moving windows during 15 minutes. The correlation dimension(D2) was calculated from stabilized 40 seconds in 15 minutes data. 8 channels EEG study on the Fp, F, T, P was carried out in 30 subjects. Results: Correlation analysis of TCI test is calculated with deterministic non-linear data and stochastic non-linear data. 1. Novelty seeking in temperament is positive correlated with D2 of EEG on Fp. 2. reward dependence in temperament is positive correlated with D2 of EEG on T3,T4 and negative correlated with D2 of EEG on P3,P4. 3. self directedness in character is positive correlated with D2 of EEG on F4, P3. 4. Harm avoidance is negative correlated with D2 of EEG on Fp2, T3, P3. Conclusion: These results suggest that nonlinear analysis of EEG can quantify dynamic state of brain abolut psychological Test (TCI).

  • PDF

원자력발전소 해체 위험도 평가 방법론 개발 (Suggestion of Risk Assessment Methodology for Decommissioning of Nuclear Power Plant)

  • 박병익;김주열;김창락
    • 방사성폐기물학회지
    • /
    • 제17권1호
    • /
    • pp.95-106
    • /
    • 2019
  • 원전 해체를 준비함에 있어 정성적 또는 정량적 위험도 평가는 필수요소이다. 해체 공정간 발생하는 방사선학적 및 비방사선학적 위험요소는 해체 작업자 및 대중의 안전을 보장하기 위해 사전에 평가되어야 한다. 현재 해체 경험이 많은 미국의 기존 사업자들 및 NRC의 경우 위험의 중대성만 평가하는 결정론적 위험도 평가에 집중하고 있다. 하지만 최근 IAEA는 위험도 매트릭스를 활용한 위험도평가를 결정론적 위험도 평가의 대체안으로 제안하고 있다. 따라서 본 연구에서는 위험도평가에 앞서 해체 공정 별 해체 활동을 Risk Breakdown Structure에 맞추어 정리하였고, 미국 20여개 해체 원전에서 해체 공정별 위험도 평가 시행 중 선정한 해체 활동간 잠재적 사고를 해체 활동에 맞게 체계적으로 정리하였다. 그리고 복합 리스크 매트릭스를 개발 및 활용하여 해체 공정간 방사선학적 및 비방사선학적 위험요소의 위험도를 평가하여 정량적으로 수치화 하였다.

Optimal Buffer Allocation in Tandem Queues with Communication Blocking

  • Seo, Dong-Won;Ko, Sung-Seok;Jung, Uk
    • ETRI Journal
    • /
    • 제31권1호
    • /
    • pp.86-88
    • /
    • 2009
  • In this letter, we consider an m-node tandem queue (queues in series) with a Poisson arrival process and either deterministic or non-overlapping service times. With the assumption that each node has a finite buffer except for the first node, we show the non-increasing convex property of stationary waiting time with respect to the finite buffer capacities. We apply it to an optimization problem which determines the smallest buffer capacities subject to probabilistic constraints on stationary waiting times.

  • PDF