-
公开(公告)号：CN113220548B
公开(公告)日：2024-02-09
申请号：CN202110321730.1
申请日：2021-03-25
Applicant: 中国航天系统科学与工程研究院
Abstract: 本发明提供一种基于可靠性框图的软件可靠性指标分配方法、介质及设备，属于软件可靠性研究技术领域。该方法步骤包括：首先，划分软件模块并定义各个模块可靠性提升困难度信息；其次，根据软件任务需求，由软件模块构造软件可靠性框图模型；然后，根据可靠性框图模型得到软件可靠性数学模型；接着，根据软件可靠性数学模型及可靠性困难度信息，将软件可靠性指标要求向下迭代进行可靠性指标分配；最后，输出软件可靠性指标分配结果。本发明可有效解决常规的等分配、再分配法因不考虑软件模块差异而导致分配结果不够合理的问题。
-
公开(公告)号：CN111461746A
公开(公告)日：2020-07-28
申请号：CN202010230054.2
申请日：2020-03-27
Applicant: 中国航天系统科学与工程研究院
Abstract: 一种面向装配的质量智能追溯方法，属于计算机集成制造技术和自动化技术领域。本发明以产品装配过程为主线，构建涵盖设备、人员、物料和供应商等全部关键生产要素的装配关系网络模型，并通过质量问题影响因素关联关系挖掘模型，提取并量化装配关系网络模型中各生产要素的关联关系，实现了产品装配质量问题影响因素之间复杂、动态、相关以及非线性关系的全覆盖，解决装配质量问题追溯方法单一、追溯效果不准确不及时的问题。
-
公开(公告)号：CN110061868A
公开(公告)日：2019-07-26
申请号：CN201910271736.5
申请日：2019-04-04
Applicant: 中国航天系统科学与工程研究院
Abstract: 本发明公开了一种网络安全度量指标体系区分度评价模型，假设待评价对象度量指标体系有N级，N大于等于2，则从N-1级指标区分度开始计算，然后计算N-2级指标区分度，……，直至二级指标区分度、一级指标区分度，从而计算得出指标体系整体区分度。本发明具体给出了每一级区分度的计算方法。本发明为客观评价对象建立指标评价矩阵，基于评价因素构建数学模型，并将指标重要程度作为合理性影响因子对指标区分度进行修正，从而实现指标体系性能评价，体现了主观和客观的有机融合。
-
公开(公告)号：CN106776208B
公开(公告)日：2018-08-31
申请号：CN201611102015.4
申请日：2016-12-02
Applicant: 中国航天系统科学与工程研究院
Abstract: 本发明提供了一种软件运行时故障定位方法，该方法包括静态准备阶段、动态运行阶段和故障定位阶段；其中：在静态准备阶段，即在软件系统运行之前，根据软件系统的高层需求描述，确定性质规约，然后根据该性质规约在软件系统中插装代码、部署探针，并构造运行时监控器；在动态运行阶段，即在软件运行的过程中，插装代码采集软件系统运行时设定监控变量的变化信息，监控器根据该变化信息，对软件系统执行情况进行是否符合性质规约的验证，探针记录软件系统的执行路径。在故障定位阶段，根据软件执行路径和监控器验证结果，进行统计分析实现软件系统故障定位。
-
公开(公告)号：CN119814861A
公开(公告)日：2025-04-11
申请号：CN202411842765.X
申请日：2024-12-13
Applicant: 中国航天系统科学与工程研究院
IPC: H04L67/55 , G06F16/9535 , G06N5/022
Abstract: 本发明公开了一种面向设计情境的工艺知识推送方法，以“工艺设计情境模型构建‑工艺设计知识组织表示‑工艺设计知识匹配推送”为主线，构建涵盖人员、任务、知识类型等要素的设计情境与工艺知识模型，并运用可扩展标记语言(Extensible Markup Language,XML)对上述模型进行形式化描述。在此基础上，运用相似度计算算法进行工艺设计情境与工艺设计知识的匹配计算，基于计算结果得到待推送的工艺设计知识集，实现了工艺设计知识的及时精准推送，有效解决了复杂产品工艺设计过程中存在的工艺设计知识辨别获取耗时长，推送知识与需求脱节，知识推送时效性、精准性、全面性不足等问题。
-
Patent Agency Ranking
公开(公告)号：CN113220548A
公开(公告)日：2021-08-06
申请号：CN202110321730.1
申请日：2021-03-25
Applicant: 中国航天系统科学与工程研究院
Abstract: 本发明提供一种基于可靠性框图的软件可靠性指标分配方法、介质及设备，属于软件可靠性研究技术领域。该方法步骤包括：首先，划分软件模块并定义各个模块可靠性提升困难度信息；其次，根据软件任务需求，由软件模块构造软件可靠性框图模型；然后，根据可靠性框图模型得到软件可靠性数学模型；接着，根据软件可靠性数学模型及可靠性困难度信息，将软件可靠性指标要求向下迭代进行可靠性指标分配；最后，输出软件可靠性指标分配结果。本发明可有效解决常规的等分配、再分配法因不考虑软件模块差异而导致分配结果不够合理的问题。
-
公开(公告)号：CN113220547A
公开(公告)日：2021-08-06
申请号：CN202110303948.4
申请日：2021-03-22
Applicant: 中国航天系统科学与工程研究院
Abstract: 本发明提供一种基于仿真的复杂软件系统可靠性指标确定方法，属于软件系统可靠性研究技术领域。该方法步骤包括：首先根据软件系统任务需求，划分并构建软件任务阶段模型；然后根据软件系统任务需求及任务阶段模型，构造软件任务剖面集合；接着设置仿真控制参数后，随机抽取软件任务剖面执行仿真，采集各个任务阶段的失效信息；最后根据仿真过程中采集的数据，计算并输出软件系统可靠性指标值。本发明通过对复杂软件系统的任务剖面进行建模与仿真，采集与软件可靠性指标相关的统计量值，最后合理地确定软件可靠性指标。本发明可有效解决常规解析方法难以建立精确的可靠性数学模型或模型太复杂而不便应用的问题。
-
公开(公告)号：CN111813656A
公开(公告)日：2020-10-23
申请号：CN202010500339.3
申请日：2020-06-04
Applicant: 中国航天系统科学与工程研究院
IPC: G06F11/36
Abstract: 一种面向安全性验证的模型转换方法、介质及设备，属于模型检验技术领域，解决软件安全性验证待验系统建模困难问题。本发明提供的面向安全性验证模型转换方法，首先，利用AADL模型对待验系统进行建模，描述软件体系结构的动态行为；然后，将AADL组件类型转换成NuSMV子模块，将AADL组件实现中的具体内容转换成与AADL组件类型相对应的NuSMV子模块体中的具体内容；最后在NuSMV的main模块中添加AADL中具体的执行语义。本发明通过面向安全性验证的模型转换方法，能够有效提高模型检验软件安全性领域建模效率，解决了模型检验技术中难以准确建模问题。
-
公开(公告)号：CN111124879A
公开(公告)日：2020-05-08
申请号：CN201911056677.6
申请日：2019-10-31
Applicant: 中国航天系统科学与工程研究院
IPC: G06F11/36
Abstract: 一种基于故障树的待验属性提取方法、介质及设备，属于故障树分析技术领域。本发明的步骤包括，首先，通过对传统故障树中引入的时序逻辑关系对应的逻辑门来描述嵌入式软件的动态行为，对嵌入式软件组件故障之间的时序关系进行时序故障树建模；然后，定义基于时序故障树的约简策略，在保障顶事件对应故障不被消除的前提下，不断消除冗余故障；最后，通过属性求解算法得到包含顶事件故障的待验属性。本发明通过在传统故障树中引入时序算子来提取待验属性，能够有效提高软件验证领域待验属性提取效率，解决了传统软件安全性验证领域中待验属性提取困难的问题。
-
公开(公告)号：CN110414727A
公开(公告)日：2019-11-05
申请号：CN201910641162.6
申请日：2019-07-16
Applicant: 中国航天系统科学与工程研究院
IPC: G06Q10/04 , G06Q50/04 , G06F16/2458 , G06F17/18 , G06K9/62
Abstract: 一种基于数据挖掘的生产进度预测方法及系统，属于自动化技术领域。本发明包括如下步骤：建立数据库，存储零件加工的历史数据和车间资源数据；基于历史数据和预测算法，计算零件加工工时和工时影响参数之间的函数关系；基于当前在加工零件工序和工步，接收零件生产计划和零件工艺规程，得到当前在加工零件的工时影响参数和待加工工序；计算所有当前在加工零件的待加工工序的工时；计算所有当前在加工零件的待加工工序的开始加工时间和结束加工时间，实现零件生产进度的预测。本发明在获得机加车间所有工序工时计算函数的基础上，提出了不同加工状态下零件生产进度计算方法，为准确预测零件生产进度提供了依据。
-
-
-
-
-
-
-
-
-
Search Results
23
records
(took 0.04 seconds)
