• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2001년도 춘계종합학술대회
• /
• pp.692-695
• /
• 2001

확장된 마크흐름선도(EMFG: Extended Mark Flow Graph)는 이산 시스템을 개념적으로 또는 상세하게 설계할 수 있는 강력한 도구일 뿐만 아니라 시스템을 직접적으로 구현하기 위한 적당한 표현이다. 본 논문은 EMFG의 트랜지션들이 점화하는 과정 및 트랜지션이 점화 완료하였을 때의 각 박스들의 마크 수 변화를 접속 행렬 및 상태천이 방정식을 이용한 점화 결정 알고리즘으로 표현하고자 한다. EMFG의 동작이 수학적으로 해석 가능해짐으로 인해 시스템의 분석 및 설계가 용이하며 컴퓨터를 이용한 자동화 시스템의 분석과 설계가 가능하다.

• 정보처리학회논문지A
• /
• 제9A권3호
• /
• pp.371-378
• /
• 2002

EMFG(Extended Mark Flow Graph)는 이산시스템을 표현하는데 유용한 그래프 도구로 알려져 있다. 본 연구에서는 EMFG에서 각 트랜지션이 점화하였을 때의 입출력 박스의 마크 변화량을 입출력 행렬로 표현하였고, 이를 사용하여 EMFG의 접속행렬을 구하였다. 점화가능벡터를 구하기 위하여 각 트랜지션의 점화조건을 점화조건행렬로 표현하였으며, 각 트랜지션의 점화완료 상태를 판단하기 위하여 점화완료벡터를 도입하였다. 이들을 사용하여 EMFG의 모든 동작과정이 수학적으로 해석될 수 있도록 EMFG의 동작해석 알고리즘을 개선하였다. 제안된 알고리즘을 정회전과 역회전을 반복하는 시스템에 적용하여 알고리즘이 올바르게 동작하는 것을 확인하였다. 제안된 알고리즘은 다양한 이산 시스템을 분석하는데 유용하다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권1호
• /
• pp.12-21
• /
• 2008

실생활과 밀접한 환경에서 컴퓨터 시스템의 사용이 늘어남에 따라 이러한 시스템들의 신뢰성, 안전성 등을 철저히 확인할 수 있는 검증 기술의 필요성이 한층 증가되고 있다. 유한상태머신은 이러한 시스템 모델링 및 분석에 활용되는 다양한 정형적 기법의 기본 모델로 널리 이용되고 있으며 효율적인 분석을 위해 내부 이벤트에 대한 추상화 기법이 제공된다. 하지만 기존의 추상화 방법은 유한상태머신 모델을 생성한 후에 적용될 수 있으므로 상태폭발에 효과적으로 대처하지 못하는 문제점이 있다. 이 연구에서는 유한상태머신 정보를 효과적으로 표현할 수 있는 새로운 표기법으로, 병행적 특성을 나타낼 수 있는 slice 모델 개념을 제시하고 이를 근간으로 내부 트랜지션을 축약하는 추상화 알고리즘을 제시한다. 기존의 유한상태머신 기반의 추상화 방법은 모든 상태를 나열하여야만 분석할 수 있는데 반해, 제안된 추상화 방법은 필요한 분석 공간만을 부분적으로 생성함으로 시간 및 공간적인 관점에서 효율적이다.

• 한국정보과학회논문지:정보통신
• /
• 제30권1호
• /
• pp.117-125
• /
• 2003

