期刊文献+
共找到105篇文章
< 1 2 6 >
每页显示 20 50 100
Incorporating S-shaped testing-effort functions into NHPP software reliability model with imperfect debugging 被引量:8
1
作者 Qiuying Li Haifeng Li Minyan Lu 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2015年第1期190-207,共18页
Testing-effort(TE) and imperfect debugging(ID) in the reliability modeling process may further improve the fitting and prediction results of software reliability growth models(SRGMs). For describing the S-shaped... Testing-effort(TE) and imperfect debugging(ID) in the reliability modeling process may further improve the fitting and prediction results of software reliability growth models(SRGMs). For describing the S-shaped varying trend of TE increasing rate more accurately, first, two S-shaped testing-effort functions(TEFs), i.e.,delayed S-shaped TEF(DS-TEF) and inflected S-shaped TEF(IS-TEF), are proposed. Then these two TEFs are incorporated into various types(exponential-type, delayed S-shaped and inflected S-shaped) of non-homogeneous Poisson process(NHPP)SRGMs with two forms of ID respectively for obtaining a series of new NHPP SRGMs which consider S-shaped TEFs as well as ID. Finally these new SRGMs and several comparison NHPP SRGMs are applied into four real failure data-sets respectively for investigating the fitting and prediction power of these new SRGMs.The experimental results show that:(i) the proposed IS-TEF is more suitable and flexible for describing the consumption of TE than the previous TEFs;(ii) incorporating TEFs into the inflected S-shaped NHPP SRGM may be more effective and appropriate compared with the exponential-type and the delayed S-shaped NHPP SRGMs;(iii) the inflected S-shaped NHPP SRGM considering both IS-TEF and ID yields the most accurate fitting and prediction results than the other comparison NHPP SRGMs. 展开更多
关键词 testing-effort(TE) imperfect debugging(ID) software reliability growth models(SRGMs) S-shaped non-homogeneous Poisson process(NHPP)
在线阅读 下载PDF
基于Modelica的数控机床多领域建模与虚拟调试 被引量:20
2
作者 王春晓 骆伟超 +1 位作者 刘日良 胡天亮 《组合机床与自动化加工技术》 北大核心 2018年第10期102-105,110,共5页
为解决数控机床的机电耦合多领域统一建模问题,文章在综合比较分析现有的多领域建模方法的基础上,采用多领域统一建模语言Modelica建立了数控机床的多领域数字模型,并以此阐述了多领域模型的构建方法和实现过程。基于此模型,在MWorks平... 为解决数控机床的机电耦合多领域统一建模问题,文章在综合比较分析现有的多领域建模方法的基础上,采用多领域统一建模语言Modelica建立了数控机床的多领域数字模型,并以此阐述了多领域模型的构建方法和实现过程。基于此模型,在MWorks平台下,设计了机床模拟控制器与模型的实时通信机制,实现了机床模拟控制器和模型之间的信息交互,实现了对模型虚拟调试功能的支持。通过伺服电机PI调节的实例,验证了模型对虚拟调试的支持能力从而证明了文章所构建的模型的有效性。模型的虚拟调试可降低机床调试的危险性,缩短机床调试的周期,对机床实机调试具有指导意义。 展开更多
关键词 多领域建模 modelICA 数控机床 虚拟调试
在线阅读 下载PDF
Comparison of Hazard-Rates Considering Fault Severity Levels and Imperfect Debugging for OSS 被引量:1
3
作者 Taku Yanagisawa Yoshinobu Tamura +1 位作者 Adarsh Anand Shigeru Yamada 《Journal of Software Engineering and Applications》 2021年第11期591-606,共16页
Software reliability model is the tool to measure the software reliability quantitatively. Hazard-Rate model is one of the most popular ones. The purpose of our research is to propose the hazard-rate model considering... Software reliability model is the tool to measure the software reliability quantitatively. Hazard-Rate model is one of the most popular ones. The purpose of our research is to propose the hazard-rate model considering fault level for Open Source Software (OSS). Moreover, we aim to adapt our proposed model to the hazard-rate considering the imperfect debugging environment. We have analyzed the trend of fault severity level by using fault data in Bug Tracking System (BTS) and proposed our model based on the result of analysis. Also, we have shown the numerical example for evaluating the performance of our proposed model. Furthermore, we have extended our proposed model to the hazard-rate considering the imperfect debugging environment and showed numerical example for evaluating the possibility of application. As the result, we found out that performance of our proposed model is better than typical hazard-rate models. Also, we verified the possibility of application of proposed model to hazard-rate model considering imperfect debugging. 展开更多
关键词 Open Source Software Bug Tracking System Software Reliability Hazard-Rate model Imperfect debugging
在线阅读 下载PDF
软件中总故障个数相关的不完美排错可靠性模型建模机理与述评
4
作者 张策 孙智超 +2 位作者 纪可行 王金勇 王宇彬 《计算机科学》 北大核心 2025年第6期21-34,共14页
挖掘可靠性研究中,软件故障总数对测试资源分配、可靠性变动影响以及最优发布等具有重要意义,但迄今为止鲜有从故障总数的角度进行可靠性研究。针对贴近真实测试环境的不完美排错等问题,对软件中故障总数相关的可靠性增长模型进行深入... 挖掘可靠性研究中,软件故障总数对测试资源分配、可靠性变动影响以及最优发布等具有重要意义,但迄今为止鲜有从故障总数的角度进行可靠性研究。针对贴近真实测试环境的不完美排错等问题,对软件中故障总数相关的可靠性增长模型进行深入研究和系统述评。首先,对软件可靠性增长模型SRGM(Software Reliability Growth Model)进行评述,给出研究主题、本质与技术内涵,引出软件中故障总数分析。从排错的不完全角度引入不同的新故障模型视角,建立不完美排错模型,分类研究多种情况下软件中故障总数与累积检测到的故障数量二者的变动情况。然后,从排错的不完全性与引入新故障的角度,建立统一的二元一阶不完美排错微分方程组描述软件测试过程,求解得到相应的故障总数与累积检测故障数量表达式。对上述两大类情况下不完美排错模型在多个真实计算机工程系统失效数据集上进行验证,从拟合与预测角度分析不同模型的性能,进而分析软件中故障总数对可靠性的影响。结果表明,故障总数对可靠性模型具有明显影响,其自身性能能够支撑可靠性的增长与性能提升。最后,指出了下一步研究挑战与亟待解决的问题。 展开更多
关键词 可靠性 软件可靠性增长模型 可靠性建模 总故障个数 不完美排错
在线阅读 下载PDF
恒压激励式压力传感器模拟补偿工艺效能提升 被引量:1
5
作者 陈海卫 陈仁军 高维烨 《传感器与微系统》 北大核心 2025年第8期120-123,127,共5页
硅压阻式压力传感器输出受温度变化影响。由于压力传感器实际工作环境的温度变化范围很大,需要采用温度补偿方法来抑制环境温度对传感器特性的影响。当前所采用的模拟式压力传感器调试工艺较为依赖人工操作,费时费力。本文给出了一种针... 硅压阻式压力传感器输出受温度变化影响。由于压力传感器实际工作环境的温度变化范围很大,需要采用温度补偿方法来抑制环境温度对传感器特性的影响。当前所采用的模拟式压力传感器调试工艺较为依赖人工操作,费时费力。本文给出了一种针对恒压激励下的硅压阻式压力传感器桌面模型补偿调试工艺,通过搭建补偿电路、元器件等桌面模型,以测试数据结合桌面模型计算的调试工艺提高压力传感器模拟补偿过程中的调试效率及合格率。1000余支压力传感器的验证结果表明,基于桌面模型计算的调试一次合格率大于99%、调试效率提升400%以上,过程能力指数(CPK)为1.77,具备较强的工程化推广前景。 展开更多
关键词 MEMS 硅压阻式压力传感器 模拟补偿 桌面模型计算 调试工艺
在线阅读 下载PDF
基于数字孪生的高保真推耙机虚拟调试系统
6
作者 李元龙 禹鑫燚 +1 位作者 欧林林 魏岩 《计算机测量与控制》 2025年第8期216-224,共9页
为提前预知无人推耙机控制系统的风险,降低推耙机的无人化作业开发成本和调试周期,基于数字孪生技术虚实高度一致的特性,提出了一种针对全自动无人推耙机控制算法演练与仿真的虚拟调试方法;根据无人推耙机的实际运行控制机理,从机械传动... 为提前预知无人推耙机控制系统的风险,降低推耙机的无人化作业开发成本和调试周期,基于数字孪生技术虚实高度一致的特性,提出了一种针对全自动无人推耙机控制算法演练与仿真的虚拟调试方法;根据无人推耙机的实际运行控制机理,从机械传动,液压推动到电气控制建立了推耙机在物理层面多领域统一的数字孪生模型;根据无人推耙机清舱作业的感知机理,构建了激光雷达、惯导、里程计和RGB-D的多传感器融合数字孪生模型;基于虚幻引擎的实时渲染特性与AGX Dynamics多体动力学库,设计了高保真的数字孪生模型,并构建了孪生推耙机的虚拟控制系统;通过在港口岸桥应用于全自动无人推耙机的调试实例,展示了基于数字孪生的高保真推耙机虚拟调试方法的有效性和可行性,有效避免了调试开发周期过长的缺陷。 展开更多
关键词 数字孪生 无人推耙机 虚拟调试 多领域建模 高拟真渲染
在线阅读 下载PDF
火电厂锅炉补给水处理系统调试技术研究
7
作者 杜岳鹏 《中国高新科技》 2025年第12期52-54,共3页
火电厂锅炉补给水处理系统的调试对于保障系统高效、安全运行至关重要。传统手工调试方法存在耗时长、能耗高及稳定性差等问题。为此,文章提出了一种结合自动化控制技术与智能优化算法的新型调试方法,通过模型预测控制(MPC)和遗传算法(... 火电厂锅炉补给水处理系统的调试对于保障系统高效、安全运行至关重要。传统手工调试方法存在耗时长、能耗高及稳定性差等问题。为此,文章提出了一种结合自动化控制技术与智能优化算法的新型调试方法,通过模型预测控制(MPC)和遗传算法(GA)优化系统参数,提升调试效率和水质稳定性。实验结果表明,自动化控制技术与智能优化算法的应用显著缩短了调试时间,降低了能耗,提高了水质合格率,为火电厂锅炉补给水处理系统提供了高效稳定的调试解决方案。 展开更多
关键词 火电厂 锅炉补给水处理系统 调试 模型预测控制 遗传算法
在线阅读 下载PDF
考虑网络优先级的配电网智能终端即插即用方法 被引量:2
8
作者 张焕强 刘胤良 +5 位作者 林岫菁 喻磊 陈哲 林心昊 陈惠敏 段舒尹 《电子器件》 2025年第1期170-175,共6页
针对大规模智能终端接入云主站造成的调试工作量大、运维效率低的问题,提出了一种考虑网络优先级的配电网智能终端即插即用方法。首先,采用优先级函数和最优解相似度排序方法实现了网络接入策略的选择,以确保即插即用技术在配电网中的... 针对大规模智能终端接入云主站造成的调试工作量大、运维效率低的问题,提出了一种考虑网络优先级的配电网智能终端即插即用方法。首先,采用优先级函数和最优解相似度排序方法实现了网络接入策略的选择,以确保即插即用技术在配电网中的通信可靠性;然后,基于IEC61850通信标准构建了配电物联网的信息模型,并详细描述了即插即用技术的信息交互机制;参考工业互联网中的联合调试方法,提出了一种配电物联网的即插即用技术测试方法,该方法可以有效地检测智能终端的可靠接入。最后,搭建了一个实验平台,实验结果表明,所提出的即插即用技术可以有效地保证配电底层终端设备可靠接入。相比于传统的配置方法,接入效率提高了93.75%,具有良好的工程实用性。 展开更多
关键词 配电物联网 智能终端 即插即用 信息建模 IEC61850标准 联合调试
在线阅读 下载PDF
基于MPPG 5.a的国产TAICHI加速器TPS模型验收与调试
9
作者 汪之群 雷琪琪 +4 位作者 王涛 庞廷田 祝鹤龄 邱杰 杨波 《中国医疗设备》 2025年第7期40-48,共9页
目的验证国产TAICHI设备在RayStation放疗计划系统中建立的束流模型剂量计算的准确度,使设备可以更好地服务于临床患者治疗。方法以美国医学物理协会发布的MPPG 5.a和TG119报告为依据,对TAICHI设备的模型剂量计算模型进行验证,包括PDD... 目的验证国产TAICHI设备在RayStation放疗计划系统中建立的束流模型剂量计算的准确度,使设备可以更好地服务于临床患者治疗。方法以美国医学物理协会发布的MPPG 5.a和TG119报告为依据,对TAICHI设备的模型剂量计算模型进行验证,包括PDD曲线、Profile曲线、TG119、临床病案验证等。结果不同源皮距基础野2 mm/2%伽玛通过率在浅深度(0~20 cm)结果基本都接近100%,深深度(水下25 cm)结果相比于浅深度较差,但均值仍在93%以上,所有点剂量偏差结果均小于2%(小野修正后),因此模型中束流跟设备实际输出基本一致;针对TG119测试病例,调强放疗(Intensity Modulated Radiation Therapy,IMRT)和容积旋转调强放疗(Volumetric Modulated Arc Therapy,VMAT)点剂量及面剂量伽玛通过率结果均满足且远优于TG119报告要求的标准;IMRT和VMAT临床患者计划点剂量验证偏差结果平均值分别为0.48%和0.47%,面剂量测试2 mm/2%及3 mm/3%伽玛通过率分别为95.58%、99.46%和96.75%、99.30%,结果均满足临床需求;IMRT和VMAT肺部端到端测试结果通过,其点剂量偏差分别为-0.495%和-2.602%。结论国产TAICHI经过MPPG 5.a和TG119系统验证后,结果满足并远优于报告要求标准,符合临床要求,可用于优化临床患者治疗计划,对于深深度拟合不好的情况,后续建模过程中需多关注。 展开更多
关键词 TAICHI加速器 TPS模型调试 MPPG 5.a TG119 国产加速器 调强放疗(IMRT) 容积旋转调强放疗(VMAT)
暂未订购
基于BIM技术应用的学校电气设备安装冲突检测研究
10
作者 庄子毅 《电工技术》 2025年第1期123-125,129,共4页
探讨了基于BIM技术的学校电气设备安装冲突检测方法,包括BIM模型的构建、冲突的检测、数据的处理、问题的解决、优化与调整、跟踪与监控以及过程的控制(即施工质量控制)等,展示了BIM技术在提高电气设备安装效率和准确性方面的实际应用... 探讨了基于BIM技术的学校电气设备安装冲突检测方法,包括BIM模型的构建、冲突的检测、数据的处理、问题的解决、优化与调整、跟踪与监控以及过程的控制(即施工质量控制)等,展示了BIM技术在提高电气设备安装效率和准确性方面的实际应用成果。 展开更多
关键词 BIM 学校工程 模型 电气设备 安装 调试 冲突检测
在线阅读 下载PDF
基于AI赋能的自动化生产线调试课程教学模式改革研究
11
作者 宋耀华 刘毛毛 《江西职业技术大学学报》 2025年第3期40-44,49,共6页
本文针对自动化生产线调试课程教学中存在的学生专业基础差异化显著、教学设备结构性短缺、传统理实一体化模式易导致“一人动多人看”现象,以及考核评价要素单一等问题,探索“三阶五步”AI赋能混合式教学模式。该模式通过课前、课中、... 本文针对自动化生产线调试课程教学中存在的学生专业基础差异化显著、教学设备结构性短缺、传统理实一体化模式易导致“一人动多人看”现象,以及考核评价要素单一等问题,探索“三阶五步”AI赋能混合式教学模式。该模式通过课前、课中、课后三阶段系统性融入AI技术,实现了教学手段的个性化适配、教学内容的智能化生成与推送,以及教学评价的科学化与多维度化。 展开更多
关键词 自动化生产线调试 教学改革 AI赋能 混合式教学模式
在线阅读 下载PDF
软件可靠性增长模型研究综述 被引量:29
12
作者 张策 孟凡超 +6 位作者 考永贵 吕为工 刘宏伟 万锟 蒋家楠 崔刚 刘子和 《软件学报》 EI CSCD 北大核心 2017年第9期2402-2430,共29页
软件可靠性增长模型SRGM(software reliability and growth model)是目前建模可靠性及其过程提高的重要数学工具,对可靠性的评测、保证以及测试资源管控和最优发布研究具有重要作用.对SRGM的核心研究内容与建模流程进行分析,给出了SRGM... 软件可靠性增长模型SRGM(software reliability and growth model)是目前建模可靠性及其过程提高的重要数学工具,对可靠性的评测、保证以及测试资源管控和最优发布研究具有重要作用.对SRGM的核心研究内容与建模流程进行分析,给出了SRGM基本功用.同时,梳理了SRGM的发展演变历程,进而对当前研究现状进行深入剖析,给出当前研究特征.从软件中总的故障个数、故障检测率FDR(fault detection rate)和测试工作量TE(testing-effort)这3个方面对影响SRGM的因素进行了分析.基于作者前期研究中提出的统一性框架模型,对当前典型的解析模型进行了分类比较和分析;对基于有限与无限服务队列模型的SRGM进行分析与讨论;对以率驱动事件过程RDEP(rate-driven event processes)为重点的仿真方法进行剖析.进一步地,为了验证与分析不同模型的差异,对26个典型的模型在公开发表的16个数据集上进行了实验.结果表明,SRGM的性能差异取决于失效数据集的客观性以及研究人员对测试过程进行不同假设下所建立的数学模型的主观性.最后,指出了SRGM面临的挑战、发展趋势和亟待解决的问题. 展开更多
关键词 软件可靠性增长模型 不完美排错 测试工作量 框架模型 排队论 仿真
在线阅读 下载PDF
仿真一体化支撑平台技术 被引量:15
13
作者 王超 吕崇德 眭喆 《系统仿真学报》 CAS CSCD 2003年第7期956-961,共6页
该文综合和分析了过程仿真一体化支撑平台的多种功能和发展过程。基于工程模块化建模方法和基于程序模块化建模方法两个方面,比较全面和深入地研究了仿真一体化支撑平台的构成原理、体系结构,如数据库结构、内存管理、实时调度等技术上... 该文综合和分析了过程仿真一体化支撑平台的多种功能和发展过程。基于工程模块化建模方法和基于程序模块化建模方法两个方面,比较全面和深入地研究了仿真一体化支撑平台的构成原理、体系结构,如数据库结构、内存管理、实时调度等技术上的实现方法和应用功能。文章最后分析了国内电站仿真领域中使用最多的三种一体化支撑平台以及它们各自的特点。 展开更多
关键词 仿真 支撑平台 建模 调试 运行管理
在线阅读 下载PDF
一种新型汽车起重机力矩限制器的研制 被引量:18
14
作者 吴邦春 周洪 +1 位作者 陈可群 曹森 《微计算机信息》 北大核心 2005年第11Z期112-113,121,共3页
本文介绍了一种新型汽车起重机力矩限制器的硬件及软件组成,并通过汽车起重机的结构分析,结合现场调试需要,建立了简洁可行的起重机数学模型和现场调试方法。本系统具有调试简单快速,测量准确可靠的特点。近两年的现场运行证明该系统具... 本文介绍了一种新型汽车起重机力矩限制器的硬件及软件组成,并通过汽车起重机的结构分析,结合现场调试需要,建立了简洁可行的起重机数学模型和现场调试方法。本系统具有调试简单快速,测量准确可靠的特点。近两年的现场运行证明该系统具有良好的应用前景。 展开更多
关键词 汽车起重机 力矩限制器 数学模型 调试
在线阅读 下载PDF
基于RTAI的数控系统跟踪调试模型的设计与实现 被引量:1
15
作者 吴文江 王兴举 +1 位作者 秦承刚 安晓荣 《小型微型计算机系统》 CSCD 北大核心 2011年第5期850-853,共4页
为了丰富数控系统的调试手段,本文在RTAI进程间通信和环形缓冲区技术的基础上,提出一种基于RTAI的数控系统实时任务跟踪调试模型.该模型实现了动态地对数控系统中的实时任务进行跟踪,获取有效的调试信息,并在进行跟踪时对实时任务的性... 为了丰富数控系统的调试手段,本文在RTAI进程间通信和环形缓冲区技术的基础上,提出一种基于RTAI的数控系统实时任务跟踪调试模型.该模型实现了动态地对数控系统中的实时任务进行跟踪,获取有效的调试信息,并在进行跟踪时对实时任务的性能影响尽量小,而在不跟踪时对实时任务几乎没有性能影响.该模型已在我们开发的数控系统调试工具中得到实际应用. 展开更多
关键词 RTAI 实时任务 调试模型 进程间通信 环形缓冲区
在线阅读 下载PDF
玉米生长发育模拟模型MaizeSM对土默特左旗玉米生长模拟适用性分析
16
作者 张岚晶 梁燕 +4 位作者 高琪 苏利军 孙尚瑜 云磊 王一鸣 《中国农学通报》 2025年第20期106-112,共7页
为探究玉米生长发育模拟模型MaizeSM在土默特左旗地区的适用性,本研究采用全局敏感性分析方法确定该模型的敏感性参数。基于2010—2022年试验田玉米品种数据、气象观测站数据、土壤理化数据以及田间管理数据,对模型参数进行本地化调试,... 为探究玉米生长发育模拟模型MaizeSM在土默特左旗地区的适用性,本研究采用全局敏感性分析方法确定该模型的敏感性参数。基于2010—2022年试验田玉米品种数据、气象观测站数据、土壤理化数据以及田间管理数据,对模型参数进行本地化调试,从而有效模拟与预测当地玉米不同生长阶段的生长过程和特征,运用实际产量、发育期日数指标对模拟结果进行精度验证。结果显示,该模型存在9个敏感参数,在出苗—拔节阶段,基本发育系数k1的敏感性最高,而开花前茎鞘存储物向籽粒的转运效率参数TR1的敏感性最低。各生育期天数与产量的模拟值和实际值均存在相关性,其中产量的实际值与模拟值相关性最高。此外,归一化均方根误差NRMSE均小于30%,均方根误差RMSE处于合理区间。综上所述,作物模型对当地玉米生长的模拟效果良好。本地化后的玉米生长发育模拟模型MaizeSM参数完善了农业气象服务基于站点尺度的精细化产量预报,进一步提升了农业模型在土默特左旗地区气候变化影响评估、业务及农业生产中的应用能力,有助于农业管理者制定最佳种植策略,实现最优生产效果。 展开更多
关键词 模型MaizeSM 土默特左旗 适用性 敏感参数 本地化调试 精度验证
原文传递
不完美排错下测试覆盖相关的软件可靠性模型 被引量:11
17
作者 张策 吕为工 +3 位作者 邱忠银 高天翼 江文倩 孟凡超 《湖南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2021年第4期26-35,共10页
准确的建模软件可靠性并对可靠性趋势进行有效地度量与预测,对于软件开发至关重要,越靠近软件测试的真实过程,所提出的不完美排错模型就应该考虑并融入更多具体的影响因素,建立构成要素间更加精准的软件可靠性增长模型SRGM.考虑故障检... 准确的建模软件可靠性并对可靠性趋势进行有效地度量与预测,对于软件开发至关重要,越靠近软件测试的真实过程,所提出的不完美排错模型就应该考虑并融入更多具体的影响因素,建立构成要素间更加精准的软件可靠性增长模型SRGM.考虑故障检测、修复与引入三个子过程之间的内在联系,建立统一的、柔韧的不完美排错框架模型TCM-ID,对累积检测、修复与引入的故障数量之间的关联实施研究,从故障检测率、故障修复率、故障引入率角度衡量软件测试的整体功效.进一步,从测试覆盖的角度,建立测试覆盖函数相关的可靠性模型,以便于研究其对模型的扰动影响,用以评测模型的性能.最后,在真实的应用场景下进行验证所提出模型的有效性与合理性,模型具有较好的拟合与预测性能,整体上优于其他模型.本文所提出的模型,对于选择合适的不完美排错下测试覆盖相关的软件可靠性增长模型,以及提高测试效率与软件可靠性具有重要意义. 展开更多
关键词 软件可靠性 软件可靠性增长模型 不完美排错 测试覆盖 框架模型
在线阅读 下载PDF
分布式调试中基于事件模型的确定性重演策略 被引量:1
18
作者 李青山 李珺 +1 位作者 叶宏 杜林 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2010年第5期872-878,共7页
分布式系统中,进程并发执行的不确定性导致了程序错误的不可再现性,后续的执行无法再现前次执行的错误,这使得反复执行程序以重现故障的循环调试方法不再可用.基于事件模型的记录重演机制,提出了一种确定性的重演策略.该策略使得程序的... 分布式系统中,进程并发执行的不确定性导致了程序错误的不可再现性,后续的执行无法再现前次执行的错误,这使得反复执行程序以重现故障的循环调试方法不再可用.基于事件模型的记录重演机制,提出了一种确定性的重演策略.该策略使得程序的执行轨迹确定化,重现了程序初始运行的错误状态,并结合传统的循环调试策略,通过设立断点或单步调试等方法最终定位错误. 展开更多
关键词 分布式调试 事件模型 不确定性 重演
在线阅读 下载PDF
数控机床伺服系统的摩擦效应对响应性的影响 被引量:1
19
作者 罗力渊 王启祥 +1 位作者 廖洪鹏 阎勤劳 《组合机床与自动化加工技术》 北大核心 2010年第1期32-34,共3页
为了在摩擦条件下获得数控机床伺服系统的动态性能指标,文章通过建立伺服系统的摩擦模型建立了数控机床伺服系统动态性能的仿真模型,分析了伺服系统动态特性,利用伺服系统的Bode图和阶跃响应函数求出伺服系统的各项性能指标,具有很好的... 为了在摩擦条件下获得数控机床伺服系统的动态性能指标,文章通过建立伺服系统的摩擦模型建立了数控机床伺服系统动态性能的仿真模型,分析了伺服系统动态特性,利用伺服系统的Bode图和阶跃响应函数求出伺服系统的各项性能指标,具有很好的动态响应特性,可迅速地为数控机床伺服系统的调试提供可靠的数据。 展开更多
关键词 伺服 摩擦 响应 性能
在线阅读 下载PDF
嵌入式处理器在片调试功能的验证 被引量:2
20
作者 许彤 王朋宇 +4 位作者 黄海林 范东睿 朱鹏飞 郑保建 曹非 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第4期502-507,共6页
以龙芯1号处理器为研究对象,探讨了基于JTAG的处理器在片调试功能的验证方法.根据在片调试的结构特征建立了功能覆盖率模型,并以访存模式为基准分步建立虚拟验证原型.整个验证将定向功能测试和指令集随机测试有机地结合起来,迅速定位了... 以龙芯1号处理器为研究对象,探讨了基于JTAG的处理器在片调试功能的验证方法.根据在片调试的结构特征建立了功能覆盖率模型,并以访存模式为基准分步建立虚拟验证原型.整个验证将定向功能测试和指令集随机测试有机地结合起来,迅速定位了设计中多个难以发现的错误.最终验证的功能覆盖率达到100%,FPGA原型经长时间运行无误. 展开更多
关键词 在片调试 覆盖率模型 虚拟验证原型 定向功能测试 随机测试 龙芯1号处理器
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部