浅谈合情推理的教学

论述了合情推理与逻辑推理的关系、在高等数学教学中渗透合情推理的意义 ,并结合教学实践就通过合情推理引入数学理论 ,探求问题结论 ,探索解题方法作了初步探讨     

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.     

Two modifications of the least cost per period heuristic for dynamic lot-sizing

This paper proposes two constructive heuristics for the well-known single-level uncapacitated dynamic lot-sizing problem. The proposed heuristics, called net least period cost (nLPC) and nLPC(i), are developed by modifying the average period cost concept from Silver and Meal's heuristic, commonly known as least period cost (LPC). An improved tie-breaking stopping rule and a locally optimal decision rule are proposed in the second heuristic to enhance performance. We test the effectiveness of the proposed heuristics by using 20 benchmarking test problems frequently used in the literature. Furthermore, we perform a large-scale simulation study involving three factors, 50 experimental conditions, and 100?000 randomly generated problems to evaluate the proposed heuristics against LPC and six other well-known constructive heuristics in the literature. The simulation results show that both nLPC and nLPC(i) produce average holding and setup costs lower than or equal to those of LPC in every one of the 50 experimental conditions. The proposed heuristics also outperform each of the six other heuristics evaluated in all experimental conditions, without an increase in computational requirements. Lastly, considering that both nLPC and nLPC(i) are fairly simple for practitioners to understand and that lot-sizing heuristics have been commonly used in practice, there should be a very good chance for practical applications of the proposed heuristics.     

The application of a vehicle routing model to a waste-collection problem: two case studies

In this paper we suggest a unique model for estimating the operating cost of each of three waste-collection systems. Under the traditional system, which is widely used, waste is typically collected in plastic bags and a three-man crew is needed on each vehicle. The other two systems require a one-man crew for vehicle collecting street containers. The side-loader system with fixed body automatically empties street containers into the vehicle body and empties the load at the disposal site. The side-loader system with demountable body allows the separation of the waste collection phase from transport to the disposal site, since the vehicle body can be demounted. We also present two case studies and show how the estimation of operating costs is a critical issue in decisions regarding the type of system to be used for waste collection.     

The study and applications of photochemical-dynamical gravity wave model II

A nonlinear, compressible, non-isothermal gravity wave model that involves photochemistry is used to study the effects of gravity wave on atmospheric chemical species distributions in this paper. The changes in the distributions of oxygen compound and hydrogen compound density induced by gravity wave propagation are simulated. The results indicate that when a gravity wave propagates through a mesopause region, even if it does not break, it can influence the background distributions of chemical species. The effect of gravity wave on chemical species at night is larger than in daytime.     

Polyhedral <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">2</Emphasis></Subscript>

 Using elementary graded automorphisms of polytopal algebras (essentially the coordinate rings of projective toric varieties) polyhedral versions of the group of elementary matrices and the Steinberg and Milnor groups are defined. They coincide with the usual K-theoretic groups in the special case when the polytope is a unit simplex and can be thought of as compact/polytopal substitutes for the tame automorphism groups of polynomial algebras. Relative to the classical case, many new aspects have to be taken into account. We describe these groups explicitly when the underlying polytope is 2-dimensional. Already this low-dimensional case provides interesting classes of groups. Received: 13 December 2001 / Revised version: 24 June 2002 The second author was supported by the Deutsche Forschungsgemeinschaft, INTAS grant 99-00817 and TMR grant ERB FMRX CT-97-0107 Mathematics Subject Classification (2000): 14L27, 14M25, 19C09, 52B20     

Singularity conjecture and constructions of Jacobi forms

This paper verifies the singularity conjecture for Jacobi forms with higher degree in some typical cases, and gives constructions for the Jacobi cusp forms whose Fourier coefficients can be expressed by some kind of Rankin-typeL-series.     

Instability of quark matter core in a compact newborn neutron star with moderately strong magnetic field

It is explicitly shown that if phase transition occurs at the core of a newborn neutron star with moderately strong magnetic field strength, which populates only the electron’s Landau levels, then in the β -equilibrium condition, the quark core is energetically much more unstable than the neutron matter of identical physical condition.     

Quantum diffusion

Basic ideas and results which characterize quantum diffusion of defects in quantum crystals like solid helium as a new phenomenon are presented. Quantum effects in such media lead to a delocalization of point defects (vacancies, impurities etc.) and they turn into quasiparticles of a new type—defectons, which are characterized not by their position in the crystal lattice but by their quasimomentum and dispersion law. Defecton-defecton and defecton-phonon scattering are considered and an interpolation formula for the diffusion coefficient valid in all interesting temperature and concentration regions is presented. A comparison with the experimental data is made. Some alternative points of view are discussed in detail and the inconsistency of the Kisvarsanyi-Sullivan theory is shown.     

Representations of Positive Projections II

In this paper we obtain a number of Maharam-type slice integral representations, with respect to scalar measures, for positive projections in Dedekind complete vector lattices and f-algebras. AMS Classification: 47B65, 46A40, 06F25