• Title/Summary/Keyword: Program transformation

Search Result 386, Processing Time 0.025 seconds

A Program Transformation Framework for Improving Data Locality Based on Loop Distribution , Interchange, Unrolling, and Scalarization (루프 분산, 교환, 펼침 , 스칼라화에 기초한 데이터 지역성 개선을 위한 프로그램 변환체계)

  • U, Deok-Gyun;Pyo, Chang-U;Yun, Seok-Han
    • Journal of KIISE:Software and Applications
    • /
    • v.26 no.4
    • /
    • pp.557-567
    • /
    • 1999
  • 본 논문은 데이터 캐시를 효과적으로 사용하기 위하여 개발된 원시 프로그램의 루프 변환체제에 대하여 논하고 있다. DIUS로 명명된 이 체계는 외부 루프 펼침을 중심으로 루프 분산, 교환이 선행되고 , 마직막에 스칼라화가 적용되는 변환체계이다. 루프 교환은 회전 공간이 루프 단위로 변형되어 전반적으로 캐시 재사용 기회를 높이지만 일부 배열 참조에 대해서는 오히려 재사용 기회를 감소시킨다. 본 연구에서는 이 문제를 외부 루프 펼침으로 해결하였다. 외부 루프 펼침과 루프 교환을 루프 몸체의 문장들에 선별적으로 적용하기 위하여 루프 분산을 도입하였다. 외부 루프 펼침을 적용하면 배열 참조를 스칼라 참조로 변환하는 스칼라화의 효과가 증대되어 레지스터 사용의 효율성이 높아진다. SPEC CFP95 벤치마크에 대하여 DIUS를 적용한 결과 기하학적 평균으로 속도 향상 1.10을 얻었으며, 특정 프로그램들은 모두 캐시 미스수가 줄어들었음을 확인하였다. 이와 같은 성능향상은사용된 루프 변환기법들이 갖는 캐시와 레지스터의 효율적인 사용에 기인한다.

A Reflection on the Struggles 2000 around the Separation of Prescribing and Dispensing (2000년 의료사태의 경험과 교훈)

  • 김한중
    • Health Policy and Management
    • /
    • v.11 no.1
    • /
    • pp.87-106
    • /
    • 2001
  • There has been a series of struggles around the governmental enforcing separation of prescribing and dispensing since the consensus for the policy at May 10, 1995, and the strike among the physicians nationwide at June 19, 2000. This thesis is to review the process of the affair as a whole and find out some achievements and lessons from it. Most visible achievement is that physicians have obtained governmental apology for the enforcing the unprepared policy, and promise to revise the Law on the Pharmaceutical Affairs, to enlarge governmental support for the medical insurance program, to construct a presidential committee for the reformation of medical affairs, and so on. Besides these achievements, physicians have learned much on the relations among them and with society in general. However this is only the first scene on the road to an extensive transformation in the medical area following more critical Issues on the medical reformation.

  • PDF

EDISON Co-rotational Plane beam-Dynamic tip load를 이용한 가진주파수 변화에 따른 외팔보의 자유단 진동 연구

  • Park, Cheol-U;Ju, Hyeon-Sik
    • Proceeding of EDISON Challenge
    • /
    • 2015.03a
    • /
    • pp.246-250
    • /
    • 2015
  • In this paper, Timoshenko and Euler-Bernoulli beam theories(EB-beam) are used, and Fast Fourier Transformation(FFT) analysis is then employed to extract their natural frequencies using both analytical approach and Co-rotational plane beam(CR-beam) EDISON program. EB-beam is used to analyze a spring-mass system with a single degree of freedom. Sinusoidal force with various frequencies and constant magnitude are applied to tip of each beam. After the oscillatory tip response is observed in EB-beam, it decreases and finally converges to the so-called 'steady-state.' The decreasing rate of the tip deflection with respect to time is reduced when the forcing frequency is increased. Although the tip deflection is found to be independent of the excitation frequency, it turns out that time to reach the steady state response is dependent on the forcing frequency.

  • PDF

