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

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

[发明专利]一种基于大型预训练语言模型的求解器缺陷检测方法-CN202310869091.1在审
发明人：杨已彪;孙茂林;许沂聪;卢红敏;周毓明 -专利权人：南京大学
申请日： 2023-07-14 - 公布日： 2023-10-24 - 主分类号： G06F11/36 文献下载
摘要：本发明提出了一种基于大型预训练语言模型的求解器缺陷检测方法。该方法主要包括以下步骤：首先，将求解器标准库中的公式和历史触发缺陷的公式进行数据扩增作为训练集；其次，基于训练集使用“重训练‑微调”框架对预训练大模型进行定制化训练，以生成求解器的测试输入；最后，使用训练得到的模型生成求解器测试用例，并使用差分测试对多个求解器进行验证。该方法解决了针对求解器缺陷检测中测试用例难以高效生成和多样性测试输入难以生成的关键挑战。本发明提出的“重训练‑微调”框架能够利用预训练大语言模型学习求解器标准库和历史缺陷用例中的知识，从而生成合法有效、揭错能力强的测试输入。本发明为求解器缺陷检测提供了全新的解决方案。
一种基于大型训练语言模型求解缺陷检测方法

[发明专利]一种历史缺陷用例赋能的SMT求解器缺陷检测方法-CN202310145904.2在审
发明人：孙茂林;杨已彪;周毓明 -专利权人：南京大学
申请日： 2023-02-21 - 公布日： 2023-05-30 - 主分类号： G06F11/36 文献下载
摘要：本发明提供了一种历史缺陷用例赋能的SMT求解器缺陷检测方法，主要步骤：1)从求解器的缺陷追踪系统中自动化收集历史缺陷用例；2)提取历史缺陷用例中逻辑公式的骨架结构(即公式中逻辑连接词构成的逻辑结构)以及原子公式；3)对所提取出的原子公式抽象化并进行关联规则学习；4)在关联规则的指导下使用原子公式对已提取出的骨架结构进行实例化，以得到可用于求解器测试的逻辑公式，对多个求解器进行差分测试。本发明解决了求解器缺陷检测中有效的测试输入难以生成的局限，基于历史缺陷用例构造新的揭错能力强的测试用例的方法为求解器缺陷检测提供了一套全新的解决方案。
一种历史缺陷用例赋能 smt 求解检测方法

[发明专利]一种基于长时执行测试程序过滤的编译器测试加速方法-CN202310042641.2在审
发明人：杨已彪;吴江昶;孙茂林;卢红敏;周毓明 -专利权人：南京大学
申请日： 2023-01-05 - 公布日： 2023-05-02 - 主分类号： G06F11/36 文献下载
摘要：本发明提供了一种基于长时执行测试程序过滤的编译器测试加速方法，主要包括下列步骤：1)对随机程序生成器生成的每一个测试程序进行插桩；2)给定短暂运行时间，对于没有在给定时间内运行结束的测试程序，获取测试程序运行时的覆盖信息；3)过滤覆盖信息超过设定阈值的测试程序。本发明提出将长时运行测试程序的检测问题转化为测试程序中超大循环或死循环的检测问题，在过滤掉潜在长时运行测试程序后，能够在有限的测试资源下执行更大量的测试程序，从而达到加速编译器测试过程的目的。
一种基于执行测试程序过滤编译器加速方法

[发明专利]一种基于不同调试级别交叉验证的调试器缺陷检测方法-CN202211161594.5在审
发明人：杨已彪;孙茂林;李清扬;卢红敏;周毓明 -专利权人：南京大学
申请日： 2022-09-22 - 公布日： 2022-12-13 - 主分类号： G06F11/36 文献下载
摘要：本发明提供了一种基于不同调试级别交叉验证的调试器缺陷检测方法，主要步骤：1)使用编译器将源码程序编译为可执行程序，可指定任意优化选项并启用调试选项；2)分别在源码级别和指令级别在调试器中单步调试运行可执行程序；3)跟踪和记录单步调试每前进一步时程序的状态，即动态调试信息；4)检查源码级单步调试和指令级单步调试记录的动态调试信息是否违反预定义的关系，若违反则视为调试器中的缺陷。本发明解决了调试器缺陷检测中无法检测单个调试器中的缺陷且误报率高的局限，基于不同调试级别交叉验证的方法为调试器缺陷检测提供了一套全新的解决方案。
一种基于不同调试级别交叉验证缺陷检测方法

