• 제목/요약/키워드: 외부 검증

검색결과 1,294건 처리시간 0.031초

실시간 객체지향 설계에서 슬라이싱 맵의 데이터베이스 구축 및 활용에 관한 연구

  • 박상백;박만곤
    • 한국정보시스템학회:학술대회논문집
    • /
    • 한국정보시스템학회 1997년도 추계학술대회논문집 기업경쟁력 향상을 위한 정보통신 기술의 활용
    • /
    • pp.413-425
    • /
    • 1997
  • 실시간 시스템(realtime system)은 외부환경에서 보내진 요구사항(requirement)에 정해진 시간 내에 반응(action)해야만 한다. 시스템의 외부환경은 실세계(real world)의 물리 적인 요소(physical element)가 되며 이러한 물리적인 요소는 객체지향 설계 (object-oriented design) 개념에서 객체(object)이다. 또한 시스템을 설계하는 경우는 객체 지향 방법론을 적용함으로서 보다 명확한 표현이 가능하게 되며 실세계의 물리적인 각 요소 가 부품단위(component units)로 동작하는 형태를 소프트웨어로 설계하는 것이 용이하게 된다. 따라서 본 논문에서는 실시간 시스템설계에서 객체지향 방법을 사용하고, 원시 (source) 소프트웨어의 분석(analysis)과 검증(verification) 및 흐름(flow)를 슬라이스 기법을 사용하여 표현함으로써 시스템의 전체적인 구성을 명확하게 표현하며 클래스(class) 단위로 슬라이스 된 각 부분으로 상속(inheritance)과 메시지 전달(message sending)의 흐름을 파 악할 수가 있다. 그리고, 보다 효율적인 시스템의 외부환경의 오동작 처리 및 시스템 흐름 을 감시 추적(monitoring and tracing)할 수 있도록 슬라이싱 맵을 데이터베이스로 구축하 여 활용하는 방법을 제시한다. 또한 슬라이싱 맵 표현 방벙에 있어서 기존의 표현을 보다 구체적이고 실제적인 표현기호를 제시한다.

  • PDF

외부 루프 펼침에서 펼침 인자 증가에 따른 데이터 지역성 변화 관찰 (Observing Changes of Data Locality as Unrolling Factors Increase in Outer Loop Unrolling)

  • 우덕균;표창우
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
    • /
    • pp.407-409
    • /
    • 1998
  • 루프 몸체를 복제하는 루프 펼침을 외부 루프에 대하여 적용하면, 루프 내포체의 데이터 지역성이 개선된다. 펼침 횟수 증가에 따른 루프 내포체의 데이터 지역성 변화를 예측하였고, 예측 결과를 행렬 곱셈 프로그램에 대하여 실행 시간과 개시 미스 변화를 측정하여 검증하였다. 펼침 횟수는 증가함에 따라, 초반에는 실행 시간과 캐시 미스가 급격히 감소하다 점점 감소폭이 줄어드는 기하급수적 변화를 보였다. 이 결과는 데이터 지역성 개선을 위한 외부 루프 펼침 변환을 적용 할 때, 작은 값(최대 405회)의 펼침으로 프로그램 성능 향상을 기대할 수 있음을 의미한다. 한편, 컴파일러에 의한 루프 펼침을 적용할 때, 불필요하게 많은 펼침 횟수의 펼침 효과에 대하여 분석 할 필요가 없음을 나타낸다

다층반무한 기본해를 이용한 자유장응답해석 (Free Field Response Analysis Using Dynamic Fundamental Solution)

  • 김문겸;임윤묵;김민규;이종우
    • 한국지진공학회논문집
    • /
    • 제5권2호
    • /
    • pp.83-91
    • /
    • 2001
  • 본 연구에서는 2차원 평면상에서 자유장응답 해석을 위하여 유한요소-경계요소 조합에 의한 수치해석기법을 개발하였다. 전체 계를 외부영역과 내부영역으로 구분하였다. 외부영역은 동적 다층반무한 기본해를 이용한 경계요소로 모형화되고 내부영역은 유한요소로 모형화하여 조합하였다. 다층지반의 외부에서 입사하는 지진에 의한 지진응답해석을 수행하기 위하여 동적기본해를 이용한 자유장응답해석을 수행하였다. 지진응답해석에서는 지반의 전단병형률에 따라 변화하는 비선형특성을 모형화하기 위해 등가선형화기법을 적용하였다. 지진응답해석의 검증에 의하여 해석결과를 상용프로그램의 결과와 비교하였다. 결과적으로 지진응답해석을 효과적으로 수행할 수 있는 수치해석기법을 개발하였고 구조물이 있는 경우로의 확장돠 가능하게 되었다.

  • PDF