기존의 IP4 문제점을 극복하기 위해 IETF (Internet Engineering Task Force)에서 제안하고 있는 IPv6 (IP version 6)는 초기 도입단계에서 IPv4와의 호환성을 위해 다양한 트랜지션 메커니즘이 필요하다. 이러한 트랜지션 메커니즘은 크게 터널링과 변환기를 이용한 메커니즘으로 구분될 수 있다. 본 논문은 변환기를 이용한 트랜지션 메커니즘 구현을 위해 기존의 NAT (Network Address Translation) 기법과 유사한 NAT PT (NAT Protocol Translation) 표준을 기반으로 변환에 필요한 요소 기술들을 분석하였다. 그리고 global IPv4 주소의 효율적인 환용을 위해서 포트를 이용한 확장 알고리즘을 설계하여 제시하였다. 또한 표준에서 언급되지 않은 매핑 테이블 관리 및 타이머 선정, 그리고 구현에 필요한 세부 기술들을 분석하여 설명하였다. 본 논문에서 제시한 모델은 양방항 세션의 NAT-PT 방식과 기존의 포트변환 방식을 혼용한 방식이다. 제안된 방식은 IPv4 주소를 필요로 하는 모든 호스트에 IPv4 주소를 할당하지 않고 단일 임시 IPv4 주소와 포트를 할당하기 때문에 IPv4 주소가 효율적으로 운영할 수 있는 장점을 갖는다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2010년도 춘계학술대회
• /
• pp.347-350
• /
• 2010

뉴 미디어 시대의 도래로 우리는 움직이는 영상 이미지의 세계에 살고 있다고 해도 과언이 아니다. 매체의 발달과 함께 일상에서는 이미지와 함께 순간을 지나며 느끼며 그것을 일부처럼 공존하며 소통하고 있다. 이러한 시대에 논리적이고 현실적인 사고보다 감각적이고 형상적인 이미지가 더 많은 것을 전달하고 설명하기도 한다. 움직이는 이미지를 보는 행위는 언어적이고 개념적인 의미의 전달 이전에 색채와 화면을 구성하고 있는 조형적인 요소와 그것들이 만들어내는 변화가 먼저 인식된다. 특히 서사의 구조를 가지는 영화영상 애니메이션에서는 그 영역이 더욱 크게 작용하며 이러한 장면의 이미지를 연결시키는 트랜지션의 기법 역시 본연의 단순한 기능에서 의미소통의 기능으로 확대되고 있다. 이러한 트랜지션 효과는 단순한 장면전환의 전통적 기법에서 시각적 유희성을 제공하고 서사의 흐름에 도움을 주는 내러티브 기능으로 수행되는 관점에서 시각적 표현의 연구는 지속되어야 한다.

• 한국기계가공학회지
• /
• 제19권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.

• 한국정보통신학회논문지
• /
• 제3권2호
• /
• pp.305-311
• /
• 1999

본 논문에서는 유전율 1.06, 두께 $\lambda$/4인 발포체 기판상의 얇은 필름에 인쇄한 새로운 형태의 단일층 마이크로스트립 패치 안테나를 설계했다. 안테나의 대역폭이 광대역 임피던스정합을 얻기 위하여 3차원 트랜지션을 사용한다. 안테나의 방사패턴 및 반사손실, 전압정재파비는 "IE3D" 시뮬레이션 패키지를 사용하여 계산하여 측정결과와 비교했다. 측정 결과 전압정재파비 $\le$ 2:1 인 대역폭이 중심주파수 6.8 GHz에서 약 65%로 광대역 안테나임을 입증하였다. 그리고 반사손실 및 전압정재파비는 계산치와 실험치가 거의 일치하였다. 거의 일치하였다.

• 한국전자파학회논문지
• /
• 제17권4호
• /
• pp.324-329
• /
• 2006

본 논문에서는 위성 통신 대역에서 사용할 수 있는 기판 집적형 도파관(SIW: Substrate Integrated Waveguide) 공진기에 관하여 논의된다. 기판 집적형 도파관은 기판에 비아 홀을 삽입하여 근사적으로 도파관을 구현한 것으로써 다른 회로와 집적화 시킬 수 있다는 장점을 지닌다. 측정을 위해 설계된 back-to-back 트랜지션은 18 GHz 에서 0.4 dB의 삽입 손실을 갖는다. 또한, 측정된 기판 집적형 도파관을 이용한 공진기의 Q 값은 back-to-back 트랜지션을 포함하였을 때 222를 나타낸다. 이러한 높은 Q 값을 갖는 기판 집적형 도파관을 이용한 공진기는 필터, 발진기, 전압 제어 발진기 등에 이용될 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.694-696
• /
• 2002

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

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2001년도 추계학술발표논문집
• /
• pp.815-820
• /
• 2001

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