• 제목/요약/키워드: 형식적 정의

검색결과 741건 처리시간 0.042초

진리함수와 의미론적 확장 - 진리치 함수, 진리연산 그리고 의미론적 확장 -

  • 양은석
    • 논리연구
    • /
    • 제3권
    • /
    • pp.27-51
    • /
    • 2000
  • 이글의 기본적인 목적은 2치를 포함한 다치 논리 체계들간의 관계를 검토하는 데 있다. 이를 위하여 여기서는 명제를 대상으로 한 형식 의미 해석체계들 간에 고러해야 할 의미론적 확장 개념을 분명히 하였다. 구체적으로 다음의 두 작업이 수행되었다 첫째로 2치와 다치 논리 또는 다치 논리들간에 적용될 만한 의미론적 확장 개념을 의미해석의 바탕을 이루는 진리치 함수와 진리연산에 맞게 정의하였다. 둘째로 정의의 적합성을 확장, 비확장 사례 증명을 통해 예증해 보였다.

  • PDF

$Zn_{0.5}Mg_{0.5}Te$$Zn_{0.5}Mg_{0.5}Te:Co$ 단결정 성장과 열역학 함수 추정 (Growth and Thermodynamic Function Properties of Undoped and Co-doped $Zn_{0.5}Mg_{0.5}Te$ Single Crystals)

  • 김용근
    • 한국진공학회지
    • /
    • 제3권2호
    • /
    • pp.198-202
    • /
    • 1994
  • Zn0.5Mg0.5Te 및 Zn0.5Mg0.5Te:Co 단결정을 온도진동법을 응용한 화학수송법으로 성장시켰고, 광 학적 energy gap의 온도의존성은 Varshni의형식에 잘 적용되었다. 광학적 energy gap의 온도의존성으 로부터 열역학 기본함수인 entropy, enthalpy, heat capacity를 구했다.

  • PDF

XML기반 코스웨어 구조화 (Courseware Formalization based on XML)

  • 양경민;한성국
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
    • /
    • pp.697-699
    • /
    • 2001
  • 현재 대부분의 코스웨어는 HTML 및 멀티미디어 요소로 작성되어 있다. 그러나 이들 자료들은 다른 용도로 재사용하기는 어렵다. 이러한 학습자료들은 Web에서 정보의 공유, 검색, 재사용 등이 유연하게 이루어져야 한다. 이에 본 논문은 계층적인 구조를 갖는 XML을 이용하여 효율적인 코스웨어를 구현할 수 있도록 DTD를 정의하여 검증(valid)된 XML문서를 만들고자 한다. 코스웨어 제작을 위해서는 교과의 내용 및 교육과정을 구조화하고 다양하게 만들어진 자료를 공유 및 재사용할 수 있는 표준이 필요하다. 본 논문에서는 이를 위해 Courseware DTD를 정의하고 표준 XML문서 형식의 코스웨어 제작 방안을 제시한다.

  • PDF

분산 데이터 통합을 위한 색인기반의 매핑 시스템 (Mapping System based on Indexing for Integrating Distributed Data)

  • 설진안;김운용;정계동;최영근
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (3)
    • /
    • pp.436-438
    • /
    • 2003
  • 분산된 데이터는 이질적인 시스템 환경으로 인하여 공유하기 어렵고. 데이터의 형식 및 데이터 모델이 서로 다르게 정의되어 사용함으로서 통합하기 또한 어렵다. 본 논문에서는 이러한 문제를 해결하기 위해 분산된 데이터를 XML문서로 변환한다. 또한 색인기법으로 문서의 구조 및 컨텐츠 정보를 추출하여 서로 다르게 정의된 의미정보를 데이터 사전과 비교하여 표준문서로 통할할 수 있는 색인 기반의 매핑 시스템에 대해 기술한다. 제안된 매핑 시스템은 DOM이나 SAX와 같은 표준 인터페이스를 사용하여 XML문서를 통합하는 것보다 효율적으로 통합할 수 있다.

  • PDF

광고와 메타버스

  • 송영아
    • 방송과미디어
    • /
    • 제27권3호
    • /
    • pp.55-66
    • /
    • 2022
  • 광고는 매체와 기술 의존적인 본질에 의해 새로운 매체와 플랫폼, 기술이 생겨나고 발전할 때마다 새로운 정의에 의해 개념지어졌다. 이 글에서는 전통적인 개념의 광고와 인터넷 시대의 광고의 정의에 대해 알아보고, 인터넷의 진화된 버전이라 여겨지는 메타버스 내에서의 광고에 대해 논의했다. 인터렉티브 광고모델(IAM)에 따라 메타버스 이용자의 동기를 파악했고, 메타버스 내 여러 광고가 어떤 방식으로 그 동기를 충족시킬 수 있는지 논의했다. 마지막으로 메타버스를 활용한 광고의 다양한 형식을 실제 사례를 통해 파악했다.

