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     

长距离管线监测系统的一种智能化过流防护方法

介绍了长距离管线监测系统的一种智能化过流防护方法，详细说明其电路设计原理及相关元件的选择，并与串联自复过流保护元件方式相比较，分析其整体性能，说明其具有响应速度快，安全可靠等特点。     

Existence and Uniqueness of Endemic States for the Age-structured MSEIR Epidemic Model

The existence and uniqueness of positive steady states for the age-structured MSEIR epidemic model with age-dependent transmission coefficient is considered. Threshold results for the existence of endemic states are established; under certain conditions, uniqueness is also shown.     

A covering construction for packing disjoint copies of the Hoffman‐Singleton graph into K50

In this note we show how coverings induced by voltage assignments can be used to produce packings of disjoint copies of the Hoffman‐Singleton graph into K₅₀. © 2003 Wiley Periodicals, Inc. J Combin Designs 11: 408–412, 2003; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/jcd.10049     

基于Protel DXP的电路仿真设计

Protel DXP是集所有设计工具于一身的电子设计自动化(EDA)软件.文中运用其内嵌的仿真器叙述了分压式偏置电路放大器的仿真设计过程,设计过程简单、方便.在电子线路理论教学过程中引入电路设计仿真环节在不同情况下对电路进行实时分析,不仅可以提高学生的学习兴趣,而且能够在较短时间内加深学生对理论知识的理解;在工程设计过程中利用仿真工具对电路进行即时测试,可以缩短设计周期,提高设计效率.     

低压直流供电电路中高压直流的产生

在由低压直流电源供电的电路中,往往电路的某些部位需要使用高于电源所供的电压,将电源所供的低压转换为较高的电压,常用的方法有3种:自举升压、电感升压、逆变升压。结合实际应用电路对各种升压方法从器件选择、升压原理、升压结果等诸方面进行分析、探讨,解决了总体供电电压不变时,局部高压产生的关键性问题。它对电子电器电路的设计人员有一定的启发作用,对优化电路、遴选器件有较强的参考价值。     

行波管放大器相位噪声的分析及其抑制

主要分析规则调相信号对行波管放大器频谱纯度的影响,并且根据行波管放大器相位噪声产生的过程和原因,提出两种抑制相位噪声的方法.     

提高塑封双列直插式光耦合器绝缘耐压的设计和工艺要点

介绍了研制出其性能达国际先进公司同类产品水平的塑封双列直插式光耦合器的工作原理和提高绝缘耐压的技术难点，从引线框架设计、加工精度控制、内包封材料选型、理想内包封形状控制、塑封气密性的实现、环境条件的完善等方面讨论了提高绝缘耐压的设计和工艺要点。     

Robust Speed Control of a Low Damped Electromechanical System Based on CRONE Control: Application to a Four Mass Experimental Test Bench

Robust speed control of a low damped electromechanical system with backlash is studied, controlled load angular speed being not measured. The proposed control strategy combines a Luenberger observer (load angular speed and load torque disturbance estimations) and a robust CRONE controller. The observer provides estimation of the load angular speed and of the disturbance torque applied on the load. Through the computation of only three independent parameters (as many as a PID controller), the CRONE controller permits to ensure the robust speed control of the load in spite of plant parametric variations and speed observation errors. The proposed control strategy is applied to a four mass experimental test bench.     

修饰态布居的选择性激发对无反转激光的作用

以三能级V型系统为例研究修饰态布居的选择性激发对无反转激光增益的作用. 当非 相干驱动场的频谱宽度远小于驱动场产生的修饰态能级的间距时，非相干驱动场只将一个修 饰态的布居抽运至激发态. 借助原子的衰减通道，系统中形成单向布居转移通道，从而建立 修饰态布居的选择性激发. 利用修饰态布居的选择性激发，可以摆脱裸态共振无反转激光的 三个限制: (1) 不再要求辅助的低频驱动跃迁比高频激光跃迁具有更高的衰减速率；(2) 显 著降低非相干激发速率的阈值；(3) 无反转激光的线性增益不再反比于相干驱动场的强 关键词： 修饰态布居的选择性激发 无反转激光增益 原子衰减速率 非相干激发阈值速率