公开(公告)号：CN104699599A

公开(公告)日：2015-06-10

申请号：CN201310666216.7

申请日：2013-12-10

Applicant: 上海精密计量测试研究所

Inventor： 龚丹丹 ,  陈春萍 ,  蒋坚鸿

IPC: G06F11/36

Abstract: 本发明公开了一种基于idUCf五元结构的过程间静态切片提取方法，包括：对程序中的静态切片按照变量的类型、静态切片的位置进行表达，建立表达式；依据对变量的赋值，在所述表达式中进行倒推式搜索；提取所述变量的值等于所述赋值的所有静态切片。通过本发明可以提高计算机空间和时间的利用率，提高切片提取效率。

公开(公告)号：CN104699599B

公开(公告)日：2018-11-06

申请号：CN201310666216.7

申请日：2013-12-10

Applicant: 上海精密计量测试研究所

Inventor： 龚丹丹 ,  陈春萍 ,  蒋坚鸿

IPC: G06F11/36

Abstract: 本发明公开了一种基于idUCf五元结构的过程间静态切片提取方法，包括：对程序中的静态切片按照变量的类型、静态切片的位置进行表达，建立表达式；依据对变量的赋值，在所述表达式中进行倒推式搜索；提取所述变量的值等于所述赋值的所有静态切片。通过本发明可以提高计算机空间和时间的利用率，提高切片提取效率。

公开(公告)号：CN113780724B

公开(公告)日：2023-08-25

申请号：CN202110880770.X

申请日：2021-08-02

Applicant: 上海精密计量测试研究所

Inventor： 杨积东 ,  陈继勋 ,  蒋坚鸿 ,  陈闪闪

IPC: G06Q10/0639 ,  G06Q50/04

Abstract: 本发明的产品质量批次稳定性量化评估判据计算方法包括：S1，确定量化评估判据指标集；S2，设计量化评估判据指标计算方法和组合应用逻辑；确定各指标的阀值参数以及质量检测应用中的指标组合应用逻辑，满足小样本测试数据集的产品质量批次稳定性量化评估需求。本发明为产品质量批次稳定性评估设计一套量化评估判据计算方法，利用该量化评估判据计算方法可直接形成产品质量批次稳定性的分析结论，实现了产品质量批次稳定性评估过程规范化、工具化，提高产品质量检验效率和水平。

公开(公告)号：CN113780724A

公开(公告)日：2021-12-10

申请号：CN202110880770.X

申请日：2021-08-02

Applicant: 上海精密计量测试研究所

Inventor： 杨积东 ,  陈继勋 ,  蒋坚鸿 ,  陈闪闪

IPC: G06Q10/06 ,  G06Q50/04

Abstract: 本发明的产品质量批次稳定性量化评估判据计算方法包括：S1，确定量化评估判据指标集；S2，设计量化评估判据指标计算方法和组合应用逻辑；确定各指标的阀值参数以及质量检测应用中的指标组合应用逻辑，满足小样本测试数据集的产品质量批次稳定性量化评估需求。本发明为产品质量批次稳定性评估设计一套量化评估判据计算方法，利用该量化评估判据计算方法可直接形成产品质量批次稳定性的分析结论，实现了产品质量批次稳定性评估过程规范化、工具化，提高产品质量检验效率和水平。

公开(公告)号：CN105512018A

公开(公告)日：2016-04-20

申请号：CN201410490717.9

申请日：2014-09-23

Applicant: 上海精密计量测试研究所

Inventor： 成斌 ,  钱平 ,  王凌 ,  齐宏恩 ,  龚丹丹 ,  陈春萍 ,  李楠 ,  张闯 ,  郭素敏 ,  刘冰川 ,  杨雨翰 ,  蒋坚鸿

IPC: G06F11/36 ,  G06F9/44

Abstract: 本发明公开了一种并行系统性能的形式化分析方法，包括：步骤一、建立并行程序性能模型和并行机模型；步骤二、在并行程序性能模型和并行机模型之间建立映射关系，形成并行系统性能模型，进行并行系统性能分析。本发明提供了一种高效的并行系统性能分析方法。