• 제목/요약/키워드: logical framework

검색결과 139건 처리시간 0.029초

공동저작 시스템에서의 동시성 제어와 쓰기 권한 제어 (A Framework for Concurrency Control and Writing Authority Control in Collaborative Writing Systems)

  • 유재홍;성미영
    • 한국정보처리학회논문지
    • /
    • 제7권2호
    • /
    • pp.347-354
    • /
    • 2000
  • 이 논문에서는 공동제작 시스템에서의 동시성 제어와 쓰기 권한 제어를 위한 효율적인 방안을 제시한다. 본 연구에서 다루는 공동젖작시스템의 문서는 논리 객체들로 구성된 트리 구조와 트리 구조의 단말에 연결된 내용 조작들로 표현된다. 이러한 문서의 논리구조를 다루는 공동저작 시스템의 동시성 제어 기법을 우리는 계층적으로 구성된 객체들에 대해 각 계층별로 잠금을 요청할 수 있는 다중 잠금(multiple granularity locking) 기법을 확장하는 접근을 채택하였다. 계층적으로 구성된 객체들에 대한 연산을 세분화하여 잠금 호환 테이블(locking compatibility table)을 정의하고, 이 테이블을 기반으로 잠금을 허락하는 확장된 다중 장금(extended multiple granularity locking) 기법을 제안한다. 이 기법은 여러 사용자들의 공유 객체에 대한 동시 접근을 극대화하는 장점이 있다. 또한 이 논문에서는 그룹/비그룹(Group/Non-Group) 개념을 적용하여 비그룹 사용자들의 쓰기를 방지함으로써 매우 합리적으로 저작권을 보호할 수 있는 쓰기 권한 기법을 제안한다.

  • PDF

SBA 상호운용성 향상을 위한 데이터교환서식 설계 및 활용에 관한 연구 (Design and Application of Data Interchange Formats (DIFs) for Improving Interoperability in SBA)

  • 김황호;김문경;최진영;왕지남
    • 정보화연구
    • /
    • 제9권3호
    • /
    • pp.275-285
    • /
    • 2012
  • 모의기반획득 과정에서 물리적으로 분산되어 있는 기관들 간의 상호운용성을 향상 시키기 위해서는 데이터 교환 서식(DIF: Data Interchange Format)을 필요로 한다. 데이터 교환서식은 분산제품 기술서(DPD: Distributed Product Description)의 템플릿 역할을 하며, 분산제품 기술서의 각종 정보 및 M&S 자원을 입력 및 출력하게 함으로써 별도의 변환 과정 없이 정보를 바로 이용할 수 있게 하는 장점이 있다. 이러한 특징은 모의기반획득을 지원하는 통합협업환경이 상호운용성을 제공하기 위하여 반드시 필요하다. 본 논문에서는 모의기반획득의 제반 절차 단계 중에서 설계 및 제조와 관련된 형상 데이터를 대상으로 데이터 교환서식 개발을 위한 프레임워크 및 단계별 산출물을 제안하고, 이를 바탕으로 데이터 교환서식 모델 설계에 대한 연구를 수행하였다. 또한 제안된 데이터 교환서식 모델을 기반으로 XML 기반의 데이터 교환서식 모델을 구현하고, 사례를 통하여 데이터 교환서식을 이용한 데이터 변환을 시연함으로써 제안된 데이터 교환서식의 성능을 검증하였다.

MissingFound: An Assistant System for Finding Missing Companions via Mobile Crowdsourcing

  • Liu, Weiqing;Li, Jing;Zhou, Zhiqiang;He, Jiling
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제10권10호
    • /
    • pp.4766-4786
    • /
    • 2016
  • Looking for missing companions who are out of touch in public places might suffer a long and painful process. With the help of mobile crowdsourcing, the missing person's location may be reported in a short time. In this paper, we propose MissingFound, an assistant system that applies mobile crowdsourcing for finding missing companions. Discovering valuable users who have chances to see the missing person is the most important task of MissingFound but also a big challenge with the requirements of saving battery and protecting users' location privacy. A customized metric is designed to measure the probability of seeing, according to users' movement traces represented by WiFi RSSI fingerprints. Since WiFi RSSI fingerprints provide no knowledge of users' physical locations, the computation of probability is too complex for practical use. By parallelizing the original sequential algorithms under MapReduce framework, the selecting process can be accomplished within a few minutes for 10 thousand users with records of several days. Experimental evaluation with 23 volunteers shows that MissingFound can select out the potential witnesses in reality and achieves a high accuracy (76.75% on average). We believe that MissingFound can help not only find missing companions, but other public services (e.g., controlling communicable diseases).

