• 제목/요약/키워드: Description Logic

검색결과 166건 처리시간 0.026초

Research on the Components of Children's Educational Game Achievement System

  • Shi, Kun;Cho, Dong Min
    • 한국멀티미디어학회논문지
    • /
    • 제24권9호
    • /
    • pp.1299-1310
    • /
    • 2021
  • Under the background of the rapid development of digital educational games, we have to evidently research the elements of the achievement system of children's DEG (Digital Educational Game), and analyze the relations between the elements and make a profound study on the achievement system and its components on the impact of player's attitude. Compared with the existing research, the research contents and methods are innovative and reliable. The results show that players have a positive attitude towards the DEG achievement system, DEG achievement system has important value and role for educational games. Which is made of five elements: symbol, reward, logic, social interaction, and knowledge. The five elements interact with each other and have a positive impact on players' attitudes. DEG achievement system with five elements will bring players a positive experience. These findings provide a detailed study of the components of the achievement system. With all of these, we can explain the role and relationship of the components, and provide new ideas and empirical evidence for the design and development of children's educational game achievement system. The above findings provide a detailed description of the components of the DEG achievement system, explain the role and value of each component, and the relationships and patterns among the components, it provides a new perspective and empirical evidence for the design and development of the children's system DEG results.

A methodology for the identification of the postulated initiating events of the Molten Salt Fast Reactor

  • Gerardin, Delphine;Uggenti, Anna Chiara;Beils, Stephane;Carpignano, Andrea;Dulla, Sandra;Merle, Elsa;Heuer, Daniel;Laureau, Axel;Allibert, Michel
    • Nuclear Engineering and Technology
    • /
    • 제51권4호
    • /
    • pp.1024-1031
    • /
    • 2019
  • The Molten Salt Fast Reactor (MSFR) with its liquid circulating fuel and its fast neutron spectrum calls for a new safety approach including technological neutral methodologies and analysis tools adapted to early design phases. In the frame of the Horizon2020 program SAMOFAR (Safety Assessment of the Molten Salt Fast Reactor) a safety approach suitable for Molten Salt Reactors is being developed and applied to the MSFR. After a description of the MSFR reference design, this paper focuses on the identification of the Postulated Initiating Events (PIEs), which is a core part of the global assessment methodology. To fulfil this task, the Functional Failure Mode and Effect Analysis (FFMEA) and the Master Logic Diagram (MLD) are selected and employed separately in order to be as exhaustive as possible in the identification of the initiating events of the system. Finally, an extract of the list of PIEs, selected as the most representative events resulting from the implementation of both methods, is presented to illustrate the methodology and some of the outcomes of the methods are compared in order to highlight symbioses and differences between the MLD and the FFMEA.

Rational Leadership for the Middle East: A Multiple Competencies Model

  • ALDULAIMI, Saeed Hameed
    • The Journal of Asian Finance, Economics and Business
    • /
    • 제8권4호
    • /
    • pp.687-697
    • /
    • 2021
  • This study aims to address the prevailing skepticism that conventional leadership models are not effective in the Middle East. With the same logic, selecting leaders is a confusing task in the Middle East due to the haphazardness surrounding this task and the lack of clarity of appropriate selection criteria. This study employs samples of leadership theories and frameworks that were scrutinized to classify specific leadership dimensions. The triangular model stemmed from the previous studies that addressed Leadership in general and the Leadership model for the Middle East. With the use of the literature review methodologies and historical analysis, the leadership model's description will be demonstrated. The results revealed that there are various dimensions of Leadership, especially concerning the Middle East's organizational environment. The findings of this study suggested a new model which assists in clarifying the issue by setting a group of 10 personality traits with eight behavioral skills and social status. Implications of this study enable making Leadership easier in practice. Furthermore, this will enable recognition of Leadership according to specific criteria, which will help make greater equality and empowerment at all levels of the system. This research localizes Leadership and paves the way to automate leaders' selection process with a guarantee of fairness among candidates.

