典型粉末型吸湿性催化剂的雾室及静态检测

暖云催化剂在人工影响天气暖云催化降水和暖性云雾消除方面应用前景广阔,近年开发的各类新型材料有望在暖云催化中使用,但目前仍缺少效果理想的制剂配方,亟需在相同试验条件下对比各类吸湿性催化剂的性能。2023年5月在中国气象局云降水物理与人工影响天气重点开放实验室开展催化剂雾室及静态检测试验,评估9种典型粉末型吸湿性催化剂的消雾能力及吸湿特性。结果表明:无机盐类催化剂消雾所需时间最短,多孔复合材料催化剂效果也较好,而改性淀粉、分子筛、有机膨润土及钠基膨润土消雾效果不明显。在常温常湿环境下,CaCl_(2)的静态吸湿能力最强,其次是多孔复合材料,复合盐的吸湿性也较强,其他催化剂吸湿性不明显;在高湿环境下,膨润土类催化剂及分子筛吸湿性仍不佳,NaCl、多孔复合材料的吸湿能力明显高于其他催化剂。各种催化剂在雾室与静态检测试验的性能基本一致。

基于激光点云的复杂站场接触网静态检测系统设计与实现

针对传统接触网静态检测方法在复杂站场环境下检测效率低、对运输秩序存在潜在干扰等问题,设计了基于激光点云的接触网静态检测系统。通过多站点云快速精确配准、接触网点云要素提取和静态几何参数精确计算等技术,实现了站场接触网点云场景的快速精细重构、接触网接触线与钢轨几何结构的准确提取,以及接触网导高与拉出值的精确计算。以天津西高铁站实测点云数据进行应用验证,结果表明,该系统能够对多站点云数据进行高效处理,对接触网关键几何参数的计算精度达到±5 mm,显著提升了站场接触网静态检测的效率和准确度。

Python内存泄漏缺陷静态检测研究

为解决软件工程故障性缺陷问题,对内存泄漏缺陷静态检测进行研究。概述Python内存泄漏的概念,分析多种Python内存泄漏缺陷静态检测方法并进行优缺点对比。在具体实践中,设计Python内存泄漏缺陷静态检测系统,通过静态检测实验,分析其结果,验证Python内存泄漏缺陷静态检测系统的实用性,以期帮助检测人员提高Python内存泄漏缺陷静态检测水平,掌握Python内存管理要点,促进程序稳定运行。

Android恶意应用的静态检测方法综述

Android系统的开放性和第三方应用市场的多样性,使其在取得高市场占有率的同时也带来了巨大的风险,导致Android恶意应用层出不穷并广泛传播,严重威胁了用户的隐私和经济安全.如何有效检测Android恶意应用受到了研究人员的广泛关注.根据是否运行应用程序,将现有的恶意应用检测方法分为静态检测和动态检测.其中,静态检测的效率和代码覆盖率均优于动态检测,Drebin等静态检测工具取得了广泛应用.为此,系统调研了Android恶意应用静态检测领域的研究进展,并进行了分析和总结.首先,介绍了Android应用静态特征;然后,根据静态特征的不同,分别对基于权限、应用程序编程接口(application programming interface,API)和操作码等不同静态特征的Android恶意应用检测方法进行了分析,并总结了常用的Android应用数据集和评价Android恶意应用检测性能的常用指标;最后,对Android恶意应用静态检测技术的发展进行了总结和展望,以期为该领域的研究人员提供参考.

基于改进随机森林的Android广告应用静态检测方法

Android广告应用对用户正常使用Android手机构成了威胁,传统的广告应用检测方法时间成本高且受限于动态特征,难以满足大规模、高精度的检测需求。为解决此问题,文章提出一种基于改进随机森林的Android广告应用静态检测方法。首先,基于广告应用的特点,文章在传统的应用程序编程接口、权限、意图的基础上,将第三方库纳入特征选择的范围;对数据集中的广告软件的APK提取静态信息进行统计学分析,筛选后确定基准特征集合,将APK特征向量化;然后基于集成思想,利用多种特征选择算法共同选择用于模型训练的特征并赋予特征权重;最后使用基于特征权重的改进随机森林算法提高分类器的性能。实验选取了5751个广告应用和3465个非广告应用进行分类检测,实验结果表明,该方法能在保证准确率的情况下,具有较快的检测速度。

