长平立井提升系统的安全改造研究

介绍了长平公司主立井的改造,重点阐述了电气系统和机械系统的改造内容,并分析了改造后的社会效益和经济效益,为立井改扩建提供了很好的范例。     

氧化铝、莫来石增强白水泥熟料基质复相陶瓷材料性能

研究了氧化铝、莫来石颗粒增强白水泥熟料基质复相陶瓷材料的常温力学性能。采用干混、冷等静压成型、常压烧结等方法，制备复相陶瓷。结果表明：这种材料具有良好的烧结性能，氧化铝、莫来石颗粒可以显著地提高材料的常压力学性能。     

热处理对锆莫来石复相陶瓷材料显微结构的影响

利用电子扫描电镜重点研究了以锆英石与氧化铝、A级铝矾士为原料反应烧结锆莫来石复相陶瓷材料的显微结构。分析表明：在不同的液相条件下,莫来石的晶粒发育产生了3种完全不同的晶形;液相量越高,莫来石的针状发育越好。过量氧化铝的存在严重阻碍了残余晶界玻璃相的折晶。金属铝粉的添加容量引入热处理难以消除大的贯通性气孔。这些大的气孔是影响反应烧结材料性能提高的重要因素。     

添加金属铝粉的锆刚玉莫来石材料显微结构与性能

通过扫描电镜、x射线衍射分析和体积密度、抗弯强度、烧结线收缩率以及抗热震性能的测定 ,主要探讨了金属铝粉的添加对反应烧结锆刚玉莫来石材料性能和显微结构的影响。     

一种适于非线性非高斯目标跟踪的MRIMMPF算法

为解决粒子滤波应用到IMM算法时计算量过大的问题,融合交互式多模型和粒子滤波,提出了一种采用多速率方法的交互式多模型粒子滤波(multirate interacting multiple model particle filter,MRIMMPF)算法.该算法采用多模型结构来跟踪任意机动的目标;使用一种3模型、one-third速率/全速率跟踪算法,一个one-third速率模型处理非机动或微弱机动,2个全速率模型用于机动模式,以处理非线性、非高斯问题.仿真结果表明,MRIMMPF算法在性能上并不低于交互多模型粒子滤波(IMMPF)算法,但是计算量明显减小.     

一类n+1维偏微分方程Cauchy问题

文章提出了一类n+1维偏微分方程Cauchy问题,首先利用无穷级数的绝对收敛性证明了解的存在性,然后利用文章的方法导出了解的先验模估计,最后利用先验模估计证明了解的唯一性和连续依赖性.     

《自然辩证法丛刊》创办始末

自然辩证法研究在中国作为一种独特的学术现象，充满了难以言说的学术-政治双重意涵，专业杂志的兴衰从一个侧面反映了这种现象。“文革”期间曾有三种自然辩证法类期刊创办，其中两种因在“四人帮”策划下举办，“文革”后的结局不言而喻。辽宁创办的《自然辩证法丛刊》,虽无证据表明是出于“四人帮”的直接授意，但在科学春天来临前的1977年底也悄然停刊。该刊存在不过两年，连试刊在内仅发行6期，客观上为改革开放后辽宁自然辩证法及相关研究的兴起打下了基础。因此，探讨《自然辩证法丛刊》创刊的背景、创办过程以及主要内容，对自然辩证法及其学科史研究具有重要的学术和史料价值。     

氨基硅烷-蒙脱土/SBS改性沥青与改性集料的黏附性能

沥青路面的水损害缩短了路面的使用寿命，提高沥青的黏聚力和沥青与集料之间的黏附性可有效改善水损害. 采用3-氨丙基三乙氧基硅烷（KH550）改性蒙脱土（NH2-MMT），以增强苯乙烯-丁二烯-苯乙烯嵌段共聚物（SBS）改性沥青的黏聚力. 采用氨基硅烷KH550改性花岗岩（Gr）集料（NH2-Gr），提高沥青与集料之间的黏附力. 采用X-射线衍射仪（XRD）、扫描电镜（SEM）、X射线光电子能谱仪（XPS）对改性前后的蒙脱土和Gr集料进行表征. 采用同时提高沥青黏聚力和沥青与集料之间黏附力的方式， NH2-MMT/SBS改性沥青与NH2-Gr 集料的黏附功增长19%，剥落功下降24%. 相比基质沥青，SBS改性沥青、NaMMT/SBS改性沥青和NH2-MMT/SBS改性沥青的黏聚功比基质沥青分别增长了15%、22%和28%. 相比基质沥青与Gr集料，NaMMT/SBS改性沥青和NH2-MMT/SBS改性沥青的黏聚功分别增长了6%和12%. 采用光电比色法测试沥青与集料的黏附性，与基质沥青/Gr集料相比，NH2-MMT-SBS改性沥青/Gr集料对紫外光的吸收峰值由0.483增大至0.499. NH2-MMT-SBS改性沥青/NH2-Gr集料对紫外光的吸收峰值由0.474增大至0.557，结果表明：黏聚力和黏附力的同时改性可以有效提高沥青抗水损害性能，改性集料的效果更明显.     

四阶椭圆型方程弱解的存在性

针对四阶椭圆方程的不同形式,分别应用Lax-Milgram定理及变分法对两类四阶椭圆型方程进行研究。本文第一部分运用Lax-Milgram验证在Hilbert空间H²上恒存在唯一的解u,使得H²上的有界强制双线性型与H²上任一有界线性泛函相等。进而证明出存在唯一弱解满足第一类含有一阶项的四阶椭圆型方程。第二部分运用变分方法解决另一类含有p次二阶项四阶椭圆型方程。在方法上,首先定义方程弱解,其次找出与方程相对应的泛函,进而将问题转化为求相应泛函的极值元,证明泛函极值元的存在性,最后证明弱解的唯一性。