• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.034 seconds

Novel Islanding Detection Method for Distributed Generation Interconnected with Utility Grid (계통연계 분산전원의 새로운 단독운전 판별기법)

  • Lee, Ji-Hern;Jeon, Ji-Hye;Ju, Young-Ah;Han, Byung-Moon
    • Proceedings of the KIEE Conference
    • /
    • 2007.07a
    • /
    • pp.2012-2013
    • /
    • 2007
  • 현재 개발된 분산전원 단독운전 판별기법중 하나인 무효전력주입방식은 판별성능은 우수하나 정격의 $2.5{\sim}5%$의 무효전력을 주입하므로 계통전압에 고조파를 발생하여 전력품질을 저하하는 단점을 갖는다. 본 논문에서는 적은 양의 연속적인 무효전력을 주입하므로 전력품질 저하를 최소화하고 동시에 검출성능이 우수한 인버터연계방식 분산전원의 단독운전 판별기법을 개발하였다. 개발한 판별기법의 타당성을 검증하기위해 EMTDC 소프트웨어를 이용하여 전체시스템의 시뮬레이션모델을 개발하여 시뮬레이션을 실시하였다.

  • PDF

A Specifying Method for Real-Time Software Requirement

  • Kim, Jung-Sool
    • Journal of Korea Society of Industrial Information Systems
    • /
    • v.4 no.1
    • /
    • pp.1-6
    • /
    • 1999
  • This paper is on the analysis for the real-time software requirement. This method can be used for TNPN(Timed Numerical Peri Net) as a easy communication means with real-users. It is based on the RTTL(Real Time Temporal Logic) for correctness the system. TNPN is used to represent a behavior specification language, the validity of specified behaviors in TNPN is expressed in RTTL, and analyzed through the teachability graph. Thus, the requirement between user and system is satisfied Using the example of shared track, the validity of the property of real-time(safetiness, responsiveness, liveness, priority) is verified. Also this framework if given to connection with a object, natually.

  • PDF

An Annotation Browsing Technique in e-book for Reading-disabled People Using Voice Recognition (독서장애인 전자책을 위한 음성인식을 이용한 어노테이션 브라우징 기법)

  • Park, Joo-Hyun;Lee, Jong-Woo;Lim, Soon-Bum
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2012.06c
    • /
    • pp.403-405
    • /
    • 2012
  • 본 연구에서는 독서장애인을 위한 전자책용 어노테이션의 탐색 및 재생 기법을 제안하고 이를 음성 어노테이션 브라우징 시스템이라 칭하였다. 제안된 음성어노테이션 브라우징 시스템은 명령 입력, 중요도 분석 및 추천, 검색, 출력단계로 구성된다. 특히 본 연구에서는 대상 사용자가 청각 의존도가 높은 독서장애인들이기 때문에 완전히 청각에 의존해서 사용할 수 있도록 모든 단계에서 음성인식 기능을 제공한다. 제안된 음성 어노테이션 브라우징 시스템의 효율성을 검증하기 위해 안드로이드 환경에서 실행되는 전자책 소프트웨어와 음성 어노테이션 브라우징 시스템을 설계하고 구현하였다.

Side Channel Analysis System - SCARF (부채널 분석 시스템 - SCARF)

  • Kim, Ju-Han;Oh, Kyung-Hee;Choi, Yong-Je;Kim, Tae-Sung;Choi, Doo-Ho
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2012.06c
    • /
    • pp.266-268
    • /
    • 2012
  • 부채널 분석 공격은 하드웨어 또는 소프트웨어로 구성된 암호모듈이 동작 시에 발생되는 전력 또는 전자파 등의 부가 정보들을 수집하고 통계적으로 처리하여 해당 암호모듈의 키를 찾아내는 공격방법이다. 부채널 분석 공격을 막기 위해 암호모듈 개발자들은 부채널 분석 공격에 안전한지 미리 점검하고 시험할 수 있는 시스템이 필요하며, 부채널 안전성 평가 기관에서는 해당 암호모듈이 안전한지 평가하기 위한 시스템이 필요하다. 본 논문에서는 부채널 안전성 평가 및 시험을 하기 위해 개발한 부채널 안전성 검증 시스템인 SCARF를 소개한다.