[发明专利]一种基于调试信息支撑的代码覆盖器缺陷检测方法-CN202211161595.X在审
发明人：杨已彪;李清扬;王洋;孙茂林;卢红敏;周毓明 -专利权人：南京大学
申请日： 2022-09-22 - 公布日： 2022-12-02 - 主分类号： G06F11/36 文献下载
摘要：本发明提供了一种基于调试信息支撑的代码覆盖器缺陷检测方法，主要包括下列步骤：1)使用代码覆盖器为测试程序生成覆盖报告，获取代码覆盖信息；2)在调试器中单步调试运行程序，获取代码命中信息；3)在调试器中断点调试运行程序，获取代码命中信息；4)综合两种不同的调试策略下的命中计数，获得综合命中计数；5)比较代码覆盖信息和命中计数，检查是否违反预定义的异构蜕变关系；6)违反异构蜕变关系视为代码覆盖器中的缺陷。本发明利用调试信息对覆盖信息进行验证，解决了代码覆盖器测试中测试预言缺失的技术难题，且克服了现有方法的局限。该方法能有效检测覆盖器的缺陷，提高代码覆盖器质量。
一种基于调试信息支撑代码覆盖缺陷检测方法

[发明专利]一种基于缺陷预测的软件静态检查警告排序优化方法-CN201910400566.6在审
发明人：张旭;卢红敏;周毓明 -专利权人：南京大学
申请日： 2019-05-09 - 公布日： 2020-11-10 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种基于缺陷预测的软件静态检查警告排序优化方法。根据已知软件系统的源代码和开发过程信息，抽取软件系统的模块度量信息并对软件模块是否存在缺陷进行标注；根据软件模块度量和缺陷信息利用机器学习算法构建缺陷预测模型；对待分析的软件系统，获取它的模块度量信息、模块依赖信息和静态检查产生的警告信息；对待分析系统进行缺陷预测获得新系统各模块包含缺陷的概率；通过k‑core分解得到每个软件模块的核心度值；最后依据每一个静态检查警告所在的模块包含缺陷的概率和模块核心度值对警告进行排序，向开发者推荐最有可能与缺陷相关的警告，提升静态检查工具的实用性，帮助开发者尽快发现软件中包含的缺陷。
一种基于缺陷预测软件静态检查警告排序优化方法

[实用新型]一种洗碗机-CN201821743135.7有效
发明人： 周毓明;刘盼盼;毕雨;尚亚儒;赵凡 -专利权人：西安文理学院
申请日： 2018-10-25 - 公布日： 2020-04-07 - 主分类号： A47L15/24 文献下载
摘要：本实用新型公开了一种洗碗机，包括底板，所述底板上固定设置有第一环形导轨板和第二环形导轨板，所述第一环形导轨板和第二环形导轨板之间滑动连接有一个能够转动的旋转盘，所述底板上还固定设置有第一水池、第二水池、待洗板、收集板以及电机，所述电机的输出端设置有与所述旋转盘啮合的齿轮，所述旋转盘的上方还依次分别设置有初洗结构、水洗结构以及烘干结构，所述初洗结构与所述第一水池之间连接有第一水管与第一水泵，所述水洗结构与所述第二水池之间连接有有第二水管和第二水泵，本装置结构简单，大大降低了洗碗工的劳动强度。
一种洗碗机

