• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.214-216
• /
• 2003

유비쿼터스 상거래의 도래에 따라 개인화 된 서비스를 위한 상황과 환경 정보 즉, 컨텍스트 정보에 기반한 정보 제공의 중요성이 높아지고 있는데, 기존의 연구는 물리적 환경에 국한하여 컨텍스트를 적용하고 있으며. 개인의 선호를 고려하지 않는 타켓 마케팅 개념적 서비스에 기반을 두기 때문에 유비쿼터스 상거래 환경의 컨텍스트 도메인 관점에 부 적합하고, 개인화된 서비스 지원이 어렵다. 따라서 이 연구에서는 유비쿼터스 환경에서의 컨텍스트 개체에 대해 정의하고, 전자공간과 물리공간의 연계를 바탕으로 실세계의 일반화 된 공간 개념과 전자 공간의 카테고리 형태의 구조를 통합한 개념 계층 구조로 컨텍스트 정보 모델링을 제안하고, XML 데이터베이스를 이용하여 설계한다. 아울러 이렇게 확장된 컨텍스트 개념을 기반으로 적용 가능한 개인 상거래 서비스를 설명한다.

• 전력전자학회논문지
• /
• 제2권1호
• /
• pp.12-25
• /
• 1997

본 논문은 PNGV 계획에 따른 차세대 전기자동차의 개발을 위하여 고주파 교류 전력분배 시스템을 적용하여 이용할 수 있는 추진력 장치의 구현 가능성에 대한 조사 연구이다. 실행 가능한 관점에서 전력 분배와 에너지원의 결합이 쉽게 이루어 질 수 있고 변환이 가능한 여러 가지 형태의 시스템이 비교 검토되었으며, 현재 기술 수준으로 보아 가까운 장래에 실현 가능한 최적의 시스템 구성은 배터리와 내연기관엔진 및 유도전동기를 이용하는 하이브리드형이 제시되었다. 각 시스템의 원활한 전력수급과 운전특성을 위하여 단상 고주파 교류 전력분배 제어기법을 적용하였으며, 이 시스템의 타당성을 입증하기 위하여 시스템 구성에 따른 모델링과 컴퓨터 시뮬레이션을 실시하였다. 이 결과 차세대 전기자동차용으로 제시된 고주파 교류 전력분배에 의한 하이브리드형 추진력 시스템이 가능하며 운전특성도 우수함을 보여주었다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 추계학술대회 논문집 전력기술부문
• /
• pp.7-9
• /
• 2003

전력계통의 정상상태와 다양한 초장상태를 모의하기위한 단락시험설비는 크게 단락발전기, 보호차단기, 전류제한 리액터, 투입스위치, 단락변압기, 버스바 및 케이블, 투입피크 제한장치, 부하회로 및 측정장치 등으로 구성되어 있으며, 유효한 시험을 위해서는 이러한(변수)조합들을 적절하게 조절, 제어하여 실계통의 현상을 재현하거나 규격 또는 의뢰자의 요구에 부응하도록 하는 것이 중요하다. 이것을 위해서는 각 시험설비의 정상 및 과도 특성과 조합된 회로에 상존하는 변수(stray values)들을 찾아내고, 이들에 대한 독립성과 의존성 관계를 파악하여 계산 가능한 모델링을 도출 하여야 한다. 그러나 경험적으로 볼때 단락발전기의 과도임피던스 및 여자 특성과 변압기를 포함한 회로상의 stray values 등이 여러 변수들과 만들어내는 상관관계를 파악하는데는 좀 어려움이 있었다. 본 논문에서는 이러한 관점에서 상기 변수에 따른 변화 기여도를 가능한 한 정량적으로 분석하여 회복전압, TRV 및 전류와의 상관관계를 규명해 보고자 한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 제38회 하계학술대회
• /
• pp.636-637
• /
• 2007

전력계통에서 과전압이 발생할 경우 보호 장치들의 트립이 발생하거나 기기들의 영구적인 손상을 가져 올 수 있다. 특히 낙뢰에 의한 뇌 서지는 여러 과전압 중 가장 큰 크기를 가지며, 절연 설계 등에 대해 매우 중요한 현상이다. 특히, 발전기 및 주변압기가 연계된 계통에서의 뇌 서지는 피뢰기의 위치 선정, 각종 제어 회로에의 영향 등의 관점에서 검토되어야 할 대상이다. 본 논문에서는 과도해석 프로그램인 EMTP-RV를 이용하여 발전소 및 주변압기 연계 계통을 모델링하고, 낙뢰에 의한 과전압이 송전선로에 발생하였을 때 발전기 및 주변압기연계 계통에서 어떻게 영향을 미치는지 모의하고 분석하였다.

• 정보보호학회지
• /
• 제23권6호
• /
• pp.76-89
• /
• 2013

최근의 사이버 위협은 공격자에 의해 지속적이고 지능화된 위협으로 진화하고 있다. 이러한 위협은 장기간에 걸쳐 이루어지기 때문에 보안체계를 잘 갖추고 있는 회사라 하더라도 탐지하는데 한계가 있다. 본 논문에서는 차세대 보안관제 프레임워크의 지향점을 네트워크 가시성 강화, 상황인식 기반 지능형 보안관제, 관련 업무조직과의 정보 통합 및 협업 강화로 제시하고 있으며 구조적, 수집 파싱, 검색 분석, 이상 탐지 등 총 9개 관점에서 이를 지원하는 필요 기술들을 분류하였다. 아울러 침투 경로 및 공격 단계와 내부 자원 간 연관성 분석을 통한 수집 정보 범위 설정, 사례 기반 상관분석 규칙 생성 적용, 정보연동, 업무처리, 컴플라이언스, 조사 분석 등 지원 기능의 연계를 보안관제 모델링의 필요 요소로 도출하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
• /
• pp.116-119
• /
• 2010

