浅谈飞机油箱渗漏的检查与排除

飞机油箱渗漏是一项较为严重的问题,其发生和发展将会对飞机的安全飞行产生极大影响,因此在飞机的日常维护中要注重对飞机油箱渗漏问题的检查和控制,强化对飞机油箱渗漏的处理极为重要。基于此,文章针对飞机油箱渗漏的检查与排除进行了研究分析,以供参考。

大型常压储罐底板腐蚀缺陷检验与处理

大型钢制立式常压储罐是石油化工领域内重要且常用的大型储存设备,介绍了一起因重污油泄露而导致非计划停车开罐紧急检修的常压储罐检验维修案例,针对重污油常压储罐进行了由外向内的全面检验,通过宏观检查结合漏磁检测,确定了罐底板因出现点状腐蚀而产生了污油泄露,对可能产生罐底板出现腐蚀泄露的原因进行了初步分析,对缺陷部位进行了修复,检验修复案例可为其他大型储罐底板腐蚀检修提供参考。

通风与空调工程漏风量测试装置的改进

风管漏风量的大小是检验通风与空调系统工程质量和降低能耗的一项重要指标. 以“通风与空调工程施工及验收规范GB 50243-97”的一项新增条款为依据,对漏风量测试装置作了分析,着重对以孔板作节流元件的风管式漏风测试装置在风压调整及自动取压两方面作了改进,并做了相应的试验,为新规范在行业内的实施与推广作必要的准备.

基于红黑树的堆内存泄漏动态检测技术

设计与实现一个轻量级的堆内存泄漏检测工具,针对使用C++编码的开源代码,通过重载new,delete运算符,动态跟踪程序在执行过程中堆内存块的分配释放情况,在程序运行结束时给出内存泄露的检测结果。实现时采用红黑树管理所分配的堆内存,理论推导和实验表明其具有较高的效率。

一种混合式内存泄漏静态检测方法

内存泄漏是导致系统性能降低的重要问题.提出一种基于模型检测算法的内存泄漏静态检查方法TMC.该方法依据程序的控制流图构建对应于程序执行的有限状态自动机,进而在此基础上应用模型检测算法分析程序中可能存在的内存泄漏.论文利用几个典型的程序实例详细说明了TMC的工作原理,并通过基于内存操作密集的测试程序集PtrDist的实验对TMC进行了验证.实验结果表明,TMC能够显著提升内存泄漏分析的精度.

Linux平台下基于源代码插装的动态内存检测

在C/C++语言程序中,指针的使用使代码灵活、简便,但所带来的类似内存泄漏、内存写溢出等的内存使用的错误却很难分析和消除.针对这些容易出现的内存使用错误,提出了L inux平台下一种基于源文件信息提取和源代码插装的动态内存检测方法,设计实现了一个动态内存检测模块DDM EM,可以检测源代码的内存泄漏、内存写溢出、释放野指针和内存管理函数的不匹配等问题.给出了写溢出错误的一个实例检测,以验证方法的有效性.

基于微型计算机的内燃机机体泄漏检测系统的研制

研究了微型计算机在内燃机机体泄漏检测中的应用 ,在分析检测原理的基础上 ,讨论了微型计算机检测系统的软硬件技术方案 。

一种针对可执行代码的内存泄漏静态分析方案

针对应用程序安全分析的实际需求,设计并实现了一个针对可执行代码的内存泄漏分析框架MLAB.MLAB首先从可执行代码中恢复控制流和数据流信息,依据恢复的控制流图建立程序的有限状态自动机,在此基础上运用模型检测算法分析程序可能存在的内存泄漏.利用几个典型的程序实例详细说明了MLAB方法的工作原理,并通过基于测试程序集MiBench的实验对方法进行了验证,结果说明了该方法的有效性.

基于有界模型检测的C/C++程序内存泄露检测

C/C++语言中的动态内存管理机制自由且灵活,但动态内存的使用容易引入内存泄露,导致系统性能降低甚至系统崩溃。为了更加有效地检测内存泄露,提出了一个基于有界模型检测技术的C/C++程序内存泄露检测方案MLD-CBMC。该方案以C/C++程序文件为输入,利用有界模型检测技术对程序进行展开处理,加入内存泄露性质,并利用可满足性模理论(SMT)对程序约束和性质组成的验证条件编码,使用SMT求解器对验证条件求解,将检测内存泄露问题转换为求解可满足性问题,实现C/C++程序内存泄露的检测。通过实验验证了方案的有效性,并与其他有界模型检测工具进行对比实验,实验证明方案对内存泄露的检测能力更强。

城市供水管网流速和水压测量检漏普查方法的探讨

本文对流速测量和水压测量检漏普查进行了理论推导和技术方法的探讨，重点讨论了水压测量检漏普查的理论基础和技术方法。

网络模式下医嘱漏洞分析及查对的探讨

目的 探讨网络模式下医嘱查对内容及查对方法。方法 随机抽查了 2 0 0 0年 8月份 96名在院病人的 2 2 38条医嘱 ,采取新旧两种不同的查对方法进行比较。结果 两种查对方法发现的医嘱漏洞及每日所用的查对时间有显著差异。医嘱漏洞的主要原因是 :医生下达医嘱不规范 ,执行医嘱前未仔细查看计价规格栏目。医嘱漏洞的项目主要是“七对”内容和计价规格栏目。漏洞查对环节 :主要是医生下达医嘱前自查 ,主班执行前首位查对。结论 网络模式下的医嘱查对重点 (1)抓住关键环节 ,缩短查对时间 ,减少人力。 (2 )规范网络下的医嘱查对内容。 (3)建立有针对性的网络查对制度 ,制定质量检查标准 ,定时评价。

