• Journal of The Korean Society of Agricultural Engineers
• /
• v.46 no.4
• /
• pp.25-36
• /
• 2004

This study was conducted to derive the design rainfall by the consecutive duration using the at-site frequency analysis. Using the errors, K-S tests and LH-moment ratios, Log Pearson type 3 (LP3) and Generalized Extreme Value (GEV) distributions of Gamma and Non-Gamma Family, respectively were identified as the optimal probability distributions among applied distributions. Parameters of GEV and LP3 distributions were estimated by the method of L and LH-moments and the Indirect method of moments respectively. Design rainfalls following the consecutive duration were derived by at-site frequency analysis using the observed and simulated data resulted from Monte Carlo techniques. Relative root-mean-square error (RRMSE) and relative efficiency (RE) in RRMSE for the design rainfall derived by at-site analysis in the observed and simulated data were computed and compared. It has shown that at-site frequency analysis by GEV distribution using L-moments is confirmed as more reliable than that of GEV and LP3 distributions using LH-moments and Indirect method of moments in view of relative efficiency.

• International Journal of Aeronautical and Space Sciences
• /
• v.12 no.1
• /
• pp.24-36
• /
• 2011

A new approach for spacecraft absolute attitude estimation based on the unscented Kalman filter (UKF) is extended to relative attitude estimation and navigation. This approach for nonlinear systems has faster convergence than the approach based on the standard extended Kalman filter (EKF) even with inaccurate initial conditions in attitude estimation and navigation problems. The filter formulation employs measurements obtained from a vision sensor to provide multiple line(-) of(-) sight vectors from the spacecraft to another spacecraft. The line-of-sight measurements are coupled with gyro measurements and dynamic models in an UKF to determine relative attitude, position and gyro biases. A vector of generalized Rodrigues parameters is used to represent the local error-quaternion between two spacecraft. A multiplicative quaternion-error approach is derived from the local error-quaternion, which guarantees the maintenance of quaternion unit constraint in the filter. The scenario for bounded relative motion is selected to verify this extended application of the UKF. Simulation results show that the UKF is more robust than the EKF under realistic initial attitude and navigation error conditions.

• Journal of Korea Multimedia Society
• /
• v.9 no.12
• /
• pp.1607-1616
• /
• 2006

The growing market of multimedia and digital signal processing requires significant data-path portions of SoCs. However, the common models for verification are not suitable for SoCs. A novel model--WGL (Weighted Generalized List) is proposed, which is based on the general-list decomposition of polynomials, with three different weights and manipulation rules introduced to effect node sharing and the canonicity. Timing parameters and operations on them are also considered. Examples show the word-level WGL is the only model to linearly represent the common word-level functions and the bit-level WGL is especially suitable for arithmetic intensive circuits. The model is proved to be a uniform and efficient model for both bit-level and word-level functions. Then Based on the WGL model, a backward-construction logic-verification approach is presented, which reduces time and space complexity for multipliers to polynomial complexity(time complexity is less than $O(n^{3.6})$ and space complexity is less than $O(n^{1.5})$) without hierarchical partitioning. Finally, a construction methodology of word-level polynomials is also presented in order to implement complex high-level verification, which combines order computation and coefficient solving, and adopts an efficient backward approach. The construction complexity is much less than the existing ones, e.g. the construction time for multipliers grows at the power of less than 1.6 in the size of the input word without increasing the maximal space required. The WGL model and the verification methods based on WGL show their theoretical and applicable significance in SoC design.

• Communications of the Korean Mathematical Society
• /
• v.30 no.2
• /
• pp.103-108
• /
• 2015

Fox [2] presented an interesting identity for $_pF_q$ which is expressed in terms of a finite summation of $_pF_q$'s whose involved numerator and denominator parameters are different from those in the starting one. Moreover Fox [2] found a very interesting and general summation formula for $_3F_2(1/2)$ as a special case of his above-mentioned general identity with the help of Kummer's second summation theorem for $_2F_1(1/2)$. Here, in this paper, we show how two general summation formulas for $$_3F_2\[\array{\hspace{110}{\alpha},{\beta},{\gamma};\\{\alpha}-m,\;\frac{1}{2}({\beta}+{\gamma}+i+1);}\;{\frac{1}{2}}\]$$, m being a nonnegative integer and i any integer, can be easily established by suitably specializing the above-mentioned Fox's general identity with, here, the aid of generalizations of Kummer's second summation theorem for $_2F_1(1/2)$ obtained recently by Rakha and Rathie [7]. Several known results are also seen to be certain special cases of our main identities.

• Fisheries and Aquatic Sciences
• /
• v.14 no.2
• /
• pp.138-147
• /
• 2011