안보, 재난, 국가핵심기반 분야에 위기발생시 즉각적인 조치를 위한 '위기대응 실무매뉴얼'이 정부기관별로 작성되어 있지만 조치사항에 대한 정량적 검증이 부족하다. 오류가 내포된 조치절차는 피해를 확대 시킬 수 있으므로 위기대응절차에 대한 검증이 요구되며 이를 위해 본 논문에서는 Statemate의 구조적, 기능적, 행위적 관점의 언어를 활용해서 정형기법(formal methods)을 수행함으로써 위기 대응 실무매뉴얼의 모델링 방법을 제안하고 매뉴얼에 기술되어 있는 조치절차의 검증결과를 제시하였다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2015년도 전력전자학술대회 논문집
• /
• pp.349-350
• /
• 2015

소형 어선들은 디젤유를 주 동력원으로 사용하여 모터를 구동시킨다. 이때 사용되는 모터는 배에 필요한 동력 및 전력을 공급해 주는데 리터당 효율을 계산할 경우 효율이 매우 낮다. 그렇기 때문에 전력 변환 효율이 높음에도 불구하고 전체 시스템의 관점에서는 효율이 매우 낮음을 보인다. 본 논문에서는 어선의 전력 계통도를 전기적으로 모델링하여 실제로 일어날 수 있는 모든 시나리오를 시뮬레이션을 통해 확인 할 수 있도록 구성하였다. 또한 낮은 효율의 문제를 해결하기 위하여 태양광 발전 시스템을 도입하여 디젤 모터에 걸리는 부하를 줄여 전체 시스템의 효율이 증가하는 것을 검증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.385-387
• /
• 2004

웹 응용은 서로 의존관계를 가지는 다양한 구성요소들이 복잡하게 뒤섞여 있기 때문에 구성요소를 효과적으로 분석하기 어렵고 개발을 병행하거나 유지보수를 하는 과정에서 않은 비용과 시간을 소요하게 된다. 본 논문에서는 웹 응용의 구성요소들을 아키텍쳐 관점에서 모델링하여 관계형 집합으로 표현하고 종속성을 파악하였다 또한 관련 구성요소들을 독립적인 영역으로 나누는데 필요한 프로토콜 변수를 파악하고자 하였다 본 논문에서 제안하는 웹 응용 아키텍쳐 정보는 관계형 집합으로 DBMS에 테이블로 저장되는 경우 SQL문을 통하여 항해나 패턴 분석, 기타 설계단계에서 웹 응용에 대한 다양한 질의를 가능하게 한다. 이러한 구성요소 정보는 기존의 웬 응용으로부터 역공학을 통해 얻을 수도 있으며, 재구조화를 통해 재공학의 도구로 활용될 수도 있다. 향후 추상화 아키텍쳐를 구체적인 릴 기술과 매핑시킬 경우 자동화를 통해 구현에 필요한 기초 코드를 생성하는데 응용될 수도 있다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 하계학술대회 논문집 A
• /
• pp.388-390
• /
• 2004

디지털 보호계전기의 성능 검증에 있어서 RTDS(Real Time Digital Simulator)와 같은 디지털 시뮬레이터를 사용하는 경우가 점점 증가하고 있다. 특히 보호계전기의 동특성(Dynamic Performance) 시험에 있어서는, 디지털 시뮬레이터를 이용한 성능 검증이 거의 필수적이다. 본 논문에서는 디지털 보호계전기 중 거리계전기의 Reach Test에 있어서 성능 검증에 사용할 계통 모델 선정 방안을 PSCAD/RTDS에서의 구현 관점에서 기술하고 있다. 양단 전원을 가지는 4모선 2회선 송전선로를 Bergeron 모델을 이용하여 모델링하고, 모델의 유효성을 귀납적인 방법을 사용해서 검증하는 방안을 제시하고 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 추계학술발표대회
• /
• pp.1070-1073
• /
• 2013

위성 비행 소프트웨어의 개발 과정에는 소프트웨어의 신뢰성을 향상하기 위한 다양한 검증 활동이 이루어진다. 이러한 검증 활동에는 효율적으로 설계된 검증 환경이 필수적이다. 위성 비행 소프트웨어 개발 전반에 검증 환경을 효과적으로 적용하기 위해서는 사용 가능한 검증 환경이 보다 빠르게 구현되어야 한다. 검증 환경은 개념적으로 궤도 상의 위성과 통신하는 지상 시스템의 역할을 기본으로 하고 있으므로 Command 송신과 Telemetry 수신을 위성 비행소프트웨어와의 상호 작용으로 정의할 수 있다. 따라서 위성 비행소프트웨어의 동작을 Command와 Telemetry 관점에서 모델링하고 이를 모사하는 시스템을 이용함으로써 위성 개발 초기부터 위성 비행 소프트웨어 검증 환경 구현에 사용할 수 있고, 또한 위성 개발 과정에서 발생하는 다양한 변경 사항을 보다 효과적으로 반영할 수 있다. 본 논문에서는 위성 비행 소프트웨어의 검증 환경 구현을 위한 Command Telemetry Simulator의 설계 및 그 구현에 대하여 소개한다.