• Title/Summary/Keyword: 다중 안정성

Search Result 561, Processing Time 0.028 seconds

Formal Design and Verification of MESI Protocol Designed by ESTEREL (ESTEREL을 이용한 MESI프로토콜의 정형 설계 및 검증)

  • 김민숙;김진현;최진영
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.10c
    • /
    • pp.40-42
    • /
    • 2001
  • 캐쉬 일관성 프로토콜의 하나인 MESI 프로토콜은 다중 프로세싱 환경에서 각각의 프로세서와 메모리 사이의 데이터 일관성을 유지하기 위해 캐쉬, 메모리 등의 통신 개체들을 조정하는 일종의 규칙들 중 하나이다. 프로세서의 수가 많아지고 시스템이 복잡해 질 경우 MESI 프로토콜을 정확하게 설계하고 그 동작을 분석하기는 매우 어렵다. 본 연구에서는 정형기법 도구인 ESTEREL을 이용하여 MESI 프로토콜을 설계하고 그 동작의 안정성을 검증하여, 시스템의 정확성과 안정성을 보장하는 방법에 대해 논한다.

  • PDF

Redundancy Management Design for Triplex Flight Control System (3중 비행제어시스템의 다중화 기법 설계)

  • Park, Sung-Han;Kim, Jae-Yong;Cho, In-Je;Hwang, Byung-Moon
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.38 no.2
    • /
    • pp.169-179
    • /
    • 2010
  • Satisfying the same probability of loss of control and essentially two fail operative performance with a triplex computer architecture requires a lot of modification of the conventional redundancy management design techniques, previously employed in quadruplex digital flight control computer. T-50 FCS for triplex redundancy management design applied an advanced digital flight control architecture with an I/O controller which is functionally independent of the digital computer to achieve the same reliability and special failure analysis and isolation schemes for fail operational goals with a triplex configuration. The analysis results indicated that the triplex flight control system is to satisfy the safety requirement utilizing the advanced flight control techniques and the system performance of the implemented flight control system was verified by failure mode effect test.

Stability Analysis of Multi-wall Carbon Nanotubes Conveying Fluid (유체유동에 의한 다중벽 탄소나노튜브의 안정성 해석)

  • Song, Oh-Seop;Yun, Kyung-Jae
    • Transactions of the Korean Society for Noise and Vibration Engineering
    • /
    • v.20 no.6
    • /
    • pp.593-603
    • /
    • 2010
  • In this paper, vibration and flow-induced flutter instability analysis of cantilever multi-wall carbon nanotubes conveying fluid and modelled as a thin-walled beam is investigated. Non-classical effects of transverse shear and rotary inertia and van der Waals forces between two walls are incorporated in this study. The governing equations and the associated boundary conditions are derived through Hamilton's principle. Numerical analysis is performed by using extend Galerkin method which enables us to obtain more exact solutions compared with conventional Galerkin method. Cantilevered carbon nanotubes are damped with decaying amplitude for flow velocity below a certain critical value, however, beyond this critical flow velocity, flutter instability may occur. Variations of critical flow velocity with both radius ratio and length of carbon nanotubes are investigated and pertinent conclusion is outlined.

Vibration Stability Analysis of Multi wall Carbon Nanotubes Considering Conveying Fluid Effect (유체유동효과를 고려한 다중벽 탄소나노튜브의 진동 및 안정성 해석)

  • Yun, Kyung-Jae;Choi, Jong-Woon;Song, Oh-Seop
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2012.04a
    • /
    • pp.219-224
    • /
    • 2012
  • In this paper, vibration and flow-induced flutter instability analysis of cantilever multiwall carbon nanotubes conveying fluid and modelled as a thin-walled beam is investigated. Non-classical effects of transverse shear and rotary inertia are incorporated in this study. The governing equations and the associated boundary conditions are derived through Hamilton's principle. Numerical analysis is performed by using extend Galerkin method which enables us to obtain more exact solutions compared with conventional Galerkin method. Cantilevered carbon nanotubes are damped with decaying amplitude for flow velocity below a certain critical value, however, beyond this critical flow velocity, flutter instability may occur. Variations of critical flow velocity with both radius ratio and length of carbon nanotubes are investigated and pertinent conclusion is outlined.

  • PDF

