基于计算机的金属管浮子流量计检定实验研究

基于水流量标准装置计算机控制系统,研究开发金属管浮子流量计的性能测试与检定实验。硬件采用数字量采集卡7505、脉冲量采集卡7606,对流量标准装置上各种信号进行控制,并实时采集测试、检定数据。通过软件编程,对测试、检定结果进行数据处理、曲线拟合。实验表明,实验者运用所学流体力学、检测技术、误差理论等方面的知识,对金属管浮子流量计进行性能测试、检定、误差计算;并通过实验掌握三次曲线拟合在浮子流量计非线性特性处理上的应用。     

金属管浮子流量计及其流量换算

本文介绍了金属管浮子流量计的性能特点及其流量换算关系。     

金属管浮子流量计及其流量换算

本文介绍了金属管浮子流量计的性能特点及其流量换算关系。     

浮子流量计的流量换算

本文介绍了金属管浮子流量计的性能特点及其流量换算关系。     

液体金属浮子流量计示值误差的测量不确定度评定

浮子流量计是基于浮子位置测量的一种变面积流量仪表,它具有结构简单、直观、压力损失小、维修方便等特点。气体金属浮子流量计是工业和实验室最常用的一种流量计,随着新规程JJG257-2007《浮子流量计》的颁布、实施和越来越的钢铁和化工企业对气体金属浮子流量计进行送检,笔者认为有必要单独对气体金属浮子流量计示值误差进行测量不确定度的评定。     

液体金属浮子流量计示值误差的测量不确定度评定

浮子流量计是基于浮子位置测量的一种变面积流量仪表,它具有结构简单、直观、压力损失小、维修方便等特点。气体金属浮子流量计是工业和实验室最常用的一种流量计,随着新规程JJG257-2007《浮子流量计》的颁布、实施和越来越的钢铁和化工企业对气体金属浮子流量计进行送检,笔者认为有必要单独对气体金属浮子流量计示值误差进行测量不确定度的评定。     

基于CFD的双锥形孔板浮子流量计的优化

孔板浮子流量计因其结构简单、加工方便,近年被广泛应用,但与锥管浮子流量计相比,线性度较差、压力损失较大,尤其是大口径孔板浮子流量计,这些问题尤为明显．文中提出了一种双锥形孔板浮子流量计结构,利用计算流体动力学方法确定了双锥形结构的优化参数,根据优化结果加工样机进行实流实验,得到了可参比的实验数据．实验结果表明,与常见的单锥形结构相比,DN100双锥形孔板浮子流量计的线性度提高了约50％,压力损失减小了8％左右,明显改善了孔板浮子流量计的性能,也验证了仿真结果的正确性．     

金属管浮子流量计的温压补偿技术

介绍了金属管浮子流量计的工作原理,温压补偿算法,温压补偿技术,温压补偿型金属管浮子流量计结构组成、特点及应用,指出了金属管浮子流量计温压补偿技术的发展趋势。     

测量低黏度流体介质金属管浮子流量计的仿真研究

为深入研究金属管浮子流量计的工作机理,采用计算流体力学和流体力学中湍流模式理论,对金属管流量计流场进行了数值仿真研究,获得了低黏度流体介质中浮子受力及浮子在受力平衡下的流量．数值模拟与物理实验标定数据的对比表明,模拟计算的流量最大满度误差为5．469 5％,平均满度误差为2．473 1％,说明数值仿真模型能满足金属管浮子流量计设计的需要．     

基于CFD的大口径锥管浮子流量计结构设计

应用计算流体动力学(CFD)方法,利用"浮子受力平衡度误差分析法"逐步调整入口流速,控制计算精度,对锥管浮子流量计的三维湍流流场进行数值计算,设计出满足设计目标要求的大口径、大流量的金属锥管浮子流量计.为了进一步验证仿真数据的准确性,建立了与实验用流量计结构参数、浮子高度完全相同的6个流量点数值计算模型.物理实验和数值计算数据对比表明,数值计算获得的各流量点的均方根误差仅为1.42%,可以用CFD方法设计浮子流量计的结构参数.     

结合多尺度特征和多维注意力的人脸风格转换

针对StarGANv2模型生成的人脸图像存在风格重建效果不佳、人脸纹理不够自然等现象,该文提出结合多尺度特征和多维注意力的人脸风格转换模型.1)将多尺度特征融合模块PSConv嵌入StarGANv2生成器内,提高了模型对图像特征的提取能力;2)提出了多维注意力模块MDConv,并将该模块嵌入StarGANv2判别器内,从而提高了模型对真假人脸图像的判别能力.与StarGANv2方法在CelebA-HQ数据集上进行对比实验的结果表明：该方法生成的人脸图像风格更美观,纹理细节更自然,学习感知图像相似度(LPIPS)的值也得到了提升.     

YA7232B磨床逆变器片上系统的研究与设计

