纳米Fe2O3对镁铬耐火材料烧结及力学性能的影响

在镁铬耐火材料中添加纳米Fe2O3,研究了它对镁铬耐火材料烧结性能与常温力学性能的影响.结果发现,在相同的工艺条件下,加入1%(外加)的纳米Fe2O3即可使镁铬砖的烧成温度降低150℃左右,并在相同烧成温度下能使试样的常温抗折强度和耐压强度大幅度提高.分析认为,在镁铬耐火材料中添加少量纳米级Fe2O3,可促进MgO-FeO固溶体中Cr3+和Al3+含量的提高,增强镁铬砖的直接结合程度,从而提高其力学性能.     

高校合并后图书馆的发展走向

高校合并后，给图书馆带来了一定的发展契机，高校图书馆如何在挑战与机遇并存的新形势下，摆正自己的位置，加强科学管理，充分利用有利因素加快图书馆的数字化进程，使图书馆的服务更具有人性化和科学化，是今后图书馆发展所面临的一个新的课题。     

公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.     

描述数据库的双层描述逻辑

为了表示元组和属性值的逻辑区别,引入了一个双层描述逻辑,其中概念分为两类:元组概念和属性值概念。给出双层描述逻辑的语言、语法和语义;然后定义从数据库中的关系到双层描述逻辑的知识库以及双层描述逻辑的模型的转换;最后扩展双层描述逻辑,使得其中的角色分为3类:元组之间的角色、元组与属性值之间的角色以及属性值之间的角色。     

无可信中心的可验证门限代理签名方案

提出了一个安全的门限代理签名方案.合谋攻击是指在不知道任何有效的门限代理签名的情况下,恶意代理成员人数大于或等于门限值时,他们能合谋重新构造代理群的秘密多项式函数,得到代理群的秘密参数,从而可以伪造其他代理成员的代理签名.以往方案大部分都是需要可信中心的,这样可信中心往往就会成为被攻击对象.提出的新方案能抵抗合谋攻击,任意t个人合作仍然无法知道其他代理人的秘密参数,也就无法伪造其他代理签名人的签名.还能满足门限代理签名的性质,且针对t个成员可能的恶意代理原始签名人签名的问题,由原始签名人两次授权来解决,这只需要维护签名生成者和原始签名人之间的一条安全信道.根据代理签名不能辨认代理签名人身份.每个参与者的公、私钥以及群公钥由参与者共同协商,无须可信中心参与,避免了对可信中心的攻击和成员之间的欺骗,使得安全性级别更高.     

命题中介逻辑的可靠和完备Gentzen推导系统

中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词~、反对连接词◁以及蕴涵连接词→,并且定义否定连接词.给出了一个Gentzen-型的推导系统,使得该系统关于中介逻辑的3-值语义是可靠的和完备的.     

微粒群算法在结构优化设计中的应用

结构优化设计对于实际工程具有重要的意义．通过对现有优化方法进行分析。将微粒群算法应用到结构优化设计中，提出了结构优化设计的微粒群算法，并建立了相应的优化模型．介绍了微粒群算法的基本思想、结构优化微粒群模型及其实施的具体步骤，最后通过一个算例验证了该方法的效率和有效性．结果表明该方法科学可行，具有很好的应用前景．     

氧化锆水口在使用中的损毁机理初探

通过对用后氧化锆水口砖的显微结构及矿相分析,认为氧化锆水口砖的损毁主要是由于钢水和渣的侵蚀造成氧化锆中的稳定剂脱溶失稳分解产生的,同时由于热应力产生的微裂纹导致钢水的进一步渗透,加快了水口的侵蚀速度.     

镁质中间包涂抹料的研制与开发

采用优质镁砂为主要原料，选择合适的结合剂与复合剂外加剂，可制得性能优良的中间包涂抹料，研制的涂抹料具有良好的理化，使用及施工性能，完全能够满足在连铸生产的需要。     

基于概念主干H的知识联通及其联通测度

1 引言领域专业知识在决策系统、智能教学系统(ITS)、知识查询系统等高技术产品中具有重要的作用。知识库是机器智能的重要来源,而大量实践证明计算机真正具有智能不仅需要大型知识库,而且更需要知识间广泛的互连。