可编程逻辑控制器的控制逻辑注入攻击入侵检测方法

可编程逻辑控制器（PLC）的控制逻辑注入攻击通过篡改控制程序操纵物理过程,从而达到影响控制过程或破坏物理设施的目的。针对PLC控制逻辑注入攻击,提出了一种基于白名单规则自动化生成的入侵检测方法PLCShield (Programmable Logic Controller Shield)。所提方法以PLC控制程序承载着全面、完整的物理过程控制信息为依据,主要包括两个阶段：首先,通过分析PLC程序的配置文件、指令功能、变量属性和执行路径等信息,提取程序属性、地址、值域和结构等检测规则;其次,采用主动请求PLC的运行“快照”和被动监听网络流量结合的方式,实时获取PLC当前的运行状态和流量中的操作、状态等信息,并通过对比得到的信息与检测规则识别攻击行为。以4款不同厂商和型号的PLC作为研究案例验证PLCShield的可行性,实验结果表明所提方法的攻击检测准确度达到97.71%以上,验证了所提方法的有效性。     

盐下碳酸盐岩储层叠前深度偏移成像分析

研究区内盐丘众多,盐丘厚度大、形状各异,从而改变了盐下反射能量的分布,进而导致盐下目的层构造不能正确成像。本文在比较叠前时间偏移和深度偏移效果的基础上,确信只有应用叠前深度偏移技术才是解决研究区内盐下构造正确成像的惟一途径。理论模型试算结果及实际资料应用效果表明:叠前深度偏移可以使复杂盐丘下目的层准确成像,消除高速盐丘对下伏地层的上拉效应。钻井标定结果也证实叠前深度偏移结果解释的盐下构造真实可靠,提高了钻探成功率,降低了勘探风险。     

海底节点高效混采海量数据分离技术

与陆上混采数据混叠干扰类型单一相比,由于海底节点(OBN)高效混采施工的特殊性,OBN高效混采数据中存在多种混叠干扰类型,其中非生产炮数量过多造成逻辑坐标系统下的重炮以及复杂海域导致的严重变观现象,是OBN高效混采资料中产生多种类型混叠干扰的两种主要原因.为此,通过分析OBN高效混采数据中混叠干扰类型,研究了迭代动态映...     

注聚井注入状况诊断方法研究

在室内试验和动态分析的基础上，对引起注聚井注入困难的原因进行了分析，提出了利用单井动态预测结果和实际注入动态曲线对比判断聚合物注入状况的方法，建立了预测注聚井注入动态的预测模型，并对数值模拟计算结果进行了分析。同时还评价了现场应用效果。通过数值模拟和实际注入动态曲线对比，可以初步判断待措施井有无近井地带堵塞，为提高注聚井压解堵措施的有效性奠定了基础。     

“安内”是五粮液的当务之急

王国春时代的结束与唐桥时代的开启，之所以经历了近4年的磨合，我认为最根本的原因在于五粮液集团和五粮液股份公司之间的关联交易太过错综复杂，很难在短时间内梳理清楚。即便是现在，五粮液仍然存在商标及标识许可、土地租赁、综合服务等尚未处理完结的关联交易问题。所谓“攘外必先安内”，五粮液想要继续保持白酒大王的位置，必须先处理好内部问题，才能走得更稳当。     

引黄水沙问题探讨

引黄泥沙给沿黄两岸的经济、社会和环境带来了严重的负面影响。引黄泥沙已成为制约引黄灌溉发展的主要因素。对引黄水沙综合利用,其中包括淤改、淤背围堤,清水灌溉和泥沙向建筑材料的转化将会变泥沙"包袱"为"资源",取得良好的经济效益。     

激活素受体相互作用蛋白2在小鼠Hepa1-6细胞中的表达及调控

目的研究激活素受体相互作用蛋白2(ARIP2)在小鼠肝细胞中的表达及调控。方法采用半定量PCR技术检测ARIP2 mRNA在Hepal-6细胞中转录水平的动力学变化规律及其调控因素。结果Activin A刺激Hepal-6细胞ARIP2 mRNA的转录水平呈时间依赖性升高,刺激早期(4h)无明显变化,12h后显著升高。信号传导激动剂PMA和LPS刺激He- pal-6细胞24h,均可上调ARIP2 mRNA的转录水平,而A23187则抑制其转录。ARIP2过表达明显抑制Hepal-6细胞ActRIIA mRNA的转录水平,对ActRIIB则无影响。结论ARIP2作为激活素信号传导抑制蛋白,其表达受多种因素影响。ARIP2可能通过影响ActRIIA表达,参与激活素作用后期的信号传导负反馈调节过程。     

一区石炭系双重介质火山岩油藏氟硼酸深部酸化及效果分析

一区石炭系是一个复杂的双重介质火山岩油藏，采用氟硼酸深部酸化技术，三年来经过现场11井次的试验，油层物性参数得到明显改善，获得了净创产值92万元的效果。     

铁路货车枕簧自动检测分类系统的实现

根据位移传感器获得铁路货车枕簧的高度信息，利用电脑消除高度测量误差和按照高度要求进行分类，在气动系统的帮助下，将枕簧输送到规定的滚道，对铁路车辆提速有直接应用价值．     

双聚焦破片式战斗部计算机辅助设计研究

介绍了双聚焦破片式战斗部研制背景和特点,建立了双聚焦破片式战斗部的数学模型,根据传统的设计方法进行了计算机辅助设计研究,给出了聚焦式战斗部具体的仿真方法和优化设计方法。这些方法对其他类型的战斗部计算机辅助设计技术的发展具有很好的启示和借鉴作用。