一种轻量级的Android内核保护监控器

为阻止针对Android系统内核的攻击,保护Android系统内核不被破坏,设计一种基于ARM平台轻量级的hypervisor监控器架构。该架构利用ARM硬件虚拟化扩展技术,对不信任模块进行隔离,阻止模块中恶意代码对内核的破坏,保护关键对象不被篡改,并基于hypervisor、利用交叉视图检测rootkit。实验结果表明,该架构能及时阻止对被监控对象的修改,快速检测出rootkit威胁,减少系统被攻击后带来的损失。     

基于新的描述湍流耗散方程的k-ζ两方程湍流模型的数值算法研究

对Navier-Stokes方程进行雷诺平均后出现的各关联项建模,通过新的描述湍流脉动耗散的变量构造耗散方程,建立是k-ζ两方程湍流模型,研究了k-ζ两方程湍流模型的数值求解方法.通过求解有限体积法离散的RANS流动控制方程,数值模拟了平板,翼型,机翼等不同湍流流场,并与理论解、实验值及SST k-ω模型进行比较,全面考察了k-ζ两方程湍流模型在湍流流场计算中的准确性及适用性.数值计算表明,通过建立新的耗散方程研究湍流的方法是可行的,目前的k-ζ两方程湍流模型具有良好的数值稳定性,并且计算结果要优于或者至少与传统的两方程模型精度相当.     

基于p-多重网格的间断Galerkin方法研究

文章采用规范正交基作为测试函数,基于p-多重网格的思想,建立了间断Galerkin方法的二重网格格式,并以此求解了Euler方程,数值模拟了绕NACA0012和RAE2822翼型的跨音速流场。其中,在网格交界处采用Roe的迎风型数值通量。沿时间方向,高阶格式和低阶格式上分别采用Runge-Kutta方法和LUSGS方法推进。通过对残值收敛曲线的比较,认为文中的p-多重网格算法取得了非常优良的加速收敛效果。     

火电厂循环水排污水回用处理工艺研究

针对循环水排污水水质特点,进行了回用处理工艺实验研究。结果表明,强化混凝可有效去除循环水排污水中的有机物,对COD、TOC去除率分别为61.2%、47.5%,减轻后续膜系统的有机污染;二级软化对Ca~(2+)、Mg~(2+)、总磷、TOC、全硅的去除率分别为86.5%、92.5%、97.9%、27.4%、84.3%,减轻后续膜系统的无机污染;反渗透回收率可达到85%,反渗透产水可以作为锅炉补给水水源,反渗透浓水可以作为脱硫工艺用水。提出了地表水水源循环水排污水强化混凝-二级软化-超滤-反渗透回用处理工艺。     

木马防治的抗隐形策略研究

木马防治是整个网络安全防护体系的重要一环,木马技术在不断进步,相应的对策也需跟进,文章首先研究了不同木马对抗环境下的抗隐形策略,再对不同模式下木马的防控能力进行对比,最后对系统层面的木马防治进行分析。     

磁盘隐藏技巧

通过实践摸索出了硬盘隐藏的几点技巧.     

功能各异的压缩工具软件使用谈

１大压缩包文件的分割 目前从网上下载的文件几乎无一不是压缩格式,而且有的压缩文件包个头还很大,如果要想用软盘把它装到其它的电脑上,必须把它分割为软盘能够容纳得下的若干个小文件。一般的方法是用文件分割软件进行分割,如ＡＸＭＡＮ、ＦｉｌｅＣｈｏｐｐｅｒ等。其实,ＷｉｎＺｉｐ、ＷｉｎＲＡＲ等压缩软件都具有分卷压缩的功能,即将大于一张软盘容量的文件分卷压缩到多张软盘上。 下面介绍用 ＷｉｎＺｉｐ、 ＷｉｎＲＡＲ等压缩工具进行分卷压缩的操作方法。 １）用 ＷｉｎＺｉｐ压缩工具进行分卷压缩的操作方法 １）创建一个…     

精彩的屏幕任你截

众所周知,在Ｗｉｎｄｏｗｓ里抓一张图片,可以说是非常简单的事,只要按下ＰｒｉｎｔＳｃｒｅｅｎ 键就可抓到。但是抓到的图片大小、形状不一定符合你的要求,还需要用其它的软件去处理,因此就又显得麻烦了。有什么好的办法解决这个问题呢？其实ＳｎａｇＩｔ３２就能帮你解决这个问题。ＳｎａｇＩｔ３２是一个极其优秀的抓图软件,并且能较好地工作于全屏幕ＤＯＳ方式下,和其它抓图软件相比有以下几个特点： １）抓图的种类多：不仅可以抓取静态的图像,而且可以抓取动态图像和声音,另外,还可抓取文本内容。 ２）抓图的方法极其灵活…     

浅谈用RegCleaner为注册表减肥

注册表是Ｗｉｎｄｏｗｓ９ｘ的一个巨大的核心数据库,它由Ｗｉｎｄｏｗｓ文件夹下的Ｓｙｓｔｅｍ ｄａｔ和Ｕｓｅｒ．ｄａｔ两个文件组成,其中记载着：（１）计算机软硬件的有关配置和状态信息：（２）联网计算机的整个系统配置和各种许可协议,文件的扩展名和应用程序的关联,硬件部件的描述、状态和属性;（３）系统性能记录和其他的底层状态信息等．由于用户不断安装或卸载软件．久而久之注册表中的内容变得非常臃肿,致使系统运行速度降低．如果想为注册表减减肥．一不小心就可能导致系统崩溃．这时,相信你一定会希望找到一个能帮助…     

基于SA模型的两种曲率修正方法的应用及验证

分别应用Spalart和Dacles的曲率修正方法,基于结构化网格上的RANS求解器,加入了SARC和SAR模型,然后数值模拟了具有轻微曲率效应的零逆压梯度弯曲壁面和具有强曲率效应的180°U形弯管流动。基于SA模型的两种曲率修正方法的数值模拟结果表明:通过修改SA模型控制方程的部分源项,考虑曲率效应后的SARC和SAR模型的计算结果相当,都能够正确反映曲率效应所带来的额外雷诺应力,可以给出比原SA模型更加准确的数值模拟结果,更适于处理带有流线弯曲的流动问题。SARC模型部分结果要优于SAR模型,但SARC模型的计算量较大,需要更多的计算机资源;SAR模型增加的计算量有限,更易推广应用到三维或者非定常问题,但针对不同的问题,需调整模型中的曲率修正常数。