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

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

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

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

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

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

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

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

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 하계종합학술대회 논문집(2)
• /
• pp.93-96
• /
• 2002

It is said that the verification effort occupies about 50-70 percent of the total effort of a System-On-A-Chip. This paper aims to develop a test bench automation tool based on the abstraction of the interface protocols. This tool will allow designers to describe their test benches in a high level language such as C rather than VHDL or Verilog. It helps designers to save their verification time and effort.

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

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (B)
• /
• pp.526-528
• /
• 2000

디지털 비디오 정보를 효율적으로 관리 검색하기 위한 내용 기반 검색 시스템을 위해서는 내용정보의 추상화가 필수적이다. 지금까지 비디오의 내용정보의 추상화, 특히 의미적 내용 정보의 추출은 사람에 의한 수동적인 방법에 의존한 것이 대부분이었다. 본 논문에서는 MPEGgudtlr의 영화 데이터를 대상으로 폭발 장면 자동 추출을 위한 저급 수준 비디오 내용정보의 추상화 방법을 제안하고, 실제 구현을 통하여 그 유용성을 보인다.