[发明专利]一种基于对象分类和自适应子图匹配的API推荐方法-CN201711188298.3在审
发明人： 周毓明;贾倩倩 -专利权人：南京大学
申请日： 2017-11-21 - 公布日： 2019-05-28 - 主分类号： G06F8/33 文献下载
摘要：本发明提出一种基于对象分类和自适应子图匹配的API推荐方法，先将API方法使用模式串根据方法所属类划分，然后对每个类中的API使用模式串建立图库GDB。当需在位置L处推荐时，先从L的上文代码中抽取与待推荐方法属于同类的方法使用模式串，生成图SG，进行剪枝得到集合。对于集合中每个子图，先计算子图概率，继而使用子图在图库中搜索匹配得到候选方法及对应概率，将其与子图概率相结合可得到每个方法最终被调用概率。根据概率由高至低排序得到最终API方法推荐列表。实验证明在推荐准确性方面，显示本发明中提出的API推荐方法优于按字母排序的API推荐方法，也优于基于N‑Gram语言模型的API推荐方法。
概率对象分类方法使用模式串自适应图库匹配集合方法推荐使用模式搜索匹配语言模型字母排序剪枝调用排序抽取

[实用新型]一种实现立体停车的旋转式可扩展车库-CN201820412087.7有效
发明人：刘凌;周毓明;陈懿德;蒋清华;陈良;郭少雄;谢文卓;封罗 -专利权人：西安文理学院
申请日： 2018-03-26 - 公布日： 2018-10-26 - 主分类号： E04H6/16 文献下载
摘要：本实用新型公开了一种实现立体停车的旋转式可扩展车库，包括一对平行分布的圆盘形支撑框架，圆盘形支撑框架通过一个外部支撑框架支撑；在一对圆盘形支撑框架圆周环面上均布有若干横梁，在横梁上挂接有一停车平台，在横梁上设有红外扫描装置；在一对圆盘形支撑框架中心贯穿有一根主轴，主轴连接旋转升降装置；通过旋转升降装置连接到主控系统控制电机带动主轴旋转，进而带动圆盘形支撑框架旋转，车辆在旋转至底部的停车平台上进行停车和取车。该车库由机械设备进行自动存放，可以解决市区停车难的问题，有效增加城市空间，改善城市生态环境。
支撑框架圆盘形横梁车库旋转升降装置立体停车停车平台可扩展旋转式停车城市生态环境红外扫描装置本实用新型城市空间机械设备控制电机框架支撑平行分布外部支撑主控系统主轴连接主轴旋转圆周环挂接均布取车贯穿市区

[发明专利]一种旋转式可扩展车库-CN201810254791.9在审
发明人：刘凌;周毓明;陈懿德;蒋清华;陈良;郭少雄;谢文卓;封罗 -专利权人：西安文理学院
申请日： 2018-03-26 - 公布日： 2018-07-20 - 主分类号： E04H6/16 文献下载
摘要：本发明公开了一种旋转式可扩展车库，包括一对平行分布的圆盘形支撑框架，圆盘形支撑框架通过一个外部支撑框架支撑；在一对圆盘形支撑框架圆周环面上均布有若干横梁，在横梁上挂接有一停车平台，在横梁上设有红外扫描装置；在一对圆盘形支撑框架中心贯穿有一根主轴，主轴连接旋转升降装置；通过旋转升降装置连接到主控系统控制电机带动主轴旋转，进而带动圆盘形支撑框架旋转，车辆在旋转至底部的停车平台上进行停车和取车。该车库由机械设备进行自动存放，可以解决市区停车难的问题，有效增加城市空间，改善城市生态环境。
支撑框架圆盘形横梁车库旋转升降装置停车平台可扩展旋转式停车城市生态环境红外扫描装置城市空间机械设备控制电机框架支撑平行分布外部支撑主控系统主轴连接主轴旋转圆周环挂接均布取车贯穿市区

[发明专利]一种基于软件可靠性增长模型的测试工作量分配方法-CN201610977069.9在审
发明人： 周毓明;冯义洋;卢红敏;徐宝文 -专利权人：南京大学
申请日： 2016-11-04 - 公布日： 2018-05-11 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种基于软件可靠性增长模型的测试工作量分配方法，包括下列步骤：1)软件数据集的采集和处理；2)软件缺陷预测模型的构建；3)软件缺陷发现模型的构建；4)软件缺陷发现模型V0版本参数估计；5)软件缺陷发现模型V1版本参数估计；6)软件V1版本最优测试工作量分配。本发明是一种测试工作量分配方案，解决了目前如何在测试资源有限的情况下最大效益的测试出系统中缺陷的问题。该方案充分利用了先前软件版本的信息，来对当前版本的系统的测试工作量进行分配，从而最终可以发现最多数目的累积缺陷。
一种基于软件可靠性增长模型测试工作量分配方法