Modeling fishing-gear systems is essential to better understand the factors affecting their movement and for devising strategies to control movement. In this study, we present a generalized mathematical modeling methodology to analyze fishing gear and its various components. Fishing gear can be divided into a finite number of elements that are connected with flexible lines. We use an algorithm to develop a numerical method that calculates precisely the shape and movement of the gear. Fishinggear mathematical models have been used to develop software tools that can design and simulate dynamic movement of novel fishing-gear systems. The tool allowed us to predict the shape and motion of the gear based on changes in operation and gear design parameters. Furthermore, the tool accurately calculated the swept volume of towed gear and the surrounding volume of purse-seine gear. We analyzed the fished volume for trawl and purse-seine gear and proposed a new definition of fishing effort, incorporating the concept of fished space. This method may be useful for quantitative fishery research, which requires a good understanding of the selectivity and efficiency of fishing gear used in surveys.

• The Korean Journal of Applied Statistics
• /
• v.19 no.1
• /
• pp.33-41
• /
• 2006

In this paper, we analyse the volatilities in financial data such as stock prices and exchange rates in term of a class of nonlinear time series models. We compare the performance of Generalized Autoregressive Conditional Heteroscadastic(GARCH) , Integrated GARCH(IGARCH), Exponential GARCH(EGARCH) models by KOSPI (Korean stock Prices Index) data. The estimation for the parameters in the models was carried out by the ML methods.

• Wind and Structures
• /
• v.21 no.2
• /
• pp.119-158
• /
• 2015

The characteristics of the coherence functions of X axial, Y axial, and RZ axial (i.e., body axis) wind forces on the Shanghai World Trade Centre - a 492 m super-tall building with section varying along height are studied via a synchronous multi-pressure measurement of the rigid model in wind tunnel simulating of the turbulent, and the corresponding mathematical expressions are proposed there from. The investigations show that the mathematical expressions of coherence functions in across-wind and torsional-wind directions can be constructed by superimposition of a modified exponential decay function and a peak function caused by turbulent flow and vortex shedding respectively, while that in along-wind direction need only be constructed by the former, similar to that of wind speed. Moreover, an inductive analysis method is proposed to summarize the fitted parameters of the wind force coherence functions of every two measurement levels of altitudes. The comparisons of the first three order generalized force spectra show that the proposed mathematical expressions accord with the experimental results well. Later, the influences of coherence functions on wind-induced dynamic responses are analyzed in detail based on the proposed mathematical expressions and the frequency-domain method of random vibration theory.

• Journal of the Korean Data and Information Science Society
• /
• v.24 no.2
• /
• pp.341-353
• /
• 2013

In many practical machine learning and data mining applications, unlabeled data are inexpensive and easy to obtain. Semi-supervised learning try to use such data to improve prediction performance. In this paper, a semi-supervised regression method, semi-supervised kernel ridge regression estimation, is proposed on the basis of kernel ridge regression model. The proposed method does not require a pilot estimation of the label of the unlabeled data. This means that the proposed method has good advantages including less number of parameters, easy computing and good generalization ability. Experiments show that the proposed method can effectively utilize unlabeled data to improve regression estimation.

• Journal of Power Electronics
• /
• v.13 no.5
• /
• pp.896-908
• /
• 2013

Under high grid impedance conditions, it is difficult to guarantee the stability of grid-connected inverters with an LCL filter designed based on ideal grid conditions. In this paper, the theoretical basis for output impedance calculation is introduced. Based on the small-signal model, the d-d channel closed-loop output impedance models adopting the converter-side current control method and the grid-side current control method are derived, respectively. Specifically, this paper shows how to simplify the stability analysis which is usually complemented based on the generalized Nyquist stability criterion (GNC). The stability of each current-controlled grid-connected system is analyzed via the proposed simplified method. Moreover, the influence of the LCL parameters on the stability margin of grid-connected inverter controlled with converter-side current is studied. It is shown that the stability of grid-connected systems is fully determined by the d-d channel output admittance of the grid-connected inverter and the inductive component of the grid impedance. Experimental results validate the proposed theoretical stability analysis.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2004.03b
• /
• pp.442-449
• /
• 2004

This paper describes a new concept of finite element analysis, which is based on neural network based material models (NNCMs) without invoking any pre-chosen mathematical framework. NNCMs have several advantages over conventional constitutive models (CCMs) and once plugged in a finite element (FE) engine, can be used for FE analysis in a manner similar to CCMs. The paper demonstrates a FE framework in which NNCMs are incorporated and also proposes a strategy for data enhancement by invoking the assumption of isotropy of the material. It is shown through some illustrative examples that this provides a better training environment for a generalized NNCM in which stress and strain components are used as effects and cause. Form this study, it appears that there is a prima facia case for developing NNCMs for materials for which mathematical theories become too complex and a large number of material parameters and constants have to be identified or determined.