期刊文献+
共找到287篇文章
< 1 2 15 >
每页显示 20 50 100
Heteroscedasticity check in nonlinear semiparametric models based on nonparametric variance function
1
作者 QU Xiao-yi LIN Jin-guan 《Applied Mathematics(A Journal of Chinese Universities)》 SCIE CSCD 2008年第4期401-409,共9页
The assumption of homoscedasticity has received much attention in classical analysis of regression. Heteroscedasticity tests have been well studied in parametric and nonparametric regressions. The aim of this paper is... The assumption of homoscedasticity has received much attention in classical analysis of regression. Heteroscedasticity tests have been well studied in parametric and nonparametric regressions. The aim of this paper is to present a test of heteroscedasticity for nonlinear semiparametric regression models with nonparametric variance function. The validity of the proposed test is illustrated by two simulated examples and a real data example. 展开更多
关键词 heteroscedasticity check nonlinear semiparametric regression model asymptotic normality nonparametric variance function
下载PDF
智能热工仪表检测标准分析
2
作者 刘波 姚丽芳 姜盈盈 《上海计量测试》 2024年第2期26-29,共4页
智能热工仪表是工业生产智能高效、绿色安全及现代化转型升级的基础。分析了智能记录、温度、压力、流量仪表的通用技术条件,包括结构及基本参数、要求和试验方法,尤其分析了智能热工仪表与传统热工仪表不同的功能检查和物联网安全性试... 智能热工仪表是工业生产智能高效、绿色安全及现代化转型升级的基础。分析了智能记录、温度、压力、流量仪表的通用技术条件,包括结构及基本参数、要求和试验方法,尤其分析了智能热工仪表与传统热工仪表不同的功能检查和物联网安全性试验,为智能热工仪表的检测提供参考。 展开更多
关键词 智能热工仪表 检测标准 功能检查 物联网安全性
下载PDF
低水头拦河坝(堰)生态性设计研究
3
作者 郑微微 陈伟 苏东喜 《水利水电工程设计》 2024年第2期10-13,22,共5页
在中小河流治理工程中,低水头拦河坝(堰)普遍存在强拦、社会功能为主、生态性不足的问题,引发河流演变新的矛盾。结合透水坝、柔性沙棘坝运行生态效果,提出生态设计弱作用理念,建立了河流与坝(堰)工程社会功能和生态功能协调的非线性多... 在中小河流治理工程中,低水头拦河坝(堰)普遍存在强拦、社会功能为主、生态性不足的问题,引发河流演变新的矛盾。结合透水坝、柔性沙棘坝运行生态效果,提出生态设计弱作用理念,建立了河流与坝(堰)工程社会功能和生态功能协调的非线性多目标函数。依此理念和方法,研究改变传统坝(堰)结构,由实体型设计为开放型,有半拦河式、开孔式、梳齿式、网桩坝等多种布置型式。尤其是黄土高原小型淤地坝的新结构型式,能较好地维持沟壑环境,破解阶梯场地筑坝约束。弱作用及相关结构对其他水工建筑物的生态设计有借鉴价值。 展开更多
关键词 低水头坝(堰) 生态性 弱作用 协调性函数 淤地坝
下载PDF
基于PXI总线的综合测试设备设计与实现
4
作者 王亚京 《现代信息科技》 2024年第5期54-58,共5页
综合测试设备在被测控制器产品的生产过程中起着关键作用,可以提供总装后的整机调试、环境适应性试验、交付验收试验以及故障排查等功能。该设备采用PXI主控机箱和专用功能模块作为核心硬件平台,并使用LabVIEW语言开发测试软件。通过系... 综合测试设备在被测控制器产品的生产过程中起着关键作用,可以提供总装后的整机调试、环境适应性试验、交付验收试验以及故障排查等功能。该设备采用PXI主控机箱和专用功能模块作为核心硬件平台,并使用LabVIEW语言开发测试软件。通过系统自检和功能测试,测试设备可以对被测产品进行全面的测试,并生成稳定可靠的测试结果。通过对测试结果的分析和生成综合测试报告,可以确保被测产品达到预期的功能性能要求。 展开更多
关键词 测试设备 PXI总线 模块化 LABVIEW 功能测试 系统自检
下载PDF
安全隐患排查治理在农机安全生产中的作用
5
作者 李晓勇 田冬梅 《中国农机装备》 2024年第4期43-45,共3页
农机安全隐患排查治理是农机监理部门的职责,是预防和减少农机事故,实施农机安全生产管理的重要环节。近年来,在诸多因素作用下,农业机械安全隐患排查治理很难落到实处,农机安全生产情况令人担忧。结合实际工作经验,分析了农机安全隐患... 农机安全隐患排查治理是农机监理部门的职责,是预防和减少农机事故,实施农机安全生产管理的重要环节。近年来,在诸多因素作用下,农业机械安全隐患排查治理很难落到实处,农机安全生产情况令人担忧。结合实际工作经验,分析了农机安全隐患排查治理在农机安全生产中的重要性,论述农机安全隐患排查存在的问题,提出了对策与建议。 展开更多
关键词 农机安全 隐患排查 安全治理 作用
下载PDF
一种多用户协同的BOM数据一致性校核与检测算法设计
6
作者 邓乐富 马江林 《电子设计工程》 2024年第6期11-15,共5页
针对航空航天制造领域中多用户协同工作场景下,由人为错误操作或数据库共享异常导致的数据一致性较差问题,文中基于改进函数依赖和着色PETRI网构建了BOM数据一致性校核与检验模型。该模型根据多用户BOM数据的结构特点,界定了零部件的层... 针对航空航天制造领域中多用户协同工作场景下,由人为错误操作或数据库共享异常导致的数据一致性较差问题,文中基于改进函数依赖和着色PETRI网构建了BOM数据一致性校核与检验模型。该模型根据多用户BOM数据的结构特点,界定了零部件的层次结构与关系定义。同时对传统函数依赖算法加以改进,并控制数据迁移规模及并行度以改善函数依赖发现效率,从而进行数据信息的不一致校核。通过解构HDFS系统数据写入流程,利用着色PETRI网进行数据共享流程建模,进而实现数据共享一致性校核算法的构建。经仿真验证,所述方案的两种耗时指标与对照组算法相比分别降低了26.61%和38.23%,且状态空间及强连通构建图中状态节点和变迁的数量一致,不存在回路,由此证明了该方案的可行性。 展开更多
关键词 BOM数据 一致性校核与检测 多用户协同 改进函数依赖 着色PETRI网
下载PDF
T-Shaped Transmission Line Fault Location Based on Phase-Angle Jump Checking
7
作者 Jia’an Xie YurongWang +1 位作者 Guobin Jin Mucheng Wu 《Energy Engineering》 EI 2022年第5期1797-1809,共13页
In order to effectively solve the dead-zone and low-precision of T-shaped transmission line fault location,a new T-shaped transmission line fault location algorithm based on phase-angle jump checking is proposed in th... In order to effectively solve the dead-zone and low-precision of T-shaped transmission line fault location,a new T-shaped transmission line fault location algorithm based on phase-angle jump checking is proposed in this paper.Firstly,the 3-terminal synchronous fundamental positive sequence voltage and current phasors are extracted and substituted into the fault branch distance function to realize the selection of fault branch when the fault occurs;Secondly,use the condition of the fundamental positive sequence voltage phasor at the fault point is equal to calculate all roots(including real root and virtual roots);Finally,the phase-angle jump check function is used for checking calculation,and then the only real root can be determined as the actual fault distance,thereby achieving the purpose of high-precision fault location.MATLAB simulation results show that the proposed new algorithm is feasible and effective with high fault location accuracy and good versatility. 展开更多
关键词 T-shaped transmission line fault location real root and virtual roots phase-angle jump check function
下载PDF
卡通视频指导联合ERAS理念在上肢骨折患儿中的应用 被引量:1
8
作者 林锦润 康育兰 +3 位作者 黄幼程 林豆 程青 陈辉 《中国卫生标准管理》 2023年第9期188-193,共6页
目的探讨卡通视频指导联合加速康复外科(enhanced recovery after surgery,ERAS)理论在上肢骨折患儿中的应用及其效果。方法采用便利抽样法,选取2021年6月—2022年10月某省级儿童医院骨科收治的120例上肢骨折患儿,随机分为对照组和试验... 目的探讨卡通视频指导联合加速康复外科(enhanced recovery after surgery,ERAS)理论在上肢骨折患儿中的应用及其效果。方法采用便利抽样法,选取2021年6月—2022年10月某省级儿童医院骨科收治的120例上肢骨折患儿,随机分为对照组和试验组各60例,对照组患儿给予骨科常规护理措施,试验组患儿给予卡通视频指导联合ERAS理论护理措施;比较两组患儿骨折愈合情况、功能锻炼的依从性、儿童应激障碍检查表(child stress disorders check list,CSDC)及手术后1个月上肢功能评分。结果试验组患儿骨折临床愈合时间、骨性愈合时间均短于对照组(P<0.05),主动训练次数、每次训练时间及训练总次数均多于对照组(P<0.05);出院时,试验组CSDC评分水平低于入院时(P<0.05),且低于对照组(P<0.05);术后1个月,试验组上肢功能评分高于术前(P<0.05),且高于对照组(P<0.05)。结论卡通视频指导联合ERAS理论的护理措施能够提升上肢骨折患儿术后功能锻炼依从性,缓解心理应激障碍,促进上肢功能恢复和骨折愈合。 展开更多
关键词 加速康复外科 卡通视频 上肢骨折 儿童 儿童应激障碍检查表 功能锻炼依从性
下载PDF
某款车型基于电压跳变试验的测试方法 被引量:3
9
作者 丰彦冬 杨国樑 +2 位作者 张朋桥 孟春江 谭金超 《汽车电器》 2023年第3期74-78,共5页
介绍一款车型基于电压跳变后的功能检查测试,通过对测试目的、测试方法、测试电压脉冲波形评价标准、测试电压脉冲波形参数、实际测试波形图和测试结果分析等进行论述,检验该车型整车电气功能设计的合理性。
关键词 电压跳变 电压脉冲波形 测试方法 评价标准 功能检查
下载PDF
基于多尺度排列熵和正则化RVFL的高压隔膜泵单向阀故障诊断 被引量:2
10
作者 范玉刚 张由振 《云南大学学报(自然科学版)》 CAS CSCD 北大核心 2023年第1期38-47,共10页
高压隔膜泵单向阀运行工况复杂,运行时产生的振动信号具有非线性、非平稳特性,导致信号特征提取困难,故障状态难以识别.为了提取单向阀运行状态的非线性动力学特征,提升故障诊断模型的识别精度和泛化能力,提出了一种基于多尺度排列熵(Mu... 高压隔膜泵单向阀运行工况复杂,运行时产生的振动信号具有非线性、非平稳特性,导致信号特征提取困难,故障状态难以识别.为了提取单向阀运行状态的非线性动力学特征,提升故障诊断模型的识别精度和泛化能力,提出了一种基于多尺度排列熵(Multi-scale Permutation Entropy,MPE)和正则化随机向量函数链接(Random Vector Functional Link,RVFL)网络的单向阀故障诊断方法.首先,对工况下采集的单向阀振动信号进行变分模态分解(Variational Mode Decomposition,VMD)获得既定的若干本征模态函数(Intrinsic Mode Function,IMF)分量;然后,计算IMF分量的多尺度排列熵,构建表征单向阀运行状态的特征值向量;最后,基于运行状态的特征值向量,建立正则化随机RVFL的故障诊断模型,并应用于单向阀的运行状态监测与识别.实验结果表明,构建的故障诊断模型能够精确地识别单向阀的故障类型,准确率达到98.89%. 展开更多
关键词 单向阀检测 多尺度排列熵 正则化随机向量函数链接网络 变分模态分解 排列熵
下载PDF
基于ARM的国产化便携式保障设备设计
11
作者 王健 曹向忠 丁高林 《机械管理开发》 2023年第12期179-181,共3页
国产化便携式保障设备的研制,对提高装备技术保障、用户快速响应能力具有极其重要的意义。阐述了基于ARM的国产化便携式保障设备设计原理,整机集成度高、结构紧凑,所有电子元器件均100%国产化,无进口芯片因技术封锁带来停产、断货风险,... 国产化便携式保障设备的研制,对提高装备技术保障、用户快速响应能力具有极其重要的意义。阐述了基于ARM的国产化便携式保障设备设计原理,整机集成度高、结构紧凑,所有电子元器件均100%国产化,无进口芯片因技术封锁带来停产、断货风险,设备工作无需外接电源,通电后嵌入式软件自动运行,具有续航时间久、总线接口资源丰富、人机交互良好及移动便携等特点。 展开更多
关键词 人机交互 便携式 自检 功能检查
下载PDF
一种多功能阀门设计与分析
12
作者 孟路 黄亚军 +1 位作者 陈允锋 李林 《科技创新与应用》 2023年第30期38-45,共8页
为控制系统管路中带固体颗粒废水介质的接通或切断、防止海水介质回流,有效保障系统的长期稳定运行。采用截止阀的强制开启、强制关闭结构和升降式止回阀的止回结构,利用这2种阀门结构组合,通过对其零部件的设计、流阻分析、应力计算分... 为控制系统管路中带固体颗粒废水介质的接通或切断、防止海水介质回流,有效保障系统的长期稳定运行。采用截止阀的强制开启、强制关闭结构和升降式止回阀的止回结构,利用这2种阀门结构组合,通过对其零部件的设计、流阻分析、应力计算分析进行整体结构的评价。结果表明,该阀门结构的组合能够实现系统管路中介质的接通、截断,可防止出口介质的倒流功能。说明采用截止阀的强制开启、强制关闭结构和升降式止回阀的止回结构的组合设计,可以解决系统管路中带固体颗粒物介质的排放,实现一阀多用的目的。 展开更多
关键词 阀门 多功能 截止阀 止回阀 集成化 小型化 系统化
下载PDF
LKAS 功能标定车辆状态排查与问题分析
13
作者 汤传军 《汽车实用技术》 2023年第3期54-59,共6页
转向系统的车道保持辅助系统(LKAS)功能作为高级驾驶辅助系统(ADAS)功能的基础功能模块,对车辆的高级自动驾驶功能的实现有重要的意义。LKAS功能是实现车辆横向功能的基本功能需求,良好的车辆转向性能是保证良好的LKAS功能的基础,因此,... 转向系统的车道保持辅助系统(LKAS)功能作为高级驾驶辅助系统(ADAS)功能的基础功能模块,对车辆的高级自动驾驶功能的实现有重要的意义。LKAS功能是实现车辆横向功能的基本功能需求,良好的车辆转向性能是保证良好的LKAS功能的基础,因此,在对车辆的LKAS功能进行标定前,有必要对车辆状态进行排查验收,对存在的不良现象进行问题分析,提供优化方案,确保车辆的基本性能可以满足LKAS功能标定的需求,进而满足ADAS功能要求的需求。 展开更多
关键词 车道保持辅助系统功能 标定 状态排查 问题分析
下载PDF
基于中国深圳老龄化相关疾病队列的血液常规检查参数与认知功能减退相关性研究
14
作者 吴凯钰 许春燕 +7 位作者 田小苹 邱国真 刘威 郭启雯 陈淳淳 刘建军 刘亢丁 朱飞奇 《阿尔茨海默病及相关病杂志》 2023年第4期301-306,共6页
目的:探讨血液常规参数与认知功能减退的关系。方法:本回顾性病例对照研究中,2017年~2018年从深圳市罗湖区51个社区卫生中心纳入8025名60岁以上老人。根据简易精神状态检查(MMSE)评分和教育程度,被分为认知功能筛查阳性组(n=385)和认知... 目的:探讨血液常规参数与认知功能减退的关系。方法:本回顾性病例对照研究中,2017年~2018年从深圳市罗湖区51个社区卫生中心纳入8025名60岁以上老人。根据简易精神状态检查(MMSE)评分和教育程度,被分为认知功能筛查阳性组(n=385)和认知功能筛查阴性组(n=7640)。对收集到的血常规检测数据(包括白细胞、淋巴细胞计数、中性粒细胞计数、单粒细胞计数、单核细胞计数、淋巴细胞、中性粒细胞、单核细胞、红细胞计数、红细胞、血红蛋白、平均红细胞体积、平均红细胞、平均红细胞血红蛋白浓度、血细胞压积、血小板计数、MPV、PDW和RDW,包括红细胞分布宽度标准差和红细胞分布宽度系数变量)采用非参数检验、卡方检验和二元逻辑回归法进行分析。结果:与认知功能筛查阴性组相比,认知功能筛查阳性组的淋巴细胞-单核细胞比率(LMR)、红细胞压积(PCV)和血小板计数(PLT)显著降低(7.26[5.50,8.81]vs.40.5[37.7,43.1];216[190,258]vs.228[196,261],P<0.05),而单核细胞计数和平均红细胞血红蛋白浓度(MCHC)较高(0.31[0.25,0.38]vs.0.3[0.24,0.37];336[330,343]vs.335[328,342],P<0.05)。此外,MCHC[比值比(OR):1.011,95%CI:1.001–1.021,P=0.033]和PCV[OR:0.993,95%CI:0.987–0.999,P=0.033]与认知功能减退独立相关。结论:一些常规血液检查参数的改变,包括LMR、PCV和PLT降低,单核细胞计数和MCHC升高,可能与认知功能减退有关。 展开更多
关键词 认知功能减退 血常规检查参数 淋巴细胞与单核细胞比值 红细胞压积 血小板计数 单核细胞计数 平均红细胞血红蛋白浓度
下载PDF
复杂系统复合维修间隔期优化模型 被引量:7
15
作者 白永生 贾希胜 程中华 《火力与指挥控制》 CSCD 北大核心 2011年第9期19-22,共4页
采用组合策略对复杂系统辅以功能检测的定期更换维修工作进行综合优化。在分析复杂系统维修费用结构和组成的基础上,建立了其无限使用期条件下单位时间期望费用的数学模型,从而获得系统最佳的功能检测间隔期、定期更换周期内的检测次数... 采用组合策略对复杂系统辅以功能检测的定期更换维修工作进行综合优化。在分析复杂系统维修费用结构和组成的基础上,建立了其无限使用期条件下单位时间期望费用的数学模型,从而获得系统最佳的功能检测间隔期、定期更换周期内的检测次数和最优总费用。最后通过一个算例验证了该策略和模型的有效性。 展开更多
关键词 复合维修 功能检测 复杂系统 组合优化
下载PDF
虚拟装配仿真系统相关技术的研究 被引量:8
16
作者 梅泽高 俞涛 +1 位作者 王栋 朱文华 《计算机仿真》 CSCD 2007年第11期231-234,261,共5页
研究了一种等离子体增强化学气相沉积(PECVD)装备虚拟装配仿真系统,介绍了系统的装配模型以及装配顺序和路径的规划。建立了虚拟装配仿真场景结构图,并采用细节层次技术对仿真场景进行优化。为了能够实时、方便地修改装配序列和装配路径... 研究了一种等离子体增强化学气相沉积(PECVD)装备虚拟装配仿真系统,介绍了系统的装配模型以及装配顺序和路径的规划。建立了虚拟装配仿真场景结构图,并采用细节层次技术对仿真场景进行优化。为了能够实时、方便地修改装配序列和装配路径,准确地描述零部件在装配或拆卸过程中的位置姿态信息,提出了一种虚拟装配的描述语言代码(V代码)和虚拟装配函数(V函数)。最后采用基于包围盒逐层分解的干涉检验方法,实现装配过程的干涉检验。该仿真系统有助于缩短产品开发周期、提高设计质量、降低装配成本。 展开更多
关键词 虚拟装配 装配仿真 装配函数 干涉检验
下载PDF
鼻咽活检钳锋利度测试方法的建立及应用 被引量:3
17
作者 陈爱琴 莫惠香 +2 位作者 陈寒艳 黎锦燕 冯秀兰 《中国医学装备》 2018年第2期40-42,共3页
目的:探讨鼻咽活检钳锋利度的测试方法,为临床医生提供符合使用要求的鼻咽活检钳。方法:采用双盲方法,即测试期间临床医生不知晓每把活检钳的测试结果,消毒供应中心工作人员也不知晓医生的评价情况,将现有的测试方法(薄纸卡测试法)的合... 目的:探讨鼻咽活检钳锋利度的测试方法,为临床医生提供符合使用要求的鼻咽活检钳。方法:采用双盲方法,即测试期间临床医生不知晓每把活检钳的测试结果,消毒供应中心工作人员也不知晓医生的评价情况,将现有的测试方法(薄纸卡测试法)的合格率及改进后的测试方法(双层面巾纸测试法)的合格率分别与医生使用过程中对锋利度的评价(医生评价法)进行关联性对比。结果:三种评价方法存在差异;薄纸卡测试法的合格率与医生评价法不存在关联性;双层面巾纸测试法的合格率与医生评价法存在关联性;双层面巾纸测试法的部分合格率与医生评价法不存在关联性,双层面巾纸测试法的不合格率与医生评价法不存在关联性。结论:鼻咽活检钳锋利度测试方法应采用双层面巾纸作为测试材料,完全分离才能作为锋利度合格的评价标准;薄纸卡的测试方法不建议再作为鼻咽活检钳锋利度的测试方法。 展开更多
关键词 手术器械 活检钳 锋利度测试 功能检查 维护保养
下载PDF
OBS网络中一种基于优先级和门限的偏射路由算法 被引量:4
18
作者 管爱红 王波云 +2 位作者 张元 傅洪亮 崔芳芳 《光子学报》 EI CAS CSCD 北大核心 2010年第11期2015-2019,共5页
为了解决偏射算法在偏射控制上的问题,提出了一种基于优先级和门限的偏射路由算法.该算法采用丢弃少量偏射的高优先级分割突发数据包来保证偏射路由上低优先级非偏射突发数据包的QoS.当冲突发生时,分割偏射优先级低的突发数据包,从而保... 为了解决偏射算法在偏射控制上的问题,提出了一种基于优先级和门限的偏射路由算法.该算法采用丢弃少量偏射的高优先级分割突发数据包来保证偏射路由上低优先级非偏射突发数据包的QoS.当冲突发生时,分割偏射优先级低的突发数据包,从而保护高优先级突发数据包;在偏射路由上,通过启用偏射检测函数来判断是允许偏射的分割突发数据包抢占资源或是丢弃偏射的分割突发数据包.仿真结果表明,虽然该算法增加了少量的端到端的传输时延,但这种算法可以很好地控制偏射突发对网络偏射路由上正常流量的影响,并且能够有效地降低整个网络的丢包率,很好地保护高优先级突发数据包的完整性.故这种方法能够有效地提高OBS网络的性能. 展开更多
关键词 光突发交换 偏射路由 优先级 偏射门限检测函数
下载PDF
诊室血压与功能检查室血压的对比研究 被引量:3
19
作者 谈维洁 黄翠莹 +2 位作者 张莎莎 张琦 王新宴 《空军医学杂志》 2016年第2期113-116,共4页
目的探讨诊室血压与功能检查室血压的关系及二者诊断高血压的一致性。方法入选门诊疑似高血压患者388例,年龄15-89岁,平均(54.30±14.53)岁;其中男187例,平均(50.39±15.44)岁;女201例,平均(57.95±12.66)岁。采用汞... 目的探讨诊室血压与功能检查室血压的关系及二者诊断高血压的一致性。方法入选门诊疑似高血压患者388例,年龄15-89岁,平均(54.30±14.53)岁;其中男187例,平均(50.39±15.44)岁;女201例,平均(57.95±12.66)岁。采用汞柱式标准袖带式血压计检测、记录所有患者的诊室血压并计数心率;采用欧姆龙动脉硬化检测仪(BP-203RPEⅢ)检测、记录四肢动脉血压和心率,并对上述数据进行统计学分析。结果 1总体上诊室血压及心率高于功能检查室血压及心率;诊室收缩压与功能检查室收缩压差值平均值为12.36 mm Hg;舒张压差值平均值为8.42 mm Hg;心率差值平均值为6.17次/min。2388例疑似高血压患者中,根据诊室血压有90.72%(352/388例)被诊断为高血压;根据功能检查室血压有53.09%(206/388例)被诊断为高血压;而且诊室高血压患者中只有56.82%(200/352例)的患者通过功能检查室血压诊断为高血压。结论 1诊室血压与功能检查室血压高血压诊断的一致性较差。2单纯根据诊室血压进行高血压的诊断会带来较大的误诊率和一定的漏诊率。 展开更多
关键词 诊室血压 功能检查室血压 高血压
下载PDF
使用局部建模的微处理器测试程序自动生成方法 被引量:3
20
作者 张良 易江芳 +2 位作者 佟冬 程旭 王克义 《电子学报》 EI CAS CSCD 北大核心 2011年第7期1639-1644,共6页
模拟仿真方法是当前微处理器功能验证的主要方法,然而在验证工作后期需要耗费大量的时间来检验余下复杂的功能点,验证收敛速度缓慢.针对该问题,本文在覆盖率增长缓慢时,引入结合模型检验引擎的测试程序生成方法.该方法首先采用局部建模... 模拟仿真方法是当前微处理器功能验证的主要方法,然而在验证工作后期需要耗费大量的时间来检验余下复杂的功能点,验证收敛速度缓慢.针对该问题,本文在覆盖率增长缓慢时,引入结合模型检验引擎的测试程序生成方法.该方法首先采用局部建模策略为处理器构建抽象设计模型,然后使用模型检验引擎读入该模型并产生测试生成指导规则,最后,随机测试生成器依据指导规则产生大量测试程序作为模拟器输入,完成功能验证工作.以北大众志UniCore32定点处理器核的功能验证为例评估本文方法,结果表明,使用该方法可以快速完成对未覆盖功能点的验证,加速验证收敛. 展开更多
关键词 功能验证 模型检验 局部建模 测试程序生成
下载PDF
上一页 1 2 15 下一页 到第
使用帮助 返回顶部