• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.11a
• /
• pp.821-826
• /
• 2001

설계 단계부터 많은 경험을 필요로 하고, 설계된 회로의 분석이나 검증이 어려운 시퀀스 제어의 릴레이 회로를 EMFG로 변환하는데 있어 릴레이 회로의 특성을 정확하게 반영하기 위해 EMFG에 조건 아크를 도입하였으며 이에 따라 릴레이 회로의 EMFG 변환 규칙을 추가하였다. 또한 타이머 릴레이에 대한 EMFG 변환을 위해 시간 트랜지션을 사용하였다. 교통 신호등시스템을 이용한 응용 예를 통해 릴레이 회로를 EMFG로 변환하므로써 설계된 회로의 분석 및 해석이 용이해지고 설계오류에 대한 검증에 상당한 효과가 있음을 보인다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 1998.04a
• /
• pp.423-431
• /
• 1998

이진값을 가지는 이진 시스템을 모델화하고 설계하여 구현할 수 있도록 Petri Net의 한 부류인 박스의 마크수가 최대 1인 안전(safe)한 확장된 마크흐름선도(EMFG : Extended Mark Flow Graph)를 재구성하였다. 레벨박스와 펄스박스 및 게이트박스를 하나의 박스로 통일하였으며, 보존아크를 제거하고 서로 상반되는 개념을 가지는 일반아크와 역아크만을 사용하였고, 특히 트랜지션의 출력아크로 새로이 역아크를 도입함으로써 EMFG의 표현을 명확하게 하였다. 또한 EMFG에서 자기루프를 정의하였다. 그리고 이진 시스템을 모델링한 EMFG를 실제회로로 구현하는 방법이 새로이 제시되었다.

• Proceedings of the KIEE Conference
• /
• 2003.07d
• /
• pp.2298-2300
• /
• 2003

본 논문은 페트리 네트의 특별한 구조인 siphon의 특성을 이용하여 트랜지션 점화를 제어함으로써 deadlock을 회피하는 방법을 제시한다. 제안한 방법은 페트리 네트에서 상태 방정식을 유도한 후, siphon의 특성을 이용하여 deadlock을 회피할 수 있는 충분 조건을 유도한다. 간단한 FMS의 예를 이용하여 제안한 방법을 사용하면 deadlock이 발생하지 않음을 보인다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.11
• /
• pp.1414-1428
• /
• 1999

ATM/B-ISDN 신호 프로토콜과 같은 통신 프로토콜의 상호운용성을 시험하기 위한 시험경우를 생성하는 알고리즘이 제안되었다 1]. 현재까지 상호운용성 시험경우 도출을 자동화하거나 이에 대한 커버리지를 분석한 경우는 없다. 본 논문은 1]에서 제안한 알고리즘을 프로그램으로 구현하여 TCP 연결설정 프로토콜에 적용하고 결과를 분석한다. 이 과정에서 (1) TCP 연결설정 프로토콜의 3방향 핸드 쉐이킹 부분을 다루지 못했던 기존의 알고리즘을 개선하고, (2) 개선된 알고리즘을 프로그램으로 구현하여 TCP 연결설정 프로토콜의 상호운용성 시험경우를 도출하고, (3) 생성된 상호운용성 시험경우를 트랜지션 커버리지 관점에서 분석하고, (4) 향상된 트랜지션 커버리지를 얻기 위하여 알고리즘 확장 방안을 제시한다.Abstract A test derivation method suitable for testing interoperability for the class of communication protocols like the ATM/B-ISDN signaling protocol was proposed 1]. Up to now, there is no work on automating derivation of the interoperability test suite and analyzing its coverage. In this paper, we implement the algorithm proposed by 1], apply it to the Transmission Control Protocol (TCP), and analyze its results. In this process, we (1) improve the algorithm that is not applicable to the TCPs three-way handshaking, (2) implement the improved algorithm as a program and derive an interoperability test suite automatically from a given pair of TCP FSMs, (3) analyze generated interoperability test suite in view of transition coverage, and (4) present a method in order to extend the algorithm for better transition coverage.

• Journal of KIISE:Computing Practices and Letters
• /
• v.12 no.3
• /
• pp.149-159
• /
• 2006

