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

검색결과 4,723건 처리시간 0.035초

상태 공간 추상화에 기반한 실시간 시스템의 분석을 위한 상태 감소 (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

음성 처리 시스템의 서비스 시나리오 생성기 (Service Scenario Creator of Voice Processing System)

  • 황병철
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2002년도 추계학술발표논문집 (중)
    • /
    • pp.1313-1316
    • /
    • 2002
  • 본 논문은 음성 처리 시스템의 서비스 시나리오 생성기에 관한 것으로, 좀더 상세하게는, 음성 처리 시스템의 서비스 시나리오를 생성하기 위한 단위 서비스 상태를 각각 정의하고 수행하는 다수의 상태 정의 모듈과, 시나리오 작성자가 상기 다수의 상태 정의 모듈 중 서비스 시나리오의 작성에 필요한 상태 정의 모듈들을 추출하고 추출된 각 상태 정의 모듈의 입력 값, 비교 값 및 분기할 다음 상태 정의 모듈 명을 지정할 수 있도록 유저 인터페이스 기능을 제공하는 유저 인터페이스 모듈과, 시나리오 작성자에 의하여 추출된 상태 정의 모듈들에 상기 지정된 입력 값, 비교 값 및 분기할 다음 상태 정의 모듈 명을 입력하여 서비스 시나리오를 생성하는 서비스 시나리오 생성 모듈과, 생성된 서비스 시나리오를 제어부가 실행할 수 있는 실행 코드로 변환하여 제어부에 제공하는 실행 코드 변환 모듈로 이루어지는 음성 처리 시스템의 서비스 시나리오 생성기에 관한 것이다.

  • PDF

손목 착용형 활동 측정기에서 활동 강도와 지속 시간을 고려한 수면 상태 검출 방법 (Detection Method of Sleep State with Intensity and Duration using Wrist-Worn Activity Tracker)

  • 최선탁;조위덕
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2016년도 추계학술발표대회
    • /
    • pp.184-187
    • /
    • 2016
  • 본 연구는 손목 착용형 활동 측정기로부터 수집된 활동 강도 값을 기반으로 사용자의 수면 상태를 파악하는 방법을 제시한다. 수집된 활동 강도 값은 하루 전체에서 1분 단위로 손목의 움직임의 크기에 따라 측정되는 값으로 수면과 활동 시 그 값의 차이를 나타낸다. 본 연구는 활동 강도에 따라 수면 상태를 검출하고 검출된 수면 상태의 지속시간에 기반을 두어 수면 상태를 보정한다. 3명의 사용자로부터 하루씩 수집된 활동 강도 값에서 검출된 수면 시간은 실제 수면 시간에 대비하여 약 99.35%의 정확도를 갖는다.

러프집합과 퍼지 모델을 이용한 인공위성의 이상 동작 검출 시스템 (Satellite Anomalous Behavior Detection System through Rough-Set and Fuzzy Model)

  • 양승은
    • 한국위성정보통신학회논문지
    • /
    • 제12권3호
    • /
    • pp.35-40
    • /
    • 2017
  • 위성의 상태를 파악하기 위해 기존에는 OOL(Out-Of-Limit) 방식을 많이 사용하여 왔다. OOL은 특정 텔레메트리의 상위, 하위 문턱 값을 지정하여 해당 값을 벗어날 경우 문제가 발생한 것으로 인식 하는 방식이다. 이 방법은 파라미터의 특성을 파악하여 각각의 문턱 값을 정확히 설정해야 하는 전문 지식과 노력이 필요하고 텔레메트리 값이 문턱값 내에서 비정상적으로 변할 경우는 검출할 수 없다는 문제점이 있다. 이러한 문제를 극복하기 위해 본 논문에서는 위성이 정상 상태일 때 텔레메트리의 통계적 특징 중 러프집합을 이용하여 중요한 것을 선택, 적용하여 퍼지 모델을 구축하고 이상 상태를 구분하는 시스템을 제안한다. 정상 상태의 데이터만 이용하여 모델을 구축하기 때문에 출력값을 비교 하여 사전에 정의되지 않은 비정상 상태의 구분이 가능 하며 다양한 통계 값을 이용하기 때문에 전문 지식 필요 없이 문턱값 내에서 비정상적으로 변하는 텔레메트리를 검출할 수 있다. 제안한 시스템의 동작 확인을 위해 실제 저궤도 관측위성의 배터리 온도 텔레메트리를 적용하여 시험을 수행 하였고 비정규적 운영 상태에 대한 검출이 성공적으로 이루어 졌다.

소형 어선의 복원성 요소 KM , KG, KB, GM의 간이유도법 (A Simple Guidance Method for the KM , KG , KB , and GM of Small Fishing Vessels)

  • 박중희
    • 수산해양기술연구
    • /
    • 제20권2호
    • /
    • pp.91-95
    • /
    • 1984
  • 어선에서 선도나 경사시험자료가 없는 선박에서도 임의의 재하상태때 복원성요소 값을 얻을 수 있는 근사식을 구하기 위해 1980년에서 1983년 사이에 우리나라에서 건설된 어선 43척의 만재상태와 공하상태의 경사시험자료를 이용하여 각 선박의 평균흘수(dm)와 건현(f)의 비 값에 대한 KM/dm, KG/dm, KB/dm, GM/B의 값을 회로분석한 결과는 다음과 같다. 1. 어선별 복원성요소값은 어느 선형에서나 f/dm 값이 커질수록 KM/dm 및 KG/dm 값은 커지는 경향을 나타내었으며, KB/dm 및 GM/B의 값은 일정하게 변하였다. 2. KM/dm, KG/dm는 안강망어선, 기선저인망어선이 각각 가장 큰 경향을 나타내어 어업선의 종류에 따라 M과 G의 값이 다르게 됨을 알 수 있었다. 3. 업종별어선의 복원성요소값은 공하상태와 만재상태의 경사시험한 자료만으로서 정선적인 경사시험한 것과 같은 경향을 나타내고 있음을 확인할 수 있었다

  • PDF

어닐링 기능을 갖는 셀룰러 신경망 칩 설계 (Design of CNN Chip with Annealing Capability)

  • 유성환;전흥우
    • 전자공학회논문지C
    • /
    • 제36C권11호
    • /
    • pp.46-54
    • /
    • 1999
  • 셀룰러 신경망 셀의 출력값은 각 셀의 초기 상태값에 따라서 국부적 최소점으로 안정화될 수 있으므로 출력값에 오류를 가져을 수 있다. 이에 본 논문에서는 각 셀의 초기 상태값에 관계없이 출력값이 전역적 최소점 도달하여 정확한 출력이 보장되도록 하는 어닐링 기능을 갖는 6×6 셀룰러 신경망을 설계하였다. 이 칩은 0.8㎛ CMOS 공정으로 설계하였다. 설계된 칩은 약 15,000여개의 트랜지스터로 구성되며 칩 면적은 약 2.89×2.89㎟이다. 설계된 회로를 이용한 윤곽선 추출 및 hole filling에 대한 시뮬레이션 결과에서 어닐링이 되지 않은 경우에서 출력값에 오류를 일으킬 수 있지만 어닐링 기능을 갖는 경우에는 오류가 발생하지 않는 것을 확인하였다. 시뮬레이션에서 어닐링 시간은 3μsec로 하였다.

  • PDF

보강된 보의 균열특성과 손상상태의 상관관계 (Relationship between Crack Characteristics and Damage State of Strengthened Beam)

  • 한만엽;김상종
    • 콘크리트학회논문집
    • /
    • 제14권6호
    • /
    • pp.805-812
    • /
    • 2002
  • 건설된지 오래되어 보강이 필요한 구조물이 증가하고 있다. 이런 구조물들은 현재 상태에 대한 정확한 평가가 있어야만 보강여부 및 보강 방법 등을 결정할 수 있다. 따라서 손상정도를 평가하는 객관적인 방법이 절실히 필요하나, 균열이나 처짐과 같이 관측이 용이한 구조물의 변화 특성을 이용하여 기존 구조물의 손상 상태를 평가하는 연구가 지금까지는 거의 없는 상태이다. 본 연구에서는 하중의 증가에 따른 균열 특성을 측정, 분석하고, 균열 특성 값과 실 구조물의 손상상태, 또는 재하 상태와의 상관관계를 규명하기 위하여, 11개의 실험체를 대상으로 다양한 균열 특성 값을 측정, 도출, 분석하였다. 본 연구에서 검토된 균열 특성 값에는 균열 개수, 균열 길이, 균열 범위, 균열 간격, 최대 균열길이, 균열 면적, 평균 균열길이 등이 검토되었다. 분석결과는 항복 하중시 측정된 처짐 값을 기준으로 각각 하중 단계별 처짐 값을 백분율로 명시한 상대 처짐 값과 표준화된 균열 특성 값의 상관관계를 규명하였다. 이렇게 표준화된 여러 개의 균열 특성 값 중 균열 간격, 균열 면적, 균열 범위, 최대 균열길이 등의 상대 처짐 값과의 상관관계가 밀접한 것으로 나타났다. 따라서, 실 구조물에서도 균열을 측정하여 표준값을 찾아내면, 그 구조물에 작용하는 하중의 크기나 과거에 받았던 최대 하중의 크기를 추정하는데 사용될 수 있을 것으로 기대된다. 구조물의 손상단계를 보다 신뢰성 높게 추정하기 위해서는 실험체의 제원, 콘크리트 및 철근의 강도, 철근비 등의 다양한 변수가 앞으로도 계속 연구되어야 할 것이다.

다중 에이전트 강화 학습을 위한 상태 공간 타일링과 확률적 행동 선택 (State Space Tiling and Probabilistic Action Selection for Multi-Agent Reinforcement Learning)

  • 권기덕;김인철
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (B)
    • /
    • pp.106-108
    • /
    • 2006
  • 강화 학습은 누적 보상 값을 최대화할 수 있는 행동 선택 전략을 학습하는 온라인 학습의 한 형태이다. 효과적인 강화학습을 위해 학습 에이전트가 매 순간 고민해야 하는 문제가 탐험(exploitation)과 탐색(exploration)의 문제이다. 경험과 학습이 충분치 않은 상태의 에이전트는 어느 정도의 보상 값을 보장하는 과거에 경험한 행동을 선택하느냐 아니면 보상 값을 예측할 수 없는 새로운 행동을 시도해봄으로써 학습의 폭을 넓힐 것이냐를 고민하게 된다. 특히 단일 에이전트에 비해 상태공간과 행동공간이 더욱 커지는 다중 에이전트 시스템의 경우, 효과적인 강화학습을 위해서는 상태 공간 축소방법과 더불어 탐색의 기회가 많은 행동 선택 전략이 마련되어야 한다. 본 논문에서는 로봇축구 Keepaway를 위한 효율적인 다중 에이전트 강화학습 방법을 설명한다. 이 방법의 특징은 상태 공간 축소를 위해 함수근사방법의 하나인 타일 코딩을 적용하였고, 다양한 행동 선택을 위해 룰렛 휠 선택 전략을 적용한 것이다. 본 논문에서는 이 방법의 효과를 입증하기 위한 실험결과를 소개한다.

  • PDF

재진입 비행체의 TAEM 구간 최적궤적 설계와 인공신경망을 이용한 제어 (Trajectory Optimization and the Control of a Re-entry Vehicle during TAEM Phase using Artificial Neural Network)

  • 김종훈;이대우;조겸래;민찬오;조성진
    • 한국항공우주학회지
    • /
    • 제37권4호
    • /
    • pp.350-358
    • /
    • 2009
  • 본 논문은 재진입 비행체의 TAEM 구간 유도와 제어에 관하여 기술 하였다. TAEM 구간은 공기의 밀도와 비행체의 속도의 범위가 큰 특징을 가지고 있으며, 이들 조건하에 TAEM 구간의 유도를 위한 궤적과 비행체의 상태값을 최적화하였다. 최적화된 상태값은 7가지의 상태이며, 상태값은 Down-range, Cross-range, 비행체의 고도, 속도, 경로각, 방위각, 그리고 비행 거리이다. 최적화 연산을 수행하기 위하여 DIDO 프로그램을 사용하였다. 재진입 비행체의 제어를 위하여 인공 신경망을 이용한 되먹임 선형화 제어법을 사용하였다. 비행체의 동역학 모델은 역전파 모델을 통하여 근사화 되고, 근사화된 동역학 모델과 지연된 제어 입력, 플랜트 출력으로부터 새로운 제어 입력을 생성하게 된다. 이를 이용하여 본 논문에서는 앞서 최적화된 7가지의 상태값을 추종하는 결과를 보였다.

등식제약조건을 이용한 전철변전소 상태추정 (State Estimation of Electric Railway Substation using Equality Constraints)

  • 김백;홍효식;유광균
    • 한국철도학회논문집
    • /
    • 제13권4호
    • /
    • pp.419-424
    • /
    • 2010
  • 본 논문은 전철변전소를 대상으로 상태추정을 통하여 계측기 오차 등에 의해 손상된 측정값의 신뢰도를 높이는 새로운 방법에 대하여 기술하였다. 일반적인 전력계통의 상태추정과는 달리 전철변전소에서는 종종 관제점에서 측정값의 함수를 계통 상태변수로 정의하기가 곤란한 경우가 있으며, 계통의 토폴로지 변경에 따라 상태변수를 재설정하는 경우에 측정값 함수의 일부가 상태변수 그 자체를 나타내게 되어 상태추정이 곤란하였다. 본 논문에서 제시하는 방법은 기존의 방법에서 문제가 되는 관제점의 측정값 함수와 상태변수와의 관계를 등식제약조건을 이용하여 해결하는 것으로서, 이들 제약조건은 스코트 변압기의 전압 및 전류 특성과 모선 연결조건 등으로부터 간결하면서도 다양하게 유도될 수 있다. 제시된 방법은 표준 샘플변전소를 대상으로 하여 그 유효성을 입증하였다.