• 한국수학사학회지
• /
• 제24권3호
• /
• pp.37-58
• /
• 2011

수리 논리학의 발전은 상당 부분 힐버트 (D. Hilbert, 1862~1943)의 증명이론(Beweistheorie)에 뿌리를 두고 있다. 흔히 '힐버트 계획' (Hilbert's program)으로 불리는 이 계획의 목표는 형식적 공리론적 방법에 의해 수학의 모든 명제와 증명을 형식화하고 이 형식 체계의 완비성과 무모순성 증명을 통해 고전 수학을 '구원' 하고, 수학의 토대를 공고히 하자는 데에 있다. 1931년 괴델의 제 1정리에 의해 결정불가능 명제의 존재가 드러나면서 완전성이 위기를 맞고, 제 2정리에 의해 무모순성의 확립이 무산될 위기에 처한다. 그러나 '상대적' 내지 '부분적' 힐버트 계획은 효과적인 연구 프로그램으로서 살아 있다고 말하는 학자들이 적지 않다. 우리는 특히 힐버트 계획 이 오늘날 구성주의 수학의 발전에 동력을 제공하고 있다는 점을 커리-하워드 대응 (Curry-Howard Correspondence)을 통하여 부각시키고자 했다. 자연연역에서 증명 (proof) 이 바로 컴퓨터 프로그램 (computer program) 에 다름 아니라는 사실에 의해 수학의 형식화 (formalization)는 새로운 조명을 받게 된 것이다. 요컨대 힐버트 계획은 컴퓨터 과학에서 알고리듬 (algorithm) 이라는 핵심개념에 가장 잘 부합되는 것이다.

• 과학기술학연구
• /
• 제8권1호
• /
• pp.29-54
• /
• 2008

노무현 정부의 과학기술 거버넌스 개혁은 '참여정부'의 국정기조 아래 과학기술정책의 입안과 실행에서 다양한 정부 부처간 정책조정능력을 향상시키려는 제도개혁과 함께 사회 부문의 참여를 촉진하기 위한 제도 형성에도 노력했다는 점에서 큰 특징을 보인다. 정부 내 정책조정의 이슈에 초점을 두고 있는 기존의 연구와는 달리 이 논문은 거버넌스 시각과 정책담론 제도의 개념을 도입하여 정부 내 부처간 정책조정의 이슈와 함께 사회 행위자의 정책 참여 이슈를 보다 명시적으로 검토했다. 이 논문에서는 참여정부의 과학기술 거버넌스 개혁의 경우 다양한 수준에서 전문가 및 사회 행위자들의 참여가 이루어졌지만 사회행위자들의 참여가 제한되고 개별적인 방식으로 참석한 결과 정책담론제도의 형식화가 야기되었다. 정책담론제도의 형식화는 정책의 효과성과 정당성을 저해하는 요인이 된다. 정책담론제도와 정책조정제도는 상호보완 관계에 있다고 볼 수 있기 때문이다.

• 대한수학교육학회지:수학교육학연구
• /
• 제18권2호
• /
• pp.223-237
• /
• 2008

이 연구에서는 수학교육에 관한 드모르간의 견해를 체계적으로 파악하는 것에 초점을 맞추고 있다. 수학교육에 관한 그의 관점을 다음과 같이 요약할 수 있다. 첫째, 수학 교수-학습에 있어서 역사 발생의 과정을 고려해야 한다. 둘째, 학생의 수학적 개념작용이 점진적으로 형식화되어야 한다. 셋째, 귀납 단계에서 연역 단계로 넘어가는 과정에서 지속적으로 나타나는 오류를 학습에 이용하는 것이 중요하다. 넷째, 수학 교수-학습에서 학생의 개인적 지식이 중요하다. 드모르간이 재기한 이 네가지 관점은 수학적 확실성에 이르게 하기 위해 먼저 심정적 확실성을 경험하게 하려는 접근 방식이다. 그가 제기한 심정적 확실성은 합리성과 인간성의 결합체로 플라토니즘과 일반대중교육의 간격을 메우는 인식론적 도구이다.

• 한국지능시스템학회논문지
• /
• 제16권6호
• /
• pp.721-729
• /
• 2006

컴퓨터를 활용한 지식과 정보 처리를 위해 온톨로지를 구축하고 활용하기 위한 연구가 이루어지고 있다. 그러나 현재까지의 온톨로지 개발 방법 및 온톨로지 구축 도구는 온톨로지 개발 목적에 따라 제한적인 부분에서 연구되어 사용되고 있다. 그러므로 개발하려는 온톨로지 특성에 따른 적절한 온톨로지 구축 프로세스와 도구가 필요하다. 본 논문에서는 특정 분야의 비전문가가 언어 자원으로부터 지식을 개념화하고, 개념을 형식화하여 온톨로지를 구축할 수 있는 온톨로지 구축 프로세스(OntoProcess)를 제안한다. 그리고 다수의 온톨로지 구축자가 동시에 온톨로지 구축 작업을 행할 경우 i)지식의 개념화 과정에서 동일한 개념을 중복 정의하거나 ii)개념의 형식화 과정에서 형식언어와 포구사용법의 이해 부족으로 인해 온톨로지 구축 능률이 저하되는 문제가 발생할 수 있다. 이런 문제를 해결하기 위해 메타 온톨로지를 이용한 다중 온톨로지 구축 프로세스(OntoProcess)를 제안한다. 제안한 프로세스에 기반한 온톨로지 구축 시스템 (OntoProcess)을 개발하고, 실제 온톨로지 구축 실험을 통하여 제안한 프로세스와 시스템의 효율성을 확인한다. 그리고 온톨로지 구축 과정에서 발견된 문제점 및 이에 대한 해결 방안을 제시한다.

