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

검색결과 2,654건 처리시간 0.028초

가속도 집합이론과 매니퓰레이터 설계에의 응용

  • 김용일
    • 기계저널
    • /
    • 제31권1호
    • /
    • pp.51-59
    • /
    • 1991
  • 본 글에서는 일반적인 공간 매니퓰레이터에 관한 가속도 이론을 서술하였다. 즉, 주어진 매 니퓰레이터에 대하여 액튜에이텨 토크집합 T에 대한 치역 $S_t$와 관절변수변화율집합 F에 대한 지역 $S_q$를 정의하였다. 또한 상태공간에서의 한 점 u에서의 상태가속도 집합 $S_u$를 정의하였다. 치역 $S_t$를 결정하고 그 성질인 최대가속도와 동방가속도를 결정하였다. 아울러, 가속도이론의 하나의 적용례로서 정해진 동방기동가속도를 얻을 수 있는 최소한의 액튜에이터 토크의 크기를 결정하는 방법을 도시하였다. 본 결과의 다양한 응용예는 기존연구를 참조하기 바란다.

  • PDF

SPIN 과 SMV가 생성하는 반례의 특성 비교 (Comparison of Counter-Examples Generated by Model Checkers SPIN and SMV)

  • 채여경;강혜수;권령구;권기현
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2012년도 추계학술발표대회
    • /
    • pp.1578-1580
    • /
    • 2012
  • 모델 검증은 시스템이 만족해야 하는 속성을 자동으로 검사하는 정형 검증 기법으로써, 많은 도메인에서 활용되고 있다. 특히 모델 검증 도구들에 따라 상태 공간 탐색 방식이 다르고, 상태 공간 탐색 방식에 따라서 생성되는 반례도 달라진다. 본 논문에서는 모델 검증의 대표적인 도구인 SPIN과 SMV에서 생성하는 반례를 상호 비교한다.

