Learn More
In order to increase the reliability of Web services business process, a BPEL modeling and testing approach based on UML2.0 activity diagram is presented. The key idea of the approach is to transform the business process interaction via BPEL code to visual and dynamic testing model. The approach extends UML2.0 activity diagram to describe the syntax and(More)
In this paper, a robust adaptive control scheme based on neural network is proposed for a class of time delay uncertain nonlinear systems. The system under study possesses a wide class of nonlinear time-delayed input uncertainties and function uncertainties. The radial basis function (RBF) neural networks are introduced to approximate the unknown bounded(More)
In this paper, the sliding-mode lag synchronization control scheme is proposed based on the neural network to synchronize two different delayed chaotic systems. An integral delayed sliding surface is presented to design the sliding mode control. The lag synchronization controller is achieved by combining the RBF (radial basis function) neural network with(More)
The scenario-based specification and modeling techniques have been considered as the basic activities in modern software development .This paper considers the problem of designing component-based embedded software model based on timing scenario-based specifications. Firstly the formal model of UML sequence diagram is introduced, then the timing(More)
Program slicing is a technique for analyzing program by focusing on the statements which have dependence relations with slicing criterion. Slicing has applications in testing and debugging, re-engineering, program comprehension and software maintenance. Program verification is an important method in assuring the correctness and reliability of computer(More)
In this paper, a new robust adaptive synchronization control scheme is proposed using a backstepping technique to synchronize two delayed uncertain triangle chaotic systems. A nonlinear disturbance observer is developed using radical basis function (RBF) neural network. The robust adaptive synchronization control scheme is developed with a backstepping(More)
In this work, an actuator fault tolerant control scheme is developed for a class of uncertain single-input and single-output (SISO) nonlinear systems with the actuator fault. To develop the actuator fault tolerant control scheme, the radial basis function neural network (RBFNN) is employed to approximate the unknown system uncertainties as an universal(More)
In this paper, the flight motion model for near-space vehicle with an oblique wing is presented, and the flight control system is developed using dynamic inversion method. Firstly, based on its asymmetry configuration and special aerodynamic characteristic, the six-degree-of-freedom nonlinear equations of flight motion are derived using Newton's second law(More)
The PP2C family member Wild-type p53-induced phosphatase 1 (Wip1) critically regulates DNA damage response (DDR) under stressful situations. In the present study, we investigated whether Wip1 expression was involved in the regulation of DDR-induced and depression-related cellular senescence in mouse hippocampus. We found that Wip1 gene knockout (KO) mice(More)