新的域间身份认证协议及其形式化验证

Internet上不同的安全域间要实现信息资源的安全访问首先需要认证.目前常用的认证协议是Kerberos协议,但在网络环境下,该协议无法对真实的客户端进行认证.因此,给出了新的域间身份认证协议以及相应的"现时"产生方案,并利用改进的Spi演算对所设计的认证协议进行了分析,证明了该协议的安全性,能够有效地解决网间的信息安全传输.     

基于CY7C68013安全U盘的硬件设计

针对现存安全U盘的不足,提出了一款集数据加/解密、认证、抵抗攻击于一体的大容量安全U盘硬件设计方案,它能够较好地保护密算法和密钥的安全,在超期或非法操作超过一定次数时可自动销毁算法和存储的数据.从安全模型、结构模型等方面进行阐述,重点介绍了USB接口控制模块、数据加/解密、安全芯片操作等几个关键模块的开发,最后从策略、密钥安全等方面对此U盘的安全性进行了整体分析.     

基于NS-2的特定源组播仿真研究与实现

作为一种新的组播模型,特定源组播受到学术界越来越多地关注.它解决了传统IP组播组地址冲突、缺乏访问控制等问题,适于单源组播的应用.仿真实验是一种经济有效的网络技术研究方法.NS-2是目前应用较为广泛的网络仿真平台,支持各种网络协议仿真,但是并不支持特定源组播.为此,分析了使用NS-2进行IP组播模拟的实现原理,通过扩展NS-2实现SSM协议的仿真实验.模拟结果显示该仿真实现与SSM的规范相一致.     

可重构信息安全SoC芯片的设计与实现

介绍了一款可重构信息安全SoC芯片的设计与实现,采用IP桥等可重构优化技术有效地整合了系统资源,使所设计的芯片性能更高、规模更小、功耗更低。     

棉花加工厂电磁兼容问题研究

随着棉花加工技术自动化水平的日益提高,加工厂电子电气设备的电磁兼容问题越来越突出。本文通过分析加工厂主要电磁干扰源的特征,结合多年的工作实践,提出了基于EMC试验的整改方案。     

国内锅炉压力容器制造行业的信息化现状评述

回顾和总结了我国锅炉压力窗口制造行业中的信息化水平。通过对国内锅炉压力容器行业中大型制造厂计算机辅助质量保证系统开发和应用情况的调研,发现国内锅炉压力容器行业信息化都是从应用CAD系统开始,进一步开发应用CAPP系统。但其中的应用大都是信息孤岛式的,相互之间没有关联,信息只在部门内或者一定范围中实现了共享,未能从根本上解决问题。     

丙烯酸酯乳液防水混凝土性能的研究

为了研究内掺丙烯酸酯乳液制备的防腐混凝土具有抗渗防水功能,通过掺加小掺量丙烯酸酯乳液对混凝土强度、吸水率和抗氯离子渗透性能进行试验研究.结果表明:掺入一定量的丙烯酸酯乳液对混凝土的吸水率可降低20％以上,混凝土非稳态氯离子迁移系数低于4 × 10-12 m2/s的高抗氯离子防腐混凝土,从而提高混凝土的耐久性.     

LC40全轻页岩陶粒钢纤维混凝土三轴受压试验研究

利用大连理工大学的大型静、动真三轴试验机,对强度等级为LC40的全轻页岩陶粒混凝土和掺入钢纤维的钢纤维页岩陶粒混凝土进行了等比例三轴受压试验.试验中,观察了试件的破坏形态,测得了试件的三轴受压极限强度、塑性应变、峰值应变、总应变以及应力-应变曲线.结果表明,全轻页岩陶粒混凝土以及掺入钢纤维以后的钢纤维陶粒混凝土在三轴受压状态下,强度和变形较单轴受压有显著增大,并伴随有明显的平台流塑现象.因此,在工程设计中将应力平台流塑段强度及其对应的塑性应变作为轻骨料混凝土的设计强度和设计应变.最后,基于八面体应力空间建立了其相应的破坏准则,拉、压子午线与静水压力轴在高压应力区有交叉点,其破坏曲面是闭口的、子午线光滑、外凸的曲线,且钢纤维页岩陶粒混凝土的破坏包络面被相应的不掺钢纤维的页岩陶粒混凝土所包围.     

手性金属络合物催化剂在不对称合成中的应用

不对称合成是当前有机合成中热门研究领域，利用手性金属络合物催化剂催化不对称硅氢化、烷基化，以烯烃、酮、亚胺、醛等合成手性醇、手性胺、手性酮等具有很好的工业应用前景。本文论述了手性金属络合物催化剂在不对称硅氢化反应及其在二烷基锌对醛的不对称烷基化反应中的应用。     

植物-微生物协同修复土壤重金属污染研究进展

土壤重金属污染危害日益严重,在土壤修复技术中,植物与微生物协同修复技术具有显著的优越性。本文介绍了重金属污染土壤修复技术中,植物-微生物协同修复的概念、机理与类型,以及植物-细菌协同修复、植物-菌根真菌协同修复的研究进展,并对该技术未来的研究方向进行了展望,以期为植物-微生物协同修复重金属污染土壤的理论及应用提供依据参考。