面向漏洞挖掘的基于符号分治区的测试用例生成技术

在漏洞挖掘中,符号执行技术是一种常用的测试用例生成技术。但当软件中包含加解密、校验和检验等复杂数学运算函数时,使用符号执行技术生成测试用例存在无法有效求解约束表达式的问题,导致漏洞挖掘效率低下。针对该问题,文章结合分治算法的思想提出基于符号分治区的测试用例生成技术。首先通过静态分析技术识别软件中的加解密、校验和检验等函数;然后以程序中的加解密、校验和检验函数为分界点对软件进行分区,符号执行引擎每执行到软件的一个分治区,就在本区引入一个新的符号变元进行约束构建,在约束求解时从软件最后一个分治区开始递归求解。基于该方法,文章在符号执行平台S2E上实现了漏洞挖掘原型系统Divide,并与现有的符号执行生成测试用例技术进行对比实验。实验结果表明,文章方法能够快速、有效地生成测试用例,提高漏洞挖掘的效率。     

基于改进动态规划法的月面地形三维重建

月面巡视探测器导航相机获取的立体影像用于恢复月面地形的空间构型,可以直接服务于巡视器的导航定位工作。影像匹配算法直接关系到地形恢复的精度和可靠性,改进动态规划影像匹配方法兼顾行列双向约束机制增强了视差空间的完备性,并通过动态设立种子点进行分段规划获得整体最优解。实验采用嫦娥二期工程地表试验影像进行论证,通过三角测量重构得到地面点云数据,与其他匹配方法的恢复结果和实地激光扫描地形数据进行了比对,证明了该匹配算法的匹配效率高于传统方法且恢复的点云数据精度可靠,满足于探月工程中巡视器定位导航的需求。     

浅析心理素质在篮球运动的影响及其训练方法

篮球运动的综合性与复杂性,要求运动员在激烈对抗中不断调整自己的心理,以便在比赛中充分发挥自己的技能和团队之间的战术配合。如何使运动员在竞技比赛中保持相对稳定的心理素质是球队制胜的关键。在身体素质技术、战术水平相当的情况下,各队员的心理素质是否过硬直接影响全队的比赛成败。本文通过参阅各类文献资料,数理统计法,访谈法,问卷调查法分析影响运动员的心理素质,并针对运动员的现状提出一些建议。     

用网络层次分析法筛选石油专用设备供应商

石油专用设备专业性强、结构复杂,是国内各钻探企业勘探开发的关键设备,其供应商的选择一直是关注的焦点。当前石油专用设备供应商的选择多采用专家目标打分法,这种方法计算简单、灵活性强且便于操作,但也存在易受专家主观因素影响等诸多问题。本文将网络层次分析法应用于石油专用设备供应商的选择中,通过问卷调查、实地走访等形式对石油专用设备供应商选择的信息进行汇总,深入分析相关指标与指标间的关系,建立相关的评估模型体系,旨在提供一种科学有效地辅助决策者进行石油专用设备供应商选择的决策方法。     

距离与权重相结合的导向式灰盒模糊测试方法

导向式灰盒模糊测试是一种能够快速对程序指定位置进行测试的技术。通过对当前导向式灰盒模糊测试技术导向不够精确的问题进行分析,提出一种新的导向式灰盒模糊测试方法,并引入基本块权重与函数路径长度的概念。通过对被测程序的静态分析,构建被测程序的函数调用图和控制流程图,计算更准确的基本块距离并插桩到被测程序中。在模糊测试时通过插桩追踪并计算每个测试用例到指定目标的距离,模糊测试器依据该距离计算种子能量以实现对目标区域的导向,并基于该方法实现原型系统Afl-guide。实验结果表明,与现有的导向式模糊测试方法相比,该方法对目标区域导向更精确、路径覆盖更广,能够更快地生成覆盖程序指定位置的测试用例。     

地面三维激光扫描仪与外架数码相机间安置参数的高精度标定

提出了地面三维激光扫描仪与外置数码相机安置参数的高精度标定方案。首先,利用商业化近景摄影测量系统对相机内参数进行单独标定;然后,利用回光反射标志作为二维和三维匹配的同名控制点,对直接线性变换进行拓展应用,在算法迭代过程将内参数作为已知值对外参数进行求解;最后,根据相机数据采集特点确定其拍摄全景时多张影像之间的位置关系,对多张影像的外方位元素进行求解,从而实现全景点云与全景完整影像之间的映射。进行了实验测试,利用安置参数标定结果反求验证点像素坐标与真实测量结果之差验证了本文标定方法的精度和可行性。实验显示:点云与影像间的映射精度可达到1像素左右;相机拍摄全景获取的影像与全景点云可以实现正确映射,表明提出的标定方法正确,满足纹理贴图及将影像作为特征提取辅助信息的精度要求。     

基于Web的天然气流量监控系统设计与实现

系统结合实际需求,设计了基于Web的天然气流量远程监控系统,以实现对天然气气田气井生产现场的实时数据采集和远程控制等功能。分析了通信网络物理链路异常判断和前台监控软件与后台通信程序交互实现所采用的技术。     

N’-羟基吲哚-3-甲脒类化合物的合成

以取代吲哚为原料,经Vilsmeier-Hacck甲酰化反应在吲哚3位引入甲酰基,再将甲酰基转化为氰基后与羟氨反应得到了一系列N’-羟基-1H-吲哚-3-甲脒类化合物。其中4c,4i未见文献报道,目标产物经过1HNMR,1C-MS确认。研究了温度、溶剂及缚酸剂的碱性对目标化合物合成的影响。