Constructing a Metadata Database to Enhance Internet Retrieval of Educational Materials

  • Oh Sam-Gyun
    • 한국문헌정보학회지
    • /
    • 제32권3호
    • /
    • pp.143-156
    • /
    • 1998
  • 이 논문은 미국 초중고교 교사들을 이용 대상자로 인터넷 상에 산재해 있는 강의안 및 교육자료의 메타데이터 DB를 구축한 GEM 프로젝트에 대한 보고이다. GEM 프로젝트에서는 현재 거의 표준으로 간주되는 더블린 코어의 15개 요소(Elements)를 채택하였고, 여기에 8개 요소를 첨가하여 검색을 원활히 하고자 하였다. GEM 메타데이터 DB의 구축에는 메타데이터 요소들간의 관계를 좀 더 명확히 표현할 수 있는 개념적 데이터 마들링을 사용하였고 메타데이터는 Sybase라는 관계형 데이터베이스에 저장했으며, 이 DB에 웹 인터페이스를 장착하는데에는 Microsoft 액티브 서버 페이지 (ASP) 기술을 이용하였다. GEM 메타데이터의 실제목록은 미국 전역에서 참가하고있는 컨소시엄 회원들에 의해서 이뤄지고 있으며, 그 결과는 인터넷을 통해 Sybase 관계형 데이터베이스에 자동적으로 입력된다. 이 논문에서는 더블린코어, GEM의 개념 및 논리 스키마들을 제시하는 한편, 메타데이터 DB의 구축에 개념적 데이터 마들링을 사용함으로써 얻어지는 장점들을 논하였다. GEM 프로토타입 시스템이 가동되고 있는 URL은 다음과 같다: http://lis.skku.ac.kr/gem/.

  • PDF

OQL 질의 처리기를 위한 중첩 질의 구조 제거용 전위 모듈의 설계 및 구현 (Design and Implementation of an Unnesting Front-End Module for an OQL Query Processor)

  • 정승진;정진완;김형주
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제6권1호
    • /
    • pp.11-20
    • /
    • 2000
  • ODMG의 표준 객체 질의어인 OQL을 비롯하여, 최근 여러 객체 질의어에서는 위치에 관계없이 select, from, where절 어디서나 중첩구조를 자유롭게 허용하여 여러가지 복잡하고 다양한 형태의 중첩 질의(nested query)를 표현할 수 있도록 하고 있다. 이러한 중첩 질의는 질의 처리기(query processor)의 성능에 중요한 영향을 끼치므로, OQL 질의 처리기에서는 다양한 형태의 중첩 질의를 최적화하는 방안을 반드시 마련하고 있어야 한다. 본 논문은 중첩 OQL 질의의 최적화 기능을 제공하는 중첩질의 구조 제거용 전위 모듈(unnesting front-end)을 설계, 구현하였으며, 이를 이용하여 중첩 질의 처리 능력을 가진 질의 처리기를 새롭게 구현하거나 이미 존재하는 질의 처리기를 확장하여 중첩 질의 처리 기능을 추가하고자 할 때, 중첩 구조 제거(unnesting)를 위한 구현자의 구현 부담을 최소화할 수 있도록 하였으며, 이는 중첩 질의 구조 제거용 전위 모듈에서 사용하는 대수 연사자와 질의 최적화 모듈에서 사용하는 대수 연사자(algebraic operator)를 분리함으로써 가능했다.

  • PDF

Smart Tourism: A Study of Mobile Application Use by Tourists Visiting South Korea

  • Brennan, Bradley S.;Koo, Chulmo;Bae, Kyung Mi
    • 예술인문사회 융합 멀티미디어 논문지
    • /
    • 제8권10호
    • /
    • pp.1-9
    • /
    • 2018
  • The purpose of this exploratory study is to identify the mobile phone applications (apps) used by foreign tourists visiting South Korea through a pilot study using focus groups and individual interviews. Concentrating on tourist mobile app use in a smart tourism environment and categorized through a taxonomy of mobile applications lays the framework and determines the factors boosting tourism smartphone app trends by foreign tourists visiting South Korea. Researchers collected data through ethnographic methods and analyzed it through qualitative research to uncover major themes within the smart tourism app use phenomenon. The researchers coded, counted, analyzed, and then divided the findings gleaned from a pilot study and interviews into a taxonomy of seven logical smartphone app categories. The labeling and coding of all the data accounting for similarities and differences can be recognized and are logically discussed in the implications of the apps used by tourists to assist tourist destinations. More specifically these findings will assist smart tourism destinations by better understanding foreign tourist smartphone app use behavior. Tourists visiting South Korea interviewed in this study exhibited significant mastery of Internet of Things (IoT) technologies, craved free WiFi access, and utilized smartphone apps for all facets of their travel. Findings show major concentrations of app use in bookings of accommodations, tourist attractions, online shopping, navigation, wayfinding, augmented reality, information searching, language translation, gaming, and online dating while traveling in South Korea.

