验证方法
验证方法的相关文献在1986年到2023年内共计15870篇,主要集中在自动化技术、计算机技术、无线电电子学、电信技术、航空
等领域,其中期刊论文381篇、会议论文51篇、专利文献10224850篇;相关期刊316种,包括军民两用技术与产品、物理教学、电子设计工程等;
相关会议49种,包括第七届中国航空学会青年科技论坛 、第15届全国软件与应用学术会议(NASAC2016)、广东省职业健康协会第二届学术交流会等;验证方法的相关文献由27655位作者贡献,包括不公告发明人、李伟、张鹏等。
验证方法—发文量
专利文献>
论文:10224850篇
占比:100.00%
总计:10225282篇
验证方法
-研究学者
- 不公告发明人
- 李伟
- 张鹏
- 王磊
- 张磊
- 刘洋
- 张文明
- 王玉叶
- 周志刚
- 刘金星
- 杨新颖
- 陈少杰
- 张宇
- 张伟
- 张彦玲
- 王健宗
- 张开翔
- 范瑞彬
- 赵亮
- 李勇
- 刘杰
- 王健
- 王勇
- 田新雪
- 史建琦
- 张勇
- 邱炜伟
- 黄滟鸿
- 张新展
- 李明
- 李超
- 王涛
- 王超
- 陈彪
- 刘伟
- 刘勇
- 卢佐华
- 张亮
- 张涛
- 方宁
- 肖京
- 胡育辉
- 邵海波
- 阚志刚
- 陈浩
- 王伟
- 王强
- 孙俊飞
- 孙吉平
- 张强
-
-
蒋峰;
吴清祥
-
-
摘要:
通过概括和总结在汽车线束管路装配过程中会涉及的所有种类和所有失效模式,在此基础上提出1种对线束管路装配的验证和优化的方法,第1阶段为生产培训基于过程工艺的逐步验证,提高工艺成熟度和过程稳定性,第2阶段对序列化试装的成品车进行了拆车验证,追踪并解决质量问题,提升整体质量表现,该方法在某一新车型试装投产过程中得到验证,有效地降低了整车线束管路装配的质量风险。
-
-
白照广;
王崇羽;
范东栋;
孙纪文
-
-
摘要:
捕风一号卫星是中国首次实现基于星载导航卫星反射信号测量(global navigation satellite system-reflection,GNSS-R)技术的气象卫星,采用新型L波段海面风场信息探测技术,在风场测量、海面飓风风速反演等方面为国家气象、防灾减灾等行业提供服务。从系统设计角度介绍了捕风一号卫星的总体技术指标,结合需求分析阐述了卫星系统配置、载荷关键指标和轨道特性等方面的确认过程和结果。给出了载荷高精度风场监测、卫星海上发射、星地一体化数据反演、创新性数据中心等方面的技术特点,在具备2~70 m/s范围大风场测量的同时,风速测量精度可以达2 m/s。同时介绍了在轨测试情况、载荷性能比较与后续发展建议。卫星总体方案的设计过程可作为后续业务星和其他卫星系统论证的参考。
-
-
童艳芬
-
-
摘要:
学习“除数是整十数”的口算除法时,理解算理是教学的重点之一,也是教学的难点所在。可采用如下教学过程帮助学生深入理解算理。一、多元表征,理解算理1.出示学习单(如图1),请学生完成学习任务。2.学生独立完成后,教师先请全班学生核对问题的答案:80÷20=4(人),然后展示学生的验证方法,并引导学生相互交流。
-
-
尹满义;
罗星;
李锋;
秦斌
-
-
摘要:
随着国内液压技术进步,国产液压泵开始在中大机型上使用。但由于暂无一套完整规范的试验方法进行验证,导致主机厂为了应对成本降低和争夺市场占有率,拿现有产品做试验,使得客户对主机品牌和国产液压件认知水平较低。介绍一套相对完整和规范的试验方法,以便对国产液压件质量进行快速验证。
-
-
-
胡丽华;
黄佳;
杨波;
潘露
-
-
摘要:
目的 通过对传统策略、逆向策略、双检策略这3种梅毒血清学检测策略和验证方法进行评估,探讨适用的梅毒血清学检测策略.方法 选择该院确诊的251例梅毒螺旋体感染患者为研究组;同期100例在该院就诊并接受手术者为对照组,术前感染4项筛查(乙型肝炎、丙型肝炎、艾滋病、梅毒)阴性.特异性抗体分别采用化学发光免疫分析法(CLIA)、胶体金免疫层析法(ICT)检测,非特异性抗体采用甲苯胺红不加热血清反应素试验(T RU S T)检测,评价传统策略、逆向策略、双检策略的性能.用T PPA、F T A-ABS和WB进行验证,比较各种策略间检测性能差异.结果 采用CLIA进行特异性抗体检测的传统策略、逆向策略和双检策略的灵敏度分别为99.60%、100.00%、100.00%,准确度分别为99.72%、100.00%、100.00%,差异无统计学意义(χ2=2.003,P=0.367;χ2=2.002,P=0.368).采用IC T进行特异性抗体检测的传统策略、逆向策略和双检策略的灵敏度分别为97.61%、98.01%、100.00%,准确度分别为98.29%、98.58%、100.00%,差异无统计学意义(χ2=5.720,P=0.057;χ2=5.696,P=0.058).CLIA和ICT进行特异性抗体检测的3种策略的特异度均为100.00%.TPPA与WB比较,Kappa值为0.959,TPPA与FTA-ABS比较,Kappa值为0.854.结论 双检策略及CLIA初筛的逆向策略性能较好,CLIA初筛的逆向策略适用于大型实验室,小型实验室可采用IC T+T RU S T的双检策略,T PPA是首选的验证方法,WB可用于进一步确认.
-
-
刘同先;
李天涯;
肖鹏;
廖鸿宽;
于颖锐;
周金满
-
-
摘要:
堆芯功率分布可用径向功率分布和轴向功率分布分别描述,功率分布对堆芯偏离泡核沸腾(DNB)具有较高的重要性.核电厂在运行过程及事故过程中可能出现的功率分布各不相同,为有效简化热工水力设计及事故分析所需的功率形状,根据事故过程中功率分布的变化程度以及核电厂保护系统特性,将事故分析所需的极限功率形状分类包络.根据华龙一号的保护系统设置,以堆芯功率能力分析方法为基础,介绍了华龙一号工况Ⅰ包络功率形状和参考功率形状的验证方法.计算结果表明,工况Ⅰ包络功率形状和参考功率形状分别为各自适用场景下的包络功率形状.结果不仅有助于工程设计人员快速理解包络功率形状的验证方法,也有利于包络功率形状在后续事故分析中合理使用.
-
-
李叶彤
-
-
摘要:
在学习心理学的基础上,对超重与失重的验证环节进行学习过程的分析,根据牛顿运动定律进行理论推理得出超重和失重产生的条件,并遵循验证的方法,对此结论进行检验,使学生进一步明确科学探究的过程以及科学论证的重要性。验证环节的分析,对教师的有效教学也有一定指导意义。
-
-
林玉惠;
陈伟民;
袁如英;
黄叙吟;
刘丽强
-
-
摘要:
本文通过采用自主研发的黄曲霉毒素B1胶体金快速测试卡,结合精密仪器、精密试纸等精确定量检测,强化集成创新,研发快速检测和非定向筛查技术及产品,有效开展产品生产过程中关键控制点的黄曲霉毒素B1(真菌毒素)的检测和监控的验证,为粮油食品生产安全的检测提供精确装备,建立高效质量监控体系,验证可取代传统检测方法确保食品生产过程的质量.
-
-
甘宸睿
-
-
摘要:
灭菌器是用来灭菌、消毒的设备,自问世以来得到了普遍应用,不仅适用于医疗卫生部门,更适用于医疗器械制造工业。尽管灭菌器的应用很广,但相关检测方法相对滞后。因此,探究一套准确度高、成本低的验证方法尤为重要。文章通过介绍灭菌器的工作原理,应用先进的验证方法验证了灭菌设备灭菌效果的有效性,归纳了灭菌器的注意事项。
-
-
Yang Kai;
杨凯
- 《第十五届中国智能交通年会》
| 2020年
-
摘要:
随着图像自动识别技术的快速发展,动车组运行故障图像检测系统(TEDS,Train of EMU failures Detection System)的故障自动识别研制能力不断提高,多种动车组故障自动识别技术方案陆续提出.如何客观评价各类方法技术能力,推动算法性能的研发进步,成为TEDS自动识别技术研究中亟待解决的问题.为此,本文针对TEDS自动识别技术的评价开展研究,设计了标准的动车组故障图像数据库,制定了规范的识别技术评价流程,统一了评价比选技术标准,提出了一套TEDS故障自动识别技术验证方法.根据路局运用情况,本方法在保持验证程序规范性、验证结果稳定性方面有明显效果,为客观评价各类识别方法技术能力,实现TEDS自动识别技术的有效验证及应用,奠定了坚实的技术基础.
-
-
Yi She;
余艺;
Hongyin Tang;
唐弘胤;
Guoquan Wu;
吴国全;
Wei Chen;
陈伟;
Jun Wei;
魏峻;
Tao Huang;
黄涛
- 《第15届全国软件与应用学术会议(NASAC2016)》
| 2016年
-
摘要:
Android应用是一种事件驱动的并发程序,后台线程与异步事件执行顺序的不确定,导致数据竞争在Android应用中普遍存在.现有的针对Android应用的竞争检测工具会产生大量误报,且不能确定地重现竞争.本文针对以上问题,在现有的竞争检测结果的基础之上,提出了一种基于测试用例生成的Android应用数据竞争验证方法.该方法首先构建应用的状态转化图,基于状态转化图和现有竞争检测工具的检测结果自动生成包含潜在数据竞争的测试用例,然后在测试用例执行的过程中通过控制事件分发和线程的执行顺序来暴露竞争,观察竞争是否会引起程序异常.实验结果表明,该方法能有效地重现数据竞争引起的并发错误,并指出检测结果中的误报.
-
-
LI Cong-min;
李聪敏;
WANG Li;
王力
- 《第二届中国指挥控制大会》
| 2014年
-
摘要:
随着建模仿真技术在航天型号研发领域日益广泛的应用,仿真模型结果的可信度备受关注,针对真实系统和仿真模型的输出数据不具有时间序列一致性的情况,本文提出一种基于函数拟合的仿真模型可信度验证方法,该方法将函数拟合的思想引入模型验证中,不要求输出数据具有时间序列一致性,通过实例分析表明,该方法可以完成在不具备时间序列批一致性情况下的模型验证.
-
-
-
Xu Peiwen;
徐沛文;
Chen Haiyan;
陈海燕;
Chen Shuming;
陈书明;
Yan Shilin;
燕世林
- 《2014第20届全国信息存储技术学术会议》
| 2014年
-
摘要:
随着半导体工艺的发展,片上存储器的设计容量和复杂度日益增长,传统的功能验证方法面临着验证完备性、可重用性、效率和可靠性等方面挑战.针对自主设计的某16路SIMD结构的大容量向量存储器(vector memory,VM)覆盖率驱动的验证方法进行研究,基于SystemVerilog验证方法学,采用层次化建模方法搭建了高效的VM验证平台,在较高抽象层次上实现了带约束的随机激励,结合SVA断言技术对向量存储器向量读访存流水线的同步与提交状态实时监控,保证了关键时序逻辑功能验证的完备性、正确性,有效提高了验证效率.最终模块级验证结果表明,定向激励和随机激励相结合能较快达到理想的代码覆盖率.
-
-
-
-
-