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

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

[发明专利]一种面向软件静态分析的循环代码处理方法和装置-CN202310691699.X有效
发明人： 曾福萍;王泽宇;孙璐;杨顺昆 -专利权人：北京航空航天大学
申请日： 2023-06-13 - 公布日： 2023-09-08 - 主分类号： G06F11/36 文献下载
摘要：本发明属于软件代码检测与分析技术领域，公开了一种面向软件静态分析的循环代码处理方法和装置。通过开展相关数学知识库构建、可精确处理循环代码类型库建立完成处理前的准备工作，为后续处理实施环节奠定基础。针对被分析循环代码，首先构建循环代码模型，为精确处理提供代码信息支持；然后针对循环变量，构建其对应的函数关系；其次基于循环代码模型信息，判断被分析循环代码是否可精确求解类型；之后依据建立的循环出口方程和循环变量初值求解最大循环次数和循环变量值；最后针对被分析循环代码建立等价仿真节点，为循环代码的静态分析提供支持。本发明能够提高循环代码静态分析的正确性，为可工程化循环代码精确处理提供工具手段。
一种面向软件静态分析循环代码处理方法装置

[发明专利]一种基于小波变换与深度神经网络的装备故障诊断系统-CN202211656320.3在审
发明人：黄雨昕;苟晓彤;曾福萍;惠俊鹏;俞启东;雷建长;刘佳琪;马梦颖;刘芳;刘兴高 -专利权人：浙江大学
申请日： 2022-12-22 - 公布日： 2023-08-18 - 主分类号： G06F18/2131 文献下载
摘要：本发明公开了一种基于小波变换与深度神经网络的装备系统故障诊断系统，用于对装备系统进行状态检测以及故障检测，该系统包括装备系统、状态监测仪表、数据采集板卡、数据库、数据预处理模块、特征压缩编码模块、自主学习模块、控制站以及故障显示控制模块。本发明所涉及的基于小波变换与深度神经网络的装备系统故障诊断系统，采用所述的设备实现装备系统的状态检测以及故障检测。本发明克服已有的装备系统故障状态诊断精度不高的不足，利用小波变换将故障时域信号转化为频域信号，并使用深度神经网络进行特征提取与故障诊断，提高了装备系统故障状态诊断的精度。
一种基于变换深度神经网络装备故障诊断系统

[发明专利]基于因果校正和全空间建模的跨工况控制装备故障检测系统-CN202211656310.X在审
发明人：王浩;曾福萍;苟晓彤;韦文书;惠俊鹏;张文宇;张逸然;俞启东;王文海;马梦颖;许元男;刘兴高 -专利权人：浙江大学
申请日： 2022-12-22 - 公布日： 2023-05-05 - 主分类号： G05B23/02 文献下载
摘要：本发明公开一种基于因果校正和全空间建模的跨工况控制装备故障检测系统。该系统包括控制装备检测仪表、控制装备故障数据库、数据处理模块、全空间故障建模模块、因果校正模块、控制装备故障显控模块。其中，全空间建模模块以及因果校正模块分别解决传统方法存在的数据稀疏和样本选择偏差问题，旨在对多工况下故障概率实现无偏估计。
基于因果校正空间建模工况控制装备故障检测系统

[发明专利]一种软件代码不可达路径自动检测的方法和装置-CN202210888454.1有效
发明人： 曾福萍;马依然;杨顺昆 -专利权人：北京航空航天大学
申请日： 2022-07-27 - 公布日： 2023-03-17 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种软件代码不可达路径自动检测的方法和装置，包括开展软件代码不可达路径类型的识别和分析；基于词法语法语义分析进行代码解析，提取代码元数据，生成函数调用关系图和控制流图；针对跳转不可达路径，开展基于控制流的不可达路径自动检测；针对控制不可达路径，开展基于函数调用的不可达路径自动检测；针对静态约束不可达，开展基于符号执行和约束求解的不可达路径自动检测；针对运行态约束不可达，开展基于动态仿真的不可达路径自动检测；保存检测结果；如检测到相匹配的不可达路径，则记录到结果文件中。本发明为更全面检测不可达路径和降低检测漏报误报率提供了方法指导，也为不可达路径自动检测提供工具手段。
一种软件代码不可路径自动检测方法装置

