一种可检测类型缺陷攻击的SAT改进模型

针对现有SAT模型检测器不能检测类型缺陷攻击的问题,提出了一种新的SAT#改进模型.该模型通过在匹配模式下引入无类型变量,并利用无类型消息的概念,解除了SAT模型检测器对未知消息的类型限制,并且在诚实主体重写规则中用无类型消息替换了原来的强类型限制消息.通过增加消息匹配算法,使诚实主体能够接受带有类型缺陷的消息,从而实现类型缺陷攻击的检测.通过对Otway Rees协议进行检测,不仅发现了已有的针对发起者A的类型缺陷攻击,而且发现了新的针对响应者B的类型缺陷攻击,其实验结果证明了SAT#模型具有一定的可靠性.     

Cu~(2+)对热活化过硫酸钾氧化双酚S效果的影响

以双酚A的代替物双酚S为目标污染物,研究了Cu~(2+)对热活化过硫酸钾(PS)降解双酚S的影响。此外,考察了Cu~(2+)投加量浓度与温度对降解效果的影响及不同条件下过硫酸盐的剩余含量。结果表明,Cu~(2+)能有效提高热活化PS降解双酚S的效率。在60℃时,单独过硫酸盐用了180 min降解了73.02%的双酚S,而存在Cu~(2+)时只需要90min,去除率就达77.05%。随着Cu~(2+)投加量浓度的增加,降解速率提高。温度的提高促进了Cu~(2+)活化PS降解BPS,Cu~(2+)存在时剩余PS含量也随着温度的升高明显下降。可能的机理是形成了比较稳定的有机物-铜络合物,使活化过硫酸盐变得容易。     

论水电及流域梯级开发的风险管理与保险解决方案

风险管理对实现水电开发项目目标具有重大意义,值得水电开发项目管理人员对其进行深入研究.对水电及流域梯级开发的风险因素进行了归类分析、对风险管理及保险解决方案做了一定探讨.笔者认为,向保险公司投保是转移自然灾害、意外事故、不利的社会事件等部分环境风险的最佳途径,而保险解决方案之核心内容在于业主采取必要的组织、管理、经济、技术、合同等措施,以确保科学合理地实现风险转移.     

板栗真空爆壳机的水蒸汽喷射式真空系统设计

根据板栗真空爆壳工艺试验的研究及爆壳机对真空系统的工作要求,设计了水蒸汽喷射真空泵附设启动喷射泵的真空系统,并将喷射器乏汽用于爆壳过程的加热,使真空爆壳机具有运行稳定可靠,高效低耗等特点.     

空气等离子体射流动态过程分析

等离子体射流可有效提高点火效率,为探究等离子体射流动态特性,建立了实验测量系统,利用高速CCD相机记录等离子体点火射流发展过程,分析了等离子体射流击穿过程和稳定工作过程特性。实验结果表明:设计的等离子体点火器电弧击穿时间为65 ns,击穿电压为9.2 k V,射流形成时间约为1.62 ms;大尺度分流周期约为1.1~1.8 ms,小尺度分流周期约为0.1~0.16 ms;电极温度的均匀度、高速旋流气体对电弧发展以及射流形成过程中的强烈脉动有不同程度的影响;射流核不存在稳定区域。     

高温电弧等离子体点火器特性实验研究

等离子体点火器可以产生高温等离子体射流来提高点火效率,点火器的特性决定着等离子体点火的效果。笔者利用建立的实验测量系统,测量了不同点火器电极间距和介质气体流量下等离子体点火器的特性,并对实验结果进行了分析。实验结果表明:电极间距要控制在一定范围内防止维持电压过大而使放电变得困难且放电稳定性降低;点火器极间电流随介质流量的增大逐渐变小;点火器射流长度随介质流量的增大先增大后减小。     

电气接地设备选用的分析

阐述了加强电气接地管理的重要意义,系统分析了不同电气接地装置的优缺点,以及采取的积极措施.     

放射性棉制品劳保玻璃固化过程退火工艺参数研究

针对放射性棉制品劳保的玻璃固化优选配方,通过测量低温黏度进行了退火工艺研究。结果表明:优选配方玻璃固化过程中的转化温度Tg为576℃,软化温度Tf为636℃,、应变点温度为556℃,退火点温度为606℃。根据上述结果,确定该配方玻璃固化过程的适宜退火温度范围为556~586℃,从而为等离子体高温焚烧玻璃固化技术处理放射性棉制品劳保配方的工程应用提供了整备工艺参数。     

六西格玛设计模式与方法研究

本文首先分析了面向六西格玛设计的各种流程模式,提出了基于设计和顾客角度的设计流程和六西格玛设计的技术路线,然后从设计质量的重要性入手,深入剖析面向六西格玛设计所蕴含的基本原理,以便更好地理解和应用六西格玛设计。     

一种混合的Tor匿名通信系统

提出了一种混合的Tor匿名通信系统方案,它不仅能够保证Tor系统低的通信延迟,而且还能够排除其因未使用填充信息和批量处理技术而导致的安全问题.它确保了Tor匿名通信系统能够更加可靠地运行,实现用户身份隐藏.