• Title/Summary/Keyword: 집합 기반 분석

Search Result 536, Processing Time 0.025 seconds

A Study of the Conceptual Modeling of MARC (MARC의 개념 모델링 연구)

  • Lee Hyun-Sil;Jeon Yang-Seung;Han Sung-Kook
    • Journal of Korean Library and Information Science Society
    • /
    • v.36 no.3
    • /
    • pp.275-289
    • /
    • 2005
  • In this paper, the conceptual model for bibliographic Information consistent and compatible with MARC is presented. The modeling requirements are derived from MARC-related models such as MARC21, MARCXML and MODES. To meet these requirements, this paper proposes the conceptual model based on MARC formalism. The model composed with aggregation relationships among bibliographic data elements can use semantic tags of XML. As the model can be realized into diverse structures, it will be effectively applied for the development of bibliographic information management systems. Since MARC defines only record format and has the limitations in semantic representation, the metadata system that can expand bibliographic data elements in MRAC into metadata level is strongly required.

  • PDF

State Minimization for Analysis of Real-Time Systems Based on State Space Abstraction (상태 공간 추상화에 기반한 실시간 시스템의 분석을 위한 상태 감소)

  • 박지연;박주호;조기환;이문근
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.04a
    • /
    • pp.571-573
    • /
    • 2001
  • 본 논문에서는 실시간 상태 기계(Real-time State Machine, RSM)로 명제된 실시간 시스템의 행위의 쉽고 간결한 이해, 분석을 위한 새로운 상태 최소화 방법을 기술한다. 시스템의 행위를 보여주는 RSM 실행에 대한 상태는 제어 변수, 자료 변수, 시간 변소의 집합에 의해 정의된다. 상태 최소화는 4단계 추상화인 계산(computation), 제너릭(generic) 패턴, 한계 간격(limit interval), 동일 범위(coordinate scope) 추상화를 통해 이루어진다. 계산 추상화 단계에서는 연속적인 계산으로 연결된 다수의 상태를 하나의 상태로, 일반 패턴 추상화 단계에서는 상수 또는 함수 관계에 있는 동일 제어의 연속된 일련의 상태들의 집합을 하나의 제너릭 패턴으로 통합한다. 한계 간격 추상화 단계에서는 특정 값으로부터 음의 무한대나 양의 무한대 값으로 단조 증가, 단조 감소하는 값 사이에 있는 상태들을 하나의 상태로 통합한다. 마지막으로, 동일 범위 추상화 단계에서는 같은 범위에 존재하는 일련의 상태들을 하나의 상태로 통합한다. 각 추상화의 적용은 제어, 데이터, 시간의 무한한 상태 공간을 유한한 상태공간으로 감소시킬 수 있으며 많은 상태 감소를 가능하게 한다. 따라서, 시스템 행위에 대한 이해와 분석이 복잡도가 적은 개념 단계에서 수행될 수 있다.

  • PDF

Human Powered Question and Answering System by using Real-Time Interactive Communication : rPodo System (실시간 상호커뮤니케이션에 의한 인력기반 질의응답시스템 : rPodo)

  • Lim, Heuiseok;Hong, Sunghoon;Ryu, Kigon
    • Annual Conference on Human and Language Technology
    • /
    • 2007.10a
    • /
    • pp.179-182
    • /
    • 2007
  • 우리가 현재 사용하고 있는 정보검색 시스템은 사용자의 질의와 연관있는 문서 집합만을 제공하므로 사용자가 원하는 정답을 찾기 위해서 사용자는 문서 집합을 브라우징하는 수고를 하여야 하며, 이러한 수고를 덜어주기 위해 개발되는 자동 질의응답시스템은 의미 분석 및 지식 추출 등의 기술적 한계로 사용자에게 만족할 만한 서비스를 제공하고 있지 못한 실정이다. 본 논문은 인터넷에 연결되어 있는 사람 중에 질의어에 대한 응답을 할 수 있는 지혜 제공자를 자동으로 검색 분류하여, 질의자와 실시간으로 연결하여 사용자와 지혜 제공자가 실시간 상호커뮤니케이션을 이용하여 지혜를 교류할 수 있는 인력기반 질의응답시스템인 알포도 시스템을 제안한다. 알포도 시스템은 질의응답모듈, 메티스 관리 모듈, 실시간 커뮤니케이션 모듈, 그리고 지식 추출 및 관리 모듈로 구성되며 현재 베타 서비스를 실시 중이다.

  • PDF