[发明专利]提取代码循环计数器的方法、装置、存储介质和电子设备-CN202211082432.2在审
发明人： 曾福萍;马依然;孙璐;王泽宇;杨顺昆 -专利权人：北京航空航天大学
申请日： 2022-09-06 - 公布日： 2022-12-06 - 主分类号： G06F21/56 文献下载
摘要：本发明涉及一种提取代码循环计数器的方法、装置、存储介质和电子设备，属于安全检测技术领域。本发明的方法，步骤如下：解析被分析代码；生成控制流图并获取循环代码结构；获取循环代码结构中的定值数据集合；基于定值数据集合获取标量定值数据集合；获取潜在单调标量定值数据集合；获取单调标量定值数据集合；获取循环定义出口；获取循环跳出语句出口；基于循环出口集合及单调标量定值数据集合获取循环计数器。通过上述步骤，可以完成循环计数器的提取。本发明能够准确且完备的获取循环计数器集合，为进行循环代码结构本身相关缺陷检查提供支持，也使对带有循环结构的代码的完全路径遍历成为可能，提高了检测的效率和准确性。
提取代码循环计数器方法装置存储介质电子设备

[发明专利]一种基于复杂网络的流行病防控资源配置优化方法-CN202210691315.X在审
发明人：路丹;林欧雅;曾福萍;杨顺昆 -专利权人：北京航空航天大学
申请日： 2022-06-17 - 公布日： 2022-09-09 - 主分类号： G16H40/20 文献下载
摘要：本发明公开了一种基于复杂网络的流行病防控资源配置优化方法，包括：从在线社交平台中获取大数据，衡量参与者对流行病及相应防控措施的态度和意见；设计和执行具体的决策实验，测量参与者对不同类型的激励和信息的反馈；对实验结果和数据进行分析，提取不同研究场景中的个人行为规则，构建新一代的基于Agent的流行病传播模型；基于深度学习进行多层社区分析，在多层框架上实现准确的社区发现；结合社区发现进行影响最大化研究，发现多层系统关键用户集，配置防控资源，探索流行病演化规律，实现对参数、模型多维不确定性的流行病传播过程的优化控制。本发明有助于疫情防控资源的合理配置，为人民群众生命安全和身体健康提供有效保障。
一种基于复杂网络流行病资源配置优化方法

[发明专利]软件多故障的定位方法、装置、电子设备以及存储介质-CN201910592760.9有效
发明人：杨顺昆;张宇涵;曾福萍 -专利权人：北京航空航天大学
申请日： 2019-07-03 - 公布日： 2022-03-01 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种软件多故障的定位方法、装置、电子设备以及存储介质，其中方法包括：将每一失败测试按比例与所有成功测试均衡组合，从而放大失败测试用例的特征，便于挖掘被测程序中不同故障与每一失败测试用例之间的关联；实现了能够自动确定聚类数量以及聚类中心点的改进K‑medoids算法，能够自动识别被测程序中所含故障数量并将指向同一故障的失败测试用例划分为一类，对每一类失败测试用例分别进行统计、计算得到多个可疑度排名；不仅能够同时定位多个故障，而且定位准确度相比于传统单故障定位方法也得到了提升。
软件故障定位方法装置电子设备以及存储介质

[发明专利]一种基于DNN的复杂设备多重故障诊断方法-CN201810648180.2有效
发明人：杨顺昆;边冲;黄婷婷;杨嘉明;林欧雅;曾福萍;苟晓东;李大庆 -专利权人：北京航空航天大学
申请日： 2018-06-22 - 公布日： 2021-10-15 - 主分类号： G06N3/04 文献下载
摘要：本发明提供一种基于DNN的复杂设备多重故障诊断方法，步骤如下：1、采集设备的多重故障日志，统计并汇总故障信息；2、依靠专家知识定位多重故障的根源；3、按照时间特征整合日志信息，得到时序数据集；4、预处理时序数据集；5、对数据集进行数值量化；使用词嵌入作为DNN的首层网络；在网络层后添加Dropout；6、建立LSTM网络层；7、建立MLP网络层；8、设置DNN的学习参数；9、划分数据集；10、使用划分的数据集对DNN进行学习和测试；本发明对多重故障日志进行处理，得到时序数据集；建立包含词嵌入网络层、LSTM网络层以及MLP网络层的DNN模型；划分数据集后，利用批量训练数据集和验证数据集对DNN进行学习，并采用测试数据集评估DNN识别根源故障的准确性。
一种基于 dnn 复杂设备多重故障诊断方法

