操作系统内核权能访问控制的形式验证

1

作者 徐家乐 王淑灵 +8 位作者 李黎明 詹博华 吕毅 代艺博 崔舍承 吴鹏 谭宇 张学军 詹乃军 《软件学报》 北大核心 2025年第8期3570-3586,共17页

操作系统内核是构建安全攸关系统软件的基础.任何计算机系统的正确运行都依赖于底层操作系统实现的正确性,因此,对操作系统内核进行形式验证是很迫切的需求.然而,操作系统中存在的多任务并发、数据共享和竞争等行为,给操作系统内核的验... 操作系统内核是构建安全攸关系统软件的基础.任何计算机系统的正确运行都依赖于底层操作系统实现的正确性,因此,对操作系统内核进行形式验证是很迫切的需求.然而,操作系统中存在的多任务并发、数据共享和竞争等行为,给操作系统内核的验证带来很大的挑战.近年来,基于定理证明的方法广泛用于操作系统各功能模块的形式验证,并取得多个成功应用.微内核操作系统权能访问控制模块提供基于权能的细粒度访问控制,旨在防止未经授权的用户访问系统内核资源和服务.在权能访问控制模块实现中,所有任务的权能空间构成多个树结构,同时每个任务权能节点包含多种嵌套的复杂数据结构,以及权能函数中广泛存在的对权能结构的访问、修改、(递归)删除等操作,使得它的形式验证与操作系统其他功能模块相比更加困难.将以并发精化程序逻辑CSL-R为基础,通过证明权能应用程序接口函数(API函数)和其抽象规范之间的精化关系,来验证航天嵌入式领域某微内核操作系统权能访问控制的功能正确性.首先对权能数据结构进行形式建模,并在此基础上定义全局不变式来保持权能空间的一致性;然后定义反映功能正确性需求的内核函数的前后条件规范和API函数的抽象规范;最终验证权能API函数C代码实现和抽象规范之间的精化关系.以上所有的定义和验证均在Coq定理证明器中完成.在验证过程中发现实现的错误,并得到微内核操作系统设计方的确认和修改. 展开更多

关键词 操作系统内核 形式验证 权能访问控制 并发精化分离逻辑

在线阅读 下载PDF 职称材料

复杂电磁环境下无人机作战效能建模与仿真验证

2

作者 嵇闰则 王柯 +1 位作者 牛佳鑫 范贤栋 《强激光与粒子束》 北大核心 2025年第11期13-21,共9页

为分析复杂电磁环境对无人机作战效能的影响,建立“复杂度特征-子系统性能-作战能力”三层评估体系。首先区分电磁环境的复杂度特征为时间占用度、频谱占用度、空间占用度及信号密度,并采用层次分析法确定特征权重,其次分解出通信可靠... 为分析复杂电磁环境对无人机作战效能的影响,建立“复杂度特征-子系统性能-作战能力”三层评估体系。首先区分电磁环境的复杂度特征为时间占用度、频谱占用度、空间占用度及信号密度,并采用层次分析法确定特征权重,其次分解出通信可靠性、导航精度等7项无人机子系统性能指标与任务能力、生存能力、响应能力及抗干扰能力4项作战能力,并建立三者的耦合关系模型,然后通过归一化处理与敏感系数聚合推导出作战效能量化公式,表明电磁复杂度与无人机作战效能呈显著负相关,最后基于MATLAB软件构建复杂电磁战场环境,对不同电磁环境下无人机的作战效能进行仿真,进一步论证结果,并证明相同电磁环境下抗干扰能力强的无人机作战效能更优秀。 展开更多

关键词 UAV作战效能 复杂电磁环境 效能评估模型 环境-效能映射 抗干扰能力验证

在线阅读 下载PDF 职称材料

2024年北京市兽医实验室核酸检测能力比对结果分析与气溶胶消除效果试验

3

作者 吴迪 史记 +5 位作者 苗东影 栗云鹏 王慧强 周德刚 李志军 杜鹃 《中国兽药杂志》 2025年第6期31-40,共10页

