隐蔽信道新型分类方法与威胁限制策略

隐蔽信道是指恶意通信双方通过修改共享资源的数值、特性或状态等属性,来编码和传递信息的信道.共享资源的选取,由隐蔽信道的类型与具体通信场景所决定.早期,存储隐蔽信道和时间隐蔽信道主要存在于传统操作系统、网络和数据库等信息系统中.近年来,研究重点逐渐拓展到了3类新型隐蔽信道,分别为混合隐蔽信道、行为隐蔽信道和气隙隐蔽信道.对近年来国内外隐蔽信道研究工作进行了系统的梳理、分析和总结.首先,阐述隐蔽信道的相关定义、发展历史、关键要素和分析工作.然后,根据隐蔽信道共享资源的类型以及信道特征,提出新的隐蔽信道分类体系.首次从发送方、接收方、共享资源、编码机制、同步机制、评价指标和限制方法这7个方面,对近年来新型隐蔽信道攻击技术进行系统的分析和归纳,旨在为后续隐蔽信道分析和限制等研究工作提供有益的参考.进而,讨论了面向隐蔽信道类型的威胁限制技术,为设计面向一类隐蔽信道的限制策略提供研究思路.最后,总结了隐蔽信道中存在的问题和挑战.     

欠平衡钻井设计中若干问题的考虑

随着欠平衡钻井技术在国内油、气田勘探开发方面的逐步应用 ,对具有指导作用的欠平衡钻井工程设计质量的要求显得尤为重要。文中结合欠平衡钻井实践与调研 ,对设计中的钻井地层、井身结构、钻机类型、钻具组合、钻井液、负压差、井控要求、井场布置等主要方面进行了分析与说明     

Kaffe在龙芯2E上的移植

为了在龙芯2E处理器上建立稳定的Java运行环境,丰富龙芯平台的上层软件库,以Kaffe这款开源Java虚拟机为移植对象,分析了其运行机制,确定了其代码结构中平台相关的3个主要模块:SysCallMethod、Trampoline和JTT,并结合龙芯2E处理器的特点,给出了相关模块的修改方案.最后用第三方的测试标准对移植后的虚拟机进行了测试,表明了移植的有效性.     

基于树状线性规划搜索的单调速率优化设计

改善单调速率(rate monotonic,简称RM)可调度性判定算法的效率,是过去40年计算机实时系统设计的重要问题.最近,研究人员把可调度性判定问题扩展到了更一般的优化设计问题,即,如何调节在区间可选择情况下的任务运行时间,使得:(1)系统RM可调度;(2)系统的某个性能(如CPU利用率)达到最优.在已有的求解实时系统RM优化设计问题的方法中,都是先把原问题建模成广义约束优化问题,然后再对广义约束优化问题进行求解.但现有方法的求解速度较慢,任务数较多时不再适用.提出一种求解优化问题的方法——基于树状的线性规划搜索(linearprogramming search,简称LPS)方法.该方法先将实时系统RM优化设计问题建模成广义约束优化问题,再将其分拆成若干线性规划子问题,然后构造线性规划搜索树,利用剪枝搜索算法求解部分线性规划子问题,最后得到优化解.实验结果表明:LPS方法相比于已有的方法能够节省20%~70%的求解时间,任务数越多,节省时间越多.该研究成果可以与计算机可满足性模定理(satisfiability modulo theories,简称SMT)领域的多个研究热点问题联系起来,并可望改善SMT问题的求解效率.     

烟气脱硫除尘治理及其产物应用

论述了浮法玻璃工业窑炉废气采取脱硫除尘等末端治理的新型喷雾干燥工艺的流程、特点和影响因素。针对脱硫产物的成分物性和着色金属离子的含量,提出了循环利用的措施,以达到节能降污减排增效的目的。     

基于命令紧密度的用户伪装入侵检测方法

根据Unix系统中用户的历史命令序列,提出一种基于命令紧密度模型的用户伪装入侵检测方法.该方法从命令组合的角度抽取用户的行为模式.用户经常组合使用的命令,表现出关系紧密;不常被一起使用的命令,表现出关系疏远.通过滑动窗口方法从用户的历史命令序列中生成紧密度矩阵.如果待检测的命令块对于该用户来说表现出紧密度过低,则判断为异常.实验表明该方法计算量小,检测效果好,而且具有很高的实时性.     

珠海横琴新区堤岸工程堤顶高程差异性初步分析

由于横琴新区环岛堤岸建设的时间及工程属性不同,造成部分堤岸堤顶高程不一致。首先调研横琴新区已建及拟建堤岸的堤顶高程,并对《横琴新区控制性详细规划深化》、《横琴新区市政工程专项规划》等相关规划进行解读;在上述工作的基础上,分析造成堤岸高程不一致的原因,并提出解决堤岸高程不一致的相关建议。     

松辽两江地区嫩8井钻井液技术

在松辽盆地嫩江沿岸钻井过程中经常遇到塌、漏、阻、卡现象，尤以青山口组的青２、３段问题突出，主要表现为：起钻遇卡不严重，但下钻遇阻严重，需划眼６～７ｄ．嫩８井采用具有封堵防塌能力的聚合物钻井液体系和相应的工程措施，顺利地钻达目的层，技术经济效益显著。     

二辊斜轧穿孔机轧辊转速对高合金钢毛管质量的影响

研究了在二辊斜轧穿孔机上穿孔高合金钢时,轧辊转速与管坯、毛管破裂的关系,分析了轧辊转速对高合金钢毛管质量的影响。实验证明,轧辊转速较低时,管坯容易形成孔腔;在轧辊转速较高时,管坯及毛管容易出现分层;在它们之间存在一个出现分层的临界轧辊转速。在φ30mm试验穿孔机上,将轧辊转速降低到出现分层的临界轧辊转速以下,消除了分层缺陷,穿出了合格毛管。     

气田排液采气配套技术研究与应用探讨

随着气田的开发,压力的下降,气井积液对气田产量会产生很大影响。排液采气是气田开发中的重要手段,是采气工艺研究和提高天然气采收率的主要内容和关键所在。本文分析了现阶段不同的的排液采气配套技术如泡沫排水采气、气举排水采气、机抽排水采气等技术在实际采气中的运用情况,对其研究和使用具有借鉴意义。