基于身份的指定验证者代理签名方案*

在代理签名中,原始签名人能将其数字签名权力委托给代理签名人;在指定验证者签名方案中,只有事先指定的验证者才能验证签名的有效性.综合上述两种方案的优点,利用Weil对的双线性映射,构造了一个基于身份的指定验证者代理签名方案,并对其安全性进行简要的分析.     

基于微细异相钢液洁净化技术研究进展

高纯净度钢的生产是钢铁企业面临的重大课题,在钢液中获得尺寸可控、弥散分布的气泡是去除细小夹杂物、生产高品质钢的重要手段。微细异相净化钢液技术是一种基于碳酸盐分解反应生产微小气泡与渣滴去除细小夹杂物的技术,近年来该技术的研发越来越受到冶金工作者的重视,部分新技术已被开发并趋于成熟。本文从微细异相净化钢水技术原理出发,详细介绍了微细异相净化钢水技术研究的最新进展,归纳总结了微细异相去除细小夹杂物、脱硫、脱磷、渣料迁移、RH快速脱碳及中间包长水口喷粉工艺特点及作用机理,并对其在工程领域应用亟待解决的问题及未来发展方向进行了展望。      

流程企业管理与控制信息集成系统

流程企业管理与控制信息集成系统是计算机管理网络和计算机集散控制系统的有机结合，为过程企业生产和管理的现代化提供了科学手段和依据。以锦天化为例，阐述企业管理、调度指挥等管理与控制技术集成系统的设计实现过程，以及系统的结构与组成等。     

FEX-1挠性炸药贮存寿命的预估

采用提高温度加速老化与测定试样力学性能相结合的方法，依据挠性炸药(FEX-1)扯断永久变形随温度和时间的变化规律，预估该炸药在常温下的贮存寿命为11．8年。     

竖向恒载对框架结构动力稳定性影响研究

以框架结构为例,建立了结构动力稳定性分析的基本模型,提出了利用动力响应的敛散性来判断结构动力稳定性的具体方法.通过算例分析,给定不同的竖向恒载值,得到框架结构在水平动力荷载作用下的临界荷载值,结果表明,竖向恒载对动力稳定性有明显影响,但动力临界荷载与相应静力临界荷载的比值变化不大.     

基于数学建模课程培养学生创新能力的思考

基于数学建模课程,针对目前大学课堂教学中学生被动学习,缺乏主动性、创新性的现状,提出了基于数学建模课程培养学生积极性、创新性的改革措施的初步探索,包括加强课程理论与实践的相结合、增加课堂研讨、建立切实可行的考核体系、激发学生学习兴趣等一系列举措。     

水泥工业结构调整的特点及对人才的需求

我国是世界上最大的水泥生产国和消费国.目前水泥工业进入了结构调整阶段.随着我国经济和社会发展水平的提高,人们对资源和环境问题的重视,水泥工业的结构调整出现了新的特点,对人才的需求也出现了新的变化.     

一种求解命题公式骨干集的警示传播算法

警示传播WP算法是一类重要的信息传播算法,在命题公式的可满足性判定中非常有效。通过对WP算法的数学原理分析发现,当算法收敛时以高概率固定部分变元的赋值,可以对公式进行化简。基于这样的特征修改WP算法的迭代方程和变元赋值条件,设计了一种求解命题公式骨干集的信息传播算法。当变元数目超过400时,与经典骨干集求解算法对比,效率提高了40%,与目前常用算法对比也有10%的提高。结果表明,所提算法求解命题公式骨干集时非常有效。     

一种基于混合密码算法的Java类文件保护技术

传统的Java类文件保护方法存在被软件工具和反编译保护算法及利用其他接口进行破译等问题。通过在Java程序的运行环境———虚拟机中最底层Zip算法的开放源代码嵌入AES密码算法和RSA密码算法,提出一种安全性较高的基于混合密码算法的Java类文件保护方法。实验结果显示：该方法具有与AES和RSA一样的安全性,解决了传统保护方法的问题,比传统的方法有更安全的保护作用。     

热浸镀铝钢扩散层的AlFe3C0.5相

采用740℃热浸镀铝方法,在20碳钢表面制备热浸镀铝层。镀铝层经850℃扩散处理4 h后,采用SEM和XRD确定扩散层的相组成,采用TEM研究组成相的晶体学取向关系。分析AlFe3C0.5相的形成原因。结果表明：扩散层与基体之间存在Fe3Al、FeAl和点阵常数为0.377 nm的针叶状AlFe3C0.5相;针状AlFe3C0.5与Fe3Al相之间存在的晶体学取向关系是（220）Fe3Al//（1^-11）AlFe 3C0.5、[11^-0]Fe3Al//[1^-23^-]AlFe 3 C0.5。