期刊文献+
共找到312篇文章
< 1 2 16 >
每页显示 20 50 100
基于频率补偿的导弹弹性抑制验证方法研究
1
作者 苏日新 张欧 《系统仿真学报》 CAS CSCD 北大核心 2024年第5期1251-1256,共6页
针对导弹六自由度数学仿真中的弹体弹性模型,开展弹性振动抑制的验证方法研究。介绍了用于导弹弹性振动抑制的陷波滤波器,分析了导弹飞行主动段和被动段中滤波器设计的验证思路,指出了目前在数学仿真验证中存在的问题。基于调频现象提... 针对导弹六自由度数学仿真中的弹体弹性模型,开展弹性振动抑制的验证方法研究。介绍了用于导弹弹性振动抑制的陷波滤波器,分析了导弹飞行主动段和被动段中滤波器设计的验证思路,指出了目前在数学仿真验证中存在的问题。基于调频现象提出了一种频率补偿的陷波滤波器在线验证方法,通过对频率补偿函数进行理论推导可发现,该函数可适用于任何阶次的弹性频率验证。通过构建弹体弹性频率补偿函数实现了对所设计陷波滤波器的验证,不仅验证了弹性频率的陷波深度与理论设计值一致,还可以模拟不同弹性频率的基本特性。 展开更多
关键词 弹性抑制 陷波滤波器 验证方法 调频现象
在线阅读 下载PDF
基于ISOSTS的国际标准可识别层级验证方法及平台研究
2
作者 李文文 《中国测试》 CAS 北大核心 2024年第S01期301-304,共4页
为响应标准数字化变革过程中产生的新需求,解决国际标准在机器可识别层级中的规范性验证问题,对机器可读标准的规范性结构进行分析,提出可识别层级验证方法。基于国际标准标签集(ISOSTS),利用XML解析技术开发对应的验证平台,能够针对标... 为响应标准数字化变革过程中产生的新需求,解决国际标准在机器可识别层级中的规范性验证问题,对机器可读标准的规范性结构进行分析,提出可识别层级验证方法。基于国际标准标签集(ISOSTS),利用XML解析技术开发对应的验证平台,能够针对标准数字化转型中的可识别层级开展批量化、系统性的验证。研究方法及成果可有效指导机器可读标准可识别层级的合规性验证,为后续标准数字化的进一步转型提供研究基础。 展开更多
关键词 标准 数字化转型 机器可识别 验证方法 验证平台
在线阅读 下载PDF
挂车支承装置静态与动态强度分析及验证方法研究
3
作者 葛涛 李玉雷 +1 位作者 张显东 顾海涛 《农业开发与装备》 2024年第10期134-136,共3页
旨在探讨挂车支承装置在静态与动态工况下的强度分析及验证方法。挂车支承装置作为连接牵引车与半挂车的重要部件,其性能直接影响到运输过程中的安全性和稳定性。通过对国内外相关标准和技术文献的深入研究,设计了详细的静态与动态强度... 旨在探讨挂车支承装置在静态与动态工况下的强度分析及验证方法。挂车支承装置作为连接牵引车与半挂车的重要部件,其性能直接影响到运输过程中的安全性和稳定性。通过对国内外相关标准和技术文献的深入研究,设计了详细的静态与动态强度试验方案,并结合实际案例进行验证。试验结果表明,所设计的验证方法能够准确评估支承装置的承载能力和耐久性,为挂车支承装置的设计、制造和检测提供了科学依据。对于提高挂车运输的安全性、降低运输成本及农机挂车的社会效益具有重要意义。 展开更多
关键词 挂车支承装置 静态强度 动态强度 验证方法 试验设计
在线阅读 下载PDF
基于旅行时间分析的城轨乘客路径集验证方法 被引量:6
4
作者 朱炜 韦锦 +1 位作者 洪玲 徐瑞华 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2019年第1期56-63,共8页
城市轨道交通乘客出行路径集是否正确,是乘客路径选择估计以及网络客流分布计算的前提和基础.从现有客流分布模型中有效路径选择集问题及OD实际旅行时间聚类特征出发,引入Rodriguez-Laio快速聚类算法,提出基于旅行时间聚类分析的城市轨... 城市轨道交通乘客出行路径集是否正确,是乘客路径选择估计以及网络客流分布计算的前提和基础.从现有客流分布模型中有效路径选择集问题及OD实际旅行时间聚类特征出发,引入Rodriguez-Laio快速聚类算法,提出基于旅行时间聚类分析的城市轨道交通乘客路径集验证方法.以北京地铁网络为例进行算例分析,结果表明,该方法可以在全网络范围内对路径选择集问题OD作出快速识别及滚动验证,并为以原因分析为导向的现场客流调查与模型修正工作提供重要参考. 展开更多
关键词 城市轨道交通 路径选择集 验证方法 旅行时间 聚类分析
在线阅读 下载PDF
EuroSID-I侧面碰撞假人有限元模型的验证方法 被引量:6
5
作者 陈晓东 葛如海 +2 位作者 程勇 朱西产 苏清祖 《汽车工程》 EI CSCD 北大核心 2005年第4期467-470,482,共5页
对某非商业侧碰假人EuroSIDI有限元模型进行了修正,并按假人标定试验要求对其进行了全面的验证,结果表明修正后模型满足仿真研究要求,具备工程应用价值。
关键词 侧面碰撞 EuroSID-I有限元模型 建模 验证 有限元模型 验证方法 试验要求 仿真研究 工程应用
在线阅读 下载PDF
微处理器功能验证方法研究 被引量:12
6
作者 郭阳 李暾 李思昆 《计算机工程与应用》 CSCD 北大核心 2003年第5期35-37,共3页
微处理器验证是微处理器设计的关键环节。该文探讨了微处理器模拟、硬件仿真、形式验证等方法的原理、特点和适用场合,提出了进行多层次微处理器功能验证的总体思路。
关键词 微处理器 功能验证方法 形式验证 参考模型 逻辑级模拟器
在线阅读 下载PDF
一种实时多任务软件可靠性验证方法 被引量:4
7
作者 覃志东 雷航 +2 位作者 熊光泽 桑楠 陈丽蓉 《系统工程与电子技术》 EI CSCD 北大核心 2004年第10期1476-1480,共5页
针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法。该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解... 针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法。该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解方法;通过该模型把待验证的软件系统可靠性指标分配到各个任务模块,然后用统计测试的方法对任务模块的可靠性指标进行验证,以达到对整个软件系统可靠性指标验证的目的。实验证明该方法的有效性和灵活性。 展开更多
关键词 软件可靠性 可靠性验证方法 统计测试 实时软件 软件测试
在线阅读 下载PDF
小样本情况下仿真模型的验证方法 被引量:13
8
作者 唐雪梅 王仁春 《系统仿真学报》 CAS CSCD 2002年第10期1263-1265,1287,共4页
根据系统的真实输出与仿真的输出结果,研究了仿真模型的验证方法。本文主要介绍小样本情况下静态数据的验证方法,动态数据的验证方法见文献[1]。当仿真试验结果为静态数据,它与真实系统的试验结果是否相匹配的验证, 从数理统计的角度来... 根据系统的真实输出与仿真的输出结果,研究了仿真模型的验证方法。本文主要介绍小样本情况下静态数据的验证方法,动态数据的验证方法见文献[1]。当仿真试验结果为静态数据,它与真实系统的试验结果是否相匹配的验证, 从数理统计的角度来讲,其实质是检验这两种试验数据是否属于同一概率分布, 本文主要研究了小样本情况下指数分布和均匀分布仿真模型的验证方法。 展开更多
关键词 小样本 仿真模型 验证方法 系统仿真 指数分布 均匀分布
在线阅读 下载PDF
汽车排气系统材料应用的验证方法研究 被引量:2
9
作者 张宏波 李岐 +2 位作者 马建军 吕鸣 王堂伟 《内燃机工程》 EI CAS CSCD 北大核心 2011年第5期64-67,共4页
依据汽车排气系统的独特工作环境,从材料级别、系统级别、整车级别3个方面详细地论述了排气系统材料的验证试验,建立了系统全面的汽车排气系统材料认证的方法和流程,为汽车排气系统新材料的应用验证提供了依据。研究结果表明:晶间腐蚀... 依据汽车排气系统的独特工作环境,从材料级别、系统级别、整车级别3个方面详细地论述了排气系统材料的验证试验,建立了系统全面的汽车排气系统材料认证的方法和流程,为汽车排气系统新材料的应用验证提供了依据。研究结果表明:晶间腐蚀和冷凝液腐蚀是汽车排气系统材料腐蚀的主要形式,是验证材料应用于汽车排气系统合理性的基础材料级别试验;深冲压试验是验证表面形状复杂的汽车排气系统的必要试验,而整车加速腐蚀试验不适用于评估发生在排气系统内部的冷凝液腐蚀。 展开更多
关键词 内燃机 排气系统 材料 验证方法
在线阅读 下载PDF
含有迭代运算的仿真模型验证方法 被引量:3
10
作者 方可 周玉臣 赵开斌 《系统工程与电子技术》 EI CSCD 北大核心 2017年第2期445-450,共6页
为解决含有迭代运算的仿真模型验证问题,实现具有可回溯性的可信度评估,在提出循环验证问题和可信度综合问题的基础上,阐述了建立仿真模型验证指标体系的方法,提出了含有迭代运算的仿真模型验证定理及验证方法,并应用该方法计算了某飞... 为解决含有迭代运算的仿真模型验证问题,实现具有可回溯性的可信度评估,在提出循环验证问题和可信度综合问题的基础上,阐述了建立仿真模型验证指标体系的方法,提出了含有迭代运算的仿真模型验证定理及验证方法,并应用该方法计算了某飞行器模型的量化可信度,定位了造成模型可信度不足的缺陷点,验证了方法的有效性。 展开更多
关键词 迭代运算 仿真模型 模型验证 可信度评估 验证方法
在线阅读 下载PDF
数字专用集成芯片前端验证方法研究 被引量:3
11
作者 罗琨 赵磊 +3 位作者 尹建华 杨怡伟 王琳 曹阳 《计算机工程与应用》 CSCD 北大核心 2002年第17期37-39,58,共4页
在分析当前数字专用集成芯片前端验证问题的基础上,提出了一种基于SystemC软件建模的专用集成芯片RTL级验证方法,并应用到对网络调度处理芯片的具体验证实验中。实验数据表明:由于采用软件模型和软件控制技术,该方案在缩短验证周期、提... 在分析当前数字专用集成芯片前端验证问题的基础上,提出了一种基于SystemC软件建模的专用集成芯片RTL级验证方法,并应用到对网络调度处理芯片的具体验证实验中。实验数据表明:由于采用软件模型和软件控制技术,该方案在缩短验证周期、提高验证可靠性、精确判定验证决策点以及有效集成各类验证环境等方面均明显优于传统RTL验证方案。 展开更多
关键词 数字专用集成芯片 前端验证方法 寄存器传输级 SystemC模型 专用集成电路
在线阅读 下载PDF
民机CNS系统适航验证方法分析与实践 被引量:4
12
作者 雷国志 王雷 王涛涛 《电讯技术》 北大核心 2014年第7期996-1001,共6页
适航是我国民机CNS(Communication,Navigation and Surveillance)系统发展的关键。以适航为目标,首先分析并确定了CNS系统验证的需求,然后通过分析适航标准提出了满足适航要求的CNS系统验证方法,即按照验证方法、验证级别、测试环境方... 适航是我国民机CNS(Communication,Navigation and Surveillance)系统发展的关键。以适航为目标,首先分析并确定了CNS系统验证的需求,然后通过分析适航标准提出了满足适航要求的CNS系统验证方法,即按照验证方法、验证级别、测试环境方案以及验证实施追溯过程为线进行验证分析。该方法还可适用于民机其他航电系统。 展开更多
关键词 民用飞机 航空电子 适航 通信、导航、监视 验证方法
在线阅读 下载PDF
航空发动机CCAR33-R2.75条款适航符合性验证方法 被引量:6
13
作者 乔磊 李艳军 +3 位作者 曹愈远 赵苏阳 许振腾 汪雷 《航空发动机》 2016年第1期99-102,共4页
针对航空发动机适航取证的安全性需求,对航空发动机CCAR33-R2.75适航条款进行了解读与分析,明确了该条款的验证要求和方法。将功能危险分析法、故障树分析法和故障模式与影响分析法运用到该验证方法中,并提出了航空发动机CCAR33-R2.75... 针对航空发动机适航取证的安全性需求,对航空发动机CCAR33-R2.75适航条款进行了解读与分析,明确了该条款的验证要求和方法。将功能危险分析法、故障树分析法和故障模式与影响分析法运用到该验证方法中,并提出了航空发动机CCAR33-R2.75条款适航符合性验证的流程。最后对某型航空发动机进行实例分析,验证了发动机不可控火情对CCAR33-R2.75条款的符合性。该安全性验证方法能够为航空发动机CCAR33-R2.75条款适航符合性验证提供支持。 展开更多
关键词 CCAR33-R2.75 适航符合性 验证方法 航空发动机
在线阅读 下载PDF
基于热敏电阻探头加热的肿瘤热疗用生物传热模型验证方法 被引量:2
14
作者 杨昆 刘伟 骆清铭 《中国生物医学工程学报》 CAS CSCD 北大核心 2008年第2期282-286,292,共6页
确定适用于特定组织的生物传热模型,对提高肿瘤热疗的效果有重要意义。提出一种新的生物传热模型验证方法。采用数值方法,分析了不同生物传热模型条件下,采用热敏电阻探头加热时,生物组织中温度响应的动态特征。结果表明:通过分析不同... 确定适用于特定组织的生物传热模型,对提高肿瘤热疗的效果有重要意义。提出一种新的生物传热模型验证方法。采用数值方法,分析了不同生物传热模型条件下,采用热敏电阻探头加热时,生物组织中温度响应的动态特征。结果表明:通过分析不同血液灌注率情况下组织的惰性时间、组织温度响应曲线是否存在交叉、组织中特定点的温度与热敏电阻探头温度之比的相对大小,可以确定生物组织所适用的生物传热模型。 展开更多
关键词 生物传热模型 验证方法 肿瘤热疗
在线阅读 下载PDF
问卷备择答案等距离量化合理性的验证方法初探 被引量:1
15
作者 刘朝杰 李宁秀 +3 位作者 任晓晖 刘丹萍 潘小平 龚志平 《中国心理卫生杂志》 CSSCI CSCD 北大核心 2004年第7期468-470,479,共4页
目的 :探讨验证问卷备择答案等距离性的方法。方法 :计算去除某条目后 ,同领域其他条目得分的合计值 ,然后观察选择该条目不同备择答案的人群 ,其合计值间是否等距离。测试量表采用 3 6条目简明量表 ,调查样本 2 2 5 0人 ,纳入分析样本 ... 目的 :探讨验证问卷备择答案等距离性的方法。方法 :计算去除某条目后 ,同领域其他条目得分的合计值 ,然后观察选择该条目不同备择答案的人群 ,其合计值间是否等距离。测试量表采用 3 6条目简明量表 ,调查样本 2 2 5 0人 ,纳入分析样本 2 2 46例。结果 :使用该法能够发现问卷中的异常条目 ,等距离性验证结果与原量表设计基本吻合 ,但是测试条目必须具有较好的结构效度。结论 :同领域条目相互验证可能是验证备择答案的等距离性的一种简易方法 ,对此尚需数理学论证。 展开更多
关键词 问卷备择答案 等距离量化 合理性 验证方法 心理测量学 精神卫生
在线阅读 下载PDF
复合材料失效判据有效性验证方法研究 被引量:1
16
作者 邓凡臣 柴亚南 +2 位作者 刘国强 陈宏 张国凡 《应用力学学报》 CAS CSCD 北大核心 2020年第1期105-113,I0007,共10页
为系统地验证复合材料失效判据计算精度和有效性范围,给出了4种材料体系、6种铺层形式的层合板在单轴、双轴载荷下的失效试验数据,用以评估复合材料失效判据在单向层合板失效包线、多向层合板初始失效包线、多向层合板最终失效包线、层... 为系统地验证复合材料失效判据计算精度和有效性范围,给出了4种材料体系、6种铺层形式的层合板在单轴、双轴载荷下的失效试验数据,用以评估复合材料失效判据在单向层合板失效包线、多向层合板初始失效包线、多向层合板最终失效包线、层合板变形及层合板的破坏特性等五个方面的预测能力。并根据验证方法和有效性评估策略对失效判据计算精度进行量化考核,给出了失效判据在五个层面上的计算精度。 展开更多
关键词 复合材料 失效判据 计算精度 适用范围 效判验证方法 评估策略
在线阅读 下载PDF
基于分层的网络安全协议验证方法 被引量:1
17
作者 张磊 侯俊峰 黄连生 《计算机应用研究》 CSCD 北大核心 2005年第7期143-145,共3页
提出了一种新的基于分层的网络安全协议验证方法。首先对要验证的安全属性进行划分,将其分成若干安全子属性;其次对要进行验证的安全协议在安全性等价的条件下进行转换;然后逐步剖分成一个自底向上的多层协议,如果每一层子协议满足所要... 提出了一种新的基于分层的网络安全协议验证方法。首先对要验证的安全属性进行划分,将其分成若干安全子属性;其次对要进行验证的安全协议在安全性等价的条件下进行转换;然后逐步剖分成一个自底向上的多层协议,如果每一层子协议满足所要验证的安全属性的一个子属性,那么这个协议即可被证明是安全的。这种方法相比于传统的验证方法,不但高效,而且完备性更佳。 展开更多
关键词 安全协议 层次化 验证方法
在线阅读 下载PDF
SoC验证方法学研究与应用 被引量:6
18
作者 吴军 华更新 刘鸿瑾 《空间控制技术与应用》 2012年第5期27-33,共7页
SoC系统功能日益复杂,规模也日益庞大,SoC验证面临着前所未有的挑战.对SoC验证方法学进行了研究和总结,包括验证流程、验证层次和验证技术.通过对基于DW8051的SoC的验证实践,证明了这套验证方法学的可行性和有效性.
关键词 SOC 验证方法 验证流程 验证层次 验证技术
在线阅读 下载PDF
基于数字样机的装备维修时间验证方法研究 被引量:1
19
作者 吴溪 徐达 +1 位作者 穆歌 李闯 《制造技术与机床》 北大核心 2013年第12期63-66,共4页
研究了装备在设计阶段只有数字样机的情况下维修时间的验证方法,通过对装备维修活动逐级分解优化,在虚拟维修仿真环境下调用维修时间模型和维修动素对应的标准维修工时,实现对装备维修时间的验证工作,为装备研制过程中并行开展维修性设... 研究了装备在设计阶段只有数字样机的情况下维修时间的验证方法,通过对装备维修活动逐级分解优化,在虚拟维修仿真环境下调用维修时间模型和维修动素对应的标准维修工时,实现对装备维修时间的验证工作,为装备研制过程中并行开展维修性设计提供了方法。 展开更多
关键词 数字样机 维修时间 验证方法 维修动素
在线阅读 下载PDF
一种系统安全性的形式化验证方法 被引量:1
20
作者 王海峰 吕永波 张仲义 《计算机工程与应用》 CSCD 北大核心 2003年第4期48-49,107,共3页
随着计算机系统应用的深入和广泛,系统安全性越来越成为人们关注的焦点,形式化模型检验是解决系统特性验证问题的一种有效途径,用有限自动机表示系统的设计和实现,用计算树逻辑CTL(ComputationalTreeLogic)公式表示系统的安全特性,探讨... 随着计算机系统应用的深入和广泛,系统安全性越来越成为人们关注的焦点,形式化模型检验是解决系统特性验证问题的一种有效途径,用有限自动机表示系统的设计和实现,用计算树逻辑CTL(ComputationalTreeLogic)公式表示系统的安全特性,探讨了系统安全性形式化验证的方法。 展开更多
关键词 计算机系统 系统安全性 形式化验证方法 有限自动机 模型检验
在线阅读 下载PDF
上一页 1 2 16 下一页 到第
使用帮助 返回顶部