-
公开(公告)号:CN119294707A
公开(公告)日:2025-01-10
申请号:CN202411217141.9
申请日:2024-09-02
Applicant: 国网经济技术研究院有限公司 , 天津大学 , 国网安徽省电力有限公司经济技术研究院
Inventor: 原凯 , 丁羽頔 , 穆云飞 , 吴志军 , 孙充勃 , 郭铭群 , 董朝武 , 李敬如 , 罗金山 , 宋毅 , 潘东 , 朱刘柱 , 郭浩辰 , 王绪利 , 李红军 , 万志伟 , 颜景娴 , 赵锋 , 徐斌 , 施天成 , 孟锋 , 聂铭 , 庾雅琪
IPC: G06Q10/0631 , G06Q50/06 , G06Q50/26 , G06N3/126
Abstract: 本发明公开了一种低碳优化控制方法,包括:获取能源设备的相关数据并输入至综合能源系统,构建基于碳能协同枢纽的IES模型,根据所述基于碳能协同枢纽的IES模型,结合预先设定的目标函数和约束条件,构建低碳优化控制模型,采用改进精英策略的NSGA‑Ⅱ算法求解所述低碳优化控制模型,得到优化控制方案;本发明能够挖掘综合能源系统源荷储各侧的减碳潜力,实现碳能协同优化,提升碳排放的减排效果。
-
公开(公告)号:CN101833453B
公开(公告)日:2012-12-05
申请号:CN201010168987.X
申请日:2010-05-13
Applicant: 天津大学
Abstract: 本发明属于可信计算领域,涉及一种基于安全知识库的顺序图缺陷检测方法:利用UML顺序图描述设计阶段中的某一业务逻辑,首先对这些顺序图添加安全属性的扩展,然后对这些业务逻辑进行FSA建模并从模型中提取出所有的攻击路径,最后借助由攻击模式库、缺陷库及两者的二元关系所构建的安全知识库,进行缺陷检测,最终生成威胁分析报告。采用本发明可以有效地检测顺序图隐藏的系统缺陷,能够在软件开发的早期发现这些漏洞并作修补,从而降低了软件开发和维护的成本,提高了软件的安全系数,增强可信性。
-
公开(公告)号:CN102103514A
公开(公告)日:2011-06-22
申请号:CN201110049279.9
申请日:2011-03-02
Applicant: 天津大学
Abstract: 本发明涉及属于安全、可靠性测试领域。为将CC标准应用到软件的安全需求分析过程中,建立安全需求与CC标准之间的关系,为用户生成安全需求文档和安全活动图,本发明采用的技术方案是,在CC标准下基于活动图扩展的安全需求分析方法,包括下列步骤:1.确定系统功能,选出系统中需要被保护的资产信息,获得需要被保护的资产信息;2.抽取出针对资产信息所存在的威胁;3.建立安全需求与CC标准之间的关系;4.扩展活动图为安全活动图,并导出安全需求文档。本发明主要应用于将CC标准应用到软件的安全需求分析过程。
-
公开(公告)号:CN101833453A
公开(公告)日:2010-09-15
申请号:CN201010168987.X
申请日:2010-05-13
Applicant: 天津大学
Abstract: 本发明属于可信计算领域,涉及一种基于安全知识库的顺序图缺陷检测方法:利用UML顺序图描述设计阶段中的某一业务逻辑,首先对这些顺序图添加安全属性的扩展,然后对这些业务逻辑进行FSA建模并从模型中提取出所有的攻击路径,最后借助由攻击模式库、缺陷库及两者的二元关系所构建的安全知识库,进行缺陷检测,最终生成威胁分析报告。采用本发明可以有效地检测顺序图隐藏的系统缺陷,能够在软件开发的早期发现这些漏洞并作修补,从而降低了软件开发和维护的成本,提高了软件的安全系数,增强可信性。
-
公开(公告)号:CN101625641A
公开(公告)日:2010-01-13
申请号:CN200910305212.X
申请日:2009-08-05
Applicant: 天津大学
Abstract: 本发明属于软件安全技术领域,涉及一种基于安全缺陷知识库的可信软件开发方法,包括:(1)建立基于安全缺陷知识库;(2)将设计人员的用例图及需求说明文档作为信息收集的载体,找到设计中相关的误用例,并提供可度量效果及代价分析的缓和方案;(3)针对用例图中的每一个用例,绘制活动图,通过对活动图的结构分析,得到设计阶段即会显现出的软件缺陷;(4)通过对顺序图的分析给出软件中的脆弱点及潜在的攻击模式;(5)针对具体的编程语言及环境选择合适的工具检测代码的编写缺陷;(6)通过对软件成品的安全性评估,得出软件的可靠程度;(7)对所述知识库中的内容进行及时更新。本发明有利于降低开发成本,提高软件的可信度和开发效率。
-
-
-
-