This paper introduces a new emerging control technology, known as active disturbance rejection control to this day. We start its main idea and two main parts, namely, extended state observer and extended state observe...
详细信息
In this paper, the qualitative properties of general nonautonomous Lotka-Volterran-species competitive systems with impulsive e？ects are studied. Some new criteria on thepermanence, extinction and global attractivity...
详细信息
In this paper, the qualitative properties of general nonautonomous Lotka-Volterran-species competitive systems with impulsive e？ects are studied. Some new criteria on thepermanence, extinction and global attractivity of partial species are established by used themethods of inequalities estimate and Liapunov functions. As applications, nonautonomous twospecies Lotka-Volterra systems with impulses are discussed.
A new system for simulating dynamic load balancing on heterogeneous workstation clusters is presented. Competing workload can be modeled in various ways, from simple to sophisticated. Instead of running real parallel ...
详细信息
The China HPC TOP100 list, an annual report of the 100 most powerful high performance computing (HPC) systems installed in mainland China, has traced the rapid growth of HPC technology in China since its first publica...
详细信息
The China HPC TOP100 list, an annual report of the 100 most powerful high performance computing (HPC) systems installed in mainland China, has traced the rapid growth of HPC technology in China since its first publication in 2002. This paper introduces the China HPC TOP100 list and reviews the current status of HPC systems in China in terms of system features, manufactures, and areas of application using the data reported in the most recent list, published on November 1st, 2009. We provide further analysis, prediction of future trends, and directions of the development of HPC systems in China referencing historical data accumulated through archived TOP100 lists and other publically available *** predict that the aggregated Linpack performance of the top 100 HPC systems will reach 10 PFlops in 2011, a single system with 10 PFlops peak performance will appear between 2012 and 2013, the aggregated performance of the top 100 systems will reach 100 PFlops in 2014, and a single system with 100 PFlops peak performance will appear around 2015.
In the last decades Exp-function method has been used for solving fractional differential equations. In this paper, we obtain exact solutions of fractional generalized reaction Duff- ing model and nonlinear fractional...
详细信息
In the last decades Exp-function method has been used for solving fractional differential equations. In this paper, we obtain exact solutions of fractional generalized reaction Duff- ing model and nonlinear fractional diffusion-reaction equation. The fractional derivatives are described in the modified Riemann-Liouville sense. The fractional complex trans- form has been suggested to convert fractional-order differential equations with modified Riemann-Liouville derivatives into integer-order differential equations, and the reduced equations can be solved by symbolic computation.
Given a biobjective linear programming problem,we develop an affine scaling algorithm with min-max direction and demonstrate its convergence for an efficient *** implement the algorithm for some minor issues in the li...
详细信息
Given a biobjective linear programming problem,we develop an affine scaling algorithm with min-max direction and demonstrate its convergence for an efficient *** implement the algorithm for some minor issues in the literature.
Graph sampling is a very effective method to deal with scalability issues when analyzing largescale graphs. Lots of sampling algorithms have been proposed, and sampling qualities have been quantified using explicit pr...
详细信息
Graph sampling is a very effective method to deal with scalability issues when analyzing largescale graphs. Lots of sampling algorithms have been proposed, and sampling qualities have been quantified using explicit properties(e.g., degree distribution) of the sample. However, the existing sampling techniques are inadequate for the current sampling task: sampling the clustering structure, which is a crucial property of the current networks. In this paper, using different expansion strategies, two novel top-leader sampling methods(i.e., TLS-e and TLS-i) are proposed to obtain representative samples, and they are capable of effectively preserving the clustering structure. The rationale behind them is to select top-leader nodes of most clusters into the sample and then heuristically incorporate peripheral nodes into the sample using specific expansion strategies. Extensive experiments are conducted to investigate how well sampling techniques preserve the clustering structure of graphs. Our empirical results show that the proposed sampling algorithms can preserve the population's clustering structure well and provide feasible solutions to sample the clustering structure from large-scale graphs.
Major challenges of dynamic analysis approaches to specification mining include scalability over long traces as well as comprehensibility and expressivity of results. We present a novel use of object hierarchies over ...
详细信息
Major challenges of dynamic analysis approaches to specification mining include scalability over long traces as well as comprehensibility and expressivity of results. We present a novel use of object hierarchies over inter-object traces as an abstraction/refinement mechanism enabling scalable, incremental, top-down mining of scenario-based specifications.
In this paper, the authors considered a single-species model with stage-structure in a polluted ecological environment. Subject to the outside toxin input quantity being stable, the authors established the sufficient ...
详细信息
In this paper, the authors considered a single-species model with stage-structure in a polluted ecological environment. Subject to the outside toxin input quantity being stable, the authors established the sufficient conditions under which the species will be permanent using Lyapunov method. At the same time biological implications briefly of these results are discussed.
There have been a number of studies on mining candidate specifications from execution traces. Some extract specifications corresponding to value-based invariants, while others work on inferring ordering constraints. I...
详细信息
ISBN:
(纸本)9781605587660
There have been a number of studies on mining candidate specifications from execution traces. Some extract specifications corresponding to value-based invariants, while others work on inferring ordering constraints. In this work, we merge our previous work on mining scenario-based specifications, extracting ordering constraints in the form of live sequence charts (LSC), a visual specification language, with Daikon, a tool for mining value-based invariants. The resulting approach strengthens the expressive power of the mined scenarios by enriching them with scenario-specific value-based invariants. The concept is illustrated using a preliminary case study on a real application.
暂无评论