• Title/Summary/Keyword: Abstract Systems

Search Result 401, Processing Time 0.037 seconds

The Atom of Evolution

  • Bhak, Jonghwa;Bolser, Dan;Park, Daeui;Cho, Yoobok;Yoo, Kiesuk;Lee, Semin;Gong, SungSam;Jang, Insoo;Park, Changbum;Huston, Maryana;Choi, Hwanho
    • Genomics & Informatics
    • /
    • v.2 no.4
    • /
    • pp.167-173
    • /
    • 2004
  • The main mechanism of evolution is that biological entities change, are selected, and reproduce. We propose a different concept in terms of the main agent or atom of evolution: in the biological world, not an individual object, but its interactive network is the fundamental unit of evolution. The interaction network is composed of interaction pairs of information objects that have order information. This indicates a paradigm shift from 3D biological objects to an abstract network of information entities as the primary agent of evolution. It forces us to change our views about how organisms evolve and therefore the methods we use to analyze evolution.

Formal Method for Specification and Verification of Behavioral Equivalences of Real-time Navigation and Transportation Systems Based on Abstraction (추상화에 기반을 둔 실시간 항법 및 배송 시스템의 명세 및 행위적 동일성 검증을 위한 정형 기법)

  • Lee, Moon-Kun;Choi, Jung-Rhan
    • The Journal of the Korea Contents Association
    • /
    • v.6 no.11
    • /
    • pp.202-216
    • /
    • 2006
  • A number of process algebras are not well suitable for real-time navigation/delivery systems due to the following reasons: 1) lack of representation of process distributivity over some geographical space and 2) the indistinction of representation of process mobility from process distributivity over the space. To make the process algebra suitable to the systems, it seems to be necessary to separate the space representation from the mobility representation. This paper presents a formal method for this purpose, namely, Calculus of Abstract Real-Time Distribution, Mobility, and Interaction (CARDMI). For analysis and verification of behavioral properties, CARDMI defines a set of the spatial, temporal and the interactive deduction rules and a set of equivalence relations. The rules and equivalences can be abstracted hierarchically due to the spatial abstraction, too. CARDMI can be applied to virtual navigation/delivery system for contents, too.

  • PDF

Improvement of UCI Metadata and Resolution Service for Massive Contents Recommendation (대규모 콘텐츠 추천을 지원하기 위한 UCI 메타데이터와 변환서비스의 기능 개선)

  • Na, Moon-Sung;Lee, Jae-Dong
    • Journal of Korea Multimedia Society
    • /
    • v.13 no.3
    • /
    • pp.475-486
    • /
    • 2010
  • Contents Recommender System predicts user's preferences towards contents, and then recommends highly-predicted contents to user. Digital Identifier plays its part in identifying abstract works or digital contents in digital network environment. Digital Identifier could be effectively used in content-based filtering and collaborative filtering that are mainly used in Contents Recommender Systems. Therefore, this paper proposes an improvement of UCI metadata and resolution service for effective use of UCI in massive contents recommender systems. UCI metadata is expanded by adding elements such as abstract, keyword, genre, age, rate and review. Resolution service allows the operation systems to collect user preference for content by including input part of preference in a result page. This paper also designs and implements an improved UCI operation system and shows that the proposed improvement of UCI metadata and resolution service could be used for massive contents recommendation.

The Degree Reduction of B-splines using Bzier Methods (Bzier 방법을 이용한 B-spline의 차수 감소)

  • Kim, Hyeok-Jin;Kim, Tae-Wan;Wi, Yeong-Cheol;Kim, Ha-Jin
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.26 no.8
    • /
    • pp.875-883
    • /
    • 1999
  • 서로 다른 기하학적 모델링 시스템에 사용되는 곡선 및 곡면의 자료 교환에서, 시스템이 지원하는 그 곡선 및 곡면의 최대 차수에 제한이 있을 때, 낮은 차수로의 차수 감소가 필요하다. 본 논문에서는 근사 변환에 의한 B-spline 곡선의 차수 감소 방법을 제시한다. 기존의 Bzier 곡선의 차수감소 방법들을 적용하고, 그 방법들을 비교 분석한다. B-spline 곡선의 knot 제거 알고리즘이 자료 감소를 위해 차수 감소 과정에 적용된다.Abstract The degree reduction of B-splines is required in exchanging parametric curves and surfaces of the different geometric modeling systems because some systems limit the supported maximal degree. We propose an approximate degree reduction method of B-spline curves using the existing Bzier degree reduction methods. Knot removal algorithm is used to reduce data in the degree reduction process.

Method for Conditional Access Control in Secured SVC Bitstream (암호화된 SVC 비트스트림에서 조건적 접근 제어 방법에 관한 연구)

  • Won, Yong-Geun;Bae, Tae-Meon;Ro, Yong-Man
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2005.11a
    • /
    • pp.151-154
    • /
    • 2005
  • 본 논문에서는 스케일러블 멀티미디어 콘텐츠에 대한 조건적 접근제어가 가능한 암호화 방법을 제안한다. 현재 표준화가 진행중인 스케일러블 비디오 코딩방법인 JSVM(Joint Scalable Video Model)은 부호화한 동영상에 대해 공간, 시간, 품질의 스케일러빌리티(Scalability)를 지원하는데, 각 스케일러 빌리티를 고려한 조건적인 접근제어기술은 스케일러빌리티에 따라 사용자를 제한해야 하는 경우를 위해 필수적인 기술이다. 제안하는 방법은 공간, 시간, 품질의 세가지 스케일러빌리티를 지원하도록 부호화(Encoding)후 구성되는 NAL(Network Abstract Layer)을 지원하는 스케일러빌리티에 따라 구분하고, 구분된 NAL 의 종류에 따라 암호화 key 를 다르게 제공하는 방법을 통해 사용자의 접근제어 수준에 맞게 암호화 key 를 조합하는 방법을 적용하였다. 실험 결과 제안한 방법은 JSVM 에서 공간, 시간, 품질의 스케일러빌리티가 보장되고, 이때 생성되는 Key 의 조합으로 조건적 접근제어(Conditional access control)가 가능함을 확인하였다.

  • PDF

