• Title/Summary/Keyword: 논리규칙

Search Result 290, Processing Time 0.02 seconds

SDTS Conversion System (SDTS 변환 시스템)

  • Lee, Kang-Jun;Kim, Jun-Jong;Sul, Young-Min;Han, Ki-Joon
    • 한국공간정보시스템학회:학술대회논문집
    • /
    • 1998.07a
    • /
    • pp.181-195
    • /
    • 1998
  • 지리 정보 시스템(GIS)은 그 특성상 대용량의 GIS 데이타를 사용하며, 다양한 운영체제와 하드웨어 상에서 구현된다. 이렇게 상이한 운영체제와 하드웨어상의 공간데이타들은 일반적으로 서로 다른 GIS 데이타 포맷을 갖고 있기 때문에 효율적인 자료 교환이 불가능하다면 데이타 공유가 매우 어려울 뿐만 아니라 공통 데이터의 중복 보관 및 관리로 인해 막대한 경제적 손실을 가져온다. 이와 같은 문제점을 해결하기 위해 국외에서는 이미 GIS 데이타 교환을 위한 방안으로 공통 교환 표준 포맷 작업이 10여년 전부터 진행되어왔으며, 국내의 경우도 국가 차원에서 지리 정보시스템의 국가 표준을 설정하고, 기본 공간 데이타베이스를 구축하고 있다. 그리하여, 국가 기본 포맷과 공통 데이타 교환 포맷의 표준으로 SDTS(Spatial Data Transfer Standard)를 채택하였다. 본 논문에서는 범용의 SDTS 변환 시스템의 구현에 필요한 공간 데이타 분석, 논리적 설계, 물리적 설계 등의 전반적인 SDTS 변환과정, 테스트 검증 사항, 그리고 반드시 지켜야 할 규칙들을 제시한다. 마지막으로, 실제 공간 데이타인 GOTHIC과 SDTS 간의 변환 시스템의 설계와 구현에 대해서 언급한다.

  • PDF

An Algorithm for Mapping an SGML DTD to UML Class Diagram (SGML DTD로부터 UML 클래스 다이어그램으로의 사상 알고리즘)

  • Hwang, Yong-Ju;Kim, Yong-Seong
    • Journal of KIISE:Software and Applications
    • /
    • v.26 no.4
    • /
    • pp.508-520
    • /
    • 1999
  • 이 기종 시스템들간의 교환을 목적으로 사용되는 SGML(Standard Generalized Markup Language)문서는 논리적인 구조를 나타내는 구조를 나타내는 DTD(Document Type Definition )가 필요하다. 이러한 SGML DTD을 모델링하기 위해 기존에 여러 가지 방법이 제안되어 왔는데, 본 연구에서는 SGML DTD를 UML (Unified Modeling Language)클래스 다이어그램이 객체 모델로 사상시키는 알고리즘과 데이터 베이스 스키마 형태로 나타내기 위한 형식 모델을 제안한다. 본 연구에서 제안한 사상 규칙들과 알고리즘을 이용하면 SGML DTD을 보다 자연스럽게 객체지향 모델링하므로 데이터베이스 스키마로 변환이 용이하며, 형식모델을 데이터베이스 스키마 형태를 정의하므로 객체지향적인 문서 처리와 검색을 위한 효율적인 환경을 제공하게 된다.

The DTD Development through Document Structure Analysis of Journals (학술지 논문기사의 문헌구조 분석을 통한 DTD개발)

  • Yoon, So-Young
    • Journal of Information Management
    • /
    • v.28 no.2
    • /
    • pp.20-53
    • /
    • 1997
  • To use SGML, which is international standard of markup language to construct fulltext database in digital libraries, the DTD is developed first. It is based on structure analysis of document. This study develops the SGML DTD for Korean document through document structure analysis of the Journal of the Korean Society for Information Management.

  • PDF

Leibniz's concept of infinite and infinitely small and arithmetic of infinite (라이프니츠의 무한과 무한소의 개념과 무한의 연산)

  • Lee, Jin-Ho
    • Journal for History of Mathematics
    • /
    • v.18 no.3
    • /
    • pp.67-78
    • /
    • 2005
  • In this paper we deals with Leibniz's definition of infinite and infinitely small quantities, infinite quantities and theory of quantified indivisibles in comparison with Galileo's concept of indivisibles. Leibniz developed 'method of indivisible' in order to introduce the integrability of continuous functions. also we deals with this demonstration, with Leibniz's rules of arithmetic of infinitely small and infinite quantities.

  • PDF

