GLOBAL WELL-POSEDNESS FOR FRACTIONAL NAVIER-STOKES EQUATIONS IN VARIABLE EXPONENT FOURIER-BESOV-MORREY SPACES

In this paper we study the Cauchy problem of the incompressible fractional Navier-Stokes equations in critical variable exponent Fourier-Besov-Morrey space F N^s(·)p(·),h(·),q(R³)with s(·)=4-2α-3/p(·).We prove global well-posedness result with small initial data belonging to FN^4-2α-3/p(·)p(·),h(·)q(R³).The result of this paper extends some recent work.     

A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.     

Evaluation of singular integrals for anisotropic elastic boundary element analysis

To improve the numerical evaluation of weakly singular integrals appearing in the boundary element method, a logarithmic Gaussian quadrature formula is usually suggested in the literature. In this formula the singular function is expressed in terms of the distance between source point and field point, which is a real variable. When an anisotropic elastic solid is considered, most of the existing fundamental solutions are written in terms of complex variables. When the problems with holes, cracks, inclusions, or interfaces are considered, to suit for the shape of the boundaries usually a mapping function is introduced and then the solutions are expressed in terms of mapped complex variables. To deal with the trouble induced by the complex variables, in this study through proper change of variables we develop a simple way to improve the evaluation of weakly singular integrals, especially for the problems of anisotropic elastic solids containing holes, cracks, inclusions, or interfaces. By simple matrix expansion, the proposed method is extended to the problems with piezoelectric or magneto-electro-elastic solids. By using the dual reciprocity method, the proposed method employed for the elastostatic fundamental solution can also be applied to the elastodynamic analysis.     

The number of limit cycles of cubic Hamiltonian system with perturbation

In this paper, by using qualitative analysis, we investigate the number of limit cycles of perturbed cubic Hamiltonian system with perturbation in the form of (2n+2m) or (2n+2m+1)th degree polynomials . We show that the perturbed systems has at most (n+m) limit cycles, and has at most n limit cycles if m=1. If m=1, n=1 and m=1, n=2, the general conditions for the number of existing limit cycles and the stability of the limit cycles will be established, respectively. Such conditions depend on the coefficients of the perturbed terms. In order to illustrate our results, two numerical examples on the location and stability of the limit cycles are given.