考虑FDE和FCE的基于ISQ的软件可靠性增长模型的建立方法

    公开(公告)号:CN103761183A

    公开(公告)日:2014-04-30

    申请号:CN201310738213.X

    申请日:2013-12-29

    Abstract: 考虑FDE和FCE的基于ISQ的软件可靠性增长模型的建立方法,涉及软件故障检测和故障修正领域。解决了现有软件可靠性增长模型都没有考虑到故障检测工作量和故障修正工作量对软件可靠性的影响,降低了模型的实际意义和结果可信度的问题。首先根据待建立的ISQ-FDEFCE软件可靠性增长模型的条件建立微分方程,并获得ISQ-FDEFCE软件可靠性增长模型的故障检测过程的均值函数模型;然后根据软件故障被完全修正的概率、故障修正时间和故障检测过程的均值函数模型,获得ISQ-FDEFCE软件可靠性增长模型的故障修正过程的均值函数模型,完成基于ISQ的软件可靠性增长模型的建立。本发明适用于提高软件的可靠性。

    基于HFSQM排队模型考虑排错资源局限性的构件软件可靠性分析方法

    公开(公告)号:CN102393833A

    公开(公告)日:2012-03-28

    申请号:CN201110315100.X

    申请日:2011-10-17

    Abstract: 基于HFSQM排队模型考虑排错资源局限性的构件软件可靠性分析方法,本发明涉及软件可靠性分析方法,它解决了实际中不可能拥有无限的排错资源,当所有排错人员都被占用时,新检测到的故障必须排队等待的缺陷。实现由三步组成:资源分配,故障检测过程和故障排除过程。资源分配为HFSQM中等待排错资源的故障分配合适的资源。故障检测过程基于构件软件应用的运行剖面对整个应用执行集成测试。故障排除过程对HFSQM中占有排错资源的故障进行修复。这能为软件发布和测试资源的合理配置提供依据,使软件既能按计划准时发布,又能满足用户的可靠性需求,降低软件的总成本。因此,基于HFSQM的仿真方法对于构件软件测试,进一步对于软件市场决策具有着重要指导意义。

    基于CSTM模型测试数据转换的构件软件可靠性分析方法

    公开(公告)号:CN102306123A

    公开(公告)日:2012-01-04

    申请号:CN201110312104.2

    申请日:2011-10-14

    Abstract: 基于CSTM模型测试数据转换的构件软件可靠性分析方法,本发明涉及一种软件可靠性分析方法。它为了解决现有黑盒方法的忽略了组成系统的构件的测试以及可靠性信息,没有考虑软件的体系结构的缺点,本发明是测试数据转换的方法来实现黑盒方法和白盒方法的结合。它首先采用白盒方法实现构件软件测试剖面到运行剖面的映射,建立NHPP模型需要的可靠性数据集,然后采用黑盒方法建立构件软件应用的NHPP模型。测试数据转换的目的是将分阶段实现的、异构的构件软件灰盒测试过程转换成满足NHPP模型假设的单调统一的黑盒测试过程,把所有构件的单元测试数据和集成测试中构件之间的接口失效数据转换成整个应用基础上的黑盒测试数据,建立满足NHPP模型假设的可靠性数据集。

    一种直接体积式太阳能光热化学反应装置及试验方法

    公开(公告)号:CN117983162B

    公开(公告)日:2024-10-22

    申请号:CN202410197250.2

    申请日:2024-02-22

    Abstract: 本发明提出了一种直接体积式太阳能光热化学反应装置及试验方法,属于太阳能利用领域。解决太阳能利用率低且塑料制品热解能耗高的问题。一种直接体积式太阳能光热化学反应装置,包括:基座,内部设置有聚光腔,侧壁上设置有与聚光腔连通的入射区;透明容器,中部插置于聚光腔内,两端分别为进口端和出口端;聚热芯,设置在透明容器内中部用于吸收入射区入射的光线并对透明容器进口端进入的废弃塑料加热;进料装置,与透明容器进口端相连用于向透明容器内输送废弃塑料;和,惰性气体供气装置,与透明容器相连用于向透明容器内通入载气。它主要用于热解塑料废弃物。

    基于移动点的FSQ-RWD软件可靠性增长方法及该方法的修正方法

    公开(公告)号:CN103744779B

    公开(公告)日:2017-03-22

    申请号:CN201310738212.5

    申请日:2013-12-29

    Abstract: 基于移动点的FSQ-RWD软件可靠性增长模型及该模型的修正模型,涉及软件故障修正技术。它为了解决软件故障修正模型不能详细地刻画软件故障修正过程的问题。本发明针对故障修正服务台动态调整而产生移动点,利用移动点技术,建立考虑排错等待延迟的基于移动点和有限服务台的软件可靠性增长模型,即FSQ-RWD-CP模型。在此模型基础之上,进一步建立了既考虑故障修正过程中的不完美排除,又考虑排错等待延迟的基于移动点和有限服务台的软件可靠性增长模型,即修正的FSQ-RWD-CP模型,能够更准确地描述软件测试的实际情况。本发明适用于软件故障修正。

    一种离子注入技术控制合成后钙钛矿光学特性的方法

    公开(公告)号:CN106298414A

    公开(公告)日:2017-01-04

    申请号:CN201610659049.7

    申请日:2016-08-10

    Abstract: 本发明提供了一种离子注入技术控制合成后钙钛矿光学特性的方法,所述钙钛矿为单晶钙钛矿微结构,所述单晶钙钛矿微结构含有第一卤素离子;对所述单晶钙钛矿微结构,采用第二卤素用离子注入方法进行离子注入,将第一卤素离子进行部分取代;其中,所述第二卤素不同于第一卤素。采用本发明的技术方案,制备简单,采用离子注入的方法可以选择性地调谐光致发光和调谐一个卤化铅钙钛矿器件上的不同位置的激射行为,实验的操作以及验证比较容易,方法简单、可行,应用前景广阔,为微纳光电领域和光子器件领域的发展提供新思路。

    基于PCSTM模型考虑测试与运行剖面不同的测试数据转换构件软件可靠性分析方法

    公开(公告)号:CN102508772B

    公开(公告)日:2014-09-10

    申请号:CN201110312100.4

    申请日:2011-10-14

    Abstract: 基于PCSTM模型考虑测试与运行剖面不同的测试数据转换构件软件可靠性分析方法,它涉及软件可靠性分析方法。它为了解决现有黑盒方法的忽略了组成系统的构件的测试以及可靠性信息,没有考虑软件的体系结构的缺点。测试数据转换的方法来实现黑盒方法和白盒方法的结合。首先采用白盒方法实现构件软件测试剖面到运行剖面的映射,建立NHPP模型需要的可靠性数据集,然后采用黑盒方法建立构件软件应用的NHPP模型。测试数据转换的目的是将分阶段实现的、异构的构件软件灰盒测试过程转换成满足NHPP模型假设的单调统一的黑盒测试过程,把所有构件的单元测试数据和集成测试中构件之间的接口失效数据转换成整个应用基础上的黑盒测试数据,建立满足NHPP模型假设的可靠性数据集。

    基于移动点的FSQ-RWD软件可靠性增长模型及该模型的修正模型

    公开(公告)号:CN103744779A

    公开(公告)日:2014-04-23

    申请号:CN201310738212.5

    申请日:2013-12-29

    Abstract: 基于移动点的FSQ-RWD软件可靠性增长模型及该模型的修正模型,涉及软件故障修正技术。它为了解决软件故障修正模型不能详细地刻画软件故障修正过程的问题。本发明针对故障修正服务台动态调整而产生移动点,利用移动点技术,建立考虑排错等待延迟的基于移动点和有限服务台的软件可靠性增长模型,即FSQ-RWD-CP模型。在此模型基础之上,进一步建立了既考虑故障修正过程中的不完美排除,又考虑排错等待延迟的基于移动点和有限服务台的软件可靠性增长模型,即修正的FSQ-RWD-CP模型,能够更准确地描述软件测试的实际情况。本发明适用于软件故障修正。

    基于HFSQM排队模型考虑排错资源局限性的构件软件可靠性分析方法

    公开(公告)号:CN102393833B

    公开(公告)日:2014-03-26

    申请号:CN201110315100.X

    申请日:2011-10-17

    Abstract: 基于HFSQM排队模型考虑排错资源局限性的构件软件可靠性分析方法,本发明涉及软件可靠性分析方法,它解决了实际中不可能拥有无限的排错资源,当所有排错人员都被占用时,新检测到的故障必须排队等待的缺陷。实现由三步组成:资源分配,故障检测过程和故障排除过程。资源分配为HFSQM中等待排错资源的故障分配合适的资源。故障检测过程基于构件软件应用的运行剖面对整个应用执行集成测试。故障排除过程对HFSQM中占有排错资源的故障进行修复。这能为软件发布和测试资源的合理配置提供依据,使软件既能按计划准时发布,又能满足用户的可靠性需求,降低软件的总成本。因此,基于HFSQM的仿真方法对于构件软件测试,进一步对于软件市场决策具有着重要指导意义。

Patent Agency Ranking