期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
正交试验在优化气体容积式流量计检定条件中应用
1
作者 黄爱民 《自动化与信息工程》 2015年第2期41-43,共3页
针对气体流量计检定影响因素较多的问题,以容积式气体流量计为例,提出以示值误差为优化综合指标,采用正交试验法分析检定过程中主要影响因素,包括温度、湿度、同轴度、取压方式等。确定各因素对示值误差影响的主次顺序,找出相对最优的... 针对气体流量计检定影响因素较多的问题,以容积式气体流量计为例,提出以示值误差为优化综合指标,采用正交试验法分析检定过程中主要影响因素,包括温度、湿度、同轴度、取压方式等。确定各因素对示值误差影响的主次顺序,找出相对最优的检定条件。实验结果表明:采用正交试验方法优化检定条件方案具有可行性和有效性。 展开更多
关键词 正交试验 气体流量计 检定条件 示值误差
下载PDF
浅议JJG 657-2019《呼出气体酒精含量检测仪》检定规程的修订
2
作者 张博 《品牌与标准化》 2021年第2期31-33,35,共4页
文章主要对JJG 657-2019《呼出气体酒精含量检测仪》新规程与JJG 657-2009《呼出气体酒精含量探测器》旧规程的性能参数、检定条件等项目进行了归纳总结,并将新旧规程的各个主要检定项目进行了对比。新规程在科学性和实用性上得到了提高... 文章主要对JJG 657-2019《呼出气体酒精含量检测仪》新规程与JJG 657-2009《呼出气体酒精含量探测器》旧规程的性能参数、检定条件等项目进行了归纳总结,并将新旧规程的各个主要检定项目进行了对比。新规程在科学性和实用性上得到了提高,更保证了量值传递的准确可靠。 展开更多
关键词 呼出气体酒精含量检测仪 规程修订 计量性能要求 检定条件
下载PDF
测风塔与风力发电机组风速数据相关性分析 被引量：8
3
作者 刘昌华 《内蒙古电力技术》 2012年第3期16-20,共5页
由于风力发电机组与测风塔所处位置不同,风速计高度和地形不同等原因,造成风力机与测风塔数据存在差异。对大唐国际卓资风电场一期工程32台风力发电机组与风电场内测风塔风速数据进行对比,确定二者的相关性。选用各自10 min间隔的风速... 由于风力发电机组与测风塔所处位置不同,风速计高度和地形不同等原因,造成风力机与测风塔数据存在差异。对大唐国际卓资风电场一期工程32台风力发电机组与风电场内测风塔风速数据进行对比,确定二者的相关性。选用各自10 min间隔的风速平均值的最高分辨率数据作为比对数据,提取2011年全部数据导入Excel软件中,进行严格的数据可信度分析后对数据进行处理,并通过Pearson系数及平均差、绝对值差、均方根差、平均绝对百分比差等5种方法进行验证,结果证明了风力发电机组与风电场内测风塔风速数据具有极强的相关性。 展开更多
关键词 风力发电机组 测风塔 风速 验证条件 数据对比 相关性
下载PDF
机载电子系统验证能力建设研究
4
作者 张军才 刘绚 李碧涵 《航空计算技术》 2023年第1期131-134,共4页
随着机载电子系统验证工作的重要性逐渐提升,系统供应商迫切需要建设相应的验证能力。验证能力可以从验证体系、验证条件和验证技术三方面进行建设。对验证过程、验证方法、验证职责和验证效果进行分析,提出验证体系的建设思路;对验证... 随着机载电子系统验证工作的重要性逐渐提升,系统供应商迫切需要建设相应的验证能力。验证能力可以从验证体系、验证条件和验证技术三方面进行建设。对验证过程、验证方法、验证职责和验证效果进行分析,提出验证体系的建设思路;对验证使能设备总体清单、实现路径和验证平台设计进行分析,提出验证条件的建设思路;对设计仿真技术、自动化测试技术和健壮性测试技术进行分析,提出验证技术的研发思路。 展开更多
关键词 验证能力 验证体系 验证条件 验证技术
下载PDF
一个出具证明编译器原型系统的实现 被引量：1
5
作者 刘诚 陈意云 +1 位作者 葛琳 华保健 《计算机工程与应用》 CSCD 北大核心 2007年第21期99-102,114,共5页
出具证明编译器是随着人们对现今的软件提出更高的可靠性和安全性要求而产生的工具,它结合了以往程序设计和程序安全性证明的技术。论文介绍了一个出具证明编译器原型系统的实现。
关键词 软件安全 出具证明编译器 验证条件 形式化证明方法 证明生成器
下载PDF
用于指针逻辑的自动定理证明器(英文) 被引量：1
6
作者 王振明 陈意云 王志芳 《软件学报》 EI CSCD 北大核心 2009年第8期2037-2050,共14页
提出了一种为指针逻辑设计定理证明器的新技术,该项技术主要是基于变换和替代,已在APL的工具中得以实现.APL自动定理证明器是完全自动的,且其产生的证明可以被有效地记录和检验.已使用关于单链表、双链表和二叉树的指针程序测试了该自... 提出了一种为指针逻辑设计定理证明器的新技术,该项技术主要是基于变换和替代,已在APL的工具中得以实现.APL自动定理证明器是完全自动的,且其产生的证明可以被有效地记录和检验.已使用关于单链表、双链表和二叉树的指针程序测试了该自动定理证明器. 展开更多
关键词 指针程序 指针逻辑 验证条件 自动定理证明器 证明检查器
下载PDF
FORTRAN程序正确性的形式证明
7
作者 宋国新 郑坚平 孙永强 《上海交通大学学报》 EI CAS 1987年第6期17-26,116,共11页
本文描述如何利用程序正确性验证系统,形式化地证明 FORTRAN 程序的正确性。它为软件工作者提供了形式程序验证的模式,对提高软件产品的可靠性无疑有促进作用。
关键词 程序的正确性 程序规范 路径 验证条件
下载PDF
响应曲面法漂白紫胶真空干燥条件的优化 被引量：9
8
作者 于连松 周梅村 +4 位作者 郑华 甘瑾 张汝国 张弘 陈智勇 《食品科学》 EI CAS CSCD 北大核心 2009年第18期121-125,共5页
为得到漂白紫胶真空干燥的优化条件,研究了不同温度和压强条件下漂白紫胶产品的颜色指数和干燥时间,用响应曲面法(RSM)设计试验并建立了真空干燥方法的拟合方程。结果表明,预测值和实测值的一致性较好,所建立的数学模型可以用于描述漂... 为得到漂白紫胶真空干燥的优化条件,研究了不同温度和压强条件下漂白紫胶产品的颜色指数和干燥时间,用响应曲面法(RSM)设计试验并建立了真空干燥方法的拟合方程。结果表明,预测值和实测值的一致性较好,所建立的数学模型可以用于描述漂白紫胶的真空干燥。通过优化得到了漂白紫胶真空干燥的最优条件:温度30℃,压强30kPa,可以得到颜色指数为1.0的漂白紫胶,其指标符合国家精制漂白紫胶1级标准;温度50℃,压强30kPa,可以得到颜色指数为1.4的漂白紫胶,其指标符合国家精制漂白紫胶2级标准。同时对此条件进行了验证,结果表明这两种条件下制得的漂白紫胶符合国家标准,可以为生产提供参考。 展开更多
关键词 漂白紫胶 真空干燥 条件优化验证 响应曲面法
下载PDF
命令式动态规划类算法程序推导及机械化验证
9
作者 左正康 孙欢 +3 位作者 王昌晶 游珍 黄箐 王唱唱 《软件学报》 EI CSCD 北大核心 2024年第9期4218-4241,共24页
动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Is... 动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Isabelle/HOL函数式建模与验证,通过证明命令式动态规划类算法程序与其的等价性,避免证明正确性时处理复杂的依赖关系和约束条件,提出命令式动态规划类算法程序设计框架及其机械化验证.首先,根据动态规划类算法的优化方法(备忘录方法)和性质(最优子结构性质和子问题重叠性质)描述问题规约、归纳递推关系式和形式化构造出循环不变式,并且基于递推关系式生成IMP(minimalistic imperative programming language)代码;其次,将问题规约、循环不变式和生成的IMP代码输入VCG(verification condition generator),自动生成正确性的验证条件;然后,在Isabelle/HOL定理证明器中对验证条件进行机械化验证.算法首先设计为命令式动态规划类算法的一般形式,并进一步实例化得到具体算法.最后,例证所提框架的有效性,为动态规划类算法的自动化推导和验证提供参考价值. 展开更多
关键词 Isabelle/HOL 机械化验证 动态规划 命令式 VCG
下载PDF
长江下游武汉—安庆河段中洪水期航道尺度潜力研究 被引量：2
10
作者 李瀛 雷雪婷 +1 位作者 黄纲 单敏尔 《水运工程》 北大核心 2023年第7期133-139,145,共8页
现有长江航道尺度研究聚焦于枯水条件下航道最小维护尺度,对中洪水期航道尺度缺乏相应的研究。本文基于三峡175 m蓄水运用以来水位及地形变化特点,提出以三峡175 m试验性蓄水以来至2021年底当月最低水位作为可利用水位,叠加近年来中洪... 现有长江航道尺度研究聚焦于枯水条件下航道最小维护尺度,对中洪水期航道尺度缺乏相应的研究。本文基于三峡175 m蓄水运用以来水位及地形变化特点,提出以三峡175 m试验性蓄水以来至2021年底当月最低水位作为可利用水位,叠加近年来中洪水期最不利地形的核查方法,筛查出重点水道并结合实测尺度,探讨航道尺度提升潜力。结果表明:核查方法对中洪水期航道尺度潜力分析的适应性良好,长江下游武汉—安庆河段在枯水维护的基础上,具备在中洪水期利用自然水位提升航道维护尺度的潜力。 展开更多
关键词 中洪水期航道尺度 航道条件核查 尺度提升
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部