On the critical exponents of random k‐SAT

There has been much recent interest in the satisfiability of random Boolean formulas. A random k‐SAT formula is the conjunction of m random clauses, each of which is the disjunction of k literals (a variable or its negation). It is known that when the number of variables n is large, there is a sharp transition from satisfiability to unsatisfiability; in the case of 2‐SAT this happens when m/n → 1, for 3‐SAT the critical ratio is thought to be m/n ≈ 4.2. The sharpness of this transition is characterized by a critical exponent, sometimes called ν = ν_k (the smaller the value of ν the sharper the transition). Experiments have suggested that ν₃ = 1.5 ± 0.1. ν₄ = 1.25 ± 0.05, ν₅ = 1.1 ± 0.05, ν₆ = 1.05 ± 0.05, and heuristics have suggested that ν_k → 1 as k → ∞. We give here a simple proof that each of these exponents is at least 2 (provided the exponent is well defined). This result holds for each of the three standard ensembles of random k‐SAT formulas: m clauses selected uniformly at random without replacement, m clauses selected uniformly at random with replacement, and each clause selected with probability p independent of the other clauses. We also obtain similar results for q‐colorability and the appearance of a q‐core in a random graph. © 2002 Wiley Periodicals, Inc. Random Struct. Alg., 21: 182–195, 2002     

Lower Bounds from State Space Relaxations for Concave Cost Network Flow Problems

In this paper we obtain Lower Bounds (LBs) to concave cost network flow problems. The LBs are derived from state space relaxations of a dynamic programming formulation, which involve the use of non-injective mapping functions guaranteing a reduction on the cardinality of the state space. The general state space relaxation procedure is extended to address problems involving transitions that go across several stages, as is the case of network flow problems. Applications for these LBs include: estimation of the quality of heuristic solutions; local search methods that use information of the LB solution structure to find initial solutions to restart the search (Fontes et al., 2003, Networks, 41, 221–228); and branch-and-bound (BB) methods having as a bounding procedure a modified version of the LB algorithm developed here, (see Fontes et al., 2005a). These LBs are iteratively improved by penalizing, in a Lagrangian fashion, customers not exactly satisfied or by performing state space modifications. Both the penalties and the state space are updated by using the subgradient method. Additional constraints are developed to improve further the LBs by reducing the searchable space. The computational results provided show that very good bounds can be obtained for concave cost network flow problems, particularly for fixed-charge problems.     

Some degenerate and quasilinear parabolic systems not in divergence form

This paper deals with positive solutions of degenerate and quasilinear parabolic systems not in divergence form: u_t=u^p(Δu+av), v_t=v^q(Δv+bu), with null Dirichlet boundary conditions and positive initial conditions, where p, q, a and b are all positive constants. The local existence and uniqueness of classical solution are proved. Moreover, it will be proved that all solutions exist globally if and only if ab?λ₁², where λ₁ is the first eigenvalue of −Δ in Ω with homogeneous Dirichlet boundary condition.     

具连续时滞Liénard方程概周期解的存在唯一性

结合Liapunov泛函，研究了具连续时滞Lienard方程概周期解的存在唯一性和安全一致渐进稳定性。     

Hydrophobicity-induced drying transition in alkanethiol self-assembled monolayer—water interface

During the course of our investigation of the electron transfer properties of some redox species through highly hydrophobic long chain alkanethiol molecules on gold in aqueous and non-aqueous solvents, we obtained some intriguing results such as unusually low interfacial capacitance, very high values of impedance and film resistance, all of which pointed to the possible existence of a nanometer size interfacial gap between the hydrophobic monolayer and aqueous electrolyte. We explain this phenomenon by a model for the alkanethiol monolayer—aqueous electrolyte interface, in which the extremely hydrophobic alkanethiol film repels water molecules adjacent to it and in the process creates a shield between the monolayer film and water. This effectively increases the overall thickness of the dielectric layer that is manifested as an abnormally low value of interfacial capacitance. This behaviour is very much akin to the ‘drying transition’ proposed by Lum, Chandler and Weeks in their theory of length scale dependent hydrophobicity. For small hydrophobic units consisting of apolar solutes, the water molecules can reorganize around them without sacrificing their hydrogen bonds. Since for an extended hydrophobic unit, the existence of hydrogen bonded water structure close to it is geometrically unfavourable, there is a net depletion of water molecules in the vicinity leading to the possible creation of a hydrophobic interfacial gap.     

用于波分复用系统的多峰干涉滤光片

介绍了用于波分复用系统的多峰干涉滤光片的设计原理,提出了滤光片透射峰位置的确定方法,讨论了影响滤光片半宽度和截止度的因素,给出了滤光片的膜厚容差分析结果,表明透射率监控标准偏差在<0.5%范围内,可以得到波形良好的多峰滤光片,最后给出了实验结果.     

具有开发的非自治单种群生态系统研究

研究了具有开发的单种群非自治周期系统．利用非自治微分方程理论．以及变分法理论和泛函极值的Euler方程方法,得到了该开发系统的持续生存性．周期解存在性，全局渐近稳定性．研究了在开发情况下的最大收获量问题，以及取得最大经济效益下的收获问题等．     

双面加热环形通道内干涸点的确定

根据环形管通道内流体流动和换热的特点,以Kirillov和Smogalev提出的干涸点理论模型假设为基础,从最基本的质量守恒方程出发,并引入临界液膜厚度等相应的辅助模型,得到了双面加热环形通道内流动沸腾干涸点的理论模型。同时针对间隙为1.0mm和1.5mm的环形窄缝进行了低压低质量流速工况下干涸点的实验研究。比较发现理论模型预测值与实验结果基本相符。说明本文提出的理论模型适用于低压低流量条件下的窄环形通道。实验同时发现:环状流临界热流密度在系统压力为2.2MPa达到最大值,临界含汽量随质量流速的增大呈缓慢下降趋势。     

中立型脉冲微分方程正解的存在性

本文利用Banach压缩映射原理，讨论了中立型时滞脉冲微分方程正解的存在性。