Multiple-Silo Performance Assessment Model for the Wolsong LILW Disposal Facility in Korea - PHASE I: Model Development (월성 중저준위 처분시설 다중사일로 안정성 평가 모델 - 1단계: 모델개발)

  • Lim, Doo-Hyun;Kim, Jee-Yeon;Park, Joo-Wan
    • Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
    • /
    • v.9 no.2
    • /
    • pp.99-105
    • /
    • 2011
  • An integrated model for groundwater flow and radionuclide transport analyses is being developed incorporating six underground silos, an excavated damaged zone (EDZ), and fractured host rock. The model considers each silo as an engineered barrier system (EBS) consisting of a waste zone comprising waste packages and disposal container, a buffer zone, and a concrete lining zone. The EDZ is the disturbed zone adjacent to silos and construction & operation tunnels. The heterogeneity of the fractured rock is represented by a heterogeneous flow field, evaluated from discrete fractures in the fractured host rock. Radionuclide migration through the EBS in silos and the fractured host rock is simulated on the established heterogeneous flow field. The current model enables the optimization of silo design and the quantification of the safety margin in terms of radionuclide release.

Improved AOMDV to Increase of Path Stability by Considering the Mobility of Nodes in Wireless Ad-Hoc network environment (무선 애드 혹 네트워크 환경에서 노드의 이동성을 고려하여 경로 안정성을 높인 향상된 AOMDV)

  • Park, Ran;Kim, Wu-Woan;Jang, Sang-Dong
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2012.05a
    • /
    • pp.216-219
    • /
    • 2012
  • In wireless ad-hoc networks, the nodes configuring a path act as routers with various mobility. If the path is broken by the movement of a node, a new path have to be found again. For this reason, the node with high mobility should be excluded from structuring a path as far as possible. In this paper, we propose an algorithm which excludes nodes with high mobility from constructing a path by collecting and managing the information of mobility. As the result, this can provide more stable paths. The proposed algorithm uses the extended AOMDV method. In this algorithm, we appends History Field and Decline Field in the routing table to collect and manage the mobility information. In addition, we add Mbl Field to RREP (Route Reply) message to apply the collected information to configure the real path.

  • PDF

2013년 이후 북한 인플레이션 완화에 대한 고찰

  • Jeong, Yeon-Uk
    • KDI북한경제리뷰
    • /
    • v.21 no.10
    • /
    • pp.73-93
    • /
    • 2019
  • 본 연구는 2013년 북한 쌀가격 및 환율안정의 배경에 대하여 고찰하였다. 이를 위해 외국 이론 및 사례 분석을 참고하였다. 짐바브웨의 사례에서 볼 수 있듯이 하이퍼인플레이션으로 격화된 달러라이제이션이 그 자체로 하이퍼인플레이션을 중단시키지는 못한다고 보았다. 하이퍼인플레이션을 겪었던 모든 국가는 결국 화폐개혁을 단행하게 되었고 때늦은 개혁조치는 대부분 실패하였지만, 성공적인 경우에서 확인되는 중요한 필요조건은 재정통제와 통화남발 중단이라는 점이 발견되었다. 북한도 달러라이제이션을 더 이상 방치할 수 없었고, '조용한' 금융개혁들을 나름 성공적으로 추진하였다고 보았다. 한편, 인플레이션 완화에 불구하고 달러라이제이션이 지속되는 현상에 대해서도 살펴보았다. 외부성(externality) 개념을 도입한 히스테레시스(hysteresis) 이론에 의하면 북한도 '외화통용안정적정태'로의 새로운 균형에 이른 것으로 볼 수 있다. 이는 다른 표현으로 북한의 금융이 안정적인 다중통화체제(multiple monies system)로 변했다는 말이지만, 다중통화체제의 분석은 주류경제학에서도 이렇다할 모델이 없는 것이 실정이다. 다만, 북한 정부는 적극적으로 외화흡수를 시도하고 있으며 그런 의미에서 디달러라이제이션(de-dollarization)이 일정 부분 시작되었다고 보았다.

