• 한국컴퓨터정보학회논문지
• /
• 제11권5호
• /
• pp.9-18
• /
• 2006

유한고장수를 가진 비동질적인 포아송 과정에 기초한 모형들에서 잔존 결함 1개당 고장 발생률은 일반적으로 상수, 혹은 단조증가 및 단조 감소 추세를 가지고 있다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 Goel-Okumoto 모형과 Yamada-Ohba-Osaki 모형을 재조명하고 최근에 Gupta 와 Kundu(2001)에 의해서 2 모수 감마분포나 와이블 분포의 대체모형으로서 여러 가지 수명자료를 분석함에 있어서 효율적 분포가 됨이 밝혀진 지수화된 지수 분포를 이용한 모형을 제안하였다. 고장 간격시간으로 구성된 자료를 이용한 모수추정 방법은 최우추정법과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하고 효율적인 모형 선택은 편차자승합(SSE), AIC 통계량 및 콜모고로프 거리를 적용하여 모형들에 대한 효율성 입증방법을 설명하였다. 소프트웨어 고장 자료 분석에서는 NTDS 자료를 통하여 분석하였다. 이 자료들에서 기존의 모형과 지수화된 지수 분포 모형의 비교를 위하여 산술적 및 라플라스 검정, 편의 검정 등을 이용하였다.

• 전기학회논문지
• /
• 제65권12호
• /
• pp.2109-2112
• /
• 2016

The rate of rise of the fault current in DC grids is very high compared to AC grids because of the low line impedance of DC lines. In AC grids the arc of the circuit breaker under current interruption is extinguished by the zero current crossing which is provided naturally by the system. In DC grids the zero current crossing must be provided by the circuit breaker itself. Unlike AC girds, the magnetic energy of DC grids is stored in the system inductance. The DC circuit breaker must dissipate the stored energy. In addition the DC breaker must withstand the residual overvoltage after the current interruption. The main contents of this paper are to ${\cdot}$ Explain the theoretical background for the design of DC circuit breaker. ${\cdot}$ Develop the simulation model in PSIM of the real scaled DC circuit breaker for 1,800V DC railway. ${\cdot}$ Suggest design guidelines for the DC circuit breaker based on the experimental work, simulations and design process.

• 한국정보처리학회논문지
• /
• 제4권2호
• /
• pp.409-429
• /
• 1997

소프트웨어를 개발하고 운영하는 동안 직면하는 문제들은 소프트웨어나 하드웨어 또는 운영의 결함에 기인한다. 이들의 다양성 문제, 문제들을 조정하고 체계적으로 원인을 규명하기 위한 문제 발생의 규명 및 수정 작업을 중심적으로 관리하는 시스템이 요구 되고 있다.본 논문에서는 소프트웨어 개발 수명 주기(Softwate Development Life Cycle :SDIC)에서 획득할 수 있는 결함 데이터(Fault Data) 프로세스 데이터(Precess Data) 프로덕트 데이터(Preduct Data)를 수집하고 분석하기 위한 소프트웨어 문제 보고서 (Software Change Report:SCR)를 처리하는 SPR/SCR 관리시스를 개발하고 적용하였다. SPR/SCR 관리 시스템의 목적은 4가지가 있다. 첫째로 모든 소프트웨어 결함들을 문서 화하고, 수정하며 무시않는다. 둘째로 SPR의 타당성에 대해 평가된다. 셋째로 SPR의 진행 상태를 개발자 또는 사용자에게 피드백한다., 넷째로 소프트웨어 품질과 신뢰성을 예측하고 측정하기 위한 기본 자료를 제공한다. 이들 목표는 SRE/SCR 관리시스템의 적용에 의해 충족시킬 수 있다. 또한 소프트웨어 신뢰성의 달성 비욜, 테스트의 종료기준, 릴 리 즈 시기의 예측, 효율적인 개발 관리에 반영될 수 있다.

• Journal of Information Processing Systems
• /
• 제8권2호
• /
• pp.213-240
• /
• 2012

Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems.

• 대한지리학회지
• /
• 제39권6호
• /
• pp.845-862
• /
• 2004

