第四次数学危机（1）——总述

１９００年，希尔伯特第一问题提出：连续统能否良序？第一个数学家都会说：“它已在１９０４年被Ｚｅｒｍｅｌｏ的良序定理所解决”，本文建立了集合三分法，严格证明了一个良序集一定是一个可数集，同时揭露了良序定理及其它一些定理中证明的错误，因此，现代数学存在着第四次数学危机。     

Anisotropy in Third-Order Nonlinear Optical Susceptibility of a Squarylium Dye in a Nematic Liquid Crystal

A squarylium dye is dissolved in 4-cyano-4＇-pentylbiphenyl （SCB） and oriented by sandwiching mixtures between two pieces of rubbed glass plates. The optical absorption spectra of the oriented squarylium dye-5CB layers exhibit high anisotropy. The third-order nonlinear optical responses and susceptibilities X^（3）e of squarylium dye in 5CB are measured with light polarizations parallel and perpendicular to the orientational direction by the resonant femtosecond degenerate four-wave mixing （DFWM） technique. Temporal profiles of the DFWM signal of the oriented squarylium dye-5CB layers with light polarizations parallel and perpendicular to the orientational direction are measured with a time resolution of 0.3ps （FWHM）, and are found to consist of two components, i.e., the coherent instantaneous nonlinear response and slow response due to the formation of excited molecules. A high anisotropic ratio of x^（3）e, 10.8 ：k 1.2, is observed for the oriented layers.     

Caristi 不动点定理的推广及应用

本文推广了古典的Garisti不动点定理,作为应用,古典的Ekeland变分原理得到了推广,并且证明了推广的Garisti不动点定理和推广的Ekeland变分原理是等价的．     

维修性验证中组合序贯试验方案的确定

本文给出了分布未知时两个百分位要求的组合序贯试验方案。     

从渐近修正Kohn-Sham轨道计算电子相关化的分子间作用能项

对称性匹配微扰理论(symmetry-adapted perturbation theory, SAPT)能把总作用能分解成有物理意义的各作用能项, 是了解分子间力的基本手段. 本工作的开展是因为目前标准SAPT方法无法计算含能大体系的作用能项. 对于大体系而言, 基于Kohn-Sham轨道的SAPT(SAPT(DFT))具有高的计算效能, 但对作用能项的计算效果却不佳. SAPT(DFT)的缺陷产生于常用交换-关联势的错误渐近特性. 为了消除这些缺陷, 借助于van Leeuwen 和 Baerends(LB)模型势及Fermi-Amaldi (FA)类型势, 把两种渐近修正技术应用于三个供测试的二聚体小体系(He₂, HF₂和(N₂)₂)和一组处于不同分子间距的硝酰胺二聚体体系. 结果显示: 当使用新近发展的依频密度极化率(frequency-dependent density susceptibilities, FDDS)技术用于计算色散能时, FA渐近校正方案非常有效地克服了SAPT(DFT)中的缺陷, 并比LB校正具有更好的精度. 经FA校正的SAPT(DFT)方法能够正确地定量预测所有测试系统结合能的趋势, 并且与标准的SAPT相比, 大大减少了计算代价. 这个方法成功应用于硝酰胺二聚体表明: 此方法在精确计算更大的体系, 如含能体系的分子间力方面很有潜力.     

催化净化器与机动车系统匹配研究

介绍了国内外针对催化剂性能的一整套评价方法,强调了净化器与机动车匹配的重要性,并对影响匹配效果的因素作了系统分析.     

一些极值图问题的谱条件综述（英文）

这篇综述分为两个方面.首先,我们总结了图论中的Turan型问题的谱极值结论的最新进展.更准确地说,关于各种图的邻接谱半径和无符号拉普拉斯谱半径,我们总结了它们的谱版本的Turán型函数.例如,完全图、色数至少为3的一般图、完全二部图、奇圈、偶圈、色临界图和相交三角形图.第二个目标是总结一些最近的关于图性质的谱条件.通过一种统一的方法,基于邻接谱半径和无符号拉普拉斯谱半径,我们给出了一些充分条件,使得该图成为哈密顿图、k-哈密顿图、k-边哈密顿图、可迹图、k-路径可覆盖图、k-连通图、k-边连通图、哈密顿连通图、完美匹配图和β-亏量图.     

HCN(HNC)与NH3, H2O和HF分子间相互作用的理论研究

在MP2/aug-cc-pVTZ水平上, 对HCN(HNC)与NH3, H2O和HF分子间可能存在的氢键型复合物进行了全自由度能量梯度优化, 通过在相同水平上的频率验证分析发现了稳定的分子间相互作用形式是HCN(HNC)作为质子供体或作为质子受体形成的复合物. 基组重叠误差对总相互作用能的影响均小于3.34 kJ/mol. 通过自然键轨道(NBO)分析, 研究了单体和复合物中的原子电荷和电荷转移对分子间相互作用的影响. 对称性匹配微扰理论(SAPT, Symmetry Adapted Perturbation Theory)能量分解结果表明, 在分子间相互作用中, 静电作用与诱导作用占主导地位, 而诱导作用与复合物的电荷转移之间具有良好的正相关性.     

加权量子搜索算法及其相位匹配条件研究

目前的Grover算法在无序数据库中搜索多个目标时,得到不同目标的几率是相等的,不考虑各个目标重要程度的差异;并且当目标数超过数据库记录总数的四分之一时,搜索到目标的几率迅速下降,当目标数超过记录总数的一半时,算法失效.针对这两个问题,首先提出一种基于加权目标的搜索算法.根据各子目标的重要程度,为每个子目标赋予一个权系数,应用这些权系数将多个子目标表示成一个量子叠加态,这样可使得到每个子目标的几率等于其自身的权系数;其次,提出自适应相位匹配条件,该条件中两次相位旋转的方向相反,大小根据目标量子叠加态和系统初始状态的内积决定.当该内积大于等于((3-√5)/8)^1/2时,至多只需两步搜索,即可以恒等于1的几率得到搜索目标.实验表明,算法及其相位匹配条件是有效的.     

通过表面机械加工调控Zr52.5Cu17.9Ni14.6Al10Ti5非晶合金的结构和韧性

作为一种新型结构材料,非晶态合金的韧性需要进一步提高.提高非晶态合金韧性的方法有引入枝晶相、调整其成分改变其泊松比影响其剪切带衍生、裂纹扩展等.本文通过表面机械加工的方法来调控非晶态合金的微观结构及韧性.我们采用真空电弧熔炼、亚稳态薄板离心浇铸系统制备了Zr_52.5Cu_17.9Ni_14.6Al₁₀Ti₅(原子百分比)(Vit105)非晶合金板,并用表面机械研磨处理方法 (surface mechanical attrition treatment, SMAT),在Vit105板上形成纳米尺度局域类晶体序结构.基于差示扫描量热分析、纳米压痕实验,我们发现SMAT处理后的Vit105合金板表面附近弛豫焓更低,微观结构更加均匀、稳定.通过显微维氏硬度计测试,发现SMAT处理后样品的表面附近硬度增大,硬度值分布也更均匀.通过三点弯断裂实验,可得到SMAT处理后合金板缺口韧度值从70.7±4.7 MPa·m^1/2提高到112.8±3.7 MPa·m^1/2<...