청소년의 SNS중독과 현실공간 및 가상공간에서의 자아정체감의 관계 (Association Between the Addiction of SNS and Ego-Identity of Youth's in Both Reality and Cyber Space)

  • 신혜선;윤석희
    • 디지털융복합연구
    • /
    • 제15권8호
    • /
    • pp.225-234
    • /
    • 2017
  • 본 연구는 남녀 청소년을 대상으로 SNS중독상태, 현실공간 및 가상공간의 자아정체감의 상태를 확인하고, SNS중독여부와 현실공간 및 가상공간에서의 자아정체감 사이의 관계를 규명하고자 시행되었다. 연구대상자 중 남성이 여성보다 SNS사용 시간이 더 많았고, SNS친구 수가 많을수록 SNS 사용을 더 많이 하는 것으로 나타났다. 현실과 가상공간에서의 자아정체감 하위 영역 상관관계에서는 대부분의 영역에서 정의 상관관계를 보였으며, 현실공간 자아정체감과 SNS중독의 각 하위 영역과도 모든 영역에서 정의 상관관계를 보였다. 그러나 SNS중독과 가상공간 자아정체감의 영역에서는 주도성을 제외한 나머지 영역에서 음의 상관관계를 나타내었다. 이를 통하여 SNS중독 대상자들에 대한 교육과 관리가 필요하며, 현실공간 및 자아정체감의 각 하위영역별로 대상자들을 중재할 수 있는 프로그램이 개발되어야 할 것이다.

전력설비용 Polyethylene Film의 열자극 표면 전위법에 의한 공간전하에 측정에 관한 연구 (The Study on the Measurement of Space Charge of Polyethylene Film for use in Power Equipment by TSSP Method.)

  • 국상훈;이경섭
    • 한국조명전기설비학회지:조명전기설비
    • /
    • 제4권4호
    • /
    • pp.68-78
    • /
    • 1990
  • 절연파괴의 원인이 되는 절연체중의 공간전하의 여러 특성을 정량적으로 측정하였다. 전극에서의 주입전하가 트랩되어 주로 공간전하를 형성하는 것을 확인하였다. TSSP측정법으로 컬렉팅 전위를 결정하고 바이어스의 시간, 전압, 온도에 따른 공간전하 변화량을 측정하여 공간적 분포의 깊이를 조사하였다. 그리고 정상상태에 있어서 모델과 해석과 시험 결과가 비교적 잘 일치함을 발견하였다.

  • PDF

쉴드 TBM 터널의 구조물 성능 평가 기준 개발 (Development of performance assessment criterion for structures of shield TBM tunnel)

  • 성주현;이유석;홍은수;변요셉
    • 한국터널지하공간학회 논문집
    • /
    • 제17권5호
    • /
    • pp.553-561
    • /
    • 2015
  • 본 연구에서는 국내에 활발히 적용되기 시작한 쉴드 TBM 터널의 합리적인 유지관리를 위한 성능평가 기준을 제시하였다. 이를 위해 국내 외 성능평가 기준을 분석하였고, 국내 시공된 쉴드 TBM 터널에 대한 현장조사 및 정밀안전진단 보고서 분석을 통한 변상사례를 조사하여 성능평가 항목을 균열, 누수, 파손, 박리, 층분리 및 박락, 백태, 품질상태, 철근노출, 탄산화, 단차, 볼트상태, 배수상태, 지반상태, 접속부상태, 공동구 상태로 선정하였다. 또한 다중의사결정기법인 AHP 기법을 활용하여 선정된 성능평가에 대한 합리적인 가중치를 산정하였다.

공간연산의 복잡도를 이용한 공간제약조건 최적화 (Optimization of Spatial Constraints Using Complexity of Spatial Operation)

  • 임정옥;조숙경;김경배;이영걸;배해영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
    • /
    • pp.102-104
    • /
    • 1998
  • 공간 질의 제약조건 검증을 위해서는 다양한 공간객체와 이에 대응하는 복잡한 공간 연산자를 고려한 최적화가 필요하다. 그러나 이에 대한 연구가 아직은 미진한 상태이고, 공간 데이터베이스 시스템의 공간 술어는 기존의 단순 비교 술어와 비교할 때 수행시 많은 시간이 소비되기 때문에 기존의 질의 최적화 기법을 공간 최적화 기법에 적용하기에는 부적합하므로 공간 술어가 포함된 제약 조건이나 질의에 대해 효과적인 최적화 기법의 확장이 요구된다. 본 논문에서는 공간 제약조건 검증시 최적의 수행계획을 얻기 위하여 먼저 중복되는 공간 연산을 제거하고 공간 연산을 위한 선택인자와 복잡도를 계산하여 산출된 랭킹을 기반으로 재배치 기법을 사용하는 공간 제약조건 최적화 기법을 제안한다. 제안된 기법은 선택인자와 데이터베이스 접근시간 뿐만 아니라 공간 연산의 복잡도까지 반영하므로 최적화된 수행계획을 얻을 수 있는 장점을 지니고 있으며, 향후 공간 질의의 최적화 기법에도 적용이 가능하다.

강화학습에 기초한 로봇 축구 에이전트의 동적 위치 결정 (Reinforcement Learning based Dynamic Positioning of Robot Soccer Agents)

  • 권기덕;김인철
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (2)
    • /
    • pp.55-57
    • /
    • 2001
  • 강화학습은 한 에이전트가 자신이 놓여진 환경으로부터의 보상을 최대화할 수 있는 최적의 행동 전략을 학습하는 것이다. 따라서 강화학습은 입력(상태)과 출력(행동)의 쌍으로 명확한 훈련 예들이 제공되는 교사 학습과는 다르다. 특히 Q-학습과 같은 비 모델 기반(model-free)의 강화학습은 사전에 환경에 대한 별다른 모델을 설정하거나 학습할 필요가 없으며 다양한 상태와 행동들을 충분히 자주 경험할 수만 있으면 최적의 행동전략에 도달할 수 있어 다양한 응용분야에 적용되고 있다. 하지만 실제 응용분야에서 Q-학습과 같은 강화학습이 겪는 최대의 문제는 큰 상태 공간을 갖는 문제의 경우에는 적절한 시간 내에 각 상태와 행동들에 대한 최적의 Q값에 수렴할 수 없어 효과를 거두기 어렵다는 점이다. 이런 문제점을 고려하여 본 논문에서는 로봇 축구 시뮬레이션 환경에서 각 선수 에이전트의 동적 위치 결정을 위해 효과적인 새로운 Q-학습 방법을 제안한다. 이 방법은 원래 문제의 상태공간을 몇 개의 작은 모듈들로 나누고 이들의 개별적인 Q-학습 결과를 단순히 결합하는 종래의 모듈화 Q-학습(Modular Q-Learning)을 개선하여, 보상에 끼친 각 모듈의 기여도에 따라 모듈들의 학습결과를 적응적으로 결합하는 방법이다. 이와 같은 적응적 중재에 기초한 모듈화 Q-학습법(Adaptive Mediation based Modular Q-Learning, AMMQL)은 종래의 모듈화 Q-학습법의 장점과 마찬가지로 큰 상태공간의 문제를 해결할 수 있을 뿐 아니라 보다 동적인 환경변화에 유연하게 적응하여 새로운 행동 전략을 학습할 수 있다는 장점을 추가로 가질 수 있다. 이러한 특성을 지닌 AMMQL 학습법은 로봇축구와 같이 끊임없이 실시간적으로 변화가 일어나는 다중 에이전트 환경에서 특히 높은 효과를 볼 수 있다. 본 논문에서는 AMMQL 학습방법의 개념을 소개하고, 로봇축구 에이전트의 동적 위치 결정을 위한 학습에 어떻게 이 학습방법을 적용할 수 있는지 세부 설계를 제시한다.

  • PDF

다치오토마타를 이용한 개성 및 감성상태 모델의 해석 (Analysis of Personality and Emotion State Model Based on Multiple-Valued Automata)

  • 손창식;정환묵
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 2003년도 추계 학술대회 학술발표 논문집
    • /
    • pp.173-176
    • /
    • 2003
  • 본 논문은 기존의 다치오토마타 모델을 적용하여 개성과 감성상태 모델을 제안한다. 기존 다치오토마타 모델을 2개의 오토마타로 분리하여 하나는 감성상태, 다른 하나는 개성을 모델링하는데 이용하였다. 사용자의 내부 감성과 개성은 Valence-Arousal 공간으로 정의된 감성상태를 바탕으로 구성하였고, 2개로 분리된 다치오토마타의 관계를 정의에 따라 구성하여 감성상태와 개성이 동시에 한 개의 오토마타 모델로 모델링 될 수 있는 가능성을 제시하였다.

  • PDF

3차원 아바타의 실시간 얼굴표정제어를 위한 표정공간의 생성방법 (Generation Method of Expression Space for Realtime Facial Expression Control of 3D Avatar)

  • 김성호
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (A)
    • /
    • pp.109-111
    • /
    • 2006
  • 본 논문은 애니메이터로 하여금 얼굴 표정들의 공간으로부터 일련의 표정을 선택하게 함으로써 3차원 아바타의 표정을 실시간적으로 제어할 수 있도록 하기 위한 표정공간의 생성방법에 관하여 기술한다. 본 시스템에서는 약 2400여개의 얼굴 표정 프레임을 이용하여 표정공간을 구성하였다. 본 기법에서는 한 표정을 표시하는 상태표현으로 얼굴특징 점들 간의 상호거리를 표시하는 거리행렬을 사용한다. 이 거리행렬의 집합을 표정공간으로 한다. 그러나 이 표정공간은 한 표정이 다른 표정까지 이동할 때 두 표정간의 직선경로를 통해 이동할 수 있는 그런 공간이 아니다. 본 기법에서는 한 표정에서 다른 표정까지 거쳐 갈 수 있는 경로를 캡쳐된 표정 데이터로부터 근사적으로 유추한다. 우선, 각 표정상태를 표현하는 거리행렬간의 거리가 일정 값 이하인 경우 두 표정을 인접해 있다고 간주한다. 임의의 두 표정 상태가 일련의 인접표정들의 집합으로 연결되어 있으면 두 표정간에 경로가 존재한다고 간주한다. 한 표정에서 다른 표정으로 변화할 때 두 표정간의 최단경로를 통해 이동한다고 가정한다. 두 표정간의 최단거리를 구하기 위해 다이내믹 프로그래밍 기법을 이용한다. 이 거리행렬의 집합인 표정공간은 다차원 공간이다. 3차원 아바타의 얼굴 표정 제어는 애니메이터들이 표정공간을 항해할 때 실시간적으로 수행된다. 이를 도와주기 위해 표정공간을 차원 스케일링 기법을 이용하여 2차원 공간으로 가시화하였고, 애니메이터들로 하여금 본 시스템을 사용하여 실시간 표정 제어를 수행하게 했는데, 본 논문은 그 결과를 평가한다.참여하는 빈들 간의 관계를 분석하여 워크플로우에 대한 성능 측정이 가능하도록 한다. 또한 제안된 메트릭을 통하여 EJB 어플리케이션의 성능 향상을 도모할 수 있도록 한다.로 표면 위로 자라났고, 부종은 창상 밑 조직까지 감소하였으며, 육아조직은 교원질 섬유로 대체되었다. 창상 유발 21일 후, 다른 창상에 비해, HG 처치창은 유의적으로 창상 표면이 거의 재생성 상피로 덮였으며, 육아조직은 창상 유발 14일 후와 비교해서 유의적으로 교원질 섬유로 대체되었다. 위의 모든 결과에서 보듯이, 개에서 전층피부 창상의 처치 시 HG의 사용은 HC와 생리 식염수에 비해 창상치유 복구기의 치유 속도를 촉진하는 것으로 사료된다.시범학교의 자녀를 들 부모들은 환경관련문제에 대한 의식 및 환경관련 제품에 대한 구매행동의 변화가 두드러지게 나타났다.EX>$d^{2+}$ + SA처리구는 두 화합물의 이중 효과에 의해 전반적인 생리 활성을 억제하여, 결국에는 식물의 고사를 유도하는 것으로 사료된다.목에 대한 보안'이 가장 중요한 것으로 나타났다. 본 연구에서는 솔루션 선정요인에 관한 중요도를 e-마켓플레이스의 유형과 산업 별로 평가해보았는데, 여기에서 밝혀진 중요도를 통해 e 마켓플레이스를 구축하고 자 하는 기업은 솔루션을 자체 개발하거나 구입할 때 올바른 의사결정을 할 수 있다. 그리고 솔루션을 제공하려는 기업측면에서는 e-마켓플레이스를 구축하고자 하는 기업에게 유형과 산업별로 적절한 솔루션을 제공할 수 있다.순환이 뇌대사 및 수술 후 신경학적 결과에 보다 유익한 효과를 제공해 줄 수 있음

  • PDF