• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.2116-2120
• /
• 2003

A frame buffer device is an abstraction for the graphic hardware. It allows application software to access the graphic hardware through a well-defined interface, so that the software doesn’t need to know anything about the low-level interface stuff. We develop a frame buffer driver for VIA’s CLE266 graphic system based on ‘Qplus’, an embedded linux operating system developed by ETRI. Then, it will be seen that our frame buffer system is applied to embedded solutions such as movie player and X server successfully.

• 한국경영과학회지
• /
• 제19권2호
• /
• pp.57-73
• /
• 1994

KADS is currently a best known methodology for expert system development is Europe. KADS world sees the expert system development as a modeling activity and uses models to control complexity of the development process. Four layers KADS expertise model is used to describe expert knowledge. But this expertise model in high abstraction level is conceptual and not formalized. This paper has formalized KADS expertise model using set theory and mathematical semantics combined in order to reduce the ambiguity of informal models of expertise, provide a precise means of communication about the model of expertise and point out incompleteness and inconsistency of the model of expertise. Instead of first order predicate calculs, set theory and mathematical semantics are used because they are a more general and have compositive quality.

• Smart Structures and Systems
• /
• 제3권1호
• /
• pp.69-88
• /
• 2007

In this study, Field-Programmable Gate Arrays (FPGAs) are investigated as a practical solution to the challenge of designing an optimal platform for implementing algorithms in a wireless sensing unit for structuralhealth monitoring. Inherent advantages, such as tremendous processing power, coupled with reconfigurable and flexible architecture render FPGAs a prime candidate for the processing core in an optimal wireless sensor unit, especially when handling Digital Signal Processing (DSP) and system identification algorithms. This paper presents an effort to create a proof-of-concept unit, wherein an off-the-shelf FPGA development board, available at a price comparable to a microprocessor development board, was adopted. Data processing functions, including windowing, Fast Fourier Transform (FFT), and peak detection, were implemented in the FPGA using a Matlab Simulink-based high-level abstraction tool rather than hardware descriptive language. Simulations and laboratory tests were carried out to validate the design.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.433-437
• /
• 2005

The goal of our research is to develop a formal modeling methodology for supervisory and controlling systems that have artificially intelligent features. This approach is agent-based and central to the development of the model of mobility agent considering reactivity for real-time purpose and deliberation for optimal realization and safe-fail problems for critical systems like Intelligent Transportation Systems by high-level Petri net. By using nets within nets we investigate the concurrency of the system and the agent in one model without losing the needed abstraction, and synchronous channels are introduced to denote the coordination and communication. Finally an example is demonstrated.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -2
• /
• pp.1339-1342
• /
• 2002

It is difficult to design system software to meet a better separation of concerns, which can provide a number of benefits such as adaptability, extensibility, and modularity in the design and implementation. During design, some aspectual properties, such as synchronization, scheduling, performance and fault tolerance, crosscut the basic functionalities of the system software. By separating functional components from the different aspectual components of the system software in the design, we can provide a better generic design model of system software. Aspect-Oriented Programming is a methodology that aims at separating components and aspects from the early stages of the software life cycle, and using techniques to combining them together at the implementation phase. In this paper we discuss an aspect-oriented framework that can simplify system software design and implementation by expressing it at a higher level of abstraction. Our work concentrates on how to achieve a higher separation of aspectual components, functional components, and layers from each other. Our goal is to achieve a better design model for implementing system software in terms of modularity, reusability and adaptability.

• 전자공학회논문지C
• /
• 제34C권5호
• /
• pp.1-17
• /
• 1997

With the increasing performance and density of VLSI scircuits as well as the popularity of portable devices such as personal digital assitance, power consumption has emerged as an important issue in the design of electronic systems. Low power design techniqeus have been pursued at all design levels. However, it is more effective to attempt to reduce power dissipation at higher levels of abstraction which allow wider view. In this paper, we propose a simultaneous scheduling and binding scheme which increases the correlation between cosecutive inputs to an operation so that the switched capacitance of execution units is reduced in datapath-dominated circuits. The proposed method is implemented and integrated into the scheduling and assignment part of HYPER synthesis environment. Compared with original HYPER synthesis system, average power saving of 23.0% in execution units and 14.2% in the whole circuits, ar eobtained for a set of benchmark examples.

