柳钢1号麦尔兹窑产品质量提升攻关实践

针对柳钢1号麦尔兹窑产品质量波动较大因素进行分析,分别就原料优化、工艺操作调整、设备改进等方面,提出了相关的对策措施,提升了 1号麦尔兹窑产品质量.     

关于正元素对称矩阵正定性的判别法

文[1]给出判别一般对称矩阵的正定性的“正对角线元严格占优判别法”,文[2]则导出了一个正元素对称矩阵正定性的简单判别法。这两种方法简单实用,但所要求的条件比较强,以至排除了许多对称正定矩阵。本文改进拓广了[1]和[2]所给出的判别方法,导出几个对称矩阵和正元素对称矩阵正定性的充分条件。     

新型碳纳米纸国内外研究进展

碳纳米纸是一种综合性能良好、应用前景广阔的碳基功能材料。简要介绍了碳纳米纸的研究背景和定义,对碳纳米纸的分类、制备方法和应用进行了全面综述,分析了不同纳米碳材料制备碳纳米纸的优缺点,并对碳纳米纸的发展前景进行了展望。为新型碳纳米纸的进一步研究提供了一定的理论基础和发展方向。     

步进电机加减速控制技术研究

文章主要介绍了步进电机加减速控制技术,分析了步进电机短距离加减速控制的特殊性,提出了加减速控制方案,同时也分析了整机运行过程中产生的共振现象及其解决方法。     

基于可行序的数据竞争检测

为了在并行程序的单次执行中找到更多的数据竞争,提出了用可行序关系替代传统的“happens before”序关系来动态地实现数据竞争预测的算法。该算法认为：从技术上讲,如果在观测到的执行轨迹中,两个临界区之间没有可行序的关系,那么这两个临界区的顺序可以被颠倒以构造出其他的执行轨迹;通过判断可行序关系来分析这些构造出来的执行轨迹,就可以找到单次执行中未暴露出来的可能的数据竞争;所有构造出来的执行轨迹中的数据竞争,可以在O(an)的时间内全部检测出来,其中n为程序中所有访存操作的个数,a为每个共享地址上的最大锁集合数。在Java Grande测试程序集上的实验结果说明,上述算法可以找到其他动态检测数据竞争的方法找不到的数据竞争,而且算法时间也完全符合理论上的O(an)时间复杂度。     

一种被动拖曳声纳阵列信号模拟器设计

声纳基阵信号模拟器是一种实用的可仿真实际检测目标及使用环境的阵元级信号发生器。设计的被动拖曳声纳阵列信号模拟器,仿真了拖曳阵的拖船干扰时域信号和空间传播特性、目标辐射信号以及环境噪声。通过预设定拖船干扰宽带功率谱,以AR模型拟合该功率谱,利用海底、海面对声场的一次反射作用仿真了拖船干扰的空间多途信道。采用插值滤波器,解决了宽带信号阵元间延时的时延精确控制问题。     

区间数信息下的多属性群决策研究

随着决策系统的不断扩大以及复杂化,评价指标以实数值描述稍显欠妥。研究属性权重为实数值、区间数信息下的多属性群决策问题,建立集结区间数信息的非线性规划模型,采用模拟植物生长算法集结各方案中多位专家给出的区间数偏好,并利用得到的偏好区间数构成群决策偏好矩阵。结合已知权重,引入投影理论得到各方案的综合评价值,从而选出最优决策方案。算例结果表明,模拟植物生长算法不仅计算简便、灵活,并且尊重每个专家的意见,较好地保留了信息的完整性,显示出人工智能算法在信息集结方面的有效性。     

综述：一般逻辑程序的证明论语义

一般逻辑程序是知识表示的重要工具，也是非单调推理研完的领域之一。一般逻辑程序的证明论语义给出一个证明过程，对应于相应的模型论语义，同时也为模型论语义的实现提供基础。本文对一般逻辑程序的证明论研究进行综述，涉及到基于各种模型论语义的证明过程，并且对各研究在语法约束、推理方式、正确性和完备性结论及实现的情况等各方面加以比较，最后给出了此问题进一步的一些研究方向。     

一种数据仓库联机维护的集合刷新算法

提出了一种版本控制集合刷新算法（VSRA）.它采用增量维护、版本控制和批处理机制保证数据仓库的联机维护和数据一致性.VSRA不仅减少了数据库和数据仓库之间的通信流量,而且提高了实体化视图的刷新效率.用户可以随时使用VSRA进行联机分析处理,并能得到正确的结果.     

岩棉板外墙外保温施工技术探讨

作为一种优质且高效的保温材料,岩棉板逐渐成为工程保温的首选材料之一,但却未被广泛应用到中国建筑外墙保温环节中,同时施工技术也尚不成熟,埋下诸多安全隐患。所以,本文详细研究了岩棉板外墙外保温施工技术,以供参考。