• Title/Summary/Keyword: 증명이론

Search Result 623, Processing Time 0.031 seconds

Organization of Multidimensional File Structures Defending on a Query Pattern (질의패턴에 따른 다차원 파일구조의 구성방법)

  • Lee, Jung-A;Lee, Jong-Hak
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2007.05a
    • /
    • pp.97-100
    • /
    • 2007
  • 본 논문에서는 다차원 파일구조를 주어진 질의 패턴에 의해 최적으로 구성할 수 있는 방법을 제시한다. 지금까지의 다차원 파일구조는 응용 시스템에서 주어지는 질의의 패턴을 고려하지 않고 다차원 파일구조를 구성하는 애트리뷰트들의 클러스터링 정도를 동일하게 취급하였다. 그러나 다차원 파일구조를 이용하는 대부분의 응용 시스템에서 구성 애트리뷰트들 사이의 액세스 정도를 크게 다르게 하는 질의 패턴을 보인다. 따라서 본 논문에서는 다차원 파일구조의 응용 시스템에서 주어지는 질의 정보를 이용하여 각 구성 애트리뷰트들 사이의 클러스터링 정도를 각각 다르게 반영함으로써 최적이 되는 다차원 파일구조를 구성하는 방안을 제시한다. 먼저 질의처리의 성능이 질의 패턴에 주어진 질의 영역의 모양과 다차원 파일구조의 도메인 공간의 분할 상태를 나타내는 페이지 영역의 모양 사이의 유사성에 따라 크게 영향 받음을 보이고, 이러한 특성을 이용하여 수학적 분석을 통하여 제안된 기법의 이론적인 배경을 증명한다.

  • 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 Filterless Frequency Doubler (휠터를 사용하지 않는 주파수 2체배기에 관한 연구)

  • 김경희
    • Journal of the Korean Institute of Telematics and Electronics
    • /
    • v.16 no.6
    • /
    • pp.31-39
    • /
    • 1979
  • This paper dealt with a general the Qrem of frequency doubler. By summarizing the frequency doubler theorems, a new frequency doubter theorem can be derived. "In time invarient system, if the input waveform shows the half-wave symmetric characteristic and if the even function is the mapping from input into output, then the frequency of output is at least 2-times of input frequency." By the theorem, this paper propose a new wide band square wave frequency doublerusing negative resistance circuit.e circuit.

  • PDF

Principle of Exchange of Stabilities in the Marangoni Convection System (Marangoni 대류계에서의 안정성 교환의 원리)

  • Kim, Min Chan
    • Korean Chemical Engineering Research
    • /
    • v.47 no.2
    • /
    • pp.262-265
    • /
    • 2009
  • For the initially quiescent fluid layer, the principle of the exchange of stabilities for the Marangoni convection due to the impulsive temperature change is proven analytically. Under the linear stability theory, the temperature and vertical velocity disturbances are express as the liner combination of the orthogonal functions. It is shown that the growth rate of the temperature disturbance is the real function for all positive Marangoni numbers.

Human-like Fuzzy Lip Synchronization of 3D Facial Model Based on Speech Speed (발화속도를 고려한 3차원 얼굴 모형의 퍼지 모델 기반 립싱크 구현)

  • Park Jong-Ryul;Choi Cheol-Wan;Park Min-Yong
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 2006.05a
    • /
    • pp.416-419
    • /
    • 2006
  • 본 논문에서는 음성 속도를 고려한 새로운 립싱크 방법에 대해서 제안한다. 실험을 통해 구축한 데이터베이스로부터 음성속도와 입모양 및 크기와의 관계를 퍼지 알고리즘을 이용하여 정립하였다. 기존 립싱크 방법은 음성 속도를 고려하지 않기 때문에 말의 속도와 상관없이 일정한 입술의 모양과 크기를 보여준다. 본 논문에서 제안한 방법은 음성 속도와 입술 모양의 관계를 적용하여 보다 인간에 근접한 립싱크의 구현이 가능하다. 또한 퍼지 이론을 사용함으로써 수치적으로 정확하게 표현할 수 없는 애매한 입 크기와 모양의 변화를 모델링 할 수 있다. 이를 증명하기 위해 제안된 립싱크 알고리즘과 기존의 방법을 비교하고 3차원 그래픽 플랫폼을 제작하여 실제 응용 프로그램에 적용한다.

  • PDF