[发明专利]一种基于多维时间序列熵的软件网络间相似度的度量方法-CN201811317716.9有效
发明人：杨顺昆;张宇涵;李红曼;李大庆;苟晓冬;黄婷婷;曾福萍 -专利权人：北京航空航天大学
申请日： 2018-11-07 - 公布日： 2021-04-30 - 主分类号： G06F11/36 文献下载
摘要：本发明一种基于多维时间序列熵的软件网络间的相似度的度量方法，其步骤如下：获取用于度量的多种度量元；构建基于不同版本下软件的多种度量元的时间序列；计算所述软件在不同维度下的熵值；确定与缺陷数据最相关的熵值以及该熵值所在的度量元维度；基于所述最相关的熵值,评估不同版本的软件复杂网络间的相似度。本发明能实现通过获取不同版本下的软件的度量值，构成多维时间序列，并通过编译程序得到度量元在多个维度下的熵值，对不同版本的软件的相似度进行度量，得到熵值与相似度之间的正相关的关系，这有利于本领域技术人员对软件版本之间相似度作出简单有效的评估与预测。
一种基于多维时间序列软件网络相似度量方法

[发明专利]一种基于表观遗传的测试用例约束控制技术的构建方法-CN201810353435.2有效
发明人：杨顺昆;苟晓冬;李大庆;刘文静;黄婷婷;曾福萍;边冲;姚琪;谢钰姝 -专利权人：北京航空航天大学
申请日： 2018-04-19 - 公布日： 2020-08-25 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种基于表观遗传的测试用例约束控制技术的构建方法，步骤如下：1、给定适应度函数、基因编码方式、约束控制规则；2、参数初始化：设置种群规模、进化代数、终止适应度函数值；3、种群初始化：随机生成初始种群；4、进化终止判断；5、基于表观遗传的约束调控：根据约束控制规则实施约束甲基化或约束乙酰化；6、个体选择；7、完成种群的表观遗传进化；8、输出测试用例集。通过上述步骤，可以完成对基于表观遗传的测试用例约束控制技术的构建。本发明可以帮助软件测试人员设计更加符合软件实际运行情况的测试用例，发现更多软件错误，提高软件测试的质量。
一种基于表观遗传测试约束控制技术构建方法

[发明专利]一种基于多阶组合的网络化在线监控方法-CN201811317699.9有效
发明人：杨顺昆;邵麒;李红曼;黄婷婷;陶飞;李大庆;曾福萍;佘志坤 -专利权人：北京航空航天大学
申请日： 2018-11-07 - 公布日： 2020-07-21 - 主分类号： G05B19/042 文献下载
摘要：一种基于多阶组合的网络化在线监控方法，其步骤如下：布设多个位于待监控系统的传感器和控制器；将所述传感器所采集的目标信息进行分类；分别将所述类目信息转化为模型检测工具可接受的形式，输入模型检测工具中；以逻辑公式的形式列出待检测系统的属性，加入到模型检测工具中；模型检测工具输出所述类目信息的规范性，基于所述检测工具的结果，采用与逻辑门及或逻辑门，将所述检测工具的输出结果进行分层组合并输出，形成网状；基于开源三维建模软件工具，进行可视化三维建模。通过以上步骤，实现了将多种检测信息进行组合分析的目的，从而为技术人员对监测系统的状态信息的整体把握与规则的局部更新提供了可行性分析思路。
一种基于组合网络化在线监控方法

