• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.39 no.7
• /
• pp.66-73
• /
• 2002

As floating-point operations become widely used in various applications such as computer graphics and high-definition DSP, the needs for fast division become increased. However, conventional floating-point dividers occupy a large hardware area, and bring bottle-becks to the entire floating-point operations. In this paper, a high-performance and small-area floating-point divider, which is suitable for embedded processors, is designed using he series expansion algorithm. The algorithm is selected to utilize two MAC(Multiply-ACcumulate) units for quadratic convergence to the correct quotient. The two MAC units for SIMD-DSP features are shared and the additional area for the division only is very small. The proposed divider supports all rounding modes defined by IEEE 754 standard, and error estimations are performed for appropriate precision.

• BMB Reports
• /
• v.42 no.6
• /
• pp.315-323
• /
• 2009

In order to elucidate ultimate biological function of the genome, the model animal system carrying mutations is indispensable. Recently, large-scale mutagenesis projects have been launched in various species. Especially, the mouse is considered to be an ideal model to human because it is a mammalian species accompanied with well-established genetic as well as embryonic technologies. In 1990', large-scale mouse mutagenesis projects firstly initiated with a potent chemical mutagen, N-ethyl-N-nitrosourea (ENU) by the phenotype-driven approach or forward genetics. The knockout mouse mutagenesis projects with trapping/conditional mutagenesis have then followed as Phase II since 2006 by the gene-driven approach or reverse genetics. Recently, the next-generation gene targeting system has also become available to the research community, which allows us to establish and analyze mutant mice carrying an allelic series of base substitutions in target genes as another reverse genetics. Overall trends in the large-scale mouse mutagenesis will be reviewed in this article particularly focusing on the new advancement of the next-generation gene targeting system. The drastic expansion of the mutant mouse resources altogether will enhance the systematic understanding of the life. The construction of the mutant mouse resources developed by the forward and reverse genetic mutagenesis is just the beginning of the annotation of mammalian genome. They provide basic infrastructure to understand the molecular mechanism of the gene and genome and will contribute to not only basic researches but also applied sciences such as human disease modelling, genomic medicine and personalized medicine.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.14 no.5
• /
• pp.1023-1031
• /
• 1994

The closed forms of consistent mass matrix with rotational inertia matrix are developed for free vibration analysis in space sutructures containing linearly tapered members with cross section of thin-walled I-sections. The exact displacement functions are used for formulating mass matrices. The very small slopes of the tapered member are used in usual practice, such that the series expansion forms of these are also developed to avoid numerical failure in vibration analysis. Significant improvements of accuracy and efficiency of free vibation analysis are achieved by using the mass matrices developed in this study. Frequencies of free vibation of tapered members are compared with solutions based upon stepped representation of beam element in the ANSYS. The mass matrices presented in this study can be used for the free vibration analysis of tapered and prismatic members.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.46 no.3
• /
• pp.20-25
• /
• 2009

We propose hardware architecture of floating-point square root and inverse square root arithmetic units using lookup tables. They are used for lighting engines and shader processor for 3D graphic processing. The architecture is based on Taylor series expansion and consists of lookup tables and correction units so that the size of look-up tables are reduced. It can be applied to 32 bit floating point formats of IEEE-754 and reduced 24 bit floating point formats. The square root and inverse square root arithmetic units for 32 bit and 24 bit floating format number are designed as the proposed architecture. They can operation in a single cycle, and satisfy the precision of $10^{-5}$ required by OpenGL 1.x ES. They are designed using Verilog-HDL and the RTL codes are verified using an FPGA.

• Journal of the Korean Geosynthetics Society
• /
• v.10 no.4
• /
• pp.29-36
• /
• 2011

In this study, a series of the isotropic compression-expansion tests and the drained triaxial tests were performed on Pocheon granite soil with various the dry densities of $16.67kN/m^3$, $17.26kN/m^3$ and $17.65kN/m^3$. Using the tests results the characteristic of the parameters of Lade's single hardening constitutive model were investigated. The soil parameters such as kur and n related to elastic behavior, m and ${\eta}_1$ related to failure criterion, c and p related to hardening function and ${\psi}_2$ and ${\mu}$ related to plastic potential show in a positive linear relationship with the dry density. Since the soil parameters h and representing yield function do not change much to relative density and also are closely related to failure criterion, they can be replaced by failure criterion. We also observed that predicted values from the Lade's single hardening constitutive model were well consistent with the observed data.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.3 no.3
• /
• pp.210-215
• /
• 2002

