算法工程的思想、方法与工具——以SAT算法为研究实例

The recently emerging idea of Algorithm Engineering in the community of Computer Science is about how to engineer computer algorithms by integrating the design, analysis, implementation, experimental testing, refine-ment, etc. of them, aiming at improving their runtime performance.In this paper, we try to develop the main idea of the theory and methodology of algorithm engineering, and givean introduction to some useful tools. In order to concretize our discussion and illustrate the effectiveness of algorithm engineering, we will base our study on the engineering of SAT algorithms. According to the rules and methodologies of algorithm engineering we have learned, we implement a simple but efficient SAT solver, Quick SAT, as a testbed.Although we haven‘t utilized most of the advanced techniques used in modern SAT solvers, the result of experimental comparison shows that Quick SAT is close in performance to zChaff, one of the leading SAT solvers in the world to-day.     

钠蒸气中关于3S-4P_(3/2)和3S-4P_(1/2)跃迁的SEHRS观察(英文)

Ⅰ.Introduction Hyper-Raman scattering is a three-photon Raman process(as shown in the figure ω_s-stokes frequency and ω_1-pump laser frequency).ω_(L1) and ω_(L2) may come from the same laser, as in the case in our experiment. Because the frequency shift of stokes is two times as large as that of a pump laser, the stimulated hyper-Raman scattering can be applied to     

用激发吸收光谱法判别Na_2分子红外谱区的级联跃迁

近十年来,人们在光泵碱金属蒸汽二聚物激光研究方面做了大量工作,对其动力学过程有了比较深刻的认识,总结出了一些新的激光动力学机理,特别对钠双原子分子的研究更引起人们的兴趣。本文作者之一在1981年首先在钠蒸汽中观测到Na_2分子2.5μ和0.91μ两个谱     

Linux下邮件服务器的实现原理及其安全措施

阐述了Linux系统中邮件服务程序和实现原理；详细分析了常见的针对邮件服务器的网络攻击，并提出了解决方案。     

基于气味指纹图谱的玛咖品质快速鉴定方法

以玛咖为研究对象,通过高效液相色谱和电子鼻分别测定24?个产区36?个玛咖样品中芥子油苷的总含量和气味传感器的响应值原始数据。基于玛咖样品中芥子油苷的总含量和传感器响应值的相关性分析结果,采用软独立建模分析（soft independent modeling class analogy,SIMCA）算法建立玛咖品质快速鉴定模型。结果表明：T30/1、P30/1、P30/2三根传感器与芥子油苷含量之间存在显著相关性,根据3?根传感器建立的SIMCA模型可以将不同玛咖样品分为3?个等级：一等品（芥子油苷含量≥10?mg/g）、二等品（5?mg/g≤芥子油苷含量＜10?mg/g）、三等品（芥子油苷含量＜5?mg/g）。运用电子鼻气味检测数据结合SIMCA模型可以快速鉴别玛咖的等级,还可推测出所测样品中芥子油苷的含量区间。