• 제목/요약/키워드: knowledge formalization

검색결과 37건 처리시간 0.025초

UML의 부분-전체 관계에 대한 메타모델 형식화 이론의 적용: 집합연관 및 복합연관 판별 실험 (Applying Meta-model Formalization of Part-Whole Relationship to UML: Experiment on Classification of Aggregation and Composition)

  • 김태경
    • 지능정보연구
    • /
    • 제21권1호
    • /
    • pp.99-118
    • /
    • 2015
  • 정보 시스템 개발에 있어 객체지향 프로그래밍 언어가 널리 사용된다. 이와 함께 객체지향 설계를 뒷받침하는 개념적 모델링 언어에 관한 관심도 높다. 이를 배경으로 통합 모델링 언어 혹은 UML로 알려진 개념적 모델링 언어는 여러 객체 지향 프로그래밍 언어와 함께 사용되면서 사후적 표준으로 자리 잡았다. UML은 클래스를 설계의 중심에 둔다. 또한 클래스들 간의 관계를 통해 체계적인 이해를 가능하게 한다. 특히 부분에 해당하는 클래스들과 전체에 해당하는 클래스의 관계인 부분-전체 관계를 설계할 수 있는 문법 또한 UML에 포함된다. 현실 세계에 부분-전체 관계로 파악될 수 있는 여러대상들이 존재하고 비즈니스 활동에 존재하는 각종 역할들의 구조에서도 부분-전체 관계로 표현될 수 있는 대상들이 보편적으로 보인다. 따라서 UML로 클래스들 간의 부분-전체 관계를 드러내는 일은 자연스럽다. 문제는 부분-전체 관계를 파악하는 활동은 UML 2.0의 표준에 포함되었으나 실제 설계 과정에서 적극 활용하기 위한 실천적 이론화가 부족하다는 점이다. 부분-전체 관계를 집합연관과 복합연관으로 세분화한 UML 문법은 표현 양식에서 부족함은 없을지라도 어떤 대상을 부분-전체로 파악하고, 이를 어떻게 집합연관이나 복합연관으로 분류해야 할 것인지에 대한 판단이 쉽게 결여된다. 지금까지 UML의 부분-전체 관계 규명은 언어적 표현법을 활용하는 것에 치우쳤다. 이와 같은 문제에 대한 대안을 제시하기 위해 본 연구는 메타모델 형식화 이론을 기반으로 UML 사용자가 부분-전체 관계를 판단하고 이를 집합연관과 복합연관으로 분류할 수 있는 실천적 대안을 제시한다. 이를 활용한 실험의 결과 메타모델 형식화가 UML 사용자들에게 통용되어 온 언어적 구분법보다 더 나은 결과를 낳는다는 점이 밝혀졌다. 본 연구는 부분-전체의 판별과 구분에 도움을 주는 실용적인 방법을 제안하고 검증하였다는 점에서 의의가 있다.

시민참여형 GIS를 위한 온톨로지 설계 및 구현 (A Design and Implementation on Ontology for Public Participation GIS)

  • 박지만
    • 대한지리학회지
    • /
    • 제44권3호
    • /
    • pp.372-394
    • /
    • 2009
  • 본 연구는 온톨로지 기반 시민참여형 GIS를 연구하였다. 최근에 온톨로지 기반 GIS는 의미적 의사소통을 위한 지리적 변수의 폭넓은 활용성과 유용한 지리적 지식을 추천하기 위한 수요에 따라 주목받고 있다. 그래서 이 연구는 시민참여형 GIS를 위한 실험적 시스템의 설계와 구현에 초점을 맞추었다. 실험적 시스템의 적용 가능성은 경기도 구리시의 역사관광을 대상으로 실험을 통해 확인하였다. 방법론 측면에서 지역상황과 사용자 인식에 연관된 생명주기모형은 공리를 통해 지리적 지식발견을 추천하고, 이는 주요한 사전절차단계(명세화, 개념화, 정규화, 통합과 구현)를 통해 가능하다. 이 연구의 온톨로지는 실용적 측면에서 추론을 통한 지리적 지식을 추천하였다. 더불어, 이 연구의 온톨로지 기반 시민참여형 GIS는 인식론적 접근과 존재론적 접근의 통합을 보여주고, 의미론적 의사소통과 연계된 지표를 제공하였다는 것에 의미가 있다. 실험적 시스템의 결과는 연구지역에서 시나리오의 형태로 적용하고, 이 모델은 인간 활동의 의미에서 논리적인 제약요소의 공리를 활용하였다.

