• Title/Summary/Keyword: 상태 행렬

검색결과 428건 처리시간 0.024초

패트리 넷에서의 교착 상태 확인 알고리즘 성능분석 (An Performance Evaluation of the Deadlock Detection Algorithm in Petri Nets)

  • 김종욱;이종근
    • 한국시뮬레이션학회논문지
    • /
    • 제18권1호
    • /
    • pp.9-16
    • /
    • 2009
  • 본 연구에서는 교착상태 확인 알고리즘의 성능분석을 위하여 사이폰(siphon) 알고리즘, DAPN알고리즘과 추이적 행렬 알고리즘을 상호 비교한다. 이를 위하여 비교 모델을 설정하여 각 알고리즘을 활용한 결과를 복잡도, 이해도 그리고 신속성 등의 3가지 함수를 이용하여 성능을 분석한다. 서로 다른 개념의 알고리즘을 비교분석에 한계성이 있으나, 동일한 모델에 적용하여 그 효율성을 비교 분석하여 각 알고리즘의 특성들을 분석한다.

유니타리 존즈행렬의 기하학적 해석과 벡터표현 (Geometric Interpretation of the Unitary Jones Matrix and Its Vectorial Representation)

  • 노봉규;김진승
    • 한국광학회지
    • /
    • 제5권1호
    • /
    • pp.25-30
    • /
    • 1994
  • 투명한 비등방성 매질의 편광투과특성을 나타내는 유니타리 존즈행렬과 뽀앙카레공의 표면에서의 회전변환이 일대일 대응되는 것을 보여주는 공식을 끌어내었다. 이 공식들을 쓰면 유니타리 존즈행렬의 세 매개변수로부터 이에 대응되는 회전변환의 회전축 방향과 회전각을 보여주는 벡터표현을 얻을 수 있고, 또 거꾸로 회전변환의 벡터표현으로부터 이에 대응디는 유니타리 존즈행렬의 매개변수를 결정할 수 있다. 빛이 투명한 비등방성 선형매질을 지날 때 편광상태의 변화를 살펴보려면 먼저 매질전체의 편광투과특성을 나타내는 존즈행렬을 계산하고, 이로부터 뽀앙카레공에서의 회전변환을 결정하여 뽀앙 카레공 위의 점들이 어떻게 회전이동하는가 보면 된다.

  • PDF

