19960141
Computations of shallow water equations with high-order central-upwind schemes on triangular meshes
New high-order central-upwind schemes on triangular meshes are proposed to approximate the solutions of shallow water equations. The nonuniform width of the different local Riemann fans is calculated more accurately, and the new central-upwind schemes are of simplicity, universality and robustness. At the same time, due to the central-upwind schemes are combined with new reconstructions based on adaptive least squares, the schemes have the almost non-oscillatory behavior. The numerical results show the desired accuracy, high-resolution, and robustness of our methods.
11714898
On the number of limit cycles of a cubic polynomials Hamiltonian system under quintic perturbation
Abstract This paper is concerned with the number and distribution of limit cycles of a cubic Hamiltonian system under quintic perturbation. By using the bifurcation theory and the method of detection function, we obtain that this system exists at least 14 limit cycles with the distribution C 9 1 ⊃ [ C 1 1 + 2 ( C 3 2 ⊃ 2 C 1 2 ) ] . These results in the paper are useful for the study of the weakened Hilbert’s 16th problem.
5556814
Travelling wave solutions in the generalized Hirota-Satsuma coupled KdV system
By using the bifurcation theory of dynamical systems to the generalized Hirota-Satsuma coupled KdV system, bifurcation parameter sets are shown. Numbers of solitary waves, kink waves and periodic waves are given. Under various parameter conditions, all explicit formulas of solitary wave solutions and kink wave solutions and periodic wave solutions are listed.
11656353
Bifurcations of traveling wave solutions for a class of the nonlinear equations
Abstract The dynamical behavior of traveling wave solutions in a class of the nonlinear k ( n ,  n ) equations with negative exponents is studied by using the theory of bifurcations of dynamical systems. As a result, the dynamical behavior of different physical structure: solitary patterns, solitons, periodic, kink and anti-kink wave solutions are obtained. When parameters are varied, the conditions under which the above solutions appear are also shown. In addition, some exact explicit solutions are given.
29892228
Bifurcations of traveling wave solutions for a class of the generalized Benjamin-Bona-Mahony equation
Abstract By using the theory of bifurcations of dynamical systems to a class of the generalized Benjamin–Bona–Mahony (GBBM) equation, the existence of solitary wave solutions and uncountably infinite, many smooth and non-smooth periodic wave solutions are obtained. It can be shown that the existence of singular curves in a traveling wave system is the reason why smooth waves converge to cusp waves, finally. When parameters are varied, under different parametric conditions, various sufficient conditions to guarantee the existence of the above solutions are given.
644571
Parametric inference for progressive Type-I hybrid censored data on a simple step-stress accelerated life test model
This paper considers a simple step-stress accelerated life test model under progressive Type-I hybrid censoring scheme. The progressive Type-I hybrid censoring scheme and statistical method in synthetic accelerated stresses are provided so as to decrease the lifetime and reduce the test cost. An exponentially distributed life of test units and a cumulative exposure model are assumed. The maximum likelihood estimates of the model parameters are obtained using a pivotal quantity. Two useful lemmas and a theorem are given to construct the approximate confidence intervals for the model parameters. Finally, simulation results are provided to assess the method of inference developed in this article. The simulation results show that the method does improve for large sample size.
34899932
Paths and Cycles in Breakpoint Graph of Random Multichromosomal Genomes
We study the probability distribution of the distance d = n + chi - kappa - psi between two genomes with n markers distributed on chi chromosomes and with breakpoint graphs containing kappa cycles and psi "good" paths, under the hypothesis of random gene order. We interpret the random order assumption in terms of a stochastic method for constructing the bicolored breakpoint graph. We show that the limiting expectation of E[d] = n - 1/2chi - 1/2 log n+chi/2chi. We also calculate the variance, the effect of different numbers of chromosomes in the two genomes, and the number of plasmids, or circular chromosomes, generated by the random breakpoint graph construction. A more realistic model allows intra- and interchromosomal operations to have different probabilities, and simulations show that for a fixed number of rearrangements, kappa and d depend on the relative proportions of the two kinds of operation.
15658838
An Improved and Efficient Tool for Analyzing Industrial Security Protocols
Formal methods and automatic tools are always necessary for analyzing security protocols, and model checking has become a hot spot of research for its ability of verifying finite-state concurrent system automatically. In this paper, we propose a model of security protocols based on MSR (multi-set rewriting), coupled with PLTL describing security properties. Based on the model, a series of key automatic analysis algorithms close to the implementation are designed for our own tool. By using the tool, we illustrate the method’s effectiveness with some typical protocols and give the experimental results.
38303932
Fuzzy inference based on fuzzy concept lattice
In this paper, a fuzzy inference method based on the notion of fuzzy concept lattice is studied. We first propose a new form of fuzzy concept lattice, and then based on three kinds of known fuzzy concept lattices and our new fuzzy concept lattice, two coherent fuzzy inference methods, the lower approximate fuzzy inference and the upper approximate fuzzy inference, are proposed, and the combined use of the two methods will make the fuzzy inference more precise.
42837717
Lossless Subdivision-Based Multiresolution Representation of Arbitrary Triangle Meshes Using Kite Trees
We introduce a new type of subdivision-based multiresolution representation for triangle meshes, kite trees, which has the flexibility to represent arbitrary triangle meshes losslessly. We also develop an algorithm for extracting a balanced kite tree representation of an arbitrary input mesh that preserves mesh topology and regularities in the subdivision structure. Our scheme allows us to combine surface information automatically extracted from input data with algorithmically-generated information in a single multiresolution representation and to represent the results of adaptive refinement of regular subdivision surfaces.
2507502
An Analytical Performance Model of IP-SAN
In this paper we propose a component-based analytical performance model for IP-SAN. We model four key components within IP-SAN individually and they are IP network, cache, RAID and disks. We validate these component models and compose them to give an entire IP-SAN performance model. The entire IP-SAN model analyzes the performance of an IP-SAN configuration under multiple synchronous workloads by using closed queueing network model and under asynchronous workload by using open queueing network model. We also validate the entire IP-SAN performance model against a real IP-SAN system. The theoretical results are compared with the results from a real IP-SAN using a variety of synthetic workloads. These experiments prove that the component-based method is an appropriate way to build performance model for a complex storage system. To our knowledge, this is the first exploration into building analytical performance model for entire IP-SAN system and validating against a real system. We also identify areas for future research in the performance analysis of real IP-SAN.