• 한국자기학회:학술대회 개요집
• /
• 한국자기학회 2000년도 International Symposium on Magnetics The 2000 Fall Conference
• /
• pp.574-575
• /
• 2000

• 인터넷정보학회논문지
• /
• 제5권6호
• /
• pp.111-120
• /
• 2004

소프트웨어의 생산성을 향상시키기 위해 소프트웨어 개발 단계에서 소요되는 비용을 최소화하려는 연구가 다양하게 진행되고 있다. 프로그램 개발 단계에서는 프로그램을 부분적으로 수정하게 되고 프로그램의 부분 수정인 경우에도 프로그램을 편집하여 다시 실행하는데 많은 시간이 소요된다. 프로그램을 수정할 경우 수정한 부분과 이에 영향 받는 부분만을 재실행하기 위한 점진 해석기가 필요하다. 본 논문에서는 프로그램 실행 시 동적 의미 분석 방법에 의해 점진 해석기를 구현하고자 한다. IMPLO(IMPerative Language with Object) 언어를 EBNF(Extended Backus Naur Form) 표기법으로 정의하고 동적 의미 구조를 표현하기 위해 작용식(action equation)을 사용하여 IMPLO 언어에 대한 점진 해석기(incremental interpreter)를 설계하여 구현하고자 한다.

• 소성∙가공
• /
• 제3권1호
• /
• pp.110-119
• /
• 1994

In this paper, a new forming process of large-size forgings of converged nozzle-shape is developed by the experimental study using the incremental forging method and combined forming method. The development of the forming process is focused on the manufacturing of large-size forgings by the press with medium load capacity. Various related processes are proposed and modelling experiments using plasticine are carried out. Thus, the incremental forging method for expanding is recommanded from the study of formability and forming load, etc. The selected process is then subjected to modelling experiments of lead and the design parameters such as preform for final process, die-width of the upper die and reduction amount of each stroke are determined. In order to verify the effectiveness of the selected process, 1/7 scale prototype experiment of the real material is carried out. Forgings of converged nozzle shape can be produced by the developed process within the limit loads and with the simple tools.

• 대한임베디드공학회논문지
• /
• 제7권6호
• /
• pp.311-321
• /
• 2012

When developing a CPS, since it is nature of CPS to interact with a physical system, CPS should be verified during its development process by real-time simulation supporting timely interactions between the simulator and existing implemented hardwares. Furthermore, when a part of a simulated system is implemented to real hardwares, i.e., incremental development, the simulator should aware changes of the simulated system and apply it automatically without manual description of the changes for effective development. For this, we suggest a real-time simulation framework including the concept of 'port' which abstracts communication details between the tasks, and a scheduling algorithm for guaranteeing 'real-time correctness' of the simulator.

• 소성∙가공
• /
• 제15권6호
• /
• pp.459-466
• /
• 2006

Trimming line design plays an important role in obtaining accurate edge profile after flanging. Compared to the traditional section-based method, simulation-based method can produce more accurate trimming line by considering deformation mechanics. Recently, the use of a finite element inverse method is proposed to obtain optimal trimming line. By analyzing flanging inversely from the final mesh after flanging, trimming line can be obtained from initial mesh on the drawing die surface. Initial guess generation fer finite element inverse method is obtained by developing the final mesh onto drawing tool mesh. Incremental development method is adopted to handle irregular mesh with various size and undercut. In this study, improved incremental development algorithm to handle complex shape is suggested. When developing the final mesh layer by layer, the algorithm which can define the development sequence and the position of developing nodes is thoroughly described. Flanging of front fender is analyzed to demonstrate the effectiveness of the present method. By using section-based trimming line and simulation-based trimming line, incremental finite element simulations are carried out. In comparison with experiment, it is clearly shown that the present method yields more accurate edge profile than section-based method.

• 산업경영시스템학회지
• /
• 제19권40호
• /
• pp.119-136
• /
• 1996

With new competitive environments, innovation is more necessary to survive severe competitions than ever. However, most Small and Medium(SM) businesses are used to be short of professional staffs, money and equipments for performing various innovations(ie., technological or administrative innovation, product development or Process development, and radical or incremental innovation). Many students have suggested that incremental innovation is more adequate than radical innovation in SM business. The purpose of this paper is to find antecedent factors In promote employees' Incremental Innovation Activities(IIA), In analyse moderating effects of ability and attitudes, and to test the difference of IIA-level by ability(or attitudes) and 11 independent factors. Each IIA-level by 5 variables of 11 independent variables-job variety, importance, identity, communication, performance dependency-is found to be significantly different in high-ability group affirmative-attitude group.

