一种基于代理的面向服务软件系统的容错方法

    公开(公告)号:CN102831027A

    公开(公告)日:2012-12-19

    申请号:CN201210313927.1

    申请日:2012-08-29

    Abstract: 本发明涉及一种基于代理的面向服务软件系统的容错方法,该方法具体包括:代理管理模块为每一个运行的Bundle生成一个对应的代理;当调用某个Bundle的服务时,该调用首先被重定向到对代理的调用,代理管理模块判断代理的调用过程是否捕获到错误信息,若是,则停止调用的服务,开始服务错误修复流程,若否,则代理管理模块把本次的调用信息保存到服务调用记录模块;服务错误修复利用找到的可替代服务替换错误的服务,若无可替代服务,则根据服务依赖分析模块寻找所有依赖于当前错误服务的服务,停止这些服务并且将这些服务加入到错误恢复队列中进行错误修复。与现有技术相比,本发明具有可有效容错、适用范围广等优点。

    面向软件体系结构模型的可信性评估方法

    公开(公告)号:CN104679650B

    公开(公告)日:2016-08-10

    申请号:CN201510056999.6

    申请日:2015-02-03

    Abstract: 本发明提供了一种面向软件体系结构模型的可信性评估方法,通过提出基于Breeze/ADL,对大型复杂系统进行高层抽象,采用元建模机制扩展可信属性元素,从中抽取相关可信属性规约。抽取安全性规约,建立安全性模型,制定Breeze/ADL安全性模型到故障树模型的转换规则,从而建立故障树,定性分析系统潜在的安全威胁和隐患;抽取可靠性属性规约,转换为离散马尔科夫链状态模型,进行定量的可靠性评估及重要度分析;基于安全性和可靠性分析结构,提出有效地改进策略,保障系统结构的可信性。本发明从软件生命周期出发,为软件体系结构可信属性评估定性和定量的评估方法,建立正向保障机制,提高软件后续开发阶段的效率和质量。

    Fe3O4掺杂的双连续结构碳球的制备方法及其应用

    公开(公告)号:CN118343731A

    公开(公告)日:2024-07-16

    申请号:CN202410458505.6

    申请日:2024-04-16

    Abstract: 本发明公开了一种Fe3O4掺杂的双连续结构碳球及其制备方法、应用。其制备方法包括如下步骤:步骤S1:将立方相聚合物胶体粒子(PC)水溶液与表没食子儿茶素没食子酸酯水溶液、三氯化铁六水合物(FeCl3·6H2O)水溶液混合、搅拌,并调节pH值至6.8~7.4,可制得热解前体MPN@PC(MPN为金属多酚网络)复合物;步骤S2:将热解前体MPN@PC复合物煅烧即可得到SP‑Fe3O4‑C立方相碳微球。本申请在碳球中实现了介观尺度(2‑50nm)上三维有序孔道构筑(~30nm);采用本申请的Fe3O4掺杂双连续结构碳球作为硫正极宿主可以实现具有高容量、高倍率和长循环的锂硫电池的构造。

    利用支持体系结构动态变化的图文法验证体系结构的方法

    公开(公告)号:CN104793934A

    公开(公告)日:2015-07-22

    申请号:CN201510167707.6

    申请日:2015-04-09

    Abstract: 本发明提供了一种利用支持体系结构动态变化的图文法验证体系结构的方法,通过对通用图文法中图的形式化定义进行扩展,引入了接口、接口标签集、状态及附加属性,能够从高层抽象软件系统的组成结构、连接方式以及系统结构配置及属性等要素,更完整地支持软件体系结构的建模、分析和动态演化。软件体系结构的基本元素,如构件和连接,映射成为图中的节点和边,利用Breeze图文法图重写规则可以描述系统的动态重配置,并利用Breeze图文法的形式化基础,推导验证体系结构重配置前后的一致性和完整性。采用本发明,可以有效应对软件系统在功能日益复杂、规模日益庞大、运行于开放的网络环境和变化的用户需求这四方面的挑战。

    Fe3O4掺杂的双连续结构碳球的制备方法及其应用

    公开(公告)号:CN118343731B

    公开(公告)日:2025-05-13

    申请号:CN202410458505.6

    申请日:2024-04-16

    Abstract: 本发明公开了一种Fe3O4掺杂的双连续结构碳球及其制备方法、应用。其制备方法包括如下步骤:步骤S1:将立方相聚合物胶体粒子(PC)水溶液与表没食子儿茶素没食子酸酯水溶液、三氯化铁六水合物(FeCl3·6H2O)水溶液混合、搅拌,并调节pH值至6.8~7.4,可制得热解前体MPN@PC(MPN为金属多酚网络)复合物;步骤S2:将热解前体MPN@PC复合物煅烧即可得到SP‑Fe3O4‑C立方相碳微球。本申请在碳球中实现了介观尺度(2‑50nm)上三维有序孔道构筑(~30nm);采用本申请的Fe3O4掺杂双连续结构碳球作为硫正极宿主可以实现具有高容量、高倍率和长循环的锂硫电池的构造。

Patent Agency Ranking