• Title/Summary/Keyword: 표현증명

Search Result 342, Processing Time 0.041 seconds

Intelligent Digital Redesign for Qi System (Qi 시스템에 대한 지능형 디지털 재설계)

  • Seong, Hwa-Chang;Ju, Yeong-Hun;Park, Jin-Bae
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 2007.11a
    • /
    • pp.399-402
    • /
    • 2007
  • 본 논문은 Qi 시스템 제어를 위한 지능형 디지털 재설계 접근 방안을 제안한다. 디지털 재설계란, 기존의 안정화 된 연속시간 플랜트와 이산 시간에서 설계된 디지털 제어기와의 상태 접합 및 안정도 분석을 통해 전체 시스템을 재구성 하는 것을 말한다. 퍼지 모델링을 통해 Qi 시스템을 퍼지 규칙으로 표현하며, 디지털 재설계를 통해 재설계된 디지털 제어기를 통해 이를 제어하게 된다. 주어진 조건은 LMI를 통해 표현되며, 시스템의 안정도를 증명함으로써 디지털 제어기절계의 활용성 및 가능성을 검증하고자 한다.

  • PDF

An Assessment of Trip-maker's Behavior Under Uncertainty for Value of Travel Time (시간가치의 불확실성 아래 통행자행태에 관한 연구)

  • 문동주
    • Journal of Korean Society of Transportation
    • /
    • v.1 no.1
    • /
    • pp.64-81
    • /
    • 1983
  • 소비자 행태에 관한 신고전 경제이론을 통행수요의 분석에 그대로 적용하는데 문제 가 되는 특기 사항으로는 운임이외에 통행시간과 같은 서어비스 질도 통행수단의 선택에 영 향을 미친다는 점과 특정 두지점간의 통행에서 동일한 소비자도 여러 수송수단을 이용한다 는 점을 들수 있다. 본 연구의 주제는 이와같은 통행수요의 독특한 특성을 반영할 수 있는 소비자의 효용최대화모형의 설정과 이 모형에서 유도된 수요함수의 구조를 분석함에 있다. 상술하면, 통행시간 가치의 불확실성 아래에서 효용을 극대화하는 의사결정문제를 Stochastic Programming 모형으로 표현하였다. 또한 이 모형에서 유도된 특성 통행수단의 수요함수는 이 수단이 가장 유리한 시간가치의 범위에 대한 부정적분으로 표현되며 이 적분 범위와 피적분함수는 모든 경쟁수단의 운임과 통행수단의 함수로 정의됨을 증명하였다. 또 한 수요함수는 통행수요에 관한 통계분석모형에서 묵시적으로 가정되고 있는 통행수단간 대 체성(Property of gross substitute)과 대각방향우세성(Property of diagonal dominance)등의 특성을 가지고 있음을 보여 주었다.

  • PDF

A Study on the Similarity between Bix Beiderbecke and early 20th English Literature (빅스 바이더백과 20세기 초 영문학의 흐름상 유사성에 대한 고찰)

  • Kim, Hyoeng-Chun
    • Proceedings of the KAIS Fall Conference
    • /
    • 2010.05b
    • /
    • pp.673-676
    • /
    • 2010
  • 빅스 바이더벡이라는 트럼펫 연주자는 일반적으로 백인재즈라는 새로운 길을 개척한 인물로 거론된다. 그러나 이 연구에서는 일반론적인 관점에서 벗어나 1920년대 초 흑인 재즈라는 테두리 안에서의 빅스 바이더벡의 독창성이 20세기 초 영문학에서의 새로운 사조였던 ‘의식의 흐름' 이라는 표현법과 그 유사성이 깊은 것으로 본다. 음악과 문학과의 그 흐름상의 유사성을 직접적으로 영향을 서로 어떻게 받았는지를 증명할 수 는 없지만, 표현방법 면에서 볼 때 두 다른 예술 분야에서의 유사성은 충분히 흥미로운 것이다. 특히 미국의 한 재즈연주자의 연주가 같은 시대 영국의 문학에서의 새로운 시도와 그 흐름을 같이 한다면, 현재 우리에게도 다른 분야의 흐름과 음악의 흐름상 연관성에 대한 연구도 보다 폭넓게 이루어 져야 할 것이다.

  • PDF