NCS "응용SW엔지니어링" 직무의 지식 관리 및 검색추론 지원을 위한 온톨로지 설계 연구 (A study on ontology design for NCS "Application SW Engineering" supporting intelligent knowledge management and search reasoning)

  • 진영근;이원구
    • 한국융합학회논문지
    • /
    • 제8권9호
    • /
    • pp.17-23
    • /
    • 2017
  • 국가 직무능력 표준(NCS)은 국가가 산업군의 직무에 필요한 지식과 기술, 태도 등을 체계적으로 분류하여 국가 인재 양성을 효율적으로 진행하도록 하는 표준이다. 온톨로지는 인간의 개념 속에 있는 추상적인 정보들을 컴퓨팅이 가능하게 정형적으로 표현하게 해주는 기법으로 현재 단순 DB에 저장되어 있는 NCS 체계도 온톨로지화하여 지식관리를 정형화할 필요성이 있다. 본 연구는 NCS와 온톨로지 융합연구로, 방대한 NCS 직무중 "응용SW 엔지니어링" 직무에 대한 NCS 온톨롤지를 설계 및 구현하여 해당 직무의 지능형 지식관리 및 추론검색을 가능하게 하였다. 또 해당 직무의 능력단위요소들의 학습 콘텐츠 구조의 정형화 명세서로 일관성을 유지할 수 있도록 해 주며, 전체 NCS 직무 온톨로지로 확장 구현할 수 있는 토대를 제공하였다.

업무 - KMS 적합이 KMS 성과에 미치는 영향에 관한 연구 (The Impact of Task-KMS Fit on KMS Performance)

  • 장정주;고일상
    • 한국정보시스템학회지:정보시스템연구
    • /
    • 제16권1호
    • /
    • pp.179-200
    • /
    • 2007
  • In this research, we study how task and KMS fit influences on KMS performance in large corporations during its practical use. Based on the task-technology fit theory and information system success model, we developed a research model by considering the characteristics of KMS for supporting tasks. We try to verify how individual traits, task traits, and KMS Units affect task-KMS fit and how task KMS fit influences on KMS performance. We surveyed 212 employees who were using KMS and working for the large-sized manufacturing firms. We analyzed the collected data from LISREL 8.54 for Windows, and found the following significant results. First user satisfaction is increased when KMS provides knowledge to help to perform task rather than KMS' functionality. Second, user satisfaction is increased when KMS is suitable for performing task Hence, we verified task-KMS fit is an antecedent of user satisfaction. Third, task-KMS fit and user satisfaction have significant impacts on KMS performance. And user satisfaction affected more heavily on KMS performance than task-KMS fit did. As a result, we realized an individual performance can be improved when task KMS fit is high and, consequently, user satisfaction is increased. Forth while the usefulness of task-KMS fit is demonstrated, causal factors such as individual traits, task traits, and KMS traits significantly affect task-KMS fit. Formalization and knowledge trait we significant in enhancing user satisfaction, but KMS self-efficacy, autonomy, md system trait are not. These results indicate that task-KMS fit variable is useful as a measure of KMS performance as well as that of user satisfaction. Based on these results, we conclude that when KMS supports task activity, performance can be significantly improved by coordinating the task with KMS.

  • PDF

재래닭의 의안연구 (A study on a medical chart about native chicken)

  • 이강현;지중구
    • 디지털융복합연구
    • /
    • 제12권11호
    • /
    • pp.617-623
    • /
    • 2014
  • 본 연구는 전통의학문헌에 나타난 재래닭 관련 의안을 분석하여 재래닭의 약리작용 성분을 정리하는데 목표를 두고 있다. 민간치료 자료의 처방과 기존의 한의서에 기술된 다양한 재래 닭 처방과의 상이성 및 공통점을 찾아 분석하여 과학적 검증이 가능한 내용에 대하여 정리하고자 한다. 분석된 내용을 구분 정리하여 DB를 구축하고, 전통의서에 수재된 처방, 한약, 생약 및 특수 치료 방법에 대한 유용성 평가를 통하여 닭 관련 제품개발과 다양한 기능성 식품개발의 근거를 마련하고자 한다. 또한, 국가 지식자원의 지속적인 확충과 전문인력 양성 및 지식문화 관련사업의 부가가치 창출을 통한 미래 신성장 동력산업을 육성하고자 한다. 재래닭 관련 처방지식에 대한 검색 및 정보 관리체계의 정형화가 난해하므로 규격화, 개념화, 형식화한 전통의학 재래닭 처방지식 DB를 구축하여 다학제간의 연구시스템을 통한 고의학 서적의 약학적 유용성을 평가하고 대체의학이나 기능성 식품개발의 실용화 방안을 제시하고자 한다.

