• Communications of the Korean Mathematical Society
• /
• v.9 no.2
• /
• pp.275-278
• /
• 1994

In 1966, Iseki [4] introduced the notion of BCI-algebras which is a generalization of BCK-algebras. The ideal theory plays an important role in studying BCK/BCI-algebras. In this paper we study decompositions of ideals in BCI-algebras, and give a characterization of closed ideals. Also we define ignorable ideals in BCI-algebras, and investigates its properties.(omitted)

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.22 no.3
• /
• pp.91-94
• /
• 1985

A method optimizing selection of a state weighting matrix is presented. The state weight-ing matrix is chosen so that the closed-loop system responses closely match to the ideal model responses. An algorithm is presented which determines a positive semidefinite state weighting matrix in the linear quadratic optimal control design problem and an numerical example is given to show the effect of the present algorithm.

• Bulletin of the Korean Mathematical Society
• /
• v.26 no.1
• /
• pp.31-34
• /
• 1989

In this paper we show that if there is a derivation on a commutative Banach algebra which has a non-nilpotent separating space, then there is a discontinuous derivation on a commutative Banach algebra which has a range in its radical. Also we show that if every prime ideal is closed in a commutative Banach algebra with identity then every derivation on it has a range in its radical.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.4
• /
• pp.1025-1034
• /
• 2023

Let U be the restricted quantized enveloping algebra Ũ_q(𝖘𝖑₂) over an algebraically closed field of characteristic zero, where q is a primitive 𝑙-th root of unity (with 𝑙 being odd and greater than 1). In this paper we show that any indecomposable submodule of U under the adjoint action is generated by finitely many special elements. Using this result we describe all ideals of U. Moreover, we classify annihilator ideals of simple modules of U by generators.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.39 no.12
• /
• pp.1166-1173
• /
• 2011

Electro-Mechanical Ignition Safety Device(EMISD) for solid rocket motor is designed and manufactured. The EMISD utilizes a true rotary solenoid for arming mechanism and an electric squib(initiator) for generating ignition energy. In order to prove the ignition capability of the EMISD, 10-cc Closed Bomb Test(CBT) is performed, which measures the pressure built by high temperature and high pressure gas generated by operating EMISD. The pressure built in the free volume of 10-cc closed bomb and the opening time of the ignition gas outlet are calculated using one dimensional gas dynamic model which is composed of the ideal gas equation and mass-energy conservation equation. Comparing the test result with model prediction, it is realized that the pressure built in the free volume of closed bomb due to the firing of EMISD, has the efficiency ratio of about 34%.

• Smart Structures and Systems
• /
• v.19 no.5
• /
• pp.487-497
• /
• 2017

Semi-active devices use the building's own motion to produce resistive forces and are thus strictly dissipative and require little power. Devices that independently control the binary open/closed valve state can enable novel device hysteresis loops that were not previously possible. However, some device hysteresis loops cannot be obtained without active analog valve control allowing slower, controlled release of stored energy, and is presents an ongoing limitation in obtaining the full range of possibilities offered by these devices. This in silico study develops a proportional-derivative feedback control law using a validated nonlinear device model to track an ideal diamond-shaped force-displacement response profile using active analog valve control. It is validated by comparison to the ideal shape for both sinusoidal and random seismic input motions. Structural application specific spectral analysis compares the performance for the non-linear, actively controlled case to those obtained with an ideal, linear model to validate that the potential performance will be retained when considering realistic nonlinear behaviour and the designed valve control approach. Results show tracking of the device force-displacement loop to within 3-5% of the desired ideal curve. Valve delay, rather than control law design, is the primary limiting factor, and analysis indicates a ratio of valve delay to structural period must be 1/10 or smaller to ensure adequate tracking, relating valve performance to structural period and overall device performance under control. Overall, the results show that active analog feedback control of energy release in these devices can significantly increase the range of resetable, valve-controlled semi-active device performance and hysteresis loops, in turn increasing their performance envelop and application space.

• Journal of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1057-1075
• /
• 2016