• 인터넷정보학회논문지
• /
• 제10권2호
• /
• pp.75-84
• /
• 2009

프로그램의 생산성을 향상시키기 위해 프로그램 개발 단계에서 소요되는 비용을 최소화하려는 연구가 다양하게 진행되고 있다. 점진 평가는 프로그램을 수정할 경우, 전체 프로그램을 다시 평가하는 대신 수정한 부분과 그 부분에 영향 받는 부분만을 다시 평가하는 방법이다. 점진 평가 방법은 전체 프로그램을 다시 평가하지 않기 때문에, 프로그램 개발 환경의 실행 효율성 측면에서 고려해 볼 때 매우 중요하다. 본 논문에서는 명령형 언어를 위해 제시된 종속 차트(dependency chart)를 확장하여 객체 지향언어인 자바 같은 언어에서 점진 평가를 수행할 수 있도록 확장된 종속 차트를 제시한다. 객체 지향언어에서 점진 평가를 수행하는 알고리즘을 제시하고 그 알고리즘의 정확성을 증명하고 실험을 통해 점진 평가의 효율성을 분석한다.

• 디지털산업정보학회논문지
• /
• 제14권3호
• /
• pp.21-28
• /
• 2018

As computer performance and needs of user convenience increase, computer user interface are also changing. This changes had great effects on software development environment. In past, text editors like vi or emacs on UNIX OS were the main development environment. These editors are very strong to edit source code, but difficult and not intuitive compared to GUI(Graphical User Interface) based environment and were used by only some experts. Moreover, the trends of software development environment was changed from command line to GUI environment and GUI Editor provides usability and efficiency. As a result, the usage of text based editor had decreased. However, because GUI based editor use a lot of computer resources, computer performance and efficiency are decreasing. The more contents are, the more time to verify and display the contents it takes. In this paper, we provide a new parser that provide multi view editing, incremental parsing and multiple entry of abstract syntax tree.

• 정보처리학회논문지A
• /
• 제11A권3호
• /
• pp.149-156
• /
• 2004

소프트웨어가 대형화되고 고도화되어 감에 따라 프로그램 개발 환경에서 프로그래밍 생산성과 효율성을 향상시키기 위해 에디팅. 컴파일링, 디버깅 및 실행을 하나의 통합 환경으로 구축하는 것이 필요하다. 이러한 환경에서 중요한 도구가 되는 것이 점진 번역기이다. 본 논문에서는 소프트웨어의 재 사용성과 생산성을 향상시키기 위해, 에디팅, 디버깅, 점진 해석 및 실행을 하나의 통합 환경으로 구성하여 보다 친근하고 편리하게 사용할 수 있는 사용자 인터페이스를 제공하는 소프트웨어 개발을 위한 통합 점진 해석 시스템을 구축하고자 한다. 객체 지향 언어인 IMPLO(IMPerative Language with Object) 언어를 EBNF 표기법으로 정의하고 이 언어에 대한 점진 해석기를 구현한다. 점진 해석기를 구현하기 위해 정적 의미론을 표현하는 속성 문법을 확장하여 동적인 의미론을 표현할 수 있는 작용 식을 제시한다. 동적 의미 분석 방법에 의해 점진 해석을 수행하고 에디터와 디버거를 가진 통합 점진 해석 시스템을 Lex와 Yacc을 이용해서 C 언어로 프로그래밍하고 SUN에서 X로 구현하였다. 예제 프로그램들의 점진 실행 시간을 전체 프로그램의 실행 시간과 비교했을 때 약 50％ 정도의 속도 개선 효과를 거둘 수 있었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2014년도 춘계학술발표대회
• /
• pp.301-304
• /
• 2014

비정형 게임 Big Data에서 고효율 정보를 추출하고, 신뢰 할 수 있는 클러스터 게임서버 환경을 위한 병렬 처리를 위해 MapReduce를 사용한다. 본 논문에서는 빈번하게 입력되는 신규 게임데이터 처리를 위해 함수 Demap을 사용하는 Incremental MapReduce를 적용하여 불필요한 중간 값 저장과 재계산 없이 점차적으로 MapReduce 함수를 실행한다.