Maximally Efficient Syntactic Parsing with Minimal Resources (최소자원 최대효과의 구문분석)

  • Shin, Hyo-Pil
    • Annual Conference on Human and Language Technology
    • /
    • 1999.10e
    • /
    • pp.242-248
    • /
    • 1999
  • 이 논문은 지역적 동사구 분할에 바탕을 두고 서술어가 문말에 위치하는 언어에 특성에서 기인하는 속성을 반영하는 부분적 그러나 빠른 구문분석에 관해 논한다. 즉 완벽성 보다는 신속함 그리고 신뢰에 바탕을 둔 새로운 한국어 구문분석에 대해 논의한다. 기존의 문법이론 대신 한국어의 형태적 통사적 특성에 기인한, 성분들의 분할(partitions)에 의한 단위 (chunks) 분석방법을 제안한다. 근간은 동사구 장벽(VP-barrier) 알고리즘이며, 이 알고리즘은 한 문장안에서의 다양한 동사의 파생접사에 의해 형성되는 관형화, 명사화, 부사화 등의 파생구조와 내포된 동사구(인용문, 종속문 등)에 의해 형성되는 지역적 동사구내에서 그 성분들의 논리적인 분할을 구성하고 다시 그 다음 요소와 체계적으로 결합하는 관계로 확장하여 가능한 구조들을 생성한다. 다시 언어의존적인 발견적 규칙(heuristics)들을 점수화하여 가장 높은 점수의 단위구조를 적격한 구조로 선택한다. 이 방법은 하위범주화 및 의미정보를 사용하지 않는, 빠른 구문분석이 요구되는 시스템을 위해 고안되었으며, 집단적인 노력이 아닌 개인적인 노력 및 최소의 자원으로도 최대의 효과를 얻을 수 있다는데 그 의의가 있다.

  • PDF

Fuzzy rule based automated liver function test analysis (퍼지논리에 입각한 간기능 검사 결과의 자동분석)

  • Yang, Seung-Ok;Jung, Ki-Ho;Kim, Jong-Won;Hwang, Yu-Seong;Lee, Tae-Soo;Cha, Eun-Jong
    • Proceedings of the KOSOMBE Conference
    • /
    • v.1993 no.05
    • /
    • pp.94-97
    • /
    • 1993
  • 퍼지규칙에 기반을 둔 간기능검사 자동 분석 시스템을 제안하였다. 전문의의 지식과 경험을 수리화한 소속함수를 설정한 후 4가지의 간질환이 있는 118명의 환자를 대상으로 측정된 6종목의 간기능검사 결과에 적용하여 80%의 높은 적중율을 얻었다. 질환별 적중향상은 전문의가 판정한 때 예상되는 것과 일치하였다. 본 연구에서 제안하는 시스템은 유사한 상황의 모든 진단시스템에 동일하게 적용할 수 있다.

  • PDF

Diachronic Study of the Attribution and Utilization System of National R&D Achievement (국가 연구개발 성과의 귀속·활용 제도의 통시적 고찰 및 개선 방향)

  • Buh, Gyoung-Ho
    • Proceedings of the Korea Technology Innovation Society Conference
    • /
    • 2017.11a
    • /
    • pp.1133-1147
    • /
    • 2017
  • 탈추격형의 국가 연구개발 진흥의 관점에서, 산재한 법규에 규정된 국가 연구개발 성과의 귀속 활용 제도와 문제점을 총체적으로 살펴보고, 통시적 고찰을 통하여 그 개선방향을 모색한다. 국가 연구개발 성과물을 개발자에게 귀속되는 것으로 2010년에 규정하였으나, 그 성과물의 활용에 관련된 하위 규정은 이에 상응하게 정비되지 않아 제약으로 작용하고 있다. 대표적으로 대통령령으로 규정된 통상실시의 원칙과 지재권 양도의 제약 규칙이다. 공공기술의 확산을 통한 산업화의 논리에서 벗어나, 재산권의 자유로운 처분의 개념으로 국가 연구개발 성과의 활용 제도를 바라 볼 필요가 있다.

  • PDF