Design and Implementation of OLE/COM based Spatial Data Provider for Supporting Interoperability (상호운용을 지원하는 OLE/COM 기반 공간 데이터 제공자의 설계 및 구현)

  • 윤우진;조대수;홍봉희
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 1999.10a
    • /
    • pp.379-381
    • /
    • 1999
  • ODBC가 가지는 제한을 극복하고 컴포넌트 기술을 적용하기 위해, OLE DB라는 새로운 데이터 접근 기술이 개발되었다. OpenGIS에서는 공간/비공간 데이터의 상호운용을 지원하기 위해 데이터 모델의 표준으로 추상 명세를 제안하고, 구현 기술로써 OLE DB를 제안하고 있다. 본 논문에서는 Gothic, MGE를 대상으로 하여 OpenGIS OLE/COM 구현명세중 핵심이 되는 OpenGIS 공간데이터 제공자를 설계, 구현하였다. 또한 기존의 OpenGIS 관련 논문과는 달리 두 개의 GIS 서버를 대상으로 하여 상호운용성을 검증하였다. 본 논문에서 제시한 공간 데이터 제공자는 서로 다른 GIS S/W에 분산 저장된 공간 데이터의 접근을 가능하게 해 주기 때문에 분산환경에서 컴포넌트화된 GIS소프트웨어 개발에 활용될 수 있을 것이다.

  • PDF

An Efficient Auto-focusing Algorithm for Video Measuring System (비디오 측정 시스템을 위한 효율적인 자동 초점 조절 알고리즘)

  • Hahn Kwang-Soo
    • Journal of KIISE:Software and Applications
    • /
    • v.32 no.9
    • /
    • pp.878-887
    • /
    • 2005
  • The passive focusing method finds the in-focus position by analyzing images captured by a camera. In this paper, we propose an efficient passive auto-focusing algorithm for video measuring systems. The sum of modified Laplacian of Gaussian is used to calculate focus values from images and Gaussian curve fitting is applied to estimate the optimal in-focus position. The Proposed method is tested for various objects and illuminations. The test result is compared with other methods to verify accuracy and efficiency of the proposed algorithm.

Design of MAC Protocol S/W for Base Station on BWA (광대역 무선 접속망 기지국 MAC 프로토콜 S/W 설계)

  • 백승권;김응배
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.04d
    • /
    • pp.370-372
    • /
    • 2003
  • 본 논문에서는 가입자망의 광대역화 및 고속화를 실현하는 방안으로 개발되고 있는 광대역 무선접속망의 기지국 MAC 프로토콜 소프트웨어를 설계하였다. MAC 프로토콜은 제한된 우선자원을 효율적으로 사용하기 위한 프로토플로서, 무선매체를 이용하여 통신 서비스를 제공하는 시스템에 필수적이다. 본 논문에서 설계한 기지국 MAC 프로토롤은 상/하향링크상의 대역폭 스케줄링, MAC 제어메시지의 생성 및 해석. 상하향 MAC 프레임의 전송제어 및 송신제어, 그리고 상위계층 인터페이스를 위한 망접속 인터페이스를 포함한다. 본 논문에서 설계된 기지국 MAC 프로토콜 S/W 는 향후, 광대역 무선접속망 테스트베드에 이식하여 시스템의 전체적인 성능을 검증할 수 있다.

  • PDF

