基于可信特征度量的软件可信性评估与改进方法

    公开(公告)号:CN110442518B

    公开(公告)日:2022-11-11

    申请号:CN201910661748.9

    申请日:2019-07-22

    Abstract: 本发明公开了一种基于可信特征度量的软件可信性评估与改进方法,包括以下步骤:软件可信评估架构:采用层次性结构,自底向上依次为度量指标、度量元、子属性、属性、研制阶段可信性、软件可信性,其中度量指标、度量元、子属性、属性组成了软件的可信特征;基于线性加权与非线性加权的可信值集结;可信特征对软件可信性实际贡献分析;可信特征对软件可信性实际贡献与期望贡献偏差分析;可信特征对软件可信性实际贡献与理想贡献占比分析;软件可信改进分析。本发明采用层次性结构实现软件可信评估架构,获得以相同量值度量元可信度提升的软件可信改进最好效果的目标,能够为软件研制能力与生产水平的提高以及软件是否达到可信要求提供定量判断的依据。

    一种基于远程过程调用的软总线通信方法

    公开(公告)号:CN108804238B

    公开(公告)日:2022-03-04

    申请号:CN201810273776.9

    申请日:2018-03-29

    Abstract: 本发明公开了一种基于远程过程调用的软总线通信方法,具体步骤如下:步骤一,远程调用软总线总体架构;步骤二,建立Actor模型机制;步骤三,建立规则链表;步骤四,连接仿真节点;步骤五,启动Actor生命周期。本发明的方法中软总线将基于消息派发的集中式总线结构重新划分,分布在不同组件之间,形成“网络化”的总线结构,灵活实现多设备、多总线类型、多总线协议的通讯机制,具有分布式通信、强实时性、Actor‑Actor对等通信等特点,支持同步及异步通信方式,极大的提升了分布式网络的通信效率及性能。

    一种工业控制网多属性约束访问控制决策系统和方法

    公开(公告)号:CN108712369B

    公开(公告)日:2022-01-07

    申请号:CN201810272873.6

    申请日:2018-03-29

    Inventor: 付云生

    Abstract: 本发明公开了一种工业控制网多属性约束访问控制决策系统和方法,该策系统和方法属于工控安全领域。为解决关键设施工业控制网面临的控制信息完整性破坏和非法控制等问题,结合关键设施工业控制网具有承载业务确定、网络组件及其状态有限、可描述、可预期、可观测的特点,本方法采用控制业务中主体、客体及操作具有可描述的多属性约束条件来实现更细粒度的访问控制决策分析,能够有效防止控制软件或控制信息被篡改导致的系统或装置错误或损毁,为工控网络非法行为提供更细粒度的溯源取证信息。

    一种基于层次化自适应策略的容错CPS仿真测试方法

    公开(公告)号:CN109799728B

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

    申请号:CN201811252922.6

    申请日:2018-10-25

    Abstract: 本发明公开了一种基于层次化自适应策略的容错CPS仿真测试方法,包括以下步骤:容错CPS仿真资源模型的建立与测试资源的分配,包括建立容错CPS仿真资源的分层模型和测试资源的自适应分配;容错CPS仿真测试,包括层间消息传递和协同仿真时序推进;基于滑动窗口的节点活性检测。本发明用于容错CPS系统的仿真测试,既能实现测试资源的有效分配,提高测试效率,节约时间和成本,又能针对不同规模的CPS系统进行动态自适应,构建可伸缩的测试平台,还能针对容错CPS系统多模冗余的特点进行有效的测试执行,高效地对测试主从节点的一致性进行判定,确保冗余策略有效。

    基于非线性复杂系统过程数据的在线故障诊断方法

    公开(公告)号:CN109242046B

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

    申请号:CN201811178028.9

    申请日:2018-10-10

    Abstract: 针对非线性复杂系统机理模型难以建立、过程数据不符合高斯分布的特点,本发明利用系统中的离线正常工况训练数据和在线测量的过程数据,解决了非线性复杂系统的在线故障诊断问题。本发明方法是通过:第一步、离线训练步,利用正常工况下采集到的过程数据进行故障模式识别系统回归和阈值计算;第二步、在线检测步,利用模式识别系统,对非线性复杂系统在线采集到的过程数据进行检测统计量的在线计算;第三步、故障诊断步,通过计算得出统计量与阈值的在线比较,实现故障诊断。本发明具有以下优势:适用于过程数据不符合高斯分布的情况,且仅通过离线和在线数据即可实现故障诊断,而不依赖于机理模型;提出的在线故障诊断算法,适用于包含非线性特性的复杂系统,且相比于传统方法显著提高了故障检测率。

    一种数据驱动的复杂控制系统扰动解耦容错控制方法

    公开(公告)号:CN110147043B

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

    申请号:CN201910466487.5

    申请日:2019-05-31

    Abstract: 本发明公开了一种数据驱动的复杂控制系统扰动解耦容错控制方法,包括:步骤一、离线解耦,利用复杂控制系统正常工况下运行数据构造扰动解耦矩阵,实现对扰动的离线解耦;步骤二、在线容错控制,对复杂控制系统实时运行工作过程中产生的测量数据进行在线扰动解耦,并利用解耦后的数据构建容错控制器,进而使复杂控制系统在故障发生后仍能达到期望的控制目标。本发明提供一种数据驱动的复杂控制系统扰动解耦容错控制方法,具有不依赖于复杂控制机理精确建模,仅通过复杂控制系统的运行数据即可实现容错控制的优势,避免了因机理建模不精确而导致的控制性能降低及容错控制失效;对扰动进行主动在线解耦,使得容错控制性能在较大扰动情况下依然适用。

Patent Agency Ranking