• 제목/요약/키워드: Abstraction Level

검색결과 158건 처리시간 0.041초

의사결정지원시스템에서의 다단계 모형 통합에 대한 연구

  • 권오병
    • 한국경영과학회:학술대회논문집
    • /
    • 한국경영과학회 1997년도 추계학술대회발표논문집; 홍익대학교, 서울; 1 Nov. 1997
    • /
    • pp.101-104
    • /
    • 1997
  • Providing information on corporate level decision making for multiple decision makers in a consistent way is essential in Decision Support Systems. However, since the decision makers have different background and knowledge, the models used by them are also different in representation models. This makes the decision makers require a lot of efforts for model integration in an integrated decision making. The purpose of this paper is to propose an integration mechanism for synthetic use of multi-abstraction level decision making models. The proposed integration mechanism consists of model interpretation phase, model transformation phase and model integration phase. Specifically, the model transformation phase is divided into model tightening mode which gather information to makes a model transformed into upper level model, and model relaxing mode which makes lower level model.

  • PDF

시간 제약 조건하에서 상위 수준 합성을 위한 효율적인 스케줄링 기법 (An Efficient Scheduling Technique for High Level Synthesis under Timing Constraints)

  • 김지웅;정우성;신현철
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 2008년도 하계종합학술대회
    • /
    • pp.453-454
    • /
    • 2008
  • Modern VLSI designs get increasingly complex and time-to-market constraints get tighter. Using high level languages is one of the most promising solutions for improving design productivity by raising the level of abstraction. In high level synthesis process, most important step is scheduling. In this paper, we propose fast and efficient scheduling method under timing constraint based on list scheduling. Experimental results on well known data path intensive designs show fast execution times (less than 0.5 sec) and similar results when compared to optimal solutions [1].

  • PDF

반도체 IP 인터페이스의 표준화된 모델링 방법 (Standardized Modeling Method of Semiconductor IP Interfaces)

  • 이성수
    • 전기전자학회논문지
    • /
    • 제18권3호
    • /
    • pp.341-348
    • /
    • 2014
  • 재사용하고자 하는 다수의 반도체 IP를 연결하여 통합 칩을 구현하는 경우, 각각의 반도체 IP에 대해 합성이 가능한 코드 파일과 시뮬레이션 및 검증이 가능한 인터페이스 모델링 파일을 제공하여야 한다. 그러나 이들 반도체 IP의 설계자가 모두 다르기 때문에 인터페이스 모델링 파일의 기술 방법 및 구체도 수준이 제각각이어서 시뮬레이션 및 검증이 어렵다는 문제가 있다. 본 논문에서는 반도체 IP 인터페이스의 모델링을 몇 가지 정의된 구체도 수준으로 제한하여 표준화한 모델링 방법을 제안한다. 제안된 방법은 통합 칩 설계자가 서로 다른 반도체 IP를 손쉽게 연결하여 시뮬레이션하고 검증하는데 도움이 된다.

Building a Conceptual Model Using Ontology for the Efficient Retrieval of Cases from Fuzzy-CBR of Collision Avoidance Support System

  • 박계각;;신성철;임남균;이미라
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 2007년도 춘계학술대회 학술발표 논문집 제17권 제1호
    • /
    • pp.245-250
    • /
    • 2007
  • We have proposed Fuzzy-CBR to find a solution from past knowledge retrieved from the database and adapted to a new situation. However, ontology is needed in identifying concepts, relations and instances that are involved in a situation in order to improve and facilitate the efficient retrieval of similar cases from the CBR database. This paper proposes the way to apply ontology fur identifying the concepts involved in a new case, used as inputs, for a ship collision avoidance support system and in solving for similarity through document articulation and abstraction levels. These ontologies will be used to build a conceptual model of a maneuvering situation.

  • PDF

컴포넌트 모델링을 위한 객체의 정보관계 추상화 방법 (Information Relation Abstraction Method of Objects for Component Modeling)

  • 임명재;이기영;권영만;강정진
    • 한국인터넷방송통신학회논문지
    • /
    • 제9권3호
    • /
    • pp.75-81
    • /
    • 2009
  • 본 논문에서는 객체 지향 설계 정보를 이용한 컴포넌트 기반 모델링 방법을 제안한다. 클러스터링, 캡슐화, 상속성 개념과 같은 재사용성과 확정성을 향상시키는 객체지향 기술을 기반으로 기존에 개발된 객체 정보를 이용하여 추상화함으로서 정보간 관계를 단순화, 명세화 한다. 또한 정보관계의 이해를 지원할 수 있도록 정보관계 추상화 방법을 제시하고, 특정 도메인에 관계없이 시스템 레벨에서 지원하는 공통적인 서비스들을 재사용 단위로 가공하여 시스템 서비스 컴포넌트로 구분하여 모델링 할 수 있다. 이를 통해 재사용성과 확장성을 실현할 수 있으며 개발기간 단축과 품질 향상을 이룰 수 있다.

  • PDF