A Study on Design of Barrel Cam for Automatic Bulb Production Machine (전구 자동화 생산기계용 바렐 캠의 형상설계에 관한 연구)

  • Kim, Jong-Su;Yun, Ho-Eop
    • 연구논문집
    • /
    • s.33
    • /
    • pp.89-97
    • /
    • 2003
  • A barrel cam is used as a very important part of an index drive unit. The index drive unit must have an intermittent-rotational motion. The barrel typed cam and roller gear mechanism has the advantages of high reliability to perform a prescribed motion of a follower. This paper proposes a new method for the shape design of the barrel cam and also a CAD program is developed by using the proposed method. As defined in this paper, the relative velocity method for the shape design calculates the relative velocity of the follower versus cam at a center of roller, and then detemines a contact point by using the geometric relationships and the kinematic constraints, where the direction of the relative velocity must be parallel to a common tangential line at the contact point of two independent bodies, i.e. the cam and the follower. Then, the shape of the cam is defined by the coordinate transformation of the trace of the contact points. This paper presents shape design of the barrel cam in order to prove the accuracy of the proposed methods

  • PDF

A Dependability Modeling of Software Under Memory Faults for Digital System in Nuclear Power Plants

  • Park, Jong-Gyun;Seong, Poong-Hyun
    • Nuclear Engineering and Technology
    • /
    • v.29 no.6
    • /
    • pp.433-443
    • /
    • 1997
  • In this work, an analytic approach to the dependability of software in the operational phase is suggested with special attention to the hardware fault effects on the software behavior : The hardware faults considered are memory faults and the dependability measure in question is the reliability. The model is based on the simple reliability theory and the graph theory which represents the software with graph composed of nodes and arcs. Through proper transformation, the graph can be reduced to a simple two-node graph and the software reliability is derived from this graph. Using this model, we predict the reliability of an application software in the digital system (ILS) in the nuclear power plant and show the sensitivity of the software reliability to the major physical parameters which affect the software failure in the normal operation phase. We also found that the effects of the hardware faults on the software failure should be considered for predicting the software dependability accurately in operation phase, especially for the software which is executed frequently. This modeling method is particularly attractive for the medium size programs such as the microprocessor-based nuclear safety logic program.

  • PDF

A Software And Hardware Scheme For Reducing The Branch Penalty In Parallel Computers (병렬구조 컴퓨터에서 Branch penalty를 감소시키기 위한 소프트웨어와 하드웨어 방법)

  • 함찬숙;조종현;조영일
    • Journal of the Korean Institute of Telematics and Electronics B
    • /
    • v.30B no.11
    • /
    • pp.11-16
    • /
    • 1993
  • VLIW architecture capable of testing multiple conditions in a cycle must support an efficient mechanism for multi-way branches. This paper proposes a mechanism to speed up the execution of multi-way branches and an efficient memory packing method of instructions, which reduced the wasted memory space. Also, we develops a new compiler technique which can transform program segments that are not applied to multi-way branches into ones that are applied to multi-way branches. The benefits gained by the transformation are to reduce branch penalty and to increase instruction-level parallelism.

  • PDF

Development of An Optimal Design Program for Open-Chain Dynamic Systems (불구속연쇄 동적시스템을 위한 최적설계 프로그램 개발)

  • 최동훈;한창수;이동수;서문석
    • Transactions of the Korean Society of Mechanical Engineers
    • /
    • v.18 no.1
    • /
    • pp.12-23
    • /
    • 1994
  • This paper proposes an optimal design software for the open-chain dynamic systems whose governing equations are expressed as differential equation. In this software, an input module and an automatic creation module of the equation of motion are developed to contrive the user's convenience. To analyze the equation of motion of the dynamic systems, variable-order and variable-stepsize Adams-Bashforth-Moulton predictor-corrector method is used to improve the efficiency. For the optimization and the design sensitivity analysis, ALM(augmented lagrange multiplier)method and adjoint variable method are adopted respectively. An output module with which the user can compare and investigate the analysis and the optimization results through tables and graphs is also provided. The developed software is applied to three typical dynamic response optimization problems, and the results compare very well with those available in the literature, demonstrating its effectiveness.

