• 제목/요약/키워드: 존재 증명

검색결과 529건 처리시간 0.035초

선형 탄성 문제의 경계적분식 해와 변분해의 동등성 증명 (Proof of equivalence of solutions of boundary integral and variational equations of the linear elasticity problem)

  • 유영면;박찬우;권길헌
    • 대한기계학회논문집
    • /
    • 제11권6호
    • /
    • pp.1001-1004
    • /
    • 1987
  • 본 연구에서는 우선 선형 탄성문제의 변분해(variational solution)가 Sobol- ev 공간[ $H^{1}$(.OMEGA.)]= $H^{1}$(.OMEGA.)* $H^{1}$(.OMEGA.)* $H^{1}$(.OMEGA.)에서 유일하게 존재함을 재 검토하고 다음으로 경계적분식의 해도 변분해와 같음을 보인다. 이것은 선형 탄 성문제의 경우 고전해(classical solution)가 존재하지 않을 경우에도 BEM을 사용하여 변분해의 수치적 근사치를 구할 수 있다는 수학적 근거가 된다. 이를 위해서 Sobol- ev 공간 내에서의 Green's formula를 적용하는데 점하중해의 특이점(singularity)때문 에 Green's formula를 적용하기가 곤란해진다. 이 문제는 적분영역 .OMEGA.를 .OMEGA.-B$_{\rho }$로 치환하고 .rho.를 0으로 접근시키는 방법으로 해결한다. 이 때 B$_{\rho}$는 특이 점에 중심을 두고 매우 작은 변경 .rho.를 갖는 구이다.ho.를 갖는 구이다.

