• 제목/요약/키워드: 다중 안정성

검색결과 557건 처리시간 0.032초

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

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

  • PDF

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

  • 박성한;김재용;조인제;황병문
    • 한국항공우주학회지
    • /
    • 제38권2호
    • /
    • pp.169-179
    • /
    • 2010
  • 3중 비행제어시스템이 종래의 4중 비행제어시스템과 유사한 수준의 시스템 신뢰성과 이중 결함시의 안전한 운용성능을 제공하기 위해서는 기존의 고전적인 다중화 설계기법에 많은 변경과 수정이 필요하다. 이에 따라 국내에서 개발된 고등훈련기급의 3중 비행제어시스템 다중화 설계기법은 4중 시스템과 동일한 수준의 생존성을 확보하기 위해서 3중 시스템의 핵심인 비행제어컴퓨터의 입출력 프로세서와 메인 프로세서를 기능적으로 분리시켜 상호 고장에 대한 영향성을 최소화키고, 시스템의 치명적인 결함을 검출하기 위해서 특별한 고장 분석 기법과 격리 알고리즘을 적용하여 비행제어시스템의 안정성과 신뢰도가 보장되도록 설계하였다. 본 논문은 이러한 다중 시스템 구조와 고장관리 설계기법을 소개하고 설계된 3중 비행제어시스템의 손실율 분석을 통해서 기존 신뢰성 요구도가 만족됨을 해석적으로 입증하였으며, 또한 3중 비행제어시스템의 각종 고장모드에 대한 시스템 영향성 및 안정성 시험을 통해서 그 성능을 검증하였다.

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

  • 송오섭;윤경재
    • 한국소음진동공학회논문집
    • /
    • 제20권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)

  • 윤경재;최종운;송오섭
    • 한국소음진동공학회:학술대회논문집
    • /
    • 한국소음진동공학회 2012년도 춘계학술대회 논문집
    • /
    • 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

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

  • 임두현;김지연;박주완
    • 방사성폐기물학회지
    • /
    • 제9권2호
    • /
    • pp.99-105
    • /
    • 2011
  • 중저준위 방사성폐기물 처분장의 안전성 평가를 위하여 지하 사일로와 그 주변의 굴착손상영 역 (EDZ) 및 단열암반을 고려한 지하수유동해석과 핵종이동해석의 통합모델을 개발하였다. 사일로를 다중방벽개념으로 고려하여 사일로를 구성하는 3개의 특성지역 (waste, buffer, concrete)으로 구분하여 해석하였고, EDZ는 사일로 주변과 건설운영 터널 주변의 손상영역을 고려하였다. 단열암반의 불균일성은 분리단열 (discrete fractures)로 부터 해석된 불균일한 지하수 유속계로 도출하였고, 그 결과를 핵종의 이동경로를 모사하는데 사용하였다. 현 모델은 핵종누출에 따른 사일로 배치의 최적화와 안전성의 정량화를 도출하는데 사용가능하다.

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

  • 박란;김우완;장상동
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국정보통신학회 2012년도 춘계학술대회
    • /
    • pp.216-219
    • /
    • 2012
  • 무선 애드 혹 네트워크에서 경로를 구성하고 있는 노드들은 라우터로서 동작하고, 각기 다른 이동성을 가지고 있다. 따라서 경로를 구성하고 있는 노드 중 이동성이 높은 노드가 포함되어 있다면 그 노드는 경로 단절을 빈번히 일으키는 원인이 되므로 경로 선택에서 최대한 배제되어야 한다. 본 논문에서는 경로의 안정성을 증가시키기 위해 기존에 알려져 있는 다중경로 라우팅 프로토콜인 AOMDV(Ad-Hoc On-demand Multipath Distance Vector)를 확장하여 노드의 이동성에 대한 정보를 기록하고 관리한다. 노드의 이동성에 대한 정보 관리를 위해 History필드와 Decline필드를 추가하고, 관리하는 정보를 실제 경로 설정에 반영하기 위해 RREP(Route Reply)메시지에 Mbl필드를 추가하여 이동성이 높은 노드를 경로 구성에서 배제하여 보다 안정적인 경로를 구성할 수 있도록 하였다.

  • PDF

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

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

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

  • 이경식
    • 한국광학회:학술대회논문집
    • /
    • 한국광학회 1991년도 광학 및 양자전자학 워크샵
    • /
    • pp.103-108
    • /
    • 1991
  • 결정형 光 전압/전류 센서에 있어서 내부다중반사(Multiple internal Reflection), 북굴절 및 물성의 온도의존성이 어떻게 불안정성 요인으로 작용할 수 있는지를 알아보았으며, 이들 요인들을 피해서 센서의 안정성을 높힐 수 있는 방법들을 소개하였다. 구성된 光 전압/전류센서의 간단한 동작도 보았다.

  • PDF

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

  • 허정림;김철훈
    • 공업화학
    • /
    • 제8권4호
    • /
    • pp.560-567
    • /
    • 1997
  • 안정한 $W_1/O/W_2$ 다중에멀젼을 얻기 위한 새로운 시도가 연구 되었다; 오일상에 분산된 친유성 유화제와 PCL-PEO-PCL triblock copolymer 사이의 계면상호 작용이 연구되었다. $W_1/O/W_2$ 다중에멀젼은 2단계 방법으로 제조하였다. 친유성 유화제로서 Arlacel P-135와 친수성 유화제로서 Synperonic PE/F 127을 사용하였으며, Eutanol-G를 오일상으로 사용하였다. 다중에멀젼의 내부수상에 시약 방출물질로서 NaCl을 첨가하였으며, 이의 방출속도가 연구되었다. 다중에멀젼의 안정성은 분리도 측정과 광학현미경을 이용하여 평가하였다. 오일상에 PCL-PEO-PCL triblock copolymer를 용해하여 실험한 결과 2k-4k-2k와 6k-4k-6k의 조성 갖는 copolymer로 제조한 다중에멀젼에서 NaCl의 방출이 크게 감소하였다. 이것은 copolymer와 유화제가 안정성 증대와 방출 속도를 조절하는 효과적인 계면 복합체를 형성하기 때문이라고 사료된다. 2k-4k-2k의 조성 갖는 PCL-PEO-PCL triblock copolymer 1.2wt%의 함량으로 제조한 다중에멀젼에서 NaCl의 확산계수는 $2.64{\times}10^{-15}gcm^2/s$이고, 6k-4k-6k에서는 $3.23{\times}10^{-16}gcm^2/s$값을 얻었다. NaCl의 초기 농도의 증가에 따라 NaCl 방출이 감소하였고, Higuchi의 방출 모델식을 개정하여 적용한 결과, 고분자 matrix에 분산된 시약의 방출모델과 유사한 kinetic모델이 다중에멀젼에서 NaCl의 방출에 적당함이 발견되었다.

  • PDF

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

  • 차현록;이성호;백승훈
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2007년도 추계학술대회 논문집 전기기기 및 에너지변환시스템부문
    • /
    • pp.39-40
    • /
    • 2007
  • 본 논문은 Slotless BLDCM의 발열특성에 고려하여 열 발생을 최소화 하고자 다중 반응표면법을 적용하여 모터의 형상 및 권선 사양의 최적 선정에 관한 연구이다. 본 연구에서는 전류밀도의 최소화를 목적함수로 하여 형상 및 권선 사양의 최적화를 실시하였다. 변수에 대한 영향도의 분석은 전자계 해석을 통한 결과값을 통하여 실시하였으며, 열적 특성을 파악하기 위해서 전자계-열계의 해석을 통해서 최적값의 열적 안정성을 파악하였다.

  • PDF