为提高北京市兽医实验室核酸检测能力,加强实验室质量控制水平,验证PCR实验室去污染与气溶胶消除效果,本研究通过利用Z值与尧敦图统计方法对2024年北京市15家非洲猪瘟授权实验室核酸检测能力比对结果进行统计分析,对5种DNA去除剂、5种... 为提高北京市兽医实验室核酸检测能力,加强实验室质量控制水平,验证PCR实验室去污染与气溶胶消除效果,本研究通过利用Z值与尧敦图统计方法对2024年北京市15家非洲猪瘟授权实验室核酸检测能力比对结果进行统计分析,对5种DNA去除剂、5种实验室常用消毒剂进行了消除核酸效果验证,使用汽化消毒机对空气中核酸气溶胶污染消除效果进行了模拟试验,验证了紫外照射对消除核酸污染的效果。结果表明:15家实验室检测结果满意;1号实验室非洲猪瘟病毒核酸检测能力比对结果应给出警戒信号;5号DNA去除剂降解核酸效果明显,且通过喷洒方式可消除空气中的核酸气溶胶污染,但通过汽化方式不能对核酸气溶胶有效清除,1-4号DNA去除剂对核酸无降解效果;5种实验室常用消毒剂不能对核酸有效降解;使用35%过氧化氢汽化消毒可清除空气中核酸气溶胶污染;紫外照射过夜(8 h)对消除空气中核酸气溶胶有效,紫外线照射30 min不能对核酸气溶胶有效清除。 展开更多

关键词 能力比对 气溶胶污染 非洲猪瘟

在线阅读 下载PDF 职称材料

浅析农作物种子发芽能力验证关键环节

4

作者 季姝姝 金萌萌 +1 位作者 冒维维 陈桂芳 《园艺与种苗》 2024年第12期109-110,共2页

简要分析了农作物种子发芽能力验证中仪器设备、室内环境、检验过程实施等关键环节的影响因素,明确发芽前仪器环境准备、置床、发芽期间水分、温湿度等具体管理要求,按照幼苗鉴定要求和规则,准确识别出正常幼苗数量,从而总结出发芽能力... 简要分析了农作物种子发芽能力验证中仪器设备、室内环境、检验过程实施等关键环节的影响因素,明确发芽前仪器环境准备、置床、发芽期间水分、温湿度等具体管理要求,按照幼苗鉴定要求和规则,准确识别出正常幼苗数量,从而总结出发芽能力验证技术要点,以保障检验结果准确可靠。 展开更多

关键词 农作物种子 发芽 能力验证

在线阅读 下载PDF 职称材料

2019-2022年广西生态环境监测机构能力验证结果分析

5

作者 许园园 黄小佳 《绿色科技》 2024年第14期193-197,共5页

为了解广西生态环境监测机构实验室检测能力,打好广西污染防治攻坚战提供可靠技术支撑。收集了2019-2022年广西生态环境监测机构能力验证结果资料,结果表明:能力验证覆盖水、大气和土壤3个生态环境监测要素,检测参数覆盖了重金属、有机... 为了解广西生态环境监测机构实验室检测能力,打好广西污染防治攻坚战提供可靠技术支撑。收集了2019-2022年广西生态环境监测机构能力验证结果资料,结果表明:能力验证覆盖水、大气和土壤3个生态环境监测要素,检测参数覆盖了重金属、有机物和常规理化指标等不同类型,覆盖了广西全域各类生态环境监测机构,从满意率结果看,总体满意率为86.4%,其中环境监测系统为91.8%、事业单位性质检测机构为86.1%、社会化机构为85.4%。说明广西生态环境监测机构实验室检测能力较好。 展开更多

关键词 生态环境监测 实验室 能力验证 检测能力

在线阅读 下载PDF 职称材料

配电网最大供电能力与N-1安全校验的对比验证 被引量：44

6

作者 肖峻 贡晓旭 王成山 《电力系统自动化》 EI CSCD 北大核心 2012年第18期86-91,共6页

最大供电能力(TSC)是配电系统一个新的重要指标,但目前TSC计算结果是否准确、如何衡量TSC的准确性,这一基础性问题尚未解决。文中采用与传统的N-1安全校验对比来验证TSC准确性。首先,介绍了目前主要的TSC计算方法以及主变压器N-1安全校... 最大供电能力(TSC)是配电系统一个新的重要指标,但目前TSC计算结果是否准确、如何衡量TSC的准确性,这一基础性问题尚未解决。文中采用与传统的N-1安全校验对比来验证TSC准确性。首先,介绍了目前主要的TSC计算方法以及主变压器N-1安全校验方法;然后,设计了对比验证的指标与方案;为便于衡量误差,给出了一种N-1安全校验和TSC计算相结合的逼近法。大量算例对比验证发现,目前文献给出的供电能力计算方法均存在一定误差。通过分析误差规律发现,未将负荷细分到馈线且假设主变转带负荷连续可分是造成误差的主要原因。 展开更多

