• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.340-342
• /
• 2005

임베디드 소프트웨어의 적용영역이 확장됨에 따라 학계와 업계에서 임베디드 소프트웨어 개발 기술에 대한 관심이 고조되고 있다. UML 2.0은 산업체에서 많이 사용되는 모델링 언어로, 그 동안 현장에서는 주로 상태머신 다이어그램(State Machine Diagrams)을 사용하여 임베디드 소프트웨어의 동적 행위를 모델링하여 왔다. 그러나 모델러는 상태머신 다이어그램보다 시퀀스 다이어그램(Sequence Diagrams)을 선호하는데, 이는 시퀀스 다이어그램을 사용하는 것이 직관적이고 정확한 행위 모델을 개발할 수 있기 때문이다. UML 2.0이 최근 다양한 모델링 요소를 반영하도록 확장되었음에도 불구하고, 시퀀스 다이어그램을 사용하여 임베디드 소프트웨어를 모델링을 하기에는 아직 부족한 점이 있다. 이를 보완하고, 임베디드 소프트웨어를 더욱 잘 디자인하기 위하여 예외 상황과 인터럽트를 처리할 수 있는 방법을 제안한다.

• Journal of Institute of Control, Robotics and Systems
• /
• v.16 no.1
• /
• pp.69-76
• /
• 2010

The segmentation of moving object in video sequence is a core technique of intelligent image processing system such as video surveillance, traffic monitoring and human tracking. A typical method to segment a moving region from the background is the background subtraction. The steps of background subtraction involve calculating a reference image, subtracting new frame from reference image and then thresholding the subtracted result. One of famous background modeling is Gaussian mixture model (GMM). Even though the method is known efficient and exact, GMM suffers from a problem that includes false pixels in ROI (region of interest), specifically shadow pixels. These false pixels cause fail of the post-processing tasks such as tracking and object recognition. This paper presents a method for removing false pixels included in ROT. First, we subdivide a ROI by using shape characteristics of detected objects. Then, a method is proposed to classify pixels from using histogram characteristic and comparing difference of energy that converts the color value of pixel into grayscale value, in order to estimate whether the pixels belong to moving object area or shadow area. The method is applied to real video sequence and the performance is verified.

• Korean Journal of Computational Design and Engineering
• /
• v.7 no.1
• /
• pp.9-17
• /
• 2002

The study is insufficient on process planning of the elliptical deep drawing product. Thus, in this present study, the expert system for elliptical deep drawing products was constructed by using process sequence design. The expert system was developed to be based on the general concept of each entity. The system was developed in this work consists of sixth modules. The first one is a shape recognition module to recognize non-axisymmetric products and to generate Entity_list. The second one is three dimensional (3-D) modeling module to calculate the surface area for non-axisymmetric products. The third one is a blank design module to create suggested blanks of three shapes with the identical surface area. The fourth one is shape design module based on the production rules that play the most important role in an expert system for manufacturing. The production rules are generated and upgraded by inter- viewing field engineers, plastic theory and experiments. The fifth and sixth ones are a graphic module to visualize results of the expert system and a post module to rise user's convenience, respectively. According to constructed the expert system for process sequence design, it was possible to reduce the lead time.

• Genomics & Informatics
• /
• v.11 no.4
• /
• pp.289-291
• /
• 2013

Human papillomavirus (HPV) infection is the leading cause of cancer mortality among women worldwide. The molecular understanding of HPV proteins has significant connotation for understanding their intrusion in the host and designing novel protein vaccines and anti-viral agents, etc. Genomic, proteomic, structural, and disease-related information on HPV is available on the web; yet, with trivial annotations and more so, it is not well customized for data analysis, host-pathogen interaction, strain-disease association, drug designing, and sequence analysis, etc. We attempted to design an online reserve with comprehensive information on HPV for the end users desiring the same. The Human Papillomavirus Proteome Database (hpvPDB) domiciles proteomic and genomic information on 150 HPV strains sequenced to date. Simultaneous easy expandability and retrieval of the strain-specific data, with a provision for sequence analysis and exploration potential of predicted structures, and easy access for curation and annotation through a range of search options at one platform are a few of its important features. Affluent information in this reserve could be of help for researchers involved in structural virology, cancer research, drug discovery, and vaccine design.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.67 no.12
• /
• pp.1705-1710
• /
• 2018

