期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到302篇文章
< 1 2 … 16 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
SoC设计的关键技术 被引量：9
1
作者 汪健 《集成电路通讯》 2006年第1期1-10,共10页
系统级芯片设计技术作为当今超大规模集成电路的发展趋势,是21世纪集成电路技术的主流,但是这种新技术的产生面临着一些设计问题和挑战。本文介绍了SoC的主要设计技术,并阐述了SoC设计中存在的一些技术挑战等。
关键词 片上系统(SOC) IP核 总线架构 软硬件协同设计 低功耗设计 验证技术
下载PDF
力限控制方法试验验证技术研究 被引量：15
2
作者 岳志勇 张俊刚 +1 位作者 冯咬齐 高非 《航天器环境工程》 2006年第4期227-231,共5页
文章以某型号承力筒纵向振动力限控制试验为例,对力限控制试验平台进行了介绍,包括力限试验夹具及力测量设备(FMD)、力信号采集和处理技术、力传感器校准技术等。对承力筒力限控制试验结果和加速度控制试验结果进行比较,指出力限控制方... 文章以某型号承力筒纵向振动力限控制试验为例,对力限控制试验平台进行了介绍,包括力限试验夹具及力测量设备(FMD)、力信号采集和处理技术、力传感器校准技术等。对承力筒力限控制试验结果和加速度控制试验结果进行比较,指出力限控制方法对控制精度和试验结果的影响,并探讨了在我国航天器振动试验中应用力限控制方法需要面对的问题及可能的解决办法,为力限试验验证技术的深入开展提供了参考。 展开更多
关键词 力限控制 方法试验 验证技术 控制试验 试验结果 力限试验 控制方法 加速度控制 振动试验 信号采集 校准技术 试验平台 试验夹具 力传感器 控制精度 处理技术 承力 测量设备 振动力 航天器
下载PDF
神经网络验证和测试技术研究综述 被引量：16
3
作者 李舵 董超群 +2 位作者 司品超 何曼 刘钱超 《计算机工程与应用》 CSCD 北大核心 2021年第22期53-67,共15页
神经网络技术在图像处理、文本分析和语音识别等领域取得了令人瞩目的成就,随着神经网络技术应用到一些安全攸关的领域,如何保证这些软件应用的质量就显得尤为重要。基于神经网络技术的软件在开发和编程上和传统软件有着本质的区别,传... 神经网络技术在图像处理、文本分析和语音识别等领域取得了令人瞩目的成就,随着神经网络技术应用到一些安全攸关的领域,如何保证这些软件应用的质量就显得尤为重要。基于神经网络技术的软件在开发和编程上和传统软件有着本质的区别,传统测试技术很难直接应用到此类软件中,研究针对神经网络的验证和测试评估技术十分必要。从有效评估和测试神经网络出发,对神经网络验证和测试技术的研究现状进行梳理,分别从验证技术、基于覆盖的测试技术、基于对抗样本的测试技术、融合传统测试技术等方面进行了归纳和分类。对其中一些关键技术的基本思想和实现做了简明扼要的介绍,并列举了一些测试框架和工具,总结了神经网络验证和测试工作面临的挑战,为该领域的研究人员提供参考。 展开更多
关键词 神经网络 测试评估 验证技术 测试技术
下载PDF
基于逻辑的形式化验证方法:进展及应用 被引量：15
4
作者 陈钢 于林宇 +1 位作者 裘宗燕 王颖 《北京大学学报（自然科学版）》 EI CAS CSCD 北大核心 2016年第2期363-373,共11页
近年来,形式化方法发展很快,一些技术已经产生工业应用。以逻辑系统为主线,分析几个影响力比较大的形式化验证技术和验证工具,以帮助应用工程师选择并使用形式化工具。主要包括命题演算和时态逻辑方面的SAT、BDD、模型检测和SMT,谓词逻... 近年来,形式化方法发展很快,一些技术已经产生工业应用。以逻辑系统为主线,分析几个影响力比较大的形式化验证技术和验证工具,以帮助应用工程师选择并使用形式化工具。主要包括命题演算和时态逻辑方面的SAT、BDD、模型检测和SMT,谓词逻辑方面的ACL2、VDM方法和B方法,以及高阶逻辑方面的HOL、PVS和COQ。还介绍形式化方法在学术界和工业界的应用情况,最后给出几个商业化的形式化验证工具。 展开更多
关键词 形式化方法 逻辑系统 验证技术
下载PDF
直升机金属结构缺陷容限验证技术研究 被引量：13
5
作者 顾文标 喻溅鉴 +1 位作者 邹静 潘春蛟 《直升机技术》 2013年第1期20-25,共6页
直升机结构的缺陷容限验证在FAR/CCAR27/29.571条适航条款中有明确的要求。文章提出了全尺寸结构缺陷容限验证思路,对验证的各个环节,包含缺陷的类型及参数、缺陷容限特性曲线基本参数及安全系数、真实缺陷下载荷或应力的修正、结构的... 直升机结构的缺陷容限验证在FAR/CCAR27/29.571条适航条款中有明确的要求。文章提出了全尺寸结构缺陷容限验证思路,对验证的各个环节,包含缺陷的类型及参数、缺陷容限特性曲线基本参数及安全系数、真实缺陷下载荷或应力的修正、结构的缺陷容限性能、检查周期的确定等进行了探讨,为开展直升机结构缺陷容限验证工作提供了技术支持。 展开更多
关键词 直升机 缺陷容限 验证技术 特性曲线
下载PDF
SoC原型验证技术的研究 被引量：5
6
作者 马凤翔 孙义和 《电子技术应用》 北大核心 2005年第3期70-73,共4页
快速系统原型技术已成为SoC(片上系统)验证的主要手段之一,但大多数的原型描述仍使用Verilog/VHDL语言,描述效率低。以软件编译式系统设计(SCSD)为基础,提出了SoC的原型验证流程,用Handel-C语言描述SoC原型,并直接实现在原型验证硬件上;... 快速系统原型技术已成为SoC(片上系统)验证的主要手段之一,但大多数的原型描述仍使用Verilog/VHDL语言,描述效率低。以软件编译式系统设计(SCSD)为基础,提出了SoC的原型验证流程,用Handel-C语言描述SoC原型,并直接实现在原型验证硬件上;用SCSD的软件工具、RC1000和RC200硬件平台搭建了一个SoC原型验证系统的样机,并在样机上完成了Lena图像处理SoC的原型验证;在反复试验的基础上,改进了SoC原型验证流程,并设计出了新的原型电路板。 展开更多
关键词 验证技术 原型 软件工具 C语言 编译 图像处理 硬件 片上系统 电路板 VHDL语言
下载PDF
Web攻击及安全防护技术研究 被引量：7
7
作者 李必云 石俊萍 《电脑知识与技术》 2009年第11期8647-8649,共3页
对于不同的网站应用程序，构建有效的网站应用安全防护机制非常重要。在详细分析Web攻击行为的基础上，对Web安全防护技术进行了深入探讨．提出了预防为主．软硬件结合的多重Web安全防护技术。
关键词 WEB攻击 安全防护 防火墙 验证技术
下载PDF
机电产品的可验证设计系统及其实现框架 被引量：7
8
作者 范守文 熊静琪 +2 位作者 邵旭光 黄洪钟 胡天友 《计算机集成制造系统》 EI CSCD 北大核心 2010年第6期1151-1157,共7页
为提高机电产品的设计效率和质量,在深入研究现代设计理念、方法及可靠性理论的基础上,提出了可验证设计的概念、技术指标和基本理论体系,设计了机电产品可验证设计系统的基本框架,研究了可验证设计系统中的关键技术,为机电产品的可验... 为提高机电产品的设计效率和质量,在深入研究现代设计理念、方法及可靠性理论的基础上,提出了可验证设计的概念、技术指标和基本理论体系,设计了机电产品可验证设计系统的基本框架,研究了可验证设计系统中的关键技术,为机电产品的可验证设计提供了一套行之有效的理论、方法和工具。 展开更多
关键词 机电产品 可验证设计 数学模型 验证技术 可靠性 产品设计
下载PDF
SoC验证方法学研究与应用 被引量：6
9
作者 吴军 华更新 刘鸿瑾 《空间控制技术与应用》 2012年第5期27-33,共7页
SoC系统功能日益复杂,规模也日益庞大,SoC验证面临着前所未有的挑战.对SoC验证方法学进行了研究和总结,包括验证流程、验证层次和验证技术.通过对基于DW8051的SoC的验证实践,证明了这套验证方法学的可行性和有效性.
关键词 SOC 验证方法学 验证流程 验证层次 验证技术
下载PDF
SoC设计验证策略及方法学 被引量：3
10
作者 董杨鑫 郑建宏 《电子质量》 2007年第10期53-56,共4页
验证在SoC设计过程中有十分重要的作用,它将影响到芯片的整体开销和质量。本文首先介绍了当前业界比较常用的一些验证技术的特点,包括仿真技术、静态验证技术、形式验证、物理验证等,然后通过实例论述在SoC设计验证中的关键技术——重... 验证在SoC设计过程中有十分重要的作用,它将影响到芯片的整体开销和质量。本文首先介绍了当前业界比较常用的一些验证技术的特点,包括仿真技术、静态验证技术、形式验证、物理验证等,然后通过实例论述在SoC设计验证中的关键技术——重用技术、随机约束验证、自检技术和形式断言验证。 展开更多
关键词 验证技术 SOC 重用 随机约束 自检 形式断言
下载PDF
大飞机铝锂合金等直段研制关键技术 被引量：6
11
作者 宋利康 廖建华 +2 位作者 郑堂介 张建东 朱永国 《航空制造技术》 2015年第4期82-85,共4页
结合等直段研制开展铝锂合金先进结构设计、分析方法及其验证技术研究,通过铝锂合金机身段典型铝锂合金结构件关键制造环节的工艺研究,突破铝锂合金机身典型结构件的高效、高品质加工制造技术,并验证先进装配工艺及机身部段件对接工艺方... 结合等直段研制开展铝锂合金先进结构设计、分析方法及其验证技术研究,通过铝锂合金机身段典型铝锂合金结构件关键制造环节的工艺研究,突破铝锂合金机身典型结构件的高效、高品质加工制造技术,并验证先进装配工艺及机身部段件对接工艺方案,可为某大型客机机身结构大量采用铝锂合金奠定基础。 展开更多
关键词 铝锂合金 验证技术 加工制造技术 机身结构 飞机 工艺方案 结构设计 装配工艺
下载PDF
嵌合RNA检测和验证技术
12
作者 王广富 丁咏伟 +1 位作者 唐悦 秦付军 《生物化学与生物物理进展》 SCIE CAS CSCD 北大核心 2024年第4期797-808,共12页
嵌合RNA(chimeric RNA)是由来自不同基因的外显子片段组成的融合转录本。传统的嵌合RNA检测方法有染色体核型分析、荧光原位杂交(FISH)等,但这些技术的特异性、灵敏性和准确性较差。随着测序技术的发展,二代测序技术展现出强大的数据处... 嵌合RNA(chimeric RNA)是由来自不同基因的外显子片段组成的融合转录本。传统的嵌合RNA检测方法有染色体核型分析、荧光原位杂交(FISH)等,但这些技术的特异性、灵敏性和准确性较差。随着测序技术的发展,二代测序技术展现出强大的数据处理能力,可以通过高通量序列分析来检测嵌合RNA,目前基于高通量测序的检测方法有FusionCatcher、SOAPfuse、EricScript等。目前较为常用的对检测到的嵌合RNA的验证方法有聚合酶链反应(PCR)、核糖核酸酶保护实验(RPA)、琼脂糖凝胶电泳、Sanger测序等。多种检测技术的开发使得越来越多的嵌合RNA被发现,但现有的检测技术各有优劣,主要体现于检测成本、假阳性率、检测时间等方面的差异。本文对嵌合RNA的检测方法、验证方法及各方法的优劣性进行阐述。 展开更多
关键词 嵌合RNA 检测技术 验证技术 RNA-SEQ 生物信息学
下载PDF
放电等离子体粒子云网格蒙特卡罗模拟的分层级验证方法
13
作者 尚天博 杨薇 +1 位作者 宋萌萌 周前红 《强激光与粒子束》 CAS CSCD 北大核心 2024年第3期4-12,共9页
当前,科学计算的验证主要针对基于确定性偏微分方程组的网格离散方法。放电等离子体的粒子云网格PIC方法作为一种粒子-网格耦合的仿真手段,其验证方法具有显著不同的特点:第一,PIC仿真除了在时间和空间上进行离散,还需要对粒子数权重进... 当前,科学计算的验证主要针对基于确定性偏微分方程组的网格离散方法。放电等离子体的粒子云网格PIC方法作为一种粒子-网格耦合的仿真手段,其验证方法具有显著不同的特点:第一,PIC仿真除了在时间和空间上进行离散,还需要对粒子数权重进行离散;第二,离散粒子的相空间分布函数是否适合作为验证研究的观测量;第三,粒子-网格耦合过程中的电场插值和电荷分配会影响PIC仿真的全局收敛精度。另外,当PIC方法与蒙特卡罗(MC)方法耦合时,离散误差和随机误差通常叠加在一起,理查德森外推需要结合系综平均进行。提出了一种分层级验证的方法。首先对单粒子轨道、电磁场求解、二体粒子碰撞进行收敛精度阶测试;然后采用空间电荷限制流、气体的傅里叶流动等具有精确解的经典物理模型分别对集成PIC、MC模块进行离散误差评估;最后采用放电物理过程对程序功能进行基准校验。 展开更多
关键词 PIC方法 验证技术 精度阶测试 放电模拟
下载PDF
基于VMM的寄存器抽象层验证 被引量：5
14
作者 方颖立 《电子设计技术 EDN CHINA》 2007年第8期110-111,113,114,共4页
本文介绍了Synopsys公司推出的基于VMM的寄存器抽象层验证技术和方案，简称RAL（Register Abstraction Layer）。该技术是Synopsys针对芯片验证中如何简便、高效地完成寄存器／存储器相关的验证任务这一问题而开发的解决方案。该方案构... 本文介绍了Synopsys公司推出的基于VMM的寄存器抽象层验证技术和方案，简称RAL（Register Abstraction Layer）。该技术是Synopsys针对芯片验证中如何简便、高效地完成寄存器／存储器相关的验证任务这一问题而开发的解决方案。该方案构建在Synopsys的VMM验证方法基础上，使用了VMM中的通用技术，可以在VMM的验证环境中非常方便地集成和重用。 展开更多
关键词 验证技术 VMM 寄存器 抽象层 Synopsys公司 验证方法 验证环境 存储器
原文传递
机载电子系统验证能力建设研究
15
作者 张军才 刘绚 李碧涵 《航空计算技术》 2023年第1期131-134,共4页
随着机载电子系统验证工作的重要性逐渐提升,系统供应商迫切需要建设相应的验证能力。验证能力可以从验证体系、验证条件和验证技术三方面进行建设。对验证过程、验证方法、验证职责和验证效果进行分析,提出验证体系的建设思路;对验证... 随着机载电子系统验证工作的重要性逐渐提升,系统供应商迫切需要建设相应的验证能力。验证能力可以从验证体系、验证条件和验证技术三方面进行建设。对验证过程、验证方法、验证职责和验证效果进行分析,提出验证体系的建设思路;对验证使能设备总体清单、实现路径和验证平台设计进行分析,提出验证条件的建设思路;对设计仿真技术、自动化测试技术和健壮性测试技术进行分析,提出验证技术的研发思路。 展开更多
关键词 验证能力 验证体系 验证条件 验证技术
下载PDF
集成电路验证技术 被引量：3
16
作者 刘卓军 吴尽昭 《中国基础科学》 2007年第3期11-14,共4页
关键词 验证技术 设计验证 芯片测试 寄存器传输级 形式化验证 模型检测 定理证明器 模拟验证方法 形式化方法 测试向量
原文传递
空管仿真验证技术研究 被引量：4
17
作者 李泉 田振才 《空中交通管理》 2007年第10期14-16,共3页
一、背景 随着信息技术、通信技术和卫星技术为代表的新技术在航空领域的广泛应用，民航空中交通管理方式正发生着深刻的变革。国际民航组织提出了新的“全球空管运行概念”，其主要特点是建立网络、交互、共享的分布式系统平台，使... 一、背景 随着信息技术、通信技术和卫星技术为代表的新技术在航空领域的广泛应用，民航空中交通管理方式正发生着深刻的变革。国际民航组织提出了新的“全球空管运行概念”，其主要特点是建立网络、交互、共享的分布式系统平台，使航空运输参与各方，在确保安全的前提下，提高系统总体运行效率。 展开更多
关键词 验证技术 国际民航组织 分布式系统 仿真 空中交通管理 运行效率 信息技术 航空领域
原文传递
声纹验证及其在金融领域的应用与挑战 被引量：5
18
作者 刘新海 马荣梁 《清华金融评论》 2016年第1期97-100,共4页
互联网金融、普惠金融快速发展,需要有更加便利的身份识别手段。声纹验证等生物识别技术目前可以作为辅助开户手段,在进一步成熟发展后有可能使远程开户成为现实。但是,声纹验证还面临着从技术、信息安全到消费者个人隐私保护的挑战。2... 互联网金融、普惠金融快速发展,需要有更加便利的身份识别手段。声纹验证等生物识别技术目前可以作为辅助开户手段,在进一步成熟发展后有可能使远程开户成为现实。但是,声纹验证还面临着从技术、信息安全到消费者个人隐私保护的挑战。2015年12月28日,经过五个月的征求意见,中国人民银行正式发布了《非银行支付机构网络支付业务管理办法》。该办法规定,Ⅲ类支付账户(交易额年累计不超过20万元) 展开更多
关键词 声纹 生物识别技术 银行支付 机构网络 信息安全 隐私保护 支付业务 识别手段 互联网经济 验证技术
原文传递
变电站智慧立体巡检系统关键技术应用 被引量：1
19
作者 郝向军 宋晓雨 马津 《数字技术与应用》 2023年第5期23-25,共3页
随着技术的进步,发电厂验证技术变得越来越智能化,电网可靠性也越来越严格。发电厂验证作为保障设施安全的基础,传统的手动干预仅限于外部环境和个人技术要求,存在泄漏的可能性;遥控器远离设备,在恶劣天气事件和事故搜索中会危及员工的... 随着技术的进步,发电厂验证技术变得越来越智能化,电网可靠性也越来越严格。发电厂验证作为保障设施安全的基础,传统的手动干预仅限于外部环境和个人技术要求,存在泄漏的可能性;遥控器远离设备,在恶劣天气事件和事故搜索中会危及员工的安全。因此,发电厂体的远程检测和高效技术手段的干扰预警是当前站访的重要发展方向。 展开更多
关键词 电网可靠性 巡检系统 远程检测 保障设施 变电站 遥控器 验证技术 关键技术应用
下载PDF
直升机复合材料主桨叶缺陷容限验证技术 被引量：5
20
作者 潘春蛟 顾文标 +2 位作者 曾玖海 邹静 虞汉文 《直升机技术》 2015年第2期50-57,共8页
目前直升机主桨叶结构多采用复合材料,作为直升机特有的关键性动部件,工作时一直处于复杂的受力环境中,其状况直接影响到直升机的飞行安全。复合材料主桨叶设计与生产工艺复杂,制造中很容易出现如分层、错位、皱褶、夹杂等内部缺陷,而... 目前直升机主桨叶结构多采用复合材料,作为直升机特有的关键性动部件,工作时一直处于复杂的受力环境中,其状况直接影响到直升机的飞行安全。复合材料主桨叶设计与生产工艺复杂,制造中很容易出现如分层、错位、皱褶、夹杂等内部缺陷,而使用时的高速旋转使其很容易受到外物如飞沙、走石等的冲击损伤。按照适航FAR/CCAR27/29.571条的要求,提出复合材料桨叶缺陷容限性能验证的方法并予以实施,降低了用户使用和维护成本,提高了结构的安全可靠性。 展开更多
关键词 直升机 主桨叶 复合材料 缺陷容限 验证技术
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 16 下一页 到第 页
使用帮助 返回顶部