• 제목/요약/키워드: 상태

검색결과 47,710건 처리시간 0.08초

상태 공간 추상화에 기반한 실시간 시스템의 분석을 위한 상태 감소 (State Minimization for Analysis of Real-Time Systems Based on State Space Abstraction)

  • 박지연;박주호;조기환;이문근
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
    • /
    • pp.571-573
    • /
    • 2001
  • 본 논문에서는 실시간 상태 기계(Real-time State Machine, RSM)로 명제된 실시간 시스템의 행위의 쉽고 간결한 이해, 분석을 위한 새로운 상태 최소화 방법을 기술한다. 시스템의 행위를 보여주는 RSM 실행에 대한 상태는 제어 변수, 자료 변수, 시간 변소의 집합에 의해 정의된다. 상태 최소화는 4단계 추상화인 계산(computation), 제너릭(generic) 패턴, 한계 간격(limit interval), 동일 범위(coordinate scope) 추상화를 통해 이루어진다. 계산 추상화 단계에서는 연속적인 계산으로 연결된 다수의 상태를 하나의 상태로, 일반 패턴 추상화 단계에서는 상수 또는 함수 관계에 있는 동일 제어의 연속된 일련의 상태들의 집합을 하나의 제너릭 패턴으로 통합한다. 한계 간격 추상화 단계에서는 특정 값으로부터 음의 무한대나 양의 무한대 값으로 단조 증가, 단조 감소하는 값 사이에 있는 상태들을 하나의 상태로 통합한다. 마지막으로, 동일 범위 추상화 단계에서는 같은 범위에 존재하는 일련의 상태들을 하나의 상태로 통합한다. 각 추상화의 적용은 제어, 데이터, 시간의 무한한 상태 공간을 유한한 상태공간으로 감소시킬 수 있으며 많은 상태 감소를 가능하게 한다. 따라서, 시스템 행위에 대한 이해와 분석이 복잡도가 적은 개념 단계에서 수행될 수 있다.

  • PDF

병행 기계를 미용한 상태도의 동치 건사 (Equivalence Checking of Statecharts using Concurrent Machines)

  • 엄태호;권기현
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
    • /
    • pp.427-429
    • /
    • 2002
  • 본 연구에서는 상태도를 평탄화 하는 대신에, 띠러 기계가 동시에 수행하는 병행 기계로 상태도를 표현한 후 ROBDD를 이 용하여 상태도의 동치 여 부를 기호적으로 검사하고자 한다. 상태도가 기능적으로 동치라는 것은, 두 상태도는 같은 함수를 구현하고 있다는 것과 같다. 이 것은 로든 입력 이벤트에 대하여 두 상태도의 반응이 항상동일 한지를 판정함으로써 가능하다. 즉 상태도의 동치 검사는, 입력 이벤트가 같은 상태들의 집합이 모든 입력 에 대 해서 출력 이 같은 상태들인가라는 문제로 축소된다.

  • PDF

Markov 확률 모델을 이용한 저전력 상태 할당 알고리즘 (FSM state assignment for low power dissipation based on Markov chain model)

  • 김종수
    • 대한전자공학회논문지SD
    • /
    • 제38권2호
    • /
    • pp.51-51
    • /
    • 2001
  • 본 논문은 디지털 순서회로 설계시 상태할당 알고리즘 개발에 관한 연구로, 동적 소비전력을 감소시키기 위하여 상태변수의 변화를 최소로 하는 코드를 할당하여 상태코드가 변화하는 스위칭횟수를 줄이도록 하였다. 상태를 할당하는데는 Markov의 확률함수를 이용하여 hamming거리가 최소가 되도록 상태 천이도에서 각 상태를 연결하는 edge에 weight를 정의한 다음, 가중치를 이용하여 각 상태들간의 연결성을 고려하여 인접한 상태들간에는 가능한 적은 비트 천이를 가지도륵 모든 상태를 반복적으로 찾아 계산하였다. 비트 천이의 정도를 나타내기 위하여 cost 함수로 계산한 결과 순서회로의 종류에 따라 Lakshmikant의 알고리즘보다 최고 57.42%를 감소시킬 수 있었다.

