基于多维异构特征与反馈感知调度的SDN内生安全控制平面

为弥补现有研究在软件定义网络(Software-Defined Networking,SDN)控制平面未知漏洞防御方面的空白,本文提出了一种基于多维异构特征与反馈感知调度的内生安全控制平面的设计方案.该方案以"冗余、异构和动态"为切入点,通过组合执行体冗余集构建策略、多维异构元素着色策略和动态反馈感知调度策略,有效增加SDN控制平面对攻击者所呈现的执行体时空不确定性(逆转攻防不对称性).相关仿真结果表明该方案可以收敛全局执行体数目、增加执行体之间的多维异构度并降低系统全局失效率.     

控制流均化库卸料程序的设计及优化

<正>由于控制流均化库(TP-3)是平底库,便于土建施工,而且控制流在库内依靠充气和重力卸料,物料在库内实现轴向及径向混合均化,均化效果要优于多料流均化库(TP-2)型均化库,因此天津院着手开发控制流均化库。设计的首个控制流生料均化库自2008年12月份投产应用以来,已有几十条生产线应用此型均化库。但由于生料控制程序的原因,造成使用该库后出库生料Ca O标准偏差加大。为发挥出该库应有     

低渗透油藏中油包水乳液的生成及其扩大波及体积的作用

针对低渗透水驱波及效率低的问题,研究了具有扩大波及体积作用的油包水乳液的形成及对驱油效果的影响。乳化剂浓度、油水比以及岩心渗透率是影响水包油乳液向油包水乳液的转变的重要因素。在高浓度条件下(0.5%和0.3%),乳化剂TC-6和原油形成的分散体系以水包油乳液为主。随着浓度降低,水包油乳液转变为油包水乳液并伴随着分散体系粘度的升高。相同浓度条件下,油水比升高也会引起水包油乳液向油包水乳液的转变。质量浓度0.3%条件下,油水比6∶4时,分散体系以水包油为主;油水比7∶3时,水包油乳液转变为高粘度油包水乳液。乳化剂浓度,油水比渗透率低于50.1 m D时,水包油乳液不稳定,容易发生反相形成油包水乳液。低渗透岩心实验表明,具有扩大波及体积功能的乳化剂能够在水驱基础上提高采收率8.9%,明显高于超低界面张力表面活性剂体系提高采收率效果。同时,乳化剂分子量小、粘度低,本身不存在注入性的问题,因此对于低渗透油藏水驱后扩大波及体积、提高原油采收率具有重要意义。     

以三角形稳固基础来处理深基坑边坡及控制流砂

以三角形稳固基础为原则,结合工程实际,对深基坑中流砂成因进行分析,采取了桩承台剪力墙与混凝土连系梁联合加强边坡支护和稳固流砂的具体措施,从而达到抵抗流砂的目的,且承台剪力墙可作为边坡支撑,起到稳固边坡的作用。施工结果表明:采用的技术处理方法得当,加固后效果显著,可供相关工程参考。     

并发程序中数据竞争检测方法

针对数据竞争检测过程中的误报和漏报问题，提出一种静态数据竞争检测方法。首先，使用控制流分析自动构造线程内和线程间函数调用图；然后，收集线程内变量访问事件信息，定义竞争产生条件并分析检测出所有可能的竞争；其次，为了提高检测的准确率，进行别名变量和别名锁的分析降低漏报和误报；最后，通过控制流分析来抽象访问事件之间的时序关系，并结合程序切片技术对访问事件的发生序关系进行判断，以此避免因忽略线程交互带来的误报。依据该方法，使用Java语言在Soot软件分析框架下实现了一个数据竞争检测工具。在实验中，对JGF和IBM Contest基准测试套件中的raytracer和airline等程序进行数据竞争检测，并与目前已有的数据竞争检测算法和工具（HB算法和RVPredict）进行对比。实验结果表明，与HB算法和RVPredict工具相比，该方法检测到的数据竞争总数分别增加了81%和16%，数据竞争检测的准确率分别提升了约14%和19%，有效地避免了数据竞争检测中的漏报和误报现象。     

调校PC路之虑与忧

正电脑使用久了,系统就可能产生各种各样的问题,比如启动速度慢、运行过程中卡顿等,这时许多人就会采取优化措施。不过在通过工具或手工优化后,虽然解决了一些问题,却又产生了新问题,出现各种莫名其妙的优化后遗症。不只是系统优化会有这样的现象,在对常用的应用软件优化后,也可能会产生后遗症。所以,我们在进行优化之前就要考虑周全,而对于优化出现的后遗症则要"对症下药"进行处理。     

无线局域网的安全策略研究

针对无线局域网上资源面临的危险,标准的安全缺陷以及无线局域网欺诈、劫持等安全漏洞,提出了无线局域网的安全策略方案。在信息传输安全隐患上,通过数据加密和数据完整性校验就可以为无线局域网提供一个类似有线网的物理安全的保护。在网络标准上,一方面,可以采用新一代安全标准IEEE 802.11i,通过扩展认证协议EAP和3种加密机制(临时密匙完整性协议TKIP,以及基于高级加密标准AES的CCMP和WRAP)保障无线局域网的安全性;另一方面,采用中国无线局域网安全标准WAPI,通过公开密钥体制的椭圆曲线密码算法和秘密密钥体制的分组密码算法,实现了WLAN在多种安全机制下的兼容性。结果表明,以上针对无线局域网的安全策略,为提高无线局域网的相对安全性以及与其他网络实现互联互通提供了技术保障。     

制冷系统中的热力膨胀阀

热力膨胀阀是制冷系统的4个基本设备之一,可实现冷凝压力至蒸发压力的节流,控制流向蒸发器的制冷剂流量。由于该重要部件在保证压缩机回气拥有稳定的过热度的同时,还为蒸发器提供最佳的制冷剂,因此热力膨胀阀的体积虽小,但其运行状态却直接决定了整个系统的性能。     

KC型控制流推动篦冷机改造实践

我公司一线2　500t/d生产线于2006年11月23日投产，采用KC型控制流推动篦式冷却机，在窑系统产量正常时，篦冷机可以满足生产的需要。随着窑产量的逐步提高，篦冷机开始出现了一系列的问题。为此，2011年对篦冷机实施了技改。