In this study, the computer program called Multi_Cycle, which simulates the steady-state performance (coefficient of performance, capacity, power consumption and etc.) of multi- airconditioning systems using R410A, was developed. In order to validate the simulation program, a series of case studies were carried out. The Multi_Cycle consists of several subroutines for simulating indoor units. outdoor unit, compressor, and expansion devices. and for estimating the thermodynamic and transport properties of the refrigerants and moist air. It would appear to be advantageous to use the Multi_Cycle for a performance analysis when considering various kinds of refrigerants and the complex operating conditions of each unit making up the multi-airconditioner cycle. Moreover, the Multi_Cycle would seem to be useful tool in optimizing a multi-airconditioning system and establishing economical and efficient operating conditions in the multi-airconditioner cycle. In the present study, the Multi_Cycle was programmed with Digital Visual Fortran for the main simulation code and Visual Basic for- the graphic user interface.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.5
• /
• pp.1464-1473
• /
• 2000

In this paper, we analyze the cycle property of the (n,k)-star graph that has an attention as an alternative interconnection network topology in recent years. Based on the graph-theoretic properties in (n,k)-star graphs, we show the pancyclic property of the graph and also present the corresponding algorithm. Based on the recursive structure of the graph, we present such top-down approach that the resulting cycle can be constructed by applying series of "dimension expansion" operations to a kind of cycles consisting of sub-graphs. This processing naturally leads to such property that the resulting cycles tend to be integrated compactly within some minimal subset of sub-graphs, and also means its applicability of another classes of the disjoint-style cycle problems. This result means not only the graph-theoretic contribution of analyzing the pancyclic property in the underlying graph model but also the parallel processing applications such a as message routing or resource allocation and scheduling in the multi-computer system with the corresponding interconnection network.

• Journal of the Korean Society for information Management
• /
• v.20 no.4 s.50
• /
• pp.23-48
• /
• 2003

In this study an information filtering system was implemented and a series of relevance feedback experiments were conducted using the system. For the relevance feedback, the original queries were searched against the database and the results were reviewed by the researchers. Based on users' online relevance judgements a pair of 17 refined queries were generated using two methods called 'co-occurrence exclusion method' and 'lower frequencies exclusion method,' In order to generate them, the original queries, the descriptors and category codes appeared in either relevant or irrelevant document sets were applied as elements. Users' relevance judgments on the search results of the refined queries were compared and analyzed against those of the original queries.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.27 no.4A
• /
• pp.310-315
• /
• 2002

The Bark Coherence Function (BCF) defies a coherence function within perceptual domain as a new cognition module, robust to linear distortions due to the analog interface of digital mobile system. Our previous experiments have shown the superiority of BCF over current measures. In this paper, a new BCF suitable for VoIP is developed. The unproved BCF is based on the wavelet series expansion that provides good frequency resolution while keeping good time locality. The proposed Wavelet based Bark Coherence function (WBCF) is robust to variable delay often observed in packet-based telephony such as Voice over Internet Protocol (VoIP). We also show that the refinement of time synchronization after signal decomposition can improve the performance of the WBCF. The regression analysis was performed with VoIP speech data. The correlation coefficients and the standard error of estimates computed using the WBCF showed noticeable improvement over the Perceptual Speech Quality Measure (PSQM) that is recommended by ITU-T.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.36 no.12
• /
• pp.1543-1549
• /
• 2012

This study focuses on the state space model and the design of a state observer for the slip dynamics between rolls in STS cold cluster mills. First, a mathematical model of the roll slip is given as a nonlinear differential equation. Then, by using a Taylor series expansion, it is linearized as a state space model. Next, by using Gopinath's algorithm, a minimal-order state observer based on the state space model is designed to estimate the angular speed of all idle rolls except for an actuated roll that is measureable. Finally, a computer simulation is used to validate that the proposed state space model very well describes slip dynamics between, and moreover, the state observer very well estimates the angular speed of the idle roll.