期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到806篇文章
< 1 2 … 41 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
形式化方法概貌 被引量：76
1
作者 王戟 詹乃军 +1 位作者 冯新宇 刘志明 《软件学报》 EI CSCD 北大核心 2019年第1期33-61,共29页
形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各... 形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工智能、网络空间安全、量子计算、生物计算等领域和方向交叉融合,得到更加广阔的应用.研究和建立这种交叉融合的理论和方法不仅重要,而且具有挑战性. 展开更多
关键词 形式化方法 形式规约 形式验证 程序设计方法学 软件开发
下载PDF
ECMWF模式对东北半球气象要素场预报能力的检验 被引量：65
2
作者 潘留杰 张宏芳 +2 位作者 朱伟军 王楠 王建鹏 《气候与环境研究》 CSCD 北大核心 2013年第1期111-123,共13页
利用ECMWF模式逐日分析场(0场)序列和7d预报场序列,使用气候学方法客观检验ECMWF模式对东北半球的预报能力,主要结果如下:1)模式对不同要素场的预报能力呈现出明显的季节性差异,夏季特别是7月预报能力最弱。2)总体来说,850hPa温度场、50... 利用ECMWF模式逐日分析场(0场)序列和7d预报场序列,使用气候学方法客观检验ECMWF模式对东北半球的预报能力,主要结果如下:1)模式对不同要素场的预报能力呈现出明显的季节性差异,夏季特别是7月预报能力最弱。2)总体来说,850hPa温度场、500hPa高度场与0场相关最好,850hPa湿度场与0场相关最弱;随着预报时效的增加,预报能力总体减弱。3)大陆上温度场预报总体较0场偏高,而在赤道低纬地区偏低,模式对赤道附近温度场变率预报能力弱于中高纬地区,这一特征在其它要素预报中也有不同程度的体现。4)500hPa位势高度预报场与0场的差值表现出清楚的起源于里海并向东北传播经贝加尔湖、鄂霍次克海转向东南至日本东部海域的波列,这一现象在500hPa风场差值图中也有清楚的表现。5)纬向风预报能力强于经向风,30°N附近存在纬向风与0场相关系数高值带。6)总体来说,模式对高层的预报能力优于低层,但模式对700hPa风场的预报存在显著差异。 展开更多
关键词 ECMWF模式 气候学方法 检验
下载PDF
智能合约的形式化验证方法 被引量：63
3
作者 胡凯 白晓敏 +1 位作者 高灵超 董爱强 《信息安全研究》 2016年第12期1080-1089,共10页
智能合约是一种代码合约和算法合同,将成为未来数字社会的基础技术,它利用协议和用户接口,完成合约过程的所有步骤.总结了智能合约主要技术特点和现存的可信、安全等问题,提出将形式化方法应用于智能合约的建模、模型检测和模型验证过程... 智能合约是一种代码合约和算法合同,将成为未来数字社会的基础技术,它利用协议和用户接口,完成合约过程的所有步骤.总结了智能合约主要技术特点和现存的可信、安全等问题,提出将形式化方法应用于智能合约的建模、模型检测和模型验证过程,以支持规模化智能合约的生成.研究提出了一个应用于智能合约生命周期的形式化验证框架和验证方法,针对一个智能购物场景,采用Promela建模语言对智能购物合约进行建模,用SPIN进行了模型检测,验证了形式化方法对智能合约的作用. 展开更多
关键词 智能合约 形式化方法 建模 验证 SPIN模型检测工具
下载PDF
风能预报方法研究进展 被引量：28
4
作者 柳艳香 陶树旺 张秀芝 《气候变化研究进展》 CSCD 2008年第4期209-214,共6页
中国蕴含着丰富的风能资源,但目前我国在风能预报方面的研究还很薄弱,几乎没有可用于风电场风能的客观、定量化的预报方法。风能预报,实际上最重要的是对风场的合理准确预报,进而得到风电量预报。通过简要介绍国际上风能预报的一些方法... 中国蕴含着丰富的风能资源,但目前我国在风能预报方面的研究还很薄弱,几乎没有可用于风电场风能的客观、定量化的预报方法。风能预报,实际上最重要的是对风场的合理准确预报,进而得到风电量预报。通过简要介绍国际上风能预报的一些方法,如统计预报、动力预报(包括降尺度预报和集成预报)以及风电量预报,同时介绍对预报的检验和面向最终用户的预报平台的建设,希望能对我国风能预报行业的发展起到一定的借鉴和促进作用。 展开更多
关键词 风能 预报方法 数值模式 检验 预报平台
下载PDF
高速冷滚打过程变形力解析方法及其修正 被引量：27
5
作者 张璐 杨明顺 +1 位作者 李言 袁启龙 《塑性工程学报》 CAS CSCD 北大核心 2011年第5期1-7,共7页
高速冷滚打成形是采用断续往复高速击打的方法实现动态冲击局部加载的一种近净塑性成形新工艺,其成形过程是高速、瞬态、高冲击、大变形的复杂过程。针对该成形过程中的变形力问题,首先采用主应力法进行变形力的解析求解;考虑主应力法... 高速冷滚打成形是采用断续往复高速击打的方法实现动态冲击局部加载的一种近净塑性成形新工艺,其成形过程是高速、瞬态、高冲击、大变形的复杂过程。针对该成形过程中的变形力问题,首先采用主应力法进行变形力的解析求解;考虑主应力法在解析过程中难以反映滚打轮的高速往复击打等因素,应用ABAQUS/Expict进行高速冷滚打仿真实验,并根据仿真计算结果,运用回归分析的方法对解析方程进行修正,使解析方程能够更加准确地反映出不同工艺状态下的高速冷滚打变形力。在自行研制的高速冷滚打实验设备上进行冷滚打成形实验,完成变形力的测量,并验证了修正后的解析方程的正确性。 展开更多
关键词 冷滚打 变形力 主应力法 实验验证
下载PDF
浅析化学检测实验室的方法确认和方法验证 被引量：24
6
作者 侯雪 郑卫东 +1 位作者 胡莉 杨定清 《实验室研究与探索》 CAS 北大核心 2016年第2期255-258,294,共5页
根据EN ISO/IEC 17025,为了证明方法是符合目的的,化学检测实验室应对所使用的方法进行验证和确认。由此,可提供客观证据证明方法的预期用途是否得以满足。本文以方法确认和验证的定义、范围、要求为基础,比较了两者的差异;讨论了何时... 根据EN ISO/IEC 17025,为了证明方法是符合目的的,化学检测实验室应对所使用的方法进行验证和确认。由此,可提供客观证据证明方法的预期用途是否得以满足。本文以方法确认和验证的定义、范围、要求为基础,比较了两者的差异;讨论了何时应进行方法验证,何时应开展方法确认,以及开展方法确认和验证的具体程序。此外,本文还讨论了方法确认和验证过程中涉及到的性能参数,包括准确度、正确度、精密度、线性度、检出限、定量限、选择性/特异性和测量不确定度,为方法确认和验证的实施提供了参考,也为实验室依照EN ISO/IEC 17025要求,制定方法确认和验证程序文件和作业指导书提供了指导。 展开更多
关键词 方法确认 方法验证 化学检测实验室
下载PDF
特长公路隧道自然风计算方法和节能研究 被引量：23
7
作者 晁峰 王明年 +1 位作者 于丽 郭春 《现代隧道技术》 EI CSCD 北大核心 2016年第1期111-118,126,共9页
为使特长公路隧道在运营过程中能够有效地利用自然风,需要对自然风压计算方法进行深入的研究。文章通过理论分析探明了自然风压的主要影响因素,即超静压差、热位差和风墙压差。通过理论推导得到了各因素的计算公式,确定了一般隧道的自... 为使特长公路隧道在运营过程中能够有效地利用自然风,需要对自然风压计算方法进行深入的研究。文章通过理论分析探明了自然风压的主要影响因素,即超静压差、热位差和风墙压差。通过理论推导得到了各因素的计算公式,确定了一般隧道的自然风压的计算方法。通过对铁峰山2#隧道现场测试数据的分析,验证了公式的正确性。在考虑了斜(竖)井对隧道通风的影响下,通过理论推导的方法得到了自然风压各因素的计算公式,确定了分段隧道自然风压的计算方法。利用简化计算模型计算了大相岭泥巴山特长公路隧道的自然风,并通过现场实测的数据对该计算方法进行了验证,实测值与程序计算值吻合较好。针对泥巴山隧道,设计了节能(辅助)风道。另外选择不同的风机控制方法,能达到不同的节能效果。以上自然风压的计算方法和泥巴山隧道的节能设计可以为其它类似工程的自然风计算、设计和合理利用提供依据。 展开更多
关键词 特长公路隧道 自然风压 影响因素 计算方法 测试验证 节能设计
下载PDF
湿热气候区风景园林微气候舒适度评价研究 被引量：21
8
作者 陈睿智 董靓 《建筑科学》 北大核心 2013年第8期28-33,共6页
本文综合运用WBGT指标和TS-Givoni指标计算湿热地区风景园林微气候舒适度值,结合国家热环境WBGT指标和TS-Givoni指标假设微气候舒适度评价标准,并通过实地监测和调查问卷,分析使用主体行为与微气候舒适度值的相关性,从而验证假设的评价... 本文综合运用WBGT指标和TS-Givoni指标计算湿热地区风景园林微气候舒适度值,结合国家热环境WBGT指标和TS-Givoni指标假设微气候舒适度评价标准,并通过实地监测和调查问卷,分析使用主体行为与微气候舒适度值的相关性,从而验证假设的评价标准。由此,得到湿热地区风景园林微气候舒适度评价参数、评价指标、评价标准和微气候舒适度等级划分指标。这种评价方法将客观的物理参数和主观的人体热舒适感结合,既是对热环境的客观评价,又考虑使用主体的热感受,评价的结果相对简明、完善、实用。 展开更多
关键词 微气候舒适度 评价方法 验证
原文传递
F检验法和T检验法在方法验证过程中的应用探究 被引量：20
9
作者 郭鸿飞 《山西冶金》 CAS 2019年第4期114-116,共3页
在实际的方法验证过程中,由于在部分试验方法中缺乏适用的标准物质,不能够比较直观、简单的进行结果的有效性评定,只能通过F检验法、T检验法的统计知识来确保结果的有效性。因此本文主要对F检验法、T检验法在方法验证过程中的应用进行... 在实际的方法验证过程中,由于在部分试验方法中缺乏适用的标准物质,不能够比较直观、简单的进行结果的有效性评定,只能通过F检验法、T检验法的统计知识来确保结果的有效性。因此本文主要对F检验法、T检验法在方法验证过程中的应用进行探究。 展开更多
关键词 F检验法 T检验法 方法验证 应用探究
下载PDF
汽车起重机支腿反力简化计算方法与实验验证 被引量：20
10
作者 房晓文 陈学东 +1 位作者 周振华 钱俊兵 《起重运输机械》 2012年第3期89-92,共4页
在汽车起重机支腿反力计算中,提出了必须同时考虑车架大梁扭转变形和支腿弯曲变形的观点,并据此建立了起重机支腿反力计算模型。通过实验验证,表明文中给出的计算模型能较好地反映支反力的幅值与变化规律,为后续的实验和结构优化提供了... 在汽车起重机支腿反力计算中,提出了必须同时考虑车架大梁扭转变形和支腿弯曲变形的观点,并据此建立了起重机支腿反力计算模型。通过实验验证,表明文中给出的计算模型能较好地反映支反力的幅值与变化规律,为后续的实验和结构优化提供了理论依据。 展开更多
关键词 汽车起重机 支腿反力 计算方法 实验验证
下载PDF
盾构区间重叠隧道下穿高速铁路轨道群加固技术体系研究 被引量：18
11
作者 李围 任立志 +2 位作者 孟庆明 高红兵 付艳军 《现代隧道技术》 EI CSCD 北大核心 2018年第6期191-196,共6页
在重叠隧道盾构掘进中会因多次扰动导致轨道沉降大,影响行车安全。文章针对深圳地铁7号线笋洪区间盾构重叠隧道下穿高铁26条轨道群实例,构建了"轨道支撑+路基加固+夹层土体加固+下隧道内支撑"的技术体系,并采用以自动化监测... 在重叠隧道盾构掘进中会因多次扰动导致轨道沉降大,影响行车安全。文章针对深圳地铁7号线笋洪区间盾构重叠隧道下穿高铁26条轨道群实例,构建了"轨道支撑+路基加固+夹层土体加固+下隧道内支撑"的技术体系,并采用以自动化监测为主、人工监测为辅的监测方法进行了轨道沉降监测。监测结果表明,盾构重叠隧道下穿引起的高铁正线轨道的最大沉降量为-5.9 mm,小于控制值10 mm,确保了运营安全,并验证了构建的加固技术体系的可靠性和实用性。 展开更多
关键词 重叠隧道 盾构法 下穿高铁股道群 加固技术体系 监测验证
下载PDF
湿热环境下开孔复合材料层合板的强度 被引量：17
12
作者 姚宇超 许希武 毛春见 《材料科学与工程学报》 CAS CSCD 北大核心 2015年第3期425-431,共7页
通过试验研究T300/5405复合材料层合板在6种湿热环境下开孔拉伸、开孔压缩的极限强度,分析了湿热环境对开孔复合材料层合板强度性能的影响,对比了不同湿热环境下材料的破坏模式。在有限元仿真方面,通过考虑湿热环境对材料刚度和强度的影... 通过试验研究T300/5405复合材料层合板在6种湿热环境下开孔拉伸、开孔压缩的极限强度,分析了湿热环境对开孔复合材料层合板强度性能的影响,对比了不同湿热环境下材料的破坏模式。在有限元仿真方面,通过考虑湿热环境对材料刚度和强度的影响,建立了湿热条件下复合材料开孔层合板极限强度的预测方法,模拟了开孔复合材料层合板在不同湿热环境、不同载荷类型下的损伤演化全过程。有限元预测结果与试验结果的误差在20%以内,验证了该预测方法的有效性。 展开更多
关键词 湿热环境 复合材料 渐进损伤 仿真方法 试验验证
下载PDF
基于层次分析法与熵权法的定额幅度差 被引量：15
13
作者 胡振山 徐红领 +3 位作者 于泉 李宁 袁展 孙建丽 《北京工业大学学报》 CAS CSCD 北大核心 2014年第9期1371-1378,共8页
为了进一步提高定额编制的精度,采用层次分析法和熵权法相结合的方法,对定额幅度差进行了研究.结果发现,用层次分析法和熵权法能够有效地计算定额幅度差,并得出了定额幅度差计算的模型.
关键词 定额幅度差 层次分析法 熵权法 实例验证
下载PDF
基于UML的软件形式化需求分析与验证 被引量：12
14
作者 姚全珠 王江 《计算机工程》 CAS CSCD 北大核心 2010年第13期30-33,共4页
针对软件开发中传统的需求分析方法所存在的需求描述不完整、具有二义性和不一致性问题,提出一种形式化需求分析方法。介绍根据用户需求采用形式化方法获取软件需求说明书并设计软件的统一建模语言(UML)模型的过程,及对该UML模型进行形... 针对软件开发中传统的需求分析方法所存在的需求描述不完整、具有二义性和不一致性问题,提出一种形式化需求分析方法。介绍根据用户需求采用形式化方法获取软件需求说明书并设计软件的统一建模语言(UML)模型的过程,及对该UML模型进行形式化描述,采用形式化验证技术对形式化后的UML模型进行需求验证,以确保设计的UML模型的正确性。实验结果表明,形式化的需求分析方法克服了传统需求分析方法中存在的问题。 展开更多
关键词 需求分析 形式化方法 统一建模语言 需求验证
下载PDF
大兴安岭森林景观区金化探异常查证方法探讨 被引量：14
15
作者 陈满 周殿宇 李德新 《黄金科学技术》 2008年第1期24-27,共4页
大兴安岭地区为森林景观区,植被十分发育。不同地区剥蚀程度各有不同,剥蚀较严重的地区砂金分布广泛,化探异常与砂金分布相对应,而对寻找岩金关系不大。水系沉积物扫面开展了不同程度的查证工作,取得的效果并不理想。通过对景观区地球... 大兴安岭地区为森林景观区,植被十分发育。不同地区剥蚀程度各有不同,剥蚀较严重的地区砂金分布广泛,化探异常与砂金分布相对应,而对寻找岩金关系不大。水系沉积物扫面开展了不同程度的查证工作,取得的效果并不理想。通过对景观区地球化学特征、异常查证方法、异常与金矿化的关系、区域剥蚀程度等进行探讨,合理有序应用查证方法,为提高找矿的命中率、缩短找矿周期提供了思路。 展开更多
关键词 森林景观 化探异常 查证方法 剥蚀程度 大兴安岭
下载PDF
卵砾石含水层高压旋喷注浆止水帷幕技术 被引量：14
16
作者 朱明诚 韩强 +1 位作者 赵贵斌 刘玉柱 《煤田地质与勘探》 CAS CSCD 北大核心 2020年第4期74-79,共6页
高压旋喷桩主要适用于淤泥质土、黏性土、粉土、砂土、黄土和碎石土等地层,在卵砾石地层或动水条件下的应用较少。我国某露天矿在施工旋喷桩止水帷幕的过程中,采用RJP工法进行帷幕施工,成功将高压旋喷注浆技术应用于卵砾石含水层中,通... 高压旋喷桩主要适用于淤泥质土、黏性土、粉土、砂土、黄土和碎石土等地层,在卵砾石地层或动水条件下的应用较少。我国某露天矿在施工旋喷桩止水帷幕的过程中,采用RJP工法进行帷幕施工,成功将高压旋喷注浆技术应用于卵砾石含水层中,通过试桩和筛分试验将卵砾石层特征对桩径大小的影响进行了分析研究,结果表明,RJP工法在卵砾石含水层中成桩效果良好、质量可靠,其桩径大小与卵砾石颗粒大小及含砂量有关。围井试验结果显示,高压旋喷桩帷幕墙完整,止水效果显著。研究成果表明高压旋喷注浆技术可在卵砾石含水层的加固和止水领域进行推广应用。 展开更多
关键词 RJP工法 取心验证 桩径 筛分试验 围井试验 露天煤矿
下载PDF
利用三维点云数据的土方量计算方法 被引量：13
17
作者 王果 张祥祥 +1 位作者 孟静 文化立 《河南工程学院学报（自然科学版）》 2018年第1期49-52,共4页
土方量精确计算对工程建设具有重要意义.基于三维点云数据,提出了结合贪婪投影三角化算法和DTM法的土方量计算方法,采用VC++并借助QT和PCL编制了土方量计算软件,通过实地采集的三维激光点云数据进行实验,并与Geomagic软件计算结果进行... 土方量精确计算对工程建设具有重要意义.基于三维点云数据,提出了结合贪婪投影三角化算法和DTM法的土方量计算方法,采用VC++并借助QT和PCL编制了土方量计算软件,通过实地采集的三维激光点云数据进行实验,并与Geomagic软件计算结果进行对比验证,结果表明该方法可以快速、精确地进行土方量计算,为基于三维点云数据的精确土方量计算提供了参考. 展开更多
关键词 三维点云 贪婪投影三角剖分 DTM法 土方量计算 对比验证
下载PDF
基于运动捕捉系统的UWB室内定位精度标定方法 被引量：13
18
作者 刘智伟 李建胜 +2 位作者 王安成 贾骏超 王俊亚 《测绘科学技术学报》 CSCD 北大核心 2017年第2期147-151,共5页
为了对UWB(Ultra Wide-Band)室内定位系统精度进行有效的评估,提出了一种基于运动捕捉系统的UWB室内定位精度标定方法。该方法的实现是基于两个实验完成的。其一是使用全站仪对运动捕捉系统进行精度验证,通过布尔莎七参数坐标转换模型... 为了对UWB(Ultra Wide-Band)室内定位系统精度进行有效的评估,提出了一种基于运动捕捉系统的UWB室内定位精度标定方法。该方法的实现是基于两个实验完成的。其一是使用全站仪对运动捕捉系统进行精度验证,通过布尔莎七参数坐标转换模型对实验数据进行处理,表明了运动捕捉系统的精度满足要求,可以用于标定UWB室内定位系统的精度。其二是通过运动捕捉系统来标定UWB室内定位系统的精度,以运动捕捉系统采集的数据为真值,将UWB室内定位系统采集的数据与运动捕捉系统采集的数据进行比较,得出的标定结果符合实际情况,表明了标定方法是有效和可靠的。 展开更多
关键词 UWB室内定位精度 标定方法 运动捕捉系统 精度验证 坐标转换
下载PDF
浅谈实验室检测方法的验证与确认 被引量：11
19
作者 李梅 王晴 +3 位作者 李树贵 王丹慧 万忠华 王丹 《食品安全质量检测学报》 CAS 2018年第23期6305-6308,共4页
检验方法是实验室用于实施检测工作所依据的标准方法和技术规范,方法及检测步骤的不同直接导致了检验结果的不同。本文从检验方法的选择及原则、方法验证和确认的定义、技术要求、开展方式等方面展开论述二者的区别,以阐述化学分析实验... 检验方法是实验室用于实施检测工作所依据的标准方法和技术规范,方法及检测步骤的不同直接导致了检验结果的不同。本文从检验方法的选择及原则、方法验证和确认的定义、技术要求、开展方式等方面展开论述二者的区别,以阐述化学分析实验室如何做好方法的选择、验证和确认,从而保证检验结果的准确性。 展开更多
关键词 检测方法 验证 确认
下载PDF
KNN方法在11-3月中国近海测站日最大风速预报中的应用 被引量：11
20
作者 涂小萍 赵声蓉 +1 位作者 曾晓青 刘还珠 《气象》 CSCD 北大核心 2008年第6期67-73,共7页
应用自组织神经网络方法对欧洲中心(ECMWF)2003年1月1日至2006年12月31日逐日数值预报产品分析场进行天气形势分型,发现11—3月影响我国的天气形势基本属于同一类型。对2004—2007年11—3月ECMWF逐日数值预报产品进行动力诊断,提取与中... 应用自组织神经网络方法对欧洲中心(ECMWF)2003年1月1日至2006年12月31日逐日数值预报产品分析场进行天气形势分型,发现11—3月影响我国的天气形势基本属于同一类型。对2004—2007年11—3月ECMWF逐日数值预报产品进行动力诊断,提取与中国近海16个测站日最大风速相关较好的预报因子,将改进后的KNN方法作为预报手段,建立11—3月近海测站日最大风速预报模型,并对2007年1—3月16个测站进行逐日检验,结果表明该方法对近海测站日最大风速有较好的预报能力。 展开更多
关键词 KNN 近海测站 日最大风速预报 交叉验证
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 41 下一页 到第 页
使用帮助 返回顶部