Study on the digitalization of trip equations including dynamic compensators for the Reactor Protection System in NPPs by using the FPGA

  • Kwang-Seop Son;Jung-Woon Lee;Seung-Hwan Seong
    • Nuclear Engineering and Technology
    • /
    • 제55권8호
    • /
    • pp.2952-2965
    • /
    • 2023
  • Advanced reactors, such as Small Modular Reactors or existing Nuclear Power Plants, often use Field Programmable Gate Array (FPGA) based controllers in new Instrumentation and Control (I&C) system architectures or as an alternative to existing analog-based I&C systems. Compared to CPU-based Programmable Logic Controllers (PLCs), FPGAs offer better overall performance. However, programming functions on FPGAs can be challenging due to the requirement for a hardware description language that does not explicitly support the operation of real numbers. This study aims to implement the Reactor Trip (RT) functions of the existing analog-based Reactor Protection System (RPS) using FPGAs. The RT equations for Overtemperature delta Temperature and Overpower delta Temperature involve dynamic compensators expressed with the Laplace transform variable, 's', which is not directly supported by FPGAs. To address this issue, the trip equations with the Laplace variable in the continuous-time domain are transformed to the discrete-time domain using the Z-transform. Additionally, a new operation based on a relative value for the equation range is introduced for the handling of real numbers in the RT functions. The proposed approach can be utilized for upgrading the existing analog-based RPS as well as digitalizing control systems in advanced reactor systems.

홍석주의 사부분류법에 관한 연구 (A study of the Four Category Classification System of Hong Sok-chu)

  • 리상용
    • 한국문헌정보학회지
    • /
    • 제30권2호
    • /
    • pp.149-165
    • /
    • 1996
  • 홍씨독서록은 한국서지사상 각 류목의 첫머리에 그 주제분야의 원류와 융체 그리고 그 성격 등을 적은 서문 즉 류서가 붙어 있는 것으로서 아직까지 발견된 서지 중에서 유일한 존재이다. 본 논문은 그 유자의 개요와 연천의 사부분류법 체계를 먼저 살펴보고 류서의 내용을 통해서 이들 사분법의 류목이 어떤 체계로 설정되었는가에 대해서 살펴본 것이다. 본 연구에서 얻어진 그의 분류체계 구상의 특징 몇 가지를 열거하면 다음과 같다. 첫째, 분류체계의 구성이 본질적인 문제에서부터 비본질적인 문제로 전개되어 나아갔다. 즉, 유학 본연의 문제에서 벗어난 주제일수록 그 유목의 순차가 뒤로 밀려 나갔다. 본래 분류항목의 유목순차는 같은 계층내에서 그 중요도에 따라 우선순위를 잡아주는 것인데, 연천의 분류체계에서도 이 원리가 엄격히 적용되고 있음을 알 수 있다. 둘째, 분류체계의 구성에 있어서 민본주의 사상이 저변에 깔려 있다. 연천은 분류의 우선순위를 설정함에 있어서 백성존중의 사상을 담고 있다. 결론적으로, 연천의 홍씨독서록에서 채용한 분류체계는 유목의 배열순서를 아무렇게나 임의로 정한 것이 아니고, 객관성 있는 이유와 논리를 따져서 결정한 것임을 알 수 있었다.

  • PDF

『묵경』에 있어서 '선지(先知)'와 '필(必)' 개념의 문제 (On bi(必, necessity) and xianzhi(先知, a priori knowledge) of Mojing)

  • 정재현
    • 동양고전연구
    • /
    • 제35호
    • /
    • pp.275-295
    • /
    • 2009
  • 이 글은 그레이엄 (A. C. Graham)이 후기묵가의 저작인 "묵경"에서 보이는 필(必)과 선지(先知)를 각각 '논리적 필연성'과 '선험적 지식'(a priori knowledge)으로 보는 해석을 비판하기 위한 것이다. 그레이엄은 묵가의 논리학을 '이름과 대상을 짝짓는' '기술의 학'(論)과 '이름과 이름간의 관계를 따지는' '추론의 학'(辯)으로 나누고 특히 후자에 대해 비록 그것이 서구의 형식논리학은 아니지만, 유클리드 기하학과 같은 엄밀한 증명의 과정으로 보아야 한다고 하였다. 이러한 그의 주장들은 지식을 그 대상에 따라 명지(名知)와 합지(合知)로 나누어보는 데서 출발한다. 그러나 내가 보기에 기술의 학과 이름의 학은 후기묵가의 저작인 "묵경"안에서 명확히 구분될 수 없고, 게다가 묵가의 선지(先知)와 이 선지(先知)가 가진 필연성은 기본적으로 논리적 필연성이 아니라 규범적 필연성 및 경험적 필연성의 개념이다. 규범적 필연성은 중국의 정명(正名)사상에서 제시된 '규범적 정의이론'으로부터 기인하는 것이다. 규범적 정의이론이란 기술적 정의이론과는 달리 규범적으로 개념을 정의하는 것이다. 예컨대 '아버지는 자애롭다'의 정의는 형태는 기술적이나 사실은 '아버지는 자애로워야한다'의 규범적인 것이다. 이러한 규범적 정의이론을 통해 경험적 지식은 그것이 지식인한 당연히 필연적으로 오류 불가능임이 주장된다. 한마디로 묵가에서는 경험적 지식이 추론적 지식 혹은 선험적 지식보다 항상 더 우선적이기에 묵가의 선험적 지식은 사실 엄밀하게 선험적인 것이 아니고, 이러한 지식이 갖는 필연성도 규범적 필연성 및 경험적 필연성에 불과하다.

