• 제목/요약/키워드: 신뢰도 기반 설계

검색결과 1,308건 처리시간 0.062초

협력 시스템에서의 접근 제어 프레임워크 설계 (The Design of Access Control Framework for Collaborative System)

  • 정연일;이승룡
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
    • /
    • pp.424-426
    • /
    • 2000
  • 협력 시스템은 컴퓨터의 성능 향상과 네트워크 기술의 발전으로 인하여 분산 환경에서 다수의 사람들이 프로젝트나 어떤 작업을 동시에 수행이 가능하도록 하는 기술이다. 분산 환경과 개방형 정보 통신망을 이용하는 협력 시스템은 정보의 신뢰성이 보장되고 안전한 서비스를 제공해야 한다. 또한, 협력 시스템은 공유 객체 기술을 기반으로 함에 따라 공유 객체에 대한 보안 기술의 개발은 절대적으로 필요하다. 특히, 협력 시스템의 보안은 기존의 보안 정책을 그대로 적용하기보다는 각각의 협력 시스템의 특성에 맞게 새롭게 구성되어져야 한다. 본 논문은 실시간 산업 디자인 협력 시스템에서의 보안 프레임워크 중 접근 제어 프레임워크 부분에 대하여 논하고자 한다. 접근 제어는 사용자 정보, 세션 정보, 공유 객체 정보에 대한 접근 제어로 구성되며 사용자 정보 접근제어와 세션의 접근제어는 접근자의 접근 정보에 의해 정의된 규칙에 따른 정보에 접근을 제어하며 공유 객체 접근 제어는 공동 작업을 원활히 하기 위해 주체와 객체사이의 정보를 이용하여 제어하는 특징이 있다.

  • PDF

복합재료 블레이드 단면 해석 프로그램(KSec2D-AE) 신뢰성 검증

  • 김현식;배진규;임태현;황재민
    • EDISON SW 활용 경진대회 논문집
    • /
    • 제6회(2017년)
    • /
    • pp.282-289
    • /
    • 2017
  • 본 연구에서는 유한요소법 기반의 단면 특성치 해석 프로그램인 EDISON Software 'KSec2D-AE'의 정확성을 검증함으로써, 학부 수준의 비행체 구조해석 및 설계 시 활용가능성을 제시하고자 한다. 이를 위하여, 다양한 요소를 적용해가며 'KSec2D-AE'로부터 계산된 단면강성계수 결과의 요소개수에 따른 수렴성을 확인하였다. 또한 상용 구조해석프로그램인 'MSC NASTRAN'으로부터 구한 하중-변위 계산식을 통해 얻어진 강성계수와 비교하고, 하중을 적용하였을 시 각 중심치(tension center, shear center, principal bending axes)의 특성에 부합하게 구조물이 거동하는지 확인함으로써 'KSec2D-AE'의 단면강성계수 및 중심치 결과를 검증하였다. 그 결과를 통하여 'KSec2D-AE' 프로그램의 유용성을 확인하였다.

  • PDF

TSCR를 이용한 실시간 시스템의 정형 명세 (Formal Specification for Real-Time Systems Using TSCR)

  • 최수진;강인혜;양승민
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
    • /
    • pp.531-533
    • /
    • 2000
  • 실시간 시스템은 신뢰성이 중요하므로 실시간 시스템을 설계하는데 있어서 각 태스크의 기능적인 정확성의 검증은 물론 모든 태TM크에 대한 시간적인 요구사항들을 보장해야만 한다. 본 논문에서는 이러한 조건 즉, 실시간 시스템의 정확성과 시간성 보장을 위하여 기존의 객체 지향적 모델을 기반으로 하는 실시간 시스템을 위한 정형명세 언어인 TSC(Timed State Chart)에 자원(resource)의 개념을 추가한 TSCR(Timed State Chart with Resource)를 제안한다. TSCR을 통하여 실시간 시스템의 다양한 요구 사항을 명세하며, 태스크들의 시간성 보장을 위한 스케줄링 가능성 분석(schedulability analysis)을 할 수 있다. 실시간 시스템의 대표적인 예로 철도 건널목 제어 시스템을 TSCR를 이용하여 명세한다.

  • PDF

