期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1,094篇文章
< 1 2 … 55 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
预测与状态管理系统(PHM)技术研究 被引量：32
1
作者 徐萍 康锐 《测控技术》 CSCD 2004年第12期58-60,共3页
针对国外热点技术——预测与状态管理系统(PHM)的概念、设计、验证及费效比进行了详细的研究,为该项技术的推广提供了技术基础。
关键词 预测与状态管理 设计 验证 费效比分析
下载PDF
输电塔-线体系灾变分析与安全评估综述 被引量：34
2
作者 张卓群 李宏男 +3 位作者 李士锋 任宗栋 张鹏 李宁 《土木工程学报》 EI CSCD 北大核心 2016年第12期75-88,共14页
输电塔-线体系是一种重要的生命线工程,它的安全性与可靠性直接关系到国家经济的命脉,一旦破坏将造成难以估量的损失和不良的社会影响。然而,近些年来极端天气和地质灾害的频繁发生,导致输电塔-线体系的破坏现象越来越严重,也逐渐引起... 输电塔-线体系是一种重要的生命线工程,它的安全性与可靠性直接关系到国家经济的命脉,一旦破坏将造成难以估量的损失和不良的社会影响。然而,近些年来极端天气和地质灾害的频繁发生,导致输电塔-线体系的破坏现象越来越严重,也逐渐引起社会的广泛关注。该文不仅重点探讨输电线路已有灾害的发生原因和破坏形式,而且从结构设计、数值分析和试验验证三个方面总结分析现阶段国内外为保证输电塔-线体系的安全运行所采取的方法和手段。通过对问题的归纳与总结,旨在发现设计与分析过程中存在的缺陷和不足,进而提高和补强结构抵抗外部环境荷载灾害性破坏的能力,以及加强设计人员对电网体系安全运行状况重要性和可靠性的意识。 展开更多
关键词 输电塔-线体系 灾害分析 结构设计 数值分析 实验验证
下载PDF
我国集成电路测试技术现状及发展策略 被引量：31
3
作者 俞建峰 陈翔 杨雪瑛 《中国测试》 CAS 2009年第3期1-5,共5页
集成电路在现代电子整机中的应用比重已超过25%,测试是分析集成电路缺陷的最好工具,通过测试可以提高集成电路的成品率。通过分析我国集成电路产业现状,论述我国集成电路的设计验证测试、晶圆测试、芯片测试、封装测试等关键测试环节的... 集成电路在现代电子整机中的应用比重已超过25%,测试是分析集成电路缺陷的最好工具,通过测试可以提高集成电路的成品率。通过分析我国集成电路产业现状,论述我国集成电路的设计验证测试、晶圆测试、芯片测试、封装测试等关键测试环节的技术水平,提出进一步发展我国集成电路测试产业的相关建议。 展开更多
关键词 集成电路 设计验证 晶圆测试 芯片测试 封装测试 发展策略
下载PDF
龙芯2号微处理器的功能验证 被引量：26
4
作者 张珩 沈海华 《计算机研究与发展》 EI CSCD 北大核心 2006年第6期974-979,共6页
开发龙芯2号这样的高性能通用处理器是一项极其复杂的艰巨任务·龙芯2号处理器的设计规模和复杂度比龙芯1号增加了许多倍,如何保证设计的正确性是一个重大挑战·简单的系统级测试已经不能满足设计的需要,这就要求采用多种有效... 开发龙芯2号这样的高性能通用处理器是一项极其复杂的艰巨任务·龙芯2号处理器的设计规模和复杂度比龙芯1号增加了许多倍,如何保证设计的正确性是一个重大挑战·简单的系统级测试已经不能满足设计的需要,这就要求采用多种有效的、先进的验证方法和工具帮助设计者尽可能早的发现和改正设计错误·主要介绍了在龙芯2号处理器的设计开发过程中采用的功能验证流程和主要验证方法·模拟仿真是主要的验证手段,新的形式化验证方法也应用到了验证流程当中· 展开更多
关键词 功能验证 结构验证 处理器设计 模拟仿真 形式化验证
下载PDF
黄土高原小流域水力侵蚀模拟试验设计与验证 被引量：23
5
作者 高建恩 吴普特 +3 位作者 牛文全 冯浩 樊恒辉 杨世伟 《农业工程学报》 EI CAS CSCD 北大核心 2005年第10期41-45,共5页
针对目前黄土高原小流域室内物理模拟试验结论不能很好地定量推广到野外实际流域开发工作中去的问题,该文基于降雨、径流及入渗的水动力学原理,利用相似论较完整地给出了一套可对黄土高原小流域降雨径流进行模拟试验研究的一种设计方法... 针对目前黄土高原小流域室内物理模拟试验结论不能很好地定量推广到野外实际流域开发工作中去的问题,该文基于降雨、径流及入渗的水动力学原理,利用相似论较完整地给出了一套可对黄土高原小流域降雨径流进行模拟试验研究的一种设计方法和模拟试验技术。验证结果表明,在正态条件下,满足几何相似、降雨相似、水力侵蚀产沙、输沙相似及床面变形相似等条件下所建造的黄土高原延安燕沟康家圪崂小流域模型,采用几何比尺为100时,其降雨、汇流、产沙、输沙是基本符合实际情况的,可以作为该流域治理水土流失、优化治理方案,寻求水土资源高效利用措施的工具。 展开更多
关键词 黄土高原 小流域 水力侵蚀 模拟试验 设计与验证
下载PDF
多源城市数据驱动下城市设计中的空间句法模型校核及应用研究 被引量：26
6
作者 古恒宇 黄铎 +1 位作者 沈体雁 覃小玲 《规划师》 北大核心 2019年第5期67-73,共7页
空间句法在我国城市设计研究及实践中的应用方兴未艾,然而其建模计算和辅助分析决策过程中带来的误差并未被充分研究。文章结合POI、大众点评等多源城市数据,以2017年珠三角部分城市及全国公路交通网络为实验对象,从空间句法模型校核的... 空间句法在我国城市设计研究及实践中的应用方兴未艾,然而其建模计算和辅助分析决策过程中带来的误差并未被充分研究。文章结合POI、大众点评等多源城市数据,以2017年珠三角部分城市及全国公路交通网络为实验对象,从空间句法模型校核的理论基础、空间句法分析的误差来源、处理误差的技术细节、数据驱动下基于空间句法的城市设计流程等方面探讨了空间句法的模型校核及其在城市设计中的应用问题。研究发现,空间句法的误差来源主要包括搜索半径误差、建模范围误差、建模细度误差和参数算法误差4种,而在多源城市数据的辅助下,可通过选取最优半径、适度外扩模型、选取合适细度和建模软件等方法减小误差。文章总结了数据驱动下基于空间句法的城市规划设计框架,认为多源城市数据在空间句法模型校核、空间句法辅助方案设计等阶段具有广阔的应用前景。 展开更多
关键词 城市设计 空间句法 模型校核 多源数据
下载PDF
探月工程三期月地高速再入返回飞行器防热系统设计与验证 被引量：22
7
作者 董彦芝 刘峰 +8 位作者 杨昌昊 张高 赵建设 罗晓光 欧东斌 梁馨 郭梅梅 马彬 逯运通 《中国科学：技术科学》 EI CSCD 北大核心 2015年第2期151-159,共9页
本文针对月地高速再入返回的高焓、二次大气层再入、高热流密度峰值与长加热时间耦合的气动加热环境特点,提出了飞行器防热系统设计方案,研制了七种新型碳硅复合烧蚀防热材料,建立了防热系统分析模型,并完成了地面试验验证.经对飞行试... 本文针对月地高速再入返回的高焓、二次大气层再入、高热流密度峰值与长加热时间耦合的气动加热环境特点,提出了飞行器防热系统设计方案,研制了七种新型碳硅复合烧蚀防热材料,建立了防热系统分析模型,并完成了地面试验验证.经对飞行试验数据的详细分析,结果表明防热系统的实际性能与设计预期一致. 展开更多
关键词 月地返回 烧蚀 防热系统 设计 验证
原文传递
MATLAB环境下IIR滤波器设计、仿真与验证 被引量：17
8
作者 刘彬 《电子测量技术》 2011年第4期7-10,共4页
介绍了IIR数字滤波器的特点及模型。在MATLAB环境下用fdatool工具以及程序2种方法设计IIR滤波器系数,并编写IIR.m程序实现IIR滤波器功能。以实际混频信号为例实现IIR滤波器的仿真,最后利用MATLAB工具系统函数验证了自行设计的IIR.m程序... 介绍了IIR数字滤波器的特点及模型。在MATLAB环境下用fdatool工具以及程序2种方法设计IIR滤波器系数,并编写IIR.m程序实现IIR滤波器功能。以实际混频信号为例实现IIR滤波器的仿真,最后利用MATLAB工具系统函数验证了自行设计的IIR.m程序的正确性。研究结果表明,自行设计的IIR.m程序能达到与MATLAB库函数一致的效果,且能根据需要任意调节滤波系数以获得滤波后的输出,使用方便灵活。 展开更多
关键词 IIR数字滤波器 MATLAB fdatool 设计 仿真 验证
下载PDF
对接机构分系统研制 被引量：16
9
作者 陈宝东 郑云青 +1 位作者 邵济明 陈萌 《上海航天》 2011年第6期1-6,共6页
介绍了我国神舟八号飞船和天宫一号目标飞行器对接试验的对接机构分系统的组成、控制时序、设计方案,以及可靠性与安全性。给出了对接机构分系统研制中总体设计、动力学仿真、试验和关键部件研制等关键技术,以及整机特性测试、连接分离... 介绍了我国神舟八号飞船和天宫一号目标飞行器对接试验的对接机构分系统的组成、控制时序、设计方案,以及可靠性与安全性。给出了对接机构分系统研制中总体设计、动力学仿真、试验和关键部件研制等关键技术,以及整机特性测试、连接分离试验、热真空对接与分离试验、寿命试验等验证情况。回顾了对接机构分系统的研制过程。 展开更多
关键词 神舟八号飞船 天宫一号目标飞行器 对接机构 控制时序 总体设计 动力学仿真 试验 关键部件 试验验证
下载PDF
SoC静态时序分析中时序约束策略的研究及实例 被引量：10
10
作者 谈晓婷 付宇卓 谢凯年 《微电子学与计算机》 CSCD 北大核心 2006年第4期64-67,共4页
文章简要描述了静态时序分析的原理,并在一款音频处理SoC芯片的验证过程中,详细介绍了针对时钟定义、多时钟域、端口信号等关键问题的时序约束策略。实践结果表明,静态时序分析很好地满足了该芯片的验证要求,而且比传统的动态验证效率... 文章简要描述了静态时序分析的原理,并在一款音频处理SoC芯片的验证过程中,详细介绍了针对时钟定义、多时钟域、端口信号等关键问题的时序约束策略。实践结果表明,静态时序分析很好地满足了该芯片的验证要求,而且比传统的动态验证效率更高。 展开更多
关键词 SOC设计 静态时序分析 静态验证 时序约束
下载PDF
SoC功能验证的特点和方法 被引量：7
11
作者 徐英伟 刘佳 《微处理机》 2006年第2期11-13,共3页
简要分析了传统集成电路(ASIC)验证方法的特点以及将这些方法应用于系统级芯片(SoC)验证时所面临的问题。在此基础上,论述说明了模块级验证是提高SoC验证效率的基础;而基于随机测试激励的验证方法能够提升SoC的功能验证的覆盖率。另外,... 简要分析了传统集成电路(ASIC)验证方法的特点以及将这些方法应用于系统级芯片(SoC)验证时所面临的问题。在此基础上,论述说明了模块级验证是提高SoC验证效率的基础;而基于随机测试激励的验证方法能够提升SoC的功能验证的覆盖率。另外,还介绍了用于SoC功能验证的关键方法,包括断言和RTL形式验证,Farm,随机化测试激励和功能覆盖等。 展开更多
关键词 系统级芯片 设计 功能验证 断言 功能测试 随机测试激励
下载PDF
六自由度水果采摘机械臂结构设计与试验 被引量：15
12
作者 林用满 管卫华 甘莉莉 《中国农机化学报》 北大核心 2019年第2期62-71,共10页
首先从数学模型建立、正运动学和逆运动学几个方面对水果采摘机械臂总体设计状况进行分析,随后重点分析六自由度水果采摘机械臂的主要结构及参数设计计算,对六自由度水果采摘机械臂的运动和任务进行设计规划,最后分析机具的实际效果及... 首先从数学模型建立、正运动学和逆运动学几个方面对水果采摘机械臂总体设计状况进行分析,随后重点分析六自由度水果采摘机械臂的主要结构及参数设计计算,对六自由度水果采摘机械臂的运动和任务进行设计规划,最后分析机具的实际效果及创新点,通过搭建采摘试验平台,对规划设计结果进行综合分析。研究中选取3kg六自由度机械臂作为研究对象,构建机械臂采摘运动模型,随后使用第五关节分离法解决机械臂自适应调整问题,并计算验证机械臂运动中的轨迹,最后使用试验分析方法对采摘效果和时间进行验证分析,采摘机械臂可以直接利用双目识别以及定位系统所提供的坐标,实现运动规划并完成果实采摘。采摘试验分析发现,单果采摘时间为25.5s/个,多果实采摘中使用关节角加权最小设定连续采摘任务,能够促进果实采摘时间的逐渐降低,提升采摘效率,降低生产成本与能耗。 展开更多
关键词 六自由度 水果采摘 机械臂 结构设计 试验验证
下载PDF
振动试验夹具结构动态设计及试验验证 被引量：15
13
作者 孙晔 陆海桃 +1 位作者 张海英 樊哲良 《机械强度》 CAS CSCD 北大核心 2017年第5期1210-1214,共5页
针对传统振动试验夹具结构动态设计主要依靠经验及公式粗略计算的不足,通过构建某夹具的3维有限元模型,利用模态分析对夹具固有频率、低阶振型进行预测,对不满足要求的夹具进行改进。利用随机振动分析从固有频率、振动放大因子、正交运... 针对传统振动试验夹具结构动态设计主要依靠经验及公式粗略计算的不足,通过构建某夹具的3维有限元模型,利用模态分析对夹具固有频率、低阶振型进行预测,对不满足要求的夹具进行改进。利用随机振动分析从固有频率、振动放大因子、正交运动范围、各固定点间振动量值差别4个方面对改进后的夹具进行仿真计算,并与试验结果对比,验证仿真结果的可靠性,判断夹具设计满足振动试验要求。 展开更多
关键词 夹具设计 有限元 模态分析 随机振动 试验验证
下载PDF
基于IEC-CIM的营配网末端设备公共信息模型设计 被引量：15
14
作者 刘玉玺 欧阳红 +3 位作者 李刚 郑倩 胡然 王法恩 《智慧电力》 北大核心 2019年第2期75-81,共7页
为解决营配贯通过程中营配网末端设备建模不统一和建模工作复杂等问题,遵循IEC 61970-301/61968-11标准,按照IEC-CIM建模方法论、设计思路以及模型扩展原则设计营配网末端设备公共信息模型。首先,按照电网资源和资产分开基本原则进行建... 为解决营配贯通过程中营配网末端设备建模不统一和建模工作复杂等问题,遵循IEC 61970-301/61968-11标准,按照IEC-CIM建模方法论、设计思路以及模型扩展原则设计营配网末端设备公共信息模型。首先,按照电网资源和资产分开基本原则进行建模;其次,制定营配网末端设备公共信息模型的设计思路、设计原则以及设计规范;再次,按照变电站-线路-变压器-接入点-计量点-用户主线,设计营配网末端设备公共信息模型;最后,开发模型校验工具验证所设计营配网末端设备公共信息模型的准确性,统计模型规模,并将模型自动转化为Word文档用于发布。本文所提出的模型设计方法,可用于指导营配信息集成及后续模型设计。 展开更多
关键词 IEC-CIM 营配贯通 营配网末端设备 模型设计 模型扩展 模型校验
下载PDF
大豆SCoT分子标记技术体系的优化、验证及检测 被引量：14
15
作者 李强 苏二虎 +3 位作者 高聚林 孙继颖 于晓芳 谢岷 《中国油料作物学报》 CAS CSCD 北大核心 2013年第5期491-498,共8页
采用L25(56)正交试验和单因素试验2种方法对影响大豆SCoT-PCR反应的Mg2+浓度、dNTPs浓度、Taq DNA聚合酶用量、引物浓度和模板DNA用量等因素进行优化,优化后的20μL大豆SCoT-PCR体系为:Mg2+浓度2.0mmol·L-1、Taq聚合酶用量1.5U、... 采用L25(56)正交试验和单因素试验2种方法对影响大豆SCoT-PCR反应的Mg2+浓度、dNTPs浓度、Taq DNA聚合酶用量、引物浓度和模板DNA用量等因素进行优化,优化后的20μL大豆SCoT-PCR体系为:Mg2+浓度2.0mmol·L-1、Taq聚合酶用量1.5U、引物浓度0.250μmol·L-1、dNTPs浓度0.2mmol·L-1、DNA模板用量30ng;退火温度最适为50.4℃。运用18个大豆品种验证,该反应体系稳定、可靠,并从82条引物中筛选出条带清晰、多态性较好的32条引物。利用大豆品种吉育75、本地黑豆及其10株F2对该反应体系进行了初步的遗传验证,结果显示,杂交后代植株中出现了双亲的位点和亲本位点的缺失。该反应体系的建立为大豆种质遗传多样性分析、遗传连锁图谱构建及分子标记辅助育种提供了新的技术手段。 展开更多
关键词 大豆 SCoT 正交设计 单因素试验 体系验证 引物筛选
下载PDF
归因训练的研究设计与理论检验 被引量：11
16
作者 王斌 马红宇 侯斌 《武汉体育学院学报》 CSSCI 北大核心 2002年第6期59-62,65,共5页
从研究设计和理论检验两方面对 3个归因训练研究进行了比较 ,分析了Weiner的归因理论中的一些要素 ,讨论了研究设计中的控制组、测试类型、运动任务、被试、测试、训练类型等问题 ,提出了一个归因训练研究的综合模式。
关键词 归因训练 研究设计 理论检验 测试类型 运动心理学
下载PDF
重型牵引车复合材料板簧的开发与验证 被引量：13
17
作者 杨昂 孙营 +4 位作者 吴晓明 司先军 司立新 丁冉冉 胡娟 《汽车工程》 EI CSCD 北大核心 2015年第10期1221-1225,共5页
基于集瑞某款轻量化牵引车的复合材料板簧(FRP)开发工作,分别从结构设计、性能计算、CAE分析、零部件试验和整车搭载试验等方面介绍了该车复合材料板簧的开发和验证过程。试验数据表明:同等刚度条件下,复合材料板簧的质量比传统钢板弹... 基于集瑞某款轻量化牵引车的复合材料板簧(FRP)开发工作,分别从结构设计、性能计算、CAE分析、零部件试验和整车搭载试验等方面介绍了该车复合材料板簧的开发和验证过程。试验数据表明:同等刚度条件下,复合材料板簧的质量比传统钢板弹簧减轻60%以上,疲劳寿命提高2倍以上,达到了新产品开发的预期目标。 展开更多
关键词 复合材料 板簧 设计验证 轻量化
下载PDF
嵌入式系统软硬件协同验证中软件验证方法 被引量：10
18
作者 王世好 王歆民 刘明业 《计算机研究与发展》 EI CSCD 北大核心 2005年第3期514-519,共6页
随着集成电路及计算机技术的发展,嵌入式系统设计变得越来越复杂.复杂的嵌入式系统设计,通常采用验证的手段检验系统设计的正确性,硬件验证通常是在硬件设计描述的基础上建立用于模拟硬件功能的硬件模拟器;软件验证常用的方法是建立处... 随着集成电路及计算机技术的发展,嵌入式系统设计变得越来越复杂.复杂的嵌入式系统设计,通常采用验证的手段检验系统设计的正确性,硬件验证通常是在硬件设计描述的基础上建立用于模拟硬件功能的硬件模拟器;软件验证常用的方法是建立处理器功能模型(指令集模拟器ISS),逐条解释嵌入式软件在目标机器上的执行过程,产生模拟输出,驱动外围电路(即硬件设计).指令集模拟器从底层时序关系模拟嵌入式软件在目标CPU上运行过程.对于复杂嵌入式系统设计,ISS模拟速度通常成为协同模拟瓶颈.基于RTOS的嵌入式软件快速验证方法可以有效地提高软件模拟速度,扩展RTOS功能,适应协同模拟需要,建立硬件模拟驱动,实现软件和硬件模拟器通信连接和协同模拟同步控制.基于RTOS的嵌入式软件验证方法以编译代码模型为基础,从系统行为级验证嵌入式软件功能,验证速度快.在实际应用中。该方法和ISS验证相结合,能够实现更有效、更快速的嵌入式系统协同验证.最后以几个典型硬件设计为基础,编写相应的控制软件,进行软硬件协同验证实验,实验结果数据说明该验证方法实用、有效、快速. 展开更多
关键词 嵌入式系统 协调设计 协同验证 模拟 RTOS
下载PDF
基于挤出固化的建筑3D打印装置设计及验证 被引量：12
19
作者 覃亚伟 骆汉宾 +1 位作者 车海潮 徐捷 《土木工程与管理学报》 北大核心 2016年第1期54-60,共7页
建筑3D打印技术是一种全新的自动化建造技术,在大尺寸建筑结构的自动建造中应用潜力巨大,而国内外关于建筑3D打印技术的研究尚处于起步阶段。本文针对建筑3D打印工艺中的挤出固化打印技术,集成数控技术、机械技术、计算机技术等设计研... 建筑3D打印技术是一种全新的自动化建造技术,在大尺寸建筑结构的自动建造中应用潜力巨大,而国内外关于建筑3D打印技术的研究尚处于起步阶段。本文针对建筑3D打印工艺中的挤出固化打印技术,集成数控技术、机械技术、计算机技术等设计研制了一套建筑3D打印装置,该打印装置由控制系统、XYZ运动系统、挤出系统、数据处理系统等模块组成,并且给出了各系统模块的具体技术参数。最后通过一个基于挤出固化的建筑3D打印实验,验证了本文中设计的基于挤出固化建筑3D打印装置的合理性,并对实验装置、实验材料以及实验验证的全部过程进行了系统分析。实验分析结果表明该建筑3D打印装置具备良好的集成控制功能,可以完成建筑信息模型的实体化建造。 展开更多
关键词 建筑3D打印 挤出固化 装置设计 实验验证
下载PDF
卫星健康管理故障诊断算法的设计及其实现 被引量：12
20
作者 潘宇倩 张弓 +2 位作者 白东炜 刘崇华 杨聪伟 《航天器工程》 2011年第5期37-42,共6页
自主健康管理系统对实现卫星安全性、可靠性和经济适用性具有重要意义,故障诊断算法是自主健康管理的核心技术之一。文章介绍了基于信号处理的故障诊断算法、基于解析模型的故障诊断算法和基于定性模型的故障诊断算法的国内外研究现状;... 自主健康管理系统对实现卫星安全性、可靠性和经济适用性具有重要意义,故障诊断算法是自主健康管理的核心技术之一。文章介绍了基于信号处理的故障诊断算法、基于解析模型的故障诊断算法和基于定性模型的故障诊断算法的国内外研究现状;提出了每种诊断算法的设计思想和实现途径;根据上述途径并结合卫星控制分系统的特点,得出了基于Unscented变换的故障诊断仿真结果;还给出了故障诊断算法的验证方案。这些算法能够满足星上故障诊断和处理的需求,对自主健康管理系统的实现具有参考意义。 展开更多
关键词 卫星 自主健康管理 故障诊断算法 设计 实现 验证
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 55 下一页 到第 页
使用帮助 返回顶部