Stirling渐进公式的一个新的构造证明

本文用简易的分析工具，对ｎ！给出了一个精确等式，从而导出Ｓｔｉｒｌｉｎｇ渐近公式（２）的一个新的简短证明.     

A high-current electron beam ion trap as an on-line charge breeder for the high precision mass measurement TITAN experiment

The precision of atomic mass measurements in a Penning trap is directly proportional to the charge state q of the ion and, hence, can be increased by using highly charged ions (HCI). For this reason, charge breeding with an electron beam ion trap (EBIT) is employed at TRIUMF’s Ion Trap for Atomic and Nuclear science (TITAN) on-line facility in Vancouver, Canada. By bombarding the injected and trapped singly charged ions with an intense beam of electrons, the charge state of the ions is rapidly increased inside the EBIT. To be compatible with the on-line requirements of short-lived isotopes, very high electron beam current densities are needed. The TITAN EBIT includes a 6 Tesla superconducting magnet and is designed to have electron beam currents and energies of up to 5 A and 60 keV, respectively. Once operational at full capacity, most species can be bred into a He-like configuration within tens of ms. Subsequently, the HCI are extracted, pass a Wien filter to reduce isobaric contamination, are cooled, and injected into a precision Penning trap for mass measurement. We will present the first results and current status of the TITAN EBIT, which has recently been moved to TRIUMF after assembly and commissioning at the Max-Planck-Institute (MPI) for Nuclear Physics in Heidelberg, Germany.     

Liquid chromatographic-mass spectrometric studies on rifamycin antibiotics

The use of a direct liquid introduction type liquid chromatographic-mass spectrometric interface to study highly thermally labile rifamycin antibiotics is described. Using negative ionization, abundant molecular ions were observed, and the spectra, also contained structurally significant fragments. Variation of the high-performance liquid chromatographic parameters did not change the spectra, thus making it easy to change chromatographic conditions. In quantitative studies, a surprising correlation was found, indicating that the mass spectrometric signal was proportional to the square of the sample concentration.     

Discontinuity in decision-making when objectives conflict: a military command decision case study

In previous work, we considered the representation of human decision-making processes in closed-form simulation models of conflict. An important element of this representation is the rapid planning process that embodies the processing of information for situation assessment to support a course of action decision (eg in a military headquarters). The application of this work is in support of operational analysis models for defence procurement and balance of investment. This paper describes the application of non-linear multi-attribute utility theory in conflict scenarios in order to extend the representation of the rapid planning process to account for a wider set of subjective attributes of the decision-maker. The results show, through examination of experimental data, that decision-making can be modelled through a particular class of utility functions. These utilities embody a geometry which allows us to classify the types of decision being made when there are conflicting objectives and when decision-makers adopt very different and subjective appraisals of constraints and beliefs in outcome. The experimental results help to demonstrate that the subjective nature of the situation assessment, and the personality, training, experience and history of the decision-maker are central to the functional representations. This paper presents a way to capture this deeper representation of human decision-making in a way that is potentially useful for quantitative modelling using the rapid planning process as a basis.     

Achievements in the field of proton-conductive portion electrolyte membranes

The 2000–2006 achievements in the field of synthesis, property examination, and application of proton-exchange membranes are reviewed on the basis of more than 120 papers.     

Discovery and frequency measurement of short-wavelength far-infrared laser emissions from optically pumped <Superscript>13</Superscript>CD<Subscript>3</Subscript>OH and CHD<Subscript>2</Subscript>OH

A three-laser heterodyne system was used to measure the frequencies of twelve previously observed far-infrared laser emissions from the partially deuterated methanol isotopologues ¹³CD₃OH and CHD₂OH. Two laser emissions, a 53.773 μm line from ¹³CD₃OH and a 74.939 μm line from CHD₂OH, have also been discovered and frequency measured. The CO₂ pump laser offset frequency was measured with respect to its center frequency for twenty-four FIR laser emissions from CH₃OH, ¹³CD₃OH and CHD₂OH. PACS 07.57.Hm; 42.55.Lt; 42.62.Eh     

Oil Migration in Chocolate

Oil migration in filled chocolates limits shelf life due to texture changes and loss of visual appeal. Spatial and temporal oil concentration changes of a two-layer chocolate and peanut butter filling system, which models a filled chocolate, were monitored by magnetic resonance imaging. Formulations of chocolate varied with respect to particle size, milk fat content and emulsifier level. Sorption-time experimental data was used to establish the best fit diffusion coefficient for a Fickian diffusion model. On the basis of the comparison of spatial experimental data to the model, Fickian diffusion alone does not account for oil migration. Authors' address: Michael J. McCarthy, Department of Food Science and Technology, University of California, One Shields Avenue, Davis, CA 95616, USA     

Towards Strong Duality in Integer Programming

We consider in this paper the Lagrangian dual method for solving general integer programming. New properties of Lagrangian duality are derived by a means of perturbation analysis. In particular, a necessary and sufficient condition for a primal optimal solution to be generated by the Lagrangian relaxation is obtained. The solution properties of Lagrangian relaxation problem are studied systematically. To overcome the difficulties caused by duality gap between the primal problem and the dual problem, we introduce an equivalent reformulation for the primal problem via applying a pth power to the constraints. We prove that this reformulation possesses an asymptotic strong duality property. Primal feasibility and primal optimality of the Lagrangian relaxation problems can be achieved in this reformulation when the parameter p is larger than a threshold value, thus ensuring the existence of an optimal primal-dual pair. We further show that duality gap for this partial pth power reformulation is a strictly decreasing function of p in the case of a single constraint. Dedicated to Professor Alex Rubinov on the occasion of his 65th birthday. Research supported by the Research Grants Council of Hong Kong under Grant CUHK 4214/01E, and the National Natural Science Foundation of China under Grants 79970107 and 10571116.     

Theory of Non-Equilibrium Stationary States as a Theory of Resonances

We study a small quantum system (e.g., a simplified model for an atom or molecule) interacting with two bosonic or fermionic reservoirs (say, photon or phonon fields). We show that the combined system has a family of stationary states parametrized by two numbers, T ₁ and T ₂ (‘reservoir temperatures’). If T ₁ ≠ T ₂, then these states are non-equilibrium stationary states (NESS). In the latter case we show that they have nonvanishing heat fluxes and positive entropy production and are dynamically asymptotically stable. The latter means that the evolution with an initial condition, normal with respect to any state where the reservoirs are in equilibria at temperatures T ₁ and T ₂, converges to the corresponding NESS. Our results are valid for the temperatures satisfying the bound min (T ₁,T ₂) > g ^{2 + α}, where g is the coupling constant and 0 < α < 1 is a power related to the infra-red behaviour of the coupling functions. Submitted: March 20, 2006. Revised: March 19, 2007. Accepted: May 11, 2007. Marco Merkli: Partly supported by an NSERC PDF, the Institute of Theoretical Physics of ETH Zürich, Switzerland, the Departments of Mathematics of McGill University and the University of Toronto, Canada. Matthias Mück: Supported by DAAD under grant HSP III. Israel Michael Sigal: Supported by NSERC under grant NA7901.