期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到237篇文章
< 1 2 … 12 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
高职学生6S学习策略师生认知差异及教学研究——基于双样本比例Z检验的结果
1
作者 杨雨溪 新昕 《辽宁高职学报》 2026年第1期36-40,共5页
基于辽宁省3所高职院校533名学生与23名教师的问卷和访谈,采用t检验与双样本比例Z检验,分析了师生在6S学习策略六个维度(目标设定、学习状态、内在动机、潜能激发、自我调控、策略应用)的认知差异及其主要成因。研究结果显示,教师对学... 基于辽宁省3所高职院校533名学生与23名教师的问卷和访谈,采用t检验与双样本比例Z检验,分析了师生在6S学习策略六个维度(目标设定、学习状态、内在动机、潜能激发、自我调控、策略应用)的认知差异及其主要成因。研究结果显示,教师对学生学习策略的整体评价低于学生自评,在课前预习、课后复习与自我调控方面差距尤为明显。本文提出了以目标分解、过程监控、即时反馈和信息化赋能为核心的6S教学闭环,为高职院校精准培养学生学习能力提供实践路径与实证依据。 展开更多
关键词 高职教育 6S学习策略 师生认知差异 学习能力培养 双样本比例Z检验
在线阅读 下载PDF
ICP-MS法测定化妆品中铅含量的能力验证研究 被引量：1
2
作者 张隆龙 王继双 +1 位作者 王欢欢 王海燕 《中国食品药品监管》 2025年第5期140-146,共7页
目的:开展并实施化妆品中铅的含量测定的能力验证项目,评估检验机构对化妆品中铅的检测能力。方法:向参加能力验证的实验室发放化妆品考核样品,要求各实验室使用电感耦合等离子质谱法(ICP-MS)对考核样品中铅含量进行分析测定,并对测定... 目的:开展并实施化妆品中铅的含量测定的能力验证项目,评估检验机构对化妆品中铅的检测能力。方法:向参加能力验证的实验室发放化妆品考核样品,要求各实验室使用电感耦合等离子质谱法(ICP-MS)对考核样品中铅含量进行分析测定,并对测定结果进行稳健统计分析,采用z比分数值评价各参加实验室对化妆品中铅含量的测定能力。结果:在95%置信度下,样品的均匀性、运输稳定性和储存稳定性均符合要求,样品满足能力验证计划的要求。共有41家实验室参加能力验证,其中40家的测定结果为满意,1家的测定结果为可疑,0家的测定结果为不满意,满意率为97.6%。结论:绝大多数实验室具备较强的化妆品中铅含量的测定能力,但个别实验室的测定能力须进一步提高。建议对可疑结果的原因进行分析,并采取相应措施,以进一步提升测定能力。 展开更多
关键词 化妆品 铅 能力验证 z比分数 ICP-MS
在线阅读 下载PDF
细菌内毒素能力验证3种结果评价方式的比较研究
3
作者 杜颖 隋思涟 +5 位作者 谭德讲 张横 陈晨 贺庆 陈华 项新华 《中国药事》 2025年第9期1017-1026,共10页
目的:使用3种评价方式,对细菌内毒素动态浊度法能力验证检测结果进行评价,以探讨更科学、能深入区分实验室检测能力的方式。方法:首先收集1轮设计有重复策略的细菌内毒素动态浊度法能力验证结果,然后在对数结果状态下采用稳健算法A和稳... 目的:使用3种评价方式,对细菌内毒素动态浊度法能力验证检测结果进行评价,以探讨更科学、能深入区分实验室检测能力的方式。方法:首先收集1轮设计有重复策略的细菌内毒素动态浊度法能力验证结果,然后在对数结果状态下采用稳健算法A和稳健算法S分别获得指定值和能力评定标准差等统计量,再用质量限度标准(50%~200%)、Z值和均值-极差图3种评价方式,对实验室的检测能力进行评价。结果:40家实验室的检测结果,经统计分析后,在对数(log10)状态下,获得稳健算法A的指定值X为4.074和稳健算法S能力评定标准差σPT为0.042。实验室的能力,(1)按照质量限度标准方式评价,40家实验室的检测结果在指定值X的50%~200%,均被评价为满意。(2)按照Z值方式评价:a.当对实验室内结果按照对数均值进行Z值评价时,有36家实验室被评价为满意;有4家实验室被评价为可疑;未见不满意实验室。b.当对实验室内结果按照每个对数值进行Z值评价时,有31家实验室被评价为满意;有6家实验室被评价为可疑;有3家实验室被评价为不满意。(3)按照均值-极差图方式评价时,有25家实验室被评价为满意;有8家实验室被评价为可疑;有7家实验室被评价为不满意。结论:尽管国际上通常采用质量限度标准方式对参与实验室能力(细菌内毒素能力验证)作最终满意与否的评价,但均值-极差图方式在这3种评价方式中,能更好地区分出参与实验室的能力,并能直观显示出偏离指定值的距离和离散大小。 展开更多
关键词 细菌内毒素 动态浊度法 能力验证 Z值 均值-极差图 质量限度标准
暂未订购
DH780+Z增强成形性双相钢硬化模型适用性研究 被引量：3
4
作者 韩龙帅 官英平 +4 位作者 韩赟 李学涛 郑学斌 段永川 张雪 《塑性工程学报》 北大核心 2025年第2期141-148,共8页
采用单向拉伸试验得到的真实应力-应变数据标定了Hollomon、LIAN、Swift、Hockett-Sherby、Voce及EI-Mgad等硬化模型。进行了液压胀形试验,获取了大应变范围下的等效应力-应变数据,对比分析了各硬化模型的预测精度。进行了弯曲试验并采... 采用单向拉伸试验得到的真实应力-应变数据标定了Hollomon、LIAN、Swift、Hockett-Sherby、Voce及EI-Mgad等硬化模型。进行了液压胀形试验,获取了大应变范围下的等效应力-应变数据,对比分析了各硬化模型的预测精度。进行了弯曲试验并采用标定的硬化模型进行了弯曲过程有限元模拟。结果显示,对于DH780+Z材料,在均匀变形阶段,各硬化模型的表征精度较高,但外推的大应变范围下各模型预测结果差别较大,等效应变为1时,预测的最大、最小应力差达745.5 MPa。液压胀形获取的等效应力-应变数据显示,大应变范围下硬化趋势与各硬化模型预测均不同。对于弯曲变形,在不考虑包申格效应的情况下,EI-Mgad及Swift/Hockett-Sherby(权重系数a=0.695)模型预测的DH780+Z弯曲方向外表面塑性应变精度最高,偏差分别为-0.35%及0.003%。 展开更多
关键词 DH780+Z增强成形性双相钢 液压胀形试验 大应变 硬化模型 有限元
原文传递
基于试验室比对的排放与节能能力验证研究
5
作者 徐红林 黄文栋 +2 位作者 姚王锴 程淼 黄佳琦 《现代车用动力》 2025年第3期31-39,共9页
成熟的汽车公司均拥有汽车性能试验室,试验室能力验证是试验室管理必须进行的工作,因此试验室需要依据标准建立一套有效的试验室能力验证体系。试验室能力验证体系是为各个试验室内试验结果的稳定性、各试验室间结果的一致性,以及为分... 成熟的汽车公司均拥有汽车性能试验室,试验室能力验证是试验室管理必须进行的工作,因此试验室需要依据标准建立一套有效的试验室能力验证体系。试验室能力验证体系是为各个试验室内试验结果的稳定性、各试验室间结果的一致性,以及为分析试验结果中的离群值提供方法。在整车试验中,尾气排放污染物、整车油耗、底盘测功机模拟道路阻力是关键试验数据,整车性能试验室选用一辆技术成熟的运动型多用途(SUV)试验车在4个试验室间进行持续不断的比对试验,对大量的试验结果进行分析,完成了试验室的能力验证。 展开更多
关键词 能力验证 z值 稳定性 一致性 离群值
在线阅读 下载PDF
地铁与车辆荷载共同作用下地下过街通道振动响应实测与数值模拟分析
6
作者 王纪龙 张继培 +1 位作者 沈弘毅 赵博 《建筑技术》 2025年第8期963-970,共8页
基于天津地铁4号线果园南道站顶管过街通道建设项目,对场地振动响应实测,同时利用ABAQUS有限元软件建立土体-地铁-地下通道结构三维简化模型,采用激振力函数和DLOAD子程序相结合的方式模拟地铁荷载作用全过程,对比研究了地铁与车辆荷载... 基于天津地铁4号线果园南道站顶管过街通道建设项目,对场地振动响应实测,同时利用ABAQUS有限元软件建立土体-地铁-地下通道结构三维简化模型,采用激振力函数和DLOAD子程序相结合的方式模拟地铁荷载作用全过程,对比研究了地铁与车辆荷载共同作用下地下过街通道对地表振动响应的影响规律。结果表明:所采用的地铁简化模型与有限元模拟方法可较准确地还原实际地铁荷载和振动传递过程,地面振动强度受地铁列车运行速度的影响较小。在地铁与车辆荷载共同作用下,考虑过街通道与不考虑过街通道两种工况在通道长度范围内Z振级整体上均随着与地铁隧道距离的增大而衰减,衰减率分别为12.8%和16.2%。由于过街通道对振动传播的阻隔作用,考虑过街通道各测点的Z振级均小于不考虑过街通道相应测点的Z振级,差值大小需综合考虑地铁荷载与车辆荷载距离衰减和过街通道阻隔的影响。 展开更多
关键词 地铁振动 过街通道 场地实测 激振力函数 Z振级
在线阅读 下载PDF
一种便携式泵组性能测试系统的研发
7
作者 杨雷 赵江 李方玉 《工业仪表与自动化装置》 2025年第3期29-37,共9页
目前水泵机组的水力现场测试存在水泵机组运输难、成本高、人工检测效率低、现场测试数据不准确等局限性问题,针对水泵机组的水力现场测试需求及当前测试技术的现状,研发了一种便携式泵组性能测试系统。该系统集成了试验数据采集、实时... 目前水泵机组的水力现场测试存在水泵机组运输难、成本高、人工检测效率低、现场测试数据不准确等局限性问题,针对水泵机组的水力现场测试需求及当前测试技术的现状,研发了一种便携式泵组性能测试系统。该系统集成了试验数据采集、实时数据分析计算、自动生成报告、通过物联网技术上传数据至远程在线测试与评估平台等多重功能。实验表明实时采集的数据波动幅度、重复测量变化限度和不确定度均符合GB/T 3216-2016标准测试要求。此外,三家实验数据的比对结果显示标准分数|Z|≤2,达到满意水平,进一步验证了该系统的准确性和可靠性。该系统实现了对水泵机组关键性能参数的现场快速准确测量,显著减少了人工干预,提升了测试的客观性和实时性,为水泵机组的现场性能测试提供了一种高效准确便捷的解决方案。 展开更多
关键词 远程测试 水力性能 实时采集 远程在线测试 Z比分法
在线阅读 下载PDF
迭代法和四分位距法对PTP项目中能力评定定量分析的影响
8
作者 高兴海 《食品与发酵科技》 2025年第5期131-136,共6页
根据CNAS—GL002:2018《能力验证结果的统计处理和能力评价指南》中同步计划实验的统计数据,分别采用四分位距法和迭代法对数据结果进行分析,并分别计算z比分数和z′比分数,确认两种分析方法在能力验证计划项目中的可行性。结合SPSS软... 根据CNAS—GL002:2018《能力验证结果的统计处理和能力评价指南》中同步计划实验的统计数据,分别采用四分位距法和迭代法对数据结果进行分析,并分别计算z比分数和z′比分数,确认两种分析方法在能力验证计划项目中的可行性。结合SPSS软件数据统计分析,z比分数和z′比分数差异显著(P<0.05),在专家公议值不明确时,迭代法更适合于饮料中苯甲酸、山梨酸的检测结果分析与评估。 展开更多
关键词 能力验证计划 z比分数 z′比分数 定量分析
在线阅读 下载PDF
Z分数在核酸检测室间质评回顾性分析中的应用
9
作者 魏玮 魏嬴 《中国输血杂志》 2025年第2期244-250,256,共8页
目的 将Z分数作为室间质评(EQA)结果评价的手段,提高实验室的质量控制管理能力。方法 依据2021—2023年国家卫健委临床检验中心核酸EQA反馈结果绘制Z分数质控图,采用Westgard质控规则进行室间质量评价管理。结果 2021—2023年EQA中罗氏... 目的 将Z分数作为室间质评(EQA)结果评价的手段,提高实验室的质量控制管理能力。方法 依据2021—2023年国家卫健委临床检验中心核酸EQA反馈结果绘制Z分数质控图,采用Westgard质控规则进行室间质量评价管理。结果 2021—2023年EQA中罗氏检测系统HBV标本混样检测发生了失控,其余项目均在控;科华检测系统HCV标本混样检测、HBV标本拆分检测发生了失控,HIV标本拆分检测出现了警告,其余项目均在控。结论 Z分数质控图可实现EQA结果的连续监测,采用Westgard质控规则进行质量评价管理,能够提示误差的类型,有助于提升实验室质量管理控制能力,确保实验室核酸检测结果的准确性。 展开更多
关键词 Z分数 核酸检测 室间质评
原文传递
武器装备软件测试用例复用技术
10
作者 邹诗苑 张龙 +2 位作者 丁小芩 王丽娜 刘佳 《兵工自动化》 北大核心 2025年第6期82-85,共4页
为提高测试的效率和质量,对武器装备软件测试用例的复用进行了探讨。提出测试项、测试用例的概念及用例库的基本构架,采用Z规格说明语言对测试用例进行统一描述,描述方法运用在武器装备软件的测试用例复用实例中,能保证软件测试的有效... 为提高测试的效率和质量,对武器装备软件测试用例的复用进行了探讨。提出测试项、测试用例的概念及用例库的基本构架,采用Z规格说明语言对测试用例进行统一描述,描述方法运用在武器装备软件的测试用例复用实例中,能保证软件测试的有效性及测试用例的通用性、独立性、规范化和易修改性。通过测试用例的复用,结果表明:该研究能加快测试用例的设计进度,减少测试人员的负担,提高武器装备软件测试的效率和质量。 展开更多
关键词 测试用例 复用 武器装备软件 Z语言
在线阅读 下载PDF
海河流域气象和水文降水资料对比分析及时空变异 被引量：58
11
作者 褚健婷 夏军 +2 位作者 许崇育 李璐 王中根 《地理学报》 EI CSCD 北大核心 2009年第9期1083-1092,共10页
选用海河流域上国家气象局30个气象站1958-2007年共50年的日降水资料,以及水文部门248个雨量站1995-2004年共10年的资料,采用线性回归、5年滑动平均、Mann-Kendall趋势分析、Kolmogorov-Smirnov检验、Z检验和F检验等方法,在充分考虑两... 选用海河流域上国家气象局30个气象站1958-2007年共50年的日降水资料,以及水文部门248个雨量站1995-2004年共10年的资料,采用线性回归、5年滑动平均、Mann-Kendall趋势分析、Kolmogorov-Smirnov检验、Z检验和F检验等方法,在充分考虑两套降水资料优势的基础上,分析了海河流域降水的时空变化特征。发现:(1)海河流域气象站和雨量站的年降水量基本都符合正态分布,其均值和方差在统计意义上相等;两套资料的相关程度较高,气象站日降水资料可以用来延长水文站资料;(2)在1958-2007年,除春季降水量略有增加外,海河流域的降水整体上呈减少趋势,夏季和全年减少趋势非常明显,而且1980年后呈加速减少;(3)海河流域夏季和全年的降水分布形势相似,以太行山和燕山为界,分为山前多雨带、山前平原区少雨带以及山后少雨带,而且降水从南向北,从沿海到内陆逐渐减少;冬季水汽含量最少,基本上呈南多北少的分布;春秋季的分布特征相似,表现为冬夏季的过渡状态。近50年来,五台山地区和太行山前的部分地区降水减少趋势明显。 展开更多
关键词 海河 气候变化 降水 MK方法 Kolmogorov-Smirnov检验 Z检验 F检验
在线阅读 下载PDF
江苏省社会化检测机构环境γ辐射剂量率测量比对结果分析
12
作者 张翔 何丹丹 王振东 《中国辐射卫生》 2025年第1期67-72,共6页
目的 通过对本次测量比对活动的分析和讨论,发现问题、总结经验,以提高全省社会辐射环境检测机构的辐射检测能力。方法 固定测量点位,参比机构现场分组轮流进行测量;宇宙射线响应值每个参比机构各测量记录50个原始数据,原野、道路和室... 目的 通过对本次测量比对活动的分析和讨论,发现问题、总结经验,以提高全省社会辐射环境检测机构的辐射检测能力。方法 固定测量点位,参比机构现场分组轮流进行测量;宇宙射线响应值每个参比机构各测量记录50个原始数据,原野、道路和室内环境γ剂量率每个参比机构各测量记录10个原始数据;参比机构自行计算检测结果,组织方专家组进行验算确保检测结果无计算错误;使用格拉布斯检验法剔除粗大误差后,采用Z比分数法(中位值/标准化四分位距法)进行比对结果评价。结果 75个测量结果(不含宇宙射线响应值测量结果)中,“满意的”测量结果约占总数的94.7%,“有问题的”测量结果约占5.3%,没有“不满意的”测量结果;“有问题的”测量结果涉及2台FH40G型γ辐射剂量率仪和1台AT1121型γ辐射剂量率仪。结论 仪器的宇宙射线响应值测值高低不一定影响环境γ辐射剂量率测量结果的比对评价结果;AT1121型γ辐射剂量率仪可能不适宜用作一般环境γ辐射空气吸收剂量率的检测。 展开更多
关键词 社会化检测机构 环境γ辐射剂量率 测量比对 Z比分数法
原文传递
非钝化镀锌钢带DX51D+Z耐腐蚀性能影响因素分析
13
作者 贾瑞雪 秦蕊 +4 位作者 姚熠莹 杨维宇 刘恩泽 陈建华 勤牧 《包钢科技》 2025年第5期64-69,共6页
文章采用24 h中性盐雾试验对非钝化镀锌钢带DX51D+Z表面耐腐蚀性能开展研究,探究表面涂油量、静置时间及表面处理方式等因素对其表面生成白锈的影响。研究结果发现,表面涂油量和涂油后静置时间是影响非钝化镀锌钢带DX51D+Z耐腐蚀性能的... 文章采用24 h中性盐雾试验对非钝化镀锌钢带DX51D+Z表面耐腐蚀性能开展研究,探究表面涂油量、静置时间及表面处理方式等因素对其表面生成白锈的影响。研究结果发现,表面涂油量和涂油后静置时间是影响非钝化镀锌钢带DX51D+Z耐腐蚀性能的主要因素。通过优化表面处理工艺,如采用产线中涂油结合人工涂油,并控制涂油后静置时间不超过96 h,可有效提高非钝化镀锌钢带DX51D+Z耐腐蚀性能,满足24 h中性盐雾试验后表面白锈面积不大于5%的验收目标。 展开更多
关键词 非钝化镀锌钢带DX51D+Z 耐腐蚀性能 24 h中性盐雾试验 涂油量 静置时间 表面处理
在线阅读 下载PDF
自适应多尺度窗口平均光谱平滑 被引量：5
14
作者 季江 高鹏飞 +4 位作者 贾南南 杨蕊 郭汉明 瑚琦 庄松林 《光谱学与光谱分析》 SCIE EI CAS CSCD 北大核心 2015年第5期1445-1449,共5页
去噪算法是极其重要的光谱预处理步骤,能够显著提高后续光谱分析算法的准确性。然而,大多数去噪算法都需要通过反复试验的方式来人为设置初始参数,不能自动完成光谱去噪。为了能够对光谱进行自动且可靠的平滑去噪,提出了一种自适应多尺... 去噪算法是极其重要的光谱预处理步骤,能够显著提高后续光谱分析算法的准确性。然而,大多数去噪算法都需要通过反复试验的方式来人为设置初始参数,不能自动完成光谱去噪。为了能够对光谱进行自动且可靠的平滑去噪,提出了一种自适应多尺度窗口平均平滑(AMWA)去噪算法。该算法针对光谱中不同位置采用不同宽度的平滑窗口,这些窗口的宽度将直接影响到平滑效果。当窗口宽度选择不合适时,可能出现去噪过度,使得峰畸变或者丢失;也有可能导致去噪不足,使得光谱的较平坦区域仍包含大量的噪声。因此判断每个窗口宽度是否合适,是光谱平滑的关键。该算法通过迭代的方法不断优化各个窗口的宽度,并以统计学中的Z检验来判断窗口宽度是否为最佳。另外,为了提高假设检验的可靠性,用不同信噪比的模拟数据对假设检验中使用的阈值进行比较,发现当阈值设为1.1时可使去噪效果最佳。用模拟光谱和实际光谱对该算法进行了测试,该算法能够自动适应不同的光谱形状和噪声强度。还将AMWA去噪算法与SG算法及移动窗口平均平滑算法进行了全面的比较,AMWA算法都明显优于其他两种算法。结果表明AMWA算法不仅去噪效果更好,而且准确性及保真性也更高,对模拟光谱和实际光谱都具有极好的平滑效果。 展开更多
关键词 光谱平滑 多尺度 窗口平均 Z检验
在线阅读 下载PDF
一种基于解析冗余关系的半定性故障隔离方法在航天器推进系统中的应用 被引量：8
15
作者 彭小辉 晏政 +1 位作者 李艳军 吴建军 《国防科技大学学报》 EI CAS CSCD 北大核心 2012年第6期104-110,共7页
针对航天器推进系统的时变特性以及随机因素给故障隔离带来的困难,提出了基于Z-检验分析和解析冗余关系相结合的半定性故障隔离方法。基于状态空间转换的思想,运用基于系统诊断键合图模型建立的解析冗余关系挖掘系统时不变的结构特征空... 针对航天器推进系统的时变特性以及随机因素给故障隔离带来的困难,提出了基于Z-检验分析和解析冗余关系相结合的半定性故障隔离方法。基于状态空间转换的思想,运用基于系统诊断键合图模型建立的解析冗余关系挖掘系统时不变的结构特征空间信息,并对解析冗余关系残差进行趋势分析获取时不变、具有残差变化方向的故障特征矩阵,针对存在随机因素对残差定性化的影响,利用了Z-检验分析对残差进行定性化获取观察特征,通过观测特征与故障特征的比较进行系统故障隔离。将该方法应用于推进系统的故障隔离中,结果证明了该方法能有效避免获取推进系统时变诊断准则以及来自系统建模和参数测量等随机因素的干扰,提高了推进系统故障隔离的鲁棒性。 展开更多
关键词 航天器推进系统 故障隔离 时不变结构特征 Z-检验 解析冗余关系
在线阅读 下载PDF
自组织网络在遥感土地覆盖分类中应用研究 被引量：16
16
作者 孙丹峰 汲长远 林培 《遥感学报》 EI CSCD 1999年第2期139-143,共5页
设计完成和比较了自组织网络的几种算法在遥感土地覆盖分类中的应用，结果表明非监督和监督学习相结合方法进行遥感土地覆盖分类，各算法在分类性能上无显著差异，因此可采用算法较简单的简单竞争学习网络。
关键词 自组织网络 遥感分类 土地覆盖 土地利用
在线阅读 下载PDF
实验室比对统计分析方法的比较 被引量：27
17
作者 李晶 项新华 张河战 《中国药学杂志》 CAS CSCD 北大核心 2016年第2期139-143,共5页
目的结合国标要求和实际运用,发现目前国内外药品检验中进行实验室比对和能力验证过程常用统计方法的特点和适用条件。方法本文根据ISO/IEC 17043-GB/T28043,从异常值的角度切入,将实验室在检测的稳定性、重复性能力作为重点;对目前国... 目的结合国标要求和实际运用,发现目前国内外药品检验中进行实验室比对和能力验证过程常用统计方法的特点和适用条件。方法本文根据ISO/IEC 17043-GB/T28043,从异常值的角度切入,将实验室在检测的稳定性、重复性能力作为重点;对目前国内外药品检验中进行实验室比对和能力验证过程常用统计方法进行了汇总和对比分析。重点分析能力评价的稳健统计Z比分数法和Grubbs检验的优劣。结果通过对比研究得出不同方法的适用条件。结论稳健Z比分数在现阶段能力验证结果分析中具有较明显优势。 展开更多
关键词 实验室比对 能力验证 离群值 稳健Z比分数 格鲁布斯检测
原文传递
基于形式规约的软件测试用例自动生成技术研究 被引量：4
18
作者 邹北骥 张保国 +1 位作者 李军义 孙家广 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2004年第3期81-85,共5页
在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展.该方法基于软件的Z语言规约;以Hierons提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如∨iPi∧Qi的析取范式;然后根据析取范式将Z语言描述... 在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展.该方法基于软件的Z语言规约;以Hierons提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如∨iPi∧Qi的析取范式;然后根据析取范式将Z语言描述的操作模式划分为子操作模式;依据子操作模式的前置条件和后置条件,将子操作模式作为状态转换图的转换关系,构建了被测试软件的状态转换图;依据状态转换图,提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则. 展开更多
关键词 自动化测试 软件测试 Z语言 测试用例生成 状态转换
在线阅读 下载PDF
农林类高职大学生心理健康水平现状与对策 被引量：7
19
作者 程伟 陈遇春 王革 《安徽农业科学》 CAS 北大核心 2007年第31期10178-10179,共2页
用症状自评量表(SCL-90)对杨陵职业技术学院307名高职生的心理健康状况进行测查。结果表明,农林类高职生这一群体中有明显心理问题的占12.05%;SCL-90各因子分值均高于全国正常成人常模而低于全国大学生常模;男女生样本Z检验的结果差异... 用症状自评量表(SCL-90)对杨陵职业技术学院307名高职生的心理健康状况进行测查。结果表明,农林类高职生这一群体中有明显心理问题的占12.05%;SCL-90各因子分值均高于全国正常成人常模而低于全国大学生常模;男女生样本Z检验的结果差异并不显著;独生子女心理健康状况不如非独生子女的心理健康状况。 展开更多
关键词 农林类 高职大学生 SCL-90 Z检验
在线阅读 下载PDF
Object-Z规格说明测试用例的自动生成器 被引量：5
20
作者 许庆国 缪淮扣 +1 位作者 曹晓夏 胡晓波 《软件学报》 EI CSCD 北大核心 2011年第6期1155-1168,共14页
对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造... 对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造成了困难.通过展开Object-Z规格说明中的模式定义,改进Object-Z的文法结构,给出了提取Object-Z规格说明语义的方法,研究了从Object-Z规格说明产生测试用例的自动化过程.这一过程主要包含3个阶段:Object-Z语言的自动解析、语义自动抽取和测试用例自动产生.通过介绍的工具原型,可以很容易得到规格说明中的各种语义;基于某些测试准则,能够方便自动产生可视化的抽象测试用例. 展开更多
关键词 基于规格说明的测试 OBJECT-Z 语义提取 测试用例生成器
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 12 下一页 到第 页
使用帮助 返回顶部