• Journal of the Korean Mathematical Society
• /
• v.40 no.4
• /
• pp.695-708
• /
• 2003

We study the existence of solutions for overdetermined PDE systems that admit prolongation to a complete system. We reduce the problem to a Pfaffian system on a submanifold of the jet space of unknown functions and then express the integrability conditions in terms of the coefficients of the original system. As possible applications we present some local problems in CR geometry: determining the CR embeddibility into spheres and the existence of infinitesimal CR automorphisms.

• Journal of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.237-252
• /
• 2002

We study the compatibility conditions and the existence of solutions or overdetermined PDE systems that admit complete prolongation. For a complete system of order k there exists a submanifold of the ($\kappa$-1)st jet space of unknown functions that is the largest possible set on which the initial conditions of ($\kappa$-1)st order may take values. There exists a unique solution for any initial condition that belongs to this set if and only if the complete system satisfies the compatibility conditions on the initial data set. We prove by applying the Frobenius theorem to a Pfaffian differential system associated with the complete prolongation.

• Journal of information and communication convergence engineering
• /
• v.2 no.3
• /
• pp.187-192
• /
• 2004

A method using two dimension Haar functions approximation for solving the problem of a partial differential equation and estimating the parameters of a non-linear distributed parameter system (DPS) is presented. The applications of orthogonal functions, including Haar functions, and their transforms have been given much attention in system control and communication engineering field since 1970's. The Haar functions set forms a complete set of orthogonal rectangular functions similar in several respects to the Walsh functions. The algorithm adopted in this paper is that of estimating the parameters of non-linear DPS by converting and transforming a partial differential equation into a simple algebraic equation. Two dimension Haar functions approximation method is introduced newly to represent and solve a partial differential equation. The proposed method is supported by numerical examples for demonstration the fast, convenient capabilities of the method.

• Journal of Power Electronics
• /
• v.17 no.2
• /
• pp.453-463
• /
• 2017

This paper discusses the measurement of frequency response functions for various dc-dc converters. The frequency domain identification procedure is applied to the measured frequency responses. The identified transfer functions are primarily used in developing behavioral models for dc-dc converters. Distributed power systems are based upon such converters in cascade, parallel and several other configurations. The system level analysis of a complete system becomes complex when the identified transfer functions are of high order. Therefore, a certain technique needs to be applied for order reduction of the identified transfer functions. During the process of order reduction, it has to be ensured that the system retains the dynamics of the full order system. The technique used here is based on the Hankel singular values of a system. A systematic procedure is given to retain the maximum energy states for the reduced order model. A dynamic analysis is performed for behavioral models based on full and reduced order frequency responses. The close agreement of results validates the effectiveness of the model order reduction. Stability is the key design objective for any system designer. Therefore, the measured frequency responses at the interface of the source and load are also used to predict stability of the system.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 1998.10a
• /
• pp.201-207
• /
• 1998

In this study, a geometric nonlinear analysis formulation for spatial frames is developed using the 3D stability functions. For the formulation, the relationships of local and global coordinate systems in force, deformation, and the initial and current configurations of a frame are derived. The force-deformation relationship in global coordinate system is derived as well. The developed formulation is verified in each derivation by reducing the derived equations into 2D equations. The gradual plastification of connections and critical sections can be implemented effectively to this formulation for the complete second order inelastic advanced analysis of spatial frames.

• Earthquakes and Structures
• /
• v.2 no.4
• /
• pp.323-336
• /
• 2011

The problem of reconstruction of complete building response from a limited number of response measurements is considered. The response at the intermediate degrees of freedom is reconstructed by using piecewise cubic Hermite polynomial interpolation in time domain. The piecewise cubic Hermite polynomial interpolation is preferred over the spline interpolation due to its trend preserving character. It has been shown that factorization of response data in variable separable form via singular value decomposition can be used to derive the complete set of normal modes of the structural system. The time domain principal components can be used to derive empirical transfer functions from which the natural frequencies of the structural system can be identified by peak-picking technique. A reduced-rank approximation for the system flexibility matrix can be readily constructed from the identified mass-orthonormal mode shapes and natural frequencies.

• The Journal of Korea Robotics Society
• /
• v.12 no.2
• /
• pp.116-123
• /
• 2017

