二硼化钪硬度及高压下弹性性质的第一性原理研究

用密度泛函理论的局域密度近似和广义梯度近似下赝势平面波,得到了二硼化钪的电子结构、硬度及高压下弹性性质.从电子结构上看,二硼化钪的化学键是具有共价、离子及金属键性质的混合键.得到的弹性常数（Cij）、体弹模量（B）和剪切模量（G）与其它结果进行了比较;并得出德拜温度、线性压缩率及泊松比;用布居数计算得到硬度.     

A phase field study for influence of elastic energy on L1<Subscript>0</Subscript>→L1<Subscript>2</Subscript> transient ordering in Ni<Subscript>75</Subscript>Al<Subscript>17</Subscript>Zn<Subscript>8</Subscript>

The influence of the elastic energy on L1₀→L1₂ transient ordering transformation was investigated by microscopic phase field method. It is found that there are three stages experienced in atomic ordering: solute clustering+L10 short range ordering → L1₀ long range ordering → L1₂ long range ordering. Before the formation of the high ordered L1₂ phase, it has firstly taken place the transformation from matrix to L1₀ phase, and then held the L1₀→L1₂ secondary transformation. Elastic energy is proved to take little effect on the stage of short range ordering, but as the elastic energy is multiplied, it obviously shortened the course of the solute clustering, and speeded up the proceeding of the L1₀ long range ordering transition. Accordingly, the increased elastic energy also strengthens the single crystalline directionality of L1₀ phase projecting on 2D plane and makes the ordered degree of Al and Zn atoms enhanced. With the temperature elevation, Al’s and Zn’s ordered degree decreased in L10 phase.     

利用投影时序逻辑的多内核进程调度建模与验证

针对软件测试无法满足多内核处理器上进程调度的验证需要这一问题,提出利用投影时序逻辑(PTL)的定理证明方法来验证进程调度.使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S,并将系统期望的性质描述为PTL公式P,在PTL公理系统的基础上,通过证明S蕴含P是否为一个定理来验证系统是否具备该性质.以2内核处理器上的多级反馈队列算法的正确性为案例进行检验,结果表明所提方法可验证多内核处理器进程调度的系统性质,保证多内核进程调度的可靠性.由于多内核处理器的进程调度具备了并发系统的主要特点,因此该方法也适用于一般的并发系统验证.     

大岩湾高速铁路隧道岩爆综合分析预测

针对沪昆高速铁路大岩湾隧道埋深大、岩性脆而坚硬的特点,选取隧道典型断面进行了水压致裂地应力原位测试,获得了实测深度范围内地应力的大小和方向。为对隧道全线进行岩爆预测预警,在地应力测试的基础上,采用弹性应变能指数法、应力强度比法、有限元反演法对隧道岩爆进行分析。最后,以大岩湾隧道地应力条件、岩性特征、围岩结构特征、地下水条件四个方面为基本条件,对隧道岩爆进行了综合分析预测。结果表明:该综合预测方法的准确度较以往单一的岩爆预测方法有了很大提高,对隧道岩爆预测预警有很好的实际指导意义。     

冻融循环作用下混杂纤维粉煤灰混凝土力学性能试验

为了研究混杂纤维和粉煤灰增强混凝土在冻融循环作用下的损伤程度,通过对基准混凝土、混杂纤维混凝土和混杂纤维粉煤灰混凝土试样在冻融循环条件下进行抗压强度试验及超声波检测试验,得到冻融破坏后混凝土的抗压强度和相对动弹性模量,分析抗压强度损伤量、相对动弹性模量损伤量和内部结构破坏机制,建立了基于相对动弹性模量的强度衰减方程。试验结果表明：基准混凝土、混杂纤维混凝土和混杂纤维粉煤灰混凝土的抗压强度和相对动弹性模量均随着冻融循环次数的增加而减小;经历60次冻融循环时,其抗压强度和相对动弹性模量都有不同程度的下降;混杂纤维粉煤灰混凝土抗压强度和动弹性模量的损伤量在粉煤灰掺量小于10%时整体小于基准混凝土,而在粉煤灰掺量为20%和30%时大于基准混凝土;通过对冻融循环作用下混凝土相对抗压强度与相对动弹性模量的关系拟合,得到相关系数良好的相对抗压强度与相对动弹性模量的指数函数关系表达式;分析了混凝土冻融损伤、纤维和粉煤灰增强混凝土抗冻融机理。掺入适量纤维和粉煤灰能增强混凝土的抗冻融破坏能力。     

一类Neumann边值问题正解的存在性

分别运用锥上的不动点定理和Leggett Williams不动点定理讨论Neumann边值问题u″(t)+a(t)u′(t)+b(t)u(t)+f(t,u(t))=0,t∈(0,1),u′(0)=u′(1)=0正解及多个正解的存在性, 其中: a∈C［0,1］; b∈C(［0,1］,(-∞,0));f∈C(［0,1］×［0,+∞),［0,+∞)).     

外P-信息显性-隐性分离与显性-隐性分离定理

把外P-集合XF定义成外P-信息(x)F,利用外P-集合的特性,给出外P-信息显性分离、隐性分离概念和分离定理,给出外P-信息显性-隐性分离生成的属性特征。     

具连续变量的高阶非线性变时滞差分方程的正解

研究了一类具有连续变量的高阶非线性变时滞中立型差分方程,利用Banach空间的不动点原理和一些分析技巧,得到了这类方程存在最终正解的几个新的充分条件,同时给出实例验证其有效性.     

Winkler弹性地基上声子晶体梁带隙特性

 研究弹性地基上声子晶体梁的振动特性对于工程中的减振、隔振有一定指导意义.为揭示弹性地基上声子晶体Euler梁的振动特性,采用Euler梁理论、Winkler地基模型,通过有限元法计算出Winkler地基上声子晶体Euler梁弯曲振动能带结构.并与无地基作用下的声子晶体Euler梁能带结构的计算结果比较,揭示出地基约束对声子晶体Euler梁弯曲振动带隙的影响规律.同时,考虑材料的组分比对带隙的影响,结果体现出模型的振动衰减第一带隙范围及第二带隙范围的变化趋势.     

关于泰勒公式及其应用的思考与讨论

泰勒公式是高等数学中非常重要的一部分内容,它在分析和研究一些数学问题中,有着广泛地应用,浅谈泰勒公式在研究方程根的存在性和唯一性、求极限、近似计算以及证明等式或不等式等问题中的方法和技巧.