基于小波包能量熵与VDM的变电站变压器局部放电在线检测方法

为了精准且及时地感知变压器局部放电等异常现象,以某变电站变压器为例,开展局部放电在线检测方法的研究。采用小波分析法,对不同种类的放电参数进行分段采集与分析;采集变压器在常态化条件下运行的原始信号,根据小波包能量熵提出的能量守恒原则,引进小波包能量熵与VDM,进行变压器局部能量熵的提取;根据变压器放电的等值分析,获取等效电容中的电压值,以此为依据,实现对变电站变压器局部放电的在线检测及放电强弱的判断。实验结果表明,设计的方法可以实现对变压器局部放电的精准识别与检测。

B语言和方法与Z、VDM的比较

1 引言形式化方法是建立在严格数学基础上的软件开发方法。软件开发的全过程中,从需求分析、规格说明、设计、编程、系统集成、测试、文档生成直至维护各阶段,凡是采用严格的数学语言、具有精确的数学语义的方法都称为形式化方法。形式化方法的一个重要研究内容是形式规格说明,即用具有精确语义的形式化语言书写的程序功能描述,它是论证程序是否正确的依据。形式化方法需要形式规格说明语言的支持,也可以说形式化方法的关键在于形式规格说明语言。形式规格说明语言提供了一个称为语法域的记号系统和一个称为语义域的目标集合,以及一组精确地定义哪些目标系统满足哪个规格说明的规则。根据对目标软件系统进行说明的方式分三种规格说明语言:

Z和VDM规格说明的差异比较

实现软件开发过程各阶段的自动化是软件工程的重要目标之一。软件自动化的前提是形式,包括软件需求规格、软件设计规格和算法描述等的形式化。形式化软件规格说明不仅是对用需求,也是对软件系统的严格定义。

ITS中VDM设备的研究与实现

文章介绍了专门用于ＩＴＳ（智能交通系统）中的一种多功能视频叠加设备──ＶＤＭ的设计。针对 ＩＴＳ应用中的主要特点和要求，ＶＤＭ采取了一些相应的技术措施，该设备现已被成功地应用于交通收费系统中。

改进数字显示方式VDM的OSDC设计实现

提出了一种基于O SDC的改进型数字视频混合器(VDM)的设计原理,实现了任意字符和图形在视频上的叠加显示,解决了字符大小和屏幕显示容量的矛盾,提高了汉字数字混合显示的美观性,增加了字符勾边显示功能,在不影响原视频图像显示信息量的前提下,增强了在强光下显示字符的可读性。

基于VDMS系统的通航船模操纵性率定研究

介绍了一种利用VDMS(Velocity Distribution Measuring System)系统配合自编程软件对通航船模进行船模操纵性率定的试验方法。探讨了利用VDMS系统如何有效降低操纵性率定试验的限制条件。通过实际案例验证,该方法可以对船模操纵性做出可靠的评价。

UML类模型的VDM++形式化规约

利用目前使用最为广泛的形式化验证语言VDM++在描述系统模型的语法和语义上的精确、一致的特点,结合VDMTOOLS和Rational Rose工具把UML类模型中的各个元素转化成VDM++表示,从而实现对UML类模型中所包含的各个元素进行语法和语义的检查。进一步提高UML的建模质量。

VDM算法在数据采掘中的应用

介绍了在数据库知识发现 (KDD)中将连续属性离散化的一些方法 ,并提出使用值差分度量离散化的算法 .值差分度量算法原本是用于计算离散属性值间的距离 ,但实际上将这种方法反过来用于连续属性的离散化也可以有相当好的效果 .将其与传统的使用统计量 χ2 的离散化算法作了比较 .

VDM在银行软件开发中的应用

针对银行软件的特点,阐述了VDM(Vienna Development Method,简称VDM)的由来、基本思想、优点及其开发步骤,并结合银行工作的实际情况,应用VDM对银行存款系统进行了规范说明、程序实现和程序验证,提高了银行存款系统的安全性和可靠性。

