• 제목/요약/키워드: 바이너리 시스템

검색결과 119건 처리시간 0.034초

초소형 바이너리 발전 플랜트를 위한 Neuro PID 제어 (Neuro PID Control for Ultra-Compact Binary Power Generation Plant)

  • 한건영
    • 한국정보통신학회논문지
    • /
    • 제25권11호
    • /
    • pp.1495-1504
    • /
    • 2021
  • 초소형 바이너리 발전 플랜트는 열원과 냉각원 사이의 저온도차 열에너지를 이용하여 열에너지를 전력으로 변환한다. 실제 발전환경에서 플랜트의 특성치는 환경 조건이나 관련 장비의 부식과 같은 부정적인 영향으로 인해 변동하고, 플랜트 특성치의 변동은 PID 파라미터가 고정된 종래의 PID 제어시스템에서 불안정한 터빈 출력으로 이어진다. 본 논문에서는 플랜트의 특성치 변동에 따라 PID 파라미터를 적응적으로 조정하는 신경망 기반의 Neuro PID 제어시스템을 제안한다. 초소형 바이너리 발전 플랜트의 동작점 근방에서 동특성을 나타내는 이산시간 전달함수 모델을 도출하고, 제안된 제어시스템의 설계 전략을 기술한다. 제안된 Neuro PID 제어시스템을 종래의 PID 제어시스템과 비교하고, 시뮬레이션 결과를 통해 그 유효성을 보인다.

소프트웨어 보안약점 분석을 위한 바이너리 코드-중간언어 변환기에 관한 연구 (A Study of The Binary Code to Intermediate Language Translator for Analysis of Software Weakness)

  • 이태규;임정호;백도우;손윤식;정준호;고광만;오세만
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2017년도 춘계학술발표대회
    • /
    • pp.276-279
    • /
    • 2017
  • 오늘날 사회 전반적인 부분에서 소프트웨어의 비중은 지속적으로 증가하고 있다. 또한 소프트웨어는 점차 대규모화되고 있고 동시에 개인의 중요한 정보 등을 다루는 경우도 매우 늘어나고 있기에 소프트웨어의 보안성 검증은 매주 중요한 문제이다. 그러나 소스코드가 존재하지 않는 라이브러리의 경우 보안성 검증은 매우 어려운 문제로, 이를 해결하기 위해 바이너리 내에 존재하는 보안약점을 검사하기 위한 기술의 개발이 매우 요구되는 상황이며, 이를 위해 중간언어를 활용하여 보안약점을 분석하는 기술이 활발히 논의되고 있다. 본 논문에서는 바이너리 코드내에 존재하는 보안약점을 효과적으로 분석하기 위해서 바이너리 코드로부터 보안약점 분석에 효과적인 중간언어로 변환하는 시스템을 제안한다.

독립적으로 개발된 바이너리 컴포넌트들의 조립을 지원하는 컴포넌트 모델 (A Component Model Supporting the Assembly of Independently Developed Binary Components)

  • 임윤선;김명;정안모
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
    • /
    • pp.138-142
    • /
    • 2007
  • 컴포넌트 기반 개발 방법론이 지향하는 목표는 독립적으로 개발된 컴포넌트들을 소스 수정 없이 바이너리 형태로 조립하여 소프트웨어를 개발하는 것이다. 그러나 기존 컴포넌트 모델 기반으로 개발된 컴포넌트들은 자신이 제공하는 서비스에 대해서는 그 사용계약을 독자적인 인터페이스를 통하여 정의하는 반면, 하위 컴포넌트와의 연동은 하위 컴포넌트가 정의한 인터페이스에 따르는 코딩을 통해 이루어진다. 이러한 컴포넌트 모델들은 다계층 구조로 개발되고 있는 현대 엔터프라이즈 정보시스템에서 상위 컴포넌트들이 하위 컴포넌트가 정의한 인터페이스에 정적으로 단단히 결합되는 문제점을 갖고 있다. 따라서 하위 컴포넌트에 의존하지 않는 간단한 GUI용 컴포넌트들만 재사용되고 비즈니스 논리를 처리하는 중간 계층 컴포넌트들의 재사용율은 지극히 낮은 실정이다. 본 논문은 하위 컴포넌트가 정의한 인터페이스 규격에 따르는 대신 독자적으로 호출규격을 정의하여 사용하고 이에 대한 메타데이터를 공개함으로써 독립적으로 개발된 바이너리 컴포넌트들간의 연동을 보장하는 새로운 컴포넌트 모델을 제안하고 이 모델에 따라 개발된 컴포넌트들을 조립하는 방법을 제안하였다. 또한 이들을 구현함으로써 이미 개발된 컴포넌트를 실제 소스 수정 없이 바이너리 코드 형태로 조립 가능한 것을 증명하였다.

  • PDF

