基于LSC的形式化验证方法

调查研究了LSC在形式化验证方法中的作用的研究发展现状,包括LSC在从系统行为需求描述转换形成模型检验的系统行为模型中的作用的研究现状,LSC在抽取待验证系统性质的作用的研究现状,LSC在模型检验中的作用的研究现状,展望了LSC在未来模型检验中的发展方向——概率模型检验.     

WebView组件漏洞自动化检测与验证方法

Android系统WebView组件应用广泛,相关漏洞危害大、影响广,但现有依赖静态匹配敏感函数的检测方法存在漏洞误报率高等问题.为此,本文提出了基于静态分析与动态验证技术融合的WebView组件漏洞自动化检测与验证方法,通过对漏洞可疑点进行可达性分析,避免对不可达路径的无效动态遍历,提高了分析效率;将数据依赖分析与模拟真实攻击行为的动态验证相结合,及时判断漏洞触发的真实性,降低了误报率.已实现原型工具XWebViewDigger并测试了80个Android应用,检出并验证18个应用存在漏洞,与现有方法相比,误报率有效降低.      

基于AP-LOF离群组检测的配电网连接验证

现有配电网连接验证工作将可疑异常值视为具有二元属性的独立个体,因此难以有效识别和验证具有高度内在相关性的局部离群组.针对这一问题,提出了基于AP-LOF离群组检测的配电网连接验证方法.通过引入近邻传播(affinity propagation,AP)聚类方法,将待校验台区用户聚类为多簇,并基于局部离群因子(local outlier factor,LOF)算法对所有簇心进行离群点检测,从而准确识别出台区内的离群组用户.以某电力公司实际用户电压数据进行算例分析,结果证明了AP-LOF算法在配电网连接验证中的适用性和有效性.     

基于动态双重前缀的模糊相似性连接算法

针对相似性连接问题， 提出了动态双重前缀的模糊相似性连接算法.与之前的算法不同的是，本文采用双重前缀，即在查找候选以及构建索引时使用不同的前缀来提高过滤效率，并在此基础上进行了优化.首先通过取各个前缀生成的候选集合的交集来缩小候选集合;其次提出最大区分任选前缀，利用此前缀进行预验证来减少最终进入到验证过程的候选对，以此来减少连接时间.并且在三个真实数据集上进行实验，将本文算法与Silkmoth算法以及MF-Join算法进行比较，结果表明所提算法可以生成更小的候选集集合并且需要更少的连接时间.     

基于VS.NET及串口通讯的线控制动操控系统开发与验证

线控制动系统中信号传输处理的速度及稳定性会对整个制动操控效率产生决定性的影响，是影响制动距离及其恒定性的主要因素之一。选择不同的开发平台和通讯类型，其效果也不一样。本研究基于VS.NET平台及串口通讯方式，设计开发线控制动的操控系统，围绕制动操控效率和可靠性两个目标元素，从生效速度、操控效率的稳定性两个方面对线控制动操控系统进行性能验证，包括制动需求分析、开发背景介绍、系统设计以及基于紧急持续制动、点动缓刹、常规持续限速三种典型工况下的性能验证。     

基于深度神经网络的直流充电桩远程计量性能检定方法

为实现对直流充电桩计量性能远程、节约、高效的检定,基于深度神经网络(DNN),采用现场电动汽车直流充电桩充电的大量数据,在对充电过程中各变量与累计电能进行相关性分析的基础上,建立了直流充电桩累计电能计算的DNN模型,提出了一种可用于直流充电桩的远程计量性能检定方法。实例验证结果表明:电池荷电状态对累计电能计算的影响最大,电流的影响最小；建立的DNN模型可准确计算待测桩的“实际”输出电能,模型计算结果的示值误差与实际检定示值误差间差值的绝对值小于1%；提出的直流充电桩远程计量性能检定方法可实现高效的直流充电桩计量性能评估。     

Bezier曲线设计涡轮叶片造型与CFD验证解析

通过选取某尺寸的涡轮和流量值作为案例,解析了运用Bezier曲线设计涡轮叶片造型的过程,进行了计算流体动力学(computational fluid dynamics,CFD)验证,得到涡轮机械性能预测曲线,验证了涡轮叶片造型设计。     

问题驱动：板块构造理论“登陆”与中国学界的回应

问题是科学研究的灵魂,科学史就是提出与解决问题的历史。20世纪六七十年代,美国基于海洋研究提出板块构造理论,掀起一场科学革命,导致地学研究范式发生根本转变。同时,板块构造理论在大陆地区的适用性,即"登陆"问题,成为新常规科学阶段的重大科学问题。围绕该问题,板块构造理论的研究焦点从海洋转向大陆,并传入中国。中国从批判性地学习、应用到发展该理论,为求解其"登陆"问题做出了重要贡献。通过考察中美地震学界在中国大陆地区的理论验证活动,再现科学问题的由来、传播和求解过程,展示科学问题如何决定科学研究的方向、如何获得科学共同体的认可、如何驱动科学的传播与进步,并以实证彰显问题意识在科学研究中的重要性。