Study of Comparative Lyrics for Joy and Sad Emotions in Korean Popular Songs (한국대중가요에서의 기쁨과 슬픈 감성을 위한 가사 비교 연구)

  • Kwon, Ji-Yeon;Lee, Seungyon-Seny
    • The Journal of the Korea Contents Association
    • /
    • v.15 no.3
    • /
    • pp.68-77
    • /
    • 2015
  • As popular music grows, lyrics are taking a more important part of the pop music. In the thesis suggests that to prove that each can I maximize based on the lyrics' emotions, the study compares between a sense of cheerful and sad songs. For this reason, many emotional words were extracted by various word expressions in the cheerful songs and limited expressions of grief sensibilities were shown through relatively small amount of emotional words in the sorrowful songs.

Analysis of Coupling Windows of the Dielectric Resonator Filter (유전체 공진기 필터의 결합창 특성해석)

  • 김병욱;윤두일;윤상원
    • The Journal of Korean Institute of Electromagnetic Engineering and Science
    • /
    • v.13 no.1
    • /
    • pp.101-105
    • /
    • 2002
  • In this paper, the coupling windows of the dielectric resonator filter have been analyzed. The coupling factor which has been used to characterize the coupling window is represented by closed form expressions. The deviation of the coupling factor as the size of coupling window has been compared between calculated by presented method and measured ones. There are very closed agreements. The presented method can be applied not only to design dielectric resonator but also to design varactor tuned dielectric resonator filter so as that the passband bandwidth is constant within tuned ranges.

An Efficient Split Algorithm to Minimize the Overlap between Node Index Spaces in Multi-dimensional Indexing Scheme M-tree (다차원 색인구조 M-트리에서 노드 색인공간의 중첩을 최소화하기 위한 효율적인 분할 알고리즘)

  • 임상혁;김유성
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.10b
    • /
    • pp.124-126
    • /
    • 2003
  • 다차원 색인 기법 M-트리는 노드의 중심점과 객체간의 상대적 거리로 색인을 구성하고, 검색 공간에 포함되는 객체를 액세스하는 기법으로서 노드들은 페이지 단위로 구성되며 하위 엔트리들을 포함할 수 있는 반경, 즉 유사도 거리에 의해 노드의 영역이 표현되어진다. 그러나 이와 같은 노드의 영역 표현에 있어서 노드 색인공간의 중첩으로 인해 질의 시 검색 패스가 증가하고 이로 인해 거리계산과 디스크 입출력의 증가를 야기하는 문제를 갖는다. 본 논문에서는 M-트리에서 문제가 되고 있는 노드 색인 공간의 중첩을 최소화할 수 있는 노드 분할 정책을 제안한다. 기존의 M-트리와는 다르게 노드의 가상 중심점을 계산하여 그것을 라우팅 객체로 만들어 노드를 커버하는 영역을 최소화하고 노드 안의 엔트리를 재분배하여 밀도 높은 노드를 구성 하도록 한다. 제안된 분할 알고리즘의 효율성을 증명하기 위한 실험 결과 색인공간의 중첩이 줄고 이로 인해 거리계산과 디스크 입출력의 횟수가 줄어듦을 보였다.

  • PDF

A Study on Ultra Sonic based Map Building for Mobile Robot (이동 로봇을 위한 초음파 센서 기반의 지도 생성에 관한 연구)

  • Seo, Nam-Il;Hong, Hyun-Ju;Kwen, Seok-Geon;Lee, Yong-Joong;Ro, Young-Shick
    • Proceedings of the KIEE Conference
    • /
    • 1999.07g
    • /
    • pp.3080-3082
    • /
    • 1999
  • 본 논문에서는 실내환경에서 얻어진 격자 지도(grid map)상의 장애물 정보의 표현을 간략화 시키는 방법에 대하여 논하였다. 여기서 기본이 되는 격자 지도의 장애물 정보는 초음파 센서를 이용하여 얻어졌다고 가정하였다. 그리고 생성된 장애물 정보를 직선 성분으로 간단히 표현하여 저장될 정보의 양을 줄이는 변환 방법들인 체인 코드(chain code)와 호프 변환(Hough transform)에 대하여 논하였다. 그리고, 논의된 방법의 유효성을 증명하기 위하여 컴퓨터 시뮬레이션에 의한 결과를 제시하였으며, 단점들에 대한 앞으로의 연구 방향을 제시 하였다.

  • PDF

