• Journal of Electrical Engineering and Technology
• /
• 제10권3호
• /
• pp.766-776
• /
• 2015

It is well known that series arc faults in Low Voltage DC (LVDC) distribution system occur at unintended points of discontinuity within an electrical circuit. These faults can make circuit breakers not respond timely due to low fault current. It, therefore, is needed to detect the series fault for protecting circuits from electrical fires. This paper proposes a novel scheme to detect the series arc fault using Wavelet Singular Value Decomposition (WSVD) and state diagram. In this paper, the fault detector developed is designed by using three criterion factors based on the RMS value of Singular value of Approximation (SA), Sum of the absolute value of Detail (SD), and state diagram. LVDC distribution system including AC/DC and DC/DC converter is modeled to verify the proposed scheme using ElectroMagnetic Transient Program (EMTP) software. EMTP/MODELS is also utilized to implement the series arc model and WSVD. Simulation results according to various conditions clearly show the effectiveness of the proposed scheme.

• 대한화학회지
• /
• 제67권1호
• /
• pp.54-63
• /
• 2023

이 연구에서는 2015 개정 교육과정 화학II 교과서 6종을 대상으로 상평형 그림의 조건, 정의, 임계점의 표시 유무와 실생활 예시 등을 분석하였다. 본 연구에서는 여러 선행 연구에서 지적한 문제점들이 2015 개정 교육과정 화학II 교과서에 반영되고 있지 않음을 확인했으며, 상평형 그림이 그려지는 조건이 명시되지 않은 것과, 상평형 그림을 정의하는 상황이 증기압력을 정의하는 상황과 동일한 것, phase diagram을 상평형 그림으로 번역한 것, 상(phase)과 상태(state)의 구분이 불분명한 것, 임계점을 상평형 그림에서 나타내지 않은 것, 실생활 예시를 매우 한정적으로 제시하고 있는 것 등을 문제로 제안하였다. 따라서 앞으로 이루어질 개정 교육과정 화학II 교과서에서는 여러 선행 연구들의 결과를 반영하는 것이 필요하며, 상평형 그림이 그려지는 조건을 명시하고, 상평형 그림을 정의하는 상황을 새로이 모델링하고, phase diagram을 상 도표라는 용어로 번역하고, 상과 상태의 구분을 명확히 하고, 상평형 그림에서 임계점을 표시하며 다양한 실생활 사례를 개발할 필요가 있다.

• 정보보호학회논문지
• /
• 제15권2호
• /
• pp.105-111
• /
• 2005

GF(2) 셀룰라 오토마타가 비트단위로 데이터가 처리되는데 비하여 GF(2P) 셀룰라 오토마타는 비트단위 이상의 단위로 데이터론 처리할 수 있다. 본 논문에서는 GF(2p) 위에서의 유한체 성질을 이용하여 한 개의 트리로 구성되는 GF(2P)위에서의 nongroup 셀룰라 오토마타의 상태들의 움직임을 분석한다. 또한 기력경로를 이용하여 GF(2P)위에서 선형 SACA의 상태전이 그래프를 구성하는 방법과 선형 SACA의 상태전이 그래프를 이용하여 비선형인 여원 SACA의 상태전이 그래프를 구성하는 방법을 제시한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권3호
• /
• pp.633-652
• /
• 2024

Software testing is an important phase as it ensures the software quality. The software testing process comprises of three steps: generation, execution, and evaluation of test cases. Literature claims the usage of single and multiple 'Unified Modeling Language' (UML) diagrams to generate test cases. Using multiple UML diagrams increases test case coverage. However, the existing approaches show limitations in test case generation from UML diagrams. Therefore, in this research study, we propose an approach to generate the test cases using UML State Chart Diagram (SCD), Activity Diagram (AD), and Sequence Diagram (SD). The proposed approach transforms UML diagrams into intermediate forms: SCD Graph, AD Graph, and SD Graph respectively. Furthermore, by integrating these three graphs, a System Testing Graph (STG) is formed. Finally, test cases are identified from STG by using a traversal algorithm such as Depth First Search (DFS) that is an optimization method. The results show that the proposed approach is better compared to existing approaches in terms of coverage and performance. Moreover, the generated test cases have the ability to detect faults at the unit level, integration, and system level testing.

• Progress in Superconductivity
• /
• 제14권1호
• /
• pp.24-29
• /
• 2012

$(TMTSF)_2BF_4$ containing non-centrosymmetric anions is well known to exhibit a metal insulator transition around 37 K by ordering of the anions with a $q_2$=(1/2, 1/2, 1/2) wave vector. We established pressure-temperature phase diagram of the $(TMTSF)_2BF_4$ compound and showed that it can belong to the general phase diagram of the $(TMTSF)_2X$ family. Application of hydrostatic pressure decreases the anion ordering transition temperature and the superconducting state is finally stabilized below 3.77 K under 7.7 kbar. Magnetoresistance measurement on the $(TMTSF)_2BF_4$ under 7.8 kbar is performed but neither the field-induced spin-density-wave state nor the rapid oscillation is observed up to 9 T.

• Food Science and Biotechnology
• /
• 제14권2호
• /
• pp.301-303
• /
• 2005

