An Advanced Automatic Construction Method of ROP

Automatic return oriented programming(ROP) technology can effectively improve the efficiency of ROP constructed, but the existing research results still have some shortcomings including needing more address space, poor generality. In order to solve these problems, this paper presents an improved ROP auto-constructor QExtd. Firstly, we design a Turing-complete language QExtd L and provide the basis of gadgets analysis. Secondly, we represent the MI instruction and realize precise process of side-effect instructions for improving the efficiency of automatic construction. At last, we establish a three-layer language conversion mechanism, making it convenient for users to construct ROP. Theoretical and experimental data show that the QExtd automatic construction method is much better than the ROPgadget based on syntax. In addition, the proposed method succeeds in constructing gadgets of ROP with the probability of 84% for programs whose sizes are more than 20 KB and whose directory is "/usr/bin" in Ubuntu, which proves that the construction capability improves significantly.     

一类含参数的分数阶微分方程边值问题

利用不动点定理,研究一类含双参数的Riemann-Liouville型分数阶微分方程多点边值问题正解的存在性及正解的重数,建立了边值问题至少存在1个或3个正解的充分条件.     

一种回转式活塞压缩机的产品化设计及实验

提出了一种新型双环结构的回转式活塞压缩机,将常规往复式活塞改为新型回转式活塞,同时活塞的往复运动转变为回转运动.在保持了往复式活塞压缩机压缩比范围广、制造工艺简单等特点的同时借鉴一些回转式压缩机的优点,消除了常规活塞式压缩机的活塞惯性力,取消了常规活塞式压缩机的吸、排气阀,提升了活塞式压缩机的应用优势.设计了首款产品样机并进行了实验,实验结果证实了回转式活塞压缩机工作原理的可行性,排气压力达到了设计指标,实际排气量则达到理论排气量的一半以上.     

太原市春季PM_(2.5)和PM_(10)中As及重金属污染特征研究

为了解太原市PM10和PM2.5中重金属污染状况,采集了太原市春季环境空气中可吸入颗粒物(PM10)和细颗粒物(PM2.5)样品,利用等离子体发射光谱仪对样品中As和8种重金属(Mn,Cu,Zn,Pb,Cr,Ni,Co,Cd)的含量进行测定,并对As和重金属健康风险进行评价。结果显示:太原市PM10和PM2.5中均以Zn的质量浓度最大,分别为369.08ng/m3和271.74ng/m3;As的质量浓度相对较小,分别为3.41ng/m3和2.33ng/m3;各点位As、Cu、Zn、Pb、Cr和Cd元素主要显含在PM2.5中。PM10和PM2.5通过呼吸吸入途径产生的成人非致癌风险和致癌风险为儿童的3.98~4.00倍;非致癌风险总和(Hi)低于人体可接受的水平,不具有非致癌风险;PM2.5和PM10的致癌风险介于人体可接受范围,不具有致癌风险。各点位As和重金属在PM2.5和PM10中的非致癌风险比值PHi小于1;1号、3号点位致癌风险比值QR大于1,且对人体健康危害最严重的为可吸入颗粒物PM10,需引起高度重视。     

抛物型微分方程的多尺度有限元高效计算

提出了抛物型微分方程的高效多尺度数值计算方法.与传统有限元基函数相比,多尺度有限元基函数能更好地反映问题自身的强振荡微观信息,结合多尺度有限元格式,可使计算结果在宏观尺度获得很好的数值逼近.对时间采用欧拉向后差分离散化,得到稳定且收敛的数值结果.新方法在取得高仿真逼近的同时,节约了大量计算资源和时间,因而更具应用价值.     

XPR1在果蝇三龄幼虫神经肌肉接头中功能初探

异嗜性和多向性逆转录病毒受体(xenotyopic and polytropic retrovirus receptor,xpr1)是原发性家族性脑钙化(primary familial brain calcification,PFBC)的致病基因之一,PFBC患者常会出现步态紊乱以及认知障碍等症状.xpr1编码一种磷...     

加设支撑九层板柱结构的动力分析

板柱结构抗震性能较差,为了提高其抗震性能,提出了一种加设支撑的板柱结构体系,讨论其动力性能,并对其进行了加速度反应谱分析,与原结构及加设剪力墙的结构进行对比,效果较好。     

基于声波法和FLAC3D的矿井底板采动破坏特征研究

利用声波法对华北地区某典型岩溶水害矿井的4707工作面煤层底板不同深度、不同位置的声波波速进行探测,获得了随工作面推进时的波速变化曲线。结果表明:垂深3.9～12.1m之间的声速曲线出现较大的波动,在钻孔距工作面距离15～5m时声波波速迅速升高,在6～5m处达到最大值,工作面推过钻孔后,波速不断降低。垂深13m以上,声波曲线趋于稳定,说明已不在破坏范围内。声速法判断底板最大破坏深度为12.1m。结合FLAC3D软件,利用4707工作面的实际地质资料数值模拟煤层底板采动破坏过程,得出了煤层底板采动破坏特征:底板破坏区沿采空区四周和底板向下扩散呈现出喇叭形,随工作面的不断推进,破坏区也不断前移。     

基于MRAS证据权重法的辽西锦州—阜新金矿化带金矿潜力评价

利用已有的地质、矿产、物探及化探等资料,建立锦州—阜新金矿化带基于GIS的空间数据库。在此基础上重新建立研究区金矿区域找矿模型,其中主要找矿标志包括太古宙变质岩系、北东向及东西向韧性剪切带、北东—北北东及北西向断裂、Au-Ag-Cu-Zn化探异常、金重砂异常、航磁磁感应强度-T异常在50 nT至150 nT区间内、已发现金矿床(点)。以上述找矿标志构置预测变量(证据因子),采用MRAS(矿产资源评价系统)中的证据权重模型,对研究区首次进行基于GIS下的金矿产资源评价工作。以2 km×2 km网格为单元计算得到后验概率(P),根据P将研究区成矿远景分级并确定A,B和C 3个级别预测远景区。根据远景区分布特征,将其最终划分为19个找矿靶区,其中,A级找矿靶区3处,B级找矿靶区6处,C级找矿靶区10处。     

非线性二阶常微分方程四点积分边值问题正解的存在性

该文运用了锥上不动点定理,建立了非线性二阶常微分方程四点积分边值问题在超线性和次线性条件下的正解存在性的定理.