• Journal of applied mathematics & informatics
• /
• v.9 no.1
• /
• pp.135-150
• /
• 2002

The present paper discusses non-deterministic finite Rabin-scott's automate. The majority of works recently dealing with this subject were, in fact, concerned only with properties of a canonical term automata or of some objects equivalent to it. This article continues the series of works in which the authors state a different point of view, describing the finite automata as just another invariant of the given regular language called basis finite automaton. In this article the authors argue on some new properties for the basis finite automaton. One of them is included into basis automaton's table of binary relations. It is stated that this table can not contain either identical strings or identical columns. Another property depicts a possibility to obtain any finite automaton for a given regular language by the process of duplicating or combining some of its states.

• Structural Engineering and Mechanics
• /
• v.12 no.6
• /
• pp.633-656
• /
• 2001

In this paper, modal control with direct output feedback is formulated in a systematic manner for easy implementation. Its application to the seismic protection of structural systems is verified by a shaking table test, which involves a full-scale building model and an active bracing system as the control device. Two modal control cases, namely, one full-state feedback and one direct output feedback control were tested and compared. The experimental result shows that in mitigating the seismic response of building structures, modal control with direct output feedback can be as effective and efficient as that with full-state feedback control. For practical concerns, the control performance of the proposed method in the presence of sensor noise and stiffness modeling error was also investigated. The numerical result shows that although the control force may be increased, the maximum floor displacements of the controlled structure are very insensitive to sensor noise and modeling error.

• Proceedings of the KIEE Conference
• /
• 1993.07b
• /
• pp.892-894
• /
• 1993

In this paper, a new control for the robust position control of a brushless direct drive(BLDD) motor using fuzzy logic controller(FLC) is presented. The integral-proportional(IP) position with speed FLC is employed to obtain the robust BLDD motor system, which is approximately linearized using the field-orientation method for an AC servo. The speed FLC for a BLDD motor has the two rule tables. One is the coarse rule table for the transient state and another is the fine rule table for the steady state. The overall system is controlled by using the microprossor in IBMPC 486 and the the robustness is also obtained.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.14 no.5
• /
• pp.23-31
• /
• 2010

In this study, a shaking table test was performed for the evaluation of the failure capacity of an anchor foundation system in the case of an aged condition. For the shaking table test, three kinds of specimens were manufactured as follows: 1) a non-damaged anchor; 2) a specimen with cracks running through the anchor; and 3) a specimen with cracks along the expected corn-shape fracture away from the anchor. A dynamic characteristic was determined through a measurement of the frequency response function (FRF), and the seismic capacity was evaluated by using a shaking table test. Failure capacities were calculated using an acceleration response and it was compared with the anchor design code.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2005.11a
• /
• pp.306-309
• /
• 2005

This parer describes the tracking control simulation of 6-DOF shaking table with a bell crank structure, which converts the direction of reciprocating movements. For the Joint coordinate-based control which uses lengths of each actuator, the trajectory conversion process inverse kinematics is performed. Applying the Newton-Euler approach, the dynamic equation of the shaking table is derived. To cope with nonlinear problems, time-delay control(TDC) is considered, which has been noted for its exceptional robustness to parameter uncertainties and disturbance, in addition to steady-state accuracy and computational efficiency. If the nominal model is equal to the real system, joint coordinate-based control can be very efficient. However, manufacturing tolerances installation errors and link offsets contaminate the nominal values of the kinematic parameters used in the kinematic model of the shaking table. To compensate differences between the nominal model and the real system. the joint coordinate-based control using acceleration feedback in the Cartesian coordinate space is proposed.

• Nuclear Engineering and Technology
• /
• v.53 no.4
• /
• pp.1345-1356
• /
• 2021

Damage to nuclear power plants causes human casualties and environmental disasters. There are electrical facilities that control safety-related devices in nuclear power plants, and seismic performance is required for them. The 2016 Gyeongju earthquake had many high-frequency components. Therefore, there is a high possibility that an earthquake involving many high frequency components will occur in South Korea. As such, it is necessary to examine the safety of nuclear power plants against an earthquake with many high-frequency components. In this study, the shaking table test of electrical facilities was conducted against the design earthquake for nuclear power plants with a large low-frequency components and an earthquake with a large high-frequency components. The response characteristics of the earthquake with a large high-frequency components were identified by deriving the amplification factors of the response through the shaking table test. In addition, safety of electrical facility against the two aforementioned types of earthquakes with different seismic characteristics was confirmed through limit-state seismic tests. The electrical facility that was performed to the shaking table test in this study was a motor control center (MCC).

