• Geomechanics and Engineering
• /
• v.23 no.4
• /
• pp.393-403
• /
• 2020

We design the Green-Naghdi model type III (GN-III) with widespread thermoelasticity for a thermoelectric half space using a memory-dependent derivative rule (MDD). Laplace transformations and state-space techniques are used in order to find the general solution for any set of limit conditions. A basic question of heat shock charging half space and a traction-free surface was added to the formulation in the present situation of a traveling heat source with consistent heating speed and ramp-type heating. The Laplace reverse transformations are numerically recorded. There are called the impacts of several calculations of the figure of the value, heat source spead, MDD parameters, magnetic number and the parameters of the ramping period.

• International Journal of Aeronautical and Space Sciences
• /
• v.15 no.2
• /
• pp.163-172
• /
• 2014

This paper proposes a novel guidance law based on the block backstepping sliding mode control and extended state observer (ESO), which also takes into account the autopilot dynamic characteristics of the near space interceptor (NSI), and the impact angle constraint of attacking the maneuvering target. Based on the backstepping control approach, the target maneuvers and the parameter uncertainties of the autopilot are regarded as disturbances of the outer loop and inner loop, respectively. Then, the ESO is constructed to estimate the target acceleration and the inner loop disturbance, and the block backstepping sliding model guidance law is employed, based on the estimated disturbance value. Furthermore, in order to avoid the "explosion of complexity" problem, first-order low-pass filters are also introduced, to obtain differentiations of the virtual control variables. The stability of the closed-loop guidance system is also proven, based on the Lyapunov theory. Finally, simulation results demonstrate that the proposed guidance law can not only overcome the influence of the autopilot dynamic delay and target maneuvers, but also obtain a small miss distance.

• Computational Structural Engineering
• /
• v.11 no.1
• /
• pp.171-178
• /
• 1998

The added viscoelastic dampers increase damping and stiffness of buildings and results in so called non-classical or non-proportional damping problem. In this system the eigenvectors of the undamped system may not diagonalize the damping matrix, and the system is generally analyzed by converting the equation of motion into a 2n first order state-space form. As this approach is complex and time-consuming compared to the classically damped problem, the system is often analyzed by neglecting the off-diagonal terms in the damping matrix. In this paper the theoretical background of the approximate approach is studied, and the vibration characteristics of a three-story shear building with a viscoelastic damper are investigated using the exact and approximate method. It is found that the approximate method may produce good result when the additional damping is small, but as the damping increases the error also increase.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.20 no.2
• /
• pp.18-25
• /
• 2012

The availability of the GPS signal has been expanded greatly in the field of society overall through the development and construction of the GNSS(Global Navigation Satellite System). Furthermore, in the military, aviation and field of space, the GPS signal is applied widely through the combination of INS consisting of gyroscope and accelerometer, IMU, AHRS with the addition of magnetic sensor. Particularly, the performance of these equipments or sensors is very important with GPS and PAR(Precision Approach Radar) in the flight control of the aircraft. This paper deals with MATLAB simulation and ROLSO(Reduced Order Luenberger State Observer) design to reduce the load of system and realize the stable lateral direction approach control in an appropriate time for reduction of the horizontal error which is importantly considered while an aircraft lands instead of the FOLSO(Full Order Luenberger State Observer) using all measurement values. Consequently, ROLSO is expected to be used for the aircraft's attitude control in the aircraft landing causing the burden to the pilots.

• Proceedings of the KIEE Conference
• /
• 1992.07a
• /
• pp.381-385
• /
• 1992