소셜미디어에서의 뉴스 정보 수용과 전통 미디어 뉴스 읽기의 비교 카카오톡의 대화와 신문 비교를 중심으로 (Comprehension of a News Story on SNS in Comparison to the Traditional Newspaper)

  • 이미나;양승찬;서희정
    • 한국언론정보학보
    • /
    • 제81권
    • /
    • pp.299-328
    • /
    • 2017
  • 본 연구는 소셜미디어에서의 뉴스 정보 수용을 기존의 전통적인 신문기사 형식의 뉴스 읽기와 비교 분석했다. 전통적인 신문기사 읽기 조건과 비교할 때 소셜미디어를 통한 뉴스 전달은 대화저널리즘 양식으로 이뤄진다고 보았으며 이러한 양식의 차이가 뉴스 정보의 기억과 구성에 어떤 차이를 만들어내는지를 유사실험을 통해 관찰했다. 실험에서는 동일한 내용의 가상의 기사를 전통적인 신문기사 형식과 소셜미디어의 대화체 이야기 정보 방식으로 제작해 신문기사 조건과 소셜미디어 조건에 활용했다. 뉴스의 이해 정도를 정보 기억(전체 내용 기억, 주요 내용 기억, 내용을 틀리게 기억한 정도, 부가적인 정보의 기억, 사실 정보 획득)과 구성(인과관계 기억)의 두 가지 측면에서 관찰했다. 분석결과, 신문기사 조건은 소셜미디어 조건보다 정보 기억에서 더 뛰어났다. 전체 내용의 기억 정도, 주요 내용을 기억한 정도, 부가적인 정보를 기억한 정도, 사실 정보 획득 등에서 신문기사 조건이 우세했으며, 내용을 틀리게 기억한 정도는 소셜미디어 조건이 더 높은 것으로 나타났다. 인과관계 기억의 경우, 일반적 인과관계를 기억하는 정도는 소셜미디어 조건이 더 뛰어났지만 해당 기사에 특정한 인과관계를 기억하는 정도는 신문기사 조건이 소셜미디어 조건보다 유의미하게 더 높은 것으로 나타났다. 이러한 연구결과는 전통적인 신문기사 형식이 뉴스 내용을 이해하는 데 도움이 됨을 시사하고 있다.

  • PDF

객체지향 어플리케이션의 확장을 위한 클래스 계층 구조의 재구성에 대한 정형기법 (A Formal Approach for the Reorganization of Class Hierarchies for the Extension of Object Oriented Applications)

  • 황석형;김대원;양해술
    • 한국정보처리학회논문지
    • /
    • 제6권3호
    • /
    • pp.589-602
    • /
    • 1999
  • 객체 지향 개념에 토대를 둔 어플리케이션 개발에는 여러 가지 이점이 있으나, 그 중 하나로서, 기존 성과물의 재이용을 들 수 있다. 유효한 재이용 수법 중의 하나로서, 본 논문에서는 클래스 계층 구조를 바탕으로 하는 확장 재구성법에 대해 논한다 우선, 클래스 계층 구조를 보다 형식적인 형태로 정의하고 이론적인 논술이 가능토록 하기 위해서, 클래스 계층 구조를 유한 유방향 그래프 형태인 클래스 계층 그래프로 나타낸다 또한, 클래스 계층 그래프간의 순서관계로써 객체 확장관계 를 정의한다. 객체 확장관계를 만족하는 클래스 계층 그래프의 재구성법으로써, 다섯가지 기본조작을 정의하고, 정의된 기본 조작만을 이용하여 클래스계층 그래프를 확장 재구성할 수 있음을 보이기위해, 기본 조작의 정당성 및 완전성을 증명한다. 본 논문에서 제안한 객체 확장관계 및 기본 재구성기법은, 기존의 객체 지향 어플리케이션을 확장 재구성하고자 할 때 이론 적인 토대로서 이용할 수 있다.

  • PDF

의미 검색을 위한 시맨틱 저장소 설계 (Design of Semantic Repository for Searching the Semantics)

  • 정연진;구태완;이광모
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (A)
    • /
    • pp.664-666
    • /
    • 2005
  • 시맨틱 웹은 네트워크에 존재하는 자원에 의미를 부여하고 이를 컴퓨터가 자동으로 처리 할 수 있도록 설계된 차세대 지능형 웹이라 할 수 있다. 그러나 수많은 양의 문서를 대상으로 각각의 의미를 정의하기 어려울 뿐만 아니라 이미 정의된 의미를 바꾸는 데에도 문제가 있다. 또한 여러 종류의 의미를 중첩적으로 갖는 것이 힘들며, 문서 검색을 하는데 있어 전체 네트워크를 대상으로 검색해야 한다는 정에서 소모적인 면을 가지고 있다. 본 논문에서는 문서의 의미 정의에 있어 내재된 문제점과 다의성 문제를 해결하기 위해, 문서와 대응할 수 있는 의미를 구조화된 형식에 따라 분리하여 이를 통합적으로 관리 할 수 있는 SR(Semantic Repository)을 설계 하고자 한다. 여기서 SR은 각 문서에 대응되는 의미와 각 문서들 사이의 독립된 의미관계만을 나타내므로 검색에 따른 부하 감소를 기대할 수 있다.

  • PDF