GENERALIZED NET MODEL OF INTRANET IN AN ABSTRACT UNIVERSITY WITH CURRENT ESTIMATIONS (II)

  • Langova-Orozova Daniela;Sotirova Evdokia;Atanassov Krassimir;Melo-Pinto Pedro;Kim Taekyun;Park Dal-Won;Kim Yung-Hwan;Jang Lee-Chae;Kang Dong-Jin
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.15 no.3
    • /
    • pp.382-388
    • /
    • 2005
  • We apply estimations of the intuitionistic fuzzy sets on the basis of which some amendments nay be undertaken. In particular, this paper describes the process of working out a university classes schedule.

Pattern-based Business Process Change Management in Dynamic Business Environment

  • Kim, Dongsoo;Kim, Minsoo
    • Journal of Information Technology and Architecture
    • /
    • v.10 no.3
    • /
    • pp.295-303
    • /
    • 2013
  • This paper presents a new approach to managing dynamic business process changes based on business process change patterns. We identify and categorize business process change patterns that occur recurrently in a dynamic business environment. Several issues regarding management of process versions are discussed, and a pattern-based version management method for handling process changes more flexibly is explained in detail. We propose a mechanism for abstract process execution with runtime encapsulation of a business process, which can maximize the flexibility of process execution using multiple process versions. In addition, we propose a concept of process promotion and demotion that can dynamically choose an actual version of the process at run-time. With our pattern-based process change management and versioning approach, it is expected that the flexibility and efficiency of BPM systems can be enhanced significantly.

An Efficient Electronic Cash Protocol with Anonymity Control and Divisible Scheme (익명성 제어와 화폐 분할 기능을 가지는 효율적인 전자화폐 프로토콜)

  • O, Hyeong-Geun;Lee, Im-Yeong
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.26 no.7
    • /
    • pp.839-846
    • /
    • 1999
  • 전자상거래에서 중요한 지불 수단으로 떠오르고 있는 전자화폐 시스템에 있어서 사용자에의 익명성 제공은 기존의 지불 시스템에서 제공하지 못하는 중요한 요소이다. 그러나 사용자 익명성을 악용하여 각종 범죄 활동에 이용하려는 시도가 발생할 수 있으며 전자화폐 시스템 도입시 이에 대한 대책도 함께 강구되어야 한다. 따라서 본 논문에서는 전자화폐의 효율적 사용을 위해 분할성 기능과 함께 화폐 추적과 사용자 추적 기능을 제공하는 효율적인 전자화폐 프로토콜을 제안한다.Abstract Electronic Cash System is an important payment method in Electronic Commerce. The anonymity of users is an important issue in such systems, but the issue has not been addressed by previous payment methods. User anonymity can lead to a system that is vulnerable to various criminal activities. Therefore, e-cash systems must consider ways to prevent such criminal activities. In this paper we suggest an efficient e-cash system that eliminates the vulnerability of the system by using the divisible ability of the system with the coin and owner tracing.

Modeling in System Engineering: Conceptual Time Representation

  • Al-Fedaghi, Sabah
    • International Journal of Computer Science & Network Security
    • /
    • v.21 no.3
    • /
    • pp.153-164
    • /
    • 2021
  • The increasing importance of such fields as embedded systems, pervasive computing, and hybrid systems control is increasing attention to the time-dependent aspects of system modeling. In this paper, we focus on modeling conceptual time. Conceptual time is time represented in conceptual modeling, where the notion of time does not always play a major role. Time modeling in computing is far from exhibiting a unified and comprehensive framework, and is often handled in an ad hoc manner. This paper contributes to the establishment of a broader understanding of time in conceptual modeling based on a software and system engineering model denoted thinging machine (TM). TM modeling is founded on a one-category ontology called a thimac (thing/machine) that is used to elaborate the design and analysis of ontological presumptions. The issue under study is a sample of abstract modeling domains as exemplified by time. The goal is to provide better understanding of the TM model by supplementing it with a conceptualization of time aspects. The results reveal new characteristics of time and related notions such as space, events, and system behavior.

Requirement Analysis for Bio-Information Integration Systems

  • Lee, Sean;Lee, Phil-Hyoun;Dokyun Na;Lee, Doheon;Lee, Kwanghyung;Bae, Myung-Nam
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 2003.09a
    • /
    • pp.11-15
    • /
    • 2003
  • Amount of biological data information has been increasing exponentially. In order to cope with this bio-information explosion, it is necessary to construct a biological data information integration system. The integration system could provide useful services for bio-application developers by answering general complex queries that require accessing information from heterogeneous bio data sources, and easily accommodate a new database into the integrated systems. In this paper, we analyze architectures and mechanisms of existing integration systems with their advantages and disadvantages. Based on this analysis and user requirement studies, we propose an integration system framework that embraces advantages of the existing systems. More specifically, we propose an integration system architecture composed of a mediator and wrappers, which can offer a service interface layer for various other applications as well as independent biologists, thus playing the role of database management system for biology applications. In other words, the system can help abstract the heterogeneous information structures and formats from the application layer. In the system, the wrappers send database-specific queries and report the result to the mediator using XML. The proposed system could facilitate in silico knowledge discovery by allowing combination of numerous discrete biological information databases.

  • PDF