Microstructure evolution of T91 heat-resistant steels after long-time aging

To investigate the evolution of microstructure damage degree and the precipitated phases of heat-resistant metal in power plant under high temperature and stress environment, the high-temperature aging tests were conducted to investigate the aging behavior of T91 steel at different temperatures and stress. The optical microscopy, scanning electron microscopy, and transmission electron microscopy were used to investigate the structure and precipitated phases, the results showed that the orientation characteristics of tempered martensite was dispersed, and the grain size is obviously increased. The density of dislocation decreased with increasing temperature and stress. The important strengthening phase of M23C6 (M=Fe, Cr) was coarsened by the diffusion of main alloying elements Cr, while the smaller size MX (M=Nb,V; X=C, N) phase distributed in the grain is relatively stable in the aging.     

模型论中有关代数闭域的一个性质

模型论是数理逻辑的主要分支之一,其在近世代数、数论以及拓扑学中有着广泛的应用.本文给出了任意一个代数闭域G的性质,并给予了证明.     

《三字经》思想中的当代价值论略

《三字经》高度浓缩着中国传统文化的和谐价值思想,通过辩证逻辑的方法,具体分析了其中蕴含的生态伦理因素,独创性的探索《三字经》中人与自然的和谐环境、和谐的社会环境、"诚信"的人际环境的内涵,其目的在于突破传统启蒙读物的伦理水平,更好地促进社会主义和谐社会的建设,对文化的支撑、道德的修养、学习的提升起到了有益的借鉴。     

满文词典书目数据库建设实践与数字化发展建议

以CALIS联合目录公共检索系统和中国科学院情报文献中心联合目录为主要检索工具,以春花著《清代满蒙文词典研究》一书为主要参考依据,对流传至今的满文词典在国内的馆藏情况进行了搜集、整理,基于清华同方TPI专业数据库制作管理系统,开创性地建设了国内第一个满文词典书目数据库。介绍了数据库建库标准、结构设置以及数据库的检索质量。建议满文词典全文数据库建设走多方协作之路、公益项目之路和共建共享之路。     

离合词＂动宾化＂的类型与成因

离合词的动宾化是指在言语过程中离析词语并对词内结构进行了重新分析的现象。它可以有四种情况：将非常规宾语重新分析为常规宾语，将非名词性语素重新分析为名词性语素，将非动词性语素重新分析为动词性语素以及单纯复音词的动宾化。触发动宾化的原因有句法因素、语用因素和心理因素。     

非光滑B- 预不变凸优化问题的解集刻画 (运筹学与控制论)

给出了具有不等式约束的非光滑B-预不变凸优化问题的最优解集的各种刻画。首先,利用Clarke次微分建立了该优化问题最优解的充分必要条件;再讨论了该优化问题在其解集S上的一个性质:最后建立了该优化问题解集的5种等价形式,即S={x∈M〈^ξ,η(z,x)〉=0,^ξ∈cf(x)=(x∈M〈^ξ,η(z,x)〉≥0,^ξ∈cf(x)}={x∈M〈^ξ,η(x,z)〉=〈^ζ,η(z,x)〉,^ξ∈C(z),^ζ∈cf(x)}={x∈M〈^ξ,η(x,z)〉≥〈^ζ,η(z,x)〉,^ξ∈C(z),^ζ∈cf(x)}={x∈M〈^ξ,η(x,z)〉=〈^ζ,η(z,x)〉=0,^ξ∈C(z),^ζ∈cf(x)},并举例验证这5个集合都相等,为S={0}。     

非标准抛物方程只含有时间变量的热源识别反问题

探讨一类含对流项抛物方程的只含有时间变量热源识别反问题.这类问题是不适定的,即问题的解不连续依赖于测量数据.利用简化的Tikhonov正则化方法和拟逆正则化方法分别得到问题的正则近似解,并且分别给出正则解和精确解之间具有Ho¨lder型误差估计.     

庄子自由观念的具体样式

自由作为人类孜孜以求的价值目标,构成庄子哲学探讨的核心问题。从内容上看,庄子标识的自由观念具体表现为行动自由、实践自由、精神自由、思想自由、经济自由和政治自由这些样式。对此我们应当全面把握,不能失之片面。     

多元函数极限中几个问题的释疑

计算多元函数的极限时,许多情况下可以应用等价无穷小、两边夹法则等方法。如果多元函数的极限不存在,经常讨论动点以不同路径趋于定点,而函数以不同的趋势变化,得出极限不存在的结论。经常选取的路径有y=kx,或者计算两个不相等的二次极限等。在计算多元函数的极限时,由于动点的变化方向、方式复杂多样,选取不同的路径用来分析函数的不同变化趋势,或者计算两个不相等的二次极限,能否得出多元函数极限不存在的结论,与聚点邻域的形状有关。本文对计算多元函数极限的几个问题作了初步的探讨。     

也谈图书馆管理人员的基本素质

图书馆是人类的知识宝库,在人类文明的发展中具有不可替代的作用。探讨了新时期图书馆管理人员应该具备的素质。