• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.34C no.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.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1997.04a
• /
• pp.508-512
• /
• 1997

Design sensitivity analysis of Eigen Problem give systematic design improvement information for noise and vibration of a system. Based on reliable results form commercial FE code(UAI/NASTRAN), three computational procedures for design sensitivity analysis of eigen problem are suggested. Those methods are finite difference,design sensitivity analysis using external module and design sensitivity analysis running with NASTRAN. To verify the suggested methods, a numerical example is given and these results are compared with the results from UAI/NASTRAN eigen sensitivity option. We can conclude that design sensitivity coefficient of eigen proplems can be computed outside of the FE code as easy as inside of the FE code.

• Journal of the Korean School Mathematics Society
• /
• v.5 no.2
• /
• pp.23-31
• /
• 2002

The purpose of this study is to analyze thinking process in problem solving and to get some teaching materials to improve students' problem solving abilities. For this study, 14 girl and boy students in highschool were tested with 7 testing questions. The whole process of students' problem solving was observed by using 'Thinking aloud', recorded by Audio Tape and finally drawn up to Protocol. On the basis of that Protocol, coding system was set up and characteristics of thinking process in each stage were analyzed. -In the stage of planning, successful problem solvers tried to check the properties of words included in problems(Pr) and made it clear that they were seeking(O) -In the stage of planning, students used abstraction strategy(Ab, making equation(E) or using variable(V)) appropriately could solve more difficult problems. Successful problem solvers turned used unsystematical trial into systematical method and were good at using partial objects, assistant factors. - In the stage of carring out the plan, successful problem solvers to reduce the error, check the purpose, used formula, knowledge and calculation. -In the looking back stage, successful problem solvers generalized the answer and checked the total process.

• Proceedings of the Korea Contents Association Conference
• /
• 2005.11a
• /
• pp.644-648
• /
• 2005

Agent-Oriented Software Engineering is the one of the most recent contributions to the field of Software Engineering. This method has many benefits compared in existing development approaches. In particular the ability to let agents represent high level abstraction of active entity in software system. This paper gives an overview of research for agent-oriented software and industrial applications.

• Korean Management Science Review
• /
• v.16 no.2
• /
• pp.33-49
• /
• 1999

The management of enterprise knowledge has been increasingly important because knowledge emerges as the new basis of competition in postcapitalist society. One of the key issues in knowledge management is to put knowledge into a repository where it can be easily stored, reused, and recreated. This paper proposes a model repository and the corresponding knowledge management framework. The emphases of model repository is on abstraction knowledge in the form of schematic models. Two major benefits are model independence and model integration. A metaschema is constructed according to six conceptual components: separate unit, external link, internal link, separate unite descriptor, link descriptor, and composite descriptor, which can be applied for a variety of models. A prototype system with a case illustrates the practical usefulness of model repository for knowledge management.

• Journal of Educational Research in Mathematics
• /
• v.8 no.2
• /
• pp.485-494
• /
• 1998

This study is on the theory of Piaget's reflective abstraction and the mechanism of the development of knowledge and the history of algebra and its application to understand the difficulties that many students have in learning algebra. Piaget considers the development of knowledge as a linear process. The stages in the construction of different forms of knowledge are sequential and each stage begins with reorganization. The reorganization consists of the projection onto a higher level from the lower level and the reflection which reconstructs and reorganizes within a lager system that is transferred by profection. Piaget shows that the mechanisms mediating transitions from one historical period to the next are analogous to those mediating the transition from one psychogenetic stage to the next and characterizes the mechanism as the intra, inter, trans sequence. The historical development of algebra is characterized by three periods, which are intra inter, transoperational. The analysis of the history of algebra by the mechanism explains why the difficulties that students have in learning algebra occur and shows that the roles of teachers are important to help students to overcome the difficulties.

• Nuclear Engineering and Technology
• /
• v.46 no.6
• /
• pp.753-772
• /
• 2014

The paper presents functional modelling and its application for diagnosis in nuclear power plants. Functional modelling is defined and its relevance for coping with the complexity of diagnosis in large scale systems like nuclear plants is explained. The diagnosis task is analyzed and it is demonstrated that the levels of abstraction in models for diagnosis must reflect plant knowledge about goals and functions which is represented in functional modelling. Multilevel flow modelling (MFM), which is a method for functional modelling, is introduced briefly and illustrated with a cooling system example. The use of MFM for reasoning about causes and consequences is explained in detail and demonstrated using the reasoning tool, the MFMSuite. MFM applications in nuclear power systems are described by two examples: a PWR; and an FBR reactor. The PWR example show how MFM can be used to model and reason about operating modes. The FBR example illustrates how the modelling development effort can be managed by proper strategies including decomposition and reuse.

• Korea Information Processing Society Review
• /
• v.14 no.6
• /
• pp.118-127
• /
• 2007

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

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2001.11a
• /
• pp.270-273
• /
• 2001

Electrical tree is studied widely by manufacture state of insulating material fare and blazing fire diagnosis system of use in phenomenon of part discharge that happen for main cause of dielectric breakdown of equipment for electric power. Use process that draw tree pattern here measuring above zero to study special quality of this electricity tree, real-time processing by image processing is proposed because reproduction of tree blazing fire process drops and pattern of tree is difficult correct quantification of tree growth by existent visual observation by involution. This research presents general process that need in image processing of tree blazing fire, and that remove various noises that happen in above zero by measuring electrical tree dividing background and complete view in measured above zero taking advantage of specially proposed complete view object abstraction techniques effectively and quantification of tree becomes easy naturally, can apply to dielectric breakdown estimate because can chase growth process of tree.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1685-1688
• /
• 2003

객체지향 환경에서 복잡한 소프트웨어 시스템을 개발하기 위해서는, 그것의 복잡성과 대규모성 때문에 추상화에 의한 다계층적인 use case model 의 사용이 불가피하다. 이러한 경우 모델의 consistency 유지가 매우 주요하고 어려운 이슈가 된다. 본 논문에서는 각 추상화 단계에 따른 use case model 들 사이에서 자동적으로 형식적인 consistency 를 체킹할 수 있는 방법을 제안한다. 이 접근 방법은 rule 을 기반으로 하여 actor tree, use cose composition diagram를 use case description을 활용한다. 본 접근법을 검증하기 위하여, ITS 아키텍처 (Intelligent Transportation System architecture)의 한 파트를 예로 들어 적용하였다.