[发明专利]一种基于差压法的电空阀气密性检测系统-CN201710767710.0在审
发明人：韦炜;周毓明;陈宁;陈拯;黄一中;王春军;秦明明;鲁建平 -专利权人：西安文理学院
申请日： 2017-08-31 - 公布日： 2018-01-05 - 主分类号： G01M3/28 文献下载
摘要：本发明公开了一种基于差压法的电空阀气密性检测系统，包括电空阀检测夹具单元、检测气动回路单元和系统控制电路单元；所述检测气动回路单元连接电空阀检测夹具单元；所述系统控制电路单元连接检测气动回路单元。本发明的系统以MSP430为控制核心，将电空阀气密性检测的结果实时显示出来，改善了传统检测方法受主观因素影响的缺点，使电空阀气密性检测的自动化程度大大提高，具有功耗低、检测快、精度高、系统稳定等特点。
一种基于差压法电空阀气密性检测系统

[发明专利]一种工作量感知的bug定位技术有效性评价方法-CN201610098327.6在审
发明人： 周毓明;赵斐;杨已彪;卢红敏;徐宝文 -专利权人：南京大学
申请日： 2016-02-22 - 公布日： 2016-07-20 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种工作量感知的bug定位技术有效性评价方法，包括下列步骤：1)软件bug报告信息的收集；2)源代码文件工作量的收集；3)源代码文件序列的生成；4)评价指标的计算；5)bug定位技术的分析与评价。本发明解决了目前存在的bug定位技术有效性评价方法中没有考虑开发人员审查工作量的问题，更能体现一个bug定位技术在使用过程中是否可以减轻开发人员的工作量，是否具有实用价值，从而使得评价结果更加全面和可信。
一种工作量感知 bug 定位技术有效性评价方法

[发明专利]一种基于混和效应移除的即时缺陷预测方法-CN201510755374.9在审
发明人：卢红敏;杨已彪;刘金平;赵泱泱;周毓明;徐宝文 -专利权人：南京大学
申请日： 2015-11-05 - 公布日： 2016-02-03 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种基于混和效应移除的即时缺陷预测方法，包括下列步骤：1)软件变更度量的收集；2)移除变更度量与变更量度量的混和效应；3)建立无监督即时缺陷预测模型；4)提交变更序列给开发人员进行审查。本发明解决了目前传统即时缺陷预测方法存在的收集数据难度大、预测能力不足的问题，不仅可以简单有效的建立即时缺陷预测模型，同时还能大幅节约审查成本，从而充分利用有限的资源，更好的控制和提高软件产品质量。
一种基于混和效应即时缺陷预测方法

[实用新型]一种黑板粉尘自动收集装置-CN201320189167.8有效
发明人：韦炜;周毓明;王春军;郭东;郭少博 -专利权人：西安文理学院
申请日： 2013-04-15 - 公布日： 2013-09-04 - 主分类号： B43L21/02 文献下载
摘要：本实用新型公开了一种黑板粉尘自动收集装置，包括设置在黑板下方的箱体，所述箱体上面板设置有用于粉尘通过的通孔，所述上面板下方固定有至少两个风扇，所述风扇下方安设有导尘板，所述导尘板的一端设置有粉尘收集盒。本装置上体结构由静音风扇，支承架和风向板三部分组成。静音风扇向下吹风形成风帘。支承架支承静音风扇和风向板。风向板使粉尘紧贴黑板向下运动。下体结构包括吸尘装置、导风板、导尘板、粉尘收集盒、上面板和箱体。箱体用于固定所有下体结构部件和放置控制系统中的光电开关和电路板。装置只需安装在黑板的上下墙体上，不用改造黑板，简单方便，节省成本。
一种黑板粉尘自动收集装置

1
2
下一页»
尾页
共 24 条