磁盘阵列环境下的取证目标系统重构

封存原始硬盘与业务系统服务的连续性是计算机取证中面临的一对矛盾。在独立硬盘环境中,问题的解决并不困难,但在磁盘阵列(RAID)环境下,目前还缺乏有效的解决办法。为此,为RAID环境下的取证目标系统的重构提出一套解决方案,并设计实现其中关键任务的处理软件。实验表明,该方法可适用于不同RAID等级、不同操作系统下的系统重构,使得用户感受不到重构得到的系统与原系统有任何差异。与数据同步方法相比,该方法可以有效地减少重构的时间开销,且不会破坏原始证据硬盘上的数据。     

RTDMiner: 基于数据挖掘的引用计数更新缺陷检测方法

在Linux内核等大型底层系统中广泛采用引用计数来管理共享资源.引用计数需要与引用资源的对象个数保持一致,否则可能导致不恰当引用计数更新缺陷,使得资源永远无法释放或者被提前释放.为检测不恰当引用计数更新缺陷,现有静态检测方法通常需要知道哪些函数增加引用计数,哪些函数减少引用计数.而手动获取这些关于引用计数的先验知识过于费时且可能有遗漏.基于挖掘的缺陷检测方法虽然可以减少对先验知识的依赖,但难以有效检测像不恰当引用计数更新缺陷这类路径敏感的缺陷.为此,提出一个将数据挖掘技术和静态分析技术深度融合的不恰当引用计数更新缺陷检测方法 RTDMiner.首先,根据引用计数的通用规律,利用数据挖掘技术从大规模代码中自动识别增加或减少引用计数的函数.然后,采用路径敏感的静态分析方法检测增加了引用计数但没有减少引用计数的缺陷路径.为了降低误报,在检测阶段再次利用数据挖掘技术来识别例外模式.在Linux内核上的实验结果表明,所提方法能够以将近90%的准确率自动识别增加或减少引用计数的函数.而且RTDMiner检测到的排行靠前的50个疑似缺陷中已经有24个被内核维护人员确认为真实缺陷.     

MATLAB在双向推力轴承试验中的应用

本文提出了利用MATLAB API与C语言交互编程的方法,在双向推力轴承试验中实现推力轴承润滑参数测试结果的在线分析和实时图形显示.结果表明,此方法可以使推力轴承试验进程更加高效合理.     

高速线材生产过程自动化系统

简要介绍了安钢高速线材轧机的构成，主要叙述了电气自动化控制系统的构成与功能。     

城市供热FCS锅炉控制系统的设计实现

在对城市集中供热系统的组成和特点进行阐述的基础上,提出和确立了一种稳定可靠的基于现场总线技术的城市集中供热系统的控制方案,并对该控制方案在现场总线控制系统上实现的体系结构和组态运行进行了详尽的阐述.     

350MW抽风式空冷汽轮发电机轴流风扇性能研究

为使汽轮发电机轴流风扇产生的气动摩擦损耗不直接引入到电机内部,研制了大容量350MW抽风式空冷汽轮发电机。基于该电机在试验条件下轴流风扇安装角为29.2°的运行数据,开展CFD仿真计算,研究扇叶的安装角(29.2°、31.2°)和叶片数对静压效率、压升、温升等风扇性能参数的影响。通过数据分析发现,在保证风扇数目足够的情况下,电机风量较大时,可采用风扇安装角度31.2°,同时适当提高空冷器冷却能力;在电机风量较少时,建议采用风扇安装角29.2°。     

细粒度信任链研究方法

分析信任链相关研究的当前发展水平,提出细粒度信任链和细粒度系统软件信任链的思想,阐明只有细粒度信任链才能描述现实应用的真实情况.根据问题空间的复杂性,提出细粒度信任链建模的问题分解方法.该方法通过逐步拓展的策略,首先建立细粒度系统软件信任链模型,然后在此基础上建立完全的细粒度信任链模型.     

DC-Hunter:一种基于字节码匹配的危险智能合约检测方案

近年来，智能合约中的漏洞检测任务已受到越来越多的关注。然而，缺少源代码和完备的检测特征限制了检测的效果。在本文中，我们提出了DC-Hunter：一种基于字节码匹配的智能合约漏洞检测方案。它可以通过已知的漏洞合约找到类似的漏洞合约，并且可以直接应用于现实世界中的智能合约，无需源码和预先定义的漏洞特征。为了让提出的方法更加切实可行，我们应用程序切片来降低无关代码的影响，通过规范化减少编译器版本带来的差异，并使用图嵌入算法来捕捉函数的结构信息，从而显著减少误报和漏报。此外，借助DC-Hunter我们揭露了一种新型的危险合约。我们发现有一些合约是伪漏洞合约，专门用于诱骗他人尝试进行攻击，从而窃取攻击者的以太币，这种合约称为"蜜罐合约"。我们实现了DC-Hunter的原型，并将其应用于现实世界的智能合约，共有183份危险的合约被报出并确认，其中包括160份漏洞合约和23份蜜罐合约。     

基于PROFIBUS—DP的高速线材过程自动化网络系统

介绍了安钢高速线材过程自动化网络系统的构成与特点，通过Profibus总线连接主站和从站。从目前运行的效果看，完成了系统的网络控制，其系统结构与配置、实现方法有独到之处。     

乳清蛋白微凝胶颗粒的制备及其对油脂消化性的抑制作用

针对高脂肪摄入带来的高血脂、高血压、高血糖等疾病风险,定向设计高脂肪食品的乳液结构,调控其与胃肠液的相互作用,从而减少食物中油脂的消化吸收,是实现饮食健康且不降低食物感官品质的有效途径。探究了不同pH值条件下,由乳清浓缩蛋白(WPC)通过湿热-均质组合方法制备的乳清蛋白微凝胶颗粒(WPMP)的理化性质(粒径分布、热力学性质、流变学性质等),并测定了加入WPMP的油脂乳液在消化道中的稳定性、游离脂肪酸(FFA)的释放率。结果表明:在pH值为5.5时,制备的WPMP具有相对较小的中位粒径6.63μm、较高的热稳定性、较小的流体指数(n=0.06)和较好的触变性(SR=0.42)。加入WPMP的油脂乳液的油滴粒径显著小于加入WPC的油脂乳液(P<0.05),且加入在pH值为5.5时制备的WPMP,可获得油滴粒径最小(13.28μm)的油脂乳液。相较于加入WPC制得的油脂乳液,WPMP油脂乳液在模拟胃肠消化液中具有更高的稳定性和更低的FFA释放率,且不同pH值条件下制备的WPMP油脂乳液具有不同的FFA释放率。研究证实,WPMP对消化道内胆盐界面取代、脂肪酶-辅脂酶界面吸附具有一定阻隔作用,因此,WPMP对油脂乳液的消化吸收具有一定的抑制作用,且受WPMP界面结构调控。希望研究结果可为定向设计乳液结构从而抑制油脂消化提供参考。