본 연구는 경기, 강원 지역을 대상으로 감입곡류절단 지형의 공간적 분포 특성을 검토하였다. 강원도에서도 높은 산지지역인 정선군 및 인제군을 주로 흐르는 내린천 및 동대천 등의 하천에서 곡류절단면의 분포 밀도가 가장 높았다. 곡류절단의 발생은 제4기 동안 반복적으로 나타났으며. 빙기와 간빙기 사이의 기후 변동기에 집중된 것으로 추정된다. 지질별로는 퇴적암에서 분포 빈도가 가장 높고, 화성암에서 가장 낮았다. 지질구조로 볼 때, 태백산맥으로부터 서쪽 $11{\sim}20km$ 거리에 가장 많이 분포하며. 적종하천이나 적종하천에 유입하는 지류의 하구부, 즉 단층선에 직교하는 하천에서 곡류절단이 가장 활발하였다. 태백산맥에서의 거리와 해발고도와의 관계는 영서하천에서 매우 뚜렷하고, 하상비고 및 절단면 면적과의 관계에서는 태백산맥에서 서쪽 12km를 기준으로 동서로 갈수록 값이 작아진다. 기반암 종류에 대한 해발고도. 하상비고, 하천차수와의 관계는 공통적으로 퇴적암 지역에서 값이 가장 높으며, 화산암 지역에서 가장 낮다.

• 한국컴퓨터정보학회논문지
• /
• 제13권7호
• /
• pp.1-9
• /
• 2008

본 연구에서는 소프트웨어 제품을 개발하여 테스팅을 거친 후 사용자에게 인도하는 시기를 결정하는 방출문제에 대하여 연구되었다. 소프트웨어의 결함을 제거하거나 수정 작업 중에도 새로운 결함이 발생될 가능성이 있는 무한 고장수를 가진 비동질적인 포아송 과정에 기초하고 수명분포는 단위당 고장발생률이 증가하다가 감소하는 속성을 가진 로그-로지스틱 분포를 이용한 최적 방출시기에 관한 문제를 제시하여 소프트웨어 요구 신뢰도를 만족시키고 소프트웨어 개발 및 유지 총비용을 최소화시키는 최적 소프트웨어 방출 정책에 대하여 논의 되었다. 본 논문의 수치적인 예에서는 고장간격 시간자료를 적용하고 모수추정 방법은 최우추정법과 추세분석을 통하여 자료의 효율성을 입증한 후 최적 방출시기를 추정하였다.

• 조명전기설비학회논문지
• /
• 제17권3호
• /
• pp.64-72
• /
• 2003

배전망은 그 구조가 매우 복잡하고, 수용가와 인접되어 있으므로 송전망에 비하여 사고의 발생도 매우 빈번하다. 또한 배전망에서의 사고는 수용가에게 직접적인 피해를 발생시킬 수 있다. 따라서 수용가의 피해를 줄이고 전력공급의 안정성 확보를 위한 배전망에서의 고장진단과 정전복구는 필수적으로 요구되는 기능이다. 배전망의 정전복구는 시간적인 제약성에 종속되며, 정전복구 과정에서 발생하는 스위칭 수를 최소화하는 것이 가장 중요한 요소이다. 폭, 모든 정전구역을 한번의 스위칭으로 복구하는 것이 가장 이상적이며, 그렇지 못한 경우 여러 번의 스위칭으로 복구하여야 한다. 본 논문에서는 조작되는 스위치의 수를 최소화시키기 위한 배전망의 정전 복구 시스템을 제안하였다. 제안된 시스템에서는 휴리스틱 탐색방법과 메타-알고리즘의 동적분할 기법의 계층구조를 사용하고 있다. 제안된 정전복구 시스템의 성능을 검증하기 위하여 모의 배전망을 대상으로 성능평가를 수행하였다.

• 지질공학
• /
• 제1권1호
• /
• pp.121-136
• /
• 1991

