“陈祥献”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果58个，建议您升级VIP下载更多相关专利

[发明专利]一种程序路径的层次化匹配方法、装置、设备及存储介质-CN202310175155.8有效
发明人：郭中豪;陈祥献;许馨月;王志豪;陈思农 -专利权人：浙江大学
申请日： 2023-02-28 - 公布日： 2023-10-10 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种程序路径的层次化匹配方法、装置、设备及存储介质。本发明的方法首先对被测程序进行静态分析，创建并遍历控制流程图，搜索出所有路径。其次分割路径为最小子路径，并放入最小子路径库，组合子路径，建立循环节点库。然后得出循环产生式，以表示循环节点，建立路径标准库。最后搜集执行路径进行路径匹配与结果分析。本发明的装置包括静态分析模块、搜索路径模块、建立库模块与路径匹配分析模块。本发明的设备包括存储器、处理器及存储在存储器上并在处理器上运行的计算机程序。本发明满足了不同强度下的覆盖要求，并且在标准路径中表示循环次数不确定的情况，同时支持不确定次数的执行路径与路径标准库中的路径进行匹配。
一种程序路径层次匹配方法装置设备存储介质

[发明专利]一种基于程序路径相似度的测试用例复用方法-CN202310594817.5在审
发明人： 陈祥献;陈思农;吴建林;于金玲 -专利权人：杭州金衡昇科技有限公司
申请日： 2023-05-23 - 公布日： 2023-08-22 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于程序路径相似度的测试用例复用方法。现有的测试用例复用方法，忽略了程序测试数据与程序结构之间的关联绑定关系；本发明通过控制流静态分析和路径相似度计算，更好地体现程序的控制流信息的传递过程和新旧程序的异同之处，以及结合动态程序执行覆盖信息，保障了数据的准确度，将测试用例与源程序路径有机结合；同时，结合Z3约束求解器的使用自动生成更完善的测试用例，也进一步提高了发明的实用性。另外采用本发明可以在程序源代码变更不多的情况下，根据新版本代码与旧版本代码之间的高相似度，复用先前版本代码的测试用例集。通过控制流分析程序路径以及计算程序路径的相似性，比较精确地复用对应旧路径的测试用例。
一种基于程序路径相似测试用例复用方法

[发明专利]一种基于插桩和符号执行的高覆盖率测试数据生成方法-CN202310516469.X在审
发明人： 陈祥献;王志豪;吴建林;于金玲 -专利权人：杭州金衡昇科技有限公司
申请日： 2023-05-09 - 公布日： 2023-08-04 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于插桩和符号执行的高覆盖率测试数据生成方法，首先通过分析待抽象语法树，对待测程序源代码提取输入变量信息，生成驱动函数代码，并调用待测函数。其次通过符号执行生成测试数据，并通过分析待测程序的抽象语法树，提取的各判定表达式信息以及条件表达式信息，计算各判定表达式的真值表。然后根据各判定表达式相关信息以及真值表，自动修改待测程序代码，提取程序运行时的路径信息，并通过断言函数进行路径匹配，生成满足条件组合覆盖的测试数据。最后通过测试数据选择算法，得到完整的测试数据。本发明生成的测试数据覆盖率更高，并且测试数据规模更小。
一种基于符号执行覆盖率测试数据生成方法

[发明专利]一种可列车自主控制的智能转辙机-CN202010363470.X有效
发明人：刘丹丹;陈祥献;凌祝军;周在福;俞敏;陈森炎;郭建祥;马勇剑 -专利权人：浙江众合科技股份有限公司
申请日： 2020-04-30 - 公布日： 2023-03-28 - 主分类号： B61L5/06 文献下载
摘要：本发明公开了一种可列车自主控制的智能转辙机，包括转辙机驱动装置、转辙机位置表示装置以及核心处理板，转辙机驱动装置包括电机、传动机构、动作杆，电机通过传动机构驱动动作杆，动作杆带动道岔尖轨动作，核心处理板控制电机动作，转辙机位置表示装置包括表示杆和表示杆监测传感器，表示杆随着道岔尖轨的动作进行移动，表示杆监测传感器用于监测表示杆位置以监测道岔尖轨当前位置；核心处理板设有接收车载控制器下发的道岔正位和反位控制命令的无线通讯模块。本发明可实现列车自主控制转辙机，转辙机的位置表示采用随着道岔尖轨进行移动的表示杆以及监测表示杆的表示杆监测传感器，代替现有自动开闭器机构，简化了结构。
一种列车自主控制智能转辙机

