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

    公开(公告)号:CN102982231A

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

    申请号:CN201210425731.1

    申请日:2012-10-30

    Applicant: 北京大学

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

    特征二元约束关系的自动挖掘方法

    公开(公告)号:CN102930074A

    公开(公告)日:2013-02-13

    申请号:CN201210357166.X

    申请日:2012-09-21

    Applicant: 北京大学

    Abstract: 一种特征二元约束关系的自动挖掘方法,其包括以下步骤:配对步骤,对一组N个特征进行两两配对形成“特征对”,并根据已知条件将“特征对”分为“空白对”、“依赖对”、“互斥对”和“未知对”四类;量化步骤,对于每一个“特征对”,定义四个指标对其进行量化;训练步骤,使用经过量化的“空白对”、“依赖对”和“互斥对”作为训练样本,对用于挖掘出“依赖对”和“互斥对”的一分类器进行训练;分类步骤,使用分类器对输入的“未知对”进行分类,在“未知对”中发现“依赖对”和“互斥对”就意味着挖掘到了新的二元约束关系。本发明可以高度自动化的进行大规模特征模型中约束关系的建立,提高特征模型的建模效率。

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

    公开(公告)号:CN101191052A

    公开(公告)日:2008-06-04

    申请号: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量子点纳米颗粒。

    多智能体在物理空间中的成形方法

    公开(公告)号:CN113936115B

    公开(公告)日:2024-10-29

    申请号:CN202111241097.1

    申请日:2021-10-25

    Applicant: 北京大学

    Abstract: 本发明公开了一种多智能体在物理空间中的成形方法,应用于智能体系统的分布式控制技术领域,具体步骤包括如下:将连续的物理空间离散化为网格空间,并定义多智能体成形问题;每一个智能体向协调器报告在网格空间中的位置;在接收到每个智能体的位置后,协调器获取每个位置的系统状态;开始迭代,在每一轮迭代中,每一个智能体顺序执行1)局部光场计算;2)优先级队列生成;3)确定下一时刻的位置;4)移动到下一位置;当所有智能体都占据目标形状中的一个网格;或者目标形状中的每一个网格都被一个智能体占据,迭代结束。本发明公开了一种高效、可拓展和稳定的多智能体在物理空间中的成形方法。

    一种迭代式图对齐方法
    126.
    发明公开

    公开(公告)号:CN114187457A

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

    申请号:CN202111544072.9

    申请日:2021-12-16

    Applicant: 北京大学

    Abstract: 本发明公开了一种迭代式图对齐方法,涉及图结构数据自动对齐相关技术领域,具体步骤为:获取拓扑图,获得任意两幅待对齐的拓扑图之间的初始对齐关系;计算任意两幅待对齐的拓扑图中任一节点关于初始对齐关系的上下文;求取任意两幅待对齐的拓扑图中任意一对相同类型的节点之间的相似度;计算任意两幅待对齐的拓扑图中任一类型的节点的平均相似度;获得任意两幅待对齐的拓扑图中任一类型的节点之间的对齐关系;形成任意两幅待对齐的拓扑图的对齐关系;判断是否继续进行迭代计算;本申请显式考虑拓扑图中节点的类型信息以及节点与拓扑图中其他节点之间的关系,提高了拓扑图对齐的准确度。

    多智能体在物理空间中的成形方法

    公开(公告)号:CN113936115A

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

    申请号:CN202111241097.1

    申请日:2021-10-25

    Applicant: 北京大学

    Abstract: 本发明公开了一种多智能体在物理空间中的成形方法,应用于智能体系统的分布式控制技术领域,具体步骤包括如下:将连续的物理空间离散化为网格空间,并定义多智能体成形问题;每一个智能体向协调器报告在网格空间中的位置;在接收到每个智能体的位置后,协调器获取每个位置的系统状态;开始迭代,在每一轮迭代中,每一个智能体顺序执行1)局部光场计算;2)优先级队列生成;3)确定下一时刻的位置;4)移动到下一位置;当所有智能体都占据目标形状中的一个网格;或者目标形状中的每一个网格都被一个智能体占据,迭代结束。本发明公开了一种高效、可拓展和稳定的多智能体在物理空间中的成形方法。

    非功能需求实现策略的量化选择方法

    公开(公告)号:CN104765602B

    公开(公告)日:2019-01-18

    申请号:CN201510119570.7

    申请日:2015-03-18

    Applicant: 北京大学

    Abstract: 本发明提供一种非功能需求实现策略的量化选择方法,其包括:建立一量化选择平台,该平台的支撑工具分为四层:界面层、数据层、功能层和接口层;问题图建模,通过鼠标点击平台的工具绘图区域,选取相应的建模元素,然后点击画布生成相应建模元素,在画布上进行问题框架方法中问题图的建模;在建模得到问题图的基础上,实现系统行为模型的建模;非功能需求驱动的系统行为扩展,采用基于模式的方法来在非功能需求的驱动下进行系统行为扩展;操作策略的量化选择,根据非功能需求,针对操作策略进行选择。本发明可以根据多种量化的因素,在非功能需求的指导下,从众多备选的实现策略中选取一组实现策略,使得非功能需求的满足程度达到最优。

Patent Agency Ranking