건물에너지 절감을 위한 PV-LED 통합 제어/관리 연구 (A Study on PV-LED Integrated Control and Management for Building Energy Saving)

  • 박영충;김성동;윤형섭;박송이
    • 한국컴퓨터정보학회:학술대회논문집
    • /
    • 한국컴퓨터정보학회 2018년도 제58차 하계학술대회논문집 26권2호
    • /
    • pp.521-523
    • /
    • 2018
  • 본 논문은 PV시스템과 조명제어 알고리즘을 이용해 건물에너지 감소 ICT 융복합 플랫폼 개발에 관한 연구내용을 보여준다. 개발 된 ICT 플랫폼은 비 주거 건물 환경에서 전력을 절감 할 수 있으며, 건물에너지 감소를 위해 조명부하 감소에 중점을 두었다. 본 연구는 이를 위해 LED 디밍 알고리즘을 설계 및 적용하고, ESS 및 PV와의 연계를 통하여 건물에너지 절감 시스템을 제안한다. 제안 된 시스템은 ICT 융합 플랫폼과 LED제어 알고리즘으로 구성 되어 있으며 ICT 플랫폼은 계통 및 ESS 전력 제어/관리 및 모니터링을 수행하고, LED제어 알고리즘을 통해 상황인지기반 조명부하감소를 수행한다. 본 논문에서 제안 된 시스템의 연계 신뢰성을 시뮬레이터 및 에뮬레이터를 통하여 성능 분석을 하였다.

  • PDF

풍력발전기의 계통연계 운전시 출력변동에 따른 PCC 전압 변동 예측모델 (Prediction Model for PCC Voltage Variation due to Active Power Fluctuation of Grid Connected Wind Turbine)

  • 김상진;임지훈;송승호;성세진
    • 전력전자학회:학술대회논문집
    • /
    • 전력전자학회 2008년도 하계학술대회 논문집
    • /
    • pp.298-300
    • /
    • 2008
  • 고립된 소규모 전력시스템에 소형 풍력발전기를 계통연계 운전할 때 나타날 수 있는 전압변동을 예측하기 위한 방법에 관해 연구하였다. 이를 위하여 고립된 계통에 연결된 기존발전소 및 부하, 변압기, 풍력발전기의 간략화된 시뮬레이션 모델을 PSCAD/EMTDC를 기반으로 구성하고 실제 설치된 풍력발전기의 운전 특성과 비교하였다. 특히, 연계점의 전압변동을 해석적으로 예측하기 위하여 전원측 등가 임피던스와 부하측 등가 임피던스로 구성된 간략화한 모델을 제안하였으며 제안된 방법으로 계산된 전압변동량이 시뮬레이션 및 실측 데이터와 잘 일치하는 것을 확인하였다. 이 결과는 소형 풍력발전기 계통연계 시스템 설계 및 사전검토 단계에서 안정성과 신뢰성을 확보 하기위한 도구로 활용될 수 있다.

  • PDF

SLA 시스템 통신 모듈의 데이터 변환 기능 (Data Transforming Function of Communication Module in SLA System)

  • 고은진;이길행
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (3)
    • /
    • pp.217-219
    • /
    • 2003
  • 네트워크 사용자들의 다양한 요구를 수용하고 신뢰성이 있는 서비스를 제공하기 위하여 많은 통신 사업자들은 SLA(Service Level Agreement)를 제공하고자 하고 있다. 통신 사업자들은 다양한 네트워크 서비스를 제공하고 있으며 각 네트워크 서비스에 대한 SLA를 제공하기 위한 SLA 시스템은 유연한 구조를 가져야 한다. 이에 .NET 기반에서 SLA 서비스 제공에 필요한 기능들을 설계하고 내/외부 정보 송수신을 위하여 XML(extensible Markup Language) 문서를 사용한다. 이런 구조에서 내부 모듈간 혹은 외부 시스템과의 정보 송수신을 담당하는 IB(Information Broker)라는 모듈을 정의하였다. IB가 수신하는 다양한 형식의 XML 문서를 SLA 시스템 내부에서 사용하는 공통 형식으로 변환하여 사용해야 하며 이를 담당하는 XML 문서 변환 기능에 대하여 본 논문에서 논의하고자 한다.

  • PDF