Nash의 협상게임과 Wardrop의 사용자 균형 (Alternating Offers Bargaining Game and Wardrop's User Equilibrium)

  • 임용택
    • 대한교통학회지
    • /
    • 제23권4호
    • /
    • pp.37-45
    • /
    • 2005
  • 본 연구는 Nash의 협력게임인 협상게임(bargaining game)과 Wardrop의 사용자 균형해와의 관계를 규명하는 데 목적이 있다. Wardrop의 균형은 다수의 운전자들이 교통상황을 정확히 알고 있고(perfect information), 동시에 합리적으로 경로를 선택(rationality)한다는 경직된 가정이 존재하는데, 이는 실제로 존재하는 운전자 상호간의 교류나 타협을 배제하고 있다. 이런 측면에서 운전자간의 교류와 조절과정을 Nash게임의 협상과정(bargaining process)으로 표현할 경우, Wardrop의 경직된 기본가정들을 어느 정도 완화할 수 있을 것으로 보인다. 이를 위하여 본 연구에서는 Nash의 협상게임에 대한 교통망측면의 검토와 Nash의 협상해(bargaining solution)가 Wardrop의 사용자 균형(user equilibrium)과 동일함을 정리(theorem)를 통하여 증명하고 몇 가지 예제로 이를 확인한다. 협상게임은 대표적인 2인 협조게임(two-person cooperative game)으로 본 연구에서도 주로 2인 게임에 대해서 기술하며, 향후 n-인게임(n-person game) 모형에 대해서는 간략히 언급토록 한다.

적분차분법을 이용한 연안역에서의 해수고유진동해석 (Free Oscillation Analysis in the Coastal Area using Integrated Finite Difference Method)

  • 이병걸
    • 한국수산과학회지
    • /
    • 제27권6호
    • /
    • pp.782-786
    • /
    • 1994
  • Dey and Morrison (1979)이 육상의 전기탐사문제의 해결에 성공적으로 적용한 적분차분법(integral finite different method)의 해양에서의 응용성을 연구해보기 위해, 해석해가 존재하는 연안역의 해수고유진동 문제를 도출하여 기존의 고유진동문제에 적용하여 보았다. 그 응용성의 평가는 기존 해양에 널리 적용되는 기존차분법(conventional finite different method)으로 구한 수치결과와 적분차분법으로 구한 결과를 해석해와의 비교검증을 통하여 실시되었다. 그 결과 적분차분법으로 구한 고유치와 고유함수값이 기존차분법으로 구한 결과보다 좋은것으로 나타났다. 이러한 결과는 적분차분법의 경우 원래의 기본방정식에 Green's theorem을 적용함으로써, 기본방정식에 존재하는 2계 미분연산자가 1계 미분연산자로 해석적으로 처리되었기 때문으로 사료된다. 따라서 적분차분법을 이용하여 해수고유진동문제를 비롯한 다른 유사문제를 풀 경우 기본차분법보다 좋은 결과가 나을 것으로 사료된다. 또한 미분방정식의 수치해를 구할 경우 적분법이 차분법보다 좋은해를 줄 수 있다는 것을 증명한 것으로 사료된다.

  • PDF

모바일 애드 흑 네트워크에서의 주소 예약을 이용한 IP주소 자동 설정 기법 (An IP-address Auto-configuration Technique using Address Reservation for a Mobile Ad hoc Networks)

  • 김남훈;안소연;문경덕;이영희
    • 한국정보과학회논문지:정보통신
    • /
    • 제31권6호
    • /
    • pp.659-672
    • /
    • 2004
  • 모바일 애드_ 흑 네트워크(MANET, Mobile Ad hoc Networks)란 중앙 집중 형태의 제어나 인프라 구조가 없는 독립적인 모바일 컴퓨팅 노드들간의 집합을 의미한다. 애드 혹 네트워크에 연결을 원하는 모든 노드들은 네트워크 연결에 필요한 주소를 얻어야 한다. 만일 (Dynamic Host Configuration Protocol)와 같이 자동으로 주소를 할당해 주는 서버가 존재한다면 쉽게 주소를 얻을 수 있지만, 모바일 애드 혹 네트워크의 특성상 DHCP와 같은 서버의 존재를 가정하기 어렵다. 본 논문에서는 주소 예약(Address Reservation)과 낙천적 중복 주소 검색(Optimistic Duplicated Address Detection)을 이용한 분산형 자동 주소 설정 방법을 제시한다. 주소 예약은 주소 할당 시간을 줄이는 데 도움을 주고, 낙천적 DAD는 주소의 유일성을 보장하고 네트워크의 트래픽 오버헤드를 줄이는 데 기여한다 또한 제한된 방법은 모바일 애드 혹 네트워크의 분학과 합병에 대한 해결책을 제시한다. 마지막으로 ns-시뮬레이커를 사용한 모의 실험의 곁과를 통해 제안된 방법이 주소 유일성 보장, 주소 선정 시간과 통신 오버헤드 측면에 있어서 우수함을 증명한다.

미소균열 탐상을 위한 자기광학소자를 이용한 비파괴탐상법의 제안과 적용 (Application of a New NDI Method using Magneto-Optical Film for Inspection of Micro-Cracks)

  • 이형노;박한주;장자 철웅
    • 비파괴검사학회지
    • /
    • 제21권2호
    • /
    • pp.197-203
    • /
    • 2001
  • 항공기나 대형 플랜트 등의 경년구조물에 있어서 제조 및 설계 혹은 작업환경 등에 의해 발생하는 미소결함은 응력부식파괴로 이어지는 결정적인 원인으로 알려져 있다. 따라서 제조단계에서의 결함의 검출뿐만 아니라 운전개지 후에 있어서도 비파괴검사에 기초를 둔 정기적인 건전성평가가 요구된다. 특히 구조물내의 미소균열 평가는 구조건전성 평가에 있어서 중요한 과제라 할 수 있다. 자기광학소자를 이용한 비파괴탐상법은 균열부근의 누설자속에 의한 자구 및 자벽의 변화를 이용하여 균열정보를 화상형태로 얻는다. 그러므로 빠른 탐상속도와 결과데이터 해석의 용이 그리고 실시간적으로 탐상결과를 획득할 수 있다는 장점을 지니고 있다. 본 논문은 자기광학소자를 이용한 새로운 비파괴적 탐상법을 제안하고, 본 탐상법을 이용하여 구조물에 존재하는 표면결함의 검출가능성 및 균열깊이의 평가를 실증하였다. 표면결함을 갖는 시험편과 파이프의 내면에 존재하는 피로균열을 대상으로 실험을 실시한 결과, 표면결함의 위치 및 2차원적 형상을 화상형식으로 얻을 수 있음을 증명하였다. 또한 피로시험중의 시험편을 대상으로 균열발생 및 균열진전과정을 평가를 통하여 원격탐상의 가능성을 제시하였다.

  • PDF

인쇄 악보에 대한 미디어적 고찰 -J.S 바흐의 무반주 바이올린 소나타 제3번 '푸가'를 중심으로- (Rethinking the Printed Music from the View of Media -Focused on Fugue in Unaccompanied Violin Sonata No. 3 by J. S. Bach-)

  • 김효경;변혁
    • 한국콘텐츠학회논문지
    • /
    • 제16권10호
    • /
    • pp.656-663
    • /
    • 2016
  • 본 연구는 서양 음악 콘텐츠를 담아 전달하는 인쇄 악보를 미디어의 관점에서 고찰하였다. 미디어 학자 맥루언은 오늘날의 미디어가 콘텐츠를 담아 전달하는 단순한 도구가 아닌 콘텐츠의 내용 자체에 지대한 영향을 끼치는 주체임을 주장하였다. 인쇄술로 인해 음악을 전달하는 미디어로 현재까지 통용되고 있는 인쇄 악보는 이전의 시대에는 가능치 않았던 악보의 대량 생산과 보편화를 형성시켰다. 그러나 대량 생산을 위해 행해진 편집 과정은 구술 또는 필사로 음악이 전달되던 시기에는 존재하지 않았던 편집자를 등장시켰고, 음악은 인쇄 악보라는 시각적 공간 속에 재단되었다. 본 연구는 악보의 대량 생산을 위해 행해진 편집이 기존에 존재하지 않던 기보법을 추가하였고 이로 인해 음악의 표준화가 일어났음을 주장하고자 한다. 이를 위해 요한 세바스찬 바흐의 바이올린 소나타 3번 '푸가'의 필사 악보와 인쇄 악보를 비교하고, 인쇄 악보 속에서 이루어지고 있는 표준화의 흔적을 증명함으로서 수 백 년 간 음악 미디어로 자리 잡고 있는 인쇄 악보에 드러난 음악 전달 방식의 적합성에 관하여 논하고자 한다.

불균형적 상호의존성과 갈등간 비선형적 관계에 대한 연구 (A Study on the Non-linear Relationship between Asymmetric Interdependence and Conflict)

  • 김종근;김재욱
    • 한국유통학회지:유통연구
    • /
    • 제10권2호
    • /
    • pp.49-72
    • /
    • 2005
  • 상호의존성은 유통경로상에 존재하는 기본적 특성으로서 오랫동안 유통분야에서 관련연구들이 활발하게 진행되어 왔다. 특히 갈등은 유통경로상의 거래관계를 특징짓는 주요 특성으로서 상호의존성과 갈등 간 관계를 규명하는 것은 의미하는 바가 크다. 그러나 사회학 분야에서는 상호의존성과 갈등 간 관계를 설명하는 상반된 이론이 존재하며, 마케팅 분야에서도 상호의존성과 갈등 간 관계에 대해서 상반된 연구결과가 제시되었다. 이에 본 연구에서는 상호의존성과 갈등 간 관계에 대해 대립된 설명을 하고 있는 쌍무적 억제이론과 갈등나선형이론 등의 사회학 이론을 활용하여 붙균형적 상호의존성과 갈등간 비선형적 관계를 제안하고, 이를 위해 소방관련 전문공사업체들과 공급업체들로부터 설문데이타를 수집하여 불균형적 상호의존성과 갈등간 역U형태의 관계가 있음을 증명하고자 한다. 분석결과 구매업체집단과 공급업체집단 모두에서 상호의존성의 총합이 높을 때 불균형적 상호의전성과 갈등간 비선형적 관계가 통제적으로 유의미하게 도출되었다. 마지막으로 몇 가지 학문적 시사점들과 한계점 및 향후 연구 과제를 제시하였다.

  • PDF

다중비 신호처리에 적용한 선형 주기적 시변 시스템의 입출력 이득 (Input-Output Gains of Linear Periodic Time-Varying Systems with Applications to Multirate Signal Processing)

  • 이상철;박계원
    • 한국정보통신학회논문지
    • /
    • 제4권5호
    • /
    • pp.963-969
    • /
    • 2000
  • 본 논문에서는, 선형 주기적 시변 시스템에 대해서, 두 개의 입출력 이득을 정의한다. 그 하나는 단위 크기의 ι$_2$노름을 갖는 모든 입력에 대한 최악의 $\iota_2$ 노름의 출력의 비로서, G($\iota_2,\iota_2$ 로 표기한다. 또 다른 하나는 단위 크기의 RMS 값을 갖는 모든 입력에 대한 최악의 RMS 값의 출력의 비로서, G(RMS, RMS)로 표기한다. 선형 시불변 시스템에 대해서는 이 두 개의 이득은 등가라는 사실이 잘 알려져 있다. 본 논문에서는 선형 주기적 시변 시스템에 대해서도 이 두 개의 이득이 등가라는 것을 증명한다. 또한, 선형 주기적 시변 시스템에 대한 주파수 응답을 얻는 두 가지 방법 사이의 관계를 유도한다. 이렇게 정의된 입출력 이득은 M-채널 필터 뱅크에 적용한다. 필터 뱅크는 음성 압축 등에 사용되는 대표적인 다중비 신호처리 시스템이다. 이러한 필터뱅크에는 일반적으로 에일리어징 왜곡, 진폭 왜곡 및 위상 왜곡이 존재한다. 본 논문에서는 오차 시스템의 G($\iota_2,\iota_2$ 이득을 최적화 하는 방법에 의해 필터 뱅크를 설계함으로써, 필터 뱅크에서 일반적으로 존재하는 왜곡을 작게할 수 있음을 보인다.

  • PDF

Anodic Aluminum Oxide Membrane을 통한 고분자 사슬의 선택적 투과 (Sieving the Polymer Chains through Anodic Aluminum Oxide Membranes)

  • 최용준;이한섭
    • 멤브레인
    • /
    • 제26권4호
    • /
    • pp.291-300
    • /
    • 2016
  • 분리막(Separation membrane)을 이용하여 기체 또는 액체상태로 존재하는 분자들을 선택적으로 분리하는 기술은 화학, 생물, 제약, 석유화학 등의 산업에서 매우 다양하게 응용되고 있으며 산업적으로 매우 큰 비중을 차지하고 있다. Anodic aluminum oxide (AAO) 막은 nanochannel의 직경, nanochannel 간의 거리 및 원통형 nanochannel의 길이 등을 정밀하게 조절할 수 있어 AAO 막을 이용하여 혼합분자를 효과적으로 분리하려는 다양한 연구가 진행되고 있다. 본 연구에서는 양 말단이 열려있어 through-hole 구조로 다양한 직경의 nanochannel을 가지는 AAO 막을 제작하였으며, 이것을 이용하여 용매에 녹아있는 고분자 사슬의 수력학적 부피에 따른 선택적 투과를 관찰하였다. Nanochannel을 투과한 고분자 사슬의 회전반지름과 nanochannel의 직경 사이에 정량적인 관계가 있음을 확인하였다. 또한 AAO 막의 nanochannel을 흐르는 고분자 용액의 유동률(flow rate)이 Hagen-Poiseuille 관계식으로 정확하게 설명될 수 있음을 확인하여 AAO 내에 존재하는 원통형태의 nanochannel 내에서 흐르는 용액의 나노흐름(nanoflow)에 대한 이론적 해석이 가능함을 증명하였다.

불확실 비선형 플랜트를 위한 포화 함수에 의한 새로운 강인한 연속 가변구조제어시스템 (A New Robust Continuos VSCS by Saturation Function for Uncertain Nonlinear Plants)

  • 이정훈
    • 전자공학회논문지SC
    • /
    • 제48권3호
    • /
    • pp.30-39
    • /
    • 2011
  • 본 연구에서는 수정된 상태변수 의존 비선형 형을 바탕으로 부정합조건 불확실성과 정합조건 외란을 갖는 비선형 시스템의 제어를 위한 새로운 둔감한 비선형 연속 가변구조제어기의 체계적인 설계를 제안한다. 부정합조건 불확실과 정합조건 외란 비선형 시스템을 상태변수 의존 비선형 시스템 형으로 표현한 후 체계적인 둔감한 새로운 제어기 설계를 한다. 대상 시스템의 확장을 위하여 비선형 시스템 함수의 불확정성을 상태변수 의존 항과 비의존 항 두 부분으로 나눈다. 본 비선형 제어는 제어 결과 동특성을 선형으로하기 위하여 그리고 슬라이딩 모드 존재조건을 쉽게 만족시키기 위하여 변환된 선형 슬라이딩 면을 선정한다. 선정된 슬라이딩 면 위에 슬라이딩 존재조건과 폐루프 지수 안정성을 만족하는 제어입력을 제안한다. 정리를 통하여 증명한다. 본 제어의 실용성을 위하여 가변구조제어의 내재된 특성인 제어입력의 불연속성을 극적으로 개선한다. 설계 예와 시뮬레이션 연구를 통하여 제안된 제어기의 유용성을 입증한다.