• 한국가시화정보학회:학술대회논문집
• /
• 2002.11a
• /
• pp.97-99
• /
• 2002

Turbulent premixed flames were a subject of many researches for a number of decades. Especially, Borghi suggested a manificent diagram classifying turbulent combustion reasions and Lipatnikov and Chomiak modified this diagram. But this diagram has difficulties tn defining a flame thickness and velocity and measuring integral length scales In addition, recently experimental techniques are being developed, so we can accurately use PIV diagnostics measuring 2D velocity field instead of LDV and make good use of PLIF techniques for obtaining the flame information. In this study, according to developing techniques, suggest a new diagram replacing the existing Borghi diagram. Simultaneous PIV/OH PLIF measurements are used, which measure a shear strain rate and a location of flames, respectively. The shear strain rate represents turbulence and the OH signal indicates the flame information, but there is no geometric Information which is very important to flame quenching. Hence, to consider the geometric information, calculate fractal dimensions of the OH images. So the diagram suggested in this research has three axes which consist of strain rate, OH signal, and fractal dimension and can classify turbulent premixed flames.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.442-444
• /
• 2000

이 논문에서는 산업계의 표준으로 널리 사용되고 있는 객체 지향 시스템의 명세 언어인 UML의 sequence diagram을 이용하여 객체 지향 시스템을 검증하는 방법과 이 방법을 테스팅 오라클을 생성하는데 사용할 수 있는 프레임웍을 제시하였다. 우리는 sequence diagram을 테스팅 결과의 검증에 사용하기 위하여 정형적으로 재정의 하였다. 그리고 시제 논리의 강력한 검증 능력을 사용하기 위해서 Half-Order Dynamic Temporal Logic(HDTL)이라 불리는 새로운 시제 논리를 정의하였고 sequence diagram을 HDTL 논리식으로 변화시키는 의미 함수(semantic function)를 정의하였다. HDTL에서 오토마톤을 생성하기 위해서 Tableau 방법을 변형하여 적용시켰다. 이 결과 생성된 오토마톤은 이상 상태(anomaly), 즉 sequence diagram에 표현되지 않은 사건(evevt)의 발생을 검색하는 오라클로 사용할 수 있다. 테스팅의 결과를 수작업으로 검증하는 것은 매우 어렵고 오류가 발생하기 쉬운 작업이므로 제안한 방법은 유용하게 사용될 수 있다.

• The KIPS Transactions:PartD
• /
• v.17D no.4
• /
• pp.283-296
• /
• 2010

Timing diagram is a useful tool for describing the specification of system, but there is no study for test case strategy of a timing diagram. To solve this problem, we followed the steps to generate test cases from timing diagram in this paper. 1) We defined a timing diagram formally. 2) We describe the method of transforming from a timing diagram model into a Stateflow model which has an equivalent relationship between a timing diagram model and a transformed Stateflow model. 3) We generated test cases from a transformed Stateflow model using SDV which is plugged in Simulink. To show that our approach is useful, we made an experiment with a surveillance model and arbitrary timing diagram models. In the experiment we transformed timing diagram models into Stateflow models, generated test cases from transformed Stateflow models using SDV, and analyzed the generation results. The conclusion that can be obtained from this study is that timing diagram is not only a specification tool but also a useful tool when users are trying to generate test cases based on model.

• Asia pacific journal of information systems
• /
• v.7 no.1
• /
• pp.99-111
• /
• 1997

This paper presents an application of an artificial neural net to the implementation of decision class analysis (DCA), together with the generation of a decision model influence diagram. The diagram is well-known as a good tool for knowledge representation of complex decision problems. Generating influence diagram model is known to in practice require much time and effort, and the resulting model can be generally applicable to only a specific decision problem. In order to reduce the burden of modeling decision problems, the concept of DCA is introduced. DCA treats a set of decision problems having some degree of similarityz as a single unit. We propose a method utilizing a feedforward neural net with supervised learning rule to develop DCA based on influence diagram, which method consists of two phases: Phase l is to search for relevant chance and value nodes of an individual influence diagram from given decision and specific situations and Phase II elicits arcs among the nodes in the diagram. We also examine the results of neural net simulation with an example of a class of decision problems.

• Proceedings of the Korea Society of Design Studies Conference
• /
• 2004.05a
• /
• pp.184-185
• /
• 2004

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.31 no.5
• /
• pp.40-45
• /
• 2013

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.1
• /
• pp.11-20
• /
• 2008

• KIISE Transactions on Computing Practices
• /
• v.22 no.1
• /
• pp.32-37
• /
• 2016

In model-based testing using sequence diagrams, test cases are automatically derived from the sequence diagrams. For the generation of test cases, scenarios need to be found for representing as a sequence diagram, and to extract test paths satisfying the test coverage. However, it is hard to automatically extract test paths from the sequence diagram because a sequence diagram represents loop, opt, and alt information using CombinedFragments. To resolve this problem, we propose a transformation process that transforms a sequence diagram into an activity diagram which represents scenarios as a type of control flows. In addition, we generate test cases from the activity diagram by applying a test coverage concept. Finally, we present a case study for test cases generation from a sequence diagram.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.24 no.6
• /
• pp.664-675
• /
• 2021

Air force air-to-air combat tactics are occurring at a high speed in three-dimensional space. The specification of the tactics requires dealing with a quite amount of information, which makes it a challenge to accurately describe the maneuvering procedure of the tactics. The specification of air-to-air tactics using natural languages is not suitable because of the intrinsic ambiguity of natural languages. Therefore, this paper proposes an approach of using UML Sequence Diagram to describe air-to-air combat tactics. Since the current Sequence Diagram notation is not sufficient to express all aspects of the tactics, we extend the syntax of the Sequence Diagram to accommodate the required features of air-to-air combat tactics. We evaluate the applicability of the extended Sequence Diagram to air-to-air combat tactics using a case example, that is the manned-unmanned teaming combat tactic. The result shows that Sequence Diagram specification is more advantageous than natural language specification in terms of readability, conciseness, and accuracy. However, the expressiveness of the Sequence Diagram is evaluated to be less powerful than natural language, requiring further study to address this issue.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.247-249
• /
• 2003

Currently there are a variety of different tools may be used to analyze, model, describe and document a business process. However, it is difficult to exchange the information of a business process created in different tools because of the distinct information formats used in different tools. The XML Process Definition Language (XPDL) of the Workflow Management Coalition (WfMC) forms a common interchange standard that enables products to continue to support arbitrary internal representations of process definitions with an import/export function to map to/from the standard at the product boundary. Generally a business process model can be represented by the UML activity diagram, but there is a difficult task to directly generate an XPDL document from a business process model represented by the standard activity diagram. In the paper we will propose an approach to generate an XPDL document from a business process model represented by the extended UML activity diagram.