• 한국정보통신학회논문지
• /
• 제24권2호
• /
• pp.244-251
• /
• 2020

본 논문에서는 UML 다이어그램의 정보를 구문적으로 분석하여 클래스들의 정보를 구조적으로 구축하는 정보 저장소인 '메타 클래스 레포지토리 (MCR)'의 구현 방법을 제시한다. 구문적으로 분석된 클래스의 정보를 구조적으로 구축하기 위하여 수퍼 클래스인 '메타 클래스 (meta-class)'를 정의하고, 이들 메타 클래스들의 컬렉션으로 구성된 레포지토리를 구축하여 정보를 관리한다. 또한, MCR이 보유하고 있는 메타 클래스 정보에 기반하여 클래스에 상응하는 코드를 생성하기 위하여 '코드 생성 엔진 (CGE)'을 설계하여 제시한다. 코드 생성 엔진의 로직을 구성함에 있어서는 클래스에 대한 정보와 프로그래밍 언어의 구문 규칙이 합법적으로 조합되어 코드가 생성되어야 한다. 따라서, 이러한 클래스 다이어그램으로부터 코드를 생성하는 데에 MCR과 CGE가 통합적으로 협력하여 수행될 수 있도록 구현하는 방법을 제시한다. CGR의 동작 메커니즘에 대한 알고리즘을 유한 상태 머신 형태로 제시함으로써 CGE의 로직을 형식화하여 표현함과 동시에 구현 상의 용이함을 취할 수 있게 하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (2)
• /
• pp.178-180
• /
• 1999

