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

    公开(公告)号:CN102982231B

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

    申请号:CN201210425731.1

    申请日:2012-10-30

    Applicant: 北京大学

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

    软件质量需求建模和推理方法

    公开(公告)号:CN103399740A

    公开(公告)日:2013-11-20

    申请号:CN201310306158.7

    申请日:2013-07-19

    Applicant: 北京大学

    Abstract: 本发明提供一种软件质量需求建模和推理方法,用于提供一种面向软件质量需求的形式化建模、自动推理和分析平台rΣ,其包括以下步骤:设定相关概念;图形化建模,点击rΣ绘图区域,选取相应的建模元素,然后点击画布生成相应建模元素;形式化建模,根据面向软件质量需求目标建模语言Σ的语义和语法设计;策略评估,以确定实现策略是否是一个可接受的策略;策略发掘,以检查所有可能的设计选项的组合,并把这些策略按照根节点的满足状态分类;模型扩展,以捕捉不同建模结果之间的关联关系。本发明可以生成文本格式的质量需求建模结果。同时不再需要人工交互。另外支持对质量需求实现策略的多目标决策,可以捕获模型之间的相互依赖关系。

    CdSeS量子点纳米颗粒的制备方法

    公开(公告)号:CN101191052B

    公开(公告)日:2010-05-19

    申请号:CN200610163308.3

    申请日:2006-11-30

    Applicant: 北京大学

    Inventor: 沙印林 张伟

    Abstract: 本发明涉及一种新型的、光致发光谱随化学组成连续可调的、三元组分的半导体CdSeS量子点纳米颗粒及其制备方法。该CdSeS量子点纳米颗粒中Cd∶Se∶S的摩尔比例为1∶x∶y,0.001≤x≤0.1,0.1≤y≤10。随着x和y的变化,该CdSeS量子点纳米颗粒在450-700nm的范围内具有不同的光致发光谱,并且半峰宽在25-40nm的范围内。该CdSeS的制备方法包括:将无机镉化合物、脂肪酸和长链三烃基胺在惰性气体的保护下加热到200-350℃,得到溶液A;将S、Se的三烃基膦混合溶液注入到溶液A中使其反应,得到CdSeS量子点纳米颗粒与长链三烃基胺的混合物B;除去混合物B中的未反应物、杂质和反应溶剂,得到CdSeS量子点纳米颗粒。

Patent Agency Ranking