基于图结构源代码切片的智能化漏洞检测系统

针对智能化漏洞检测,从源代码程序依赖图中根据漏洞特征提取图结构源代码切片,将图结构切片信息表征后利用图神经网络模型进行漏洞检测工作。实现了切片级的漏洞检测,并在代码行级预测漏洞行位置。为了验证系统的有效性,分别与静态漏洞检测系统、基于序列化文本信息和基于图结构化信息的漏洞检测系统做比较,实验结果表明,所提系统在漏洞检测能力上有较高准确性,并且在漏洞代码行预测工作上有较好表现。     

影响加筋土挡墙地震稳定性的参数分析

针对现有挡土墙抗震设计影响因素考虑不足等问题,运用拟静力法和水平条分法分析加筋土挡墙的地震稳定性,并研究土体内摩擦角、水平地震力加速度系数、填土粘聚力、挡土墙倾角和滑动体上部荷载等参数对地震稳定性的影响。结果表明:加筋土挡墙的地震稳定性与水平地震力加速度系数和滑动体上部荷载有显著关系,且变化趋势与之成正比;与土体内摩擦角和填土粘聚力的变化趋势成反比;当条件相同时,倾斜加筋土挡墙的地震稳定性比竖直挡墙的稳定性好。     

Suspension force control of bearingless permanent magnet slice motor based on flux linkage identification

The control accuracy and dynamic performance of suspension force are confined in the traditional bearingless permanent magnet slice motor (BPMSM) control strategies because the suspension force control is indirectly achieved by adopting a closed loop of displacement only. Besides, the phase information in suspension force control relies on accurate measurement of rotor position, making the control system more complex. In this paper, a new suspension force control strategy with displacement and radial suspension force double closed loops is proposed, the flux linkage of motor windings is identified based on voltage–current model and the flexibility of motor control can be improved greatly. Simulation and experimental results show that the proposed suspension force control strategy is effective to realize the stable operation of the BPMSM.     

水平切片解释方法在焦作井田构造复杂区的应用

河南焦作某矿地处焦作煤田东部,该矿东三盘区地质构造复杂,主采的2号煤层底板与L_8灰岩平均间距仅20m,与奥灰顶界面平均间距约100m,因此断层的存在极易导通奥灰水,形成较大的水患事故。故查明区内构造分布情况十分必要。本文重点介绍了用三维地震常规解释方法结合偏移及方差数据体水平切片解释方法在构造复杂区的应用情况,具有一定的推广意义。     

利用变量状态转换模型进行部分软件错误的检测

应用程序中的功能通常是通过对变量的操作来实现。应用程序中变量的操作包括赋值、引用等不同的方式。针对普通变量和指针变量在程序中的使用方式,对变量的状态进行了分析,并根据变量使用的特点,定义了普通变量和指针变量的状态转换模型。在此基础上,给出了与变量有关的软件错误的定义,并讨论了基于变量切片的软件错误的检测方法。     

Measurement by vertical scanning profilometry of resorption volume and lacunae depth caused by osteoclasts on dentine slices

The resorption pit assay is classically used to evaluate osteoclast activity on bone or dentine slices that can be eroded by these cells. Two different types of cells were generated from peripheral blood mononuclear cells cultured in the presence of M-CSF + sRANKL or with M-CSF + LPS. At the end of the culture period (21 days), cells were discarded and the dentine slices stained with toluidine blue and examined with an NT9100 Wyco vertical scanning profilometer. The images of the dentine surface were corrected for tilt and the eroded volume was calculated on the whole images. The depth of the eroded pits was determined. The data files were used to reconstruct the surface of the slices by standardizing the ground level to compare both conditions. Osteoclasts generated with M-CSF + sRANKL were capable of resorbing a more important volume than those generated with M-CSF + LPS. In addition, the formers were able to resorb the dentine matrix more deeply. Data provided by the microscope were used to reconstruct three-dimensional images of the dentine slices with pseudo colours varying with the depth of erosion. Vertical scanning profilometry, a technique used to measure the roughness of polished or etched surfaces in metallurgic industry, can be used to accurately measure the eroded volume and the mean erosion depth done by osteoclasts in the resorption pit assay.     

基于时空切片的球拍类体育视频比赛镜头抽取

提出了一种基于短时切片的球拍类体育视频比赛镜头提取方法。该方法对视频时空切片分帧,通过对切片帧聚类、合并、边界检测和映射获取比赛镜头。实验表明该方法具有很好的鲁棒性和准确度。     

体扫描显示系统中螺旋旋转屏及螺旋切片生成算法

为了改善平面旋转屏体扫描显示系统中存在的成像空间较小、体素数量较少和体素重叠死区严重等缺陷,系统采用螺旋旋转屏构建体3维显示系统的成像空间。根据螺旋屏旋转构成的成像空间的特点,提出了利用螺旋面的素线和3维模型的三角面片求交的算法生成螺旋切片。该算法根据螺旋旋转屏的不同旋转位置的角度信息,把3维模型离散成有序的螺旋切片序列。实验结果表明,螺旋旋转屏的性能优越以及所提出的算法方便有效。     

基于切片技术获取系统测试用例的方法

针对如何获取局部和全部的系统测试用例,确保其正确性和完备性以及与需求的一致性问题,提出利用先进的建模技术,建立可模拟验证的过程模型,并应用切片技术获取测试用例,并利用基于过程模型结构分析的归纳法证明了该法的正确性,根据过程模型切片准则获取系统测试用例的算法,介绍了实现工具的构成和应用实例。     

电磁环境三维可视化技术

针对当前比较复杂的电磁环境,在分析其应用需求的基础上,确定电磁环境可视化的几个基本要素,提出用三维可视化技术来构建电磁环境,采用直接体绘制、面绘制和切片绘制的方法对共进行可视化。利用这些方法实现了某区域电磁态势分析结果的可视化,试验结果证明该方法具有较好的可视化效果。