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     

关于合理确定集装箱码头装船顺序的算法

如何在给出箱区图和配载图的情况下,根据不同的装船方式,运用计算机程序确定合理的发箱和装箱顺序?本文主要依据实际数据,针对两种在码头实际装船作业中应用性较强的装船方式进行了研究,分别对其做了建立数学矩阵模型,制定合理算法,编写M ATLAB程序等工作,并论证了它们在实际操作中的可行性.本文的研究结果会在集装箱码头的实际装船作业中具有很强的应用性.     

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

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

Liquid–gas critical phenomena under confinement: small-angle neutron scattering studies of CO2 in aerogel

Small angle neutron scattering (SANS) is a well-established technique for investigating the behavior of confined binary liquid solutions, as it can probe the correlation length and susceptibility in pores on length scales 1 – 100 nm. We applied SANS to explore the influence of confinement on critical behavior of an individual fluid carbon dioxide (CO₂) in a highly porous aerogel. The results demonstrate that quenched disorder induced by aerogel significantly depresses density fluctuations. Despite the negligible volume occupied by aerogel (< 4%), the macroscopic phase separation of confined CO₂ into coexisting liquid and gaseous phases is suppressed and below the critical temperature of the bulk fluid frozen methastable microdomains are formed. Experimental data show that critical adsorption is as important as the effect of confinement in defining the behavior of confined fluids.     

FJZ-250型高速分幅相机时间测量不确定度分析

FJZ-250型高速转镜分幅相机因转镜速度的不可重复性，光机结构的构造原理和控制系统各路高压触发时间的漂移，导致了时间测量的不确定度。为此，须对相机测量数据进行校正。阐述了校正方法、提供了逐幅校正位置误差的修正系数。若以预置转速对应的名义周期值去处理测量结果，则相机的时间测量合成小确定度将达1％，对名义周期值和名义幅间间隔时间值进行修正后，则可降至0.3％。     

An Efficient Numerical Model for Planar Spiral Inductor On-Chip

In this paper, a very useful numerical technique has been developed for analyzing the transient characteristics of a planar-spiral inductor on-chip. A locally conformal technique and an alternating-direction implicit scheme are applied to the finite-difference time-domain method. A formulation for solving three dimensional Maxwell’s equations is proposed. Using the proposed method, various parameters of the planar-spiral inductors have been analyzed and an equivalent circuit, which includes frequency-independent circuit elements, has been introduced. Highly computational efficiency is implemented. Numerical results show excellent agreement with the measured data over a wide frequency range.     

一类混合型微分差分方程的周期解

利用Fenchel变换,我们推出一类微分差分方程存在周期解等价于某泛函具有临界点,并求出方程具有周期解的充分条件.     

富勒烯(C_(60)/C_(70))与N,N,N′,N′-四-(对甲苯基)-4,4′-二胺1,1′-二苯硒醚(TPDASe)间光诱导电子转移过程的激光光解研究

富勒烯 (C60 /C70 )与N ,N ,N′ ,N′ 四 (对甲苯基 ) 4,4′ 二胺 1,1′ 二苯硒醚 (TPDASe)间在激光光诱导条件下 ,发生了分子间的电子转移过程 .在可见 -近红外区 ( 60 0～ 12 0 0nm) ,观测到了TPDASe阳离子自由基、富勒烯 (C60 /C70 )激发三线态和阴离子自由基 ,在苯腈溶液中 ,观测瞬态谱测定了电子从TPDASe转移到富勒烯 (C60 /C70 )激发三线态的量子转化产率(ΦTet)和电子转移常数 (Ket) .     

Stability and Nonlinear Deformation of Cylindrical Grids

The general stability of single-layer cylindrical grids is studied in linear and nonlinear formulations. Dependence of the general buckling load on the geometry and stiffness parameters of a grid is established in an analytical form. Such grids are numerically analyzed for stability. It is established that the general buckling load is much less than the local buckling load. Typical general buckling modes are found. It is shown that such grids are weakly sensitive to imperfections