关键词 最大供电能力 配电网 N-1安全校验

在线阅读 下载PDF 职称材料

C^4ISR系统能力需求行为建模及验证 被引量：4

7

作者 何红悦 王智学 +2 位作者 董庆超 徐景 张兆巍 《系统工程与电子技术》 EI CSCD 北大核心 2012年第6期1153-1160,共8页

针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,... 针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。 展开更多

关键词 能力需求元模型 行为建模 模型形式化 模型验证

在线阅读 下载PDF 职称材料

电压约束及网损对配电网大供电能力计算的影响 被引量：30

8

作者 肖峻 李振生 +1 位作者 刘世嵩 王成山 《电力系统自动化》 EI CSCD 北大核心 2014年第5期36-43,共8页

目前计算配电网大供电能力(TSC)的模型法与解析法均未计及电压约束和网损。文中利用配电网潮流计算研究了电压约束和网损对TSC计算结果的影响。首先,给出了基于潮流计算的配电网N-1安全校验方法,能精确计及网损、电压约束和调压措施。... 目前计算配电网大供电能力(TSC)的模型法与解析法均未计及电压约束和网损。文中利用配电网潮流计算研究了电压约束和网损对TSC计算结果的影响。首先,给出了基于潮流计算的配电网N-1安全校验方法,能精确计及网损、电压约束和调压措施。然后对TSC计算在有无考虑电压约束以及分别或同时考虑两种调压措施共5种场景下的TSC结果进行对比验证。结果表明,当前文献方法得到的TSC值偏大。网损对TSC的影响不可忽略,原因是N-1发生负荷转带后由于供电路径变长,其末端电压过低以及网损比正常运行时变大。计及调压措施后,电压约束也会使TSC值减小,除馈线过长或无载调压情况外其影响可以忽略。 展开更多

关键词 配电网 N-1 安全校验 最大供电能力 电压约束 网损 调压

在线阅读 下载PDF 职称材料

面向公差技术的几何要素自由度表示与操作及其应用 被引量：7

9

作者 吴玉光 刘玉生 《中国机械工程》 EI CAS CSCD 北大核心 2015年第11期1509-1515,共7页

描述了几何要素的本征方向和本征自由度概念、几何要素自由度的表示方法和约束自由度的计算规则。根据基本几何元素的几何特征以及与基准要素的位置关系确定了几何要素的本征方向,根据几何量测量原理,提出了基准要素约束自由度的计算方... 描述了几何要素的本征方向和本征自由度概念、几何要素自由度的表示方法和约束自由度的计算规则。根据基本几何元素的几何特征以及与基准要素的位置关系确定了几何要素的本征方向,根据几何量测量原理,提出了基准要素约束自由度的计算方法,建立了基准体系约束自由度的计算规则。根据公差类型与基准要素和目标要素的关系,建立了公差设计正确性、完整性验证的具体规则,提出了基于自由度分析的公差标注正确性验证方法。 展开更多

关键词 自由度 本征自由度 约束能力 公差验证

在线阅读 下载PDF 职称材料

面向视频监控网络的安全评估指标体系研究 被引量：4

10

作者 高见 王凯悦 黄淑华 《信息网络安全》 CSCD 北大核心 2021年第12期78-85,共8页

视频监控网络对维护国家安全具有重要作用,目前针对视频网络的攻击手段越来越多。通过研究面向视频监控网络的安全评估指标体系和评估模型,文章提出将传统的面向系统、设备的安全评估转变为基于能力验证的评估方法,并将视频监控网络细... 视频监控网络对维护国家安全具有重要作用,目前针对视频网络的攻击手段越来越多。通过研究面向视频监控网络的安全评估指标体系和评估模型,文章提出将传统的面向系统、设备的安全评估转变为基于能力验证的评估方法,并将视频监控网络细分为接入感知能力、内外联感知能力、威胁阻断能力、数据加密能力、攻击免疫能力等五大能力,面向每个能力指标各提出了相应的采集指标。利用层次分析法确定了各评估指标的权重,并量化各评估指标,将模型应用在2018年两个城市的视频监控网络中,量化得分可以直观、科学地反应视频监控网络的网络安全状态。 展开更多

