Shape Hessian for generalized Oseen flow by differentiability of a minimax: A Lagrangian approach

The goal of this paper is to compute the shape Hessian for a generalized Oseen problem with nonhomogeneous Dirichlet boundary condition by the velocity method. The incompressibility will be treated by penalty approach. The structure of the shape gradient and shape Hessian with respect to the shape of the variable domain for a given cost functional are established by an application of the Lagrangian method with function space embedding technique. This work was supported by the National Natural Science Fund of China (No. 10371096) for ZM Gao and YC Ma.     

The unsatisfiability threshold revisited

The problem of determining the unsatisfiability threshold for random 3-SAT formulas consists in determining the clause to variable ratio that marks the experimentally observed abrupt change from almost surely satisfiable formulas to almost surely unsatisfiable. Up to now, there have been rigorously established increasingly better lower and upper bounds to the actual threshold value. In this paper, we consider the problem of bounding the threshold value from above using methods that, we believe, are of interest on their own right. More specifically, we show how the method of local maximum satisfying truth assignments can be combined with results for the occupancy problem in schemes of random allocation of balls into bins in order to achieve an upper bound for the unsatisfiability threshold less than 4.571. In order to obtain this value, we establish a bound on the q-binomial coefficients (a generalization of the binomial coefficients). No such bound was previously known, despite the extensive literature on q-binomial coefficients. Finally, to prove our result we had to establish certain relations among the conditional probabilities of an event in various probabilistic models for random formulas. It turned out that these relations were considerably harder to prove than the corresponding ones for unconditional probabilities, which were previously known.     

Semi-classical limit of the bottom of spectrum of a Schrödinger operator on a path space over a compact Riemannian manifold

We determine the limit of the bottom of spectrum of Schrödinger operators with variable coefficients on Wiener spaces and path spaces over finite-dimensional compact Riemannian manifolds in the semi-classical limit. These are extensions of the results in [S. Aida, Semiclassical limit of the lowest eigenvalue of a Schrödinger operator on a Wiener space, J. Funct. Anal. 203 (2) (2003) 401-424]. The problem on path spaces over Riemannian manifolds is considered as a problem on Wiener spaces by using Ito's map. However the coefficient operator is not a bounded linear operator and the dependence on the path is not continuous in the uniform convergence topology if the Riemannian curvature tensor on the underling manifold is not equal to 0. The difficulties are solved by using unitary transformations of the Schrödinger operators by approximate ground state functions and estimates in the rough path analysis.     

HL—1装置SiC涂层辐照实验的表面分析

本文应用表面分析技术研究HL-1装置中SiC涂层的等离子体辐照性能。结果表明,SiC材料应用于孔栏和壁涂层有利于减少杂质和提高等离子体品质。     

A density functional theory computational study of the role of ligand on the stability of CuI and CuII species associated with ATRP and SET‐LRP

Atom transfer radical polymerization (ATRP) and single electron‐transfer living radical polymerization (SET‐LRP) both utilize copper complexes of various oxidation states with N‐ligands to perform their respective activation and deactivation steps. Herein, we utilize DFT (B3YLP) methods to determine the preferred ligand‐binding geometries for Cu/N‐ligand complexes related to ATRP and SET‐LRP. We find that those ligands capable of achieving tetrahedral complexes with Cu^I and trigonal bipyramidal with axial halide complexes with [Cu^IIX]⁺ have higher energies of stabilization. We were able to correlate calculated preferential stabilization of [Cu^IIX]⁺ with those ligands that perform best in SET‐LRP. A crude calculation of energy of disproportionation revealed that the same preferential binding of [Cu^IIX]⁺ results in increased propensity for disproportionation. Finally, by examining the relative energies of the basic steps of ATRP and SET‐LRP, we were able to rationalize the transition from the ATRP mechanism to the SET‐LRP mechanism as we transition from typical nonpolar ATRP solvents to polar SET‐LRP solvents. © 2007 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 45: 4950–4964, 2007     

An integer goal programming model for hazardous waste treatment and disposal

The improper handling and disposal of hazardous wastes cause threats to human health and the environment. One reason for the improper handling and disposal of these wastes is that not much consideration is usually given to the logistical aspects of hazardous waste systems. In this paper an integer goal programming model is developed that takes into consideration the multiple goals and needs of many groups involved in managing and planning hazardous waste systems. The model can easily be implemented and can be used to address many of the issues related to facility location, recycling, treatment, and disposal of hazardous wastes.     

Thermal characterisation of micro-hotplates used in sensor structures

Micro-hotplates operated at elevated temperature form the basic element in several sensor devices, such as integrated calorimetric or Taguchi-type gas sensors and flow-rate sensors. In all of these applications thermal properties of the sensing elements play a determining role in functional operation, therefore, their accurate characterisation is essential. The micro-hotplates investigated were developed by one side porous silicon micro-machining technology, forming Pt micro-filaments embedded in non-stoichiometric silicon nitride, and suspended across a cavity. This work is dealing with the accurate temperature detection in the micro-scale by different measurement methods for the deduction of steady state and transient thermal properties from the results. Transient properties of the structure were investigated by application of a simplified thermal equivalent circuit model.     

田径径赛记录模型及其分析

文平，马振东．田径径赛记录模型及其分析．数理统计与管理，１９９８，１７（３），１６～２０．本文给出了世界和亚洲的田径径赛记录模型，从统计学的角度分析和说明了田径赛容易突破的项目，提出了田径理论中的一些新观点，最后对世界记录做了预测     

从结构电算谈设计概念

使用计算机进行结构设计虽然能大大减轻计算工作量，但不能取代人的设计概念，只有在设计人员具备较全面的设计概念；有一定设计经验；同时深入了解程度的情况下，才能确保工程设计的质量。