基于扩展通用图灵机的计算机病毒传染模型

在计算机基础理论模型——图灵机模型的基础上,提出了一种扩展的通用图灵机（EUTM）模型,这种模型突出了计算机病毒的传染特性,极大地简化了计算机病毒传染的形式描述,并根据EUTM模型给出了计算机病毒的形式定义,形式化描述了计算机病毒在单机和多机环境下的传染。最后指出了Fred Cohen关于病毒检测不可判定性定量证明的不足,并利用EUTM模型证明了病毒检测不可判定性定理。     

等规聚丙烯球晶形变过程的研究

本文以喷涂抗静电剂与微量镀金的方法,利用SEM和SALS研究了等规聚丙烯球晶的拉伸形变过程,克服了单独使用抗静电剂和单独镀金方法的缺点。在观察过程中,二次电子信号强,试样无放电现象,也无金膜龟裂现象。研究结果表明:圆形球晶在拉伸应力作用下逐渐变为椭圆形,球晶中的径向微纤向赤道方向滑移取向。     

离心泵整机流场计算方法研究

为了探究不同流场计算方法对离心泵内部稳态及非稳态流动计算结果的影响,以某型离心泵为研究对象,建立了流场三维有限元网格。采用Fluent软件仿真技术,利用RNG k-ε湍流模型,分别运用流固耦合与非流固耦合两种方法对离心泵流场进行稳态及非稳态数值计算。对比两种计算方法得到的稳态速度与压力对比,以及非稳态的不同监测点压力脉动对比。结果表明:流固耦合对蜗壳内的速度压力分布、压力脉动以及所受流体激励力有一定影响,对叶轮的影响很小,研究结果对于流场计算方法的选择具有重要的参考和借鉴作用。     

基于电镜与红外光谱技术研究不同处理方式对小龙虾虾壳粉表观结构的影响

目的 探究不同处理方法对小龙虾虾壳粉的主要成分和表观结构的影响。方法 样品经清洗干燥、粉碎、筛分后采用不同方式(脱钙质、脱蛋白、均质等)进行处理, 采用常规方法对样品中组分进行分析, 采用扫描电镜对样品表观结构进行表征, 采用红外光谱仪对样品内部红外吸收特征进行测定。结果 粗制小龙虾虾壳粉中蛋白质、钙质及甲壳素含量分别达15.02%~35.46%、13.30~18.70 g/100 g和10.88%~12.80%, 不同筛分中成分存在显著差异(P＜0.05); 电镜扫描结果显示单一蛋白酶仅可脱除小龙虾虾壳粉表层蛋白质, 单一的乳酸处理可有效脱离小龙虾虾壳粉表面的钙质并可渗透至内部, 乳酸和蛋白酶联合处理可脱除小龙虾虾壳中甲壳素核表层的蛋白质, 联合处理基础上的均质可增加样品的松散程度; 红外光谱检测显示经先后经脱钙质与脱蛋白处理的小龙虾虾壳粉显现出甲壳素红外吸收特征, 表明经脱钙质与脱蛋白处理的样品主要成分为甲壳素。结论 小龙虾虾壳是优质的可食用资源, 具有非常大的开发价值, 经乳酸和蛋白酶联合处理可脱除甲壳素表面的钙质和蛋白质, 本研究可为制备高纯度甲壳素及虾壳的高值化综合利用提供借鉴。     

SCADA系统远程维护技术在临濮管线的应用

SCADA系统远程维护技术的应用可以缩短维修时间,降低维护成本,提高SCADA系统的利用率,同时解决企业维护人员匮乏问题。介绍了临濮线SCADA系统的构成及在使用过程中出现问题的处理方式,重点阐述了临濮线SCADA系统远程维护技术的设置过程、方法及处理效果。通过SCADA系统远程维护技术的应用,有效保证了输油生产的安全运行。     

清防蜡剂的作用机理及影响因素

概括了油井蜡沉积的原因和危害,分析了油基、水基、乳液型清防蜡剂及固体防蜡剂的特性,并综述了清防蜡剂的作用机理及影响因素,提出了清防蜡剂的未来发展方向.     

调整SCADA系统提高数据传输的稳定性

基于SCADA系统之上的管道泄漏监测软件系统,主要是通过管道压力变化发现原油泄漏点所处的位置,及时调整全线运行工况,减少跑油损失和环境污染,同时也为抓捕盗油分子及盗油车辆提供时间上的支持。在使用过程中,出现数据传输不稳定的现象,介绍了临濮输油管线SCADA系统的软、硬件配置。针对在使用过程中发现段庄、范县、濮阳三站站控系统与聊城控制中心的数据传输存在中断的现象,从人员、PLC设备、通信线路、网络设备、CITECT监控软件5个方面分析了影响SCADA系统数据传输稳定性的原因。结论:是由信号传输设备过多和CITECT监控软件配置造成的,并提出了两点改进措施。通过调整SCADA系统,提高了数据传输的稳定性,使管道监测、定位设备的使用率大大提高,为管道的安全平稳运行起到保驾护航的重要作用。     

计算可靠的Diffie-Hellman密钥交换协议自动证明

针对Diffie-Hellman密钥交换协议,提出了采用观测等价关系的建模方法,证明了该方法的可靠性,并利用该方法扩展了自动工具CryptoVerif的验证能力。发现了对公钥Kerberos协议自动证明中敌手能力模型的缺陷,并提出了修正方法。利用扩展的CryptoVerif自动证明了基于Diffie-Hellman的Kerberos协议的安全性,验证了该扩展方法的有效性。与现有大部分证明方法不同的是,该证明方法既保留了自动证明工具的易用性,又保证了计算模型下的强可靠性。     

反病毒虚拟机的缺陷及其改进

反病毒虚拟机是检测变形病毒的重要手段。文中分析了反病毒虚拟机的工作原理,揭示了反病毒虚拟机存在的三方面缺陷：无法模拟需要人工选择的程序分支、无法模拟程序完整的执行过程、程序模拟执行时间与实际执行时间不相等,分析了上述缺陷产生的原因,并通过一组实验验证了问题的严重性,最后,针对上述缺陷提出了相应的改进方法。改进后的反病毒虚拟机有效地弥补了缺陷。     

谈谈建筑质量监督管理中的几点问题研究

下文作者根据自己的工作经验,分析了现阶段形势下我国工程建设及质量监督中所存在的问题,及解决问题应该采取的措施。