State diagram of highly concentrated branched oligosaccharides (HBOS) was constructed to better understand phase behavior of mixtures with different size of oligosaccharides. It showed dramatic plasticizing effect on glass transition, which was successfully described based on Couchman-Karasz equation model. $T_g$' estimated from state diagram corresponded well with previous empirical data measured by maximum ice formation through isothermal holding (annealing) process. Estimated $T_g$' and $C_g$' values were $-36.3^{\circ}C$ and 79.99%, respectively. $T_g$' value of HBOS was approximately $10^{\circ}C$ higher than that of sucrose, while $C_g$' value was similar to those of general carbohydrate materials, which could be useful for applications in frozen system.

• 조명전기설비학회논문지
• /
• 제21권4호
• /
• pp.11-18
• /
• 2007

A moving object detection algorithm for surveillance video is here proposed which employs background initialization based on two-stage median filtering and a background updating method based on state transition diagram. In the background initialization, the spatiotemporal similarity is measured in the subinterval. From the accumulated difference between the base frame and the other frames in a subinterval, the regions affected by moving objects are located. The median is applied over the subsequence in the subinterval in which regions share similarity. The outputs from each subinterval are filtered by a two-stage median filter. The background of every frame is updated by the suggested state transition diagram The object is detected by the difference between the current frame and the updated background. The proposed method showed good results even for busy, crowded sequences which included moving objects from the first frame.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.126-128
• /
• 2012

소프트웨어 시스템의 안전성을 보장하기 위해 여러 안전성 분석 기법들이 사용되고 있으며, 안전성 분석의 결과인 안전성 요구사항을 시스템이 만족하고 있는지 확인하는지 확인하는 안전성 평가과정이 수행되고 있다. 안전성 평가는 많은 시간과 비용이 드는 문제점을 가지고 있다. 본 논문은 안전성 평가에 드는 시간과 비용을 줄이기 위해 테스트 케이스를 이용하여 안전성 요구사항을 소프트웨어 개발의 가장 기본적인 검증기법인 테스팅을 이용하여 시스템이 만족하는지 확인하는 방법을 제안하고 핸드폰의 카메라 컨트롤러 예제를 이용한 사례 연구를 진행하였으며 이를 지원 위한 도구인 TC2SMV를 개발하였다. TC2SMV는 UML의 state chart diagram에서 생성된 test case들을 SMV 입력 프로그램으로 자동으로 변환하여 사용자가 SMV 모델체킹을 수행할 수 있는 환경을 제공한다.

• 소프트웨어공학소사이어티 논문지
• /
• 제24권1호
• /
• pp.1-7
• /
• 2011

MVC는 유지보수가 쉬워 효율적인 개발이 가능한 아키텍처이다. 웹과 PC환경의 애플리케이션뿐만 아니라 모바일 애플리케이션 개발에 많이 적용됨에 따라 그에 대한 테스팅 또한 중요하다. 기존에 MVC 아키텍처를 적용한 개발에 초점을 둔 연구는 많았으나 MVC 아키텍처의 특성을 고려한 효율적인 테스팅을 위한 연구는 많지 않았다. 따라서 본 논문에서는 MVC 아키텍처 기반 애플리케이션의 효율적이고 정확한 테스팅을 위한 연구를 진행한다. 모델-뷰-컨트롤러의 융합된 상태를 담았던 기존의 상태 다이어그램을 뷰 상태와 모델-컨트롤러 상태 다이어그램으로 분리하고 테스트 케이스를 작성한 후, 테스트를 진행한다.

• 정보처리학회논문지D
• /
• 제13D권1호
• /
• pp.67-74
• /
• 2006

소프트웨어 개발 과정에서 보안 요구사항 식별은 그 중요성으로 최근에 관심이 주목되고 있다. 그러나 기존 방법들은 보안 요구사항 식별 방법과 절차가 명확하지 않았다. 본 논문에서는 소프트웨어 개발자가 보안 위협 위치의 상태전이도로부터 보안 요구사항을 식별하는 절차를 제안한다. 이과정은 상태전이도를 작성하는 부분과 어플리케이션 의존적인 보안 요구사항을 식별하는 부분으로 구성된다. 상태전이도 작성은 1) 공격자가 소프트웨어 취약성을 이용하여 자산을 공격한다는 것에 기반하여 기존에 발생했던 보안 실패 자료를 이용하여 소프트웨어의 취약성을 위협하는 위치를 식별하고, 2) 식별된 위협 위치에 해당하는 소프트웨어 취약성을 방어, 완화시킬 수 있는 상태전이도를 작성하는 과정으로 이루어진다. 어플리케이션 의존적인 보안 요구사항 식별과정은 1) 기능 요구사항을 분석 한 후, 위협 위치를 파악하고, 각 위협 위치 에 해당하는 상태전이도를 적용하고, 2) 상태전이도를 어플리케이션 의존적인 형태로 수정한 후, 3) 보안 요구사항 추출 규칙을 적용하여 보안요구사항을 작성하는 과정으로 구성된다. 제안한 방법은 소프트웨어 개발자가 소프트웨어 개발 초기에 모델을 적용하여 쉽게 보안 요구사항을 식별하는데 도움을 준다.