온톨로지 Open World 추론과 규칙 Closed World 추론의 통합 (Integration of Ontology Open-World and Rule Closed-World Reasoning)

  • 최정화;박영택
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제37권4호
    • /
    • pp.282-296
    • /
    • 2010
  • OWL 온톨로지는 실세계의 도메인 지식을 모델링 하는데 적합하다. 또한 명백하게 정의된 지식으로부터 암시적인 새로운 지식을 추론할 수 있다. 하지만 이 모델링된 지식은 완전할 수 없다. 사람이 가지고 있는 모든 상식을 모델링 할 수 없기 때문이다. 온톨로지는 완전한 지식표현을 위한 무결성 제약조건과 예외 처리와 같은 비단조 추론을 지원할 방법이 없다. 디폴트 규칙은 온톨로지 안의 특정 클래스에 대한 예외를 처리할 수 있다. 또한 무결성 제약은 온톨로지에 정의된 클래스의 제한조건(restriction)에 인스턴스가 일관되게 할 수 있다. 본 논문에서는 Open World Assumption(OWA) 기반의 온톨로지와 Closed World Assumption(CWA) 기반의 비단조 추론을 지원하는 규칙의 지식베이스를 통합하여 Open World 와 Closed World 추론을 모두 지원하는 실질적인 추론 시스템을 제안한다. 이 시스템은 온톨로지에 정의된 불완전한 개념을 다룰 때 OWA기반이라서 발생하는 문제점을 ASP(Answer Set Programming)를 사용하여 해결방안을 제안한다. ASP는 논리 프로그래밍 언어로써 비단조 추론을 허용하며, 서술 논리 지식베이스에 CWA 기반의 질의를 가능하게 한다. 제안하는 시스템은 Protege에서 제공하는 Pizza 온톨로지를 예로써 비단조 추론이 필요한 경우를 보이고, 잘 알려진 온톨로지들로 성능 평가하여 본 시스템의 정당(sound)하고 완전(complete)함을 증명한다.

객체 추적을 위한 SURF 기반 특이점 추출 및 서술자 생성의 하드웨어 설계 (Hardware Design of SURF-based Feature extraction and description for Object Tracking)

  • 도용식;정용진
    • 전자공학회논문지
    • /
    • 제50권5호
    • /
    • pp.83-93
    • /
    • 2013
  • 최근 영상처리 응용의 일환으로 객체 추적 시스템에 많이 활용되는 SURF 알고리즘의 경우 영상의 회전 및 크기 변화에 강인한 특이점을 추출한다는 특징이 있지만 연산이 복잡하고 연산량이 많아 임베디드 환경에서 IP로 사용되기 위해서는 하드웨어 가속기 개발이 필수적이다. 하지만 이 때 요구되는 내부 메모리 사이즈가 매우 크기 때문에 ASIC이나 SoC 시스템으로 개발 할 때 칩 회로 사이즈가 커서 IP의 가치를 떨어뜨리게 된다. 본 논문에서는 하드웨어 가속기 개발 시 회로면적에 효율적인 설계를 위해 내부 블록메모리 사용량을 줄이고 외부 메모리와 DMA를 사용하여 세분화된 Sub-IP 구조로 설계하는 것에 대해 연구하고 간단한 객체 추적 알고리즘을 개발하여 그 결과를 적용하였다. ARM Cortex-M0, AHB-lite, APB, DMA, SDRAM Controller로 구성된 시스템 환경에서 실험 결과 VGA(640x480)영상에서 SURF 알고리즘의 처리속도는 약 31frame/sec, 블록 메모리의 크기는 81Kbytes, 30nm 공정에서 회로의 크기는 약 74만 게이트 크기로 SoC 칩의 하드웨어 IP로 활용이 가능하였다. SURF와 비슷한 영상처리 알고리즘에서도 본 논문에서 제안하는 설계방법을 적용하면 타겟 어플리케이션에 효율적인 하드웨어 설계를 할 수 있을 것으로 기대된다.