원자로 RI 생산용 조사용기 제작 및 시험

  • 박울재;한현수;조운갑;홍순복;이철영
    • 한국원자력학회:학술대회논문집
    • /
    • 한국원자력학회 1998년도 춘계학술발표회논문집(2)
    • /
    • pp.763-768
    • /
    • 1998
  • 방사성동위원소 생산용 표적을 중성자 조사하기 위해 하나로의 제반 특성을 고려하여 조사용기를 개발하였다 IP(Isotope Production), HTS(Hydraulic Transfer System) 조사공별로 내.외부용기를 제작하였으며 재료는 검증된 Al-1050을 사용하였다. 내부용기는 냉간용접(Cold Welding) 하고, 외부용기는 TIG(Tungsten Inert Gas) 또는 전자빔으로 용접한 후 He을 충진하고 밀봉하였다. 조사용기의 건전성을 입증하기 위해 기포누설시험, 내압시험, 가열시험, 침투탐상시험, He 누설시험을 수행하였다. 기포누설시험 결과 내부용기는 90% 이상이 3x$10^{-6}$atm.cc/sec 이하의 누설율을 보였고, 내압시험 결과 파단압력은 28kg/$\textrm{cm}^2$ 정도였다. 외부용기는 TIG 용접시 70%, 전자빔 용접시 90% 이상이 누설율 1x$10^{-8}$atm.cc/sec 이하였다. 개발된 조사용기를 사용하여 하나로에서 200여회 방사성동위원소를 생산하였으나 중성자 조사중 누출을 포함한 기타의 문제가 발생하지 않았다. 조사용기 개발에서 확립된 밀봉시험, 내압시험 및 가열시험 방법은 기체표적이나 내압이 발생하는 표적용기의 개발 및 시험에 응용할 수 있다.

  • PDF

개구면이 존재하는 공진기의 내부 전자기장 해석 (Analysis for Resonance Characteristic of Cavity with Aperture)

  • 김진혁;이재중;정현교
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2015년도 제46회 하계학술대회
    • /
    • pp.1269-1270
    • /
    • 2015
  • 외부에서 발생되는 전자파가 특정 구조물 내에 침투하는 경우, 특히 구조체가 도체로 이루어 졌을 때, 구조체의 크기에 따른 특정 주파수가 공진을 일으켜 내부 PCB(Printed Circuit Board), 회로 등에 악영향을 미친다. 본 논문에서는 개구면이 존재하는 공진기에 전자기파가 입사되는 상황을 모드매칭(MM: Mode Matching)을 이용해서 해석한다. 이때 외부 전자파로 인해 개구면에 생기는 새로운 소스를 표면 등가 이론(Surface equivalence theorem)을 이용하여 등가 자기전류로 모델링하여, 공진기 내 외부의 전자기장을 구한 후 개구면에서 접선성분의 경계조건을 적용시켰다. 본 논문에서 사용된 계산식의 검증을 위해 3차원 유한 요소법(FEM: Finite Element Method)기반의 프로그램인 HFSS를 이용 하였다.

  • PDF

액막의 유동 및 온도계산 모델에 의한 PCCS 열전달 현상 해석

  • 김성오;황영동;김영인;배윤영;장문희
    • 한국원자력학회:학술대회논문집
    • /
    • 한국원자력학회 1998년도 춘계학술발표회논문집(1)
    • /
    • pp.584-589
    • /
    • 1998
  • 범용 전산유체 해석코드인 CFX 4.1을 사용하여 철재격납용기 표면을 전열면으로 이용하는 피동격납용기냉각계통에 대한 열전달 현상해석을 수행하였다. 철재격납용기 내부와 외부 채널에서 발생하는 열전달 현상을 모사하기 위하여 액막의 유동 및 온도계산 모델을 범용 전산유체해석코드인 CFX4.1에 적용하여 철재격납용기 내.외부의 표면을 흐르는 액막의 높이, 액막내 온도분포, 철재격납용기 내.외부의 온도, 유속 및 부피분율 등을 계산하는 복합 열전달 해석 방법론을 개발하였다. 해석결과는 향후 실험 둥을 통한 검증이 필요하나 피동형 격납용기템각계통에서 발생하는 물리적 현상들의 복합적인 거동 분석에 사용될 수 있는 것으로 평가되었다.

  • PDF

에너지 분배의 효율성을 고려한 ESS 설계 및 성능 평가 (ESS Design and Performance Evaluation Considering Efficiency of Energy Distribution)

  • 강진구
    • 한국컴퓨터정보학회:학술대회논문집
    • /
    • 한국컴퓨터정보학회 2017년도 제56차 하계학술대회논문집 25권2호
    • /
    • pp.392-393
    • /
    • 2017
  • 본 연구에서는 에너지 저장시스템인 ESS 에너지 분배에 관한 시스템을 설계 및 제작하고 성능을 평가하였다. ESS에 충전하는 방법은 현재 기존의 상용전원을 전지에 충전하는 방식과(연계형) 태양광 에너지를 이용한 방법(독립형)으로 나누어져 있다. 본 연구에서는 어느 한쪽을 선택해야하는 번거로움을 줄여 상용전원과 태양광을 동시에 충전할 수 있는 시스템으로 설계하였다. 이러한 방법은 날씨 및 기타 외부적 환경이 좋지 않을 경우 일반 상용전원(AC 220V)를 이용하며 외부적 환경이 좋을 때는 태양전지로 충전이 가능하도록 연계형과 독립형이 동시에 가능하도록 구성하였다. 또한 출력에서 기존의 AC 220V 출력뿐만 아니라 DC12V, 24V의 전압과 USB(5V)도 동시에 출력이 가능하게 설계하므로 필요한 전압을 외부의 인버터나 컨버터가 필요 없이 바로 사용할 수 있도록 배분하였다. 따라서 본 연구에서는 ESS의 전력을 효율적으로 배분하므로 효율성을 증가시키고 내부의 배터리를 보호하는 시스템을 구성하여 그 성능평가를 실시하였으며 실험결과 효율적으로 배분된 전력을 얻을 수 있음을 검증하였다.

  • PDF

