All retraction operators on a complete lattice form a complete lattice

H. Crapo raised in 1982 the following problem: IfP is a complete lattice, is Retr (P) a complete lattice? here Retr (P) denotes the set of all retraction operators onP with the pointwise order, that is,f≤g in Retr (P) ifff(x)≤g(x) for everyx inP. An affirmative answer will be given in the present paper.     

共振下n维Lienard型方程的2π周期解

本文在跨共振点条件下证明n维Lienard型方程存在2π周期解.     

An approach combining the Ritz-Galerkin and finite difference methods

The nonconforming combination of Ritz-Galerkin and finite difference methods is presented for solving elliptic boundary value problems with singularities. The Ritz-Galerkin method is used in the subdomains including singularities, the finite difference method is used in the rest of the solution domain. Moreover, on the common boundary of two regions where two different methods are used, the continuity conditions are constrained only on the nodes of difference grids. Theoretical analysis and numerical experiments have shown that average errors of numerical solutions and their generalized derivatives can reach the convergence rate O(h^2-δ), where h is the mesh spacing of uniform difference grids, and δ is an arbitrarily small, positive number. This convergence rate is better than O(h), obtained by the nonconforming combination of the Ritz-Galerkin and finite element methods.     

Affine-scaling for linear programs with free variables

The affine-scaling modification of Karmarkar's algorithm is extended to solve problems with free variables. This extended primal algorithm is used to prove two important results. First the geometrically elegant feasibility algorithm proposed by Chandru and Kochar is the same algorithm as the one obtained by appending a single column of residuals to the constraint matrix. Second the dual algorithm as first described by Adler et al., is the same as the extended primal algorithm applied to the dual.     

大学物理课程网络辅助教学系统的构建与应用

本文介绍了上海交通大学大学物理课程网络辅助教学系统的设计思想、整体结构和主要的功能模块，概述了运用网络辅助教学系统实施“课堂教学＋网络辅助教学”：这种教学模式的应用情况．     

C2(×)Cn量子系统的最大纠缠混合态

讨论了C2(×)Cn量子系统的最大纠缠混合态,得到了Negativity纠缠度下的最大纠缠混合态的解析结果,并计算了该态在非满秩情形下的量子相对熵纠缠度.     

Piecewise-linearized methods for oscillators with limit cycles

A piecewise linearization method based on the linearization of nonlinear ordinary differential equations in small intervals, that provides piecewise analytical solutions in each interval and smooth solutions everywhere, is developed for the study of the limit cycles of smooth and non-smooth, conservative and non-conservative, nonlinear oscillators. It is shown that this method provides nonlinear maps for the displacement and velocity which depend on the previous values through the nonlinearity and its partial derivatives with respect to time, displacement and velocity, and yields non-standard finite difference formulae. It is also shown by means of five examples that the piecewise linearization method presented here is more robust and yields more accurate (in terms of displacement, energy and frequency) solutions than the harmonic balance procedure, the method of slowly varying amplitude and phase, and other non-standard finite difference equations.     

Automated proving and analysis of geometric theorems in coordinate-free form by using the anticommutative Gröbner basis method

Some geometric theorems can be stated in coordinate-free form as polynomials in Grassman algebra and can be proven by the anticommutative Gröbner basis method. In this article, we analyze some properties of both sets of hypotheses and conclusions of the theorem.     

Dependence of the H2-H2 Interaction on the Monomer Bond Lengths: Steps Toward an Accurate ab initio Estimate

We compute the vibrational coupling between two H₂ molecules from ab initio quantum chemical calculations of the H₂-H₂ potential carried out at the full configuration interaction level of theory using the atom-centered aug-cc-pVTZ basis set for hydrogen. We compare the full configuration interaction results with those obtained using two variants of coupled cluster theory and find that a fully iterative treatment of connected triples may be required to estimate the H₂-H₂ vibrational coupling accurately using coupled cluster theory.