reducing symmetries to generate easier sat instances

Finding countermodels is an effective way of disproving false conjectures. In first-order predicate logic, model finding is an undecidable problem. But if a finite model exists, it can be found by exhaustive search. The finite model generation problem in the first-order logic can also be translated to the satisfiability problem in the propositional logic. But a direct translation may not be very efficient. This paper discusses how to take the symmetries into account so as to make the resulting problem easier. A static method for adding constraints is presented, which can be thought of as an approximation of the least number heuristic (LNH). Also described is a dynamic method, which asks a model searcher like SEM to generate a set of partial models, and then gives each partial model to a propositional prover. The two methods are analyzed, and compared with each other.

Non-relativistic conformal symmetries in fluid mechanics

The symmetries of a free incompressible fluid span the Galilei group, augmented with independent dilations of space and time. When the fluid is compressible, the symmetry is enlarged to the expanded Schrodinger group, which also involves, in addition, Schrodinger expansions. While incompressible fluid dynamics can be derived as an appropriate non-relativistic limit of a conformally invariant relativistic theory, the recently discussed conformal Galilei group, obtained by contraction from the relativistic conformal group, is not a symmetry. This is explained by the subtleties of the non-relativistic limit.

Explanation for Micromorphologies Around Broken Fibers in Fiber-Reinforced Composites

Experimental observations on micromorphologies around broken fibers in glass-fiber-reinforced epoxy matrix composites reveal different kinds of highly oriented patches at the circumambience of broken fibers, whereas the bulk of the matrix has been observed to be largely isotropic. These patches are interpreted to correlated areas where the stress gradients of the matrix are formed after fiber breaking, but the underlying cause for the orientation is still unknown. The authors have modified an embedded cell model to explain the experimental phenomena. The finite element simulation indicates that the surfaces around broken fibers display a change from an extension micromorphology to a mixed tension and shear micromorphology with the increase of applied strain.

Source Model for Blasting Vibration

By analyzing and comparing the experimental data, the point source moment theory and the cavity theory, it is concluded that the vibrating signals away from the blasting explosive come mainly from the natural vibrations of the geological structures near the broken blasting area. The source impulses are not spread mainly by the inelastic properties (such as through media damping, as believed to be the case by many researchers) of the medium in the propagation pass, but by this structure. Then an equivalent source model for the blasting vibrations of a fragmenting blasting is proposed, which shows the important role of the impulse of the source's time function under certain conditions. For the purpose of numerical simulation, the model is realized in FEM, The finite element results are in good agreement with the experimental data.

Evolution induced catastrophe in a nonlinear dynamical model of material failure

In order to study the failure of disordered materials, the ensemble evolution of a nonlinear chain model was examined by using a stochastic slice sampling method. The following results were obtained. (1) Sample-specific behavior, i.e. evolutions are different from sample to sample in some cases under the same macroscopic conditions, is observed for various load-sharing rules except in the globally mean field theory. The evolution according to the cluster load-sharing rule, which reflects the interaction between broken clusters, cannot be predicted by a simple criterion from the initial damage pattern and even then is most complicated. (2) A binary failure probability, its transitional region, where globally stable (GS) modes and evolution-induced catastrophic (EIC) modes coexist, and the corresponding scaling laws are fundamental to the failure. There is a sensitive zone in the vicinity of the boundary between the GS and EIC regions in phase space, where a slight stochastic increment in damage can trigger a radical transition from GS to EIC. (3) The distribution of strength is obtained from the binary failure probability. This, like sample-specificity, originates from a trans-scale sensitivity linking meso-scopic and macroscopic phenomena. (4) Strong fluctuations in stress distribution different from that of GS modes may be assumed as a precursor of evolution-induced catastrophe (EIC).

Earthquake Stability Analysis about Fine Grinded Tailings Dams

Based on the broken characteristics about earthquake to tailings dams, the earthquake stability analysis methods for tailings dams are introduced. Taking fine tailings dam in Longdu Tailings Pool as an example, the stability of the dam with various situations while earthquake with seven magnitude takes place there. The results can be used by Longdu Mine for tailings pool safety management.

Dynamical symmetry of screened Coulomb potential and isotropic harmonic oscillator

It is shown that for the screened Coulomb potential and isotropic harmonic oscillator, there exists an infinite number of closed orbits for suitable angular momentum values. At the aphelion (perihelion) points of classical orbits, an extended Runge-Lenz vector for the screened Coulomb potential and an extended quadrupole tensor for the screened isotropic harmonic oscillator are still conserved. For the screened two-dimensional (2D) Coulomb potential and isotropic harmonic oscillator, the dynamical symmetries SO3 and SU(2) are still preserved at the aphelion (perihelion) points of classical orbits, respectively. For the screened 3D Coulomb potential, the dynamical symmetry SO4 is also preserved at the aphelion (perihelion) points of classical orbits. But for the screened 3D isotropic harmonic oscillator, the dynamical symmetry SU(2) is only preserved at the aphelion (perihelion) points of classical orbits in the eigencoordinate system. For the screened Coulomb potential and isotropic harmonic oscillator, only the energy (but not angular momentum) raising and lowering operators can be constructed from a factorization of the radial Schrodinger equation.