CCl4 Activation Mechanisms by Gas-Phase CHBr and CBr2: A Comparative Study

  • Liang, Junxi;Wang, Yanbin;Hasi, Qimeige;Geng, Zhiyuan
    • Bulletin of the Korean Chemical Society
    • /
    • 제34권2호
    • /
    • pp.426-432
    • /
    • 2013
  • The mechanisms concerning C-Cl activation of $CCl_4$ by $CHBr^{{\cdot}-}$ and $CBr{_2}^{{\cdot}-}$ have been comparatively investigated in theory. Optimized geometries and frequencies of all stationary points on PES are obtained at the BhandHLYP/aug-cc-pVTZ level of theory, and then the energy profiles are refined at the QCISD(T) method with the aug-cc-pVTZ basis by using the BhandHLYP/aug-cc-pVTZ optimized geometries. Our calculated findings suggest that in the title reactions the major mechanisms consist of both Cl-abstraction and $S_N2$ substitution reactions. Also, a succeeding pathway described by electron transfer was revealed before the initial Cl-abstraction products separate. Those are consistent with relevant experimental results.

u-쇼핑 시스템을 위한 상황인식적이고 협력적인 질의 시스템 개발 (A Context-Aware Cooperative Query for u-Shopping Systems)

  • 권오병;신명근
    • 지능정보연구
    • /
    • 제12권4호
    • /
    • pp.61-72
    • /
    • 2006
  • 유비쿼터스 서비스가 여러 분야에서 실용화 단계에 와 있다. 특히 u-쇼핑 분야에서는 사용자의 상황에 맞게 상품 혹은 상점을 유연하게 추천해 주는 개인화된 추천이 필요하다. 그러나 현재의 협력적 질의나 상황인식적 검색은 각각 동적 상황과 모호한 검색을 처리하지 못한다는 한계가 있다. 따라서 본 연구의 목적은 이 두 가지 중요한 문제를 해결하기 위하여 개인화된 상황인식적이고 협동적인 검색방법을 상황적MKAH를 유도방법으로 제안하는 것이다. 본 연구의 가능성을 보이기 위해 CACO라고 하는 프로토타입 시스템을 구현하였으며 국내의 한 대규모 쇼핑몰 도메인에 맞게 적용하였다.

  • PDF

SychCharts를 이용한 임베디드 시스템을 위한 RTOS Scheduling 검증 (RTOS Scheduling Verfication for Embedded system by SyncCharts)

  • 이수영;안영아;김진현;류갑상;최진영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
    • /
    • pp.181-183
    • /
    • 2004
  • Mission-Critical한 실시간 반응형 내장 시스템들의 설계과정에 있어 high-level abstraction과 formal(software 기반) modeling은 없어서는 안될 중요한 부분이다. 실시간 반응형 내장 system의 OS는 정형 명세 기법을 이용하여 시스템의 주요 component들을 설계하고 OS의 Formal model들을 모든 가능한 input들 아래 OS의 behavior를 엄격하게 검증함으로써 error가 없는 완벽한 OS를 개발할 수 있다. 본 논문에서는 uC/OS-11의 OS Scheduling 부분을 반응형 시스템 언어인 Esterel의 SyncCharts로 명세, 명세한 시스템의 요구조건을 정형기법을 이용친서 검증해보고자 한다.

  • PDF

휴리스틱 매핑에의한 절삭조건의 결정

  • 김성근;박면웅;손영태;박병태;맹희영
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 1993년도 춘계학술대회 논문집
    • /
    • pp.262-266
    • /
    • 1993
  • The development of COPS(Computer aided Operation Planning System) needs data mapping paradigm which provides intelligent determonation of cutting conditions from the requirements of process planning side. We proposed the idea of multi-level mapping by the combination of heuristics of domain experts and mathematical abstraction of cutting condition and requirements. Mathematical mathods for the generalization of heuristics were constructed by multi-layer perceptron. DBMS for determination of cutting conditions was constructed by classification and combination of best fitted models. Triangular fuzzy number was used to process the uncertainties in heuristics of experts.

중학교 수학에서 평행공리의 의미 (The Meaning of the Parallel Postulate in the Middle School Mathematics)

  • 최영기
    • 대한수학교육학회지:학교수학
    • /
    • 제1권1호
    • /
    • pp.7-17
    • /
    • 1999
  • The purpose of this note is to give insights into the role of parallelism to the middle school mathematics. According to NCTM(1998), the middle grades mathematics classroom should be a place in which students regularly engage in thoughtful activity that relates to their emerging capabilities of finding and imposing structure, conjecturing and verifying, and engaging in abstraction and generalization. In this aspect it is desirable to reinvestigate Euclidean Parallel Postulate in the axiomatic point of view in the level of the middle school mathematics. Reconstructing the contents Greenberg(1993), and we explain the statements which are logically equivalent to the Parallel Postulate for mathematics teachers in the middle school.

  • PDF