• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.22 no.5
• /
• pp.58-63
• /
• 2008

A fast maximum efficiency control scheme of a stator flux-oriented control of an induction motor is proposed. Three inputs of given three magnetic fluxes are calculated. Then magnetic flux for minimum input is calculated by quadratic interpolation method and maximum efficiency control is fulfilled with the calculated magnetic flux for minimum input. Simulation results verify the effectiveness of the scheme.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.26 no.11C
• /
• pp.33-42
• /
• 2001

We consider a model describing large scale performance of multiservice networks supporting both constant- and adaptive-rate services. As the number of constant-rate connection changes over time in multiservice networks, the available bandwidth for adaptive-rate connections changes as well. We estimate the available bandwidth for adaptive-rate service in a dynamically changing traffic environment based on Erlang fixed point equation and Little\`s law. The bandwidth allocation for adaptive-rate service is determined by the max-min fairness criterion. We find an upper bound on the average minimum throughput for adaptive-rate service, and 7how that the bound is achieved in large-capacity networks. This is verified using network examples. Since max-min fair allocation may not maximize the total throughput or revenue in a network, we consider adjustments via network level priority schemes to increase efficiency.

• Journal of IKEEE
• /
• v.22 no.3
• /
• pp.805-809
• /
• 2018

In this paper, we analyze the change of accuracy when fixed point arithmetic is used instead of floating point arithmetic in binary weight network(BWN). We observed the change of accuracy by varying total bit size and fraction bit size. If the integer part is not changed after fixed point approximation, there is no significant decrease in accuracy compared to the floating-point operation. When overflow occurs in the integer part, the approximation to the maximum or minimum of the fixed point representation minimizes the decrease in accuracy. The results of this paper can be applied to the minimization of memory and hardware resource requirement in the implementation of FPGA-based BWN accelerator.

• Journal of IKEEE
• /
• v.24 no.4
• /
• pp.1081-1085
• /
• 2020

Instantaneous frequencies (IF) of the AM-FM signal is estimated based on the inflection point detection (IPD) method. Local maxima/minima are detected using the IPD, and they are exploited to find the IF of AM and FM components, respectively. The envelope of the maxima/minima is obtained to estimate the IF of the AM part. And the distance between neighboring maxima (or minima) is used to estimate the IF of the FM component. Computer simulation shows that the proposed method properly estimates the IF of the AM and FM when the signal has fixed frequencies for both parts. In the case of the time-varying IF of the FM part, the estimated IF shows some deviation from the true IF due to the rough sampling effect of the maximum/minimum points. Thus, the post-processing such as the lowpass filtering of the estimated IF is required to refine the resulting IF estimation.

• Journal of the Korea Concrete Institute
• /
• v.26 no.2
• /
• pp.181-188
• /
• 2014

In this study, an interactive analysis considering column-pile interaction is performed on the basis of an equivalent base spring model for supplementing virtual fixed point design of bent pile structures. Through this analytical method, the application of the minimum steel reinforcement ratio of the pile (0.4%) is analyzed by taking into account the major influencing parameters. Furthermore, the limit depth for steel reinforcement ratio is proposed through the relationships between column and pile conditions. To obtain the detailed information, it is found that an interactive analysis is intermediate in theoretical accuracy between the virtual fixed point model analysis and full-modeling analysis. Base on this study, it is also found that the maximum bending moment is located within cracking moment of the pile when material nonlinearity is considered. Therefore, the minimum steel reinforcement ratio is appropriately applicable for the optimal design of bent pile structures. Finally, the limit depth for steel reinforcement ratio ($L_{As=x%}$) is proposed by considering the field measured results. It is shown that the normalized limit depth ratio for steel reinforcement ratio ($L_{As=x%}/L_P$) decreases linearly as the length-diameter ratio of pile ($L_P/D_P$) increases, and then converges at a constant value.

• Journal of KIISE
• /
• v.43 no.12
• /
• pp.1342-1350
• /
• 2016

Induction and coinduction are well-established proof principles, which are widely used in mathematics and computer science. In particular, induction is taught in most undergraduate programs and well understood in the field of computer science. In contrast, coinduction is not as widespread or well understood as induction. In this paper, we introduce coinduction by defining a subtype system for recursive and union types and proving the transitivity property of the system. This paper will help to promote familiarity with coinduction and provides a basis for a subtype system for recursive types with other advanced type constructors and connectives.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.26 no.4
• /
• pp.397-403
• /
• 2015

In this paper, a method of ISAR geometric calibration is represented by using impulse-radio UWB radar. The ir-UWB is good for using a signal processing in time domain, so, it does not occur a multi-path or coupling problem. If a signal that between antennas and target is assumed a plane wave, a center of rotation in ISAR geometry model can be estimated by using point target. Before image is reconstructed with sinogram, the center of rotation can be calculated by using least square fitting. This method can be obtained a more contrast image, and a maximum value of entropy of image. The method, that estimates a center of rotation in received data, will be used a initial setup of instruments or a periodic compensation to reconstruct image. It would be useful in medical, security and surveillance imaging equipments that have a fixed geometry.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.40 no.2
• /
• pp.115-125
• /
• 2004

An experiment to measure the volume variation of bag net in a set-net by acoustic telemetry system was conducted in Jaran Bay, Gosung, Korea on 10 April to 23 April 2003. The long baseline telemetry system consists of three radio-acoustic linked positioning (RAP) buoys, a time controller with a personal computer and seven pingers. Six pingers were attached on the bottom of the bag-net and the other one was fixed on the sea bed. The results obtained are summarized as follows : 1. The average RAP buoy fixing errors of x-axis, y-axis, and z-axis were 0.2m, 0.4m, and 0.1m, respectively. 2. In the neap tide the minimum and maximum volume of the bag-net on 11 April 2003 were 4,173$m^3$(17:00) and 4,757$m^3$(12:00), respectively. The average current direction and speed at those times were 99.9$^{\circ}$, 12.9cm/s and 104.0$^{\circ}$, 2.4cm/s, respectively. 3. In the spring tide on 17 April 2003, the minimum and maximum volume were 2,016$m^3$(18:30) and 4,454$m^3$(15:00), respectively. The average current direction and speed at those times were 315.6$^{\circ}$, 16.1cm/s and 289.0$^{\circ}$, 5.7cm/s, respectively. 4. In conclusion the maximum variation of the volume on 17 April to 20 April 2003 was 3,552$m^3$ and it was larger 1.4 times than time on 11 April to 16 April 2003.

• Journal of dental hygiene science
• /
• v.7 no.2
• /
• pp.97-100
• /
• 2007

In this study, to find the influencing factors of the cooperation affects the result of the orthodontic treatment, the questionnaires were collected from patients who were being treated with fixed orthodontic appliances at A dental clinic in Seoul area. The results of this study are below.1. The average of the total score of the cooperation was 8.04 with the range of between 2 and 14. 2. The gender and age of the patient did not show the meaningful significance in aspect of the cooperation. 3. The relation between the period of treatment time and the cooperation, the analysis showed that the longer the period of treatment, the lesser the cooperation (P < 0.05). 4. The average of the cooperation by decision maker, the patient himself was 9.17, mother was 7.69 and father was 7.77. This result showed that the treatment decision made by the patient himself, the cooperation was highest (P < 0.05). 5. In the relationship between the malocclusion classification and the cooperation, the Angle Class I was 8.77, Class II was 7.28, and Class III was 6.89. This result showed that the average cooperation of Angle Class I patients was higher than Angle Class III patients (P < 0.05). 6. All the influencing factors to the orthodontic treatment were analyzed by logistic regression analysis (RGA). The result showed that there is meaningful significance in the treatment period and malocclusion classification. The most influencing factor was treatment period and the longer the period, the lesser cooperation (P < 0.05).

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.48 no.10
• /
• pp.72-81
• /
• 2011

In this paper, we proposed and designed a novel floating point converter which supports single and double precisions of IEEE754 standard. The proposed convertor supports conversions between floating point number single/double precision and signed fixed point number(32bits/64bits) as well as conversions between signed integer(32bits/64bits) and floating point number single/double precision and conversions between floating point number single and double precisions. We defined a new internal format to convert various input types into one type so that overflow checking could be conducted easily according to range of output types. The internal format is similar to the extended format of floating point double precision defined in IEEE754 2008 standard. This standard specifies that minimum exponent bit-width of the extended format of floating point double precision is 15bits, but 11bits are enough to implement the proposed converting unit. Also, we optimized rounding stage of the convertor unit so that we could make it possible to operate rounding and represent correct negative numbers using an incrementer instead an adder. We designed single cycle data path and 5 cycles data path. After describing the HDL model for two data paths of the convertor, we synthesized them with TSMC 180nm technology library using Synopsys design compiler. Cell area of synthesis result occupies 12,886 gates(2 input NAND gate), and maximum operating frequency is 411MHz.