基于抽象解释理论抽取多态恶意程序特征码

抽象解释理论是Cousot.P和Cousot.R于1977年提出的程序静态分析时构造和逼近程序不动点语义的理论。文章将该理论应用于恶意程序特征码抽取,通过详细描述抽取过程的各个步骤,提出了一种专门针对多态恶意程序的检测方法,从而为恶意程序检测开辟了新的思路。实践证明所述方法准确、高效。     

有载调压开关凸轮压片卡滞导致机构连调、电机空气开关跳闸的故障

有载调压开关是变压器中重要的组成部分,其工作原理是在保证不切断负载电流的情况下变换高压绕组分接头,改变高压匝数进行调压的。有载调压开关,在我国普及使用已达十多年,但由于做工工艺、产品问题等原因,有载调压开关也存在较多的故障。文章对一起主变有载调压开关凸轮压片卡滞导致机构连调、电机空气开关跳闸的故障进行分析。     

多频管中电流法在长宁输气管线上的应用

简单分析目前埋地管道防腐层地面检测上常用的多频管中电流法，结合作者实际工作，介绍该技术在宁夏长宁天然气公司长宁输气管线防腐层检测评价中的应用。通过检测，共查出管道防腐层破损点137处，在对上述破损点进行开挖修补时，发现防腐层均存在不同程度老化及破损，证明该技术对于防腐层破损检测准确率达到100％，验证了多频管中电流法的准确性及科学性，同时，对使用中积累的经验进行总结，指出该技术在应用中尚存在一些局限性和不足之处。     

相分离方式对PVC/PVDF/PMMA共混膜性能的影响

在PVC/PVDF/PMMA共混比为6∶1∶3,聚合物质量分数为16％的条件下,考察了该体系相分离方式随添加剂PEG200,400,600的加入,溶剂二甲基乙酰胺(DMAc)减少而变化的情况.并通过电镜扫描(SEM)、水通量及孔隙率的测试和拉伸试验,探讨了相分离方式(扩散诱导相分离DIPS、热致相分离TIPS、扩散诱导相分离DIPS与热致相分离TIPS相结合)及PEG分子量对PVC/PVDF/PMMA共混膜断面形态结构、水通量、孔隙率、拉伸强度等性能的影响.结果表明,PEG分子量为200,400,600,加入量分别达到15％,18％,20％时,在常温下共混体系的相分离方式将由DIPS变为DIPS与TIPS相结合或单纯的TIPS;通过TIPS得到的PVC/PVDF/PMMA共混膜断面形态结构为海绵状,表面比较粗糙,水通量较DIPS和DIPS与TIPS结合得到的膜稍低,截留率和拉伸强度有一定程度的提高;PEG分子量对TIPS得到的膜的微观结构有明显的影响;由DIPS得到的膜,由致密皮层与指状大孔构成,由DIPS与TIPS相结合得到的膜,除了皮层与指状大孔外,还有海绵状结构.     

PVC/PVDF/PMMA共混膜的研制

采用剪切黏度法对聚氯乙烯(PVC)/聚偏氟乙烯(PVDF)/聚甲基丙烯酸甲酯(PMMA)体系的相容性进行研究,结果表明,该体系为部分相容体系,在此基础上采用稀溶液黏度法对各共混配比的相容性进行预测.对相容性较好的PVC/PVDF/PMMA共混体系由相转化法制备共混膜,并用扫描电镜对共混膜的形态结构进行了观察.对共混膜的...     

CO、CO2和O2对铀氢初始反应的影响

利用静态容量法测定了288 K下CO、CO2和O2在UO2表面的吸附等温线,利用压降法结合原位显微观测研究了CO、CO2和O2对铀氢初始反应的影响.结果表明,3种气体在U02表面的吸附强弱关系为O2＞CO2 ＞CO,Langmuir和Freundlich方程分别较好描述了CO、CO2的等温吸附行为.含氧气体对孕育期的影响与其吸附特性密切相关,3种气体阻抑效应的强弱关系为CO2＞CO＞O2.CO和O2对孕育期的影响近呈线性关系,CO2对孕育期的影响则与CO2含量有关.CO和CO2的阻抑机制主要是气体分子对铀表面活性位的优先占据,而O2的阻抑机制相对复杂,可能涉及水分子前驱态的形成和吸附O粒子扩散两种表面化学过程.根据阻抑机制和吸附特性导出的数学模型较好描述了CO和CO2对孕育期的影响规律.     

基于抽检数据的食品相关产品风险综合评价

为通过大数据挖掘预测食品相关产品安全风险隐患,基于2018~2020年度食品相关产品国家监督抽查的7704批次数据,分析我国食品相关产品安全现状与风险因素,运用层次分析法构建食品相关产品综合评价体系,计算食品相关产品安全综合指数。结果表明,食品相关产品平均不合格率为4.56%,均高于同年度食品抽检不合格率。密胺塑料餐具、纸杯、餐具洗涤剂等7类产品不合格率高于平均水平,塑料杯、塑料菜板、不锈钢厨具等10类产品不合格品低于1%。跟踪抽查连续两次不合格企业比例呈现上升趋势,不合格产品和问题重复出现。层次分析法构建的综合评价体系由5个一级指标和7个二级指标构成,一级指标为影响食品相关产品安全的主要因素,权重从高至低依次为化学物质迁移0.354,微生物超标0.331,重金属超标0.171,物理性能不合格0.100,卫生性能差0.044。二级指标为食品相关产品种类,风险较高的产品有洗消剂（0.252）、纸和纸板制品（0.189）、塑料制品（0.177）,其次是竹木制品（0.170）、金属制品（0.105）,而玻璃制品（0.056）和陶瓷制品（0.051）风险相对较低。本文建立的综合评价指数与抽检不合格率趋势一致,可为相关产品风险研判和评价提供技术支撑。     

UNIX的Franz Lisp

<正> 第一节 Franz和Liszt及Lister 在UNIX的各种软件中计算机科学的学生和研究人员所喜欢的是叫做Franz Lisp的Lisp处理系统。这个处理系统是在R. Fate-man的指挥下,在伯克利开发的。但为什么起名为Franz?据说连当事者也不大清楚。有一     

铀与氧气和二氧化碳的程序升温反应行为研究

利用程序升温分析方法研究了铀与氧气和二氧化碳的反应行为(TPO).结果表明在两种气氛中的反应过程均存在诱导期;当氧气分压处在16%～45%范围内时,铀的着火点温度为581～606 K,中间产物为UO2,最终产物为U3O8;铀在CO2气氛中的着火点温度相对较高,在反应过程中,CO2解离产生CO气体;反应的表观活化能随气体浓度的升高而降低.     

钯膜制备及渗氢性能研究

随着膜分离技术的不断发展,渗氢用钯基膜由于具有优异的透氢速率、透氢选择性及良好的化学和热稳定性,已被广泛应用于氢提纯分离领域。介绍了钯透氢膜的种类、透氢机理和制备方法,总结了钯膜从最初的纯钯膜、钯合金膜到钯复合膜的发展历程和氢渗透性能研究,并重点介绍了以铌钯复合膜为代表的新型Pd/bcc型复合膜氢渗透性能的研究进展。