Time filter

Source Type

Meizhou, China

Pan L.,Nanjing Southeast University | Pan L.,Jia Ying University | Cao J.,Nanjing Southeast University
Nonlinear Analysis: Real World Applications | Year: 2011

In this paper, we discuss anti-periodic solution for delayed cellular neural networks with impulsive effects. By means of contraction mapping principle and Krasnoselski's fixed point theorem, we obtain the existence of anti-periodic solution for neural networks. By establishing a new impulsive differential inequality, using Lyapunov functions and inequality techniques, some new results for exponential stability of anti-periodic solution are obtained. Meanwhile, an example and numerical simulations are given to show that impulses may change the exponentially stable behavior of anti-periodic solution. © 2011 Elsevier Ltd. All rights reserved.

Qiu W.,Jia Ying University
Advanced Materials Research | Year: 2010

This document explains and demonstrates on the Normalization for Internet computing and Modeling of Conceptual Model XML-based. The existing XML conceptual models have their limitation, largely because the semantic, such as "containment" and "multiple-scope", could not be sufficiently described. XUML is a XML conceptual model based on UML. It is independent of specific XML schema definition language, and puts emphasis on describing relationships between domain concepts and defining related semantic constrains. XML normalization theory is recently a research focus, but the existing research outcomes are very complex so they are hard to be understood by XML designers. The development of database design methodology reveals that it is more effective to apply normalization theory in conceptual design than that in logical design. By following the successful approach, the characteristics of XML normal form are represented in XUML. Several XUML forms are defined, and the normalization based on XUML is investigated. The research on XML normalization theory further enhances XUML methodology. So we show the process of XML normalization in XML conceptual model in the paper. And several normalization methods are introduced. Finally, an example is presented to explain the general application of XML normalization methods. © (2010) Trans Tech Publications, Switzerland.

Pan L.,Nanjing Southeast University | Pan L.,Jia Ying University | Cao J.,Nanjing Southeast University
Neurocomputing | Year: 2012

This paper devotes to the stochastic robust stability of uncertain neural networks with time-varying delay and impulses. By using Lyapunov function and stochastic analysis approaches, a sufficient condition is derived in terms of linear matrix inequality (LMI), which can guarantee the uncertain neural network to be robustly exponentially stable in the mean square for all admissible uncertainties. We also extend the delay fractioning approach to the uncertainty system by constructing a Lyapunov-Krasovskii functional and comparing to a linear discrete system. The estimation of decay rate of uncertain neural network can be obtained by estimation of the decay of the linear discrete system. Meanwhile, two examples with numerical simulations are given to illustrate the applicability of the results. © 2012 Elsevier B.V.

Pan L.,Jia Ying University | Cao J.,King Abdulaziz University
Neurocomputing | Year: 2015

This paper devotes to stability analysis of continuous time and discrete time bidirectional associative memory (BAM) neural networks whose parameters are randomly varying in a finite state Markov chain sense. Based on the ergodic theory of continuous time Markov chain, the matrix measure approach and Lyapunov theory, almost sure stability and exponential stability in the mean square for continuous time BAM neural networks are derived. We also present some new stability results for discrete time BAM neural networks with the help of the law of large numbers. Meanwhile, some examples with numerical simulations are given to show that the Markov chain plays an important role in stability of neural networks. © 2015 Elsevier B.V.

Qiu W.,Jia Ying University | Zhang L.-C.,Guangdong University of Technology
Journal of Software | Year: 2012

Model Driven Architecture (MDA) is a development method of which can generate useable software products directly by the model. It includes a series of standardized modeling, transformation rules and other relevant standards architecture. Real-Time systems have been applied in many areas widely, but they have many nonfunctional requirements, which always crosscut the whole system modules. That may cause the code tangle and scatter, make the systems hard to design, reuse and maintain, and affect performance of systems badly. AOP is a new software development paradigm, which could attain a higher level of separation of concerns in both functional and nonfunctional matters by introducing aspect, for the implementation of crosscutting concerns. Different aspects can be designed separately, and woven into systems. This article introduces the technology of MDA, aspect-oriented, real-time systems and UML. This article takes the Aspectoriented to the MDA modeling by the UML extension mechanisms, and presents a method, which is Aspect- Oriented MDA. In this article, UML profile is utilized to construct the meta-modal specifications respectively for common Aspect-Oriented and AspectJ. So the core business logic and the crosscutting aspects can be modeled as separate, modular Aspect-Oriented PIM's and PSM's. The authors analysis non-functional requirements of the realtime systems, and then apply aspect-oriented MDA modeling to develop an example of real-time systems, and propose how to model aspects of timer and real-time constraints. Finally, in order to more clearly understand how to complete the MDA in the aspect-oriented modeling, especially in real-time system. This paper through the example of a real-time system is discussed. The system simulates the operation of self-automatic washer process. © 2012 ACADEMY PUBLISHER.

Discover hidden collaborations