面向移动应用软件信息泄露的模型检测研究

移动平台上的应用软件私密信息泄露漏洞关注违背用户意愿的接口或数据暴露,而泄露形式和内容的复杂性增添了该类漏洞的检测难度.现有方法主要利用传统的静态数据流分析及动态监控等技术,易发生漏报和误报,且无法处理隐式信息泄露问题.该文首次将基于线性时序逻辑(Linear Temporal Logic,LTL)的模型检测技术应用于移动软件信息泄露检测上,提出了一种基于安全要素语句插装的泄露检测方法.文章首先针对代码中的安全要素提出一种信息泄露抽象关系模型;其次设计驱动生成规则和插装算法,在目标应用上生成可规约系统;继而设计具有通用意义的LTL泄露检测属性并利用符号执行技术优化检测算法;最后构建支持移动平台的模拟方法库,开发了原型检测系统(Leakage Finder of Android,LFDroid).公开数据集实验及对比分析表明,该文方法可以为含有隐式信息泄露数据集提供更为精确的漏洞检测,相较于传统方法准确率和召回率均具有明显优势,除此之外亦发现了3个真实移动应用的5个隐式泄露漏洞威胁.

费森尤斯4008S型血液透析机维修两例

目的通过分析费森尤斯4008S系列血液透析的两例常见故障,探讨维护方法。方法研究血液透析机的系统结构和工作原理,对故障现象进行分析、总结。结果我院血液透析常见故障主要集中在透析液供给系统和血液监护警报系统,通过对两例常见故障的检修,故障得到排除。结论定期保养、主动维护可减少血液透析故障的发生和维修费用的支出,能保障患者得到安全、有效的治疗。

Linux下可执行文件的动态内存检测设计与实现

针对可执行文件的动态内存管理容易产生的错误,设计并实现了一个Linux平台下针对C/C++语言的动态内存检测模块DDMEM,使用自定义的ddmemMalloc()函数改写动态分配函数malloc(),实现了一个共享库ddmem.so,可以检测内存泄漏、内存写溢出、释放野指针和内存管理函数的不匹配等问题。给出了函数不匹配的实例检测以验证方法的有效性。并与同类有代表性的检测工具memwatch进行了性能比较,证明该检测模块比memwatch整体更优。

防泄压六氟化硫检测接头设计

针对六氟化硫现场检测时可能存在自封闭逆止阀不能复位,导致设备快速泄压的风险,研制了一种在测试时能有效防止设备快速泄压的检测接头。该检测接头与常规检测接头最大区别在于顶针与连接螺帽非固定结构设计,主要包括连接螺帽、顶针管、连接套、压缩弹簧、压簧螺帽等部件。防泄压检测接头的使用可避免测试时设备泄压而导致的人身、设备、电网安全风险,并可避免大量六氟化硫温室气体直接向大气排放。

某型飞机冷气系统常见故障分析及附件维护

冷气系统是飞机机械系统的重要组成,主要承担着刹车、抛放减速伞、应急放起落架等工作。维护好军用飞机的冷气系统是保证飞机飞行安全的重要环节。该文将针对某型飞机在使用和维护过程中,主冷气系统漏气、抛放阻力伞故障以及充气漏气等常见故障进行了原因分析及排除,并针对冷气系统的主要附件维护提出了注意事项,目的是为各型军用飞机冷气系统实际维护提供参考。

高压充氘氚气体的金属系统研制

描述了建造高压充氘氚金属系统的基本过程。 15MPa时 ,系统漏率为 (3 7～ 4 8)× 10 -4Pa·L/s。经微球充气实验证实 :用该系统操作大量的氚 (2 8× 10 14 Bq)是极其安全。

炼厂循环冷却水查漏技术的研究与应用

简要介绍了炼厂水冷器发生介质泄漏时,应用谱图配比法快速查漏的新技术。该方法可最短时间内查出泄漏源,及时堵漏,将危害降到最低限度。

氦气检漏工位的作业仿真与改善

某压缩机装配线中氦气检漏工位的工作效率不高,而且操作者疲劳度较大,改进的需求迫切。应用人因工程学的原理和方法,通过实地考察和录像分析,进行了氦气检漏工位的工作研究,分析了影响劳动强度的原因。采用了改变工作台面高度、增加设备和简化手工作业动作等方法,提高生产节拍和改善劳动强度,并利用JACK软件进行了作业方案改进前后的仿真和比较分析,对企业的生产装配线改造提供了一些积极的建议。

气压测漏仪的改进研究

利用单向阀在回路中的作用,提出了一种对差压式气压测漏仪的改进方案,通过实验拟合出了系统理想P—T变化特性曲线,并建立了系统P—T关系的数学模型。研究发现改进系统可以缩短检测时间,提高检测效率,并能缓和检测中出现的压力冲击与脉动。数学模型的建立也为以后的量化研究提供了参考依据。