• Journal of the Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.1253-1270
• /
• 2015

Let (R, m) be a commutative Noetherian local domain, M a non-zero finitely generated R-module of dimension n > 0 and I be an ideal of R. In this paper it is shown that if $x_1,{\ldots },x_t$ ($1{\leq}t{\leq}n$) be a sub-set of a system of parameters for M, then the R-module $H^t_{(x_1,{\ldots },x_t)}$(R) is faithful, i.e., Ann $H^t_{(x_1,{\ldots },x_t)}$(R) = 0. Also, it is shown that, if $H^i_I$ (R) = 0 for all i > dim R - dim R/I, then the R-module $H^{dimR-dimR/I}_I(R)$ is faithful. These results provide some partially affirmative answers to the Lynch's conjecture in [10]. Moreover, for an ideal I of an arbitrary Noetherian ring R, we calculate the annihilator of the top local cohomology module $H^1_I(M)$, when $H^i_I(M)=0$ for all integers i > 1. Also, for such ideals we show that the finitely generated R-algebra $D_I(R)$ is a flat R-algebra.

• Journal of the Korean Society for Precision Engineering
• /
• v.21 no.4
• /
• pp.95-102
• /
• 2004

It is necessary to improve the exactness and adaptation of the working environment in the intelligent robot system. The vision sensor have been studied for this reason fur a long time. However, it is very difficult to perform the camera and robot calibrations because the three dimensional reconstruction and many processes are required for the real usages. This paper suggests the image based visual servoing to solve the problem of old calibration technique and supports OLP(Off-Line-Programming) path compensation. Virtual camera can be modeled from the real factors and virtual images obtained from virtual camera gives more easy perception process. Also, Initial path generated from OLP could be compensated by the pixel level acquired from the real and virtual, respectively. Consequently, the proposed visually assisted OLP teaching remove the calibration and reconstruction process in real working space. With a virtual simulation, the better performance is observed and the robot path error is calibrated by the image differences.

• International Journal of Control, Automation, and Systems
• /
• v.5 no.1
• /
• pp.24-34
• /
• 2007

Closed-loop active twist control of integral helicopter rotor blades is investigated in this paper for reducing hub vibration induced in forward flight. A four-bladed fully articulated integral twist-actuated rotor system has been designed and tested successfully in wind tunnel in open-loop actuation. The integral twist deformation of the blades is generated using active fiber composite actuators embedded in the composite blade construction. An analytical framework is developed to examine integrally twisted helicopter blades and their aeroelastic behavior during different flight conditions. This aeroelastic model stems from a three-dimensional electroelastic beam formulation with geometrical-exactness, and is coupled with finite-state dynamic inflow aerodynamics. A system identification methodology that assumes a linear periodic system is adopted to estimate the harmonic transfer function of the rotor system. A vibration minimizing controller is designed based on this result, which implements a classical disturbance rejection algorithm with some modifications. Using the established analytical framework, the closed-loop controller is numerically simulated and the hub vibratory load reduction capability is demonstrated.

• The Journal of the Acoustical Society of Korea
• /
• v.22 no.2
• /
• pp.113-120
• /
• 2003

Rayleigh was an excellent experimenter as well as a theorist. Rayleigh improved Rijke's sounding device by heat and the singing flame into sources of pure tones. Above all, his making of the artificial bird whistle was a critical achievement in the improvement of experimental sound sources. This source made supersonic waves available in the laboratory and thus paved the way to confirmable observations of reflection, refraction, diffraction and interference of sound in the laboratory Furthermore, Rayleigh augmented the sensitivity of sensitive flames as detectors for sound wave. Besides, he devised a phonic wheel which could precisely control the angular velocity of some acoustical instruments and made the Rayleigh-disk that enabled experimenters to measure the absolute value of the sound intensity. These devices enhanced the exactness of acoustical experiments.

• Nuclear Engineering and Technology
• /
• v.44 no.8
• /
• pp.911-918
• /
• 2012

Steam generator level control at low power is difficult due to its adverse thermal hydraulic properties, and is usually conducted by an operator. The basic model predictive control (MPC) is similar to the action of an operator in that the operator knows the desired reference trajectory for a finite period of time and takes the necessary control actions needed to ensure the desired trajectory. An MPC is based on a model; the performance as well as the efficiency of the MPC depends heavily on the exactness of the model. In this study, steam generator models that can describe in detail its thermal hydraulic behaviors, particularly at low power, are used in the MPC design. The design scope is divided into two parts. First, the MPC feedwater controller of the feedwater station is determined, and then the MPC level controller for the overall system is designed. Because the dynamic properties of a steam generator change with the power levels, a realistic situation is simulated by changing the transfer functions of the steam generator at every time step. The resulting MPC controller shows good performance.

• Proceedings of the KSPS conference
• /
• 1996.10a
• /
• pp.43-52
• /
• 1996