계층적 작업 망 계획을 위한 변환-기반의 접근법 (A Translation-based Approach to Hierarchical Task Network Planning)

  • 김현식;신병철;김인철
    • 정보처리학회논문지B
    • /
    • 제16B권6호
    • /
    • pp.489-496
    • /
    • 2009
  • 계층적 작업 망(HTN) 계획방식은 문제영역의 고유한 제어지식을 효과적으로 이용할 수 있는 대표적인 계획방식으로서, 오랫동안 복잡도가 높은 실세계 응용분야들에 널리 이용되어 왔다. 하지만 아직은 HTN 계획방식에 대한 이론적 정형화와 표준화가 미흡하며, HTN 계획기들 사이에도 원리와 성능 면에서 약간의 차이를 보이고 있다. 본 논문에서는 HTN 계획 영역 명세를 표준 PDDL 명세로 변환하는 효과적인 방법을 제시한다. 이 방법의 주된 장점은 표준 PDDL 명세를 이해할 수 있는 많은 영역-독립적인 고전적 계획기들에서도 HTN 명세에 포함된 영역 고유의 제어지식을 효과적으로 이용할 수 있다는 점이다. 본 논문에서는 블록쌓기, 로봇 심부름, 하노이 탑 등 3 가지 다른 문제영역에 HTN 명세변환 방법을 적용해보고, 전향-추론 휴리스틱 상태-공간 계획기인 FF를 이용한 실험을 통해 변환-기반의 HTN 계획방식의 효율성을 분석해 본다.

CacheSCDefender: VMM-based Comprehensive Framework against Cache-based Side-channel Attacks

  • Yang, Chao;Guo, Yunfei;Hu, Hongchao;Liu, Wenyan
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제12권12호
    • /
    • pp.6098-6122
    • /
    • 2018
  • Cache-based side-channel attacks have achieved more attention along with the development of cloud computing technologies. However, current host-based mitigation methods either provide bad compatibility with current cloud infrastructure, or turn out too application-specific. Besides, they are defending blindly without any knowledge of on-going attacks. In this work, we present CacheSCDefender, a framework that provides a (Virtual Machine Monitor) VMM-based comprehensive defense framework against all levels of cache attacks. In designing CacheSCDefender, we make three key contributions: (1) an attack-aware framework combining our novel dynamic remapping and traditional cache cleansing, which provides a comprehensive defense against all three cases of cache attacks that we identify in this paper; (2) a new defense method called dynamic remapping which is a developed version of random permutation and is able to deal with two cases of cache attacks; (3) formalization and quantification of security improvement and performance overhead of our defense, which can be applicable to other defense methods. We show that CacheSCDefender is practical for deployment in normal virtualized environment, while providing favorable security guarantee for virtual machines.

Information & Analytical Support of Innovation Processes Management Efficience Estimations at the Regional Level

  • Omelyanenko, Vitaliy;Pidorycheva, Iryna;Voronenko, Viacheslav;Andrusiak, Nataliia;Omelianenko, Olena;Fyliuk, Halyna;Matkovskyi, Petro;Kosmidailo, Inna
    • International Journal of Computer Science & Network Security
    • /
    • 제22권6호
    • /
    • pp.400-407
    • /
    • 2022
  • Innovations significantly affect the efficiency of the socioeconomic systems of the regions, acting as a system-forming element of their development. Modern models of economic development also consider innovation activity, intellectual potential, knowledge as the basic factors for stimulating the economic growth of the region. The purpose of the study is to develop methodological foundations for evaluating the effectiveness of a regional innovation system based on a multidimensional analysis of its effects. To further study the effectiveness of RIS, we have used one of the methods of multidimensional statistical analysis - canonical analysis. The next approach allows adding another important requirement to the methodological provision of evaluation of the level of innovation development of industries and regions, namely - the time factor, the formalization of which is realized in autoregressive dynamic economic and mathematical models and can be used in our research. Multidimensional Statistical Analysis for RIS effectiveness estimation was used to model RIS by typological regression. Based on it, multiple regression models were built in groups of regions with low and relatively high innovation potential. To solve the methodological problem of RIS research, we can also use the approach to the system as a "box" with inputs and outputs.