조직 구성원의 지식기여도 평가 도구 개발에 관한 연구 (A Study on the Development of an Instrument for Knowledge Contribution Assessment)

  • 나미자;김효근
    • 경영정보학연구
    • /
    • 제6권2호
    • /
    • pp.113-135
    • /
    • 2004
  • 본 연구는 조직구성원의 지식기여도를 객관적으로 측정하기 위한 평가항목 및 각 항목의 가중치를 개발하고자 하는 연구이다. 평가항목의 개발을 위해 연역적 방법과 가중치 개발을 위해 델파이 기법이 각각 사용되었다. 평가항목의 도출을 위해 우선 '지식기여'에 대하여 정의를 내리는 것으로 출발하였다. 도출된 정의를 기초로, 지식기여의 형태는 크게 형식적 기여와 암묵적 기여로 구분되었다. 형식적 기여는 기여하는 지식의 내용에 따라 사실지와 방법지로 구분되었다. 사실지는 구체적으로 방법지 산출물과 기타 사실지로, 방법지는 방법지 매뉴얼과 체득된 방법지로 구분되었다. 암묵적 기여는 암묵성 정도에 따라 대리, 시범, 질의응답(Q&A) 세가지로 구분되었다. 7가지 지식기여 요소에 대한 평가는 양적 측면과질적 측면에서 이루어졌다. 본 연구는 조직구성원의 지식기여의 활동결과는 지식관리시스템(KMS)에 저장되는 것을 전제로 하고 있다. 지식관리시스템 상에서의 형식적 기여의 경우 양적인 평가에서는 게시건수 혹은 수행건수로, 질적인 평가에서의 평가는 조회건수나 만족도 평가, 요청 받은 건수 등으로 측정하였다. 이상과 같이 연역적 방법에 의해 평가요소 및 평가항목들을 개발하고 각 평가항목들에 대한 가중치분석을 위해 전체를 100으로 하였을 때의 각 항목의 가중치를 정하기 위해 전문가들의 의견을 조합하는 델파이기법이 사용되었다. 델파이 결과, 형식적 기여 차원과 암묵적 기여 차원에 동일한 가중치가 부여되었으며, 형식적 기여차원에서는 사실지 보다는 방법지에 가중치가 좀더 부여되었고, 암묵지 기여 차원에서는 질의응답 - 시범 - 대리의 순으로 가중치가 부여되었다. 이를 통해 '타인의 지식 획득과 활용에 도움을 주는 지식기여행위가 되기 위해서는 어떤 형태로든 지식 제공자와 지식 수여자간의 밀접한 상호작용이 높아야 하며, 제공자의 지식이 타인에게 빠르게 그리고 잘 전달될 수록 지식기여도가 높다'라는 결론이 도출되었다. 본 연구는 지식기여 활동에 대한 평가 지표를 마련하였다는 점에서 의의가 크다 하겠으나, 업종별이나 산업별로 세분화된 평가 지표 마련에는 미흡하였다. 또한 항후 지식 경영을 도입하여 시행한 연수에 비추어서 평가 항목별 가중치를 부여를 할 수 있다면 보다 정교한 평가도구의 제공이 될 수 있을 것으로 보인다.

대규모 네트워크 환경을 위한 통합 침입탐지 시스템 (An Integrated Intrusion Detection System for a Large-scale Network Environment)

  • 안정모;조진성;정병수
    • 한국통신학회논문지
    • /
    • 제29권7C호
    • /
    • pp.985-996
    • /
    • 2004
  • 최근 해마다 급증하는 보안 사고를 해결하기 위한 방안으로써, 침입탐지 시스템이 부각되고 있다. 하지만, 현재와 같은 대규모 네트워크 환경에서는 지역적인 침입탐지 시스템으로 다양한 형태의 침입을 탐지하는 데에 많은 문제점을 가지고 있다. 이에 침입탐지 구성 요소들을 분산시키거나 계층적으로 구성하기 위한 연구와 표준화된 통합 프로토콜의 개발 및 침입탐지 시스템들 간에 교환되는 메시지의 표준화된 형식을 정의하는 연구가 활발히 진행되고 있다. 본 논문에서는 이기종 침입탐지 시스템간의 표준화된 침입탐지 정보 교환을 위하여 표준화된 메시지 형식 및 프로토콜을 사용하며, 통합된 침입탐지 정보들에 대한 상호 연관성 분석을 통하여 보다 효율적인 관리와 분석을 수행할 수 있는 통합 침입탐지 시스템을 설계 및 구현한다. 본 논문에서 제안한 시스템에서는 분산된 침입탐지 시스템들의 효율적인 운용을 위하여 정책 프로파일을 정의ㆍ교환하고, 이기종 시스템간의 상호 인증을 위하여 PKI를 이용한다. 이러한 설계를 기반으로 Snort로부터 수집한 침입탐지 데이터를 IDMEF 형식의 메시지로 변환하여 BEEP 기반의 IDXP 프로토콜을 사용하여 송수신하고 이를 다시 통합 판정이 가능한 정보로 변환하기 위한 통합 침입탐지 시스템의 프로토타입을 구현하여 성능을 분석한다.