Decision support system on selection of classification method for remote sensing imagery (위성 영상 분류 기법 선정을 위한 의사 결정 지원 시스템)

  • 황보주원;유기윤;김용일
    • Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
    • /
    • 2004.03a
    • /
    • pp.341-346
    • /
    • 2004
  • 본 연구에서는 사례기반추론(case-based reasoning)을 기본으로 하여 실무자의 분류 기법 또는 분류 구조 결정을 돕는 의사 결정 지원 시스템의 모델을 제시한다. 주요한 네 가지 고려 항목은 자료종류(dataset), 위치(location), 기후(climate), 그리고 분류항목(class)이며 사용자는 이들 네 항목에 대해 적합한 값을 선택하게 된다. 본 시스템은 색인화(indexing) 규칙에 따라 관계형 데이터베이스에 저장된 사례들을 추출하여 제시하며 사용자는 그 중 가장 높은 일치도를 보인 사례들을 참고할 수 있다. 본 연구에서는 위계구조를 통해 다양한 분류 조건을 스크린 상에서 선택할 수 있게 함으로써 사용자가 이에 내재된 논리를 분류 구조의 설계에 반영할 수 있게 한다. 또한 Statistics 기능을 통해 여러 사례의 항목당 분포를 사용자가 검토할 수 있게 함으로써 가장 적합한 사례를 의사결정 지원 시스템과의 피드백을 통해 찾아낼 수 있게 해준다. 이밖에 분류 조건을 변화 시켜가면서 상황의 변화를 참고할 수 있도록 Navigation 기능을 고안하였다.

  • PDF

Teaching Strategies of the Concept of Programming function Using a Web_based JavaMAL Learning System (웹 기반 JavaMAL 환경을 활용한 프로그래밍의 함수 개념 지도 방안)

  • Jung, Myung-Young;Kim, Kap-Su
    • 한국정보교육학회:학술대회논문집
    • /
    • 2007.01a
    • /
    • pp.209-216
    • /
    • 2007
  • 고도의 지식정보사회 속에서 논리적 사고력과 창의력, 문제해결력을 길러주는 프로그래밍 교육의 필요성은 더욱 강조되고 있다. 이에 본 연구에서는 초등학생들에게 적합한 교육용 프로그래밍 언어인 JavaMAL을 활용하여, 프로그래밍의 함수개념 형성을 위한 학습모형을 구안 적용하고 일반화 가능성을 탐색하고자 하였다. 먼저 기초적인 프로그래밍 요소 중 함수개념과 관련된 학습요소를 추출하여 차시별 지도계획을 수립하였다. 또한, 프로그래밍의 함수가 수학적 함수의 모방이라는 것에 착안하여 수학의 '규칙성과 함수'지도 단계를 LOGO의 문제해결력 수업모형인 안내된 발견식 교수법(guided discovery teaching method)에 강화한 후, 인터넷을 활용한 문제해결 수업모형을 구안하였다. 기본명령어와 변수개념을 이미 익힌 계발활동 부서 6학년 아동들을 지도 대상으로 한 달간 웹 기반 JavaMAL 환경에서 학습할 수 있도록 하였으며, 게시판 활동 및 활동지를 통해 함수개념 형성 여부를 측정하였다.

  • PDF

XML기반의 전자상거래 문서양식 관리

  • 김형도
    • Information and Communications Magazine
    • /
    • v.17 no.10
    • /
    • pp.129-139
    • /
    • 2000
  • HTML로 표현된 양식은 데이터 모델을 포함하고 있지 않기 때문에 종이 양식과 같은 전자상거래 레코드를 구성하기 어렵다. XML로 양식을 표현하기 위한 노력은 XFDL이 대표적이다. 전자상거래 언어로서 XFDL의 가치는 데이터, 표현, 계산규칙, 의미 등에 대한 정보를 단일한 XML 문서에 통합하는 능력이 있다. XFDL은 고품질의 배치(Layout), 문서화(Documentation) 지원, 통합 계산, 입력 검증, 복수의 중첩되는 디지털 서명, 감사가 가능한 거래 레크드 등을 지원한다. 그러나, 이러한 특징을 갖는 XFDL은 내용과 표현을 분리하고자 하는 W3C의 정책과는 괴리가 있다. XForms는 HTML 양식의 한계점을 개선하기 위해서 W3C에서 활발히 추진되고 있는 XML기반의 차세대 양식이다. 핵심 아이디어는 사용자 인터페이스와 표현을 데이터 모델과 논리로부터 분리시켜서, 하나의 폼을 이동단말, 텔레비전, PC등 다양한 용도로 사용할 수 있도록 지원한다는 점이다. 이 논문에서는 차세대의 양식 표준으로 예상되는 XForms를 중심으로 기업간의 양식 처리를 위한 방안에 대하여 논한다.

  • PDF