基于控例的软件可信性需求提取方法

    公开(公告)号:CN102253886B

    公开(公告)日:2013-12-04

    申请号:CN201110164575.3

    申请日:2011-06-17

    Applicant: 北京大学

    Abstract: 本发明提供一种基于控例的软件可信性需求提取方法。以用例所表示的软件系统功能性需求为基础,该方法使用控例来表示软件系统的可信性需求,其包括以下步骤:识别威胁和系统行为偏差;评估风险;确定应对措施。本发明指导需求分析人员在软件系统需求提取阶段有效的捕获和组织软件系统的可信性需求,以此来降低软件系统部署之后可能给环境带来非期望结果的可能性,从而提高软件系统的可信性。

    可见光脉冲信号和红外图像的融合及融合模型的训练方法

    公开(公告)号:CN118537236A

    公开(公告)日:2024-08-23

    申请号:CN202410672843.X

    申请日:2024-05-28

    Applicant: 北京大学

    Abstract: 本发明涉及一种可见光脉冲信号和红外图像的融合及融合模型的训练方法,利用了可见光时空脉冲信号提取的可见光纹理不受运动模糊的影响,即使在极端光照条件下也能保持稳健的特性,以及红外图像对光照不敏感的特性,采用可见光时空脉冲信号提取纹理后的可见光图像集合对红外图像进行图像增强,使红外图像具有更多纹理细节,并将增强后的红外图像与基于可见光时空脉冲信号确定的可见光图像融合,结合两者的互补特性,实现即使在极端光照以及运动模糊的情况下,也能得到一个场景的高质量图像。

    一种低温高活性烟气脱硝催化剂及其制备

    公开(公告)号:CN104941630B

    公开(公告)日:2021-12-28

    申请号:CN201510394751.0

    申请日:2015-07-08

    Abstract: 本发明涉及一种含稀土的烟气脱硝催化剂及其制备,该催化剂以炭基材料为载体,负载有活性Al2O3、Mn、Cu和Fe中的任一种或几种金属活性组分、和Ce和La中的任一种或二者的稀土活性组分;其中,炭基载体含量为35‑65%、所述Al2O3以铝元素含量计负载含量为2‑5%,所述金属活性组分以金属元素含量计负载含量为13‑26%,所述稀土活性组分以稀土元素含量计负载含量为20‑39%。该催化剂通过用稀硝酸活化炭基材料,然后涂覆氧化铝溶胶,负载金属活性组分和稀土活性组分,最后在惰性气氛下进行干燥、煅烧得到。本发明获得了一种低温(90~120℃)时烟气脱硝催化效率高且不易发生中毒失效的催化剂。生产成本低、生产工艺简单,尤其适用于火电厂、钢铁厂和烧结厂等大烟气量排放企业。

    直链形肝素修饰的生物型人造血管

    公开(公告)号:CN103087218B

    公开(公告)日:2016-01-20

    申请号:CN201110453924.3

    申请日:2011-12-30

    Inventor: 罗莹 刘晓鹏 张伟

    Abstract: 本发明公开了一种直链形末端胱胺化肝素及其修饰的生物型人造血管。本发明所提供的末端胱胺化肝素的结构式如式I所示。将末端胱胺化肝素通过还原剂将其中的二硫键切断,得到了可与血管支架材料反应的巯基位点;通过双向官能团的偶联剂将血管内表面活化,具有直链形状的肝素即可通过化学键共价固定于血管材料内表面,从而获得具有抗凝作用的复合型人造血管。相对于目前通过肝素羧基修饰材料表面的方法,末端位点反应最大程度保留了肝素分子的天然性质。当该直链肝素修饰于血管内表面,提高了血管内壁抵抗血小板粘附并明显提高了血管的抗凝血性能,结果未修饰的血管。

    软件可信度的定量计算方法

    公开(公告)号:CN102982231B

    公开(公告)日:2015-09-02

    申请号:CN201210425731.1

    申请日:2012-10-30

    Applicant: 北京大学

    Abstract: 一种软件可信度的定量计算方法,其包括:定义可信度、服务质量、质量属性、质量属性指标。通过把当前质量属性中包含的每个质量属性指标的实际取值对期望取值的满足程度进行加权求和,产生一个取值范围在[0,1]之间的反映当前质量属性的实际取值对期望取值的满足程度的实数。通过把服务质量中包含的每个质量属性的实际取值对期望取值的满足程度进行加权求和,产生一个取值范围在[0,1]之间的反映软件可信度的实数。本发明可以对同一应用领域中的不同软件系统在特定应用环境中的可信度的高低进行定量比较,为用户对特定软件系统的选择提供依据。

Patent Agency Ranking