• Journal of Wetlands Research
• /
• v.21 no.2
• /
• pp.132-139
• /
• 2019

Bi-directional interaction between vegetation and groundwater table has a great influence on the dynamics of wetland vegetation. In this study, nonlinear dynamics of wetland vegetation affected by groundwater are analyzed. The effect on groundwater is described as a loss term in the governing equation of wetland vegetation and it is explored how the wetland vegetation is likely to converge into two attractors by groundwater table change. From this conceptual approach, the vulnerability to catastrophic shifts in stable state where the current vegetation species are extinct and stabilized by other vegetation species is analyzed in response to groundwater table.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.20 no.10
• /
• pp.3079-3094
• /
• 1996

Recently, the high-precision vibration attenuation technology becomes the essence fo the seccessful development of high-integrated and ultra-precision industries, and is expected to continue playing a key role in the enhancement of manufacturing technology. Vibration isolation system using an air-spring is widely employed owing to its excellent isolation characteristics in a wide frequency range. It has, however, some drawbacks such as low-stiffness and low-damping features and can be easily excited by exogenous disturbances, and then vibration of table is remained for a long time. Consequently, the need for active vibration control for an air-spring vibration isolation system becomes inevitable. Furthermore, for an air-spring isolation table to be successfully employed in a variety of manufacturing sites, it should have a guaranteed robust performance not only to exogenous disturbances but also to uncertainties due to various equipments which might be put on the table. In this study, an active vibration suppression control system using H.inf. theory is designed and experiments are performed to verify its robust performance. An air-spring vibration isolation table with voice-coil-motors as its actuators is designed and built. The table is modeled as 3 degree-of-freedom system. An active control system is designed based on $H_\infty$control theory using frequency-shaped weighting functions. Analysis on its performance and frequency responce properties are done through numerical simulations. Robust characteristics of$H_\infty$ control on disturbances and model uncertainties are experimentally verified through (i) the transient response to the impact excitation of the table, (ii) the steady-state response to the harmonic excitation, and (iii) the response to the mass change of the table itself. An LQG controller is also designed and its performance is compared with the $H_\infty$ controller.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.14 no.12
• /
• pp.2724-2729
• /
• 2010

This paper presents a method of constructing the sequential digital systems over finite fields. We assign all elements in finite fields to digit codes using mathematical properties of finite fields. Also, we discuss the operational characteristics and properties of the building block T-gate which is used to implement the sequential digital systems over finite fields. Then, we implemented sequential digital systems without feed-back. The sequential digital systems without feed-back is constructed as following steps. First, we assign the states in state-transition diagram to state digit codes, then obtain the state function and predecessor table which is explaining the relationship between present states and previous states. Next, we obtained the next-state function from state function and predecessor table. Finally we realize the circuit using T-gate and decoder. The proposed method is more efficiency and systematic than previous method.

• Journal of the Korean Geotechnical Society
• /
• v.38 no.6
• /
• pp.29-39
• /
• 2022

This study investigates the behavior of a circular vertical shaft wall in the absence and presence of a groundwater table. The effects of wall deflection, backfill settlement, and earth pressure distribution around the circular vertical shaft caused by sequential excavations were quantified. The vertical shaft was numerically simulated for different excavation depths of the bearing layer (weathered soil, weathered rock, soft rock) and transient and steady-state flows in the absence of a groundwater table. The backfill settlements and influential area were much larger under transient flow conditions than in steady-state flow. On the contrary, the horizontal wall deflection was much larger in steady state than in the transient state. Moreover, less settlement was induced as the excavation depth increased from weathered soil to weathered rock to the soft rock layer. Finally, the horizontal stresses under steady- and transient-state flow conditions were found to exceed Rankine's earth pressure. This effect was stronger in the deeper rock layers than in the shallow soil layers.