• The KIPS Transactions:PartA
• /
• v.11A no.3
• /
• pp.149-156
• /
• 2004

As software is large and sophisticate, in order to increase the productivity and efficiency of programs in programming development environments, it is necessary to support the integrated system that offers user interface integrated editing, compiling, debugging, and running steps. The key tool in such environments is an incremental translation. In this paper, in order to increase the productivity and reusability of software, the goal is to construct the integrated incremental interpretation system that supports friendly user interface with editor, debugger, and incremental interpreter. We define the new object-oriented language, IMPLO(IMPerative Language with Object) using EBNF notation, and construct the integrated incremental interpretation system using incremental interpreter of the language. To do so, we extend attribute grammars for specifying static semantics and present new action equations to describe the dynamic semantics. We executed the incremental interpretation by using analyzing the dynamic semantics and then implemented integrated incremental interpretation system with editor and debugger in C, Lex and Yacc using X windows on SUN. We obtain about 50％ speedups in case of incremental execution time for example programs.

• Journal of Internet Computing and Services
• /
• v.5 no.6
• /
• pp.111-120
• /
• 2004

In order to increase the productivity of software, the research to reduce the total cost in software development environments is working, Considerable time is wasted waiting for a changed program in program development, however smell the change, to be edited and compiled and executed. In case of partial change, we need incremental interpreter for reexecuting the changed parts and its affected parts, In this paper, we implement the incremental interpreter by using analyzing dynamic semantics at execution time, We define a new IMPLO(IMPerative Language with Object) language using EBNF(Extended Backus Naur Form) notation and then, design and implement the incremental interpreter of this language by using action equations to describe the dynamic semantics.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.1093-1096
• /
• 2001

본 논문에서는 소프트웨어의 재사용성과 생산성을 향상시키기 위해, 에디팅, 디버깅, 점진 번역 및 실행을 하나의 통합 환경으로 구성하여 보다 친근하고 편리하게 사용할 수 있는 사용자 인터페이스를 제공하는 소프트웨어 개발을 위한 통합 점진 시스템을 구축하고자 한다. 객체 지향 언어인 IMPLO(IMPerative Language with Object) 언어를 EBNF 표기법으로 정의하고 이 언어에 대한 점진 해석기를 구현하고 에디터와 디버거를 가진 통합 점진 시스템을 구축한다. 본 통합 점진 시스템은 SUN 1000에서 Lex와 Yacc을 이용해서 C 언어로 구현하고 사용자 인터페이스는 X로 구현하였다.

• Journal of KIISE:Software and Applications
• /
• v.26 no.8
• /
• pp.1018-1027
• /
• 1999

속성 문법은 언어의 정적인 의미구조를 표현하는 형식적인 표기법으로 동적인 의미구조를 표현하기는 부적절하다. 동적 의미구조를 잘 명세하고 명세된 언어를 구현하기 위해서 기존의 속성 문법을 확장하여 언어 구현에 필요한 동적인 작용들(actions)을 잘 표현해야 한다. 본 논문에서는 속성 문법을 확장하여 정적이고 동적인 의미구조를 잘 표현할 수 있는 새로운 작용 식(action equation)을 제시한다. 제시된 작용 식(action equation)의 동적인 의미 구조로 부터 SIMP 언어의 점진 해석기(incremental interpreter)를 설계하고 구현한다. 점진 해석기는 언어 기반의 프로그래밍 환경에서 수정된 부분만을 번역하여 프로그램의 전체 실행 결과를 얻는 해석기를 의미한다. 본 해석기는 SUN 1000에서 Lex와 Yacc을 사용해서 C 언어로 설계하고 구현하였다. 예제 프로그램을 실행시켰을 때 배정 문이나 IF문의 경우는 매우 효율적이었고 Loop의 경우는 재실행될 필요가 있는 영향받는 명령문들이 적을수록 점진 해석이 더 효율적으로 수행된다.Abstract Attribute grammars are a formal notation which expresses the static semantics of programming languages, but they are not suitable for expressing dynamic semantics. To describe dynamic semantics and implement a specified language, we extend attribute grammars and present new action equations which describe static and dynamic semantics. The incremental interpreter of a SIMP language is designed and implemented from the dynamic semantics of presented action equations. The incremental interpreter is to translate only modified part in the language-based programming environments and have results of whole program.Our interpreter is implemented in C with Lex and Yacc on SUN 1000. When we execute example programs, the incremental evaluation of any assignment and IF statements executes efficiently. But in the case of loop, we execute efficiently when the effected statements to be reexecuted in the loop are of small number.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.28 no.1A
• /
• pp.115-123
• /
• 2008

The performance prediction of fiber-reinforced composites has attracted engineer's attention in many fields, and the various theoretical and numerical methods have been proposed to predict the behavior of the fiber-reinforced composites. An evolutionary damage model for progressive interfacial debonding between circular fibers and the matrix is newly incorporated into the micromechanics-based elastoplastic model proposed by Ju and Zhang (2001) in this framework. Using the proposed model, a series of numerical simulations are conducted to illustrate the elastoplastic behavior and evolutionary damage of the framework. Furthermore, the influence of the evolutionary interfacial debonding on the behavior of the composites is investigated by comparing it with the result of a stationary damage model.