关键词 评估指标 视频监控 能力验证 渗透测试 层次分析法

在线阅读 下载PDF 职称材料

软件验证与确认在MIS开发中的应用 被引量：2

11

作者 高月 梁成才 +1 位作者 王川 陆伟 《计算机工程》 CAS CSCD 北大核心 2011年第1期84-86,89,共4页

介绍软件验证和软件确认的概念及其相互关系,以一个实际的管理信息系统开发项目为例,描述在软件开发生命周期中验证和确认活动的具体实现,以及如何使验证和确认与项目的整个生命周期相配合、如何与项目实体相关联,证明软件验证和确认是... 介绍软件验证和软件确认的概念及其相互关系,以一个实际的管理信息系统开发项目为例,描述在软件开发生命周期中验证和确认活动的具体实现,以及如何使验证和确认与项目的整个生命周期相配合、如何与项目实体相关联,证明软件验证和确认是保证软件产品质量的有效手段。 展开更多

关键词 能力成熟度模型集成 软件验证 软件确认 管理信息系统

在线阅读 下载PDF 职称材料

板栗中毒死蜱农药残留检测结果满意度的研究 被引量：3

12

作者 曾永明 周丽珠 +3 位作者 陈松武 杨漓 栾洁 谷瑶 《现代农业科技》 2020年第23期93-95,共3页

本文就如何保证农产品农药残留检测能力验证实验结果满意需要注意的几个关键点进行了探讨分析。要想通过板栗中毒死蜱农药残留检测的能力验证,样品前处理采用NY/T 761的方法,必须注意:提取液的过滤要用定性滤纸或脱脂棉,提取液过滤后静... 本文就如何保证农产品农药残留检测能力验证实验结果满意需要注意的几个关键点进行了探讨分析。要想通过板栗中毒死蜱农药残留检测的能力验证,样品前处理采用NY/T 761的方法,必须注意:提取液的过滤要用定性滤纸或脱脂棉,提取液过滤后静置时间控制在30~40 min之间,吸取10 mL乙腈液体要准确,净化步骤的水浴温度要严格按照方法要求,氮吹切记不要吹得太干,SPE小柱的活化平衡要充分,上样时液面不能流干,上样后尽可能流干再洗脱,最后定容至5.00 m L要准确。检测结束后,对结果进行验证很重要,可采用盲样的空白基质配标和空白基质加标画标准曲线2种办法。 展开更多

关键词 板栗 毒死蜱 残留检测 能力验证 前处理 基质配标 基质加标

在线阅读 下载PDF 职称材料

确保竹笋中2种有机磷农药残留能力验证结果满意的关键点 被引量：4

13

作者 曾永明 凌经昌 +3 位作者 陈松武 栾洁 何京明 周丽珠 《农产品加工》 2021年第1期43-45,49,共4页

针对如何保证农产品农药残留能力验证试验结果满意,需要把握好哪几个关键点进行探讨分析。通过竹笋中农残的能力验证,样品前处理采用NY/T 761的方法,必须注意:提取液的过滤要用定性滤纸或脱脂棉,提取液过滤后静置时间控制在30~40 min,吸... 针对如何保证农产品农药残留能力验证试验结果满意,需要把握好哪几个关键点进行探讨分析。通过竹笋中农残的能力验证,样品前处理采用NY/T 761的方法,必须注意:提取液的过滤要用定性滤纸或脱脂棉,提取液过滤后静置时间控制在30~40 min,吸取10 mL乙腈液体时要准确,净化步骤的水浴温度要严格按照方法要求的温度,氮吹切记不要吹的太干,最后定容5 mL要准确。检测结束后,对结果进行验证,并采用盲样的空白基质加标和盲样空白基质配的方法,分析判断结果准确性,得出真值,上报能力验证结果,1个月后有Z值反馈,结果为满意。 展开更多

关键词 能力验证 前处理 基质配标 基质加标

在线阅读 下载PDF 职称材料

蔬菜中农药残留能力验证过程中的质量控制 被引量：4

14

作者 许爱霞 《园艺与种苗》 CAS 2019年第6期49-50,共2页