[发明专利]一种软件测试用例生成技术的构建方法-CN201710749046.7有效
发明人：杨顺昆;苟晓冬;苏梦璇;曾福萍;李大庆;林欧雅;陶飞;佘志坤 -专利权人：北京航空航天大学
申请日： 2017-08-28 - 公布日： 2018-06-01 - 主分类号： G06F11/36 文献下载
摘要：一种基于重生差分进化方法的软件测试用例生成技术的构建方法，步骤如下：1、收集待测软件源代码；2、给定适应度函数；3、定义老化因子，并给定老化因子界限值；4、构建重生差分进化方法及结果输出程序，搭建应用系统；5、结合应用系统与测试工具搭建测试用例生成平台；6、种群初始化，随机生成初始种群；7、获取随机生成的测试用例的覆盖率；8、完成种群的重生进化；9、输出符合要求的测试用例集；通过上述步骤，可以完成对基于重生差分进化方法的软件测试用例生成技术的构建。本发明适用于解决实际软件测试中的测试用例设计问题，可以帮助软件测试人员在降低成本和缩短时间的同时，设计出具有更高的缺陷检测能力的测试用例集。
软件测试构建用例生成进化测试用例集老化因子随机生成源代码测试用例设计测试用例生成结果输出程序缺陷检测能力适应度函数种群初始化测试工具初始种群待测软件结合应用应用系统种群覆盖率测试输出帮助

[发明专利]一种结合产品和过程的软件安全性举证开发方法-CN201310208034.5有效
发明人： 曾福萍;许国军;陆民燕;钟德明 -专利权人：北京航空航天大学
申请日： 2013-05-30 - 公布日： 2013-11-06 - 主分类号： G06F21/12 文献下载
摘要：本发明公开了一种结合产品和过程的软件安全性举证开发方法。该方法是一个以危险及危险控制为核心从软件角度实现系统安全性的风险管理，围绕顶层目标，开展满足性和充分正确性二方面举证。满足性举证的目的是表明所举证对象都已经实现并且得到满足，以基于产品方法为主线，从危险、危险控制、危险控制实现的角度进行举证。充分正确性举证的目的是表明举证对象是完整并且正确的，采用基于过程方法通过‘过程规范、人员素质及开发方法’等因素来增强其实现的信心。本发明克服了单从产品或单从过程进行软件安全性举证的缺点，能快速有效地引导软件安全性举证的开发，为软件相关方审查安全性相关情况的提供了一种更有效的方法。
一种结合产品过程软件安全性举证开发方法

[发明专利]一种缺陷驱动的软件可靠性设计方法-CN201210232598.8无效
发明人： 曾福萍;陆民燕;张虹 -专利权人：北京航空航天大学
申请日： 2012-07-05 - 公布日： 2012-12-12 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种缺陷驱动的软件可靠性设计方法。该方法通过收集相类似软件已发生的缺陷数据，识别出软件中潜在的缺陷，制定缺陷分类标准，建立软件缺陷模式库。在缺陷模式库的基础上，通过软件故障树分析（SFTA）完善缺陷原因，针对缺陷原因，制定改进措施，从而引导软件可靠性设计技术的实施。本发明的方法克服了软件可靠性设计技术实施的盲目性，提高了软件可靠性设计的针对性；能更有效地进行软件可靠性；可以尽量地预防和尽早地避免缺陷，极大地降低了后续测试及修复的成本，更有效地提高了软件可靠性。
一种缺陷驱动软件可靠性设计方法

[发明专利]一种基于图尔敏模式的软件安全性论证方法-CN201210232486.2无效
发明人： 曾福萍;张大健;王栓奇;陆民燕 -专利权人：北京航空航天大学
申请日： 2012-07-05 - 公布日： 2012-11-14 - 主分类号： G06F21/00 文献下载
摘要：本发明公开了一种基于图尔敏模式的软件安全性认证方法。该方法以需要认证的软件安全性目标为核心，提供支持目标成立的事实证据，质疑时，给出赋予事实证据支持目标成立的正当理由及用于强化正当理由权威性陈述的支援；如目标不是完全成立，则需明确目标实现程度的限定词；给出阻止从正当理由得出目标成立的反驳，从而实现以软件安全性目标为核心的安全性认证方法。本发明是一种更自由更宽泛的软件安全性论证方法，能更直接更清晰地表明软件安全性目标是如何满足的，同时能更有效地促进开发方开展安全性保障工作的积极性，从而更主动地提高了软件安全性。
一种基于图尔敏模式软件安全性论证方法

1
共 15 条