• Journal of Electrical Engineering and Technology
• /
• v.10 no.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.

• Journal of the Korean Chemical Society
• /
• v.67 no.1
• /
• pp.54-63
• /
• 2023

In this study, six types of 2015 revised curriculum ChemistryII textbooks were analyzed for conditions, definitions, whether or not critical points were displayed, and real-life examples of phase diagram. In this study, it was confirmed that the problems pointed out in several previous studies were not reflected in the 2015 revised curriculum ChemistryII textbook. The same as the situation defining the phase diagram, the translation of the phase diagram into a phase equilibrium diagram, the distinction between phase and state being unclear, the critical point not being shown in the phase diagram, real life examples are very limited what is being presented as is suggested as a problem. Therefore, it is necessary to reflect the results of various previous studies in the revised curriculum ChemistryII textbook that will be made in the future, specify the conditions under which the phase diagram is drawn, newly model the situation defining the phase diagram, and translate the phase diagram as a 'phase diagram'. It is necessary to use the term, clarify the distinction between phase and state, mark the critical point in the phase diagram, and develop various real-life examples.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.15 no.2
• /
• pp.105-111
• /
• 2005

Though GF(2) CA can only handle data with bit units GF(2p) CA can handle data with units more than bit units. In this paper we analyze the state-transition of nongroup cellular automata(CA) with a single attractor over GF(2p). And we propose the constructing method the state-transition diagram of a linear SACA over GF(2p) by using the concept of basic path. Also we propose the state-transition diagram of the nonlinear complemented SACA by using the state-transition diagram of a linear SACA.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.18 no.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
• /
• v.14 no.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
• /
• v.14 no.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.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.21 no.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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.126-128
• /
• 2012

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

• Journal of Software Engineering Society
• /
• v.24 no.1
• /
• pp.1-7
• /
• 2011

MVC(Model-View-Controller) architecture is well-known for high maintainability and it makes efficient development possible. Recently, it has been applied in many fields such as web, desktop and mobile applications. Therefore, effective testing for this architecture is strongly needed. Although much research has been done, there was not much efforts for exploiting MVC architecture in GUI testing. Therefore, in this paper, we propose a scheme for efficient and accurate GUI testing for MVC based applications. In this study we separate original state diagrams into view state diagram and model-controller state diagram. Then, we present a case study showing the effectiveness of our proposed scheme.

• The KIPS Transactions:PartD
• /
• v.13D no.1 s.104
• /
• pp.67-74
• /
• 2006

The security requirements identification in the software development has received some attention recently. However, previous methods do not provide clear method and process of security requirements identification. We propose a process that software developers can build application specific security requirements from state transition diagrams at the security threat location. The proposed process consists of building model and identifying application specific security requirements. The state transition diagram is constructed through subprocesses i) the identification of security threat locations using security failure data based on the point that attackers exploit software vulnerabilities and attack system assets, ii) the construction of a state transition diagram which is usable to protect, mitigate, and remove vulnerabilities of security threat locations. The identification Process of application specific security requirements consist of i) the analysis of the functional requirements of the software, which are decomposed into a DFD(Data Flow Diagram; the identification of the security threat location; and the appliance of the corresponding state transition diagram into the security threat locations, ii) the construction of the application specific state transition diagram, iii) the construction of security requirements based on the rule of the identification of security requirements. The proposed method is helpful to identify the security requirements easily at an early phase of software development.