• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1997.10a
• /
• 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.

• Proceedings of the IEEK Conference
• /
• 2008.06a
• /
• 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].

• Journal of IKEEE
• /
• v.18 no.3
• /
• pp.341-348
• /
• 2014

When several resuable semiconductor IPs are connected and implemented into an integrated chip, each semiconductor IP should provide code files for synthesis and interface modeling files for simulation and verification. However, description methods and levels of abstraction of interface modeling files are different because these semiconductor IPs are designed by different designers, which makes some problems in simulation and verification. This paper proposes a standardized modeling method of semiconductor IP interfaces. It restricts semiconductor IP interfaces to several predefined level of abstraction. The proposed method helps the chip integration designer to easily connect different semiconductor IPs and to simulate and verify them.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2007.04a
• /
• 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.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.9 no.3
• /
• pp.75-81
• /
• 2009

In this paper, we propose component modeling method using object-oriented design information. it will be supplied to simplify and specify the relationship between informations that to be developed technology based on clustering, encapsulation and inheritance concepts. Also, we propose abstraction method, it will be support to understanding information relation, and it can modeling on system level without particular domain through dividing common service by reuse unit. Thus It is possible reusability and scalability by this concept, and shorten development period and enhance quality.

• Bulletin of the Korean Chemical Society
• /
• v.34 no.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.

• Journal of Intelligence and Information Systems
• /
• v.12 no.4
• /
• pp.61-72
• /
• 2006

Ubiquitous computing technologies become mature enough to be applied in acceptable ubiquitous services. In particular, in u-shopping area, personalized recommender systems which automatically collect the nomadic user-related context data and then provide them with products or shops in a flexible manner. However, legacy cooperative queries and context-aware queries so far do not come up with dynamically changing situations and ambiguous query commands, respectively. Hence, The purpose of this paper is to propose a personalized context-aware cooperative query that supports a multi-level data abstraction hierarchy and conceptual distance metric among node instances, while considering the user's context data. To show the feasibility of the methodology proposed in this paper, we have implemented a prototype system, CACO, in the area of site search in a large-scale shopping mall.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• 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로 명세, 명세한 시스템의 요구조건을 정형기법을 이용친서 검증해보고자 한다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1993.04b
• /
• 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.

• School Mathematics
• /
• v.1 no.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.