• Communications of the Korean Mathematical Society
• /
• v.15 no.3
• /
• pp.391-434
• /
• 2000

심플렉틱 구조는 국소적으로는 모두 같기 때문에 심플렉틱 다양체 연구는 대역적으로 연구해야한다. 그로모브가 복소해석학적 곡선을 원소를 하는 모률라이 공간의 연구가 심플렉틱 다양체를 연구하는 물고를 텃다. 특이점이 없는 복소곡선의 개수를 세는 그로모브 불변량은 도넬슨의 비선형 게이지 이론의 간략화라 할 수 있는 아벨리안게이지 이론에서 사이버그-위튼 불변량과 같음을 타우브스가 발견하였다. 또한 사이버그-위튼 불변량은 심플렉틱 다양체의 불변량으로 심플렉틱 구조연구에 큰 이바지하고 있다. 그로모브의 모듈라이 공간의 컴펙트하는 과정에서 자연스럽게 마크점과 특이점을 갖는 곡선의 그로모브-위튼 모듈라이 공간이 켐펙트가 되고 여기소 그로모브-위튼 불변량이 얻어진다. 이 그로모브-위튼 불변량은 대수기하와 이론 물리학의 끈이론에서 찾는 대수곡선의 개수를 나타내고, 코호몰로지의 컵곱의 일반화라 할 수 있는 퀸텀곱을 유도하고, 그로모브-위튼 포텐셜함수의 계수를 결정한다. 퀸텀곱의 결합법칙은 포텐셜함수의 WDVV-방정식과 동치를 나타나며 이는 프로베니우스 구조가 평탄함을 나타낸다. 그로모브-위튼 불변량은 앞으로 활발히 연구되고 수학에 광범하게 이바지 할 것이다.

• Journal for History of Mathematics
• /
• v.20 no.4
• /
• pp.85-92
• /
• 2007

In this paper We study Some history and development of Geometry from the early 19th century to the late 20th century.

• Communications of the Korean Mathematical Society
• /
• v.16 no.1
• /
• pp.25-66
• /
• 2001

복소힐버트 공간상에서 정의된 작용소 중에서 최근 많이 연구되는 분야는 부분정규작용소와 초정규작용소들 들 수 있다. 본 논문에서는 작용소의 부분정규성과 초정규성 사이에 있는 작용소의 여러 성질을 살펴보고 특히 $\textsc{k}$차초정규, 이차약초정규, 삼차약초정규, 다항초정규, 토에플리츠작용소 및 약부분정규작용소에 관한 최근의 연구 결과들을 살펴보며 이와 관련되 미해결 문제들을 제시한다. 마지막으로 틈이론의 응용으로서 작용소이론의 큰 문제인 불변공간문제와의 관련성을 살펴보고 틈이론의 전망과 기타 관련정보를 소개한다.

• Journal for History of Mathematics
• /
• v.26 no.4
• /
• pp.233-243
• /
• 2013

The Erlangen program is a scholastic plan by German mathematician Felix Klein, in which he, based on group theory, made a reassessment of geometry as well as an attempt to generally organize it. In this paper, I will introduce the historical and scholastic background of the Erlangen program, overview the process of its formation, and provide some comments regarding its historical significance.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10b
• /
• pp.565-567
• /
• 2001

웹의 등장으로 인터넷이 보편화됨에 따라 웹을 기반으로 하는 가상 강의실이 많이 구축되고 시다. 웹을 기반으로 하는 가상 강의실은 학습자에게 많고 다양한 정보를 제공하는 장점이 있다. 하지만, 기존 가상 강의실 시스템에서 제공하는 학습내용이 대부분 교수의 임의의 한 수준으로 제공되고 있어 학습자 개개인의 학습수준이나 목적에 맞는 학습내용을 제공하지 못하는 문제점이 있다. 본 논문에서는 이러한 문제점을 해결하기 위하여 수준별 학습내용을 제공할 수 있도록 학습 평가 에이전트를 갖는 웹 기반 가상 강의실을 제안하고 구현한다. 본 가상 강의실의 학습 평가 에이전트는 학습자에게 학습 방향과 목표에 따라 수준에 맞는 학습내용을 제공하기 위하여 학습 전에 학습자의 학습수준을 테스트한다. 이러한 테스트를 위하여 학습 평가 에이전트는 테스트 항목들에 대하여 문항반응이론을 적용한다. 문항반응이론은 문항특성의 불변성, 능력추정의 정확성, 능력추정의 불변성을 가지고 있어 학습자의 단순한 평가가 아니라 학습자의 지식수준이나 이해정도를 구체적으로 평가할 수 있는 장점이 있다. 또한 본 논문에서는 이러한 가상 강의실의 구축에 필요한 데이타베이스 설계와 시스템 환경에 대한 내용을 포함한다.

