基于函数重要度的模糊测试方法

针对现有的模糊测试方法缺乏对程序内部信息细粒度的认知, 使用孤立的因素进行种子筛选, 导致模糊测试时间消耗和增益不对等的问题, 提出了一种基于函数重要度的模糊测试方法, 首先, 本文使用属性标记的过程间控制流图(Attributed?Interprocedural?Control?Flow?Graph, AICFG)对函数信息和函数关系进行综合表征, 然后, 在该表征基础上对种子进行评分和评价, 根据评分和评价本文提出了更有效的种子变异策略, 同时, 本文在测试过程中根据函数命中次数对过程间控制流图的属性范围进行调整, 使用图传播算法传播属性的变化. 实验结果表明, 我们的两个优化策略对软件flvemeta测试中在路径数目发现方面与基线模糊测试工具Azmerican Fuzzy Lop (AFL)相比分别提升了11.6%和13.7%左右, 我们实现的工具FunAFL在对jhead、flvmeta和libelfin等软件测试中也获得了比MOPT和FairFuzz更高的覆盖率, 在实际应用中在binutils、ffjpeg、xpdf、jhead、libtiff和libelfin等软件上发现了7个bug, 获得了1个CVE编号.     

房地产开发企业核心能力的界定分析

鉴于目前有关核心能力理论的研究还十分薄弱 ,难以指导房地产开发企业经营实践。国内大部分房地产开发企业对核心能力的定义认识不足 ,对房地产开发企业核心能力的认识比较模糊 ,从而不能明确自己现有的核心能力是什么 ,将来要建什么样的核心能力 ,因此 ,房地产开发企业核心能力的界定既是成功实施以核心能力为基础的战略管理的重要前提 ,也是摆在中国房地产开发企业理论界和实践界面前的一项急待解决的重要课题。     

三维有序大孔金属氧化物TiO_2和Fe_1Mn_4O_x的表征与吸附脱硫性能

通过分散聚合法制备出聚苯乙烯微球,并以此为胶晶模板,合成了三维有序大孔单金属氧化物TiO2(3 DOM TiO2)和双金属氧化物Fe1Mn4Ox(3 DOM Fe1Mn4Ox)。利用氮气吸附(BET),扫描电子显微镜(SEM),傅里叶变换红外光谱(FTIR)等分析方法表征了合成样品的性质及结构,并用含硫量为600 mg/L的模拟柴油(正辛烷+噻吩)对合成样品的吸附脱硫性能进行了测试。结果表明,合成的3 DOM TiO2具有(500±20)nm的大孔和2.4 nm的介孔,3 DOM Fe1Mn4Ox具有(450±10)nm的大孔和2.8 nm的介孔;TiO2,Fe1Mn4Ox的穿透硫容量分别为4.68,1.83 mg/g;TiO2经2次硫化再生后其穿透硫容量仍可达到新鲜样品的92.3%。     

含卸压孔煤岩蠕变特性数值模拟研究

随着煤炭开采深度的增加，煤岩体赋存条件变得更加复杂，冲击地压事故频发，严重影响了煤炭的安全高效开采。大直径钻孔卸压是治理冲击地压的有效方法之一，为了研究含卸压孔煤岩的蠕变特性，基于FLAC^3D数值模拟软件，采用Burgers蠕变本构模型开展了煤岩蠕变数值模拟研究，对比分析了单轴压缩条件下完整试样与含卸压孔试样在不同应力水平下的蠕变特性，结果表明：蠕变曲线全面反映了数值模型的瞬时弹性变形、减速蠕变和等速蠕变的演化阶段；卸压孔为煤岩体提供了变形补偿空间，减少了巷道的变形量；在合理的卸压孔尺寸范围内，卸压孔直径越大，其可为煤岩提供的变形空间越大，越有利于减小冲击地压。工程应用结果显示，卸压后的巷道变形量为同时期未卸压巷道变形量的70%左右。研究成果可为煤矿巷道的长期稳定和冲击地压解危提供参考。     

全国两会代表委员热议消防安全提高国民消防安全意识迫在眉睫

3月7日,参加完小组讨论的全国政协委员黄宏刚刚步出会场,就被5个孩子“团团包围”。     

全国两会代表委员热议消防安全提高国民消防安全意识迫在眉睫

3月7日,参加完小组讨论的全国政协委员黄宏刚刚步出会场,就槲孩子“团团包围”。 “不知道您有没有关注消防问题？”“您有没有想过在小品中加入消防知识,让大家开怀一笑的同时学到逃生常识？”……     

五小时生死大营救:抢速度,更要拼智慧

4月20日8时,四川省芦山县。像往常一样,赵建中正在某建筑工地上忙碌着。"轰"的一声,大地在剧烈颤动。"地震了!"惊叫声中,赵建中撒腿就往家里跑。眼前的一幕让他吃了一惊:自家的楼房已经垮塌,成了一堆两米多高的废墟。更令他几乎窒息的     

金矿矿山采矿安全管理存在问题及改善策略

基于当前金矿矿山采矿安全管理存在安全管理难度大、管理制度不规范、安全管理人才匮乏等问题。本文结合金矿矿山安全管理工作的实际情况,为了更好推动金矿矿山提质增效、转型升级,从完善安全管理制度、做好爆破环节安全管理等方面对改善金矿矿山安全管理工作进行了重点分析。