• 한국환경과학회지
• /
• 제22권5호
• /
• pp.515-522
• /
• 2013

To investigate groundwater variation characteristics in the Hancheon watershed, Jeju Island, an integrated hydrologic component analysis was carried out. For this purpose, SWAT-MODFLOW which is an integrated surface-groundwater model was applied to the watershed for continuous watershed hydrologic analysis as well as groundwater modeling. First, ephemeral stream characteristics of Hancheon watershed can be clearly simulated which is unlikely to be shown by a general watershed hydrologic model. Second, the temporally varied groundwater recharge can be properly obtained from SWAT and then spatially distributed groundwater recharge can be made by MODFLOW. Finally, the groundwater level variation was simulated with distributed groundwater pumping data. Since accurate recharge as well as abstraction can be reflected into the groundwater modeling, more realistic hydrologic component analysis and groundwater modeling could be possible.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2005년도 추계 종합학술대회 논문집
• /
• pp.644-648
• /
• 2005

에이전트 지향 소프트웨어 공학은 가장 새롭게 대두되고 있는 소프트웨어 공학 분야 중 하나이다. 이 방법은 기존의 개발 방법과 비교하여 많은 장점을 가지고 있다. 그 중 소프트웨어 시스템의 활성 객체(active entity)를 에이전트로 하여금 고급 추상화 단계로 표현할 수 있도록 해준다. 본 논문은 에이전트 지향 소프트웨어에 대한 연구와 산업 현장에서의 적용을 개략적으로 알아보고자 한다.

• 융합신호처리학회 학술대회논문집
• /
• 한국신호처리시스템학회 2006년도 하계 학술대회 논문집
• /
• pp.89-92
• /
• 2006

본 논문에서는 SystemC를 이용하여 데이터를 압축하는 JPEG의 인코더와 디코더 구현에 대하여 기술한다. SystemC는 SoC의 설계생산성을 높이기 위해 high-level abstraction에 기반하여 시스템을 모델링하고 명시하는 시스템 수준 설계 언어이고, JPEG은 DCT와 Huffman 코드를 이용하여 정지영상 정보를 압축하는 알고리즘이다. 설계된 JPEG 인코더와 디코더 모듈의 동작을 검증하기 위하여 인코더 모듈에 $16{\times}16$ 크기의 픽셀 RGB 데이터를 입력하고, 디코더 모듈에 인코더 모듈의 출력을 입력으로 연결하여 최종 출력되는 데이터를 비교 및 분석하여 확인하였다.

• 정보처리학회지
• /
• 제14권6호
• /
• pp.118-127
• /
• 2007

공정기술의 미세화가 진행될수록 반도체 제품의 개발비용은 급격히 증가 할 것으로 예측되고 있다. 이는 지속적으로 증가하는 설계 복잡도와 미세공정에서 고성능 및 저전력 반도체 구현의 어려움에 의한 것이다. 제품수명기간(Product Life Cycle: PLC)이 점점 짧아지지만 핵심 부품인 반도체 제품의 개발기간과 설계인력은 급격히 증가해감에 따라 늘어만 가는 개발 비용은 반도체 제품의 수익향상 측면에서 매우 큰 장애가 되고 있다. 따라서 설계의 복잡화와 구현의 어려움 이라는 기술적인 문제들을 해결하여 시장에서의 생존이 걸린 극한적인 경쟁환경에서 살아 남기위해서는 반도체 설계의 paradigm 자체를 변화 시켜야 할 것이다. 이에 대한 해법으로 반도체 설계의 abstraction level을 현재의 RTL에서 상위 수준으로 올리고 설계의 virtualization을 해야 한다는 것은 설계 재사용과 신개념 검증 방법 기술과 함께 필수적인 변화의 한 방향이다. 이미 수년전부터 많은 연구 논문에서 이와 관련된 새로운 system 설계 기술들이 제시되어 왔고, 이에 대응하는 platform 기반의 설계기법 소개와 삼성전자의 구축현황에 대해 저자는 지난 논문에서 기술 한 바 있다. 본 논문은 2003년 9월 이후 platform 설계기법의 virtual 화가 어떻게 발전되어 왔는지에 대해 기술하고 문제점 확인 및 앞으로 이에 대한 해결 방안들의 방향에 대해 논하고자 한다.