• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2001.05a
• /
• pp.692-695
• /
• 2001

The EMFG(Extended Mark Flow Graph) is not only a powerful tool to. designing the discrete-event system conceptually or specifically but also a good representation tool for implementing the system directly. We present a transitions-firing process and automatic changes of the number of marks in each box as a firing determination algorithm with the incident matrix and the state transition equation. The convenient analysis and design of a system as well as Computer Aided Design is possible because the operations of an EMFG ran be represented in the mathematical analysis with ease.

• The KIPS Transactions:PartA
• /
• v.9A no.3
• /
• pp.371-378
• /
• 2002

The EMFG (Extended Mark Flow Graph) is known as a graph model for representing the discrete event systems. In this paper, we introduce input/output matrixes representing the marking variance of input/output boxes when each transition fires in an EMFG, and compute an incidence matrix. We represent firing conditions of transitions to a firing condition matrix for computing a firable vector, and introduce the firing completion vector to decide completion of each transition’s firing. By using them, we improve an analysis algorithm of the EMFG’s operation to be represented all the process of EMFG’s operation mathematically. We apply the proposed algorithm to the system repeating the forward and reverse revolution, and then confirm that it is valid. The proposed algorithm is useful to analysis the variant discrete event systems.

• Journal of KIISE:Software and Applications
• /
• v.35 no.1
• /
• pp.12-21
• /
• 2008

As the usage of computer systems is increasing in our lives, the reliability and safely of these systems need to be thoroughly checked through the verification techniques. As a basic formalism for several modeling methods, the finite state machine (FSM) is widely used in specification and verification of system models. And there is a technique for ing internal events of FSM in order to effectively analyze the system. However, this technique does not handle the state explosion problem since it can be applied after completely generating all the state space of the system. In this research, we provide a new approach for efficiently representing concurrent properties of FSM, the slice model and provide an efficient transition reduction method based on the slice model. Our approach is effective in time and space perspective since it is peformed by partially generating the needed system states while the existing abstraction technique can be applied to all the system states.

• Journal of KIISE:Information Networking
• /
• v.30 no.1
• /
• pp.117-125
• /
• 2003

IPv6 (IP version 6), which was standardized by the IETF (Internet Engineering Task Force) to cope with existing IPv4 problems, needs several approaches for interoperation with IPv4. The internetworking of IPv6 with IPv4 is an important key to the deployment of the next generation Internet. As the solutions to the transition mechanism, both tunneling and translator methods have been proposed. In this paper, we analyze functional elements for implementation design of a transition mechanism based on the NAT-PT (NAT-Protocol Translation), and propose an extension algorithm that uses ports for effective use of global IPv4 addresses. The algorithm presented in this paper is a method of combining NAT-PT with Port Translation mechanism. The algorithm does not assign an IPv4 address to the host that needs IPv4 address, but allocates a single temporary IPv4 address and a port number in order to identify host.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2010.05a
• /
• pp.347-350
• /
• 2010

With the advent of new media era we are living in the world of motion picture image is not an exaggeration. With the development of the mass media with images and moments that passed the day feeling like part of it is communication. In this era a sensual and shapeable image more than the logical and realistic thinking may be passed. In the act of seeing a moving image, prior to linguistic and conceptual meaning, color and screen configuration delivery and formative element in the change they produce is first recognized. Particular kind of video animation having the narrative structure, this territory effect greatly. the film even more significant effect on the area and linking the image of the scene transitions in the scheme also features a simple means of natural communication functions are being expanded. These transitional effects provide visual pleasure from a simple transition traditional methods. And In terms of narrative functions performed to help a narrative flow of availability, visual representation should continue.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.19 no.6
• /
• pp.29-35
• /
• 2020

Transition Nozzles are used in industrial air-cooled heat exchangers and widely used in industrial sites as an important component in the heat energy transfer between a heat source and an actuating fluid. There is a worldwide demand for transition nozzles with various materials and shapes, depending on the use environment. This paper aims to improve the transition nozzle forging process suitable for the production of many varieties using Steps 1 to 6 of the TRIZ Methodology for Problem Solving. By utilizing the TRIZ Methodology, this study derives a method to design a variable mold, which is more efficient and can reduce costs compared with having to use several molds. To verify the suitability of the methods derived using the TRIZ technique, a forging analysis is performed on a transition nozzle using DEFORMⓇ, a commercial program for plasticity analysis, and the nozzle material is evaluated for damage as a result of deformation of the transition nozzle thickness. The derived methods can be applied to transition nozzle formation equipment to improve the efficiency of the formation process.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.3 no.2
• /
• pp.305-311
• /
• 1999

In this paper, it is designed a new type single layer patch antenna which is printed on a very thin film and separated from the ground-plane by foam with a low permitivity of 1.06 and a high thickness of around quarter wavelength. It allows the use of three-dimensional transition, from one level to another, so that its bandwidth can be enhanced by wideband impedance matching. The radiation pattern, return loss, and VSWR of the antenna are calculated using "IE3D" simulation package, and compared with the experimental results. Experimental results show that the bandwidth is about 65% of center frequency 6.8 GHz, return loss and VSWR are in a fairly good agreement with the calculations.culations.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.17 no.4 s.107
• /
• pp.324-329
• /
• 2006

In this paper, a resonator with the substrate integrated waveguide(SIW) structure at the satellite communication band is presented. The SIW structure is realized by via-holes on the dielectric substrate and has an advantage of integration with other circuits. For the measurement, a designed back-to-back transition has the insertion loss of 0.4 dB at 18 GHz. Also, the quality factor of the resonator with the SIW structure including back-to-back transition is obtained to be 222. The high-Q resonator with the SIW structure can be used in filter, oscillator, and voltage controlled oscillator.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.694-696
• /
• 2002

본 연구에서는 패트리 넷에서의 교착 상태 확인을 추이적 행렬을 이용하여 분석하는 기법을 제안한다. 교착 상태란 패트리 넷에서 마킹이 더 이상 진행 되지 못하고 서로 점화 가능 상태를 기다리는 상태로 자원 공유의 문제에서 많이 발생 가능하다. 따라서. 모든 플레이스와 트랜지션과의 관계를 나타내는 추이적 행렬을 이용하여 간단하게 확인분석이 용이한 기법을 제안한다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.11a
• /
• pp.815-820
• /
• 2001

확장된 마크흐름선도(EMFG: Extended Mark Flow Graph)는 이산 시스템을 설계할 수 있는 강력한 도구일 뿐만 아니라 시스템을 직접적으로 구현하기 위한 적당한 표현이다. 본 논문에서는 EMFG의 동작 해석 알고리즘을 개선하여 시간 트랜지션이 존재하는 EMFG의 동작을 분석하고자 한다. 이를 통해 시스템의 분석 및 설계가 용이하며 컴퓨터를 이용한 자동화 시스템의 분석과 설계가 가능하다.