基于市场占有率的操作系统安全漏洞检测模型

操作系统等系统软件中的安全漏洞本质上是一种没有满足软件安全性的缺陷.对安全漏洞的检测过程进行深入研究能够使安全测试人员合理分配测试资源,更准确地评估软件的安全性.深入分析了影响操作系统软件安全漏洞检测的因素,认为安全漏洞检测速度与软件的市场占有率、已发现漏洞数和未发现漏洞数成正比.在此基础上建立了基于市场占有率的漏洞检测模型.该模型表明:在软件发布之前只会暴露少量安全漏洞;某些安全漏洞最终不会被检测到.这两个结论已被实际的数据证实.最后用提出的模型分析了三种流行操作系统的漏洞检测数据集.与同类模型相比,模型具有更好的拟合能力与预测能力.     

基于可靠性增长模型的软件可靠性增长测试充分性准则

结合软件可靠性增长模型,扩充了基于可信度度量的软件可靠性增长测试充分性问题度量准则,提出了关于可靠性增长测试充分性问题新的度量准则：可靠性测试只有同时满足可靠性增量指标要求、可信度要求和每单位测试资源发现的故障数要求方可终止。然后,以一个真实数据集为例,应用所提出度量准则求出了测试应该停止的时间。实验证明,这样的度量准则,使得终止条件更加严格,可靠性测试更加充分,为可靠性测试充分性问题的解决提供了新的思路。     

守恒性平面二维水流数学模型的研究

基于平面二维非恒定水流方程 ,结合实际应用需要 ,建立了一种守恒性较好的平面二维水流数学模型 ,并在概化河道和某一天然河道上对所建立的模型进行了验证 ,对验证结果和模型的性能作出了分析和评价 ,证明所建立的模型能处理复杂的边界条件 ,并能保证水量和动量守恒 ,具有良好的实用和推广价值     

碳四烯烃催化裂解制丙烯的研究

采用固定床,以1-丁烯为原料,考察了ZSM-5分子筛催化剂上反应温度对催化裂解产物的影响。实验结果表明,随反应温度的升高,乙烯产率和丙烯产率均增大,620℃时分别为15．40％和33．80％。催化裂解副产重组分中,液相产物接近90％是苯、甲苯、C8芳烃和C9芳烃。C5^=和C6产率均随反应温度升高而降低,C5^=产率下降明显,650℃时仅为2．3％。     

软化水循环喷液工艺在螺杆压缩机组中的应用

介绍了软化水循环喷液系统的设备组成和工作原理,阐述了不同情况下手动启用软化水喷液系统的操作过程,从而说明了软化水循环喷液系统对螺杆压缩机组的正常运行起着至关重要的作用。     

HP6890炼厂气色谱仪工作原理及其改进

介绍了HP-6890炼厂气色谱仪的工作原理，讨论了载气切换前后，TCD检测器参比气及载气流量存在不合理匹配的问题，并提出了改进方案。     

岔48-133x井有机硅钻井液技术

近年来,大斜度、大位移井越来越多,加之复合导向钻井技术及高效PDC钻头新技术的应用,使单只钻头进尺不断提高,机械钻速越来越快,如岔河集地区下部井段最高进尺达600 m/d.由于单只钻头进尺长,未采取短程起下钻刮拉井壁以及充分循环洗井、划眼等有效措施清除虚泥饼,所以钻进过程中要求钻井液性能必须稳定,并具有粘度和切力低、摩阻小、稳定井壁能力强的特性,以确保钻井施工的顺利进行.     

C4烯烃催化裂解微反应评价工艺的改进

分析了旧微反应评价装置存在的问题，并对其进行了如下改进：进料方式由液体进料改为气体进料；反应器内原有的不锈钢丝网用定制的石英筛板替换；收集系统减少了管线，并用真空吸水法替代了压水法。改进后的微反应评价装置，提高了进料计量的准确性，减少了系统波动；防止积炭；增加了反应控制的稳定性。     

多维气相色谱法分析炼厂气

采用多维气相色谱法,用HP6890气相色谱仪,用自动阀切换技术和载气切换技术,完成炼厂气的分析。4根填充柱测定氢气和永久性气体;1根HP-PLOT／Al203毛细管柱分离有机烃类。用氢火焰离子化检测器及热导检测器分别检测烃类及无机气体。采用外标面积归一化法进行定量计算。整个系统具有分析结果重复性好、准确度高、省时、操作方便等特点。     

退火及冷却方式对5182铝合金屈服平台的影响

利用力学性能测试及显微组织观察研究了退火及冷却方式对5182铝合金板材屈服平台的影响。结果表明:在相同温度退火时,水冷合金板材的屈服强度比空冷合金板材的低;提高退火温度后,无论是水冷还是空冷都可以在一定程度上缩短合金的屈服平台,相比于退火温度影响,冷却方式对屈服平台的影响更大,水冷可以明显缩短甚至消除屈服平台;板材在420℃退火保温1～3 min时晶粒尺寸约16μm,当退火温度升高到480℃时,其晶粒尺寸在3 min内由21. 6μm长到了28. 0μm,其中有部分晶粒发生了异常长大;随着晶粒尺寸的增大,合金的屈服平台也略有减小;通过高温退火和水冷的方式可以消除合金的屈服平台。