양자 공동에서 측정을 이용한 원자 얽힘 상태 구현 (Quasi-deterministic generation of entangled atoms in a cavity)

  • 홍종철;이해웅
    • 한국광학회:학술대회논문집
    • /
    • 한국광학회 2003년도 하계학술발표회
    • /
    • pp.40-41
    • /
    • 2003
  • 둘 이상의 부분으로 나누어질 수 있는 계의 전체상태함수를 각각의 부분 계의 상태함수의 텐서 곱으로 나타낼 수 없는 경우 이 계의 상태를 양자 얽힘 상태라고 한다. 이러한 양자 얽힘 상태는 양자 원격 전송이나 양자 암호 등의 양자정보 이론에서 핵심적인 부분을 차지한다. 지금까지 가장 성공적인 얽힘 상태 구현 방법은 매개 하향 변환을 이용한 광자의 편광 상태의 얽힘을 구현하는 것이다. 광자가 아닌 다른 양자 계에서 얽힘 상태를 구현하자는 논의 역시 계속 있어 왔으며, 그 중에서 공동 QED를 이용한 얽힘 상태의 구현에 관한 연구는 최근에 발전된 공동 QED 부분의 기술로 인해 가장 활발한 분야이다. (중략)

  • PDF

계통운영상태의 정의 및 구분 방법론 제안 (The Definition and Classification Methodology of Operating State)

  • 송성환;정승완;윤용태;문승일;이상호;문영환;정응수;송석하
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2004년도 추계학술대회 논문집 전력기술부문
    • /
    • pp.125-127
    • /
    • 2004
  • 본 논문은 계통운영상황에 따른 대응책을 통하여 계통운영상태(state)를 구분하는 방법론을 제안한다. 일반적으로, 계통운영상태는 정상상태와 비상상태로 구분되지만, 본 연구에서는 이를 정상상태, 주의상태, 경보상태, 비상상태, 회복상태 등의 5가지로 구분하여 정의하고자 한다. 그리고 계통운영상태를 실정단계와 적용단계로 구분하여, 실정단계에서는 각 계통운영상태에 대한 대응책의 비용을 반영하여 계통운영상태를 설정하며 적용단계에서는 계통운영한계 및 각 대응책의 시행시간과 계통운영한계 초과시간 등을 고려하여 계통운영상태를 적용한다. 특히, 본 연구에서는 계통운영상태를 고려한 계통운영절차를 flowchart로 제시한다. 이러한 계통운영 상태는 계통운영자에게 계통운영에 대한 객관적 판단의 근거를 제시해 줄 것이다.

  • PDF

DUV lithography 위상 변위 마스크용 Zr, Hf Oxide의 전자상태 및 천이 상태 연구 (The electronic states and transition state of Zr and Hf oxide as a phase shift maske for DUV lithography)

  • 김성관;김양수;노광수;허성민;최성운;송정민
    • 한국재료학회:학술대회논문집
    • /
    • 한국재료학회 2003년도 추계학술발표강연 및 논문개요집
    • /
    • pp.215-215
    • /
    • 2003
  • 현재 이용되고 있는 위상 변위 마스크, 즉 Cr 계열의 마스크나 MoSiON 마스크는 DUV지역에서 낮은 굴절률을 갖는다. 그 겯과 마스크의 두께가 90 nm 이상이 되고, 웨이퍼에서 패턴 형성 시 에러율이 증가하게 된다. 본 연구에서는 DUV 지역에서 굴절률이 높을 것이라고 예상되는 Zr과 Hf의 oxide를 위상 변위 마스크 물질의 선정하고 각 물질의 전자 상태와 천이 상태를 분석하여 위상변위 마스크로써의 이용가능성을 연구하자 한다. 상온에서 Zr, Hf oxide의 안정한 구조는 cubic 구조와 monoclinic 구조이다. 현재 cubic 구조의 Zr, Hf oxide에 대한 전자 상태는 연구가 많이 되어 있는 반면 monoclinic 구조에서의 전자상태 연구는 미흡하다. 본 연구에서는 monoclinic 구조를 이용하여 Zr, Hf oxide의 클러스터 모델을 제작하였다. 제작된 클러스터 모델에 대하여 DV-X$\alpha$ 계산법을 적용, 기저상태의 전자상태를 계산하였다. 그리고 각 모델에서 Zr L-edge, Hf L-edge 그리고 O K-edge의 천이상태를 연구하여, 기저 상태의 전자상태와 천이상태를 연구하여 광학 성질과의 연관성을 연구하고자 하였다.

  • PDF

