• 제목/요약/키워드: 불변적임

검색결과 4건 처리시간 0.02초

타르스키의 논리상항의 정의에 대한 연구

  • 최병일
    • 논리연구
    • /
    • 제3권
    • /
    • pp.95-113
    • /
    • 2000
  • 타르스키는 최근 발표된 그의 유고에서 흥미 있는 논리상항의 정의를 제공하였다. 그의 정의는 그가 1927년이래 린덴바움과 함께 연구하였고, 1935년에 강연으로 발표하였던 메타 논리적 탐구의 결과들에 근거하는 것으로서, 1966년과 1973년의 강연들에서 제공하였던 '논리적 개념들'(logical notions)의 정의에 바탕을 둔 것이었다. 타르스키의 논리상항의 정의는 역사적으로는 클라인의 에어랑겐 프로그램(Erlangen Programme)의 논리학에 대한 적용이라 할 수 있는 것으로서, 마우트너의 유사한 시도와 함께 주목할 만한 가치가 있다. 또한 그의 정의는 논리상항을 논리적 형식의 개념에 의존하지 않고, 보다 중립적인 '모든 변환에 있어 불변적임'(invariance under all transformations)이라는 개념을 사용하고 있다는 점에서도 흥미있는 시도로서 여겨질 수 있다. 본 논문에서는 타르스키의 논리상항의 정의와 그 확장에 대하여 논의한 뒤, 몇 가지 비판적인 논점을 제공하고자 한다. 특히 타르스키의 정의가 과연 중립적이고 순환적이지 않은가 하는 문제에 대한 논의를 통하여 논리상항의 정의에 대한 새로운 관점을 확보하고자 한다.

  • PDF

스케일 불변 특징들의 분포를 이용한 장소의 모델링 및 인식 (Place Modeling and Recognition using Distribution of Scale Invariant Features)

  • 후이;신범주;이창우
    • 한국컴퓨터정보학회논문지
    • /
    • 제13권4호
    • /
    • pp.51-58
    • /
    • 2008
  • 본 논문에서 스케일 불변 특징 분포를 이용한 장소 모델링과 실제 입력되는 특징을 추출하여 데이터베이스에 저장된 장소모델을 비교하여 장소를 인식하는 방법을 제안한다. 제안된 방법에서 모든 장소는 각각 다른 장소와 확실히 구별되는 고유한 특징들의 분포로 표현 가능하다고 가정한다. 제안된 방법은 각 장소마다 전역정보를 사용하며, 하나의 장소는 하나의 장소모델로 표현된다. 따라서 장소의 인식을 위해 비교 대상이 되는 장소의 수가 증가하여도, 장소인식을 위한 시간의 복잡도가 기하급수적으로 증가하지 않는다는 장점을 가진다. 제안된 방법의 성능을 검증하기 위한 실험으로 인식에 사용된 특징의 수와 입력영상의 수를 변화시키며 실험을 수행하였고, 실험을 통해 기존의 방법보다 공간적, 시간적인 면에서 제안된 방법이 효율적임을 입증하였다. 제안된 방법은 로봇의 자율항해, 시각장애인의 도움이 시스템, 웨어러블 컴퓨팅 분야 등, 다양한 분야에 활용도가 있으리라 기대한다.

  • PDF

20세기초의 삼체문제에 관해서 (Three body problem in early 20th century)

  • 이호중
    • 한국수학사학회지
    • /
    • 제25권4호
    • /
    • pp.53-67
    • /
    • 2012
  • 오늘날, 우주비행궤도의 정밀계산은 매우 실용적인 학문이 되었다. 프엥카레의 천체역학의 주요 키워드는 적분불변, 주기해, 점근해, 특성지수, 단일값을 갖는 새로운 적분의 불가능성등으로 볼 수 있다. 적분불변은 모든 시간에 걸쳐서 일정한 적분 값을 유지하는 것을 말한다. 곡선의 호상에서 취한 적분은 2, 3차원으로 확장하였다. 고유치는 궤적의 형식에 따라서 분류되는 바 매듭, 초점들, 말 안장점, 중심과 같은 것이다. 주기해에서는 고유값에 해당하는 특성지수에 따라서 주기해를 갖는다고 하였다. 주기해의 안정성은 특성지수의 성질을 조사하는 것과 동일한 것이다. 분지라고 불리는 천체궤도의 카오스적 존재 가능성을 프엥카레는 예외적 궤도의 존재로 주장하였고, 이는 아다마르의 견해대로 우연에 의한 확률적 궤도의 존재를 말하는 것이다. 호모크리닉점의 존재는 삼체문제의 이중 점근해를 말하고, 이것은 궤적이 카오적임을 말해주는 것이다. 주어진 조건에 따라서 엑스포넨셜 함수의 고유값인 특성지수가 계속 변함으로, 매우 작은 간격에서도 분지들은 얻게 되고, 원래의 주기와는 다소 멀어지는 것이다. 주기해의 안정성문제는 특성지수를 연구하는 것과 같다. 프엥카레는 궤적의 거동이 선형변환의 고유값 성질에 의존하고 이 고유값들과 서로 다른 특이점들 사이에 매우 밀접한 관련이 있음을 발견하였다. 뷔른스, 질덴, 순드만, 힐, 다윈, 벌코프, 하이테커, 아다마르등의 이론전개는 프엥카레의 이론과 불가분의 관계를 갖는다.

한국의 생산요소가격 변화가 마크업의 변동에 미치는 영향에 관한 실증분석: 1975-2007 (Factor Prices and Markup in the Korean Manufacturing Industry: An Empirical Analysis 1975-2007)

  • 강주훈;박세훈
    • 국제지역연구
    • /
    • 제15권2호
    • /
    • pp.77-100
    • /
    • 2011
  • 1997년 말에 시작된 외환위기 이후 약 10여 년간에 걸쳐서 생산요소가격이 지속적으로 하락하였다. 생산요소시장에서 요소가격의 전반적인 하락현상은 기업의 수익구조와 기업의 가격설정행위에 지대한 영향을 미친 것으로 추론할 수 있다. 본 논문은 요소가격의 변화로 인해 기업의 이윤율과 시장의 구조를 반영하는 마크업의 크기와 마크업의 경기역행성에 어떠한 변화가 일어났는가를 실증적으로 분석하였다. 이를 위해 해외중간재를 포함하고 규모보수불변과 AR(1) 기술진보를 전제하는 생산함수에 근거하여 소규모 개방경제에서의 마크업방정식을 설정하였다. 분석결과에 의하면 외환위기 이후의 생산요소가격의 하락은 한계비용의 하락을 초래하였고 이에 따라 제조업의 마크업 상승을 가져왔으며 특히 제조업가운데서 내구재보다는 비내구재의 마크업의 상승에 영향을 주었다고 할 수 있다. 또한 HP-filtered GDP와 마크업방정식의 구성요소와의 회귀분석결과는 마크업은 경기역행적으로 실질임금과 노동분배율은 경기순행적임을 입증하였으며 이자율과 해외중간재 수입물가지수는 경기역행적으로 그리고 나머지 요소분배율 모두 경기순행성을 밝히고 있다. 결론적으로 생산요소시장에서의 가격변화가 제조업의 마크업변동의 경직성에 기여해왔다고 할 수 있다.