• Korean Journal of Cognitive Science
• /
• v.27 no.4
• /
• pp.541-572
• /
• 2016

Causal reasoning is actively studied not only by psychologists but, in recent years, also by cognitive scientists taking the Bayesian approach. This paper seeks to provide an overview of the recent trends in causal reasoning research with a focus on the power probabilistic contrast theory of causality, a major psychological theory on causal inference. The power probabilistic contrast theory (PPCT) assumes that a cause is a power that initiates or inhibits the result. This power is purported be understood through statistical correlation under certain conditions. The paper examines the supporting empirical evidence in the development of PPCT. Also, introduced are the theoretical dispute between the PPCT and the model based on Bayesian approach, and the current developments and implications of research on causal invariance hypothesis, which states that cause operates identically regardless of the context. Recent studies have produced experimental results that cannot be readily explained by existing empirical approach. Therefore, these results call for serious examination of the power theory of causality by researchers in neighboring fields such as philosophy, statistics, and artificial intelligence.

• 전기의세계
• /
• v.28 no.7
• /
• pp.33-40
• /
• 1979

회로해석은 전자장치의 기본이되는 것이며 장치가 정교할수록 회로도 복잡해지며 근래에는 IC와 스위칭 이론의 발달로인해서 회로해석 및 설계법도 점차당양화하고 있다. 그러나 설계방법의 기초는 불변한 것이며 따라서 설계자는 Dalington, Cauer등의 고전적 합성법으로부터 오차설계 최적설계에 이르기까지 광법위한 것을 숙비해야 할 것이다. 최적화설계에 대해서는 본지에서는 상세히 다루지 않았다.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.6 s.38
• /
• pp.177-186
• /
• 2005

In this Paper. we propose vision-based camera localization technique using 3D information which is created by mapping of DEM and mountain image. Typically, image features for localization have drawbacks, it is variable to camera viewpoint and after time information quantify increases . In this paper, we extract invariance features of geometry which is irrelevant to camera viewpoint and estimate camera extrinsic Parameter through accurate corresponding Points matching by Proposed similarity evaluation function and Graham search method we also propose 3D information creation method by using graphic theory and visual clues, The Proposed method has the three following stages; point features invariance vector extraction, 3D information creation, camera extrinsic Parameter estimation. In the experiments, we compare and analyse the proposed method with existing methods to demonstrate the superiority of the proposed methods.

• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.71-109
• /
• 2014

Gila Sher believes that Tarskian definition of logical consequence is a conceptually and extensionally adequate explanation. She has tried to show this on the basis of Mostowskian conceptions of generalized quantifiers as being invariant under isomorphic structures and her own conceptions of models. In this paper I try to show that her attempt to justify the Tarskian definition is only partially successful. I admit that her conceptions of the logical as being invariant under isomorphic structures are enough to show the logical formality of logical consequence relations. But I think that since her conceptions of meanings of terms are quite inadequate for dealing with the problem of empty predicates, she fails to distinguish logically necessary truths from other kinds of truths.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.24 no.7B
• /
• pp.1361-1369
• /
• 1999

A hit-miss transform(HMT) using modified synthetic structuring elements(SEs) for distortion-invariant recognition of multiple objects is proposed. A fundamental problem in an HMT is the determination of the optimal SE needed to improve the false alarm rate, and detect distorted objects with various shapes. The proposed synthetic methods of SE provide good solutions against this problem. One is the multistage synthesis of each true class SE using only set theory, and the other is the multistage synthesis of each true class and false class SE using set theory and SDF(synthetic discriminant function) synthesis method. Simulation results show the proposed methods can be used for the recognition of distorted intraclass objects and the discrimination of similar interclass objects.