English Teachers' Responses to Doing Action Research

  • Yang, Tae-Sun
    • English Language & Literature Teaching
    • /
    • v.15 no.2
    • /
    • pp.245-259
    • /
    • 2009
  • The purpose of this study was to investigate English teachers' perceptions about doing their own action research to find out the benefits of involvement in action research. I believe that teachers should engage in curriculum research and development because it relates to their own classrooms and because a primary aim for teacher education program is to give teachers ways of exploring their own classrooms. I focused on 17 graduate students who had undertaken action research during the fall semester of 2007 and administered a questionnaire about their perceptions of doing action research. The results revealed that their perceptions of doing action research fell into the following two categories, positive and negative aspects. For positive aspects, they experienced a sense of personal and professional growth and they underwent identity transformation from passive, etic-oriented, and uncritical to active, emic-oriented, and critical teachers. However, many of them expressed that major obstacles to doing action research were time constraints and lack of skills or training in conducting action research. Thus, it is suggested that both pre- and in-service teachers should consider conducting a language teaching diary study, doing collaborative action research, and acquiring all the necessary skills for conducting action research.

  • PDF

Borderlines in Early Childhood Teacher's Practical Knowledge of 'Curriculum' via Metaphor Analysis (메타포를 통해 본 유아교사의 '교육과정'에 대한 실천적 지식의 한계)

  • Lee, Kyeong Hwa
    • Korean Journal of Childcare and Education
    • /
    • v.12 no.4
    • /
    • pp.131-149
    • /
    • 2016
  • Teacher's practical knowledge is potentially relevant to the teaching practice in his/her classroom. The research explored early childhood teachers' practical knowledge of 'curriculum' via conceptual metaphors. The participants (N=348) completed a prompt, "Curriculum is like A because B" and then the metaphors were analyzed according to the procedure proposed by Moser (2000). The analysis found that 8 themes (i.e. 'educational basis', 'learning opportunity', 'educational material', 'difficulty', 'change', 'pre-determination', 'discordance', and 'reconstruction') were the underlying conceptions signified in those metaphors. The implications regarding early childhood teachers' practical knowledge were discussed on the perspective of post-modern curriculum. Moreover, it recommended the practical knowledge based approach for early childhood teacher education, and transformation of current policy for program evaluation relevant to curriculum conceptualization.

극소형 전자기계장치에 관한 연구전망

  • 양상식
    • 전기의세계
    • /
    • v.39 no.6
    • /
    • pp.14-19
    • /
    • 1990
  • 1. CAD system과 PROPS를 접속하여 CADsystem에서 Design된 surface를 사용할 수 있으며 Robot Kinematics를 graphic library화하여 surface배치 수상 및 path generation 및 animation을 통하여 가공작업을 위한 로보트 운동을 simulation할 수 있게 되었다. 2. Denavit-hartenberg transformation form에 의해 여러 Robot Kinematic을 일반적인 형식으로 library화 하였다. 3. 금형 가공의 공정들을 Menu로 만들어서 Expert system을 도입, 손쉽게 Interactive한 작업을 할 수 있게 하였다. 4. 차후의 연구 목표는 로보트 Calibration S/W의 개발 및 실현 그리고 Expert System을 이용한 Robot Program Generator의 완성을 통한 전체 Off-line programming System을 정립하는데 있다. 이를 위해서 더 실제적인 Tool Path Generation과 Expert System을 이용한 가공 조건의 결정 및 User Interface를 위한 Window가 개발되어야 한다. 5. 1차년도에 개발된 Robotonomic Tool System의 유연성을 확장시킨다. 실험결과를 바탕으로 공정 자동화 시스템을 확장시킨다. 6. 연마공정자동화에 필수적인 공구 및 공구 Tip의 표준화 및 자동교환장치를 개발한다. 7. 금형연마 Cell의 구성요소들간의 Interface 및 System Controller에서의 집적화를 시킨다.

  • PDF