Formation, microstructure and development of the localized shear deformation in low-carbon steels

An investigation has been made into the effect of microstructural parameters on the propensity for forming shear localization produced during high speed torsional testing by split Hopkinson bar with different average rates of 610, 650 and 1500 s(-1) in low carbon steels. These steels received the quenched, quenched and tempered as well as normalized treatments that provide wide microstructural parameters and mechanical properties. The results indicate that the occurrence of the shear localization is susceptible to the strength of the steels. In other words, the tendency of the quenched steel to form a shear band is higher than that of the other two steels. It is also found that there is a critical strain at which the shear localization occurs in the steels. The critical strain value is strongly dependent on the strength of the steels. Before arriving at this point, the material undergoes a slow work-hardening. After this point, the material suffers work-softening, corresponding to a process during which the deformation is gradually localized and eventually becomes spatially correlated to form a macroscopic shear band. Examinations by SEM reveal that the shear localization within the band involves a series of sequential crystallographic and non-crystallographic events including the change in crystal orientation, misorientation, generation and even perhaps damage in microstructures such as the initiation, growth and coalescence of the microcracks. It is expected that the sharp drop in the load-carrying capacity is associated with the growth and coalescence of the microcracks rather than the occurrence of the shear localization, but the shear localization is seen to accelerate the growth and coalescence of the microcracks. The thin foil observations by TEM reveal that the density of dislocations in the band is extremely high and the tangled arrangement and cell structure of dislocations tends to align along the shear direction. The multiplication and interaction of dislocations seems to be responsible for work-hardening of the steels. The avalanche of the dislocation cells corresponds to the sharp drop in shear stress at which the deformed specimen is broken. Double shear bands and kink bands are also observed in the present study. The principal band develops first and its width is narrower than that of the secondary band.

Symmetry of chaotic attractors and kink-antikink structures in CMLs

In this paper the symmetries of coupled map lattices (CMLs) and their attractors are investigated by group and dynamical system theory, as well as numerical simulation, by means of which the kink-antikink patterns of CMLs in space-amplitude plots are discussed.

Thermal-conductivity of periodic composite media with spherical inclusions

The thermal conductivity of periodic composite media with spherical inclusions embedded in a homogeneous matrix is discussed. Using Green's function, we show that the Rayleigh identity can be generalized to deal with the thermal properties of these systems. A technique for calculating effective thermal conductivities is proposed. Systems with cubic symmetries (including simple cubic, body centered cubic and face centered cubic symmetry) are investigated in detail, and useful formulae for evaluating effective thermal conductivities are derived.

折线裂纹和两相材料界面的相互作用

利用螺位错基本解建立了和界面相交的折线裂纹的Cauchy型积分方程．根据奇异积分方程理论，得出了确定折线裂纹和界面交点处的奇性应力指数的特征方程，以及交点处各角形域内的奇性应力．利用所得的交点处的奇性应力定义了折线裂纹和界面交点处的应力强度因子．对所得积分方程进行数值求解，可得裂纹端点以及裂纹和界面交点处的应力强度因子．

Numerical Research on Liquid Spray in Supersonic Cross Flow

Numerical simulation was conducted to characterize the kerosene spray injecting into supersonic cross flow, especially focusing on the aerodynamic secondary breakup effect of the supersonic cross flow on the initial droplets. It was revealed that the initial parent drops were broken up into small drops whose diameter is about O(10) micrometers soon after they entered into the supersonic cross flow. During the appropriate range of initial drop size, the parent droplets would be broken up into small drops with the same magnitude diameter no matter how large the initial drops SMD was.

Numerical Study on Kerosene Spray in Supersonic Flow

Numerical simulation was conducted to study the kerosene spray characteristics injecting into supersonic cross flow. The verification of the simulation was carried out by experimental Schlieren image, and the agreement was obtained by compared the spray plume pictures. Furthermore, the aerodynamic secondary breakup effect of the supersonic cross flow on the initial droplets was investigated. It was revealed that the initial parent drops were broken up into small drops whose diameter is about O(10) micrometers soon after they entered into the supersonic cross flow. During the appropriate range of initial drop size, the parent droplets would be broken up into small drops with the same magnitude diameter no matter how large the initial drops SMD was.

Quantum interference in laser-induced nonsequential double ionization in diatomic molecules: Role of alignment and orbital symmetry

We address the influence of the orbital symmetry and the molecular alignment with respect to the laser-field polarization on laser-induced nonsequential double ionization of diatomic molecules, in the length and velocity gauges. We work within the strong-field approximation and assume that the second electron is dislodged by electron-impact ionization, and also consider the classical limit of this model. We show that the electron-momentum distributions exhibit interference maxima and minima due to electron emission at spatially separated centers. The interference patterns survive integration over the transverse momenta for a small range of alignment angles, and are sharpest for parallel-aligned molecules. Due to the contributions of the transverse-momentum components, these patterns become less defined as the alignment angle increases, until they disappear for perpendicular alignment. This behavior influences the shapes and the peaks of the electron-momentum distributions.