排序方式: 共有39条查询结果,搜索用时 0 毫秒
31.
32.
讨论在通信协议安全分析中形式描述技术的使用方法。重点研究在协议模型的基础上建立层次化的协议攻击行为模型的方法,对所建模型进行形式化验证和脆弱性分析,根据验证和分析结果提出防护措施,设计安全方案。给出Petri网建模实例,提出形式描述技术在通信协议安全分析中的一些其他应用。 相似文献
33.
34.
为了得出粒度对赤泥在煤基条件下等速率加热过程中的直接还原反应的转化过程及反应动力学的影响,采用热分析技术、扫描电镜等手段研究了赤泥在直接还原过程中的热行为和不同条件下焙烧产物中铁矿物的存在形式等。实验结果发现,煤基条件下的直接还原反应主要分为赤泥脱水和铁氧化物还原两个阶段。通过计算得出了这几种粒度的赤泥的还原度,同时运用Coats-Redfern积分法推断出了试样在各个阶段的最概然机理函数和活化能、频率因子等反应动力学参数,并且用Flynn-Wall-Ozawa法对计算结果进行了验证。 相似文献
35.
如今,工业设备不断向智能化、大型化发展,伴随着设备故障日益复杂多样,如何快速、准确地诊断故障成为一个难题。通过研究,提出以大数据技术Hadoop为平台,基于兴趣属性列的改进的fp-growth算法作为数据挖掘方法,来实现工业设备的故障诊断。实验以工业齿轮箱为例,首先选取两部分数据分别作为训练数据和测试数据,在预处理阶段对训练数据进行空值处理、维度相关性分析以及抽样离散化数据;其次提出基于兴趣属性列的改进的并行fp-growth算法,从训练数据中挖掘出属性列与故障之间的关联规则;最后通过测试数据验证关联规则,证明了改进方法的可行性。实验结果表明,基于兴趣属性列改进的并行fp-growth算法能够在保证准确率的情况下进行快速故障诊断。 相似文献
36.
37.
以长链伯胺为模板剂、正硅酸乙酯和钛酸四丁酯为原料制备了Ti-HMS介孔分子筛,经硅烷化处理后得到Ti-HMS催化剂并将其应用于丙烯环氧化反应。采用XRD、N2吸附-脱附和UV-Vis等表征手段研究了合成母液中水与乙醇的体积比(简称水醇比)、模板剂分子链长度、钛含量等因素对Ti-HMS催化剂结构特性的影响。表征结果显示,合成母液中加入适量水能提高催化剂的介孔有序度并增大比表面积和孔体积,最佳水醇比为0.30~0.60。采用分子链较长的模板剂或减少钛含量能促使钛原子进入HMS分子筛骨架中,同时增大比表面积、孔径、孔体积和孔壁厚度。Ti-HMS催化剂上同时存在骨架四配位钛物种和骨架外六配位钛物种,前者是催化丙烯环氧化反应的关键活性位,而后者则会引起氧化剂无效分解。 相似文献
38.
以长期评价-再生为一个运行周期,在固定床反应器中于520℃且有水的条件下,考察了用于C4烯烃转化制丙烯的ZSM-5催化剂的稳定性,并采用NH3-TPD方法表征了催化剂的总酸量,研究了催化剂的性能与其酸量的关系。实验结果表明,除在第1运行周期中,C4烯烃转化率随反应时间的延长而降低外,从第2运行周期开始,C4烯烃转化率和丙烯收率几乎不随反应时间而变化;经过累积4 000 h的评价后,C4烯烃转化率约为65%,丙烯收率大于30%。结合NH3-TPD表征结果发现,C4烯烃转化制丙烯的反应可在较低催化剂酸量下进行,催化剂的酸性或酸分布影响C4烯烃转化率和乙烯收率;当C4烯烃转化率高时,丙烯收率与催化剂的酸量关系不密切,但C4烯烃转化率低时,丙烯收率降低。 相似文献
39.
采用XRD、NH_3-TPD、N_2物理吸附、XRF和SEM等方法对两种ZSM-5分子筛(ZRP和FX分子筛)进行了表征,并在固定床反应器中于600℃下对其催化裂解石脑油的性能进行了评价。表征结果显示,ZRP和FX分子筛均具有ZSM-5分子筛的特征衍射峰,均为单晶条状晶粒,且具有几乎相同的硅铝比和酸量及酸分布,但两者的晶粒尺寸、BET比表面积和微孔比表面积有差异;ZRP分子筛的晶粒粒径为2~3μm,FX分子筛的晶粒粒径小于1μm;FX分子筛的BET比表面积和微孔比表面积大于ZRP分子筛。实验结果表明,ZSM-5分子筛对石脑油的催化裂解能力及乙烯与丙烯的总收率随晶粒尺寸的减小而增大,这与小晶粒分子筛的扩散路程短有关。 相似文献