This paper deals with the nature and function of intensification in Korean in a wider scope of intensification which was not paid proper attention including intensification in the initial position as well as middle position. Unobserved new areas of intensification in the initial position are paid more attention like sound split of polysemy e.g. (s'eda), (kyongk'i) by means of intensification and north Korean application of intensification on (wonsu) and intensification of borrowed English. The recent phenomenon of ‘gwua’ intensification is experimented on two groups of people, young students and old people beyond 65 years old by means of sociolinguistic analysis. The result shows that its intensification is a form of student violent power and a mark of extreme solidarity among activist students. Thirty three university students(male 16, female 17) are asked to explained to write the meanings(feelings or when to use, etc.) of the words which have normal form and intensified forms. The results show intensification attaches the meaning of ‘emphasis,’ to bring the extremely polarized emotion: samll to the smallest, exact to the perfect exactness, bad to the worst feeling. Four words are being split to express different meaning with the word intensified. In conclusion, the nature of so called saisiot(t) e.g. intensification is voiceless tensed pause and its functions are the polarization of the original meaning of the word, sound split of polysemy and attachment of social values by intensification.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.5 no.5
• /
• pp.1001-1010
• /
• 2001

In TLM method, Discrete Green's function ABC have been used when improved the exactness of analyzing in wide frequency band. But this technology has a complicated process to apply absorbing boundary, which means it needs additional numerical analyzing process to obtain discrete Green's function data. so, In this paper, we propose new Green's absorbing layer for simple process to apply absorbing boundary. newly proposed Green's absorbing layer is produced by applying of loss operation, loading discrete Green's function with attenuation. A state of optimum absorbing would be obtained by relation between increasing rate of loss, attenuation constant and length of green's absorbing layer. and then Analysts of waveguide BPF is carried out using Green's absorbing layer within state of optimum absorbing, then this result is in corrective agreement with the result applying traditional discrete Green's function ABC.

• Journal of Power System Engineering
• /
• v.16 no.4
• /
• pp.12-16
• /
• 2012

In this paper, the equations of motions for planar multibody dynamics are established for considering the parallel programming based on GPU. Cartesian coordinates are used to formulate the equations of motion and implicit integration method called HHT-alpha is employed. Open chain multibody system is considered for computer simulation. CUDA toolkit is employed for establishing the GPU parallel programming. The exactness of the analysis is verified from the comparison with ADAMS. The results from parallel computing based on GPU are compared with the results from the sequential programming based on CPU in terms of calculation time. The multiple pendulum with bodies and joints is employed for the computer simulation. In the pendulum system that has 290 bodies, the parallel program indicates an improved efficiency of about 25.5 second(15.5% improvement). It is noted that the larger the size of system is, the time efficiency is better.

• The Journal of Korean Physical Therapy
• /
• v.23 no.6
• /
• pp.37-42
• /
• 2011

Purpose: The aim of this study is to suggest the basic materials for proposing effective and efficient methods when stretching by measuring isokinetic muscular strength according to static, dynamic and PNF stretching. Methods: This study was conducted on 45 healthy persons (male and female) in their twenties who are attending universities. The subjects are randomly divided into three (3) groups, and static stretching is applied in group 1, dynamic stretching is applied in group 2 and PNF stretching is applied in group 3. After carrying out static, dynamic and PNF stretching, peak torque was measured using isokinetic muscular strength measurement. Results: According to the results, at $60^{\circ}$/sec and $180^{\circ}$/sec isokinetic peak torque of the knee joint according to types of stretching, the largest changes were shown in Group 2 extension and flexion, and the least changes were shown in Group 1. There were significant differences among the three groups (p<0.05), and the result of after-analysis by LSD showed that there were significant differences between Groups 1 and 2, and Groups 1 and 3 (p<0.05). Conclusion: The intention of this study was to determine the peak torque using Cybex after applying three stretching methods to hamstring muscles, and the case of dynamic and PNF stretching was found to be more significant in both the $60^{\circ}$/sec and $180^{\circ}$/sec angular speeds than that of static stretching. Using the results of such studies, if dynamic and PNF stretching are applied together with warming-up before performing sports, the risk of suffering wounds would reduce and the exactness of sports would increase.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.13 no.1
• /
• pp.31-39
• /
• 1995

We have various methods of measurement for a safety diagnosis of outworn structure, but these methods to find a variation of structure are not convincible with it's exactness and confidence. We have to lay out a scheme for a solution of these problems and improve a visibility of result. In this study, we studied a optimized solution for close-range photogrammetry to offer the more reliable method compare to conventional method and to improve it's confidens and visibility of output. For obtaining these effects, we manufactured the plane models and curved surface ones each devided into two types, normal case and obilique case. In this way, we got a optimum solution to increase a confidence level and visibility of photogrammetry. And actually, this study will be a good way to measure a variation of structures.