Poincaré duality in P.A. Smith theory

Let , or more generally be a finite -group, where is an odd prime. If acts on a space whose cohomology ring fulfills Poincaré duality (with appropriate coefficients ), we prove a mod congruence between the total Betti number of and a number which depends only on the -module structure of . This improves the well known mod congruences that hold for actions on general spaces.

     

Homological methods in algebraic map theory

The primary intent of the present paper is to adapt familiar notions of algebraic topology, such as the fundamental group, homology, and cohomology to the context of algebraic maps and their (ramified) covering projections. The notion of a principal derived map is already fairly well understood in terms of the defining voltages; however, once it is recognized that voltages are essentially cohomological in nature, the functorial interplay among homology provides a very tractible methodology for studying such properties as connectivity or regularity of the covering, or for obtaining explicit constructions of the voltages affording the given covering map.     

The μSR facilities at PSI

TheSR Facility Instruments presently available at PSI and the envisaged medium- and long-term developments are presented. The plans focus on further upgrades of the existing instruments and the development of new techniques using the very high fluxes becoming available at PSI, in particular the setup of a beamline with a fast kicker for muons on request (MORE) and the development of very low energy muon beams.     

A Hybrid Approach to Scheduling with Earliness and Tardiness Costs

A hybrid technique using constraint programming and linear programming is applied to the problem of scheduling with earliness and tardiness costs. The linear model maintains a set of relaxed optimal start times which are used to guide the constraint programming search heuristic. In addition, the constraint programming problem model employs the strong constraint propagation techniques responsible for many of the advances in constraint programming for scheduling in the past few years. Empirical results validate our approach and show, in particular, that creating and solving a subproblem containing only the activities with direct impact on the cost function and then using this solution in the main search, significantly increases the number of problems that can be solved to optimality while significantly decreasing the search time.     

Existence and convergence for quasi‐static evolution in brittle fracture

This paper investigates the mathematical well‐posedness of the variational model of quasi‐static growth for a brittle crack proposed by Francfort and Marigo in [15]. The starting point is a time discretized version of that evolution which results in a sequence of minimization problems of Mumford and Shah type functionals. The natural weak setting is that of special functions of bounded variation, and the main difficulty in showing existence of the time‐continuous quasi‐static growth is to pass to the limit as the time‐discretization step tends to 0. This is performed with the help of a jump transfer theorem which permits, under weak convergence assumptions for a sequence {u_n} of SBV‐functions to its BV‐limit u, to transfer the part of the jump set of any test field that lies in the jump set of u onto that of the converging sequence {u_n}. In particular, it is shown that the notion of minimizer of a Mumford and Shah type functional for its own jump set is stable under weak convergence assumptions. Furthermore, our analysis justifies numerical methods used for computing the time‐continuous quasi‐static evolution. © 2003 Wiley Periodicals, Inc.     

Sparse Multicategory Generalized Distance Weighted Discrimination in Ultra-High Dimensions

Distance weighted discrimination (DWD) is an appealing classification method that is capable of overcoming data piling problems in high-dimensional settings. Especially when various sparsity structures are assumed in these settings, variable selection in multicategory classification poses great challenges. In this paper, we propose a multicategory generalized DWD (MgDWD) method that maintains intrinsic variable group structures during selection using a sparse group lasso penalty. Theoretically, we derive minimizer uniqueness for the penalized MgDWD loss function and consistency properties for the proposed classifier. We further develop an efficient algorithm based on the proximal operator to solve the optimization problem. The performance of MgDWD is evaluated using finite sample simulations and miRNA data from an HIV study.     

Rapid and facile detection of four date rape drugs in different beverages utilizing proton transfer reaction mass spectrometry (PTR-MS)

In this work, we illustrate the application of proton transfer reaction mass spectrometry (PTR-MS) in the field of food and drink safety. We present proof-of-principle measurements of four different drinks (water, tea, red wine and white wine) each spiked separately with four different date rape drugs (chloral hydrate, tricholorethanol, γ-butyrolactone and butanediol). At first, the ideal PTR-MS operating conditions (reduced electric field strength and monitoring the most abundant [fragment] ion) for detection of the drugs were determined utilizing a time-of-flight-based PTR-MS instrument. We then dissolved small quantities of the drugs (below the activation threshold for effects on humans) into the various types of drinks and detected them using a quadrupole-based PTR-MS instrument via two different sampling methods: (1) dynamic headspace sampling and (2) direct liquid injection. Both methods have their advantages and drawbacks. Only with dynamic headspace sampling can rape drug contaminations be detected within a timeframe of seconds, and therefore, this method is the most promising use of PTR-MS as a fast, sensitive and selective monitor for the detection of food and drink contamination. Copyright ? 2012 John Wiley & Sons, Ltd.     

核态沸腾中汽泡动力学及传热机理分析

汽泡的传热及生长特性研究对于揭示核态沸腾的机理具有重要作用。本文介绍了利用高速摄像技术对核态沸腾中汽泡生长及运动现象进行实验观测,并用高速数据采集系统记录汽泡一个生长周期不同阶段的热流密度的方法。在不同的过冷度及壁面温度条件下,观测了汽泡的生长、周期性滑移、颈化和脱离现象。计算并绘制出不同条件下一个汽泡生长周期内的热流密度曲线,与汽泡图片相对应,分析并讨论了造成这些现象的机理。