基于odex文件结构的Android程序逆向分析方法

研究odex文件的逆向分析方法对公安机关的电子数据检验鉴定工作具有实际意义。由于odex文件与硬件平台紧密相关,将其移植到其它Android平台上,程序通常无法运行。为了解决odex文件的取证分析问题,采用分析odex文件存储结构的方法,将二进制机器代码逐步还原为可直接阅读的smali源代码,进而通过静态方式完成取证分析工作。经实际测试,这种odex文件解析方法可以较好地应用于Android程序逆向分析工作。

电力市场的稳定性研究

建立了电力市场的离散动态模型 ,在小扰动前提下进行一阶泰勒展开 ,得到线性模型 ,然后根据广义线性离散系统解的稳定概念和判据 ,得到了电力市场的小扰动稳定性定义和判据 :若该线性模型的系数矩阵的谱半径小于 1 ,则市场稳定 ;若系数矩阵的谱半径等于 1且市场动态模型为线性模型 ,则市场临界稳定 ;若系数矩阵的谱半径大于 1 ,则市场不稳定。最后通过阻塞对电力市场稳定性的影响进行分析 ,认为阻塞对电力市场稳定性影响十分复杂 ,需进一步研究。

应用于复杂地层锚索孔施工的机具——潜孔锤跟管钻具和投球式反吹接头的使用

介绍用空气潜孔锤与同步跟下套管相结合的潜孔锤跟管钻进方法 ,以及在有残积岩屑的斜孔中应用提钻反吹接头清孔的方法。这两种方法在地质灾害治理工程中的崩滑和松散层以及破碎带等软弱不均、垮塌严重的地段进行钻孔施工能够有效地避免卡钻、埋钻事故和提高锚索的下入成功率。还介绍了使用注意事项和施工案例。