蜗杆砂轮磨齿机YA7232B采用交流同步电机开环调速系统,系统的动态性能较低.采用磁场定向控制FOC算法和反电势锁相环位置估算器(BEMF PLL),重构无传感器交流同步电机的速度和角度参数,设计逆变调速片上系统(So C).经电气系统的技术改造、调试、验证和检测,结果表明采用的设计方法提高了磨齿机的齿轮加工精度和综合电气性能.     

基于混成自动机的CPS行为建模与属性验证

系统实时性、安全性和可靠性等非功能属性是信息物理系统在诸多领域应用的关键因素。论文在分析CPS模型构建与分析验证中面临的挑战的基础上,提出了一种CPS行为建模与属性验证方法。该方法首先基于混成自动机对CPS的行为进行建模,然后将此模型转换为混合程序模型,最后在定理证明器KeYmaera中对HP模型的属性进行形式化验证。文中论述了行为模型描述语言的结构,建立了混成自动机模型与HP模型之间的转换规则,分析了模型转换的一致性。应用实例表明:该方法既能简单直观地描述CPS动态行为,又能对CPS的属性进行严格的形式化验证,且有效避免了形式化验证中的状态空间爆炸问题。     

电力电子技术及电机控制实验装置功能探析——运动控制部分

对天煌教仪DJDK—1型电力电子技术及电机控制实验装置运动控制系统部分的功能进行了探析。这部分实验大部分为综合性实验,两个课时做不完可分为三个课时来做。采用必修实验与开放性实验相结合的教学方法,以提高设备的利用率及学生的受益面。通过实验实施,证实了验证性实验、综合性实验及设计性实验相结合的实验方法的可行性和有效性。     

阴极射线管色度转换的神经网络模型

利用神经网络技术实现了从阴极射线管(CRT)的R、G和B空间到CIE的标准色度空间的转换.用拟牛顿法训练网络模型,建立了从CRT的R、G和B到CIE的X、Y和Z色度空间变换的3 10 10 3神经网络模型.采用7点LOG空间分布方案的343个训练样本建模的试验表明,收敛性与训练时间及模型精度均优于前人采用3~4个隐层的方案,343个训练样本、216个检验样本和64组测试样本的平均转换精度分别为0.6个CIELUV色差单位,说明该模型的泛化能力很好.     

基于压频转换的相敏检波器

为了实现对微弱信号的检测,提出了一种基于压频转换的相敏检波器。利用压频转换电路,将被测信号 中的模拟电压值转换成频率,使用单片机根据参考信号对转换后的频率信号进行计数和数字滤波,从而实现小 信号检测。分析了相关检测原理,完成了系统的软硬件设计与实现,并进行了验证实验及误差分析,结果验证 了本方案的正确性和可行性。该系统原理简单、成本低廉、可靠性强、方便实用,在微弱信号检测上具有广阔 的应用前景。     

基于能量守恒定律对西原模型的改进与验证

在油气钻井工程中,由岩石蠕变引起的井眼缩径或井壁坍塌时有发生,本文基于能量守恒定律分析岩石蠕变的3个阶段,阐述传统的蠕变模型难以研究岩石加速蠕变阶段的原因。为此,在西原模型的基础上串联了一个绕组元件,建立改进西原模型及相应的本构方程。根据油气开发过程中所钻遇地层部分岩心的蠕变实验数据,对建立的改进西原模型进行验证,表明该模型能够很好地反映出岩石的蠕变特性,尤其是在岩石所受荷载大于长期强度的情况下,对凸显岩石加速蠕变阶段效果明显。该改进西原模型的提出可为进一步揭示岩石蠕变的客观规律提供理论依据。     

操作系统形式化验证综述

介绍操作系统验证理论、语言和工具等技术基础,阐述验证路径、精化关系验证和大规模验证等新的验证方法和理念。比较分析多个操作系统验证项目研究内容、验证方法、主要贡献以及最新进展。分析操作系统验证过程中存在的问题,认为验证成本高、验证工具局限性是制约操作系统形式化验证的关键因素,随着验证工具、框架和定理库的完善,以及深度学习等新技术的应用,操作系统更多的安全性质能够被形式化验证。     

验证平台中的可重用监视器

随着SoC芯片复杂度的提高,功能验证及其验证平台的构建日益成为电子产品开发和设计的瓶颈.而建立基于事务的可重用的验证平台是提高验证效率的关键之一.该文在基于事务的验证平台基础上,提出了一种模块化可重用的监视器设计方法,该监视器将物理信号的监测与数据的接收分离开来,且可进行信号到事务的转换,由此加快验证平台的构建和调试的过程,提高验证效率.     

基于SystemVerilog的SoC功能验证方法研究

结合最新验证语言SystemVerilog的特点以及VMM（Verification Methodology Manual）验证架构,分别讨论了SoC设计过程中模块验证,集成验证和系统验证的一些改进措施,达到提高功能验证效率的目的。