-
公开(公告)号：CN101782426A
公开(公告)日：2010-07-21
申请号：CN201010104737.X
申请日：2010-01-29
申请人： 浙江大学
IPC分类号： G01H11/06
摘要： 本发明公开了一种电力变压器绕组松动故障振动检测方法，本方法以大型电力变压器绕组为监测对象，采集电力变压器绕组的原始振动信号并作归一化处理，通过计算振动信号的傅里叶频谱、峰度值、6个时间尺度采样熵的和、二阶采样熵对绕组的特殊振动状态、轻度松动、中度松动和严重松动做出判断。本发明采用对绕组机械结构变化敏感的振动信号进行分析实现对绕组不同程度的松动情况进行检测，尤其对发生轻度松动的情况也能做出很好的检测。
-
公开(公告)号：CN118012767B
公开(公告)日：2024-09-10
申请号：CN202410215761.2
申请日：2024-02-27
申请人： 浙江大学
IPC分类号： G06F11/36
摘要： 本发明公开了一种面向多覆盖率用例生成与多方法融合的软件bug定位方法。针对单元测试，本发明利用插桩方法与符号执行工具KLEE，首先提取代码的判定表达式、条件表达式，利用代码插桩与断言生成驱动函数，然后将转换后的代码输入到符号执行引擎内，生成并选择符合多种覆盖率的测试用例，形成一个满足多覆盖率的测试用例集；而后，将测试用例集中的测试用例作为输入，执行待测函数，结合静态分析与动态分析，收集多种自动bug定位方法的bug定位结果，包括程序切片法、程序谱法、覆盖元素切换法，然后利用排序学习算法LambdaMART对收集到各类方法的怀疑度分数进行整合，获得更准确的自动bug定位结果。
-
公开(公告)号：CN117851254B
公开(公告)日：2024-07-26
申请号：CN202410031065.6
申请日：2024-01-09
申请人： 浙江大学
IPC分类号： G06F11/36
摘要： 本发明公开了一种基于符号执行和路径数缩减的MC/DC覆盖用例生成方法。本发明首先解析待测程序的源代码，收集每个需要覆盖的判定表达式以及判定表达式中的各个条件；其次对源代码插桩，修改判定语句的源代码，使得程序在执行过程中能够记录MC/DC覆盖率信息，且执行逻辑保持不变；然后对程序运行静态分析，根据程序控制流图，获得程序各个基本块的可达判定集合；最后对插桩后的程序进行符号执行，根据覆盖率信息和静态分析结果，对符号执行的路径进行合并和剪枝。本发明通过对程序插桩，结合静态程序分析与动态路径合并的方法，在符号执行过程中，通过路径合并与剪枝，缩减路径数量，旨在提高测试用例生成速度，精简测试用例的规模。
-
公开(公告)号：CN117520191A
公开(公告)日：2024-02-06
申请号：CN202311590080.6
申请日：2023-11-27
申请人： 浙江大学
IPC分类号： G06F11/36
摘要： 本发明公开了一种基于程序路径的测试完备性检查方法、设备及存储介质。本发明利用结构化的程序路径信息可以形象地来描述实验室阶段或现实环境中未曾测试或始料未及的测试场景组合。通过统计未覆盖路径集合，定量化的给出了测试结果的反馈，并且可以很好的帮助测试设计人员或开发人员针对这些未曾覆盖的测试路径进行补足测试，从而更好地提高程序的鲁棒性。并且，在不更改程序源代码的情况下，实现了桩点信息输出的自动插桩处理。
-
公开(公告)号：CN117218627A
公开(公告)日：2023-12-12
申请号：CN202311191891.9
申请日：2023-09-15
申请人： 浙江大学
IPC分类号： G06V20/58 , G06V10/764 , G06V10/42 , G06V10/82 , G06N3/0464 , G06N3/08
摘要： 本发明公开了一种基于标准化流的地铁障碍物检测方法和装置，属于轨道交通领域，包括以下步骤：实时采集地铁轨面图像作为待检测图，根据待检测图提取安全限界；在安全限界内，通过基于标准化流的网络，提取待检测图的像素级特征的概率密度；预采集地铁轨面图像用于获取检测阈值，通过概率密度与检测阈值的比较得到障碍物像素点；采用基于YOLO的目标检测网络排除误检，得到最终的障碍物检测结果，根据误检结果对常见地铁设施的类别进行输出。本发明具有无监督学习特性，与图像的像素级特征结合以提升障碍物检测的准确性，通过基于YOLO的目标检测网络对检测结果修正，进一步提升了准确性，同时输出常见地铁设施的类别。
-
公开(公告)号：CN107871137A
公开(公告)日：2018-04-03
申请号：CN201710962125.6
申请日：2017-10-16
申请人： 浙江大学
IPC分类号： G06K9/62
摘要： 本发明公开了一种基于图像识别的物料匹配方法，包括以下步骤：A)对物料图像进行二值化处理，识别物料图像的外形边框，确定物料的实际大小；B)对零件图像进行二值化处理，并将零件图像和物料图像的缩放比例调整一致；C)建立模版图像，将模版图像和物料图像进行相乘求和得到对比值DMAX，将模版图像和零件图像进行相乘求和得到对比值CMAX；D)当DMAX大于等于CMAX，则相应物料和相应的零件匹配，否则不匹配。本发明的物料匹配方法将物料图像和零件图像先进行处理实现同比例缩放，然后将二者和同一模版图像进行相乘求和，根据求和结果判断物料图像和零件图像是否匹配，实现了物料图像和零件图像的自动匹配。
-
公开(公告)号：CN102890451B
公开(公告)日：2014-11-05
申请号：CN201210374760.X
申请日：2012-09-29
申请人： 浙江大学
IPC分类号： G05B17/02
摘要： 本发明公开了一种用于车载控制器测试的半实物仿真平台，包括：传感器运行系统、车载控制器、软件仿真列车系统以及供电系统；传感器运行系统包括：旋转支架；驱动旋转支架转动的驱动电机；固定在旋转支架上的加速度传感器和多普勒雷达；信号机查询器；速度传感器，用于测定旋转支架的速度；所述速度传感器、加速度传感器、多普勒雷达以及信号机查询器均为轨道列车中实际使用的型号。本发明采用真实的轨道列车传感器，并通过将速度传感器、加速度传感器、多普勒雷达以及信号机天线设置在旋转支架不同的位置，使这些传感器按照其真实的工作原理运行，为车载控制器提供真实的传感器输入与输出，从而为车载控制器提供一个与真实运行环境极为仿真环境。
-
公开(公告)号：CN102306116B
公开(公告)日：2013-09-11
申请号：CN201110188783.7
申请日：2011-07-06
申请人： 浙江大学
IPC分类号： G06F11/16
摘要： 本发明公开了一种静态方式下三取二安全输出的表决结构，包括两个二极管和四个可控开关；可控开关两两串联后并联，利用三组静态控制信号分别控制三个可控开关，并利用其中两组静态控制信号或逻辑运算后控制另一个可控开关，实现了静态方式下三取二安全输出。本发明通过合理的串并联结构设计，简化的电路结构，进一步提升了结构的可靠性和安全性，成本较低。本发明还公开了该表决结构的表决方法，满足了故障-安全计算机系统对输出的可靠性和安全性要求的同时，使得整个结构工作起来更加简单高效。
-
公开(公告)号：CN102519581B
公开(公告)日：2013-07-24
申请号：CN201110432447.2
申请日：2011-12-21
申请人： 浙江大学
IPC分类号： G01H17/00
摘要： 本发明公开了一种电力变压器振动信号的分离方法，包括：(1)同步采样负载和空载下的电压信号和振动信号；(2)通过电压对准后对负载和空载下的振动信号进行分帧；(3)对负载振动与空载振动进行频域分离，得到绕组振动信号。本发明通过采用电压对准与分帧方法在分离前对振动信号进行预处理，进而利用平均谱减法在负载状态下将绕组振动信号有效地提取出来，实现了绕组振动与铁芯振动的分离，进而大大提升了振动分析的灵敏性和有效性。
-
公开(公告)号：CN102890451A
公开(公告)日：2013-01-23
申请号：CN201210374760.X
申请日：2012-09-29
申请人： 浙江大学
IPC分类号： G05B17/02
摘要： 本发明公开了一种用于车载控制器测试的半实物仿真平台，包括：传感器运行系统、车载控制器、软件仿真列车系统以及供电系统；传感器运行系统包括：旋转支架；驱动旋转支架转动的驱动电机；固定在旋转支架上的加速度传感器和多普勒雷达；信号机查询器；速度传感器，用于测定旋转支架的速度；所述速度传感器、加速度传感器、多普勒雷达以及信号机查询器均为轨道列车中实际使用的型号。本发明采用真实的轨道列车传感器，并通过将速度传感器、加速度传感器、多普勒雷达以及信号机天线设置在旋转支架不同的位置，使这些传感器按照其真实的工作原理运行，为车载控制器提供真实的传感器输入与输出，从而为车载控制器提供一个与真实运行环境极为仿真环境。
-
-
-
-
-
-
-
-
-
搜索结果
55 条记录 (耗时 0.035 秒)
