• Proceedings of the KSR Conference
• /
• 2004.06a
• /
• pp.1477-1478
• /
• 2004

Science the change of development methods and environment of the software is rapidly kept going in industry, previous manual test methods will not be able to guarantee the quality of software. Therefore the software test automation tools is being developed actively. And many of the tools which is reliable is applied and used in domestic organizations. Indirect test techniques currently are used For the improvement of the software quality, such as formal specification and design, structural programming. And also the various do direct test techniques are used to the measurement of software quality through the fault detection and modification, such as black box, which box and test automation tools. In this survey, the software test automation tools which predicate and access the software quality at the software development phase for the improvement of the software quality should be introduced.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.1516-1520
• /
• 2005

We proposed the indirect adaptive fuzzy model based sliding mode controller to control a nonaffine nonlinear systems. Takagi-Sugano fuzzy system is used to represent the nonaffine nonlinear system and then inverted to design the controller at each sampling time. Also sliding mode component is employed to eliminate the effects of disturbances, while a fuzzy model component equipped with an adaptation mechanism reduces modeling uncertainties by approximating model uncertainties. The proposed controller and adaptive laws guarantee that the closed-loop system is stable in the sense of Lyapunov and the output tracks a desired trajectory asymptotically.

• Journal of the Korean Society of Safety
• /
• v.33 no.1
• /
• pp.16-21
• /
• 2018

Cause analysis of accidents associated with industrial machines and devices is essential to improve the effectiveness and the efficiency of industrial safety system in Korea. This study focuses on cause analysis of accidents associated with industrial machines and devices. In particular, analysis of abstracts of accidents which are written in descriptive format and, therefore, inherently unstructured and exhibits characteristics of big data is suggested and tested. Automatic analysis of such big data performed in this study reveals the consistent results with the manual analysis results in previous studies. Analysis results also suggest that incorporating transition from the current user-oriented indirect regulations to more manufacturer and user balanced direct regulations will guarantee more effective prevention of industrial accidents at the early stage of generation of danger.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.29-53
• /
• 2001

This note presents a an indirect adaptive control scheme for first-order continuous-time systems. The estimated plant model is controllable and then the adaptive scheme is free from singularities. The singularities are avoided through a modification of the estimated plant parameter vector so that its associated Sylvester matrix is guaranteed to be nonsingular. That properties is achieved by ensuring that the absolute value of its determinant does not lie below a positive threshold. A modification scheme based on the achievement of a modified diagonally dominant Sylvester matrix of the parameter estimates is also given as an alternative method. This diagonal dominance is achieved through estimates modification as a way to guarantee the controllability of the modified estimated model when a controllability measure of the ‘a priori’ estimated model fails. In both schemes, the use of a hysteresis switching function for the modification of the estimates is not required to ensure the nonsingularity of the Sylvester matrix of the estimates.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.5 no.4
• /
• pp.51-59
• /
• 2009

Many failures are due to incorrectly programmed transactions and data entry errors. System failure causes the loss or corruption of the contents of volatile storage. Although global processing protects data values to detect direct or indirect information effluence, security environments are very important in the recovery management of heterogeneous systems. Although transaction can't control system fault, the restart for the system can cause information effluence by low bandwith. From various faults, it is not easy to maintain the consistency and security of data. This paper proposes recovery management protocols to assure global multilevel secure one-copy quasi-serializability in security environments of heterogeneous systems with replicated data and proves its correctness. The proposed secure protocols guarantee the reliability and security of system when the system fault is happened.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.6 no.1
• /
• pp.52-57
• /
• 2006

In this paper, we have proposed a new adaptive fuzzy control algorithm based on Takagi-Sugeno fuzzy model. The regulation problem for the uncertain SISO nonlinear system is solved by the proposed algorithm. Using the advanced stability theory, the stability of the state, the control gain and the parameter approximation error is proved. Unlike the existing feedback linearization based methods, the proposed algorithm can guarantee the global stability in the presence of the singularity in the inverse dynamics of the plant. The performance of the proposed algorithm is demonstrated through the problem of balancing and swing-up of an inverted pendulum on a cart.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.1718-1719
• /
• 2007

In this paper, a fuzzy sliding mode control that combines with a adaptive self-regulating technique is proposed for manipulators with uncertainties. Especially the system uncertainties is approximated using fuzzy rule adaptation technique. The proposed controller is composed of the equivalent control that includes the approximation of the system uncertainties and the hitting control that is used to constrain the states of the system to maintain on the sliding surfaces and used to guarantee the system robustness. Simulation results are presented to show the effectiveness of the proposed controller

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.1716-1717
• /
• 2007

In this paper, a second order fuzzy sliding mode control that combines with a adaptive self-regulating technique is proposed for a nonlinear system with unknown dynamics. The chattering effect that is a representative disadvantage of the sliding mode control is avoided by using the second order sliding mode control instead of the first order sliding mode control. The proposed sub-controller is composed of the equivalent control that is approximated by an online rule regulation sheme and the hitting control that is used to constrain the states of the sub-system to maintain on the sub-sliding surface and used to guarantee the system robustness. Simulation results are presented to show the effectiveness of the proposed controller

• Proceedings of the KIEE Conference
• /
• 2003.11c
• /
• pp.468-471
• /
• 2003

In this paper, a second order sliding mode control that combines with a fuzzy adaptation technique is presented for a nonlinear system with unknown dynamics. The chattering effect that is a representative disadvantage of the sliding mode control is avoided by using the second order sliding mode control instead of the first order sliding mode control. The proposed controller is composed of the equivalent control that is approximated by an online adaptation scheme and the hitting control that is used to constrain the states to maintain on the sub-sliding surface and used to guarantee the system robustness. Simulation results are presented to show the effectiveness of the proposed controller.

• Journal of Digital Convergence
• /
• v.11 no.12
• /
• pp.61-67
• /
• 2013

The B2B e-commerce assurance system supports e-commerce purchases by Credit Guarantee Fund. This process seeks to replace a variety of current systems, including B2C, the credit card payment method on B2B, 2001 Credit Guarantee Fund and the Bank, logistics, e-MP (Market Place), and Business-to-business e-MP (business-to-business electronic payment settlement system). Over the past 10 years of its operation, the e-MP service (B2B e-commerce electronic payment systems) has contributed much to the growth of SMEs. The development of business-to-business e-commerce transactions systems and limits have provided a stable purchasing platform, improving corporate competitiveness. However. the project-based scale of credit guarantee institutions has limitations. To overcome these limitations, we propose a new model of direct or indirect government support for small business e-MP projects. This new model will support the B2B electronic commerce by allowing it to directly involve guarantee institutions directly in B2B online transactions. Therefore, this study urges government backing of the SME based B2B online business model with e-MP service.