能力验证过程中的质量控制是通过能力验证的关键条件。就省级农业系统组织实施的蔬菜中农药残留检测能力验证检测结果和过程控制进行了总结,为规范实验室质量控制提供参考。

关键词 农药残留 能力验证 质量控制

在线阅读 下载PDF 职称材料

华龙一号包络功率形状验证方法研究

15

作者 刘同先 李天涯 +3 位作者 肖鹏 廖鸿宽 于颖锐 周金满 《原子能科学技术》 EI CAS CSCD 北大核心 2021年第1期128-134,共7页

堆芯功率分布可用径向功率分布和轴向功率分布分别描述,功率分布对堆芯偏离泡核沸腾(DNB)具有较高的重要性。核电厂在运行过程及事故过程中可能出现的功率分布各不相同,为有效简化热工水力设计及事故分析所需的功率形状,根据事故过程中... 堆芯功率分布可用径向功率分布和轴向功率分布分别描述,功率分布对堆芯偏离泡核沸腾(DNB)具有较高的重要性。核电厂在运行过程及事故过程中可能出现的功率分布各不相同,为有效简化热工水力设计及事故分析所需的功率形状,根据事故过程中功率分布的变化程度以及核电厂保护系统特性,将事故分析所需的极限功率形状分类包络。根据华龙一号的保护系统设置,以堆芯功率能力分析方法为基础,介绍了华龙一号工况Ⅰ包络功率形状和参考功率形状的验证方法。计算结果表明,工况Ⅰ包络功率形状和参考功率形状分别为各自适用场景下的包络功率形状。结果不仅有助于工程设计人员快速理解包络功率形状的验证方法,也有利于包络功率形状在后续事故分析中合理使用。 展开更多

关键词 包络功率形状 堆芯功率能力 验证方法

在线阅读 下载PDF 职称材料

低氧环境热强度试验舱研制及性能验证 被引量：1

16

作者 尹涛 高飞 +2 位作者 刘玥 李红 王晓晖 《导弹与航天运载技术》 CSCD 北大核心 2018年第4期116-120,共5页

研制一套大型低氧环境试验舱,用于整弹试件的低氧环境热强度试验,提供模拟高空低氧环境的密封试验空间,对快速降氧能力和舱内温度、压力的控制能力进行试验验证,结果表明该试验舱可实现1h内达到并保持2%以下的低氧浓度、舱壁温度不超过5... 研制一套大型低氧环境试验舱,用于整弹试件的低氧环境热强度试验,提供模拟高空低氧环境的密封试验空间,对快速降氧能力和舱内温度、压力的控制能力进行试验验证,结果表明该试验舱可实现1h内达到并保持2%以下的低氧浓度、舱壁温度不超过50℃、舱内平均压力100±20Pa的控制效果,满足飞行器高空低氧环境模拟试验的要求,可为大型低氧环境模拟试验系统的研制提供参考。 展开更多

关键词 高超声速飞行器 低氧环境 热环境 试验舱 性能验证

在线阅读 下载PDF 职称材料

一种新型高增益Quasi-Z源逆变器 被引量：1

17

作者 许文强 王维庆 +1 位作者 王海云 刘超吾 《现代电子技术》 北大核心 2019年第20期9-12,16,共5页

为了解决传统Z源逆变器的升压能力不足,提出一种新型高增益Quasi?Z源逆变器。该新型拓扑结构将传统Quasi?Z源逆变器的两个电感用升压单元和改进型开关电感替换得以实现。在Matlab/Simulink下对该新型拓扑结构和传统Quasi?Z源拓扑结构的... 为了解决传统Z源逆变器的升压能力不足,提出一种新型高增益Quasi?Z源逆变器。该新型拓扑结构将传统Quasi?Z源逆变器的两个电感用升压单元和改进型开关电感替换得以实现。在Matlab/Simulink下对该新型拓扑结构和传统Quasi?Z源拓扑结构的直流链电压、电容电压和负载电压进行仿真分析对比。结果显示,相比于传统的Quasi?Z源逆变器,该新型拓扑结构性能有了大幅度改善,提高了升压能力,使其可以有更加广泛的应用场合,有效抑制了启动冲击电流,从而避免了启动瞬间逆变器开关器件的损坏。 展开更多

关键词 Quasi-Z源逆变器 升压能力 拓扑结构 性能改善 仿真分析 理论验证

