锆英石与工业氧化铝及高铝矾土烧结性研究

本文利用特级矾土部分或者全部代替工业氧化铝合成锆刚玉莫来石材料．测定试样的线收缩率和体积密度。

FP-SSA框架中Au_3Cu型有序合金相的特征原子势能配分函数

介绍以第一原理合金电子理论为基础的系统合金科学(FP-SSA)框架中Au3Cu型有序合金的特征原子势能(CAPE)配分函数。主要创新内容如下:以基本原子团{AiA u·[(I-i)Au,iCu]}和{AiC u·[(I-i)Au,iCu]}序列的中心特征原子Ai Au和AiC u为结构单元序列,替代原子对和原子团,建立了合金相的特征原子排列模型;以配位原子团[(I-i)Au,iCu]对作用于特征原子势场影响的方式替代原子对能量相互作用和原子团能量相互作用方式,以特征原子势能能级代替原子对能级和原子团能级,建立了合金相的"特征原子势能相加定律",计算合金相及其组元的平均势能;在特征原子排列的简并因数与特征原子势能能级一致的条件下建立CAPE配分函数和计算组态熵。此函数揭示了当今流行的固溶体理论的不足之处,为建立特征Gibbs能配分函数奠定了基础。

合金基因、全息网络相图和全息合金定位设计与研发系统

以系统科学哲学为指导,以Au-Cu合金系为实例,介绍了以下内容:合金基因、合金基因全息信息传输的Gibbs能函数以及AuCuI(Cu4Au8AA)化合物无序化的平衡和亚平衡传输方式,Au3Cu、AuCu和AuCu3亚格子系统的平衡全息网络相图(HNP);描述组元—成分—结构—性能—温度之间的关系;预测设计合金信息的蓝图:Au-Cu合金系的平衡和亚平衡HNP图。实现"网络化、信息化和智能化设计与研发先进合金"的路径规程是"基本组元合金系统—合金基因序列—亚格子合金系统的平衡HNP图—合金系的平衡和亚平衡HNP图—合金基因工程—合金系统全息知识与数据库"。实施此路径规程的基地称之为"全息合金定位设计与研发系统(HAPDS)"。

无序hcpTi_xAl_(1-x)合金的单原子操纵设计

依据hcpTi Al系的特征原子和特征晶体序列的结构参数和性质 ,应用计算机技术进行无序hcpTixAl( 1-x) 合金单原子操纵设计 ,求得它们的电子结构参数、晶体结构参数、物理性质和热力学性质 ,并存入信息库中 ,为复杂合金的设计。

AuCuI(A_8^(Au)A_4^(Cu))化合物无序化路径跟踪的原子移动新机制(英文)

以由AAu8和ACu4干基因组成的AuCuI(AAu Cu8 A4)化合物的无序化实验路径为例,介绍了3个发现和1个方法。发现AuCuI(AAuCu8A4)化合物抗拒温度变化保持结构稳定性的能力归因于AAu8和ACu4基因的势阱深度远超过其振动能,这导致其无序化实验路径是亚平衡的;发现AuCuI(AAu Cu8 A4)适应温度变化改变结构的原子移动新机制是合金基因的"共振激活-同步交换"机制,这导致无序化是非均匀性和递次性的亚平衡转变;发现无序化过程中存在跳变有序度,导致存在跳变温度和升温速度增加跳变温度降低的"逆反效应",即所谓的"Retro效应"。采用实验混合焓路径法,建立了一整套亚平衡全息网络路径图。

Au_3Cu-亚格子系统的合金基因Gibbs能配分函数和平衡全息网络相图(英文)

以Au3Cu-亚格子系统为例,介绍了3项发现:第一,至今阻碍金属材料科学进步的第四大障碍是研究者们尚未认识到一个真正的合金相Gibbs能函数应由合金基因序列和它们自己的Gibbs能级序列构建的Gibbs能配分函数导出。第二,建立合金基因Gibbs能配分函数的六条规则,特别证明了计算合金组态熵的简并因子中结构单元占居Gibbs能级的概率应按照组元占居格点的概率方式简并;第三,以前研究者从未预料到的主要特征:具有一条没有有序相和无序相共存区的单相相界线;相界线顶点成分和温度远偏离Au3Cu化合物临界点的成分和温度;在0 K时,Gibbs能随成分变化曲线上的最低点成分远偏离Au3Cu化合物的成分;Au3Cu-型长程有序合金的理论极限成分范围由第一跳变有序度决定。

全息合金定位设计系统和Au-Cu系的全息网格相图（英文）

以Au-Cu系为例,介绍3项发现和2个方法。第一,建立全息合金定位设计系统是推动系统金属材料科学和合金基因工程持续发展的新路径。它的基地由材料测试和计算中心、系统金属材料科学中心、合金基因工程中心、全息合金定位设计系统信息中心和控制中心组成。第二,原子移动的共振激活和同步交换机制具有2种形式:局域式和定向扩散式。第三,平衡和亚平衡全息网格相图是研究者发现、设计、生产和应用先进合金的蓝图和可操作平台,它们分别由合金相的等温Gibbs能线的平衡杠杆线数值法和亚平衡交点数值法获得。点击每一格点便可获得设计合金的3个结构层次信息:组织的相的组成和分数,相的排列结构和性质;合金相的成分,合金基因排列结构和性质;合金基因的电子结构和性质。它将开创一个网络设计先进合金的新时代。

