• 제목/요약/키워드: State Space Analysis

검색결과 970건 처리시간 0.027초

언폴딩에 기반한 유한페트리넷의 실용적 도달가능성 분석 (Pragmatic Reachability Analysis of Bounded Petri Nets based on Unfoldings)

  • 김의석;이정근;이동익
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제27권6호
    • /
    • pp.599-607
    • /
    • 2000
  • 본 논문에서는 유한페트리넷의 도달가능성에 대한 효율적인 분석방법을 제안한다. 일반적으로 도달가능성 분석은 유한페트리넷의 동적 성질에 관한 연구에 있어서 가장 근본이 되는 분석중의 하나이다. 그러나 일반적인 유한페트리넷의 경우, 도달가능성 분석은 분석시간과 요구되는 메모리 양의 측면에서 지수승의 복잡도를 요구하게 되며 많은 경우 상태공간폭발 문제를 야기할 수 있다. 이에 본 논문에서는 유한페트리넷의 분석을 위한 중간모델인 언폴딩(unfolding)상에서 장소(place)간의 구조관계 분석을 통하여 시간 및 메모리의 측면에서 효율적으로 도달가능성 분석을 수행하는 방법을 제안한다. 제안된 방법은 구조적 제약 없이 모든 종류의 유한페트리넷에 적용 가능하다.

  • PDF

마운트 시스템을 갖는 유연 로터-베어링 시스템의 기초전달 충격 과도응답 해석을 위한 유한요소 모델링 (FE Modeling for the Transient Response Analysis of a Flexible Rotor-bearing System with Mount System to Base Shock Excitation)

  • 이안성;김병옥
    • 한국소음진동공학회논문집
    • /
    • 제17권12호
    • /
    • pp.1208-1216
    • /
    • 2007
  • Turbomachinery such as turbines, pumps and compressors, which are installed in transportation systems, including aircrafts, ships, and space vehicles, etc., often perform crucial missions and are exposed to potential dangerous impact environments such as base-transferred shock forces. To protect turbomachinery from excessive shock forces, it may be needed to accurately analyze transient responses of their rotors, considering the dynamics of mount designs to be applied. In this study a generalized FE transient response analysis model, introducing relative displacements, is proposed to accurately predict transient responses of a flexible rotor-bearing system with mount systems to base-transferred shock forces. In the transient analyses the state-space Newmark method of a direct time integration scheme is utilized, which is based on the average velocity concept. Results show that for the identical mount systems considered, the proposed FE-based detailed flexible rotor model yields more reduced transient vibration responses to the same shocks than a conventional simple model, obtained by treating a rotor as concentrated lumped mass, equivalent spring and a damper or Jeffcott rotor model. Hence, in order to design a rotor-bearing system with a more compact light-weighted mount system, preparing against any potential excessive shock, the proposed FE transient response analysis model herein is recommended.

New decoupled wavelet bases for multiresolution structural analysis

  • Wang, Youming;Chen, Xuefeng;He, Yumin;He, Zhengjia
    • Structural Engineering and Mechanics
    • /
    • 제35권2호
    • /
    • pp.175-190
    • /
    • 2010
  • One of the intractable problems in multiresolution structural analysis is the decoupling computation between scales, which can be realized by the operator-orthogonal wavelets based on the lifting scheme. The multiresolution finite element space is described and the formulation of multiresolution finite element models for structural problems is discussed. Various operator-orthogonal wavelets are constructed by the lifting scheme according to the operators of multiresolution finite element models. A dynamic multiresolution algorithm using operator-orthogonal wavelets is proposed to solve structural problems. Numerical examples demonstrate that the lifting scheme is a flexible and efficient tool to construct operator-orthogonal wavelets for multiresolution structural analysis with high convergence rate.