基于RUP和VDM++的软件形式化开发方法的研究

形式化方法是软件开发过程中用于保证软件系统具有高度正确性和可靠性的一个重要手段。但形式化软件规范不直观,不容易被开发人员所接受。该文将较为直观地统一软件过程和VDM++形式化方法结合在一起,提出了一种软件形式化开发方法,并通过开发一个实际的文件设备记账系统说明了该方法的可行性与有效性。

VDM和Z两种规范描述语言的比较

本文以关系数据库的规范为例，详细讨论了两种重要的规范描述语言ＶＤＭ和Ｚ的主要区别，对它们的共性和发展史也作了简单介绍。

SMS西马克公司为蒂森克虏伯VDM公司提供厚板轧机

蒂森克虏伯VDM公司向SMS西马克公司发出订单，为西根厂订购1台2．7m的厚板轧机。新轧机将替换自1954年以来一直使用的现有轧机。新轧机的投产将使蒂森克虏伯VDM公司可以提供公差范围更小、更重的厚板产品。新轧机的轧制力为60MN，配备有液压调节系统并采用工作辊弯辊技术。SMS西马克公司供货范围包括带X—Pact轧机自动化控制系统、

维也纳开发方法(VDM)介绍

VDM是一种系统地开发大型软件的方法,本文讨论这种方法的四要素:形式化的规范说明,基于变换的分阶段系统实现,正确性证明和抽象原理。

VDM:在CIMT2017上展示“德国制造”

日前,在CIMT2017展会开幕前际,德国机床制造商协会（VDW）在展会现场举办了新闻发布会,VDW经济部长Gerhard Hein、通快（中国）有限公司总经理顾永麟、埃马克（中国）机械有限公司CEO Uwe Ronde和巨浪（太仓）有限公司中国区总经理任家平发表主题演讲,介绍了最新产品和技术发展趋势。本届CIMT2017展会,约有200家德国企业在展会上展示实力,

基于价值驱动维修的神经内科医疗器械管理决策研究

目的:探讨价值驱动维修(VDM)方法在神经内科医疗器械管理决策中的应用价值。方法:基于VDM管理方法从资产利用、成本控制、可靠性工程、计划准备和维修实施5个维度制定医疗器械管理方法。选取2019年12月至2022年1月医院临床在用的394件神经内科医疗器械,按照管理模式不同,将其分为对照组(305件)和观察组(327件,含对照组中238件和新增加的89件),对照组采取传统模式进行管理,观察组采取VDM模式进行管理,比较两组的管理质量、技术保障质量、生产环节质量评分和供应质量合格率。结果:观察组器械年故障次数为(1.34±1.02)次,低于对照组,开机率、运行质量和维护保养满意度分别为(95.66±5.27)%、(90.18±5.18)%和(89.39±6.19)%,高于对照组,其差异有统计学意义(t=3.018,t=3.482,t=4.203,t=4.109;P<0.05);观察组器械维修时间、故障响应时间和管理费用增幅分别为(4.58±1.85)h、(2.57±1.10)h和(1.28±0.62)%,均高于对照组,其差异有统计学意义(t=4.983,t=3.498,t=3.101;P<0.05);观察组器械回收、包装、灭菌及无菌物品存放质量评分分别为(93.29±4.28)分、(94.18±3.19)分、(93.18±4.22)分和(95.14±3.37)分,均高于对照组,其差异有统计学意义(t=4.008,t=4.586,t=3.947,t=5.285;P<0.05);观察组器械回收、清洗、包装、消毒、灭菌、储存和运输供应质量合格率分别为96.45%(315/327)、97.22%(318/327)、98.19%(321/327)、95.49%(312/327)、100.0%(327/327)、99.69%(326/327)和98.96%(324/327),均高于对照组,其差异有统计学意义(χ^(2)=3.294,χ^(2)=3.925,χ^(2)=4.327,χ^(2)=3.198,χ^(2)=3.085,χ^(2)=3.048,χ^(2)=4.193;P<0.05)。结论:基于VDM的医疗器械管理决策模式在神经内科器械管理中应用,可进行维修活动效益评估,降低器械故障率和维修成本,提高各环节供应质量合格率,提升神经内科医疗器械临床服务水平。