버퍼 오버플로우 취약점 자동 탐지 시스템 (Buffer Overflow Vulnerability Auto Detection System)

  • 김재환;김한결;김현정;유상현;원일용
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2017년도 추계학술발표대회
    • /
    • pp.345-348
    • /
    • 2017
  • 버퍼 오버플로우(Buffer Overflow) 취약점은 시스템 보안에서 아주 중요하다. 본 논문은 바이너리 파일에서 버퍼 오버플로우 취약점을 자동 감지하는 시스템을 제안하였다. 다양한 버퍼 오버플로우 샘플소스를 이용하여 패턴을 만들고, 이렇게 만들어진 패턴을 이용하여 바이너리 파일에서 버퍼 오버플로우 취약점이 포함되어 있는지를 판단한다. 제안한 시스템의 유용성을 위해 실험을 하였고, 어느 정도 의미 있는 결과를 얻을 수 있었다.

Binary Code를 이용한 CAVE용 자동 캘리브레이션 장치 개발 (Development of auto calibration system using binary code for CAVE)

  • 김도윤;박현근;박현우;김은미;김상연
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2009년도 제40회 하계학술대회
    • /
    • pp.1875_1876
    • /
    • 2009
  • 여러 대의 프로젝터로 VR 시스템을 구성할 경우 필연적으로 거쳐야 하는 캘리브레이션 과정을 자동으로 구성할 수 있는 방법을 제안한다. 프로젝터에서는 바이너리 코드 영상을 출력하고, 이 바이너리 영상을 주어진 위치에서 밝기값으로 측정하여 랜더링 시스템에 알려주는 형식으로 전체 시스템은 구성된다. 제안된 방식으로 하드웨어를 구성하였고, 실험을 통해 그 성능을 확인하였다.

  • PDF

UML-RT모델의 시나리오 기반 다중 쓰레딩의 실험적 평가를 위한 PBX 시스템 사례 연구 (A Case Study of PBX Systems for Experimental Assessment of Scenario-Based Multithreading of UML-RT Models)

  • 김세화;;홍성수;박선희
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
    • /
    • pp.391-393
    • /
    • 2004
  • 본 논문에서는 실시간 객체 지향 모델의 시나리오 기반 다중 쓰레딩에 대한 실험적 평가를 위해 PBX (Private Branch eXchange, 사설 교환기) 시스템에 대한 사례 연구 결과를 제시한다. 사용된 PBX 시스템은 재구성 가능한 동적 구조와 전형적인 계층 구조와 같은 실세계의 응용들에서 발견되는 많은 특징을 보인다 이 실험적 연구는 (1) 설계자의 사용 편리성과 (2) 결과적인 실행 바이너리의 성능이 얼마나 향상되는지를 평가하는 것을 목적으로 한다. 본 논문에서는 우리의 도구를 통해 시나리오 기반 다중 쓰레딩 실행 바이너리를 생성하는 것과 함께 시나리오를 모델링하기 위해 이를 어떻게 적응하는지를 보인다 이 사례 연구는 우리의 방법이 규모의 복잡한 모델을 다룰 수 있으며 시나리오 기반 다중 쓰레딩이 실세계 모델에 대하여 성능 향상을 가져오는 것을 명백하게 보여준다.

  • PDF

전술데이터링크 상호운용을 위한 XML 기반 메시징 시스템 (Interoperable XML Messaging System for Tactical Data Link)

  • 김홍재;오상윤
    • 한국컴퓨터정보학회논문지
    • /
    • 제16권3호
    • /
    • pp.75-87
    • /
    • 2011
  • 전술데이터링크(TDL)는 전술정보 및 상황정보를 실시간으로 교환하기 위한 통신체계이며, 네트워크 중심전(NCW)에서 정보우위를 점하는데 필요한 주요 요소이다. 한국군에서도 정보우위를 위해 다양한 전술데이터링크를 사용 중이나 이러한 다양한 전술데이터링크의 사용은 전체 C4I 시스템의 통합과 다른 전술데이터링크와의 연동을 어렵게 만들어 전체 시스템의 상호운용개념에 반하게 되는 문제점을 가진다. 본 논문에서는 네트워크 중심전 환경에서 다양한 전술데이터링크간의 상호운용이 가능한 XML 기반의 메시징 시스템을 제안한다. 제안 시스템은 전술데이터링크와 C4I시스템에서 사용하는 메시지와 인터페이스를 XML로 정의하여 이용한다. 그리고 제한된 네트워크 대역폭을 가지는 군 환경을 고려하여 바이너리 XML을 통해 네트워크 부담을 줄이는 것을 제안한다. 본 논문에서는 실험결과를 통해 전술데이터링크 메시지가 XML 스키마에 정의된 대로 상호운용이 가능한 메시지 형태로 변환됨과 바이너리 XML serialization을 통해 파싱과 전송시간의 감소를 가져오는 것을 보여준다.