지식상태 분석법을 통한 예비 물리교사들의 학년별 물리개념 위계도 분석 (A Look at the Physics Concept Hierarchy of Pre-service Physics Teacher Through the Knowledge State Analysis Method)

  • 박상태;변두원;이희복;김준태;육근철
    • 한국과학교육학회지
    • /
    • 제25권7호
    • /
    • pp.746-753
    • /
    • 2005
  • 평가는 학생들이 배워야 하는 가장 중요한 것들을 반영해야 한다. 지금까지 학교교육에서의 대부분의 평가는 학력의 측정에 목적을 두고 실시하였으며 설령 진단평가와 형성평가를 실시하였더라도 그 평가결과를 유용하게 활용하는 경우는 드물었다. 이러한 원인은 평가결과로부터 개인별 정보를 얻을 수 있는 도구가 없었기 때문이다. 본 연구에서는 그동안의 평가결과로부터 얻을 수 없었던 집단별, 개인별 정보를 끄집어 낼 수 있는 평가도구를 소개하고 있다. 본 연구에서는 학생들의 평가결과를 지식공간론을 활용하여 분석하고, 이것으로부터 개인의 향후 학습지도를 위한 이정표를 제시하였다. 지식공간론은 수학이나 과학과 같이 비교적 위계관계가 강한 학문에 매우 유용하게 이용될 수 있으며, 평가를 통해 학생들이 구성하는 지식구조를 지식의 위계라는 관점에서 정확히 분석함으로써 효과적인 물리교육을 도모할 수 있다. 특히, 처리 과정을 컴퓨터시스템을 이용하여 정확하고 빠르게 처리할 수 있음은 물론 객관적 타당도를 높이고 많은 양의 자료를 효율적으로 처리할 수 있다. 더 나아가서 개개인에 대해 실질적으로 도움을 줄 수 있는 피드백을 제시하여 학생들의 이해를 증진시킬 수 있다. 본 연구에서는 물리 성취도 평가 문항에 대하여 지식공간론을 적용하여 예비 물리교사들의 학년별 평가결과를 분석하고, 그 결과를 토대로 향후 물리교육을 위한 효율적인 교육과정 개발에 기초자료로 활용하고자 한다.

제한된 크기의 버퍼를 가진 생산 시스템의 분석 (Analysis of Transfer Lines with Finite Storage Buffers)

  • 허성관;하정진
    • 산업경영시스템학회지
    • /
    • 제15권26호
    • /
    • pp.151-157
    • /
    • 1992
  • This paper presents a method for analyzing the transfer lines with finite storage buffers. Each machine spends a random amount of time processing each material. This transfer line can be modeled by the tandem queueing system with finite buffers. The great dimensionality of the state space renders the analysis of such system a formidable task. We propose an efficient algorithm to obtain the marginal state probabilities based on the exact algorithm for the two-machine system. Other performance measures, such as the utilization, the blocking probability, the average sojourn time, and the average queue length, can be easily calculated.

  • PDF

An Analysis Method for Dynamical System

  • Niu, Yu;d'Auriol, Brian J.;Lee, Youngkoo;Lee, Sungyoung
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2009년도 추계학술발표대회
    • /
    • pp.583-584
    • /
    • 2009
  • This paper provides a method to analyze the dynamical system. It considers the fact of realistic delay in dynamical system analysis for the first time. The method uses timeline and state space to emulate the inhibitive coupling nodes evolving procedure in transmission delayed environment. The resultant finite state machine shows the system predictability and hardware implementation feasibility.

A correlation analysis about properties of quiescence magnetar

  • Seo, Jiwoo;Lee, Jaewon;An, Hongjun
    • 천문학회보
    • /
    • 제46권2호
    • /
    • pp.52.2-52.2
    • /
    • 2021
  • 우리는 quiescent state magnetar의 물리적 특성을 연구하기 위해 복사특성이 잘 알려진 24개의 대상을 선정하였고 가장 어두운 시기(quiescent state)의 Chandra와 XMM-Newton의 X-ray 관측 데이터를 분석하여 복사특성과 시간 특성을 측정하였다. 이 측정을 이용하여 복사특성과 시간 특성 사이의 여러 경우에 대해 상관관계를 분석하였다. 그 결과 기존에 높은 상관관계를 갖는 것으로 알려진 표면 자기장(Bs)과 흑체복사 광도(LBB), Bs와 X-ray photon index (ΓX) 관계를 더 많은 magnetar에 대하여 재확인하였으며, spin-down rate (Ṗ)와 LBB, characteristic age (𝜏c)와 LBB의 새로운 유의미한 관계를 찾았다. 또한 magnetar의 pulsed fraction (PF)과 흑체복사 반경(RBB), PF와 ΓX, 그리고 Ṗ과 ΓX가 서로 상관되어 있다는 단서를 확인하였다.

  • PDF

