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)
We have developed a high-resolution "genome array" for the study of gene expression and regulation in Escherichia coli. This array contains on average one 25-mer oligonucleotide probe per 30 base pairs over the entire genome, with one every 6 bases for the intergenic regions and every 60 bases for the 4,290 open reading frames (ORFs). Twofold concentration(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)