不锈钢冶炼用不烧镁钙砖的研制及应用

介绍了冶炼不锈钢用不烧镁钙砖的研制过程及其在冶炼不锈钢的 90tAOD炉炉帽和 90t装入包包底的应用情况。结果表明 :在 90t装入包包底的使用寿命达 1 1 0次 ,最大侵蚀速度仅为 1 .50mm·次 -1 左右 ;在 90tAOD炉炉帽上的使用寿命达 2 1 7次 ,最大侵蚀速度仅 0 .55mm·次-1 ,但存在裂纹和剥落现象 ,今后应改进砖型设计 ,增加调整砖 ,以消除砌缝 ,提高衬砖的整体性和稳固性     

基于AES的可重构加密系统的FPGA设计

针对传统软件加密方法在速度和资源消耗上的不足,提出了基于AES高级加密标准的硬件设计方案。采用了目前流行的EDA技术,在FPGA芯片上实现一种可重构的加密系统,利用硬件描述语言实现加密算法中的移位、S盒置换函数、线性反馈移位寄存器等功能,设计输入、模型综合、布局布线、功能仿真都在Altera公司的Quartus II开发平台中完成,产生的下载文件通过Cyclone系列的FPGA芯片进行测试。实验结果表明,该系统具有独特的物理安全性和高速性。     

基于类属属性的多标记学习算法

在多标记学习框架中,每个对象由一个示例(属性向量)描述,却同时具有多个类别标记.在已有的多标记学习算法中,一种常用的策略是将相同的属性集合应用于所有类别标记的预测中.然而,该策略并不一定是最优选择,原因在于每个标记可能具有其自身独有的特征.基于这个假设,目前已经出现了基于标记的类属属性进行建模的多标记学习算法LIFT.LIFT包含两个步骤:属属性构建与分类模型训练.LIFT首先通过在标记的正类与负类示例上进行聚类分析,构建该标记的类属属性;然后,使用每个标记的类属属性训练对应的二类分类模型.在保留LIFT分类模型训练方法的同时,考察了另外3种多标记类属属性构造机制,从而实现LIFT算法的3种变体——LIFT-MDDM,LIFT-INSDIF以及LIFT-MLF.在12个数据集上进行了两组实验,验证了类属属性对多标记学习系统性能的影响以及LIFT采用的类属属性构造方法的有效性.     

安全苛刻系统自动化测试的形式化语义模型

安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范.     

徐会全——陶瓷艺术作品

徐会全，字甘泉，号艺人云仙。61年7月出生，江西部昌徐家埠人。江西省骨干高级教师．具备国家一级美术师、陶艺家，江西省工艺美术学会会员，高岭国际陶艺学会会员。景德镇美术家协会会员。昌南书画院特聘高级画师。作品入编国家邮政发行的“21世纪中国著名书画家精品选”邮票，     

有槽垂直引上高温作业工艺的完善

该厂有槽垂直引上工艺采用高温引上作业,使边筋减轻,玻璃质量大幅度提高。通过引上空冷却水包的合理改造,改善了原板厚度的均匀性,是对引上高温作业制度的完善。     

邮箱 我只留QQ的

说起邮箱,虽然现在用得越来越少了,但由于工作的需要,暂时与它诀别还是不太现实的事情。然而,我现在已经不用频繁地打开各种邮箱去接收或发送邮件了,原因是我有QQ邮箱可以一站搞定。当然,用QQ邮箱的原因,还因为它有其他许多实用功能。     

HD成型机成型鼓技术改造

原使用的成型机成型鼓为充气式胶囊鼓,存在压力不稳定、反包时间长等缺点,影响成型质量和效率。介绍了原成型鼓的结构和工作原理。取消了原鼓中的鼓肩胶囊、指形器等,新加工了密封侧板,改造了气路。改造后效果较好。     

基于GM（1，1）和线性回归模型在印刷包衬压缩变形中的数据预测研究

运用线性回归对预测数据进行分析,剔除异常数据,用GM（1,1）模型进行预测,有效降低了数据相对误差,提高了预测数据的精度。选用印刷包衬压缩变形的压缩变形量值,用线性回归进行数据分析并剔除异常数据后用GM（1,1）进行预测,使得预测数据具有更高的准确性和适应性。实验及仿真结果表明,经过前期数据分析整理后的灰色预测模型,其预测期望值远优于单纯的回归模型和GM（1,1）模型。     

实现欧洲/电气安装总线协议数据加密和设备认证的方法

为了实现家居和建筑自动化(HBA)的数据安全传输,在欧洲安装总线(KNX/EIB)标准协议引入加密和认证机制;使用迪菲-赫尔曼(Diffie-Hellman)算法实现非对称密钥共享,高级加密标准(AES)实现数据加密,基于哈希算法的挑战握手认证协议实现设备认证,使用控制器协调密钥分享和设备认证过程。模拟实验表明,所提方法在空间和时间上都是可行的,比其他改进方法更容易实现,操作更简单,能够保证数据的安全。