Si-Si$O_2$ 계면에서 수소원자와 결함상태의 상호작용

  • 조훈영
    • 한국진공학회:학술대회논문집
    • /
    • 한국진공학회 1997년도 제12회 학술발표회 논문개요집
    • /
    • pp.68-68
    • /
    • 1997
  • pp-typpe Si(100) Metal-Oxide-Semiconductor(MOS) 구조에서 산화막과 실리콘 사이의 계면상태 및 결함상태를 Isothermal Cappacitance Transient Sppectroscoppy (ICTS)방법을 이용하여 조사하였다. 특히 pplasma를 이용한 수소화이후 이 구조의 계면상태와 결함상태의 변화를 연구하였다. 상온에서 수소화한 MOS 구조의 경우 결함 상태의 농도가 급속히 감소함을 알 수 있었다. 이 구조에서 나타나는 모든 결함상태의 농도가 급격하게 감소하는 반면에, 수소화에 의한 새로운 깊은준이 결함상태도 관측되었다. 이 깊은 준위 결함 상태는 가전자대 위로부터 0.38eV 위치에 존재하였으며, 열적으로 안정된 결함상태로서, 해리에너지가 2.15$\pm$0.05 eV 이었다. 수소화이후 나타난 이 결함상태는 수소 플라즈마에 의해 구속된 Si원자가 수소원자와 결합하여 outdiffusion함으로 나타난 결함상태로 생각된다.

  • PDF

저차원제어기로부터 상태변수를 재구성하는 방법 (Reconstruction of the state variables from the low order controller)

  • 정광영
    • 제어로봇시스템학회논문지
    • /
    • 제4권1호
    • /
    • pp.19-25
    • /
    • 1998
  • 발란싱 축소모델의 상태변수는 플랜트의 상태변수에 대한 정보를 주지 못한다. 발란싱 축소모델을 좌표 변환하여 얻은 상태유지 축소모델은 그 축소오차가 발란싱 축소모델의 축소오차와 같음을 증명하였다. 상태축소오차를 정의하였고, 이 오차를 구하는 방법을 제시하였는데, 이 오차는 축소모델의 차수가 정해지면 불변임을 증명하였다. 상태유지 축소모델의 상태변수는 그 상태축소오차가 작은 경우 원 시스템의 상태변수를 근사하는 장점이 있다. 상태유지 축소모델을 저차원제어기 설계에 적용하여 저차원 상태변수가 플랜트의 상태변수를 근사하는 예를 보여주었다.

  • PDF