基于半动态拓扑优化算法的地铁车辆高压供电电路过流故障同步诊断方法

地铁车辆处于复杂的运行环境中,高压供电电路很容易发生过流故障,为迅速辨识过流故障类型,设计了一种基于半动态拓扑优化算法的地铁车辆高压供电电路过流故障同步诊断方法。应用半动态拓扑优化算法,构建模态坐标空间内高压供电电路的电流微分运动模型。结合粒子群算法与优化VDM分解方法,提取模型的过流故障特征。基于BP神经网络与遗传算法构建过流故障同步诊断模型,实现高压供电电路过流故障的同步诊断。案例测试结果表明,该方法对于变压器过流故障、变流器过流故障以及弓网接触不良故障的诊断都比较准确,特别是对于变压器与变流器的过流故障诊断十分准确。

基于VDM的图像智能识别系统设计与实现

为实现进口产品故障情况的大数据分析与故障诊断,需要将测试卡纸转换为结构化的电子数据。基于视觉开发模块(VDM)的卡纸图像智能识别系统,经试验验证,能够将测试卡纸转换为结构化的电子数据,自动识别出产品编号、测试项目、误差等级、测试结果、测试日期等信息,识别准确率达到100%,还可根据测试卡纸识别结果自动给出故障处理提示,并将结构化的电子数据存入数据库,供大数据统计分析使用,有效提升了工厂进口产品故障的大数据分析与故障诊断能力,为进口产品的预防性维修提供了数据支撑。

空间单环RPSC机构的运动和奇异分析

单环机构又称单闭链机构,这类机构运动巧妙,在诸多领域有着广泛应用。另外,在工程实际中还常常在开链机构中加入局部闭链以改善动力学性能,增加结构刚度等。介绍一种能够实现垂直Darboux运动(Vertical Darboux motion,VDM)的空间单环RPSC机构,运用螺旋理论对其约束及运动性质进行分析。通过对锁住其驱动关节后的等价机构进行约束分析,确定了该机构的一类特殊驱动奇异,并借助相对直观的几何方法对RPSC机构中存在的这种奇异位形做进一步解释与说明。对机构中RPS分支的主要特点进行概括,并由特殊到一般地提出了一类具有相似特性的单环机构。

游荡性河段新型整治工程局部冲刷模型设计

根据黄河下游河道特性分析,统计了河湾平面、断面几何参数,确定了典型游荡型河弯;根据黄河下游洪水特性分析,确定了四种典型水流条件与槽滩分流比。为研究新型板桩潜坝导流功效与局部冲刷问题,进行了针对性的动床模型设计。分析确定了满足水流泥沙运动相似与河床变形相似的控制比尺,选择的模型沙及其粒径能够满足起动相似条件。模型设计采用了槽滩分流的进流控制模式、滩地加糙模式,同时采用VDMS流场实时监测系统进行流态与导流效果的观测,以便正确模拟研究河段特点及新型整治工程作用。

基于值差度量和聚类优化的K最近邻算法在银行客户行为预测中的应用

为提升贷款金融客户行为预测的准确性,针对传统的K-最近邻(K NN)算法在数据分析中处理非数值因素的不完备问题,提出了一种采用值差度量(VDM)距离的对聚类结果迭代优化的改进K NN算法。首先对收集到的数据信息进行基于VDM距离的K NN算法的聚类,再对聚类结果进行迭代分析,最后通过联合训练提高了预测精度。基于葡萄牙零售银行2008—2013年收集的客户数据比较可知,改进的K NN算法与传统的K NN算法、基于属性值相关距离的K NN改进(FCD-K NN)算法、高斯贝叶斯算法、Gradient Boosting等现有算法相比具有更好的性能和稳定性,在银行数据预测客户行为中具有很大的应用价值。