웹 서비스 기반 로봇 감시제어에 관한 연구 (A Study on the Robot Monitoring and Control Based on Web Service)

  • 임성호;이경희;박승민
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2007년도 심포지엄 논문집 정보 및 제어부문
    • /
    • pp.87-88
    • /
    • 2007
  • URC(Uniform Resource Identifier) 로봇은 기존의 로봇 자체에서 처리하던 기능을 네트워크를 통하여 외부로 분산시켜 외부의 센싱기능과 프로세싱 기능을 활용하여 효율적으로 구동하기 위한 것이다. 즉 많은 파워가 요구되는 센싱 기능이나 프로세싱 기능을 외부에 있는 서버를 활용하여 서비스를 제공함으로써 간단한 로봇으로도 고도의 서비를 제공이 가능토록하여 가격 경쟁력을 갖도록 하기 위함이다. 본 논문에서는 URC 로봇을 원격에서 모니터링 및 제어가 가능하도록 웹 서비스 기술을 임베디드 시스템 환경에 맞게 최적화하였다. 서비스는 인터넷 기반의 SOAP 프로토콜을 통하여 교환되는 XML 기반 메시지를 통하여 다른 응용 에이전트들과 직접적인 상호작용을 지원함으로서 이기종간 호환 및 표준 플랫폼을 지원할 수 있다. 본 논문에서는 URC 시범서비스 참가 로봇인 네토로(한울로보틱스)에 본 연구결과를 적용하여 기능 및 안정성을 검증하였다.

  • PDF

전자파 챔버에서의 차폐특성 분석

  • 장재웅;김태윤;장경덕;문귀원
    • 천문학회보
    • /
    • 제37권2호
    • /
    • pp.135.2-135.2
    • /
    • 2012
  • 일반적으로 전자파챔버는 패러데이 케이지(Faraday Cage)라고 불리는 금속재질의 차폐구조물과 구조물 내부에서 발생할 수 있는 전자파의 반사를 억제하는 전파 흡수체로 구성되어 있다. 전자파 환경시험의 무결성을 유지하기 위해서는 챔버 내부에서 발생하는 전자기파가 외부로 나가는 것이 차단되어야 하며 역으로 챔버 외부에서 발생하는 전자기파도 챔버 내부로 유입되지 않도록 전자파챔버 차폐완결성이 유지되어야 한다. 이를 정량적으로 측정함으로서 전자파챔버의 차폐율(Shielding Effectiveness)이 정의될 수 있다. 이상적으로는 전자파챔버의 차폐구조물이 이음새 없이 완벽한 차폐완결성이 유지되어야 하나, 시험품의 이동을 위한 도어 및 외부 EGSE와 시험품간 전기적인 연결을 위한 포트 플레이트의 설치로 인해 완벽한 차폐완결성을 유지하는 것은 불가능하다. 따라서, 본 논문에서는 항공우주연구원에 설치된 전자파챔버의 일반 차폐면, 도어, 포트 플레이트에 대한 차폐율 측정을 통해 차폐율을 정량적으로 검증하였다. 또한, 본 측정 경험과 결과 분석은 전자파 챔버에서 이뤄지는 전자파환경시험의 신뢰성을 증진하고 향후 전자파 챔버 유지보수 및 대형 위성의 전자파 환경시험을 위한 대형 전자파 시험시설의 성능시험을 위해 활용될 수 있을 것이다.

  • PDF

다목적 실용위성의 추진시스템 개발 (Development of Propulsion Subsystem for KOMPSAT)

  • 최진철;양승근;윤효철
    • 한국추진공학회:학술대회논문집
    • /
    • 한국추진공학회 1998년도 제11회 학술강연회논문집
    • /
    • pp.9-9
    • /
    • 1998
  • 다목적 실용위성의 궤도전이 및 위성체 자세제어를 위한 추진시스템의 설계요소에는 구조적 안전성, 우주환경에서의 열제어를 위한 회로 및 구성하드웨어 설계, 연료계통 맥압강하를 위한 장치설계 및 추력기 배기가스 영향을 고려한 형상설계 등이 있으며, 설계검증을 위해 부분해석이 수행된다. 또한 발사환경과 우주 궤도환경에서의 추진시스템 성능평가를 위한 연제어계 기능시험, 압력인증시험, 청정도시험 및 내부/외부 누설시험이 수행된다. 본 논문에서는 추진시스템 설계 및 조립공정에 대해 기술하였고, 시험분석을 통해 시스템의 설계 및 조립공정상의 신뢰성을 검증 분석하였다.

  • PDF