This paper deals with an analysis of the causes of over current relay(OCR) misoperation in power system with distributed generations(DG). In general, Y-D and Y-Y-D transformer connections are used for grid interconnection of DG. According to the interconnection guideline, the neutral point on Y side should be grounded. However, these transformer connections can lead to OCR misoperation as well as over current ground relay(OCGR) misoperation. Several researches have addressed the OCGR misoperation due to the interaction between transformer connections and zero-sequence voltage of distribution system. Recently, a misoperation of OCR at the point of DG interconnection to the utility system has been also reported. With increasing the interconnections of DG, such OCR as well as OCGR misoperations are expected to increase. In this paper, PSCAD/EMTDC modeling including DG interconnection transformer was performed and various case studies was carried out for identifying the cause of OCR misoperation.

• Nuclear Engineering and Technology
• /
• v.51 no.6
• /
• pp.1616-1625
• /
• 2019

Measuring occurrence times of random events, aimed to determine the statistical properties of the governing stochastic process, is a basic topic in science and engineering, and has been the subject of numerous mathematical modeling approaches. Often, true statistical properties deviate from measured properties due to the so called dead time phenomenon, where for a certain time period following detection, the detection system is not operational. Understanding the dead time effect is especially important in radiation measurements, often characterized by high count rates and a non-reducible detector dead time (originating in the physics of particle detection). The effect of dead time can be interpreted as a suitable rarefied sequence of the original time sequence. This paper provides a limit theorem for a high rate (diffusion-scale) counter with extendable (Type II) dead time, where the underlying counting process is a renewal process with finite second moment for the inter-event distribution. The results are very general, in the sense that they refer to a general inter arrival time and a random dead time with general distribution. Following the theoretical results, we will demonstrate the applicability of the results in three applications: serially connected components, multiplicity counting and measurements of aerosol spatial distribution.

• 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.

• Journal of the Korean earth science society
• /
• v.39 no.3
• /
• pp.260-274
• /
• 2018

The purpose of this study was to propose curriculum and teaching sequence for seasonal change by exploring a learning progression. For the purpose, 4 steps of construct modeling approach (specifying construct, item design, outcome space, and measurement model) proposed by Wilson (2005) was applied. In the stage of specifying construct, 'length of shadow according to seasons', 'position of constellation according to seasons', 'seasons of the southern hemisphere and northern hemisphere', 'cause and phenomenon of seasonal change' were selected as the subconstructs of seasonal changes, and constructed a construct map showing the level of development from level 1 to level 4 for each subconstruct based on the results of the previous research. In the item design stage, we developed five assessment items consisting of 3 items in the form of C-E (choose and explain) and two items in the form of CR (constructed response), applied it to 383 elementary, middle and high school students. In the outcome space stage, the students' responses to the assessment items were categorized based on the construct map. The categories were classified into 4 levels according to student ability and scores of 1-4 were given. In the measurement model stage, we applied the partial credit model of the Rasch model and compared whether the learning pathway created from the results of students' response coincides with the construct map. Based on the results of the research, we modified the construct map and finally created hypothetical learning progression on seasonal change. Finally, we proposed an orientation of curriculum amendment and effective teaching sequence for seasonal change.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.26 no.6
• /
• pp.471-476
• /
• 2016

In this paper, recognition system for continuous human action is explained by using motion history image and histogram of oriented gradient with spotter model based on depth information, and the spotter model which performs action spotting is proposed to improve recognition performance in the recognition system. The steps of this system are composed of pre-processing, human action and spotter modeling and continuous human action recognition. In pre-processing process, Depth-MHI-HOG is used to extract space-time template-based features after image segmentation, and human action and spotter modeling generates sequence by using the extracted feature. Human action models which are appropriate for each of defined action and a proposed spotter model are created by using these generated sequences and the hidden markov model. Continuous human action recognition performs action spotting to segment meaningful action and meaningless action by the spotter model in continuous action sequence, and continuously recognizes human action comparing probability values of model for meaningful action sequence. Experimental results demonstrate that the proposed model efficiently improves recognition performance in continuous action recognition system.

• Journal of KIISE
• /
• v.44 no.3
• /
• pp.261-274
• /
• 2017

Variability management is the foremost criterion that defines the extent to which complexities can be handled in a system. Predominantly, the requirements' engineering (RE) study overlooks, or speculates a consistent behavior of, the environment in which a system functions. In real-time systems it is vital to observe and adjust to an intrinsically changing context. Therefore, in this work we identify the requirements of the system in various contexts by recommending a framework using i* goal model, problem frames, use case maps and live sequence charts. The framework is illustrated using a case study of the smart grid RTP system. In the case study, elaboration of scenarios using use case maps and live sequence charts proved beneficial as they assisted in early analysis and validation of contexts. In addition, the elaboration of requirements for obstacle and conflict analysis assists the requirements engineer to increase the robustness of the system. The proposed framework is evaluated theoretically and by empirical study.