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     

A Modified Quasi-Newton Method for Structured Optimization with Partial Information on the Hessian

This paper develops a modified quasi-Newton method for structured unconstrained optimization with partial information on the Hessian, based on a better approximation to the Hessian in current search direction. The new approximation is decided by both function values and gradients at the last two iterations unlike the original one which only uses the gradients at the last two iterations. The modified method owns local and superlinear convergence. Numerical experiments show that the proposed method is encouraging comparing with the methods proposed in [4] for structured unconstrained optimization Presented at the 6th International Conference on Optimization: Techniques and Applications, Ballarat, Australia, December 9–11, 2004     

Rate constants for the gas‐phase reaction of CF3CF2CF2CF2CF2CHF2 with OH radicals at 250–430 K

The rate constants k₁ for the reaction of CF₃CF₂CF₂CF₂CF₂CHF₂ with OH radicals were determined by using both absolute and relative rate methods. The absolute rate constants were measured at 250–430 K using the flash photolysis–laser‐induced fluorescence (FP‐LIF) technique and the laser photolysis–laser‐induced fluorescence (LP‐LIF) technique to monitor the OH radical concentration. The relative rate constants were measured at 253–328 K in an 11.5‐dm³ reaction chamber with either CHF₂Cl or CH₂FCF₃ as a reference compound. OH radicals were produced by UV photolysis of an O₃–H₂O–He mixture at an initial pressure of 200 Torr. Ozone was continuously introduced into the reaction chamber during the UV irradiation. The k₁ (298 K) values determined by the absolute method were (1.69 ± 0.07) × 10^?15 cm³ molecule^?1 s^?1 (FP‐LIF method) and (1.72 ± 0.07) × 10^?15 cm³ molecule^?1 s^?1 (LP‐LIF method), whereas the K₁ (298 K) values determined by the relative method were (1.87 ± 0.11) × 10^?15 cm³ molecule^?1 s^?1 (CHF₂Cl reference) and (2.12 ± 0.11) × 10^?15 cm³ molecule^?1 s^?1 (CH₂FCF₃ reference). These data are in agreement with each other within the estimated experimental uncertainties. The Arrhenius rate constant determined from the kinetic data was K₁ = (4.71 ± 0.94) × 10^?13 exp[?(1630 ± 80)/T] cm³ molecule^?1 s^?1. Using kinetic data for the reaction of tropospheric CH₃CCl₃ with OH radicals [k₁ (272 K) = 6.0 × 10^?15 cm³ molecule^?1 s^?1, tropospheric lifetime of CH₃CCl₃ = 6.0 years], we estimated the tropospheric lifetime of CF₃CF₂CF₂CF₂CF₂CHF₂ through reaction with OH radicals to be 31 years. © 2003 Wiley Periodicals, Inc. Int J Chem Kinet 36: 26–33, 2004     

Efficient microwave induced direct α-halogenation of carbonyl compounds

A novel and direct method for the synthesis of α-halocarbonyl compounds using sequential treatment of carbonyl compounds with [hydroxy(tosyloxy)iodo]benzene followed by magnesium halides under solvent-free microwave irradiation conditions is described.     

The auction algorithm for the transportation problem

The auction algorithm is a parallel relaxation method for solving the classical assignment problem. It resembles a competitive bidding process whereby unassigned persons bid simultaneously for objects, thereby raising their prices. Once all bids are in, objects are awarded to the highest bidder. This paper generalizes the auction algorithm to solve linear transportation problems. The idea is to convert the transportation problem into an assignment problem, and then to modify the auction algorithm to exploit the special structure of this problem. Computational results show that this modified version of the auction algorithm is very efficient for certain types of transportation problems.     

The semi‐iterative method applied to the hyper‐power iteration

The semi‐iterative method (SIM) is applied to the hyper‐power (HP) iteration, and necessary and sufficient conditions are given for the convergence of the semi‐iterative–hyper‐power (SIM–HP) iteration. The root convergence rate is computed for both the HP and SIM–HP methods, and the quotient convergence rate is given for the HP iteration. Copyright © 2005 John Wiley & Sons, Ltd.     

加权二次有理Bézier插值曲线

在本文中,给定一组有序空间数据点列及每个数据点的切矢向量,利用加权二次有理Bézier曲线对数据点作插值曲线,使该曲线具有C1连续性,并且权因子只是对相应顶点曲线附近产生影响,同调整两个相邻的权因子可以调整这两个相邻顶点之间的曲线和它的控制多边形.     

A representation of acoustic waves in unbounded domains

Compact, time‐harmonic, acoustic sources produce waves that decay too slowly to be square‐integrable on a line away from the sources. We introduce an inner product, arising directly from Green's second theorem, to form a Hilbert space of these waves and present examples of its computation.¹ © 2005 Wiley Periodicals, Inc.     

The Design for Automation of Pellet-Forming Process in HL-2A Pellet Fueling System

In the ever fusion experiments in SWIP, pellet forming process was carried out through adjusting relative devices by staff member in site, which will make every pellet-forming process slight distinction and will result in pellet difference in shape, size and intensity. In the intervals of HL-2A discharges, staff member have to go site to accomplish the pellet-forming process, this wastes human power and increase the potential danger. So it is necessary to develop a remote control system to perform the pellet-forming process. The control system needs have the features of real-time, reliability and be easy to operate and maintain.