Various Considerations in Designing Stable Electrooptic Voltage and Magnetooptic Current Sensors (결정형 光전압/전류센서의 高안정성을 위한 고찰)

  • 이경식
    • Proceedings of the Optical Society of Korea Conference
    • /
    • 1991.07a
    • /
    • pp.103-108
    • /
    • 1991
  • 결정형 光 전압/전류 센서에 있어서 내부다중반사(Multiple internal Reflection), 북굴절 및 물성의 온도의존성이 어떻게 불안정성 요인으로 작용할 수 있는지를 알아보았으며, 이들 요인들을 피해서 센서의 안정성을 높힐 수 있는 방법들을 소개하였다. 구성된 光 전압/전류센서의 간단한 동작도 보았다.

  • PDF

Stabilization and Release Behavior of W1/O/W2-Type Multiple Emulsions Using Various Block Copolymer Emulsifier and Stabilizer (다양한 Block Copolymer를 유화제 및 안정화제로 사용한 W1/O/W2-Type 다중에멀젼의 방출거동 및 안정성)

  • Haw, Jung-Rim;Kim, Cheol-Hun
    • Applied Chemistry for Engineering
    • /
    • v.8 no.4
    • /
    • pp.560-567
    • /
    • 1997
  • A new approach to obtain stable $W_1/O/W_2$ multiple emulsions has been studied ; The basis of the interfacial interaction between a PCL-PEO-PCL triblock copolymer and a lipophilic emulsifier in the dispersed oil phase was examined. $W_1/O/W_2$ multiple emulsions were prepared by the two-step method. Arlacel P-l35 was used as a liphophilic emulsifier and Synperonic PE/F 127 as a hydrophilic one. Eutanol-G was used as an oil phase. NaCl was encapsulated within the multiple emulsion droplets as the internal marker and its release rate studies were carried out. The suability of the multiple emulsions have been assessed by measuring Separation Ratios(%) and microscopic observations. The release of NaCl was significantly reduced in $W_1/O/W_2$ multiple emulsions containing PCL-PEO-PCL triblock copolymer(2k-4k-2k or 6k-4k-6k) in the oil phase. It may be concluded that the copolymer and the emulsifier form effective interfacial complex to enhance stability and to control the release rate. The effective diffusion coefficients of the NaCl were estimated as $2.64{\times}10^{-15}s$and $3.23{\times}10^{-16}gcm^2/s$ for the $W_1/O/W_2$ multiple emulsion containing 1.2 wt % of PCL-PEO-PCL triblock copolymers with compositions of 2k-4k-2k and 6k-4k-2k, respectively. The rate of release decreased with the increase of the initial concentration of NaCl. The results were examined in view of Higuchi mechanism. A kinetic model which is similar to the model for release of dispersed drugs from a polymeric matrix was found to be suitable for the release of NaCl from $W_1/O/W_2$ multiple emulsions.

  • PDF

A thermal safety design of slotless bldcm using MRSM (다중표면반응법을 이용한 Slotless BLDCM의 열특성 안정화 설계)

  • Cha, Hyun-Rok;Lee, Sung-Ho;Baek, Seung-Hun
    • Proceedings of the KIEE Conference
    • /
    • 2007.10c
    • /
    • pp.39-40
    • /
    • 2007
  • 본 논문은 Slotless BLDCM의 발열특성에 고려하여 열 발생을 최소화 하고자 다중 반응표면법을 적용하여 모터의 형상 및 권선 사양의 최적 선정에 관한 연구이다. 본 연구에서는 전류밀도의 최소화를 목적함수로 하여 형상 및 권선 사양의 최적화를 실시하였다. 변수에 대한 영향도의 분석은 전자계 해석을 통한 결과값을 통하여 실시하였으며, 열적 특성을 파악하기 위해서 전자계-열계의 해석을 통해서 최적값의 열적 안정성을 파악하였다.

  • PDF