在线阅读 下载PDF 职称材料

三维堆芯功率能力验证优化分析 被引量：2

18

作者 赵常有 王加琦 +2 位作者 付学峰 蔡德昌 张博平 《核科学与工程》 CSCD 北大核心 2017年第6期1061-1065,共5页

堆芯功率能力验证是堆芯设计安全论证中的重要内容,本文介绍了CPR1000电厂功率能力验证的计算方法以及该方法遇到的问题,从燃耗点选取、功率台阶选取、技术规范以及事故子项设置几个方面给出了堆芯功率能力验证的优化方向,可以在保证计... 堆芯功率能力验证是堆芯设计安全论证中的重要内容,本文介绍了CPR1000电厂功率能力验证的计算方法以及该方法遇到的问题,从燃耗点选取、功率台阶选取、技术规范以及事故子项设置几个方面给出了堆芯功率能力验证的优化方向,可以在保证计算精度的情况下大幅提高计算速度。 展开更多

关键词 三维 堆芯功率能力验证 DNBR FQ

在线阅读 下载PDF 职称材料

双隔离断口GIS功能模块仿真计算及试验验证 被引量：6

19

作者 黎卫国 张长虹 +3 位作者 杨旭 黄忠康 季晓清 李万民 《高压电器》 CAS CSCD 北大核心 2020年第3期30-38,共9页

可实现GIS不停电扩建和耐压功能的双断口隔离开关(DDS)采用非标准结构的断口型式,为了验证这种特殊结构是否满足实际运行工况,文中通过Ansys有限元软件,建立双断口隔离开关机、电、热3D仿真模型,开展双断口隔离开关机械强度、绝缘强度... 可实现GIS不停电扩建和耐压功能的双断口隔离开关(DDS)采用非标准结构的断口型式,为了验证这种特殊结构是否满足实际运行工况,文中通过Ansys有限元软件,建立双断口隔离开关机、电、热3D仿真模型,开展双断口隔离开关机械强度、绝缘强度、载流能力的仿真计算,并以双断口隔离开关真型样机开展绝缘试验、温升试验、动热稳定试验、机械寿命试验、高低温试验、母线转移电流试验、壳体水压试验。研究结果表明:壳体最大主应力为235.08 MPa,盖板最大等效应力为114.86 MPa,均小于许用应力;双断口隔离开关各部件场强均低于允许场强,并有一定裕度;滑动连接部分最大温升为56.5 K,壳体温升为17.3 K,内部导体和壳体温升均满足要求;试验结果验证了仿真计算的正确性。双断口隔离开关已应用于±800 kV东方换流站220 kV GIS的6个备用扩建间隔,设备运行良好。 展开更多

关键词 双断口隔离开关 不停电功能模块 机械强度 绝缘特性 载流能力 仿真计算 试验验证

在线阅读 下载PDF 职称材料

能力验证在轮式拖拉机检测实验室中的应用与建议 被引量：1

20

作者 刘辉 刘声春 刘德普 《中国农机化学报》 北大核心 2019年第12期125-129,共5页

能力验证是实验室检测质量保证的重要手段,有助于实验室证明其检测数据的可靠性,提高实验室的技术能力和管理水平。对行业内首次轮式拖拉机检测实验室能力验证活动进行全面总结,特别对轮式拖拉机的功率、最大扭矩、小时油耗、动态环境... 能力验证是实验室检测质量保证的重要手段,有助于实验室证明其检测数据的可靠性,提高实验室的技术能力和管理水平。对行业内首次轮式拖拉机检测实验室能力验证活动进行全面总结,特别对轮式拖拉机的功率、最大扭矩、小时油耗、动态环境噪声等4个检测参数进行详细分析,采用拉依达准则统计方法剔除离群值后,以检测参数平均值和标准差作为指定值和能力评定标准差,并通过Z比分数法评价参加者的能力。参加能力验证17实验室,每个实验室4个检测参数,出现4个可疑结果及1个不满意结果,其他结果均为满意。通过此次能力验证,目前轮式拖拉机检测实验室出具的检测结果可靠,差异性不明显。个别实验室部分检测项目出现可疑或不满意结果,应查找原因,制定整改措施。 展开更多

关键词 能力验证 实验室间比对 轮式拖拉机 Z比分数

在线阅读 下载PDF 职称材料