A Korean Grammar Checker using Lexical Disambiguation Rule and Partial Parsing (어휘적 중의성 제거 규칙과 부분 문장 분석을 이용한 한국어 문법 검사기)

  • So, Gil-Ja;Gwon, Hyeok-Cheol
    • Journal of KIISE:Software and Applications
    • /
    • v.28 no.3
    • /
    • pp.305-315
    • /
    • 2001
  • 본 논문에서는 우리말 문서에 있는 오류를 어절 단위로 검증하는 철자 오류와 여러 어절을 분석해야 처리할 수 있는 문법 오류로 분류하였다. 문법 오류를 처리할 때 전체 문장 분석은 시간이 많이 소요되고 구현하기 어려우므로 대부분 부분 문장 분석 방법을 이용한다. 기존 연구에서 사용한 부분 문장 분석은 분석 어절에 어휘 중의성이 있을 때 문장 분석 종결 또는 과분석 등의 오류가 발생한다. 본 논문에서는 문법 검사기에서 어휘 중의성 때문에 발생하는 문제점을 해결하는 방법으로 어휘 중의성 제거 규칙을 사용한다. 본 논문에서 구현한 어휘 중의성 제거 모듈은 코퍼스 데이타에서 얻은 경험적 규칙을 기반으로 한다. 이 경험적 규칙은 언어적 지식을 기반으로 한다.

  • PDF

Sudoku Puzzle Difficulty Measurement using Genetic Algorithm (유전자 알고리즘을 이용한 수도쿠 퍼즐 난이도 측정)

  • Cho, Yeongjo;Kim, Byoungwook
    • Annual Conference of KIPS
    • /
    • 2019.10a
    • /
    • pp.499-501
    • /
    • 2019
  • 스도쿠는 다양한 연령대의 사람들에게 인기있는 논리 기반 조합 퍼즐 게임입니다. 이러한 인기로 인해 다양한 수준의 난이도로 스도쿠 퍼즐을 생성하고 해결하기 위해 컴퓨터 소프트웨어가 개발되고 있습니다. 본 논문은 유전자 알고리즘 (Genetic Algorithm)을 이용하여 스도쿠 퍼즐의 해결 및 스도쿠 퍼즐의 난이도를 평가하는 문제를 연구한다. 유전자 알고리즘이 수행되는 동안 적합도 함수가 수렴되는 시간이 길수록 퍼즐의 난이도가 높을 것이라는 가정한다. 본 논문에서는 유전자 알고리즘을 이용하여 스도쿠 퍼즐을 해결하는 알고리즘을 개발하고, 스도쿠 퍼즐 제작자들에 의해 난이도가 정해진 실제 스도쿠 퍼즐을 개발된 알고리즘으로 해결하는데 시간을 측정한다. 측정된 시간과 퍼즐 문제의 상관 관계를 분석하여 가정을 검증한다. 실험결과에서 알고리즘의 실행시간과 퍼즐의 난이도에는 유의미한 상관관계가 있음을 보였다.

Islanding Detection Method by Injecting Second Order Harmonic Current for Inverter-Based Distributed Generators (2고조파 전류 주입을 적용한 분산전원 인버터 기반의 단독운전 검출 방법)

  • Kim, Hyun-Jun;Yang, Won-Mo;Han, Byung-Moon
    • Proceedings of the KIPE Conference
    • /
    • 2016.11a
    • /
    • pp.232-233
    • /
    • 2016
  • 본 논문은 계통과 연계된 3상 전압원 인버터를 기반으로 한 BESS의 능동 단독 운전 검출 방법을 제안한다. 제안하는 기법은 PR제어기와 필터를 가지고 기본파 전류와 2차 고조파 전류를 이용해 수행하였다. 단독운전은 BESS로부터 정격전류의 1% 2차 고조파를 주입하기 때문에 PCC점에서의 2차 고조파 전압 변화량을 검출 할 수 있다. 제안하는 기법은 모든 조건하에 정확하고 빠르게 검출 할 수 있다. IEEE와 UL1741에서 제시하는 단독 운전 기준 시험 회로를 구성하여 PSCAD/EMTDC 소프트웨어를 통한 시뮬레이션과 5kW 하드웨어 장치를 통해 제안된 단독 운전 검출 방법을 검증하였다.

  • PDF