[发明专利]一种基于多方法融合的软件bug定位方法-CN202211365276.0有效
发明人： 陈祥献;郭中豪;吴建林;于金玲 -专利权人：杭州金衡和信息科技有限公司
申请日： 2022-11-03 - 公布日： 2023-02-07 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于多方法融合的软件bug定位方法。本发明首先整理程序相关信息并对源码进行静态分析，再执行测试用例，对源码进行动态分析，之后用切片法、频谱法、结合切片法和频谱法、栈跟踪定位bug。其次收集bug定位数据，构建特征向量，采用排序学习算法结合前文信息对bug定位。最后将bug报告、历史修改记录与bug源码向量化，进行向量相似度比对，定位bug所在源码文件。本发明将多种文件级别的粗粒度bug定位方法与语句级别的细粒度bug定位方法相结合，让bug定位方法的有效范围更广泛，并且得到更高精度的bug定位效果。
一种基于多方融合软件 bug 定位方法

[发明专利]一种基于变量分离的软件bug定位方法及装置-CN202210411172.2有效
发明人： 陈祥献;吴建林;于金玲 -专利权人：杭州金衡和信息科技有限公司
申请日： 2022-04-19 - 公布日： 2022-12-06 - 主分类号： G06F11/36 文献下载
摘要：本发明公开一种基于变量分离的软件bug定位方法，包括对待测程序进行AST分析得到待测程序的控制流程图，通过当前节点和前驱节点的连接，以及当前节点与后继节点的连接构建了数据流节点关联图；利用测试用例测试插装程序覆盖信息的待测程序，基于测试结果筛选得到失败测试结果测试变量及程序覆盖信息，从数据流节点关联图和控制流程图中提取静态程序切片，基于失败测试结果的测试变量、第三程序覆盖信息和静态程序切片构建每个测试变量的动态程序切片；将动态程序切片代入VSDstar公式中得到待测程序的每个测试变量bug怀疑度。该方法能够精准、纯粹的定位bug。本发明还提供了一种基于变量分离的软件bug定位装置。
一种基于变量分离软件 bug 定位方法装置

[发明专利]一种改进的局部二值化方法-CN202011180976.3有效
发明人： 陈祥献;耿晨歌;盛再超;汤卓翰 -专利权人：杭州金衡和信息科技有限公司
申请日： 2020-10-29 - 公布日： 2022-07-12 - 主分类号： G06T5/00 文献下载
摘要：本发明公开了一种改进的局部二值化方法，包括如下步骤：将输入图片转换成灰度图，并对灰度图中各像素点的灰度值进行计算；统计灰度直方图中出现的峰以及峰对应的灰度颜色；将灰度颜色还原成RGB三通道颜色，并合并相近的颜色；统计每一个颜色在图片中像素点的个数，计算占比，并进行排序，输出最后的颜色字典及占比；在步骤(5)的颜色字典中选取颜色占比最大的若干组颜色；获取输入图片的原始设计模板图片，判断每一个颜色是否对应模板图片中的前景色或背景色；将前景色、背景色所对应的颜色替换为二值化图中的白色和黑色。本发明能有效提高在复杂颜色背景的图片中正确分离前景与背景的能力。
一种改进局部二值化方法

[实用新型]支持与列车通信和实现列车自主控制的转辙机-CN202020702954.8有效
发明人：刘丹丹;陈祥献;凌祝军;周在福;俞敏;陈森炎;郭建祥;马勇剑 -专利权人：浙江众合科技股份有限公司
申请日： 2020-04-30 - 公布日： 2021-04-09 - 主分类号： B61L5/06 文献下载
摘要：本实用新型公开了一种支持与列车通信和实现列车自主控制的转辙机，包括转辙机驱动装置、转辙机位置表示装置以及核心处理板，转辙机驱动装置包括电机、传动机构、动作杆，电机通过传动机构驱动动作杆，动作杆带动道岔尖轨动作，核心处理板控制电机动作，转辙机位置表示装置包括表示杆和表示杆监测传感器，表示杆随着道岔尖轨的动作进行移动，表示杆监测传感器用于监测表示杆位置以监测道岔尖轨当前位置；核心处理板设有接收车载控制器下发的道岔正位和反位控制命令的无线通讯模块。本实用新型可实现列车自主控制转辙机，转辙机的位置表示采用随着道岔尖轨进行移动的表示杆以及监测表示杆的表示杆监测传感器，代替现有自动开闭器机构，简化了结构。
支持列车通信实现自主控制转辙机

