• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제3권3호
• /
• pp.73-80
• /
• 2014

본 논문에서는 이벤트구동 HDL 시뮬레이션에서 시뮬레이션 실행 시간 단축을 위한 인크리멘탈 시뮬레이션 방법을 제시한다. 일반적으로 시뮬레이션 과정은 일련의 반복적인 설계수정들과 동반되어 반복적으로 일어난다. 인크리멘탈 시뮬레이션은 이와같은 반복적인 시뮬레이션에서 설계수정 전의 시뮬레이션 결과를 이용하여서 설계수정 후에 진행되는 시뮬레이션의 수행 시간을 단축할 수 있는 효과적인 시뮬레이션 방법이다. 본 논문에서 제안된 인크리멘탈 시뮬레이션 방법의 유용함은 다양한 실제 디자인들에 적용한 실험을 통하여 확인할 수 있었다.

• 물과 미래
• /
• 제25권2호
• /
• pp.47-60
• /
• 1992

북한강 수계에 위치한 화천댐과 소양강댐을 홍수시 연계운영을 위하여 Incremental DP를 사용하여 최적운영모형을 개발하였다. 목적함수로는 의암댐 합류점의 첨두 유량을 최소화하는 것으로 하였으며 수리-수문학적 제약조건은 홍수시 댐조작에 관한 법령, 각 댐 및 하도특성을 고려하여 설정하였다. 특히, 2차 홍수에 대비하여 홍수가 끝나는 시점의 수위가 제한수위가 되도록 하였다. 또한 Incremental DP 모형의 운영결과와 Simulation 및 DP에 의한 단일댐 운영결과를 조절률과 이용률의 관점에서 비교하였고, 합류점의 첨두유량을 Feedback Loop를 이용한 Simulation 결과와 비교하였다. 운영결과 조절률과 이용률이 Simulation 및 DP에 의한 단일댐 운영결과보다 다소 낮게 나타났고, 합류점 유량이 Feedback Loop에 결과보다 크게 나타났는데 이는 홍수말기의 수위에 관한 제약조건 때문이다.

• 대한임베디드공학회논문지
• /
• 제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.

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

VHDL simulation requires both analysis and elaboration processes. Reducing the time taken by these processes shorten design cycles. We propose an incremental analysis and elaboration algorithm for VHDL, which minimizes the number of design units to be re-analyzed and re-elaborated after an incremental change, thereby reducing the desing cycle time. Experimental results show about four times performance improvement in analysis and 1.25 times in elaboration over the conventional method.

• 대한전자공학회논문지
• /
• 제25권6호
• /
• pp.614-628
• /
• 1988

In the original incremental Extended Horizon Control, the control inputs are computed recursively each step in the prediction horizon. But in this paper, we propose another incremental Extended Horizon Self-tuning Control version in which control inputs can be computed directly in any time interval. The effectiveness of this algorithm in a variable time delay or load disturbances environment is demonstrated by computer simulation. The controlled plant is a nonminimum phase system.

• 한국전자통신학회논문지
• /
• 제4권1호
• /
• pp.33-36
• /
• 2009

Incremental converters provide a solution for such measurement applications, as they retain most of the advantages of conventional ${\Delta}{\Sigma}$ converters, and yet they are capable of offset-free and accurate conversion. Most of the previous research on incremental converters was for single-channel and dc signal applications, where they can perform extremely accurate data conversion with more than 20-bit resolution. In this paper, a design technique for implementing multi-channel incremental data converters to convert narrow bandwidth ac signals is discussed. It incorporates the operation principle, topology, and digital decimation filter design. The theoretical results are verified by simulation results.

• 정보처리학회논문지A
• /
• 제17A권2호
• /
• pp.73-80
• /
• 2010

하드웨어의 성능이 향상됨에 따라 멀티태스킹 방식으로 병행 처리하는 연구가 다양하게 진행되고 있다. 프로그램 개발 단계에서 프로그램을 수정할 경우, 전체 프로그램을 다시 평가하는 대신 수정한 부분과 그 부분에 영향 받는 부분만을 다시 평가하는 방법이 점진 평가인데, 여러 프로세서에서 병렬로 처리하는 대신 자바언어의 멀티쓰레딩 기능을 활용하여 점진 평가의 효율성을 증대시키는 연구가 필요하다. 본 논문에서는 의미 구조에 직접적으로 영향을 주는 변수의 값을 나타내는 속성을 중심으로 종속성을 표시하여 객체 지향언어인 자바 언어에서 병행 점진 평가를 동시에 효율적으로 수행할 수 있는 병행 점진 평가 알고리즘을 제시하고 그 알고리즘의 정확성을 증명한다. 실험을 통해 병행 점진 평가 방법의 효율성을 분석한다.

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

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

• 소성∙가공
• /
• 제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.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 2009년도 춘계학술대회 논문집
• /
• pp.207-212
• /
• 2009

In order to optimize the press formability of incremental sheet forming for complex shape (e.g human face), a combination of both CAM and FEM simulation, is implemented and evaluated from the histories of stress and strain value by means of finite element analysis. Here, the results, using ABAQUS/Explicit finite element code, are compared with fracture limit curve (FLC) in order to predict and optimize the press formability by changing parameters of tool radius and tool down-step according to the orthogonal array of Taguchi's method. Firstly, The CAM simulation is used to create cutter location data (CL data). This data are then calculated, modified and exported to the input file format required by ABAQUS through using MATLAB programming. The FEM results are implemented for negative incremental sheet forming and then investigate by experiment.