IPv6보안시스템용 HMAC-SHA-1하드웨어 모듈의 설계 및 구현 (Design and Implementation of HMAC-SHA-1 Hardware Module for IPv6 Security System)

  • 김지욱;이정태
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (3)
    • /
    • pp.277-279
    • /
    • 2002
  • 전자상거래, 무선 인터넷 등의 활성화를 위해서는 신뢰성 있는 통신 서비스를 제공하는 IPv6용 보안시스템이 필요하다. 이를 위한 기존의 암호화 알고리즘은 소프트웨어 및 하드웨어로 많이 구현되어 있으나 IPv4를 기반으로 한 운영체제에 종속되어 있다. 이를 해결하기 위하여 운영체제 없이 고성능의 보안서비스를 제공하는 IPv6용 보안시스템이 하드웨어로 구현되었다. 본 논문에서는 이러한 IPv6용 하드웨어 보안시스템에 요구되는 암호화알고리즘 중에서 HMAC-SHA-1을 하드웨어 모듈로 구현하였다. 그리고 구현한HMAC-SHA-1 모듈에 대하여 시뮬레이션 테스트를 수행하고 IPv6 하드웨어 보안시스템과 연동함으로써 기능을 검증하였다.

  • PDF

컴포넌트기반 자바가상머신을 위한 컴포넌트 명세에 관한 연구 (A Study on Component Specification for Component-based Java Virtual Machine)

  • 고종원;서영준;이승룡;송영재
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2003년도 춘계학술발표논문집 (하)
    • /
    • pp.1817-1820
    • /
    • 2003
  • 최근 급격히 보급되고 있는 정보기기 종류의 다양화와 인터넷의 급속한 확산됨에 따라 이동내장형 시스템에 탑재하기 위한 기술로 다양한 이기종 제품간의 호환성과 이식성 제공하는데 핵심 역할을 수행하는 자바가상머신(Java Virtual Machine)이 주목 밭고 있다. 이러한 내장형 시스템은 빠르고 신뢰성 있게 개발이 이루어져야 하나, 내장형 시스템을 위한 효율적인 방법이 부족하다. 이에 대한 대안으로 본 논문에서는 이동내장형 시스템에 탑재하기 위한 자바가상머신을 컴포넌트 설계하고, 실시간 속성 등을 고려한 컴포넌트 조립을 위한 명세기법에 대해서 제안한다.

  • PDF

파워셀 구조 기반의 10kV 양극성 펄스 모듈레이터 (10-kV Bipolar Pulsed Power Modulator Based on Power Cell Structure)

  • 송승호;이승희;류홍제
    • 전력전자학회:학술대회논문집
    • /
    • 전력전자학회 2019년도 추계학술대회
    • /
    • pp.49-51
    • /
    • 2019
  • 본 논문은 고전압 양극성 펄스 모듈레이터에 대해 소개한다. 모듈레이터는 충전을 위한 공진형 컨버터와 고전압 펄스를 생성하기 위한 12개의 파워셀로 구성된다. 12개의 파워셀은 다중 권선 변압기를 통해 모든 셀이 병렬로 충전되며, 방전 시에는 모든 셀이 직렬로 연결되어 고전압을 생성한다. 12개의 파워셀을 구성하는 48개의 스위치에 절연된 전력과 신호를 동시에 공급하기 위해, 2개의 고전압 케이블로 구성된 양극성 컨트롤 루프가 설계되었다. 최종적으로 10kV, 100A, 3kHz 사양을 갖는 양극성 펄스 모듈레이터가 구현되었으며, 저항부하 및 리액터 부하조건에서 테스트 되었다. 실험결과를 통해 제안하는 양극성 펄스 모듈레이터의 신뢰성이 검증되었다.

  • PDF

신뢰도지수와 목표성능치에 기반한 확률론적 구조설계 최적화기법에 대한 비교연구 (A Comparative Study on Reliability Index and Target Performance Measure Based Probabilistic Structural Design Optimizations)

  • 양영순;이재옥
    • 한국전산구조공학회:학술대회논문집
    • /
    • 한국전산구조공학회 2000년도 가을 학술발표회논문집
    • /
    • pp.32-39
    • /
    • 2000
  • Probabilistic structural design optimization, which is characterized by the so-called probabilistic. constraints which introduce permissible probability of violation, is preferred to deterministic design optimization since unpredictable inherent uncertainties and randomness in structural and environmental properties are to be taken quantitatively into account by probabilistic design optimization. In this paper, the well-known reliability index based MPFP(Most Probable Failure Point) search approach and the newly introduced target performance measure based MPTP(Minimum Performance Target Point) search approach are summarized and compared. The present comparison focuses on the number of iterations required for the estimation of probabilistic constraints and a technique for improvement which removes exhaustive iterations is presented as well. A 10 bar truss problem is examined for this.

  • PDF