Design of New Hybrid-Ring Directional Coupler Using λ/6 Sections (λ/6선로를 이용한 새로운 형식의 하이브리드 링 방향성 결합기의 설계)

  • 양규식;이종악;김동일
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.16 no.3
    • /
    • pp.275-283
    • /
    • 1991
  • A design method of the new 7${\lambda}$/6 ring 3dB directional coupler using fundamental /6-sections is proposed and its frequency characteristics are analyzed. Furthermore, the experimental verification has been achieved in microstrip network, and hence, the validity of the design method of a microwave compoennt with the basic ${\lambda}$/6-sections proposed in this paper is confirmed.

  • PDF

Optical Fiber Delay-Line Filter with Recirculation Loop Structure Using a Fiber Grating (광섬유 격자를 이용한 재순환 광섬유 지연선로 필터)

  • 김성철;권서원;이상배;권상삼;이병호
    • Journal of the Korean Institute of Telematics and Electronics D
    • /
    • v.36D no.5
    • /
    • pp.80-87
    • /
    • 1999
  • We propose a new recirculating fiber delay-line filter structure. In proposed system, we insert a fiber Bragg grating(FBG) into a recirculating fiber delay line and it operates as a partially reflection mirror. Therefore, the transfer function of the system is given by the recirculating delay output part and the multiple-reflected output part due to a FBG. By adjusting the parameters such as coupling coefficient, reflectivity of FBG, and gain, we can make the system operate in various filter.

  • PDF

Effective measurement of high facet reflectivity using the variation longitudinal modes spacing of semiconductor external cavity ring lasers (반도체 외부 공진기 링 레이저의 종 모드 간격 변화를 이용한 고반사율을 갖는 Etalon Coating Reflectivity의 정밀 측정)

  • 엄진섭;안상호
    • Korean Journal of Optics and Photonics
    • /
    • v.10 no.6
    • /
    • pp.524-526
    • /
    • 1999
  • It is observed that the mode spacing of an cxternal cavity semiconducror laser can be altered dramatically by the insertion of an intracavity etalon. 111e mode spacing is decreased as a function of etalon's reflectivity and this effect is quantitatively explained by an analysis of resonant modes. We abo show that this effect provides a precise and convenient alternative for determining the coating reflectivity of a high reflectivity etalon. talon.

  • PDF

Design of Omnidirectional Mirror Using Quarter-wave Dielectric Stacks (${\lambda}_0$/4 두께 유전체 다층 박막계를 이용한 전방향 거울의 설계)

  • 김성화;황보창권
    • Proceedings of the Optical Society of Korea Conference
    • /
    • 2000.02a
    • /
    • pp.180-181
    • /
    • 2000
  • 일반적으로 광통신이나 고출력 레이저에 사용되는 광학 소자들 중 고반사율의 거울은 특정 파장과 특정 각도에 대해서만 민감하도록 설계되어 있다. 이것을 여러 파장의 빛을 여러 각도로 입사시키더라도 높은 반사율을 얻는다면, 소자의 효율을 향상시키는데 상당한 효과를 볼 수 있다. 은이나 알루미늄의 금속박막으로 제작되는 금속 거울은 제작하기 쉽고 입사파장과 금속의 재질에 관련되어 90 %이상의 반사율을 갖지만, 특정한 각도에서는 빛이 금속 내에 있는 자유 전자들에 의해 상당량 흡수되어 버린다. 따라서 금속 거울은 에너지의 손실이 적어야 하는 광통신이나 고출력 레이저와 같은 응용분야에는 사용될 수 없다. 이러한 흡수가 거의 없는 유전체 거울은 고굴절률과 저굴절률의 층이 λ$_{0}$/4의 광학 두께를 가지고 주기적으로 반복되는 구조를 갖는다. 이러한 λ$_{0}$/4 유전체 다층 박막계는 1-차원 photonic 결정 구조와 동일하게 다룰 수 있는데, 1-차원 photonic 결정 구조가 모든 입사각도에 대해서 전방향 반사를 보인다는 것을 이론과 실험적으로 증명하였다[1-3]. (중략)

  • PDF

Active-RC Circuit Synthesis for the Simulation of Current-Controllable Inductors and FDNRs (전류-제어 인덕터 및 FDNR 시뮬레이션을 위한 능동-RC 회로 합성)

  • Park, Ji-Mann;Shin, Hee-Jong;Chung, Won-Sup
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.40 no.12
    • /
    • pp.54-62
    • /
    • 2003
  • A systematic synthesis process is described lot the simulation of current-controllable inductors using operational transconductance amplifiers (OTAs). The process is used to obtain three circuits; two are believed It) be novel. The process is also applied to design current-controllable frequency-dependent negative resistances (FDNRs). Operation principles of designed circuits are presented and experimental results are used to verify theoretical predictions. The results show close agreement between predicted behavior and experimental performance. The application of a FDNR to a current-controllable band-pass filter is also presented.