인터넷은 지난 몇 년 동안 급성장을 이룩하였고, 근래에는 전문가 뿐만 아니라 일반 사용자들도 인터넷을 이용하여 정보를 검색, 활용하고 있다. 인터넷에서 검색 엔진의 도움 없이 정보를 검색한다는 것은 불가능한 일이 되었다. 그러나 일반 사용자가 인터넷에서 검색을 할 때 겪는 가장 큰 어려움은 검색 엔진의 특성과 연산자의 다양성, 불리언 질의의 형식화이다. 따라서 본 논문에서는 검색 엔진의 특성에 관계없이 검색을 할 수 있도록 하기 위하여 자연어를 사용하여 정보를 검색한다. 자연어 질의는 일상적인 생활에서 사용하는 언어를 기반으로 하기 때문에 인터넷에 친숙하지 못한 초보자들도 손쉽게 사용할 수 있다는 장점이 있다. 그리고 질의 처리 에이전트와의 대화를 통하여 사용자는 자신의 요구를 더욱 명확하게 할 수 있고, 그 결과 사용자는 자신이 필요로 하는 문서를 더욱 신속하게 찾을 수 있다.

• 기계저널
• /
• 제26권4호
• /
• pp.290-296
• /
• 1986

좋은 품질의 제품을 높은능률 낮은원가로 생산하는 것이 가공의 목표이다. 연삭가공은 이 목 표에 도달할 수 있는 가공기술의 하나이며 현재 기계부품의 제작에 있어서 최종공정으로 널리 활용되고 있으나 아직도 해명되어야 할 과제들(예를 들면 연삭입력조건의 형식화, 연삭결과의 예측기술 확립, 숫돌의 선택기준의 설정, 연삭가공의 고능률화 고정도화를 위한 최적기술등)이 적지 않다. 이들 문제를 해결하고 연삭가공 기술을 고도화하기 위해 연삭현상을 파악하여야 한다. 이러한 관점에서 본고에서는 먼저 연삭가공 시스템과 연삭과정의 몇가지 현상을 고찰하고 나아가 고능률 고정도화를 위한 연삭가공기술로서 연삭입자의 절인속도를 증가하는 고속연삭법, 절인과 공작물과의 간섭현상을 크게하는 중연삭법, 유효숫돌의 절대량과 연삭량을 제어하는 정 밀연삭에 관하여 기술코져 한다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제52권4호
• /
• pp.497-516
• /
• 2013

Inspite of many strengthens of storytelling mathematics education, some problems are expected: when math is taught in concrete contexts, students may have trouble to extract concepts, to transfer to noble and abstract contexts, and they may experience inert knowledge problem. Low achieving students are particularly prone to these issues. To solve these problems some suggestions are made by the author. These are analogous encoding and progressive formalism. Using analogous encoding method students can construct concepts and schema more easily and transfer knowledge which shares structural similarity. Progressive formalism is an effective way of introducing concepts progressively moving from concrete contexts to abstract context.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(B)
• /
• pp.470-473
• /
• 2011

본 논문에서는 첫째, 기존 HW/SW partitioning문제의 접근 방식 모델에서 다루지 못하였던 시간 의존적인 개발 기간, 판매 가격, 판매량, time-to-market 등의 요소들을 반영하는 multi-objective 최적화문제 형태의 새로운 "Sequential HW/SW Partitioning Optimization Framework(SPOF)"를 제시하고 둘째, 그 모델로 형식화된 NP-hard 문제를 일반적으로 해결하기위한 해법으로 SPOF의 형태에 맞게끔 변형한 chromosome과 genetic operation을 사용하는 메타휴리스틱 "Fast and Elitist Multi-objective Genetic Algorithm(NSGA-II)"을 제시한다. 실험을 통하여 NSGA-II의 최적 솔루션에의 수렴성을 보인다.

• 한국항공우주학회지
• /
• 제36권3호
• /
• pp.244-249
• /
• 2008

본 논문에서는 적분비례항법 유도방식을 사용하는 유도탄 유도루프에 대한 안정된 시간영역을 유도하였다. 고려된 유도탄 유도루프는 한 개의 선형 시불변요소와 시변 궤환이득으로 구성된 제어시스템으로 형식화될 수 있다. Circle criterion 을 적용함으로써 안정성이 보장되는 비행 잔여시간에 대한 한계치를 총 비행시간의 함수로 유도할 수 있었으며, Popov criterion 을 통해 얻는 결과에 비해 덜 보수적인 결과를 얻었다.