基于Frenet坐标系的道岔区侧向轨道几何状态动静态检测匹配方法

针对道岔区侧向轨道几何状态动态检测的现场病害定位难度大的问题,基于Frenet坐标系和笛卡尔坐标系的映射关系,将道岔区轨道几何状态静态检测的空间点坐标转化为动态检测的空间曲线,并采用线性相位有限冲激响应(Finite Impulse Response,FIR)数字高通滤波器进行空间滤波,获得与动态轨道几何不平顺相同波长范围的轨向及高低,实现动静态检测的匹配。与静态检测传统弦测输出不同,该匹配方法不会导致轨道几何不平顺幅值发生畸变,借助静态检测的空间定位数据,横向对比动态检测输出,可快速完成道岔区侧向病害定位,对道岔区现场养护维修具有指导意义。

基于机器学习动静态检测模型的恶意软件检测系统设计与实现

文章主要介绍了基于动静态检测模型的恶意软件检测系统的设计内容和实现策略。该系统主要由客户端、系统缓存以及恶意软件检测服务器构成,支持数据上传、数据处理和结果展示等功能。对于用户上传的文件,恶意软件检测系统首先判断文件格式、大小等是否符合规定,在确认符合规定后根据文件名提取静态或动态特征,然后使用基于机器学习的静态分析模型和基于深度学习的动态分析模型,对提取到的特征信息进行处理,根据处理结果预测恶意软件。系统设计人员使用Flask开发工具搭建系统框架并展开测试,结果表明文件上传检测和恶意软件检测功能均可正常实现,达到了设计预期。

一种Android平台恶意软件静态检测方法

为了有效地检测Android平台的恶意软件,提出一种基于危险权限和行为分析的静态综合检测方法.对已检测过的应用程序包(APK),提取消息摘要的MD5值作为签名用来进行快速匹配和判定;未检测过的APK根据权限和行为分析来判定,首先通过检测是否申请危险权限进行预判,然后进行污点传播和语义分析,以检测出APK中是否存在隐私窃取和恶意扣费行为.与杀毒软件只能检测出已知的恶意软件不同,本系统不依赖于病毒库的收集和更新,可对已知恶意软件变种和未知恶意软件进行有效检测.实验中成功检测出了隐私窃取与恶意扣费的恶意行为,证明了本系统的有效性.

多线程并行程序数据竞争静态检测方法

通过使用词法分析和语法分析进行线程并行程序数据竞争静态检测,根据规则将源代码数据竞争相关信息映射到XML文件,解决多个线程程序因可以随机访问共享变量而导致运行结果不确定性,容易引发数据竞争等问题。通过XQuery查询语言获取XML映射模型中的数据访问信息,将信息存储于数据竞争表示层。通过竞争图生成算法建立数据竞争有向图模型,利用拓扑排序检测数据竞争的具体位置,获取所有竞争序列。实验结果表明,该检测方法能够准确快速地发现多线程程序中的数据竞争并在源文件中进行准确定位。

基于静态检测工具的源代码安全缺陷检测研究

针对已有的使用单个静态检测工具进行源代码安全缺陷检测存在的漏报率和误报率很高的问题,提出了一种基于多种静态检测工具的检测方法。该方法通过对多种工具的检测结果进行统计分析,有效地降低了漏报率和误报率。设计和实现了一个可扩展的源代码静态分析工具平台,并通过实验表明,相对于单个工具的检测结果而言,该平台明显降低了漏报率和误报率。

C/C++源程序缓冲区溢出漏洞的静态检测

讨论了C/C++源程序中缓冲区溢出的常见表现;分析了其特性以及产生机理;提出了在源代码的AST上附加安全属性进行漏洞静态检测的方法;讨论了该方法的实现过程。

一种提高时序安全属性静态检测实用性的方法

程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组合爆炸情形出现的机会,最终使时序安全属性的静态检测在准确性和可伸缩性上都得到了提高.实验表明,FSM切片可以使Saturn的可伸缩性平均提高到原来的6.34倍,使Fastcheck的准确性平均提高到原来的1.20倍.

Android平台恶意应用程序静态检测方法

