On the Finite Base Property for Semigroup Varieties

No algorithm determines from an arbitrary recursive system of semigroup identities whether the variety defined by this system is finitely based.     

环上矩阵的广义Moore-Penrose逆

本文给出带有对合的有1的结合环上一类矩阵的广义Moore-Penrose逆存在的充要条件，而这类矩阵概括了左右主理想整环，单Artin环上所有矩阵。     

Interfacial dynamics‐based modelling of turbulent cavitating flows,Part‐2: Time‐dependent computations

The interfacial dynamics‐based cavitation model, developed in Part‐1, is further employed for unsteady flow computations. The pressure‐based operator‐splitting algorithm (PISO) is extended to handle the time‐dependent cavitating flows with particular focus on the coupling of the cavitation and turbulence models, and the large density ratio associated with cavitation. Furthermore, the compressibility effect is important for unsteady cavitating flows because in a water–vapour mixture, depending on the composition, the speed of sound inside the cavity can vary by an order of magnitude. The implications of the issue of the speed of the sound are assessed with alternative modelling approaches. Depending on the geometric confinement of the nozzle, compressibility model and cavitation numbers, either auto‐oscillation or quasi‐steady behaviour is observed. The adverse pressure gradient in the closure region is stronger at the maximum cavity size. One can also observe that the mass transfer process contributes to the cavitation dynamics. Compared to the steady flow computations, the velocity and vapour volume fraction distributions within the cavity are noticeably improved with time‐dependent computations. Copyright © 2004 John Wiley & Sons, Ltd.     

Damage and fracture evaluation of granular composite materials by digital image correlation method

This paper presents the applications of digital image correlation technique to the mesoscopic damage and fracture study of some granular based composite materials including steelfiber reinforced concrete, sandstone and crystal-polymer composite. The deformation fields of the composite materials resulted from stress localization were obtained by the correlation computation of the surface images with loading steps and thus the related damage prediction and fracture parameters were evaluated. The correlation searching could be performed either directly based on the gray levels of the digital images or from the wavelet transform (WT) coefficients of the transform spectrum. The latter was developed by the authors and showed higher resolution and sensitivity to the singularity detection. Because the displacement components came from the rough surfaces of the composite materials without any coats of gratings or fringes of optical interferometry, both surface profiles and the deformation fields of the composites were visualized which was helpful to compare each other to analyze the damage of those heterogeneous materials. The project supported by the National Natural Science Foundation of China (10125211 and 10072002), the Scientific Committee of Yunnan Province for the Program of Steel Fiber Reinforced Concrete, and the Institute of Chemical Materials, CAEP at Mianyang     

数学建模与素质教育

面对二十一世纪知识经济的挑战 ,我国高等教育模式应由应试教育 ,专业教育向素质教育转变 ,培养学生自主意识 ,效率意识 ,竞争意识 ,创新意识和民主意识 ,即高校教育应重视大学生的创新能力、实践能力和创业精神 ,普遍提高大学生的人文素质和科学素质 .本文拟就提高大学生素质的有效层面 ,对开展数学建模教学与实践进行深入分析 ,以窥探数学建模与素质教育之关系 .在深入把握数学建模教学与实践内涵的同时 ,分析得出这种以不打扰现行正常秩序的教育是提高大学生素质的有效途径之一     

All Subvarieties of ℒpq Have Finite Bases of Identities

We consider the varieties of lattice ordered groups with the identity of commutation of the nth powers of elements. We establish that every such l-variety with n=pq, where p and q are distinct prime numbers, has a finite basis of identities.     

Microchemical Investigation of Archaeological Copper Based Artefacts Disclosing an Ancient Witness of the Transition from the Value of the Substance to the Value of the Appearance

In many Italian archaeological sites dated between the sixth and third centuries BC, unworked lumps of Cu-based materials are sometimes found, the so called Aes Rude, which according to archaeological considerations were appreciated as currency, as a medium of exchange and as a form of saving. The microchemical investigation of these ancient artefacts discloses their nature as apparently not usable for any functional applications or possible use. Indeed, Aes Rude resemble ordinary copper material, but microchemical results indicate that they are constituted by highly ferruginous leaded copper, making them useless for producing other metal objects by means of casting or hot and cold working. Notwithstanding this intrinsic negative feature, the production of these intractable Cu-based alloys was deliberately carried out to maximise the process yield in terms of produced metal from an impure and unselected metal ore by tailoring the smelting process parameters. With these considerations in mind, the microchemical investigation of these ancient iron–copper alloys gives evidence of the passage from the acceptance of an artefact value based on its true nature or potential use to the acceptance of the value based only on its appearance or form irrespective of its present or future use. This information could contribute to a better understanding of the evolution of human thought and economic and social interactions.     

New Results on the Queens_n 2 Graph Coloring Problem

For the Queens_n ² graph coloring problems no chromatic numbers are available for n > 9 except where n is not a multiple of 2 or 3. In this paper we propose an exact algorithm that takes advantage of the particular structure of these graphs. The algorithm works on the independent sets of the graph rather than on the vertices to be colored. It combines branch and bound, for independent set assignment, with a clique based filtering procedure. A first experimentation of this approach provided the coloring number values ranging for n = 10 to n = 14.     

Simultaneous Pseudo-Timestepping for PDE-Model Based Optimization Problems

In this paper we present a new method for the solution of optimization problems with PDE constraints. It is based on simultaneous pseudo-time stepping for evolution equations. The new method can be viewed as a continuous reduced SQP method in the sense that it uses a preconditioner derived from that method. The reduced Hessian in the preconditioner is approximated by a pseudo-differential operator, whose symbol can be investigated analytically. We apply our method to a boundary control model problem. The new optimization method needs 3.2-times the overall computational effort of the solution of simulation problem alone.     

Design,synthesis, and characterization of main‐chain,aromatic polyesters based on 3,4‐ethylenedioxythiophene

A series of new thermoplastic polyesters based on 3,4‐ethylenedioxythiophene (EDOT) with flexible aliphatic spacers have been synthesized and characterized for the first time. The thermal properties of these polyesters based on EDOT are comparable to those of conventional polyesters based on the 1,4‐phenyl unit, indicating that EDOT is a viable replacement for the phenyl units. The glass‐transition and melting‐transition temperatures decrease monotonically with an increase in the spacer length. Theoretical calculations have revealed that the core angle for EDOT is comparable to that of unsubstituted thiophene and hence should be compatible with the formation of the mesophase. This has been confirmed experimentally by the synthesis of a main‐chain, thermotropic, liquid‐crystalline polyester based on EDOT that exhibits fluid birefringence. In fact, this is the first report in which a main‐chain, liquid‐crystalline polymer based on 3,4‐disubstituted thiophene has been successfully designed and synthesized. © 2006 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 44: 3479–3486, 2006