건강상태 인식유형에 따른 건강행동과의 관련 (Relationship Between Health Behaviors of Health Status types : Using 2008 KNHANES)

  • 안혜란;이무식;나백주;이진용;홍지영;최영현
    • 한국산학기술학회:학술대회논문집
    • /
    • 한국산학기술학회 2011년도 춘계학술논문집 2부
    • /
    • pp.736-739
    • /
    • 2011
  • 이 연구는 스스로 건강상태를 올바르게 인식하고 있는지 알아보고 건강상태 인식 유형에 따른 건강행동과의 관계를 살펴봄으로 건강수준의 향상과 더불어 건강한 노후를 맞이할 수 있도록 하고자 하였다. 2008년 1월부터 12월까지 실시된 국민건강영양조사 제4기 2차년도(2008) 자료원을 사용하였으며, 200개 조사구 약 4600가구의 만1세 이상 9,744명중 만19세 미만을 제외하고 건강설문 및 검진조사에 참여한 4,688 명을 최종대상자로 분석하였다. 자료는 SPSS 18.0을 이용하여 성별에 따른 인구사회학적 특성, 건강상태 인식 유형별 분포, 주관적 건강상태에 따른 객관적 건강상태와 일반적특성 및 건강행동을 교차분석관적 시에 카이제곱검정을 하였으며, 단변량 분석에서 의미 있는 변수들을 독립변수로 하고 올바른 인식군과 그릇된 인식군으로 나눈 건강상태인식유형을 종속변수로 하여 로지스틱회귀분석을 실시하였다. 이 연구의 주요 결과를 요약하면 다음과 같다. 주관적 건강상태에 따라 실제 객관적인 건강상태를 살펴본 결과, 건강상태를 과대평가하는 사람의 비율이 가장 높았으며, 건강상태를 올바르게 인식하는 사람보다 그릇되게 인식하는 사람이 더 많았다. 2. 주관적 건강상태를 좋음으로 인식하는 군에서 객관적 건강상태는 여자보다 남자가 건강을 과대평가하였고, 연령이 증가할수록, 읍/면지역에서, 결혼상태는 별거 사별 이혼상태에서, 교육수준은 낮아질수록 건강을 그릇되게 인식하여 과대평가하였다. 3. 주관적 건강상태를 나쁨으로 인식하는 군에서 객관적 건강상태는 연령이 낮아질수록 건강을 과소평가하는 경향이었고, 읍/면지역보다 동지역에서, 미혼일 경우, 교육수준은 높아질수록 건강상태를 그릇되게 인식하여 과소평가하였다. 4. 건강상태 인식 유형별로 건강행동을 살펴본 결과 주관적 건강상태를 좋음으로 인식하는 군에서는 체중조절, 월간음주, 우울증상경험, 건강검진에서 유의한 결과를 나타냈고, 주관적 건강상태를 나쁨으로 인식하는 군에서는 현재흡연과 월간음주에서 유의한 결과를 나타내었다. 5. 주관적 건강상태를 좋음으로 인식한 군에서 객관적 건강상태를 종속변수로한 로지스틱회귀분석결과를 살펴보면, 건강을 과대평가하는 그릇된 인식군으로 될 위험도가 남자보다 여자에서 감소하였고, 70대에 비하여 연령이 낮아질수록 위험도가 감소하였으며, 미혼에 비하여 기혼, 별거 사별 이혼에서 위험도가 증가하였고, 체중조절을 하는 사람이 체중조절을 하지 않은 사람보다 위험도가 높았다. 6. 주관적 건강상태를 나쁨으로 인식한 군에서 객관적 건강상태를 종속변수로한 로지스틱 회귀분석결과를 살펴보면, 연령을 제외한 모든 변수에서 통계적으로 유의하지 않았다.

  • PDF

노인요양시설 노인들의 건강상태, 일상생활능력, 수면상태와 우울의 관련성 (Relationship Among the Health State, Daily Living Activities (ADL, IADL), Sleep State, and Depression Among Old People at Elderly Care Facilities)

  • 김명숙;김종임
    • 한국산학기술학회논문지
    • /
    • 제16권4호
    • /
    • pp.2609-2619
    • /
    • 2015
  • 본 연구는 노인요양시설 노인들의 우울과 건강상태, 일상생활수행능력, 수면상태의 관련성을 파악하고자 실시하였다. 연구대상자는 노인요양시설에서 거주하는 만 65세 이상의 노인을 대상으로 하였다. 노인요양시설 노인들의 우울 관련성은 시력상태, 치아상태, 수면의 질, 수면상태 등과 관련이 있었으며, 시력상태가 나쁜 군, 치아상태가 나쁜 군, 수면의 질이 나쁜 군, 수면장애가 있는 군에서 높게 나타났다. 우울과의 상관관계에서는 우울과 연령과는 음의 상관관계로 나타났고, 치아상태, 수면의 질 등이 양의 상관관계가 있는 것으로 나타났다. 노인요양시설 노인들의 우울에 영향을 미치는 요인으로 시력상태, 치아상태, 수면상태, 청력상태 등이 관련성이 높게 나타났다. 결론적으로, 노인요양시설 노인들의 우울과의 관련성은 개인이 인지하는 건강상태와 관련이 높으며, 건강관리와 간호중재도 개인별 건강상태에 세심한 관심과 시력상태, 치아상태가 낮은 노인관리가 중요하다고 하겠다.