본 연구에서는 P파형의 초동극성 분포를 이용하여 홍성지진의 Focal Mechanism을 평가하였다. 비선형 전산처리과정을 이용하여 원지진진앙거리에서 관측된 9개의 P파형의 초동극성 분포와 주향, 경사 및 상반변위방향의 변화로부터 구한 Focal Mechanism과의 부합성을 조사하였다. 위의 과정을 이용하여 처리한 결과 주단층면의 주향 및 겅사는 약 247도 및 약 78도로서 홍성부근지역의 선구조와 잘 일치함을 보여주었다. 그러나, 주단층면의 상반변위 방향은 약 40도에서 약 160도 까지의 광범위한 값을 보여주었으나, 이는 관측점의 방위각 분포가 불충분하기 때문인 것으로 분석되었다. 위에서 결정된 Focal Mechanism이 의미하는 주응력 방향은 일본 트렌치를 따라서 태평양판이 유라시아판 아래로 Subduction할 때 가능한 지응력장가 상반되지 않음을 보여 주었다. 또한, 이러한 Focal Mechanism으로부터 원자력발전소나 핵폐기물 처리장 및 처분장 건설시, 부지고유응답 스펙트럼 및 강지진동 자료와 같은 내진설계기준을 위해 필요한 한반도의 지진지체구조 특성에 대한 정보를 얻을 수 있다.

• 조명전기설비학회논문지
• /
• 제18권6호
• /
• pp.37-44
• /
• 2004

전력계통분야의 복합 대형화에 유연한 대처와 전력조류의 최적화 도모를 위해 사용되는 FACTS(Flexible AC Transmission System)기기 중 가장 유용한 UPFC(Unified Power Flow Controller)는 선로의 전압을 임의의 크기와 위상을 갖도록 제어하여 선로로 전송되는 유ㆍ무효전력을 총체적으로 보상하는 기능을 갖는다. 이런 UPEC가 계통에 연계되어 운영된다면 송전선로 매개변수가 변하기 때문에 계통의 영향을 많이 받는 거리계전기는 불필요한 오동작이 발생하게 된다. 즉 거리계전기에서 바라본 임피던스 영역(Impedance Zone)이 송전선로에 UPFC 연계시 각각의 보상 값에 의해 상당한 변화를 보임으로, 기존의 방식으로 정정된 Relay Setting Zone과 Adaptive Setting Zone은 현저한 오차가 발생하게 된다. 그러므로 계통에 연계된 UPFC의 운전 조건을 고려한 거리계전기 보호구간의 재설정이 필요하게 된다. 따라서 본 논문의 목적은 학습이 가능한 신경회로망(ANN)을 이용하여 거리계전기 동작의 신속성(Speed)을 기본으로 전력계통의 다양한 환경에 대해 거리계전기 응동 특성을 향상시키는데 있다. 학습 방법으로는 정적 및 동적인 비선형 시스템의 인식과 다변수 시스템에 적용 가능한 역전파 알고리즘(Back-propagation Algorithm)을 사용했다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제5권12호
• /
• pp.481-490
• /
• 2016

블루투스는 대칭키를 사용하여 암호화 채널을 형성하며 대칭키는 최초 연결 이전에 수행하는 페어링 단계에서 교환된다. 페어링 단계에서 기기인증을 위한 인증 모드는 크게 Just work, Passkey Entry, Out of Band, 그리고 Numeric Comparison 방식으로 구분된다. 지금까지 블루투스 페어링 방식의 중간자 공격(MITM)은 Just work 모드를 대상으로 하거나 인증 모드를 강제로 Just work 모드로 변환한 상태에서 MITM 공격을 수행하였고, 이때에는 인증모드가 변환되었다는 것을 인지하지 못하는 사용자의 부주의가 가정되어야 했다. 본 논문에서는 Secure Simple Pairing, Le Legacy Pairing, 그리고 LE Secure Connection Pairing 방식의 규격을 분석하였고, 각 방식에서 Passkey Entry 모드를 사용하였을 때, MITM 공격이 발생 가능함을 보인다. 또한 제안하는 Passkey Entry MITM 공격 방법은 기존 공격방법과 달리 인증 모드의 사용자 확인 절차를 바꾸지 않기 때문에 사용자의 부주의에 대한 가정 사항을 요구하지 않는다. 우리는 제안하는 Passkey Entry MITM 공격을 구현하고 이것이 악용될 수 있는 시나리오와 이를 방어할 수 있는 대응방법을 제시한다.