AuCu_3-亚格子系统的合金基因Gibbs能配分函数和平衡全息网络相图(英文)

以AuCu3-亚格子系统为例,介绍3项发现:第一,迄今阻碍金属材料科学进步的第三大障碍是研究者们习惯用平衡均匀转变的思维方式认识温度极其缓慢变化的合金相变实验现象,然后以实验现象的错误认识为选择信息,建立Gibbs能函数和所谓的"平衡相图";第二,AuCu3-型亚格子系统的平衡全息网络相图可用来描述与成分和温度有关的合金基因排列结构和各种热力学性质的系统相关性;第三,每个合金的平衡转变都是均匀的单相转变,不是非均匀的双相转变,存在一条没有有序相和无序相共存区的单相相界线,相界线顶点成分和温度远偏离AuCu3化合物临界点的计量成分和温度。

以无序合金的实验数据为基础的Au_3Cu,AuCu_3,AuCuI和AuCuII的特征原子占据图(英文)

根据无序Au1_xCux合金的实验生成热和晶格常数得到只考虑近邻原子组态的特征原子的势能、体积和电子结构,计算L12-Au3Cu,L12-AuCu3和L10-AuCu化合物的特征原子占据(CAO)图、电子结构、能量和体积性质。Johasson-Linde(J-L)模型的CAO图表明,AuCuI→AuCuII转变是一个放热且体积缩小的反应,但正好与实验现象相反。根据Guymont-Feutelais-Legendre(G-F-L)模型的CAO图,AuCuII晶胞由两个周期反相(PAD)的AuCuI区域和两个PAD边界区域组成;从G-F-L模型的CAO图得出的公式可用来计算PAD AuCuI区域和PAD边界区域的能量性质、体积性质和有序度及AuCuII相的平均性质,计算结果与实验现象相吻合。

一类时滞Duffing型方程周期解的存在性

研究了Duffing型微分方程ax..(t)+cx.(t)+bx(t)+g(x(t-T))=p(t),采用更精确的先验估计,利用重合度理论,获得此方程至少存在一个2π周期解的充分条件。

一类中立型时滞种群对数模型的周期解

基于更精确的先验估计,利用重合度理论中的连续定理,研究了一类时滞种群模型的周期解,获得了这类模型存在正周期解的充分条件,所得结果推广了李永昆文中的有关结论,并使条件有所减弱.

具有时滞的n维Liénard系统周期解的存在性与唯一性

利用重合度理论讨论了具有周期扰动的n维Liénard型微分系统的周期解的存在性与唯一性,得到了几个简便的判别条件,推广和延伸了相应文献中的结论。

中立型时滞种群对数模型的正周期解

通过更精确的先验估计,利用重合度理论中的连续定理,研究了一类时滞种群模型的周期解,获得了这类模型存在正周期解的充分条件,所得结果推广了文[1]中的有关结论,并使条件有所减弱.

一类二阶迭代微分方程的周期解

研究一类二阶迭代泛函微分方程x¨(t)+g(x(x(t)))=f(t,x(t),.x(t))的周期解的存在性,通过使用不等式技巧,获得了该系统周期解的界的更精确的先验估计,从而利用重合度理论建立了在同类条件下这类系统周期解存在的最优存在性判据,改进了相应文献中的结论.

具有分布滞量的微分方程的正周期解的存在性

通过使用Krasnoselskii锥不动点定理 。

一类差分方程周期解的存在性

利用三角级数和压缩映射原理,研究了差分方程X(n+1)=∑+∞j=-∞A(j)X(n-j)+f(n)和x(n+1)=∑+∞j=-∞A(j)X(n-j)+G(n,x(n+·)),得到了前者存在周期解的充分必要条件及后者存在唯一周期解的充分条件.

系统合金科学简介

将系统科学的哲学观和方法论凝练为3个哲学命题和3个主要方法。系统合金科学(SSA)包含两个部分:系统合金科学(SSA)理论框架和合金特征原子排列设计(CAAD)应用工程。SSA理论框架分为两个分支:以实验(EX)技术为基础和以第一原理(FP)金属间化合物电子理论为基础的SSA理论框架。SSA理论框架层次是:特征原子势能和体积的分离理论,特征晶体的价键理论,特征晶体热力学性质的分离理论,合金相特征原子排列晶体学,合金相混合特征晶体热力学,合金相转变、相平衡和相图的混合特征晶体综合理论。各理论层次之间的关系由结构单元序列链、公式链和信息链描述。

一致同阶集值函数的极小极大定理

为了研究向量优化问题 ,引进了一致同阶集值函数类 ,在没有凸性条件的假设下 。

一类二阶非线性迭代微分方程的周期解

用更精确的先验估计及重合度理论研究一类二阶迭代微分方程x(¨t)+g(x(x(t)))=f(t,x(t),x.(t))周期解的存在性,得出了周期解存在的充分条件.

一类二阶高维中立型微分系统的周期解

利用重合度理论研究一类二阶高维中立型泛函微分系统[x(t)+Cx(t-τ)]″+g(t,x(t-σ(t)))=p(t)的周期解的存在性,得到了几个周期解存在的充分性定理,推广了已有工作中相应的结论.