Molecular dynamics simulation of processing using AFM pin tool

A three-dimensional molecular dynamics (MD) model is utilized to investigate the effect of tool geometry on the deformation process of the workpiece and the nature of deformation process at the atomic-scale. Results show that different states exist between the atomic force microscope (AFM) pin tool and the workpiece surface, i.e. the non-wear state, the ploughing state, the state in which ploughing is dominant and the state in which cutting plays a key role. A relationship between the deformation process of the workpiece and the potential energy variation is presented. The potential energy variation of atoms in different deformed regions in the workpiece such as plastically deformed region, elastically deformed region and the mixed deformation region is different. The features of variations of potential energy are discussed.     

Primal cutting plane algorithms revisited

Dual fractional cutting plane algorithms, in which cutting planes are used to iteratively tighten a linear relaxation of an integer program, are well-known and form the basis of the highly successful branch-and-cut method. It is rather less well-known that various primal cutting plane algorithms were developed in the 1960s, for example by Young. In a primal algorithm, the main role of the cutting planes is to enable a feasible solution to the original problem to be improved. Research on these algorithms has been almost non-existent.  In this paper we argue for a re-examination of these primal methods. We describe a new primal algorithm for pure 0-1 problems based on strong valid inequalities and give some encouraging computational results. Possible extensions to the case of general mixed-integer programs are also discussed.     

Generalized Longo–Rehren Subfactors and α-Induction

We study the recent construction of subfactors by Rehren which generalizes the Longo–Rehren subfactors. We prove that if we apply this construction to a non-degenerately braided subfactor N⊂M and α^±-induction, then the resulting subfactor is dual to the Longo–Rehren subfactor M⊗M ^opp⊂R arising from the entire system of irreducible endomorphisms of M resulting from α^plusmn;-induction. As a corollary, we solve a problem on existence of braiding raised by Rehren negatively. Furthermore, we generalize our previous study with Longo and Müger on multi-interval subfactors arising from a completely rational conformal net of factors on S ¹ to a net of subfactors and show that the (generalized) Longo–Rehren subfactors and α-induction naturally appear in this context. Received: 11 September 2001 / Accepted: 7 October 2001     

Complete ideals and singularities of space curves

We consider complete ideals supported on finite sequences of infinitely near points, in regular local rings with dimensions greater than two. We study properties of factorizations in Lipman special *-simple complete ideals. We relate it to a type of proximity, linear proximity, of the points, and give conditions in order to have unique factorization. Several examples are presented. Received: 2 February 2000 / in final form: 14 March 2001 / Published online: 18 January 2002     

Canonical Modules of Semigroup Rings and a Conjecture of Reiner

We prove that the homotopy types of two naturally defined simplicial complexes are related in the following way: one is homotopy equivalent to a multiple suspension of the canonical Alexander dual of the other. These simplicial complexes arise in free resolutions of semigroup rings and modules. The relation between their homotopy types was conjectured by Reiner, and was suggested by a homological consequence of a result due independently to Danilov and Stanley on canonical modules of normal semigroup rings. Our proof is purely topological, and gives an alternative proof of their result. We also prove a generalization of a result of Hochster saying that these rings are Cohen—Macaulay, and indicate a new proof of Ehrhart's reciprocity law for rational polytopes. Received October 3, 2000, and in revised form April 2, 2001, and May 10, 2001. Online publication November 7, 2001.     

On a bifurcation governed by hysteresis nonlinearity

We consider autonomous systems with a nonlinear part depending on a parameter and study Hopf bifurcations at infinity. The nonlinear part consists of the nonlinear functional term and the Prandtl--Ishlinskii hysteresis term. The linear part of the system has a special form such that the close-loop system can be considered as a hysteresis perturbation of a quasilinear Hamiltonian system. The Hamiltonian system has a continuum of arbitrarily large cycles for each value of the parameter. We present sufficient conditions for the existence of bifurcation points for the non-Hamiltonian system with hysteresis. These bifurcation points are determined by simple characteristics of the hysteresis nonlinearity.     

CMS physics overview

The principal physics goals of the Compact Muon Solenoid experiment under construction at the Large Hadron Collider at CERN in Geneva are reviewed. Procedures to search for the Standard Model Higgs boson, supersymmetric Higgses and other supersymmetric particles are described.