Let R be a ring in which Nil(R) is a divided prime ideal of R. Then, for a suitable property X of integral domains, we can define a ${\phi}$-X-ring if R/Nil(R) is an X-domain. This device was introduced by Badawi [8] to study rings with zero divisors with a homomorphic image a particular type of domain. We use it to introduce and study a number of concepts such as ${\phi}$-Schreier rings, ${\phi}$-quasi-Schreier rings, ${\phi}$-almost-rings, ${\phi}$-almost-quasi-Schreier rings, ${\phi}$-GCD rings, ${\phi}$-generalized GCD rings and ${\phi}$-almost GCD rings as rings R with Nil(R) a divided prime ideal of R such that R/Nil(R) is a Schreier domain, quasi-Schreier domain, almost domain, almost-quasi-Schreier domain, GCD domain, generalized GCD domain and almost GCD domain, respectively. We study some generalizations of these concepts, in light of generalizations of these concepts in the domain case, as well. Here a domain D is pre-Schreier if for all $x,y,z{\in}D{\backslash}0$, x | yz in D implies that x = rs where r | y and s | z. An integrally closed pre-Schreier domain was initially called a Schreier domain by Cohn in [15] where it was shown that a GCD domain is a Schreier domain.

• Journal of Drive and Control
• /
• v.19 no.1
• /
• pp.51-61
• /
• 2022

This paper presents a model-free system based on a framework of a backstepping sliding mode control (BSMC) with a radial basis function neural network (RBFNN) and adaptive mechanism for electro-hydraulic systems (EHSs). First, an EHS mathematical model was dedicatedly derived to understand the system behavior. Based on the system structure, BSMC was employed to satisfy the output performance. Due to the highly nonlinear characteristics and the presence of parametric uncertainties, a model-free approximator based on an RBFNN was developed to compensate for the EHS dynamics, thus addressing the difficulty in the requirement of system information. Adaptive laws based on the actor-critic neural network (ACNN) were implemented to suppress the existing error in the approximation and satisfy system qualification. The stability of the closed-loop system was theoretically proven by the Lyapunov function. To evaluate the effectiveness of the proposed algorithm, proportional-integrated-derivative (PID) and improved PID with ACNN (ACPID), which are considered two complete model-free methods, and adaptive backstepping sliding mode control, considered an ideal model-based method with the same adaptive laws, were used as two benchmark control strategies in a comparative simulation. The simulated results validated the superiority of the proposed algorithm in achieving nearly the same performance as the ideal adaptive BSMC.

• Structural Engineering and Mechanics
• /
• v.44 no.5
• /
• pp.681-704
• /
• 2012

The dynamic response of Euler-Bernoulli beams to resonant harmonic moving loads is analysed. The non-dimensional form of the motion equation of a beam crossed by a moving harmonic load is solved through a perturbation technique based on a two-scale temporal expansion, which permits a straightforward interpretation of the analytical solution. The dynamic response is expressed through a harmonic function slowly modulated in time, and the maximum dynamic response is identified with the maximum of the slow-varying amplitude. In case of ideal Euler-Bernoulli beams with elastic rotational springs at the support points, starting from analytical expressions for eigenfunctions, closed form solutions for the time-history of the dynamic response and for its maximum value are provided. Two dynamic factors are discussed: the Dynamic Amplification Factor, function of the non-dimensional speed parameter and of the structural damping ratio, and the Transition Deamplification Factor, function of the sole ratio between the two non-dimensional parameters. The influence of the involved parameters on the dynamic amplification is discussed within a general framework. The proposed procedure appears effective also in assessing the maximum response of real bridges characterized by numerically-estimated mode shapes, without requiring burdensome step-by-step dynamic analyses.

• Journal of Power Electronics
• /
• v.18 no.6
• /
• pp.1844-1854
• /
• 2018

Isolated power systems (IPS) are often characterized by a weak grid due to small power grids. The grid side voltage is no longer equivalent to an ideal voltage source of an infinitely big power grid. The conversion control of new energy sources, parameter perturbations as well as the load itself can easily cause the system voltage to oscillate or to become unstable. To solve this problem, increasing the energy-storage power sources is usually used to improve the reliability of a system. In order to provide support for the voltage, the energy-storage power source inverter needs an method to control the voltage source. Therefore, this paper has proposed the active damping control of a voltage source inverter (VSI) based on virtual compensation. By simplifying the VSI double closed-loop control, two feedback compensation channels have been constructed to reduce the VSI output impedance without changing the characteristics of the voltage gain of a system. This improvement allows systems to operate stably in a larger range. A frequency-domain analysis, and simulation and experimental results demonstrate the feasibility and effectiveness of the proposed method.