• Journal of applied mathematics & informatics
• /
• v.23 no.1_2
• /
• pp.505-516
• /
• 2007

In this paper, we provide some fundamental properties and basic theoretical results of K-class-based dedicated storage policy in a unit load system assuming the constant-space assumption that the number of storage locations for a class is not the maximum aggregate inventory position for a class but the sum of space requirement for products assigned to the class. The main theorem is that there exists a (K+1) -class-based storage layout whose expexted single command (SC) travel time is not greater than that of a K-class-based storage layout, i.e, $E(SC^*_{K+1}){\leq}E(SC^*_K)\;for\;K=1,{\cdots}$, (n-1).

• IEIE Transactions on Smart Processing and Computing
• /
• v.4 no.4
• /
• pp.251-257
• /
• 2015

This work presents modelling and simulation of a readout integrated circuit (ROIC) design considering pair-wise serial configuration along with thermal modeling of an uncooled microbolometer array. A fully differential approach is used at the input stage in order to reduce fixed pattern noise due to the process variation and self-heating-related issues. Each pair of microbolometers is pulse-biased such that they both fall under the same self-heating point along the self-heating trend line. A ${\pm}10%$ process variation is considered. The proposed design is simulated with a reference input image consisting of an array of $127{\times}92$ pixels. This configuration uses only one unity gain differential amplifier along with a single 14-bit analog-to-digital converter in order to minimize the dynamic range requirement of the ROIC.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2004.03a
• /
• pp.753-762
• /
• 2004

Conceptual studies of a combined-cycle engine have been conducted. Herein, the results are presented. The engine is composed of ejector-jet, ramjet, scramjet and rocket modes, and will be mounted on the Single-Stage-to-Orbit aerospace plane. Propellants are hydrogen and oxygen. Calculated engine thrust performances and cooling requirement of the engine are presented. Pitching moment of the plane with the engine will be balanced even in the vacuum condition. The experimental results of the inlet and the ejector-jet, ramjet and scramjet modes are presented. The effect of the airframe configuration on the engine performance and the thermal environment in the in-side of the plane are also presented. Through the investigations, possibilities of the combined-cycle engine and the aerospace plane are being made clear now.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.50 no.1
• /
• pp.45-50
• /
• 2001

With increasing complexity of digital logic circuits, fast and accurate verification of functional behaviour becomes most critical bottleneck in meeting time-to-market requirement. This paper presents several techniques for accelerating a cycle-based logic simulation. The acceleration techniques include parallel pattern logic evaluation, circuit size reduction, and the partition of feedback loops in sequential circuits. Among all, the circuit size reduction plays a critical role in maximizing logic simulation speedup by reducing 50% of entire circuit nodes on the average. These techniques are incorporated into a levelized table-driven logic simulation system rather than a compiled-code simulation algorithm. Finally, experimental results are given to demonstrate the effectiveness of the proposed acceleration techniques. Experimental results show more than 27 times performance improvement over single pattern levelized logic simulation.

• Proceedings of the KIPE Conference
• /
• 2017.07a
• /
• pp.120-121
• /
• 2017

This paper proposes an enhanced distributed generation (DG) unit with an adaptive virtual impedance control approach in order to address the inaccurate reactive power sharing problem. The proposed method can adaptively regulate the DG virtual impedance, and the effect of the mismatch in feeder impedances is compensated to share the reactive power accurately. The proposed control strategy is fully distributed and the need for the microgrid central controller is eliminated. Furthermore, the proposed method can be directly implemented without requirement of pre-knowledge of the feeder impedances. Simulations are performed to validate the effectiveness of the proposed control approach.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.555-556
• /
• 2007

This paper proposes a new concept's IDSFHA(Intelligent Digital Switchgear For Home Automation) which can obtain the safety, the reliability and the easy to correspond to the request of the general electric customer or electric power company under the ubiquitous-based home automation environments The IDSFHA is designed by analyzing their requirement functions, a 32-bit micro processor is adopted as main controller to support efficiently the designed functions. The single phase power IC(ADE7753) is utilized to collect the electric power information, and makes it possible to communicate as internet among the IDSFHA and their using the ethernet convertor. In the proposed IDSFHA, the several functions are implemented such as the earth leakage level display and waveform transmitting, the electric power using fee display, voltage management, load management and load control function. Finally, the prototype of the IDSFHA is made experimently based on the designed results.

• Journal of Information Processing Systems
• /
• v.7 no.4
• /
• pp.691-706
• /
• 2011

Since security and privacy problems in RFID systems have attracted much attention, numerous RFID authentication protocols have been suggested. One of the various design approaches is to use light-weight logics such as bitwise Boolean operations and addition modulo $2^m$ between m-bits words. Because these operations can be implemented in a small chip area, that is the major requirement in RFID protocols, a series of protocols have been suggested conforming to this approach. In this paper, we present new attacks on these lightweight RFID authentication protocols by using the Gr$\ddot{o}$bner basis. Our attacks are superior to previous ones for the following reasons: since we do not use the specific characteristics of target protocols, they are generally applicable to various ones. Furthermore, they are so powerful that we can recover almost all secret information of the protocols. For concrete examples, we show that almost all secret variables of six RFID protocols, LMAP, $M^2AP$, EMAP, SASI, Lo et al.'s protocol, and Lee et al.'s protocol, can be recovered within a few seconds on a single PC.

• International Journal of Quality Innovation
• /
• v.3 no.2
• /
• pp.74-83
• /
• 2002

Process capability indices as an important kind of indices are intended to provide single-number assessments of the inherent process capability to meet specification limits on quality characteristic(5) of interest. In this paper the condition for the application of process capability indices is analyzed. On the basis of process capability indices, dynamic process capability indices as a new kind of indices to show the current process capability are discussed and the condition for the application of dynamic process capability indices is exhibited. Comparison between process capability index and dynamic process capability index and comparison between $D_p$ and $D_pk$ are made and the conclusions provide the approach for process control. According to the requirement of process capability indices provided by customer, quality control based on process capability indices dynamic process capability indices is discussed.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2008.05a
• /
• pp.353-356
• /
• 2008

Tool design is carried out for a press forming of a cross member in the rear suspension assembly based on the result of the finite element analysis. The analysis simulates the two-stage stamping process with the initial design and it fully reveals the unfavorable mechanism which develops inferiorities during forming. In this paper, a new design guideline is proposed to modify the process and tool shapes for a single-stage forming process. With the improved tool design, this study fabricates prototypes that satisfy the durability requirement.

• Journal of KSNVE
• /
• v.10 no.1
• /
• pp.33-40
• /
• 2000

With the increased requirement for automobile noise, a design fo mufflers with higher performances becomes more important in recent days. For a design of some mufflers, it must satisfy both minimizing back pressure and maximizing sound attenuation in broad range of frequecny. Even for a simple Helmholtz resonator, an important element in a muffler, a resonator design with accurate resonant frequency is difficult if one want to consider standing waves within the cavity. In this paper, the genetic algorithm, one of the optimization technique with high capability of global fittest solution and robust convergence, is applied to the design process of mufflers. Results show that the genetic algorithm can be successfully and efficiently used to find the fittest model for both mufflers and Helmoltz resonators.