Design and Implementation of a Real-Time Face Detection System (실시간 얼굴 검출 시스템 설계 및 구현)

  • Jung Sung-Tae;Lee Ho-Geun
    • Journal of Korea Multimedia Society
    • /
    • v.8 no.8
    • /
    • pp.1057-1068
    • /
    • 2005
  • This paper proposes a real-time face detection system which detects multiple faces from low resolution video such as web-camera video. First, It finds face region candidates by using AdaBoost based object detection method which selects a small number of critical features from a larger set. Next, it generates reduced feature vector for each face region candidate by using principle component analysis. Finally, it classifies if the candidate is a face or non-face by using SVM(Support Vector Machine) based binary classification. According to experiment results, the proposed method achieves real-time face detection from low resolution video. Also, it reduces the false detection rate than existing methods by using PCA and SVM based face classification step.

  • PDF

Visualizing Fuzzy Set Based on Venn Diagram (벤 다이어그램 기반 퍼지 집합 시각화)

  • Park, Ye-Seul;Park, Jin-Ah
    • 한국HCI학회:학술대회논문집
    • /
    • 2009.02a
    • /
    • pp.15-20
    • /
    • 2009
  • Much amount of data which demand fuzzy information system requires various analysis through the fuzzy set visualization. Therefore, this study proposes how to visualize fuzzy data set using variation of Venn diagram. For the fuzzy data which are related to many topics and have ranking of relation, this way gives results that users want by visualizing intersection, union and complementary set. That is, it visualizes the set of fuzzy data which have many topics at once, or the set of all fuzzy data which has topics, or the set of fuzzy data not related to a topic. Users control these sets by overlapping or piling them; visualized with Venn diagram, which is user-oriented. One distinct advantage of this visualization is the fact that it delivers web documents which users of search engine and web developers want much quickly. Furthermore, its possibility can be expanded to several purposes by using for information retrieval.

  • PDF

Backward Abstract Arithmetic Operations for Integer Congruence Analysis (정확한 정수 합동 분석을 위한 역방향 요약 연산자 정의)

  • 서선애
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2002.10d
    • /
    • pp.652-654
    • /
    • 2002
  • 정수 합동 분석(integer congruence analysis)은 프로그램 변수들의 의미 영역을 정수 합동(integer congruence) 집합으로 정의하여 분석한다. 정수 합동 분석을 위한 정수 합동 격자(lattice of integer congruences)와 순방향 요약 산술 연산자에 대한 정의는 이미 p. Granger에 의해 소개되었다. 하지만, 분석의 정확도에 영향을 미치는 역방향 요약 산술 연산자에 대한 연구는 아직 되어 있지 않다. 이 논문에서는 정수 합동 분석을 위한 역방향 요약 산술 연산자를 정의한다. 역방향 요약 산술 연산자를 정의하는 방법은 정수 방정식을 푸는 방법을 기반으로 고안되었다. 정의된 역방향 요약 산술 연산자는 프로그램 분석의 정확도를 높이는데 기여를 할 수 있는데, 이 논문에서는 예제를 통해서 이 사실을 보인다.

  • PDF

A Method of Identifying Disease-related Significant Pathways Using Time-Series Microarray Data (시간열 마이크로어레이 데이터를 이용한 질병 관련 유의한 패스웨이 유전자 집합의 검출)

  • Kim, Jae-Young;Shin, Mi-Young
    • Journal of the Institute of Electronics Engineers of Korea CI
    • /
    • v.47 no.5
    • /
    • pp.17-24
    • /
    • 2010
  • Recently the study of identifying bio-markers for disease diagnosis and prognosis has been actively performed. In particular, lots of attentions have been paid to the finding of pathway gene-sets differentially expressed in disease patients rather than the finding of individual gene markers. In this paper we propose a novel method to identify disease-related pathway gene-sets based on time-series microarray data. For this purpose, we firstly compute individual gene scores by the using maSigPro (microarray Significant Profiles) and then arrange all the genes in the decreasing order of the corresponding gene scores. The rank of each gene in the entire list is used to evaluate the statistical significance of candidate gene-sets with Wilcoxson rank sum test. For the generation of candidate gene-sets, MSigDB (Molecular Signatures Database) pathway information has been employed. The experiment was conducted with prostate cancer time-series microarray data and the results showed the usefulness of the proposed method by correctly identifying 6 out of 7 biological pathways already known as being actually related to prostate cancer.