To provide on-demand video streaming services through the network, video objects with both high and low client request rates should be served efficiently. In this paper, we propose a dynamic on-demand streaming approach for providing services efficiently regardless of the client request rate. This approach can maintain QoS by transitioning the service scheme according to the request rate. The server provides services by the Heuristic broadcasting approach when the client request rate is low and by Striping broadcast, one of many Periodic broadcast approaches, when the client request rate is high. The server knows the variations of client request rates by the number of service channels and decides the transition to more efficient service schemes on its own. We simulated this scheme transition with various client request intervals and traces from a company providing streaming services. The results show that the performance of our approach is reasonable.

• Journal of KIISE:Information Networking
• /
• v.28 no.3
• /
• pp.355-368
• /
• 2001

Protocol conformance test is used to promote interoperability of protocol implementatons developed by venders. Non-interopcrability between protocol implementations may be caused by ambiguity and/or misintellJretation of the protocol specifications by vendors. Conventional method on protocol conformance test has been standardized by IS0;IEC JTCI with the purpose of whether a protocol implementation conforms to its specification. However, sometimes the conventional method gives wrong test results because the test is based on static test sequences. This problem is caused by the fact as some failed transitions of a protocol FSM included in test sequences have an effect on the test result of transitions to be tested. In this paper, a new approach called Dynamic Conformance Test Method (DCTM) is proposed to solve this problem. DCTM dynamically selects test sequence durng testing depending on an information showing an alternative path without failed tranistions. As a result, the fault coverage of the DCTM is better than that of the conventional test method. In order to demonstrate the fault coverage of DCTM compared to that of the conventional method. a testing tool is implemented and appied to the TCP protocol.

• Journal of Ocean Engineering and Technology
• /
• v.15 no.4
• /
• pp.101-107
• /
• 2001

This paper describes a fault diagnosis method by a T-invariance of Petri Net (PN). First, a complicated fault system with some failure is modeled into a PN graphic expressions. Next, the PN model is analyzed by using the backward chaining of T-invariance to find out causes of the faults. In this step, an inter-node search technique which is suggested in this paper is applied for reducing searching area in the fault system. Also, a novel idea to compose incidence matrices which have different dimension each other in PN model is proposed. As the new knowledges which is discovered newly about faults can be added easily to conventional systems, the diagnosis system will be very flexible. Finally, the proposed method is applied to the automobile fault diagnosis system to confirm the validity of the method.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.751-754
• /
• 2007

본 연구에서는 유연생산시스템에서의 교착상태 확인 및 회피 알고리즘을 추이적 행렬을 이용하여 제안한다. 추이적행렬은 플레이스와 플레이스간의 관계를 표현함으로 마킹의 흐름을 플레이스와 트랜지션간의 관계형에서 상태와 상태간의 관계를 표현함으로 상태의 변화 검증에 편리하다. 교착상태 확인 및 회피 알고리즘을 제시하고, 기존에 발표되어진 siphon과 DAPN알고리즘간의 비료 검토를 통하여 제안한 알고리즘의 유용성을 검증하였다.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.31A no.2
• /
• pp.45-52
• /
• 1994

A curvature variable taper is proposed for a waveguide-microstrip transition. It is applied to a ridge waveguide. The curvature depends on the taper length and difference of waveguide's height and microstrip substrate's height. The taper is manufactured easier than the other tapers. It's reflection coefficient is smaller than the parabolic taper's below one wavelengrh. The results of experiment show that S$_{11}$ is below -20dB and SS$_{21}$ is about -0.5dB in the band of 10~15 GHz. These results are good agreement with the theoritical values.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.977-980
• /
• 2001

본 논문은 멀티미디어 페트리 넷을 분석하는 방법을 제공한다. 멀티미디어 시나리오는 결정적으로 진행됨으로 멀티미디어 페트리 넷은 마크드그래프라야 한다. 또한, 멀티미디어 시나리오는 시작 화면에서 시작하여 멀티미디어를 구성하는 모든 화면을 차례로 출력하고 종료 화면에서 끝나야 함으로 멀티미디어 페트리 넷은 Start place에만 하나의 토큰이 놓인 상태에서 격발을 진행하면 모든 트랜지션을 꼭 한번씩 격발한 다음 End place에만 꼭 하나의 토큰이 놓인 상태에 도달하는 성질이 있다. 본 논문은 이러한 성질들을 바탕으로 멀티미디어 시나리오의 무결성을 검사하는데 도움을 줄 수 있는 멀티미디어 페트리 넷의 분석 방법을 제공한다.