本文构建的静态检测系统主要用于检测Android平台未知恶意应用程序.首先,对待检测应用程序进行预处理,从Android Manifest.xml文件中提取权限申请信息作为一类特征属性;如待检测应用程序存在动态共享库,则提取从第三方调用的函数名作为另一类特征属性.对选取的两类特征属性分别选择最优分类算法,最后根据上述的两个最优分类算法对待检测应用程序的分类结果判定待检测应用程序是否为恶意应用程序.实验结果表明:该静态检测系统能够有效地检测出Android未知恶意应用程序,准确率达到95.4%,具有良好的应用前景.

固体火箭发动机推力偏心试验台的静态检测技术

本文论述了固体火箭发动机推力偏心试验台的静态检测要求和方法,实际检测表明:采用高精度水平仪,百分表和光学经纬仪来检测推偏台的水平度和垂直度,可以保证台架的静态精度和推力偏心的试验要求。

OpenMP Fortran程序中死锁的静态检测

与BARRIER相关的死锁是导致OpenMP程序失效的重要隐患之一.对该类隐患的静态检测有助于在OpenMP程序运行之前提高其正确性.为了便于检测,将这种死锁分为两类.借助搜索与数据流分析分别按照存在性规则和非一致性规则检测第1类和第2类死锁.扩展了传统的控制流图以表示OpenMP程序.对于每个检测到的死锁,通过回溯记录控制流图中相关的路径,并利用静态分支预测量化其严重程度.基于上述思想,实现了一个OpenMP Fortran程序中死锁的静态检测工具C-Checker.实验表明,该工具能有效地检测OpenMP程序中与BARRIER相关的死锁.

汽车制动防抱死系统在线静态检测技术研究

汽车制动防抱死系统(ABS)对乘车安全至关重要,可以提高行车紧急制动的安全系数,汽车在出厂前必须通过汽车ABS的合格检测。本文采用的方法是在普通汽车制动试验台增加ABS静态测试功能,用OBDII插头连接汽车检测口,使用KWP2000通讯协议与汽车ABS的ECU建立通讯,通过Modbus总线控制变频器带动滚筒转动,从而带动汽车转动。最后采用VB编写的程序实现对汽车ABS的静态检测。

C程序类型隐式转换漏洞的静态检测

C语言由于其灵活性及支持环境,经常被用于嵌入式和实时开发环境中,所以它已成为一种非常流行的语言。但凡事都有两面性,C语言在提供了很大灵活性的同时也存在不少安全隐患。该文主要讨论C源程序中类型隐式转换导致程序错误的常见表现形式,分析其特征及产生机理,从而提出一种以语法制导翻译的方式形式化描述漏洞,并且给出了其实现方法。

基于云安全架构的Android恶意软件静态检测方案

随着Android系统手机普及,由它自身安全机制缺陷所带来的安全威胁也越来越大,所以针对Android恶意软件设计出高效率、高准确性的检测方案是非常有必要的。通过分析Android恶意软件的实现原理,基于云安全架构提出一种静态检测方案。解决方案将主要的检测工作部署在云端服务器上,使检测工作能够达到高效、快捷;另一方面应用高效的检测算法对目标软件的源代码进行静态分析,能够更加准确地判断出该软件是否具有恶意行为。最后,收集了1143个恶意软件样本和2937个正常应用程序样本来对该方案进行评估,验证其检测准确度和检测效率。

高速铁路无砟轨道线路动静态检测数据均值差异性研究

均值管理是评价线路平顺性状态的重要指标。高速铁路无砟轨道高平顺性、高稳定性的特点决定了均值管理具有更为重要的意义。通过对比分析杭长、宁安客运专线和合福高速铁路的轨道几何动静态检测数据,发现在线路状态较好的情况下,无砟轨道动静态检测数据均值差异很小,尤其是轨向、轨距不平顺。轨道平顺性状态、结构形式及初始状态是影响无砟轨道动静态差异的重要因素。因此在建设阶段应注重无砟轨道精调质量的提升;在运营阶段应结合不同轨道型式自身的结构特点对无砟轨道进行动静态管理。

DDS模拟器在测速雷达静态检测中的应用

介绍了测速雷达静态检测的工作原理,根据该工作原理运用单片机控制技术,采用DDS直接数字合成芯片构造多普勒信号模拟器,解决了测速雷达静态检测中模拟不同弹丸飞行产生的各种频率的多普勒信号问题。应用结果表明,该模拟器具有准确、简便和可靠性高的特点。