Analysis of Trip Length Distribution between Commodity-Based Model and Truck Trip-Based Model in Seoul Metropolitan Area (화물기반모형과 트럭통행기반모형의 통행거리분포 분석에 관한 연구)

  • 권혁구;김건영;임홍상;강경우
    • Journal of Korean Society of Transportation
    • /
    • v.20 no.2
    • /
    • pp.125-134
    • /
    • 2002
  • 도시화물수요예측모형에는 화물기반모형과 트럭통행기반모형이 있는데 화물기반모형은 화물체계가 기본적으로 화물운송과 관계가 있다는 개념에 기초를 두고 있으며, 차량이 아닌 화물의 움직임을 주요 분석대상으로 삼고 있다. 반면에, 트럭통행기반모형은 집합화된 독립변수를 이용하여 각 죤(Zone)에 유·출입하는 트럭의 통행을 분석하는 것이다. 본 연구의 목적은 트럭통행기반모형의 O-D 추정시 화물통행과 트럭통행 사이의 관계식을 산출하고 이를 설명할 수 있는 통행거리분포함수(Trip Length Distribution : TLD)를 추정함에 있다. 본 연구의 자료는 교통개발연구원에서 수행한 '서울시 물류조사 및 물류종합계획수립구상(1998)'의 화물 물동량 조사 자료를 이용하였으며, 이를 통해 통행거리분포에 따르는 화물 및 차량의 비율을 함수로서 나타내었다. 본 연구를 통하여 트럭통행기반모형에서 트럭통행거리분포를 이용하여 화물기반모형에서 도출할 수 있는 화물의 통행거리분포를 추정할 수 있었으며, 또한 각각의 통행거리분포는 감마분포를 이용하여 함수식으로 도출하고 상기한 두 가지 분포모형을 하나의 관계식을 통해 재산정할 수 있는 이론적인 틀을 제공하였다는 데 의의가 있다고 하겠다. 트럭통행거리분포, 화물통행거리분포 모두 통계적인 검증을 통해 적합한 것으로 분석되었으며, 전체화물의 통행거리분포와 매개함수를 통해 재산정된 모형의 결과 값 또한 통계적으로 유의하였다. 품목별 적용에서는 잡공업품과 화학공업품은 본 연구의 매개함수식을 통해 화물거리분포 모형이 적합하였으나 금속공업 품과 경공업품은 다소 차이가 있는 것으로 분석되었다.

Performance Analysis of Tree-based Indexing Scheme for Trajectories Processing of Moving Objects (이동객체의 궤적처리를 위한 트리기반 색인기법의 성능분석)

  • Shim, Choon-Bo;Shin, Yong-Won
    • Journal of the Korean Association of Geographic Information Studies
    • /
    • v.7 no.4
    • /
    • pp.1-14
    • /
    • 2004
  • In this study, we propose Linktable based on extended TB-Tree(LTB-Tree) which can improve the performance of existing TB (Trajectory-Bundle)-tree proposed for indexing the trajectory of moving objects in GIS Applications. In addition, in order to evaluate proposed indexing scheme, we take into account as follows. At first, we select existing R*-tree, TB-tree, and LTB-tree as the subject of performance evaluation. Secondly, we make use of random data set and real data set as experimental data. Thirdly, we evaluate the performance with respect to the variation of size of memory buffer by considering the restriction of available memory of a given system. Fourth, we test them by using the experimental data set with a variation of data distribution. Finally, we think over insertion and retrieval performance of trajectory query and range query as experimental measures. The experimental results show that the proposed indexing scheme, LTB-tree, gains better performance than traditional other schemes with respect to the insertion and retrieval of trajectory query.

  • PDF

An Activity-Based Analysis of Contextual Information of Activity Patterns and Profiles (활동기반 접근법에 의한 활동패턴의 맥락적 정보분석과 프로파일)

  • Jo, Chang-Hyeon
    • Journal of Korean Society of Transportation
    • /
    • v.25 no.6
    • /
    • pp.171-183
    • /
    • 2007
  • Urban transport demand is derived from activity participation. A variety of individual daily activities based on the decisions on activity participation result in collective spatial behavior. The travel derived from the effort to overcome the spatially distributed locations of adjacent activities represents the detailed structural relationships among activities. An activity-based approach provides an important framework of analyzing contemporary urban daily life in the sense that it studies the interaction between individuals' daily decision making and social practice in time and space, on the one hand, and socio-spatial environment on the other. The current study identifies representative patterns of urban daily activity implementations and analyzes the correlation between representative patterns and individuals' characteristics and contextual characteristics. The study shows that urban daily activity patterns can be grouped in a limited number of representative patterns, which are systematically correlated with socio-spatial characteristics. The results provide related transportation policy implications.