자동회전의 성능해석(1) : 해석 기법과 공력 테이블의 영향 (Performance Analysis of Autorotation(1) : Analysis Method and the Effect of Aerodynamic table)

  • 김학윤
    • 한국항공우주학회지
    • /
    • 제40권1호
    • /
    • pp.1-11
    • /
    • 2012
  • 자동회전하는 로터의 성능 해석이 수행되었다. 과도모사법에 의해 주어진 속도와 샤프트각, 그리고 콜렉티브 피치 조건에서 정상 자동회전 상태를 판정한 후 정상 자동회전에 대한 추력계수와 양, 항력계수를 계산하는 방법을 연구하였다. BET 기반으로 적분된 순간추력으로부터 평균추력을 구하는 방법을 고찰하였다. 해석 기법을 풍동 실험된 로터에 적용하여 모델 로터를 해석한 후 실험 결과와 비교하였다. 해석에는 레이놀즈수 및 레이놀즈수-마하수의 함수로 Navier-Stokes 해석된 두 종류의 2차원 에어포일 공력 데이터를 사용하였고, 그 차이는 정량적으로 비교 분석되었다.

경남지역 중·고등학교의 외부공간 구성 실태에 관한 연구 (A Study on the Actual Conditions of External Space of Middle and High Schools in Gyeongnam Area)

  • 양금석
    • 한국농촌건축학회논문집
    • /
    • 제9권2호
    • /
    • pp.29-40
    • /
    • 2007
  • The purpose of this study is to clarify the actual conditions of external space of middle and high schools in Gyeongnam Area. This article discuses about the characteristics of the external space and the site plan type of 49 middle and high schools in Gyeongnam Area. The result of analysis about site plan type, composition state of external space and area ratio of its composition of each middle and high school facilities are as follows: In facilities arrangement of middle and high schools, it shows diverse forms of arrangement from existing uniform straight type, however, most of schools do not being against the simple in their external space. Especially, for the area is small in the composition of external space, a playground is only under $50m{\times}80m$ and outdoor learning space or resting space is not secured sufficiently. Therefore, it requires an expansion of space size and facilities for the change of school life outside class.

  • PDF

점성감쇠기가 설치된 건물의 내풍해석 (Wind-induced Vibration of Building Structures with Viscoelastic Dampers)

  • 주석준;민경원;홍성목
    • 한국전산구조공학회:학술대회논문집
    • /
    • 한국전산구조공학회 1995년도 봄 학술발표회 논문집
    • /
    • pp.130-135
    • /
    • 1995
  • Wind-induced vibration of buildings with viscoelastic dampers are studied analytically. The added viscoelastic dampers change the damping distribution and reduce the response of buildings. The distribution of damping resistance that results from these viscoelastic dampers is known as non-classical or non-proportional. Non-classically damped structures are analyzed by state-space approach. However, this approach is complex and time-consumming compared to classical approach. This paper is aimed at the analysis of wind-induced Vibration Of buildings With Viscoelastic dampers. The Process Of State-Space approach is studied and the approximate analysis is suggested to overcome the complex and time-consuming access. For numerical certification, PSDF(Power Spectral Density Function) is obtained. Autocorrelation function is obtained in time domain and PSDF is obtained by fourier transformation of this function in frequency domain. It is found that Approximate method can give close approximation to exact solution.

  • PDF