헤론의 공식과 유사한 사면체의 부피 공식에 대한 연구

  • Han, In-Gi;Choe, Won-Seok;Son, Gyeong-Hui;Yang, Hae-Hun;Gwon, Hyeok-Jun
    • Communications of Mathematical Education
    • /
    • v.19 no.3 s.23
    • /
    • pp.517-526
    • /
    • 2005
  • 본 연구에서는 사면체의 부피를 구하는 두 가지 공식을 다룰 것이며, 이들은 외형적으로 또는 계산 방법상으로 삼각형의 넓이를 구하는 헤론의 공식과 유사하다. 이들 중에서 하나는 사면체의 모서리와 평면각들을 이용하여 사면체의 부피를 표현하며, 다른 하나는 사면체의 모서리들만 이용하여 부피를 표현한 것으로 2002년에 미해결 탐구 문제로 제시된 바 있다. 본 연구에서는 헤론 공식과 이들 두 공식의 유사점에 대해 논의하며, 모서리들만을 이용하여 부피를 구하는 공식에 대한 새로운 기초적인 증명 방법을 제시할 것이다.

  • PDF

A Divide_and _Conquer Algorithm for Drawing General Trees Aesthetically (일반 트리를 미적으로 도시하기 위한 분할-정복 알고리즘)

  • Lee, Yu-Jin;Jeong, Gyun-Rak
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.26 no.1
    • /
    • pp.117-124
    • /
    • 1999
  • 트리는 계층적인 구조를 표현하는 데 편리한 자료 구조로서 그 응용 분야가 정렬, 탐색, 컴파일러, 계층적 데이터베이스 모델, 조직 차트 등 매우 광범위하다. 트리를 시각적으로 도시하는 것은 단순히 노드를 나열하는 것보다 구조적 관계를 표현하는데 효과적이다. 트리를 크기가 제한된 하면세 도시할 경우에는 시각적 측면을 고려하여 가능한 한 최소의 면적에 도시하는 것이 필요하다. Tilford가 제안한 트리 도시 알고리즘은 왼쪽 알고리즘은 왼쪽부터 최소 간격을 유지하면서 노드의 위치를 결정하는 알고리즘의 특성 때문에 두 개의 높이가 큰 서브 트리가 양쪽으로 있을 때, 두 서브 트리 사이의 작은 서브트리들이 오른쪽에 공간이 있음에도 불구하고 왼쪽으로 치우치게 위치되는 단점을 가지고 있다. 본 논문에서는 노드들의 균형을 고려하여 배치하는 분할-정복 알고리즘을 개발하였고 알고리즘의 정확성을 증명하였다.

A Music Retrieval Scheme based on Variation of Musical Mood (음악 무드의 변화 기반 유사 음악 검색 기법)

  • Sanghoon Jun;Byeong-jun Han;Eenjun Hwang
    • Annual Conference of KIPS
    • /
    • 2008.11a
    • /
    • pp.760-762
    • /
    • 2008
  • 음악에서는 다양한 감정의 표현을 시간에 따른 음악 무드의 전이로 표현한다. 본 연구에서는 Longest Common Subsequence (LCS) 알고리즘 및 k-Means 알고리즘에 기반한 유사 음악 검색 기법을 제안한다. 우선, 음악 무드의 흐름을 무드 세그먼트 단위로 나누고, 이를 추출된 다양한 음악 특성을 k-Means 알고리즘으로 분류하여 무드 시퀀스로 변환한다. 또한, 유사한 무드의 흐름을 가지는 음악을 검색하기 위해 LCS 알고리즘에 기반한 무드 시퀀스의 유사도를 정의한다. 본 논문은 제안된 내용을 바탕으로 실험과 설문 조사를 통해, 기존의 전역적 특성 검색 방식보다 시퀀스를 이용한 검색방식이 좀 더 효율적임을 증명하였다.