• Title/Summary/Keyword: 상태값

Search Result 4,720, Processing Time 0.035 seconds

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

  • 박지연;박주호;조기환;이문근
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.04a
    • /
    • 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 (음성 처리 시스템의 서비스 시나리오 생성기)

  • Hwang, Byung-Chul
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2002.11b
    • /
    • pp.1313-1316
    • /
    • 2002
  • 본 논문은 음성 처리 시스템의 서비스 시나리오 생성기에 관한 것으로, 좀더 상세하게는, 음성 처리 시스템의 서비스 시나리오를 생성하기 위한 단위 서비스 상태를 각각 정의하고 수행하는 다수의 상태 정의 모듈과, 시나리오 작성자가 상기 다수의 상태 정의 모듈 중 서비스 시나리오의 작성에 필요한 상태 정의 모듈들을 추출하고 추출된 각 상태 정의 모듈의 입력 값, 비교 값 및 분기할 다음 상태 정의 모듈 명을 지정할 수 있도록 유저 인터페이스 기능을 제공하는 유저 인터페이스 모듈과, 시나리오 작성자에 의하여 추출된 상태 정의 모듈들에 상기 지정된 입력 값, 비교 값 및 분기할 다음 상태 정의 모듈 명을 입력하여 서비스 시나리오를 생성하는 서비스 시나리오 생성 모듈과, 생성된 서비스 시나리오를 제어부가 실행할 수 있는 실행 코드로 변환하여 제어부에 제공하는 실행 코드 변환 모듈로 이루어지는 음성 처리 시스템의 서비스 시나리오 생성기에 관한 것이다.

  • PDF

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

  • Choe, Sun-Taag;Cho, We-Duke
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2016.10a
    • /
    • pp.184-187
    • /
    • 2016
  • 본 연구는 손목 착용형 활동 측정기로부터 수집된 활동 강도 값을 기반으로 사용자의 수면 상태를 파악하는 방법을 제시한다. 수집된 활동 강도 값은 하루 전체에서 1분 단위로 손목의 움직임의 크기에 따라 측정되는 값으로 수면과 활동 시 그 값의 차이를 나타낸다. 본 연구는 활동 강도에 따라 수면 상태를 검출하고 검출된 수면 상태의 지속시간에 기반을 두어 수면 상태를 보정한다. 3명의 사용자로부터 하루씩 수집된 활동 강도 값에서 검출된 수면 시간은 실제 수면 시간에 대비하여 약 99.35%의 정확도를 갖는다.

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

  • Yang, Seung-Eun
    • Journal of Satellite, Information and Communications
    • /
    • v.12 no.3
    • /
    • pp.35-40
    • /
    • 2017
  • Out-of-limit (OOL) alarm method that is threshold checking of telemetry value is widely used for the satellites fault diagnosis and health monitoring. However, it requires engineering knowledge and effort to define delicate threshold value and has limitations that anomalous behaviors within the defined limits can't be detected. In this paper, we propose a satellite anomalous behavior detection system through fuzzy model that is composed by important statistical feature selected by rough-set theory. Not pre-defined anomaly is detected because only normal state data is used for fuzzy model. Also, anomalous behavior within the threshold limit is detected by using statistic feature that can be collected without engineering knowledge. The proposed system successfully detected non-ordinary state for battery temperature telemetry.

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

  • 박중희
    • Journal of the Korean Society of Fisheries and Ocean Technology
    • /
    • v.20 no.2
    • /
    • pp.91-95
    • /
    • 1984
  • This paper describes to analyze regression relation between the ratio mean draft to freeboard and KM/dm, KB/dm and GM/B, respectively with the 43 Korean fishing vessels (7 Danish seiners; 1l Stowers; 14 Poler and liners; 6 Trawlers; 5 Purse seiners) and the 1 Cargo boat in order to obtain the stability factors of the Korean fishing vessels conveniently. The obtained results are as follows; 1. The stability factors by fishing vessels have a tendency to the larger f/dm, the larger KM/dm and KG/dm, and KB/dm and GM/B are constant. 2. It is found out that M and G differ from the kinds of the fishing vessels because KM/dm is the largest in poler and liners and KG/dm in Danish seiner, respectively. 3. It is confirmed that the stability factors of the fishing vessels which the inclining experiment carry out the wholly in the light and the full loaded condition are the same as the inclining experiment uniformly.

  • PDF

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

  • 유성환;전흥우
    • Journal of the Korean Institute of Telematics and Electronics C
    • /
    • v.36C no.11
    • /
    • pp.46-54
    • /
    • 1999
  • The output values of cellular neural networks would have errors because they can be stabilized at local minimums depending on the initial states of each cell. So, in this paper, we design the $6\times6$cellular neural networks with annealing capability which guarantees that the outputs reaches the global minimum to have correct output values independent of the initial states of each cell. This chip is designed using a $0.8\mu\textrm{m}$ CMOS technology The designed chip contains about 15,000 transistors and the chip size is about $2.89\times2.89\textrm{mm}^2$. The simulation results of edge extraction and hole filling using the designed circuit show that the outputs values would have errors in un-annealed case, but not in annealed case. In the simulation, the annealing time of $3\musec$ is employed.

  • PDF

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

  • 한만엽;김상종
    • Journal of the Korea Concrete Institute
    • /
    • v.14 no.6
    • /
    • pp.805-812
    • /
    • 2002
  • The number of old concrete structure which needs to be strengthened has been increased. The repair and strengthening methods have to be determined based on the current status of the structure. Consequently the estimation method for the damage status of the structure has been desperately needed, but no studies have been tried to use the crack and deflection characteristics to estimate the damage status. In this study, the crack characteristics depending on load level were measured and analysed. The crack characteristics observed from 11 samples were compared with damage status, and load level, The crack characteristics examined in this study include crack number, crack length, crack range, crack interval, maximum crack length, crack area, and average crack length. The deflections were normalized based on yield deflection, and the relationship between the relative deflection and the standardized crack characteristics were compared. Among the crack characteristics, crack interval, crack area, crack range, and maximum crack length, have been showed a close relationship to the relative deflection. Therefore, if such crack characteristics are evaluated, the maximum load applied to the structure is believed to be estimated. if additional parameters such as size of specimen, strength of concrete and steel, and steel ratio are studied, the damage status of structure can be estimated more accurately.

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

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

  • PDF

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

  • Kim, Jong-Hun;Lee, Dae-Woo;Cho, Kyeum-Rae;Min, Chan-Oh;Cho, Sung-Jin
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.37 no.4
    • /
    • pp.350-358
    • /
    • 2009
  • This paper describes a result of the guidance and control for re-entry vehicle during TAEM phase. TAEM phase (Terminal Aerial Energy Management phase) has many conditions, such as density, velocity, and so on. Under these conditions, we have optimized trajectory and other states for guidance in TAEM phase. The optimized states consist of 7 variables, down-range, cross range, altitude, velocity, flight path angle, vehicle's azimuth and flight range. We obtained the optimized reference trajectory by DIDO tool, and used feedback linearization with neural network for control re-entry vehicle. By back propagation algorithm, vehicle dynamics is approximated to real one. New command can be decided using the approximated dynamics, delayed command input and plant output, NARMA-L2. The result by this control law shows a good performance of tracking onto the reference trajectory.

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

  • Kim, Baik;Hong, Hyo-Sik;Yoo, Kwang-Kiun
    • Journal of the Korean Society for Railway
    • /
    • v.13 no.4
    • /
    • pp.419-424
    • /
    • 2010
  • Through the process of state estimation in the electric railway substation, this paper presents a new method for improving the reliability of the measurements corrupted by gauge error. Unlike the case of commercial power systems, it has been difficult to perform the state estimation by using the usual methods in the electric railway substation. At some of the monitoring points in the substation, most often, it is hard to define the measurement functions by use of the states or as we set up a new states set with the change of system topology, some of the measurement functions become part of the states themselves, which leads to poor results. To resolve the problems in the existing method caused by the relations between the states and the measurement functions at the monitoring points, the proposed method in this paper exploits the equality constraints. They can be derived numerously and concisely from the current and the voltage attributes of the Scott transformer and the buses connecting conditions, etc. We have proofed the effectiveness of the proposed method by the test on a standard sample substation.