• KIPS Transactions on Computer and Communication Systems
• /
• v.3 no.3
• /
• pp.73-80
• /
• 2014

In this paper, we propose an incremental simulation method in event-driven HDL simulation to reduce the simulation execution time. In general, the simulation is repeated with a series of design changes. Incremental simulation is an efficient simulation method that shortens the simulation execution time for the following simulation by using the result of previous simulation. We have observed the effectiveness of the proposed approach through the experimentation with multiple real designs.

• Water for future
• /
• v.25 no.2
• /
• pp.47-60
• /
• 1992

An optimal operation model for flood control of multi-reservoirs, Hwacheon and Soyanggang, located in the north Han River basin is developed by using the Incremental DP. The objective function is to minimize the peak flow at the confluence point, of Euam dam, and the hydraulic and hydrologic constraints are established by considering the related laws as to the operation of dam in flood season, each reservoir and channel characteristics. In particular, the final elevations of each reservoir are induced to the conservation pool level in order to prepare for the secondary flood. In addition, the results of this model, simulation results and the single reservoir operation by DP are compared in terms of control and utility efficiencies, and also the peak flows at the confluence point for floods with various return periods are compared with the results of simulation suing feedback control. as the results, the control and utility effciencies are more or less low in contrast with the results of simulation and the single reservoir operation by DP, and the peak flows at confluence point are high because of terminal condition of reservoir storage.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.7 no.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.

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

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

• The Journal of the Korea institute of electronic communication sciences
• /
• v.4 no.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.

• The KIPS Transactions:PartA
• /
• v.17A no.2
• /
• pp.73-80
• /
• 2010

As the power of hardware has improved, there have been numerous researches in processing concurrently using multitasking method. The incremental evaluation is the evaluation method of reevaluating only affected parts instead of reevaluating overall program when the program has been changed. It is necessary to do more studies that improve the efficiency of concurrent incremental evaluation to do multitasking using multi-threading of Java not to do in parallel using multiprocessor. In this paper, the dependency in the dependency chart is based on the attribute that describes the real value of the variable that directly affects the semantics, thereby doing efficient evaluation. So using the dependency, this paper presents the concurrent incremental evaluation algorithm for Java Languages and proves its correctness, analyzing the efficiency of concurrent incremental evaluation by the simulation.

• Journal of Internet Computing and Services
• /
• v.10 no.2
• /
• pp.75-84
• /
• 2009

There have been numerous researches in minimizing the total cost of program development in order to improve productivity of the programs. The incremental evaluation is the evaluation method of reevaluating only affected parts instead of reevaluating overall program when the program has been changed. Since the incremental evaluation method carries its advantage, the method itself is very important when considering the execution efficiency of the program developing environment. This paper extends the dependency chart for an imperative language and presents the extended version of dependency chart which can be applied to the Object Oriented Programming Languages such 'Java'. This paper also presents the incremental evaluation algorithm for Object Oriented Programming Languages and proves its correctness, analyzing the efficiency of incremental evaluation by the simulation.

• Transactions of Materials Processing
• /
• v.15 no.6 s.87
• /
• 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.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2009.05a
• /
• 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.