다중경로 페이딩 환경에서의 바이너리 CDMA 시스템 성능 분석 (Perfonnance Analysis of Binary CDMA systems in Multi-Path Fading Channel)

  • 고재연;이용환
    • 한국통신학회논문지
    • /
    • 제30권9A호
    • /
    • pp.795-802
    • /
    • 2005
  • 바이너리 CDMA(B-CDMA) 기술은 CDMA 신호의 크기를 일정하게 유지시키는 새로운 변조 기법이다. 다중코드CDMA 신호를 일정한 레벨의 신호로 양자화한 후 변조함으로써 B-CDMA 기술은 CDMA 신호가 가지는 장점들을 유지하는 동시에 최대전력 대 평균전력의 비율을 감소시킨다. 본 논문에서는 확산인자가 현저히 작지 않은 가정 하에 B-CDMA시스템의 성능을 다중 경로 페이딩 환경에서 분석한다. 수학적 분석 결과는 컴퓨터 모의실험을 통하여 검증된다.

Sentry: Kernel Extension을 위한 바이너리 수준의 인터포지션 기법 (Sentry: a Binary-Level Interposition Mechanism for Kernel Extension)

  • 김세원;황재현;유혁
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (A)
    • /
    • pp.325-327
    • /
    • 2006
  • 현재 사용되고 있는 운영체제들은 그들의 기능을 확장하거나 교체하기 위해서 kernel extension을 사용해 왔다. 일반적으로 이러한 kernel extension들은 커널과 같은 주소공간에서 실행하기 때문에, 그것에서 발생하는 오류(fault)로 인해 전체 시스템이 망가지는 결과를 초래할 위험이 있다. 그래서 kernel extension의 안전한 실행에 관한 연구들은 kernel extension에서 발생한 오류를 전체 시스템으로부터 고립시키는 것이 주목적이었다. 하지만 이러한 방법들은 kernel extension의 어셈블리어로 된 코드를 분석하거나 사용하고 있는 커널의 소스 코드를 수정을 필요로 한다. 본 논문은 Sentry라는 kernel extension을 감시하기 위한 인터포지션 서비스를 제안한다. Sentry를 사용하기 위해서 별도의 커널 코드를 수정할 필요도 없으며, 이미 사용하고 있는 리눅스와 호환될 수 있는 특징을 지니고 있다. 그리고 kernel extension의 소스코드 및 어셈블리 코드에 대한 분석 없이 바이너리 파일을 직접 수정하여 kernel extension을 모니터링 할 수 있도록 한다. 게다가 Sentry는 재구성이 가능하기 때문에 얼마든지 kernel extension에 대한 보호정책을 동적으로 바꿀 수 있다.

  • PDF

무선 센서네트워크에서 coverage 가시화 기법 및 수명예측 모니터링 시스템 (The Monitoring System for Prediction Life-time and Visualization scheme of Coverage on WSN)

  • 박선미;백성진;양수현;김권환;송은하;박두순;정영식
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2010년도 추계학술발표대회
    • /
    • pp.1718-1720
    • /
    • 2010
  • 저 전력 무선 센서 네트워크와 마이크로 센서를 결합하여 환경이나 상황을 인지하고 모니터링을 통해 수집된 정보를 사람에게 전하는 WSN(Wireless Sensor Network) 기술에 대한 많은 연구가 진행되고 있다. 본 논문은 바이너리 모델을 사용하여 단순 탐지 확률을 표현하는 기존 시뮬레이터들의 Coverage 표현의 한계를 극복하기 위해 Heat-map을 이용한 시뮬레이터를 개발했다. 이 시스템은 기존 바이너리 모델을 확장하고, GIS를 사용하여 지형정보를 함께 가시화함으로써 서비스 지형에 대한 센서 네트워크 구성뿐만 아니라 수명예측 메커니즘을 이용한 에너지 소모에 따른 노드의 수명을 가시화 한다.