一种组立构件中小日程作业计划平衡制定方法及系统

    公开(公告)号:CN110147963A

    公开(公告)日:2019-08-20

    申请号:CN201910439529.6

    申请日:2019-05-24

    Abstract: 本发明公开一种组立构件中小日程作业计划平衡制定方法及系统。方法包括:获取组立构件中小日程作业计划中的不确定性因素;根据所述不确定性因素建立组立构件中小日程作业计划的不确定性算法模型;根据所述不确定性算法模型,确定所述不确定性算法模型的求解策略;根据所述求解策略,确定组立构件中小日程作业计划。本发明的方法考虑了车间组立构件建造过程中的时间、空间、人员、设备等多种资源条件不确定性,适用范围广、容易编程实现、计算效率高。

    大型水面舰船生命力易损性评估方法及分析模型

    公开(公告)号:CN107729679A

    公开(公告)日:2018-02-23

    申请号:CN201711071053.2

    申请日:2017-11-03

    CPC classification number: G06F17/5009 G06F17/5095

    Abstract: 本发明公开一种大型水面舰船生命力易损性评估方法及分析模型,所述评估方法包括:根据来袭武器的爆炸情况,确定当前来袭武器的类型;根据对应类型的来袭武器确定各类型的来袭武器的命中位置及对应的毁伤载荷类型;根据各类型的来袭武器的命中位置及毁伤载荷类型确定对应的毁伤载荷数值;根据各毁伤载荷数值,对大型水面舰船生命力易损性分析,建立不同损伤载荷对应舰船结构、主动力设备以及电子设备的损伤模型;通过舰船结构与舰船设备之间的逻辑联系,确定结构与设备之间的损伤耦合关系;根据结构与设备之间的损伤耦合关系以及不同损伤载荷对应舰船结构、主动力设备以及电子设备的损伤模型,可确定大型水面舰船生命力易损性情况,简化分析步骤。

    一种事件序列故障定位方法

    公开(公告)号:CN107133168A

    公开(公告)日:2017-09-05

    申请号:CN201710278374.3

    申请日:2017-04-25

    Abstract: 本发明公开了一种事件序列故障定位方法,所述定位方法应用于测试系统中,对多条测试事件序列激励进行逐条触发,获得触发结果,根据触发结果获得正确激励集合和错误激励集合,根据所述正确激励集合计算出系统的安全值集合,根据安全值集合和错误测试激励,生成附加测试事件序列,进行故障事件序列定位,获得错误事件序列。采用安全值集合和错误测试激励进行故障事件序列定位分析,快速准确地对故障事件序列进行定位。

    高可信软件的测试序列生成方法及系统、测试方法及系统

    公开(公告)号:CN111400176B

    公开(公告)日:2023-12-08

    申请号:CN202010161800.7

    申请日:2020-03-10

    Abstract: 本发明公开了一种高可信软件的测试序列生成方法及系统、测试方法及系统。该测试序列生成方法包括:根据待测试事件集以及顺序覆盖力度确定待覆盖子序列集;确定初始测试序列,并将其作为当前测试序列;判断当前测试序列是否完全覆盖各待覆盖子序列;如果否,则将待测试事件集中各待测试事件分别单独添加到当前测试序列后面,得到多个候选测试序列;选择候选测试序列中覆盖待覆盖子序列数量最多的候选测试序列替换当前测试序列,并跳转至“判断当前测试序列是否完全覆盖各待覆盖子序列”步骤;如果是,则将完全覆盖各待覆盖子序列的当前测试序列作为测试高可信软件的测试序列。本发明能够减少SCA序列覆盖冗余。

    大型水面舰船生命力易损性评估方法及分析模型

    公开(公告)号:CN107729679B

    公开(公告)日:2021-11-26

    申请号:CN201711071053.2

    申请日:2017-11-03

    Abstract: 本发明公开一种大型水面舰船生命力易损性评估方法及分析模型,所述评估方法包括:根据来袭武器的爆炸情况,确定当前来袭武器的类型;根据对应类型的来袭武器确定各类型的来袭武器的命中位置及对应的毁伤载荷类型;根据各类型的来袭武器的命中位置及毁伤载荷类型确定对应的毁伤载荷数值;根据各毁伤载荷数值,对大型水面舰船生命力易损性分析,建立不同损伤载荷对应舰船结构、主动力设备以及电子设备的损伤模型;通过舰船结构与舰船设备之间的逻辑联系,确定结构与设备之间的损伤耦合关系;根据结构与设备之间的损伤耦合关系以及不同损伤载荷对应舰船结构、主动力设备以及电子设备的损伤模型,可确定大型水面舰船生命力易损性情况,简化分析步骤。

    一种组立构件中小日程作业计划平衡制定方法及系统

    公开(公告)号:CN110147963B

    公开(公告)日:2021-11-05

    申请号:CN201910439529.6

    申请日:2019-05-24

    Abstract: 本发明公开一种组立构件中小日程作业计划平衡制定方法及系统。方法包括:获取组立构件中小日程作业计划中的不确定性因素;根据所述不确定性因素建立组立构件中小日程作业计划的不确定性算法模型;根据所述不确定性算法模型,确定所述不确定性算法模型的求解策略;根据所述求解策略,确定组立构件中小日程作业计划。本发明的方法考虑了车间组立构件建造过程中的时间、空间、人员、设备等多种资源条件不确定性,适用范围广、容易编程实现、计算效率高。

    一种事件序列故障定位方法

    公开(公告)号:CN107133168B

    公开(公告)日:2020-08-11

    申请号:CN201710278374.3

    申请日:2017-04-25

    Abstract: 本发明公开了一种事件序列故障定位方法,所述定位方法应用于测试系统中,对多条测试事件序列激励进行逐条触发,获得触发结果,根据触发结果获得正确激励集合和错误激励集合,根据所述正确激励集合计算出系统的安全值集合,根据安全值集合和错误测试激励,生成附加测试事件序列,进行故障事件序列定位,获得错误事件序列。采用安全值集合和错误测试激励进行故障事件序列定位分析,快速准确地对故障事件序列进行定位。

    高可信软件的测试序列生成方法及系统、测试方法及系统

    公开(公告)号:CN111400176A

    公开(公告)日:2020-07-10

    申请号:CN202010161800.7

    申请日:2020-03-10

    Abstract: 本发明公开了一种高可信软件的测试序列生成方法及系统、测试方法及系统。该测试序列生成方法包括:根据待测试事件集以及顺序覆盖力度确定待覆盖子序列集;确定初始测试序列,并将其作为当前测试序列;判断当前测试序列是否完全覆盖各待覆盖子序列;如果否,则将待测试事件集中各待测试事件分别单独添加到当前测试序列后面,得到多个候选测试序列;选择候选测试序列中覆盖待覆盖子序列数量最多的候选测试序列替换当前测试序列,并跳转至“判断当前测试序列是否完全覆盖各待覆盖子序列”步骤;如果是,则将完全覆盖各待覆盖子序列的当前测试序列作为测试高可信软件的测试序列。本发明能够减少SCA序列覆盖冗余。

Patent Agency Ranking