[实用新型]转辙机位置表示装置及智能转辙机-CN202020704902.4有效
发明人：刘丹丹;陈祥献;凌祝军 -专利权人：浙江大学;浙江众合科技股份有限公司
申请日： 2020-04-30 - 公布日： 2021-04-09 - 主分类号： B61L5/06 文献下载
摘要：本实用新型公开了一种转辙机位置表示装置及智能转辙机，该转辙机由电机驱动动作杆，动作杆带动道岔尖轨进行动作，所述转辙机位置表示装置包括：表示杆，所述表示杆随着道岔尖轨的动作进行移动；表示杆监测传感器，所述表示杆监测传感器用于监测表示杆位置以监测道岔尖轨当前位置。本实用新型针对目前转辙机的自动开闭器机构存在的缺陷，转辙机的位置表示采用随着道岔尖轨进行移动的表示杆以及监测表示杆的表示杆监测传感器，代替现有自动开闭器机构，简化了结构，可以根据电机驱动力矩及表示杆位置信息自适应调节密贴表示，减少人工维护。
转辙机位置表示装置智能

[发明专利]冗余配置的转辙机尖轨位置监测系统及转辙机-CN202010363456.X在审
发明人：刘丹丹;陈祥献;凌祝军 -专利权人：浙江大学;浙江众合科技股份有限公司
申请日： 2020-04-30 - 公布日： 2020-09-11 - 主分类号： B61L5/10 文献下载
摘要：本发明公开了一种冗余配置的转辙机尖轨位置监测系统及转辙机，该转辙机由电机驱动动作杆，动作杆带动道岔尖轨进行动作，所述转辙机位置表示装置包括：表示杆，所述表示杆随着道岔尖轨的动作进行移动；表示杆监测传感器，所述表示杆监测传感器用于监测表示杆位置以监测道岔尖轨当前位置。本发明针对目前转辙机的自动开闭器机构存在的缺陷，转辙机的位置表示采用随着道岔尖轨进行移动的表示杆以及监测表示杆的表示杆监测传感器，代替现有自动开闭器机构，简化了结构，可以根据电机驱动力矩及表示杆位置信息自适应调节密贴表示，减少人工维护。
冗余配置转辙机位置监测系统

[发明专利]一种基于图像识别的物料匹配方法-CN201710962125.6有效
发明人： 陈祥献;刘丹丹;郭艳梅;袁佳希;阳涛 -专利权人：浙江大学
申请日： 2017-10-16 - 公布日： 2020-09-08 - 主分类号： G06K9/62 文献下载
摘要：本发明公开了一种基于图像识别的物料匹配方法，包括以下步骤：A)对物料图像进行二值化处理，识别物料图像的外形边框，确定物料的实际大小；B)对零件图像进行二值化处理，并将零件图像和物料图像的缩放比例调整一致；C)建立模版图像，将模版图像和物料图像进行相乘求和得到对比值DMAX，将模版图像和零件图像进行相乘求和得到对比值CMAX；D)当DMAX大于等于CMAX，则相应物料和相应的零件匹配，否则不匹配。本发明的物料匹配方法将物料图像和零件图像先进行处理实现同比例缩放，然后将二者和同一模版图像进行相乘求和，根据求和结果判断物料图像和零件图像是否匹配，实现了物料图像和零件图像的自动匹配。
一种基于图像识别物料匹配方法

[发明专利]可自动调整姿态的地铁无人驾驶控制台-CN201810801161.9有效
发明人：刘丹丹;凌祝军;陈祥献;聂振鹏;周在福 -专利权人：浙江众合科技股份有限公司;浙江大学
申请日： 2017-06-22 - 公布日： 2020-03-03 - 主分类号： B61C17/04 文献下载
摘要：本发明公开了一种可自动调整姿态的地铁无人驾驶控制台，包括操控运动模块，所述操控运动模块的上方设有盖板，所述盖板包括固定有盖板转轴的盖板主体，在左柜体、右柜体的内侧的安装立柱上设有第一直线电机和直线滑轨，所述直线滑轨上设有伺服电机安装支架，所述第一直线电机用于驱动伺服电机安装支架沿直线滑轨升降，所述伺服电机安装支架上安装有驱动盖板转轴转动的伺服电机，所述操控运动模块的下方设有升降台、驱动升降台升降的直线升降电机，所述升降台上设有驱动操控运动模块转动的第二直线电机。本发明可以自动将驾驶台操作按钮/手柄等隐藏，便于乘客坐在车头/车尾位置进行观光。
自动调整姿态地铁无人驾驶控制台