멀티테넌시 환경에서 안전한 웹 사이트 개발을 위한 데이터격리 방법 분석 (Analysis of Data Isolation Methods for Secure Web Site Development in a Multi-Tenancy Environment)

  • 김점구
    • 융합보안논문지
    • /
    • 제24권1호
    • /
    • pp.35-42
    • /
    • 2024
  • 멀티테넌시 아키텍처는 클라우드 기반 서비스와 애플리케이션에서 중요한 역할을 하며, 이러한 환경에서 데이터 격리는 중요한 보안 과제로 부각되고 있다. 본 논문은 스키마 기반 격리, 논리적 격리, 물리적 격리 등 다양한 데이터 격리 방법들을 조사하고, 각각의 장단점을 비교 분석하였다. 데이터 격리 방법들의 실질적인 적용 사례와 효과를 평가하고, 이를 통해 멀티테넌트 웹 사이트 개발 시 고려해야 할 보안 요소들과 데이터 격리 방법의 선택 기준을 제안하였다. 본 논문은 멀티테넌시 환경에서의 데이터 보안을 강화하려는 개발자, 아키텍트 및 시스템 관리자에게 중요한 지침을 제안하고, 효율적이고 안전한 멀티테넌트 웹 사이트의 설계와 구현을 위한 기초적인 프레임워크를 제안한다. 그리고 데이터 격리 방법의 선택이 시스템의 성능, 확장성, 유지관리 용이성 및 전반적인 보안에 어떻게 영향을 미치는지에 대한 통찰력을 제공하며, 이를 통해 멀티테넌트 시스템의 보안과 안정성을 향상시키는 방안을 모색하였다.

단일머신 환경에서의 논리적 프로그래밍 방식 기반 대용량 RDFS 추론 기법 (Scalable RDFS Reasoning using Logic Programming Approach in a Single Machine)

  • 바트셀렘 작바랄;김제민;이완곤;박영택
    • 정보과학회 논문지
    • /
    • 제41권10호
    • /
    • pp.762-773
    • /
    • 2014
  • 시맨틱 웹상에서 RDFS로 표현된 데이터의 사용 증가로 인하여, 대용량 데이터의 추론에 대한 많은 요구가 생겨나고 있다. 많은 연구자들은 대용량 온톨로지 추론을 수행하기 위해서 하둡과 같은 고가의 분산 프레임워크를 활용한다. 그러나, 적절한 사이즈의 RDFS 트리플 추론을 위해서는 굳이 고가의 분산 환경 시스템을 사용하지 않고 단일 머신에서도 논리적 프로그래밍을 이용하면 분산 환경과 유사한 추론 성능을 얻을 수 있다. 본 논문에서는 단일 머신에 논리적 프로그래밍 방식을 적용한 대용량 RDFS 추론 기법을 제안하였고 다중 머신을 기반으로 한 분산 환경 시스템과 비교하여 2억개 정도의 트리플에 대한 RDFS 추론 시스템을 적용한 경우 분산환경과 비슷한 성능을 보이는 것을 실험적으로 증명하였다. 효율적인 추론을 위해 온톨로지 모델을 세부적으로 분리한 메타데이터 구조와 대용량 트리플의 색인 방안을 제안하고 이를 위해서 전체 트리플을 하나의 모델로 로딩하는 것이 아니라 각각 온톨로지 추론 규칙에 따라 적절한 트리플 집합을 선택하였다. 또한 논리 프로그래밍이 제공하는 Unification 알고리즘 기반의 트리플 매칭, 검색, Conjunctive 질의어 처리 기반을 활용하는 온톨로지 추론 방식을 제안한다. 제안된 기법이 적용된 추론 엔진을 LUBM1500(트리플 수 2억개) 에 대해서 실험한 결과 166K/sec의 추론 성능을 얻었는데 이는 8개의 노드(8 코아/노드)환경에서 맵-리듀스로 수행한 WebPIE의 185K/sec의 추론 속도와 유사함을 실험적으로 증명하였다. 따라서 단일 머신에서 수행되는 본 연구 결과는 트리플의 수가 2억개 정도까지는 분산환경시스템을 활용하지 않고도 분산환경 시스템과 비교해서 비슷한 성능을 보이는 것을 확인할 수 있었다.

