• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.33A no.4
• /
• pp.47-56
• /
• 1996

For the implementation of callcontrol software, it will be shown how to divide problems into dimain and also presents methodologies to specify domains according to the object-orented analysis techniques. Domains is specified by the set of related objects as shown in call control examples. Events and conditons are able to be transformed into system invariant so that is possible to figure out the relationship between domains and those concludes that the software requirements specification can be established for the design and implementation. Relationships existing between domains can be formalized so as to verify software requirements.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.55 no.1
• /
• pp.1-13
• /
• 2006

This paper presents the problems of designing low-order controller for a linear time-invariant(LTI) system in parameter space, wherein both transient response requirements and stability shall be considered in the same space. For a LTI system, we, (1) develop a method determining the existence of low-order stabilizers of the first-order and PID structures, (2) develop an algorithm of finding such a stabilizing region. (3) Both procedures are carried out by means of a parametric approach in the same frame work. This leads to easily obtain a subset of controller gains from the stabilizing set, that meet good time response requirements. It is illustrated by examples.

• Proceedings of the Korean Society of Marine Engineers Conference
• /
• 2001.05a
• /
• pp.207-212
• /
• 2001

In this paper, a method to be able to decide the possible maximum gain of P, PI control for the retarded processes under stable condition is proposed. At first, adjustable parameter set causing stability limit are obtained based on the frequency domain condition which makes the roots of transfer function locate on the $j\omega$ axis. And the cut-in frequency $\omega{_p}$ to bring the parameter set to P control from PI control is derived by an equation with 2 parameters L and $T_m$ given, then $\omega{_p}$ is used to compute the maximum gain with stable condition. For the calculation, the controlled process of first order system with time delay element is introduced and all parameters are presumed to be time invariant.

• Journal of the Korean Mathematical Society
• /
• v.49 no.4
• /
• pp.867-879
• /
• 2012

For ${\beta}$ > 1, let $T_{\beta}$ : [0, 1] ${\rightarrow}$ [0, 1) be the ${\beta}$-transformation. We consider an invariant $T_{\beta}$-orbit closure contained in a closed interval with diameter 1/${\beta}$, then define a function ${\Xi}({\alpha},{\beta})$ by the supremum such $T_{\beta}$-orbit with frequency ${\alpha}$ in base ${\beta}$, i.e., the maximum value in $T_{\beta}$-orbit closure. This paper effectively determines the maximal domain of ${\Xi}$, and explicitly specifies all possible minimal intervals containing $T_{\beta}$-orbits.

• Honam Mathematical Journal
• /
• v.41 no.3
• /
• pp.531-538
• /
• 2019

We introduce FI-${\oplus}$-supplemented modules as a proper generalization of ${\oplus}$-supplemented modules. We prove that; (1) every finite direct sum of FI-${\oplus}$-supplemented R-modules is an FI-${\oplus}$-supplemented R-module for any ring R ; (2) if every left R-module is FI-${\oplus}$-supplemented over a semilocal ring R, then R is left perfect; (3) if M is a finitely generated torsion-free uniform R-module over a commutative integrally closed domain such that every direct summand of M is FI-${\oplus}$-supplemented, then M is a direct sum of cyclic modules.

• Journal of Institute of Control, Robotics and Systems
• /
• v.21 no.1
• /
• pp.1-6
• /
• 2015

This paper investigates the longitudinal flight dynamics and stability of flapping-wing micro air vehicles. Periodic external forces and moments due to the flapping motion characterize the dynamics of this system as NLTP (Non Linear Time Periodic). However, the averaging theorem can be applied to an NLTP system to obtain an NLTI (Non Linear Time Invariant) system which allows us to use a standard eigen value analysis to assess the stability of the system with linearization around a reference point. In this paper, we investigate the dynamics and stability of a hawkmoth-scale flapping-wing air vehicle by establishing an LTI (Linear Time Invariant) system model around a hovering condition. Also, a direct time integration of full nonlinear equations of motion of the flapping-wing micro air vehicle is conducted to see how the longitudinal flight dynamics appear in the time domain beyond the reference point, i.e. hovering condition. In the study, the flapping-wing air vehicle exhibited three distinct dynamic modes of motion in the longitudinal plane of motion: two stable subsidence modes and one unstable oscillatory mode. The unstable oscillatory mode is found to be a combination of a pitching velocity state and a forward/backward velocity state.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2001.06a
• /
• pp.199-225
• /
• 2001