• Journal of the Korean Geotechnical Society
• /
• v.21 no.6
• /
• pp.5-18
• /
• 2005

In this study, the influence of progressive consolidation from the drainage boundary on the subsequent process of consolidation was investigated. Analytical theory and numerical program f3r consolidation of clayey soil were developed based on finite difference method, in which spatial variation of permeability and volume compressibility were implemented. And model ground with normally consolidated clayey soils and a vertical drain at its center were simulated. Various types of soils with different relations between coefficient of volume compressibility and permeability and void ratio were applied. Also numerical simulations based on the properties of the normally consolidated clay at Nakdong River basin and reconstituted kaolinite soil were performed to recognize its practical impact. Consequently, it is found out that retardation of consolidation induced by progressive consolidation is very important to understand consolidation behavior on field conditions and its effect is remarkable at the initial state of consolidation, and increases with plasticity index and applied load.

• Annual Conference on Human and Language Technology
• /
• 1999.10e
• /
• pp.89-96
• /
• 1999

본 논문은 하이퍼텍스트가 갖는 중요한 특성인 링크 정보를 활용한 문서 분류 모델을 제안한다. 하이퍼링크는 문서간의 관계를 나타내는 유용한 정보로서 링크를 통해 연결된 두 문서는 내용적으로 관련이 있어 검색에 도움을 준다는 것은 이미 밝혀진바 있다. 본 논문에서는 이러한 과거 연구를 바탕으로 새로운 문서 분류 모델을 제안하는데, 이 모델의 주안점은 대상 문서와 링크로 연결된 이웃 문서의 내용 및 범주를 분석하여 대상 문서 벡터를 조정하고, 이를 근거로 문서의 범주를 결정한다. 이웃 문서에 포함된 용어를 반영함으로써 대상 문서의 내용을 확장 해석하고, 이웃 문서의 가용 분류 정보가 있는 경우 이를 참조함으로써 정확도 향상을 기한다. 이 모델은 이웃한 문서의 범주가 미리 할당되어 있지 않은 경우 용어 기반 분류 방법으로 가용 범주를 할당하고, 이렇게 할당된 분류 정보가 다시 새로운 문서의 범주를 결정할 때 사용됨으로써, 문서 집합 전체의 분류가 점진적으로 이루어지며 그 정확도를 더해 나가는 효과를 가져올 수 있다. 이러한 접근 방법은 일반 웹 환경에 적용할 수 있는데, 특히 하이퍼텍스트를 주제별로 분류하여 관리하는 검색 엔진의 경우 매일 쏟아져 나오는 새로운 문서와 기존 문서간의 링크를 활용함으로써 전체 시스템의 점진적인 분류에 매우 유용하다. 제안된 모델을 검증하기 위하여 Reuter-21578과 계몽사(ETRI-Kyemong) 자료를 대상으로 실험한 결과 18.5%의 성능 향상을 얻었다.

• School Mathematics
• /
• v.11 no.1
• /
• pp.131-145
• /
• 2009

This research was designed to investigate the possibility to teach function concept and graph representation of functions in explicit manner toward at elementary level. Eight class-hours instruction was given to four Grade 5(age 11) students, and dynamic geometry software GSP was partially used in the class. Results indicate that the students could conceptualize the function relation, interpret linear function graphs, recognize the meaning of their slopes, and discuss the relationships among linear graphs and real life situation. Results also indicate that GSP helped students to recognize the relation between dots and the linear graph clearly and that GSP-line graph did decisive role for children to understand the meaning of graph representation of function.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05c
• /
• pp.85-91
• /
• 1996

원전 증기발생기 시제 전열관으로 제조된 Alloy 600 및 690 에 대하여 ASTM 규정 (B163-86a)에 따라 확관실험을 실시하여 평가하였으며, 관 요소에 작용하는 응력을 해석하였다. 실험 결과 시제 전열관은 ASTM에서 요구하는 확관율 30% 및 그 이상의 35% 까지 확관할 경우에도 양호한 확관상태를 보였다. 확관에 따른 유동곡선의 축력은 Alloy 690 이 Alloy 600 에 비해 높았으며, 확관율의 증가에 따라 차이가 점진적으로 크지는 경향을 보였다. 얇은 벽 튜브의 확관에 대한 응력 해석식은 Modified Tresca's Yield Criterion를 도입하여 얻었으며, 소성변형식을 이용하여 확관율에 따른 응력을 예측하였다. 유동곡선의 이론 계산치와 실험치를 비교한 결과 Alloy 600의 경우 이론치는 실험치보다 약간 낮은 값으로 잘 일치되었으나, Alloy 690 경우는 Alloy 600에 비하여 확관율의 증가에 따라 차이가 커지는 경향을 보였다.

• Journal of KIISE:Software and Applications
• /
• v.29 no.7
• /
• pp.498-509
• /
• 2002

As WWW grows at an increasing speed, a classifier targeted at hypertext has become in high demand. While document categorization il quite mature, the issue of utilizing hypertext structure and hyperlinks has been relatively unexplored. In this paper, we propose a practical method for enhancing both the speed and the quality of hypertext categorization using hyerlinks. In comparison against a recently proposed technique that appears to be the only one of the kind, we obtained up to 18.5% of improvement in effectiveness while reducing the processing time dramatically. We attempt to explain through experiments what factors contribute to tile improvement.