Diffuse mode bifurcation of soil causing convection-like shear investigated by group-theoretic image analysis

Diffuse mode bifurcation of soil under plane-strain compression test is shown, by means of an image analysis based on group-theoretic bifurcation theory, to trigger convection-like shear and to precede shear band formation. First digital photos of Toyoura sand specimens are processed by PIV (particle image velocimetry) to gather digitized images of deformation. Next bifurcation from a uniform state is detected by expanding these images into the double Fourier series and finding a predominant harmonic diffuse bifurcation mode based on that theory. This harmonic bifurcation mode, which is the mixture of a few harmonic functions, expresses complex convection-like shear. Last bifurcation from a non-uniform state is detected by decomposing each image into a few images with different symmetries to extract non-harmonic diffuse bifurcation modes. Diffuse modes of bifurcation, which hitherto were hidden behind predominant uniform compressive deformation, have thus been made transparent by virtue of the group-theoretic image analysis proposed. A possible course of deformation suggested herein is the evolution of diffuse mode bifurcation with a convection-like bifurcation mode breaking uniformity and symmetry, followed by the formation of shear bands through localization.     

A class of fractional-order multi-scale variational models and alternating projection algorithm for image denoising

The total variation model proposed by Rudin, Osher and Fatemi performs very well for removing noise while preserving edges. However, it favors a piecewise constant solution in BV space which often leads to the staircase effect, and small details such as textures are often filtered out with noise in the process of denoising. To preserve the textures and eliminate the staircase effect, we improve the total variation model in this paper. This is accomplished by the following steps: (1) we define a new space of functions of fractional-order bounded variation called the BV_α space by using the Grünwald–Letnikov definition of fractional-order derivative; (2) we model the structure of the image as a function belonging to the BV_α space, and the textures in different scales as functions belonging to different negative Sobolev spaces. Thus, we propose a class of fractional-order multi-scale variational models for image denoising. (3) We analyze some properties of the fraction-order total variation operator and its conjugate operator. By using these properties, we develop an alternation projection algorithm for the new model and propose an efficient condition of the convergence of the algorithm. The numerical results show that the fractional-order multi-scale variational model can improve the peak signal to noise ratio of image, preserve textures and eliminate the staircase effect efficiently in the process of denoising.     

Separation of sets and Wolfe duality

Lagrangian duality can be derived from separation in the Image Space, namely the space where the images of the objective and constraining functions of the given extremum problem run. By exploiting such a result, we analyse the relationships between Wolfe and Mond-Weir duality and prove their equivalence in the Image Space under suitable generalized convexity assumptions.      

Approximation by Nonlinear Multivariate Sampling Kantorovich Type Operators and Applications to Image Processing

In this article, we study a nonlinear version of the sampling Kantorovich type operators in a multivariate setting and we show applications to image processing. By means of the above operators, we are able to reconstruct continuous and uniformly continuous signals/images (functions). Moreover, we study the modular convergence of these operators in the setting of Orlicz spaces L ^?(? ⁿ ) that allows us to deal the case of not necessarily continuous signals/images. The convergence theorems in L ^p (? ⁿ )-spaces, L ^αlog ^β L(? ⁿ )-spaces and exponential spaces follow as particular cases. Several graphical representations, for the various examples and image processing applications are included.     

Defining belief functions using mathematical morphology – Application to image fusion under imprecision

We address in this paper the problem of defining belief functions, typically for multi-source classification applications in image processing. We propose to use mathematical morphology for introducing imprecision in the mass and belief functions while estimating disjunctions of hypotheses. The basic idea relies on the similarity between some properties of morphological operators and properties of belief functions. The framework of mathematical morphology guarantees that the derived functions have all required properties. We illustrate the proposed approach on synthetic and real images.     

3-D mesh sequence compression using wavelet-based multi-resolution analysis

In this paper, we present two compression methods for irregular three-dimensional (3-D) mesh sequences with constant connectivity. The proposed methods mainly use an exact integer spatial wavelet analysis (SWA) technique to efficiently decorrelate the spatial coherence of each mesh frame and also to adaptively transmit mesh frames with various spatial resolutions. To reduce the temporal redundancy, the first proposed method applies multi-order differential coding (MDC) to the temporal sequences obtained from SWA. MDC determines the optimal order of the differential coder by analyzing the variance of prediction errors. Comparing with the first order differential coding (FDC) scheme, the method can improve the compression performance. The second proposed method applies temporal wavelet analysis (TWA) to the temporal sequences. In particular, this method offers spatio-temporal multi-resolution coding. Through simulations, we prove that our methods enable efficient lossy-to-lossless compression for 3-D mesh sequences in a single frame work.     

Closed-form solutions for a mode III radial matrix crack penetrating a circular inhomogeneity

In this research we address in detail a mode III radial matrix crack penetrating a circular inhomogeneity. One tip of the radial crack lies in the matrix, while the other tip of the radial crack lies in the circular inhomogeneity. In addition the two tips of the crack are mutually image points (or inverse points) with respect to the circular inhomogeneity-matrix interface. First we conformally map the crack onto a unit circle C_a in the new ζ-plane. Meanwhile the inhomogeneity-matrix interface is mapped onto C_b, a part of another circle in the ζ-plane. In addition C_a and C_b intersect at a vertex angle π/2. By using the method of image in the ζ-plane, closed-form solutions in terms of elementary functions are derived for three loading cases: (1) remote uniform antiplane shearing; (2) a screw dislocation located in the unbounded matrix; and (3) a radial Zener–Stroh crack.     

基于微分算子的边缘检测法在基因芯片图像识别中的应用

一种基于梯度算子和拉普拉斯算子检测医学基因芯片荧光数字图像边缘的方法．数字图像经过图像增强等预处理以后，突出了我们感兴趣的数字图像特征，根据数字图像灰度变化的趋势，用灰度变化的一阶导数(梯度算子)检测图象中的边缘区域；用灰度变化的二阶导数确定图像边缘的中心位置．最后根据某些预定的准则把满足这些准则的象素组成一条边缘．     

Variables separated equations: Strikingly different roles for the Branch Cycle Lemma and the finite simple group classification

Davenport’s Problem asks:What can we expect of two polynomials,over Z,with the same ranges on almost all residue class fields? This stood out among many separated variable problems posed by Davenport,Lewis and Schinzel.By bounding the degrees,but expanding the maps and variables in Davenport’s Problem,Galois stratification enhanced the separated variable theme,solving an Ax and Kochen problem from their Artin Conjecture work.Denef and Loeser applied this to add Chow motive coefficients to previously introduced zeta functions on a diophantine statement.By restricting the variables,but leaving the degrees unbounded,we found the striking distinction between Davenport’s problem over Q,solved by applying the Branch Cycle Lemma,and its generalization over any number field,solved by using the simple group classification.This encouraged Thompson to formulate the genus 0 problem on rational function monodromy groups.Guralnick and Thompson led its solution in stages.We look at two developments since the solution of Davenport’s problem.Stemming from MacCluer’s 1967 thesis,identifying a general class of problems,including Davenport’s,as monodromy precise.R(iemann)E(xistence)T(heorem)’s role as a converse to problems generalizing Davenport’s,and Schinzel’s (on reducibility).We use these to consider:Going beyond the simple group classification to handle imprimitive groups,and what is the role of covers and correspondences in going from algebraic equations to zeta functions with Chow motive coefficients.