• 제목/요약/키워드: ordered pair

검색결과 45건 처리시간 0.022초

RDF 모델을 컬러 페트리 넷으로 변환하는 알고리즘 (An Algorithm to Transform RDF Models into Colored Petri Nets)

  • 임재걸;권기용;주재훈;이강재
    • 한국컴퓨터정보학회논문지
    • /
    • 제14권1호
    • /
    • pp.173-181
    • /
    • 2009
  • 본 논문은 온톨로지 작성에 사용되는 RDF(Resource Description Framework) 모델을 컬러 페트리 넷 모델로 변환하는 알고리즘을 제안한다. 제안하는 알고리즘은 RDF 모델의 클래스와 프로퍼티들을 컬러 페트리 넷의 플레이스로 매핑하여 RDF 모델의 의미를 컬러 페트리 넷의 토폴로지로 변환한 다음 클래스와 프로퍼티들 간의 관계를 토큰의 전이로 나타냄으로써 RDF의 문장들을 컬러 페트리 넷에 반영한다. RDF 문장들을 반영하는 기본적인 방법은 주어와 객체를 나타내는 토큰들의 순서쌍으로 구성된 토큰을 생성하여, 술어를 나타내는 자리로 전이하는 방법이다. 주어진 RDF 모델을 제안하는 방법으로 실제 CPNTools를 이용하여 컬러 페트리 넷 모델로 변환하고, RDF 질의에 대한 추론과 답을 CPNTools에서 구하는 사례를 보였다.

비 개념에 대한 역사적, 수학적, 심리적 분석 (A Historical, Mathematical, Psychological Analysis on Ratio Concept)

  • 정은실
    • 대한수학교육학회지:학교수학
    • /
    • 제5권4호
    • /
    • pp.421-440
    • /
    • 2003
  • 본 논문에서는 비 개념이 역사적으로 어떤 의미를 가지고 있으며, 비에 대한 생각이 어떻게 변화되어 왔는지 살펴본다. 또한 비에 대한 여러 가지 수학적 의미를 찾아보고, 비 개념의 본질이 어떠해야 하는지를 알아본다. 그리고 비례적 추론의 직관적 근원과 발달 과정을 찾아보고 비 개념의 심리적 측면을 분석해 봄으로써 비 개념 지도와 관련하여 교육적 시사점을 탐구한다.

  • PDF