과학기술 문헌으로부터의 URI 기반 인력정보 구축 (The Construction of URI-Based Human Resource Information from Science and Technology Papers)

  • 정한민;이승우;성원경;강인수
    • 한국콘텐츠학회논문지
    • /
    • 제6권9호
    • /
    • pp.152-163
    • /
    • 2006
  • 시맨틱 웹의 발전은 온톨로지를 포함한 언어 자원들에 기초하고 있으며, 온톨로지 상에서 개체(Individual)들은 식별체계인 URI(Universal Resource Identifier)를 이용하여 유일하게 지칭될 수 있도록 구축되어야 한다. 그렇지만, 현실에서 식별체계를 사용하는 경우를 발견하기가 힘들며, 특히 논문과 같은 과학기술 문헌은 그 적용 대상에서 제외되어 왔다. 이러한 이유로 인해 과학기술 문헌상의 인력정보를 식별체계 기반으로 구축하고자 하는 시도가 미약한 실정이었다. 이에 본 논문은 과학기술 문헌으로부터 인력정보를 내부와 외부로 나누어 URI 기반으로 구축하는 방법을 기술한다. 이 때, 인력정보 자동 검증 방법을 적용하여 구축 초기에 참고정보를 제공하거나 구축 후에 인력정보를 검증할 수 있도록 한다. 본 논문은 공저자 관계, 전자우편, 발행년도, 소속기관 등을 이용하여 동명이인 문제를 해소하고, 각 저자 그룹 별 URI 부여를 위해 국가과학기술인력 종합정보시스템을 활용한 사례를 소개하는 방식으로 기술한다. 이러한 과정을 통해 9,484건의 과학기술 문헌들로부터 획득한 외부 인력정보와 KISTI 내부 인력정보는 연구자 네트워크 분석, 성과 통계 등 다양한 시맨틱 웹 응용 분야들에 필수적으로 활용될 것이다.

  • PDF

온톨로지 구축 지원을 위한 과학기술 문헌으로부터의 인력정보 구축 (Construction of Human Resources from Science & Technology Publications for Supporting of Ontology Construction)

  • 정한민;이승우;강인수;성원경
    • 한국콘텐츠학회:학술대회논문집
    • /
    • 한국콘텐츠학회 2006년도 춘계 종합학술대회 논문집
    • /
    • pp.223-226
    • /
    • 2006
  • 시멘틱 웹의 발전은 정보의 규격화, 의미화를 통한 지식을 기본으로 요구하며, 온톨로지는 이러한 지식 표현을 위해 필수적으로 사용되는 도구이다. 온톨로지 상에서 Individual들은 식별체계인 URI(Universal Resource Identifier)를 이용하여 유일하게 지칭될 수 있어야 한다. 그렇지만, 현실에서 식별체계를 사용하는 경우를 발견하기가 힘들며, 특히 논문과 같은 과학기술 문헌은 그 적용 대상에서 제외되어 왔다. 이러한 이유로 인해 과학기술 문헌상의 인력정보를 식별체계 기반으로 구축하고자 하는 시도가 미약한 실정이었다. 이에 본 논문은 과학기술 문헌을 포함한 국가 과학기술 R&D 기반정보 온톨로지 구축에서 중심이 되는 인력정보를 URI 기반으로 구축하는 방법을 기술한다. 공저자 관계, 이메일, 출판 연도, 소속기관 등을 이용하여 동명이인 문제를 해소하고, 각 저자 그룹 별 URI 부여를 위해 국가과학기술인력 종합정보시스템을 활용한 사례를 소개한다. 이러한 과정을 통해 7,175건의 논문들로부터 획득한 인력정보는 연구자 네트워크 분석, 성과 통계 등 다양한 시멘틱 웹 응용 분야들에 기초적으로 활용될 것으로 기대한다.

  • PDF