EMFG의 개선된 동작해석 알고리즘 (The Enhanced Analysis Algorithm for an EMFG's Operation)

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

용량제한을 갖는 중첩형 대기행렬 네트워크의 성능 범위분석 (A Boundness Analysis of Performance on the Nested Queueing Network with Population Constraint)

  • 이영
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제36권4호
    • /
    • pp.239-246
    • /
    • 2009
  • 각 계층 네트워크가 세마포에 의하여 용량제한을 갖는 중첩형 대기행렬 네트워크의 평균대기시간에 관하여 연구하였다. 중첩형 대기행렬 네트워크는 고객의 대기시간 관점에서 보다 간단한 대기행렬 네트워크로 변환될 수 있다. 이러한 중첩형 대기행렬 네트워크의 가장 중요한 특성은 하위계층의 흐름이 상위 계층의 상태에 의존적이며, 제한을 받는다는 것이다. 이러한 형태의 대기행렬 네트워크는 성능분석을 정확히 할 수 없기 때문에, 변환된 중첩형 대기행렬 네트워크를 이용하여 평균대기시간에 대한 하한과 상한을 분석하고자 한다. 모의실험에 관한 측정은 도착분포가 단계형태 분포로서 포아송, 얼랑 그리고 초지수분포에 관하여 조사하였다. 이렇게 구한 범위는 추후에 좀 더 근접한 근사치를 구하는데 이용할 수 있다.

페트리 네트와 퍼지 개념을 이용한 자동 조립 시스템 제어

  • 고인선;전광호
    • 제어로봇시스템학회지
    • /
    • 제1권3호
    • /
    • pp.92-100
    • /
    • 1995
  • 본 연구에서는 페트리 네트를 사용하여 모델링된 이산 사건 시스템의 제어시 발생하는 충돌 현상을 해결하기 위하여 퍼지 개념을 사용하였다. 이를 통하여 페트리 네트로 시스템을 제어할 경우 발생하는, 큰 문제점인 외부 시스템과의 데이터 입출력 설정의 어려움을 해결하는 방법을 보였다. 또한 제시된 규칙 행렬의 단순성으로부터 쉽게 충돌 현상하의 우선 순위를 변화시킬 수 있다. 시스템을 제어하는 전문가의 지식이 모호하여 단순히 상수값으로 우선순위를 표현할 수 없는 경우에는 퍼지개념을 이용하여 해결하였다. 이러한 방법들은 소규모의 모터 자동 조립 시스템을 제어하는데 부품의 수량, 작업의 대기 상태를 퍼지화하여 규칙행렬을 만들어 제어신호를 발생시켰다. FMS, CIM을 제어할 때 발생하는 Scheduling 문제도 본 논문의 방법을 사용하면 해결할 수 있다고 본다.

  • PDF

평면 패턴 영상을 이용한 단순 카메라 캘리브레이션 (A Simple Camera Calibration using a Planar Patern Image)

  • 김동근;김진용
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2001년도 추계학술발표논문집 (상)
    • /
    • pp.773-776
    • /
    • 2001
  • 본 논문에서는 캘리브레이션 패턴을 카메라와 평행한 평면에 위치시켜 카메라의 회전 요소를 없게 하여 회전 행렬이 단위 행렬이 되게 한 상태에서 카메라를 캘리브레이션 하였다. 카메라의 투영중심에 대한 투영면과 프레임 버퍼에서의 영상 중심 위치($C_x,\;C_y$), 촛점거리(f) 등의 내부 파라메타와 세계 좌표의 원점에 대한 카메라의 상대 위치($T_x,\;T_y,\;T_z$)를 서로 다른 거리에서 획득한 두 장의 패턴 영상을 이용하여 효과적으로 계산하였다.

  • PDF

적응적 학습파라미터를 이용한 독립성분분석의 성능개선 (Performance Improvement of Independent Component Analysis by Adaptive Learning Parameters)

  • 조용현;민성재
    • 한국멀티미디어학회:학술대회논문집
    • /
    • 한국멀티미디어학회 2003년도 춘계학술발표대회논문집
    • /
    • pp.210-213
    • /
    • 2003
  • 본 연구에서는 뉴우턴법의 고정점 알고리즘에 적응 조정이 가능한 학습파라미터를 이용한 신경망 기반 독립성분분석기법을 제안하였다. 이는 고정점 알고리즘의 1차 미분을 이용하는 뉴우턴법에서 역혼합행렬의 경신 상태에 따라 학습율과 모멘트가 적응조정되도록 함으로써 분리속도와 분리성능을 개선시키기 위함이다. 제안된 기법을 512$\times$512 픽셀의 10개 영상으로부터 임의의 혼합행렬에 따라 발생되는 영상들의 분리에 적용한 결과, 기존의 고정점 알고리즘에 의한 결과보다 우수한 분리성능과 빠른 분리속도가 있음을 확인하였다.

  • PDF

조류력을 받는 해양케이블의 자유진동해석 (Free Vibrations of Ocean Cables under Currents)

  • 김문영;김남일;윤종윤
    • 한국해안해양공학회지
    • /
    • 제11권4호
    • /
    • pp.231-237
    • /
    • 1999
  • 다절점 케이블요소를 이용하여 조류하중을 받는 해양 케이블의 자유진동해석을 수행한다. 등매개 곡선 케이블요소(isoparametric cable element)의 접선강성행렬과 질량행렬을 유도하고, 하중증분법을 이용하여 지점 변위를 일으키고 자중, 부력, 그리고 조류력을 받는 케이블의 초기평형 상태를 결정한다. 초기의 정적평형상태를 기준으로 부가질량을 고려한 해양케이블의 자유진동해석을 수행한다. 수중케이블의 자유진동해석을 통하여 얻은 해석결과와 기존의 문헌의 결과를 비교, 검토함으로써 본 논문에서 제시한 이론 및 해석방법의 타당성을 입증한다.

  • PDF

추이적 행렬을 이용한 EMFG의 마크흐름 분석 (Analyze Method of Mark Flow in EMFG Using the Transitive Matrix)

  • 정명희;김정수;이태훈;여정모
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2003년도 춘계학술발표논문집 (중)
    • /
    • pp.807-810
    • /
    • 2003
  • EMFG(Extended Mark Flow Graph)는 이산시스템을 개념설계하거나 상세설계할 수 있는 좋은 도구이다. 시스템을 설계함에 있어서 마크흐름을 분석하는 것은 시스템의 성능향상과 직결되므로 상당히 중요한 작업이다. 본 논문에서는 EMFG의 각 박스들간의 상태변화를 박스추이가중행렬을 통하여 확인, 분석하는 기법을 제안하고자 한다. EMFG로 설계한 시스템의 상태변화를 쉽게 분석함으로써 시스템의 설계 및 분석이 쉬워지므로 자동화된 시스템 개발시 유용하게 사용될 것으로 기대된다.

  • PDF

언로딩 성능향상을 위한 서스펜션 상태행렬 변화에 대한 연구 (A Study on Variation of State Matrix to Improve the Unloading Performance)

  • 이용현;김기훈;김석환;이용은;박경수;박노철;박영필
    • 한국소음진동공학회:학술대회논문집
    • /
    • 한국소음진동공학회 2008년도 춘계학술대회논문집
    • /
    • pp.618-621
    • /
    • 2008
  • Most hard disk drives that apply the ramp load/unload technology unload the heads at the outer edge of the disk while the disk is rotating. During the unloading process, slider-disk contacts may occur by lift-off force and rebound of the slider. The main issue of this paper is to prevent the slider-disk contact by changing the state matrix. Because the state matrix is related to the suspension and slider, to change the state matrix means the structural change of the suspension and slider. We investigate influence for variation of the state matrix components and analyze the relation between the state matrix and the suspension/slider.

  • PDF