The main goal of this paper is to investigate and compare English, German and Korean non-head-bound-intensifiers such as English ‘x-self’, German ‘selbst’, and Korean ‘susulo, casin’. That is, this paper is mainly concerned with the semantic domain where the respective contributions of the expressions in question overlap. The phenomenon under discussion with the label “intensifiers” is regarded as universal, which provides the ground of the comparative/contrastive or semi-cross-linguistic study of this paper. Not only the semantic concept of intensification by these expressions but also the combination of grammatical features or syntactic behaviours thereof seem to have highly invariant common denominators among the wide varieties of languages, even if they come from apparently different language families. In comparing English, German and Korean intensifiers, this paper is interested in the more general features of the expressions in question rather than some language-specific idiocyncracies. Intensifiers work similarly not only in English and German, but also in Korean. Each of three languages under investigation provides some sort of a safegard against confusing instances and misleading judgements on the issues under discussion. Morphologically, however, English expressions in question agree with their rele-vant NP in number, gender and person. Whereas German and Korean counterparts do not have such specific morphological properties. Intensifiers in their non-head-bound-use are subject-oriented, just as in their head-bound use. Non-head-bound-intensifiers differ from head-bound-intensifiers mostly in their syntactic behaviours or distributional properties, whereas they share the semantic domain “intensification” regarding relevant subject-NP. They introduce an ordering and distinguish center and periphery, and ‘self-involvement (directness of involvement)’seems a additional possible characterisation of the relevant dimension of these intensifiers in common. An assertion of identity also can be reg

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.45 no.4
• /
• pp.1-9
• /
• 2008

This paper presents a rapid watermarking algorithm based on DC image, which provides a resilience to geometric distortion. Our proposed scheme is based on $8{\times}8$ block DCT that is widely used in image/video compression techniques (e.g., JPEG and MPEG). In particular, a DC image is analyzed by DWT to embed a watermark. To overcome a quality degradation caused by a watermark insertion into DC components, we discern carefully the intensity and amount of watermark along the different subbands of DWT. Note that the proposed technique supports a high throughput for a real-time watermark insertion and extraction by relying on a partial decoding (i.e., DC components) on $8{\times}8$ block DCT domain. Experimental result shows that the proposed watermarking scheme significantly reduces computation time of 82% compared with existing DC component based algorithm and yet provides invariant properties against various attacks such as geometric distortion and JPEG compression, etc.

• The Journal of the Acoustical Society of Korea
• /
• v.20 no.6
• /
• pp.17-25
• /
• 2001

Traditional adaptive noise cancelling methods rely their performance on various interfering parameters, such as convergence speed, tracking ability, numerical stability, relative frequency characteristics between target and reverberation signals, and activity of the target. In this paper, an adaptive noise cancelling method is suggested, which Provides a successful tradeoff mon these factors. It is designed to work on the transform domain, adopts the Gram-Schmidt orthogonalization process, and is implemented by the escalator algorithm. The transform domain approach supports a tradeoff between the convergence speed and numerical cost. The proposed method is verified by applying a real-data collected in the shallow waters off the east coasts of korea. It is shown that it has a good reverberation-rejection capability even for the target signal with adjacent frequency components to those of the reverberation, and its performance is invariant for the activity of the target.

• Journal of Korea Multimedia Society
• /
• v.5 no.4
• /
• pp.415-425
• /
• 2002

In this paper, we present a content-based image retrieval method which is based on the feature extraction in the wavelet transform domain. In order to overcome the drawbacks of the feature vector making up methods which use the global wavelet coefficients in subbands, we utilize the energy value of wavelet coefficients, and the shape-based retrieval of objects is processed by moment which is invariant in translation, scaling, rotation of the objects The proposed methods reduce feature vector size, and make progress performance of classification retrieval which provides fast retrievals times. To offer the abilities of region-based image retrieval, we discussed the image segmentation method which can reduce the effect of an irregular light sources. The image segmentation method uses a region-merging, and candidate regions which are merged were selected by the energy values of high frequency bands in discrete wavelet transform. The region-based image retrieval is executed by using the segmented region information, and the images are retrieved by a color, texture, shape feature vector.