In this paper, dynamic modeling and adaptive control problems for a space robot system are discussed. The space robot consist of a robot manipulator mounted on a free-floating base where no attitude control is applied. Using an extended robot model, the entire space robot can be viewed as an under-actuated robot system. Based on nonlinear control theory, the extended space robot model can then be decomposed into two subsystems: one is input-output exactly linearizable, and the other is unlinearizable and represents an internal dynamics. With this decomposition, a normal form-augmentation approach and an augmented state-feedback control are proposed to facilitate the design of adaptive control for the space robot system against parameter uncertainty, unknown dynamics and unmodeled payload in space applications. We demonstrate that under certain conditions, the entire space robot can be represented as a full-actuated robot system to avoid the inclusion of internal dynamics. Based on the dynamic model, we propose an adaptive control scheme using Cartesian space representation and demonstrate its validity and design procedure by a simulation study.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.7 no.4
• /
• pp.221-227
• /
• 2007

This paper introduces an on-line particle-filtering-based framework for failure prognosis in nonlinear, non-Gaussian systems. This framework uses a nonlinear state-space model of the plant(with unknown time-varying parameters) and a particle filtering(PF) algorithm to estimate the probability density function(pdf) of the state in real-time. The state pdf estimate is then used to predict the evolution in time of the fault indicator, obtaining as a result the pdf of the remaining useful life(RUL) for the faulty subsystem. This approach provides information about the precision and accuracy of long-term predictions, RUL expectations, and 95% confidence intervals for the condition under study. Data from a seeded fault test for a UH-60 planetary carrier plate are used to validate the proposed methodology.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.501-501
• /
• 2000

In this paper, the theoretical development to stabilize a class of uncertain time-delay systems via sliding mode control is presented. The system under consideration is described in state space model containing state delay, uncertain parameters and disturbance. The main idea is to reduce the state of delayed system, by employing the generalize linear transformation, into an equivalent one with no delay inside, which is easier to analyze its behavior and stability. Then, the sliding control approach is employed to find the stabilizing control law. Finally, a numerical simulation is illustrated to show the algorithm for applying the proposed theorems and the efffetiveness of the designed control law in stabilizing the controlled systems.

• Nuclear Engineering and Technology
• /
• v.55 no.3
• /
• pp.861-869
• /
• 2023

This article proposes a novel approach to measure the performance of Safety-Critical Systems (SCS). Such systems contain multiple processing nodes that communicate with each other is modeled by a Petri nets (PN). The paper uses the PN for the performance evaluation of SCS. A set of ordinary differential equations (ODEs) is derived from the Petri net model that represent the state of the system, and the solutions can be used to measure the system's performance. The proposed method can avoid the state space explosion problem and also introduces new metrics of performance, along with their measurement: deadlock, liveness, stability, boundedness, and steady state. The proposed technique is applied to Shutdown System (SDS) of Nuclear Power Plant (NPP). We obtained 99.887% accuracy of performance measurement, which proves the effectiveness of our approach.

• Journal of KIISE:Software and Applications
• /
• v.35 no.1
• /
• pp.12-21
• /
• 2008

As the usage of computer systems is increasing in our lives, the reliability and safely of these systems need to be thoroughly checked through the verification techniques. As a basic formalism for several modeling methods, the finite state machine (FSM) is widely used in specification and verification of system models. And there is a technique for ing internal events of FSM in order to effectively analyze the system. However, this technique does not handle the state explosion problem since it can be applied after completely generating all the state space of the system. In this research, we provide a new approach for efficiently representing concurrent properties of FSM, the slice model and provide an efficient transition reduction method based on the slice model. Our approach is effective in time and space perspective since it is peformed by partially generating the needed system states while the existing abstraction technique can be applied to all the system states.

• Industrial Engineering and Management Systems
• /
• v.12 no.3
• /
• pp.274-280
• /
• 2013

This paper proposes a space merging approach to studying the queuing models with finite buffers and jump priorities. Upon the arrival of a call with low priority, one call of such kind is assumed to be transferred to the end of the queue of high priority calls. The transfer probabilities depend on the state of the queue of the heterogeneous calls. We developed the algorithms to calculate the quality of service metrics of such queuing models, and the results of the numerical experiments are shown.