베이지안분석을 이용한 철도건널목 Accident Modification Factors (AMF)에 관한 연구 (Analysis of Accident Modification Factors (AMF) for Roadway-Rail Grade Crossing Accidents with Baysian Method)

  • 오주택;최재원;박동주
    • 대한교통학회지
    • /
    • 제22권4호
    • /
    • pp.31-42
    • /
    • 2004
  • 본 논문에서는 철도건널목에서 일어나는 사고를 줄이기 위해 새롭게 시도되는 개선대안(Countermeasure)들의 안전성 및 효율성을 베이지안 분석방법론을 이용하여 안전전문가들의 평가결과를 정량화 시키는 방법론을 제시하였다. 이를 위해 전문가 개개인의 사전지식에 논리에 기초한 정보를 제공할 수 있는 개선대안 분석방법론을 개발하였다. 분석방법론은 우선적으로 철도건널목 안전성을 향상 시킬 수 있는 개선대안 선정, 개선대안을 평가 할 전문가 선정, 그리고 개선대안의 AMF를 평가하기 위한 건널목 사고를 선정하였다. 다음 단계로 안전전문가가 공학적인 개선대안 평가를 수행할 수 있도록 사고이력매뉴얼과 개선대안 평가매뉴얼을 개발하였다. 마지막 단계로, 평가된 개선대안의 통계적 검정을 통해 합리적 AMF를 추출함에 따른 정량화된 안전도를 나타내었다. 개선대안의 통계적 검정은 비모수통계분석의 일종인 Kolmogorov-Smirnov(K-S)동질성 검정을 적용하였으며, 그 결과 안전전문가 개인간의 분포는 동일한 분포를 나타내지 않는 경우가 많이 발생하였다. 반면 개인과 그룹의 분포는 대부분 동일한 분포를 하고 있는 것으로 나타났다. 따라서 철도건널목 개선대안의 AMF값은 전문가 개개인이 평가한 값을 전체적으로 평균한 값을 사용함이 타당한 것으로 연구되었다. 본 논문에서 보여주는 AMF의 정량화과정은 철도건널목에서 뿐만 아니라, 교차로 및 도로구간에서 추후 시도되고자 하는 개선대안들의 안전성 평가에도 사용 가능하리라 판단된다.

화학공정의 HAZOP 분석을 위한 전문가 시스템 개발 (Development of the Expert System for Hazard and Operability Analysis in Chemical Processes)

  • 김구회;강인구;이병우;이종민;윤인섭
    • 한국가스학회지
    • /
    • 제3권1호
    • /
    • pp.48-57
    • /
    • 1999
  • 본질적으로 안전한 공장은 체계적으로 잠재위험요소를 규명한 후 적절한 대처방안 모색을 통하여 유지할 수 있으며, 이를 위한 다양한 위험성 평가 방법론들이 개발되어 활용되고 있다. 최근에는 특히 전통적인 안전성평가방법의 단점을 극복하기 위해 전문가시스템을 도입함으로써 안전성평가방법을 자동화하려는 노력들이 시도되고 있다. 위험 및 운전성분석기법(HAZOP; Hazard and Operability Study)은 정성적인 평가방법 중에서 가장 체계적이고 논리적인 방법으로 인정받고 있다. 반면에 이러한 HAZOP 분석은 여러 인원이 동시에 시간을 내어 또 많은 시간을 투입하여야 하는 단점 및 참여한 엔지니어에 따라 그 결과의 차이가 날 수 있는 등 일관성 있는 평가결과를 얻기 어렵다는 단점이 있다 이에 따라 전체적인 평가의 소요시간을 줄이며 일관적인 평가결과를 얻기 위한 위험성 평가의 자동화가 더욱 필요하다고 하겠다. 이에 본 연구에서는 HAZOP분석 과정을 자동화하기 위한 기반 구조를 제시하고, 이를 이용하여 전문가시스템도구를 통해 HAxSYM이라는 안전성 평가 시스템을 구현하였으며, 개발된 시스템의 유용성을 살피고자 사례연구를 수행하였다.

  • PDF