구문관계에 기반한 유전자 상호작용 인식 (Detection of Gene Interactions based on Syntactic Relations)

  • 김미영
    • 정보처리학회논문지B
    • /
    • 제14B권5호
    • /
    • pp.383-390
    • /
    • 2007
  • 단백질이나 유전자들 간의 상호작용 인식은 생물학적 현상의 기술에 있어서 필수적이고, 이러한 상호작용의 네트웍 파악은 생물학 접근의 시작이라고 할 수 있다. 최근에, 대량의 생물학 관련 문서로부터 자연언어처리 기술을 사용하여 이러한 정보를 추출하려는 연구들이 많이 등장했다. 또한 이전 연구들은 언어학적 정보가 문서로부터 유전자 상호작용을 자동으로 추출하는 데 있어서 유용하다고 주장하고 있다. 하지만 기존의 방법들은 정확률에 비해 재현율이 많이 낮아서 성능이 그다지 좋지 못했다. 정확률의 감소 없이 재현율의 성능향상을 위해, 이 논문은 생물학관련 문서에서 구문관계에 기반하여 유전자 상호작용을 인식하는 방법을 제안한다. 생물학 도메인에 관련된 전문지식 없이, 우리의 방법은 단지 적은 양의 학습데이터를 사용하여 효과적인 성능을 보인다. LLL05(ICML05 Workshop on Learning Language in Logic)에서 제공한 데이터 포맷을 그대로 사용하여, 상호작용하는 두 유전자 중 작용의 주체가 되는 유전자를 에이전트라 하고 상호 작용의 대상이 되는 유전자를 타겟이라 한다. 본 논문에서 제안하는 첫 단계에서, 에이전트와 타겟 유전자에 대한 유전자-전이 구문관계를 인식한다. 두 번째 단계에서, 유전자 간의 상호작용이 있음을 암시하는 용언리스트를 구축한다. 마지막 단계에서, 상호작용하는 것으로 인식된 두 유전자 중 어느 것이 에이전트이고 타겟인지를 판단하기 위해 구문관계의 방향 정보를 학습한다. LLL05 데이터를 사용한 실험결과에서, 본 논문에서 제안한 방법이 학습 데이터에 대해서는 88%의 F-measure 성능을 보였고, 테스트 데이터에 대해서는 70.4%의 F-measure 성능을 보였다. 이 결과는 기존의 방법들보다 훨씬 더 좋은 성능이다. 우리는 성능에 대한 각 단계의 공헌도를 실험하여, 첫 단계는 재현율 향상에 기여를 하고 두 번째와 세 번째 단계는 정확률 향상에 기여했음을 보인다.

뮤지컬 노래에 사용된 'Verse-Chorus' 형식의 변용과 특징 (Transformation and Characteristics of the Verse-Chorus Form Used in Musical Theatre Songs)

  • 이은혜
    • 한국엔터테인먼트산업학회논문지
    • /
    • 제15권7호
    • /
    • pp.33-43
    • /
    • 2021
  • 본 연구는 뮤지컬 노래에 사용된 음악 형식인 Verse-Chorus 형식의 변용과 특징을 고찰하기 위함이다. 뮤지컬 노래의 음악 형식은 인물의 극적 상황을 관객에게 효과적으로 전달하기 위한 구조적 표현 기제이다. 연구를 위해 Verse-Chorus 형식과 변용을 탐구할 수 있는 대표적인 형식을 4개의 유형으로 나누고 각각의 특징을 살펴보았다. 첫째, 뮤지컬 초기의 단순한 상황과 인물을 설명하는 반복 형식인 Verse-Chorus 형식, 둘째, 단순한 인물을 설명하면서도 Bridge의 약간의 변형을 통해 분위기를 환기시키고 지루함을 탈피하기 위해 사용된 Verse-Bridge-Verse 형식, 셋째, Chorus 직전에 위치하여 Verse와 Chorus를 연결하고 드라마와 화성적 진행을 매끄럽게 하여 인물의 정서적 상승을 도모하는 Verse-Prechorus-Chorus 형식(Verse-Prechorus-Chorus Form), 마지막으로 인물의 복잡한 심경에 대한 갈등과 그에 대한 결정이 공존하는 상황을 나타내기 위해 사용된 확장된 Verse-BG대사-Chorus 형식에 대해 고찰하였다. 이처럼 뮤지컬 노래는 다양한 형태의 Verse-Chorus 형식이 사용되고 있다. Verse-Chorus의 형식성과 변용은 음악과 드라마 전개가 불균형의 상태가 되지 않는 음악의 논리와 극의 논리가 균형 상태를 이루게 한다. 본 연구를 토대로 뮤지컬 노래 형식 변용에서 나아가 음악 형식과 극 구조의 상관성에 대한 발전적인 연구가 이어지길 기대한다.