Wearable robots are receiving great attention from the public, as well as researchers, because its motivation is to improve the quality of lives of people. Above all, complete paraplegic patients due to spinal cord injury (SCI) might be the most adequate target users of the wearable robots, because they definitely need physical assistance due to the complete loss of muscular strength and sensory functions. Furthermore, the medical care of complete paraplegics by using the wearable robots have significantly reduced the mortality rate and improved the life expectancy. The requirements of the wearable robot for complete paraplegics are actuation torque, locomotion speed, wearing sensation, robust gait stability, safety, and practicality (i.e., size, volume, weight, and energy efficiency). A WalkON Suit is the wearable robot that has satisfied the requirements of the wearable robot for complete paraplegics and participated in the powered exoskeleton race of Cybathlon 2016. In this paper, configuration of the WalkON Suit, human-machine interface, gait pattern, control algorithm, and evaluation results are introduced.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.40 no.3
• /
• pp.138-147
• /
• 2017

As the functions and structure of the system are complicated and elaborated, various types of structures are emerging to increase reliability in order to cope with a system requiring higher reliability. Among these, standby systems with standby components for each major component are mainly used in aircraft or power plants requiring high reliability. In this study, we consider a standby system with a multi-functional standby component in which one standby component simultaneously performs the functions of several major components. The structure of a parallel system with multifunctional standby components can also be seen in real aircraft hydraulic pump systems and is very efficient in terms of weight, space, and cost as compared to a basic standby system. All components of the system have complete operation, complete failure, only two states, and the system has multiple states depending on the state of the component. At this time, the multi-functional standby component is assumed to be in a non-operating standby state (Cold Standby) when the main component fails. In addition, the failure rate of each part follows the Weibull distribution which can be expressed as increasing type, constant type, and decreasing type according to the shape parameter. If the Weibull distribution is used, it can be applied to various environments in a realistic manner compared to the exponential distribution that can be reflected only when the failure rate is constant. In this paper, Markov chain analysis method is applied to evaluate the reliability of multi-functional multi-state standby system. In order to verify the validity of the reliability, a graph was generated by applying arbitrary shape parameters and scale parameter values through Excel. In order to analyze the effect of multi-functional multi-state standby system using Weibull distribution, we compared the reliability based on the most basic parallel system and the standby system.

• Journal of the Korean Society for Railway
• /
• v.3 no.3
• /
• pp.147-153
• /
• 2000

The train control and monitoring system (TCMS) is an on board computer system in railway vehicles performing the control, supervisory and diagnostic functions of the complete train system. This system replaces a lot of hard-wired relays and minimizes the necessary vehicle wiring thus increasing the reliability of the train. It is also one of more important equipment on vehicle to implement much higher safety and reliability train system. We studied a software design technique of TCMS using a CASE tool that is a kind of safety critical software engineering tool (SCADE). This tool has mainly four functions such as the graphical editor, the document maker, tile automatically code generator, and the test simulator. The several functions of TCMS are implemented in this software easily programmed using a functional block diagram and a graphic programming language. We applied to automatically generated TCMS modules on the SCADE each functional block for the Standard type EMU in Korea. We performed the combination test using TCMS simulator and the running test in Seoul subway 7 Line. We proved that this technique is more useful for the software design of TCMS in urban transit

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.1060-1066
• /
• 2008

Bi-modal tram is a new conceptual transit mean for public transportation integrating thoroughfare and railroad vehicle's characteristics together. This paper describes about a software design which will be applied to an automatic driving system, which is called NCS (Navigation Control System), considering such multiplicity of mechanical characteristic. The NCS adopts propulsion, braking, and direction control functions for a tram and utilizes various sensors to fully take control over such functions. In this paper, we defined and analyzed the capabilities of the NCS. Those capabilities are designed with a UML 2.0 based object-oriented modeling technique. Moreover, to ensure the complete operation of such capabilities, a communication protocol (which is capable of controlling sensors, propulsion, brakes, and traveling directions) is designed here. Throughout the paper, firstly, all the NCS related functions are discussed in accordance with the equipments they are belonged to; secondly the UML modeling application techniques for the defined functions and protocols for the communications between equipments are introduced; and lastly a validation process for the design specifications is going to be discussed.