초등학교 영재학급에서 유추를 활용한 위도프 게임의 해법 탐구 지도 방법 (A Case Study on Teaching Solutions Exploration of Wythoff's Game through Using the Analogy for the Elementary Gifted Class)

  • 배신영;송상헌
    • 대한수학교육학회지:수학교육학연구
    • /
    • 제25권1호
    • /
    • pp.95-111
    • /
    • 2015
  • 본 연구는 초등학교 5학년 영재학급 학생들이 유추적 사고를 활용하여 위도프 게임의 해법을 탐구하는 과정에서 보이는 사례 분석을 통하여 영재학급에서의 유용한 지도 방법을 고찰하는 데 목적이 있다. 이를 위해 I광역시에 거주하는 초등학교 영재학급 3개 반 36명의 학생들을 대상으로 수업 과정과 학습지를 분석하고 그들 중 소속 학급 내 성취 수준이 중상 이상인 6명의 학생들을 집중 관찰 및 면담하여 그들의 사고 과정을 상세히 분석하였다. 본 연구에서는 위도프 게임을 목표 문제로 삼고 이와 구조적 유사성을 지닌 퀸즈 무브 게임, 표면적 유사성을 지닌 2모둠 님 게임을 기저 문제로 하여 유사성의 유형이 해법 탐구에 미치는 영향을 확인하였다. 높은 수준의 사고를 하는 학생들은 두 문제 간의 표면적 유사성보다는 구조적 유사성에 더 주목함으로써 목표 문제의 해법을 발견해 낼 수 있음을 확인하였다. 또한 Sternberg가 제시한 유추의 7개 과정(부호화, 추론, 사상, 적용, 비교, 정당화, 반응) 중 핵심 요소인 4개 과정(부호화, 추론, 사상, 적용)을 중심으로 현장 적용 수업을 분석해 봄으로써 초등학교 영재학급에서 위도프 게임을 지도할 때 활용할 수 있는 유추의 주요 과정별 지도 방법을 제안하였다.

교정장치에 의해 유발된 구내궤양 치료에 대한 Polyvinylpyrrolidone-sodium hyaluronate (Aloclair$^{TM}$)의 임상적 효과 (Efficacy of Aloclair$^{TM}$ for Treatment of Intraoral Ulcer Caused by Orthodontic Appliance)

  • 이주희;이상민;박인영
    • 구강회복응용과학지
    • /
    • 제28권2호
    • /
    • pp.109-118
    • /
    • 2012
  • 본 연구는 교정장치에 의해 자극되어 나타나는 구강내 통증을 감소시키는 Polyvinylpyrrolidone-sodium hyaluronate의 효과를 평가해보기 위해 시행되었다. 100명의 환자에게 Aloclair$^{TM}$를 용법에 맞게 사용하도록 지시하였고 총 3개의 군으로 나누어 통증과 불편감을 조사하였다. 각 설문지에서 1.신환으로 bracket bonding을 처음 한 경우로 교정용 왁스 사용과 비교하여 조사한 군, 2.부가적인 장치 (미니스크류, 제 2 대구치 장치 부착 등)를 장착한 경우, 3.교정장치로 인해 구강내 궤양이 생겨 내원한 경우로 사용 전, 후의 통증과 불편감을 비교하였다. Aloclair$^{TM}$사용 후 통증이 줄어들기 시작한 시간은 평균 3.5분 후이며 효과 지속시간은 평균 2.7시간이었다. 모든 군에서 Aloclair$^{TM}$를 사용한 직후부터 시간에 따라 통증 정도가 유의성 있게 감소하였다. 1군에서 Aloclair$^{TM}$가 교정용 왁스에 비해 평균 통증의 정도가 높게 나왔지만 Aloclair$^{TM}$역시 시간에 따라 통증이 유의성 있게 감소하였다. 3군의 경우 이미 궤양이 존재하는 환자이기 때문에 Aloclair$^{TM}$에 대한 만족도가 더 높았고 통증도 유의성 있게 감소하였다. 결론적으로 Aloclair$^{TM}$는 적용하기도 비교적 쉽고 구내 궤양에 대한 통증완화에 효과적이어서 교정치료 중인 환자들에게 많은 도움이 될 수 있을 것으로 보인다.

안전한 리눅스 시스템을 위한 E-BLP 보안 모델과 구현 (E-BLP Security Model for Secure Linux System and Its Implementation)

  • 강정민;신욱;박춘구;이동익
    • 정보처리학회논문지A
    • /
    • 제8A권4호
    • /
    • pp.391-398
    • /
    • 2001
  • 대부분의 안전한 운영체제는 주체와 객체에 보안 등급을 부여하여 운영하는 다중등급 정책(MLP:Multi-Level Policy)을 수용하고 있으며, BLP(Bell and LaPadula) 모델은 이 정책을 표현하는 검증된 대표적인 모델이다. 하지만 BLP 모델을 적용한 안전한 운영체제들은 사용자의 보안 등급을 프로세스에 그대로 상속하고 있음을 알 수 있다. 이러한 접근방법의 문제점은 프로세스를 전적으로 신뢰할 수 없다는 것에서 기인한다. 즉, 사용자의 보안 등급과 권한허용 범위를 오류가 내재되어 있거나 의도적으로 수정된 악의적인(malicious) 프로세스에게 그대로 상속할 경우, 시스템 안전성이 파괴될 가능성이 있다. 이는 BLP 모델이 접근 주체를 정의함에 있어서 시스템 사용자와 실제 그 접근을 대행하는 프로세스를 동일시 하도록 단순하게 정의하고 있기 때문이며, 따라서 사용자와 프로세스간 신뢰관계를 모델에 도입함으로써 해결 가능하다. 또한 다중등급 보안 운영체제들은 접근 주체인 프로세스가 접근 객체로서 존재하는 등급화 된 프로그램 실행 시, 새로운 프로세스를 위한 보안 등급을 부여해야 하는데, 접근 주체와 접근 객체의 보안 등급이 다를 경우, 보안 등급 결정 문제가 발생하며 정보보호의 목적에 위배되는 결과가 발생한다. 이에 본 논문에서는 프로세스의 신뢰성을 고려하고, 보안 등급 결정 문제를 해결할 수 있는 확장된 BLP(E-BLP) 보안 모델을 제안하고 리눅스 커널(2.4.7)에 구현한다.

  • PDF