[实用新型]隔离器集菌操作传输系统-CN201920212290.4有效
发明人： 陈祥献;刘丹丹;黄海;宋荣军;陈峰;刘维波 -专利权人：浙江大学
申请日： 2019-02-19 - 公布日： 2019-11-19 - 主分类号： B65G43/00 文献下载
摘要：本实用新型涉及自动传输系统，公开了一种隔离器集菌操作传输系统，包括：灭菌传输单元，设置在灭菌舱内，用于将托盘传输至操作舱，具有控制托盘在灭菌舱内的停留的灭菌阻挡器；操作传输单元，设置在操作舱内，用于将托盘传输至出料舱，具有控制托盘在操作舱内的停留的操作阻挡器，还具有对托盘进行精准定位的精准定位器；出料传输单元，设置在出料舱内，用于出料，具有控制托盘在出料舱内的停留的出料阻挡器；控制单元，发出指令控制灭菌传输单元、操作传输单元和出料传输单元的运行；灭菌传输单元、操作传输单元和出料传输单元依次间隙对接，采用倍速链牵引。本实用新型的隔离器集菌操作传输系统可以实现隔离器各个舱体之间的跨舱顺利传输。
出料托盘传输单元操作传输灭菌操作舱隔离器阻挡器本实用新型灭菌舱传输停留自动传输系统发出指令精准定位倍速链定位器舱体牵引

[发明专利]隔离器集菌操作传输系统-CN201910121369.0在审
发明人： 陈祥献;刘丹丹;黄海;宋荣军;陈峰;刘维波 -专利权人：浙江大学
申请日： 2019-02-19 - 公布日： 2019-05-24 - 主分类号： B65G43/00 文献下载
摘要：本发明涉及自动传输系统，公开了一种隔离器集菌操作传输系统，包括：灭菌传输单元，设置在灭菌舱内，用于将托盘传输至操作舱，具有控制托盘在灭菌舱内的停留的灭菌阻挡器；操作传输单元，设置在操作舱内，用于将托盘传输至出料舱，具有控制托盘在操作舱内的停留的操作阻挡器，还具有对托盘进行精准定位的精准定位器；出料传输单元，设置在出料舱内，用于出料，具有控制托盘在出料舱内的停留的出料阻挡器；控制单元，发出指令控制灭菌传输单元、操作传输单元和出料传输单元的运行；灭菌传输单元、操作传输单元和出料传输单元依次间隙对接，采用倍速链牵引。本发明的隔离器集菌操作传输系统可以实现隔离器各个舱体之间的跨舱顺利传输。
出料托盘操作传输传输单元隔离器灭菌操作舱阻挡器灭菌舱传输停留自动传输系统发出指令精准定位倍速链定位器舱体牵引

[发明专利]一种可自动调整姿态的地铁无人驾驶台-CN201710479867.3有效
发明人：刘丹丹;凌祝军;陈祥献;聂振鹏;周在福 -专利权人：浙江众合科技股份有限公司;浙江大学
申请日： 2017-06-22 - 公布日： 2019-02-05 - 主分类号： B61C17/04 文献下载
摘要：本发明公开了一种可自动调整姿态的地铁无人驾驶台，包括操控运动模块，所述操控运动模块的上方设有盖板，所述盖板包括固定有盖板转轴的盖板主体，在左柜体、右柜体的内侧的安装立柱上设有第一直线电机和直线滑轨，所述直线滑轨上设有伺服电机安装支架，所述第一直线电机用于驱动伺服电机安装支架沿直线滑轨升降，所述伺服电机安装支架上安装有驱动盖板转轴转动的伺服电机，所述操控运动模块的下方设有升降台、驱动升降台升降的直线升降电机，所述升降台上设有驱动操控运动模块转动的第二直线电机。本发明可以自动将驾驶台操作按钮/手柄等隐藏，便于乘客坐在车头/车尾位置进行观光。
一种自动调整姿态地铁无人驾驶

1
2
3
4
下一页»
尾页
共 58 条