• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 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.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 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].

• 전기전자학회논문지
• /
• 제18권3호
• /
• pp.341-348
• /
• 2014

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

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 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.

• 한국인터넷방송통신학회논문지
• /
• 제9권3호
• /
• pp.75-81
• /
• 2009

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

• 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.

• 지능정보연구
• /
• 제12권4호
• /
• pp.61-72
• /
• 2006

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 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로 명세, 명세한 시스템의 요구조건을 정형기법을 이용친서 검증해보고자 한다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 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.

• 대한수학교육학회지:학교수학
• /
• 제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.