-
公开(公告)号：CN104699595A
公开(公告)日：2015-06-10
申请号：CN201310655851.5
申请日：2013-12-06
Applicant: 北京大学
Abstract: 一种面向软件升级的软件测试方法，所述方法基于等式描述的蜕变关系自动构造。在软件升级前，测试人员针对现有软件，构造每个程序的蜕变关系；所述程序指的是实现特定函数计算功能的程序代码；在软件升级后，针对修改后的程序，测试人员产生n个一定范围内的随机数作为测试用例，然后将每个测试用例和其在修改后程序中相应的输出代入修改之前程序构造出的蜕变关系式中，查看蜕变关系式是否成立，若修改后的程序不符合之前所构造出来的蜕变关系，则说明软件在升级过程中存在错误。通过本发明，测试人员可以将构造出的蜕变关系应用到蜕变测试中，从而验证软件版本升级过程中程序的正确性。
-
公开(公告)号：CN104167362A
公开(公告)日：2014-11-26
申请号：CN201410386689.6
申请日：2014-08-07
Applicant: 北京大学
IPC: H01L21/336
CPC classification number: H01L29/66462 , H01L21/027 , H01L21/0271
Abstract: 本发明提供一种氮化镓盖帽层掩模的凹槽栅氮化镓基增强型器件的制备方法，其步骤包括：在氮化镓基表面光刻器件区域，刻蚀非器件区域；在氮化镓基表面光刻凹槽栅区域图形；刻蚀凹槽栅区域的氮化镓盖帽层并去除剩余光刻胶；对氮化镓基表面在高温条件下进行氧化处理；将氮化镓基表面置于腐蚀性溶液中进行腐蚀；对氮化镓基表面淀积栅绝缘层；光刻源漏区域，刻蚀源漏区域的栅绝缘层并制备欧姆接触；制备栅金属。本发明采用氮化镓盖帽层为掩模，简化了制备工艺，降低了制备成本，凹槽栅结构的制备可以实现自停止，可操作性和可重复性高，制备的氮化镓基增强型器件性能优异，阈值电压为4.4V，最大电流为135mA/mm，更利于工业化生产。
-
公开(公告)号：CN101311898B
公开(公告)日：2010-11-17
申请号：CN200810116038.X
申请日：2008-07-02
Applicant: 北京大学
Abstract: 本发明公开了一种软件构件可信度评价方法和系统，通过定制软件构件可信性描述模板确立面向用户的构件可信性评价的目标，所述可信性描述模板设置有所述软件构件的信任属性；从构件库系统中获取对应于所述软件构件的信任属性的证据信息；根据所述证据信息，对所述软件构件的可信度进行评价，获得所述软件构件的可信度。本发明通过基于软件构件可信性描述模板获取证据信息，根据证据信息获得构件在各信任属性上的信誉值，并综合所述信誉值评估软件构件的可信度，使得软件构件的可信度具有较强的针对性、实用性和环境适应性，同时，也便于软件构件库的管理和用户的检索。
-
-
公开(公告)号：CN101308457A
公开(公告)日：2008-11-19
申请号：CN200810115316.X
申请日：2008-06-20
Applicant: 北京大学
IPC: G06F9/44
Abstract: 本发明公开了一种用户反馈可靠性保障方法，包括分析构件库系统的用户反馈评价中的不公平反馈信息，建立所述构件库系统的不公平反馈信息类别；根据所述不公平反馈信息类别，对所述不公平反馈信息进行筛选或修正。本发明通过对构件库系统中构件的用户反馈评价信息进行分析，获得构件库系统中用户反馈的不公平反馈信息类别，并对不同类别的不公平反馈信息采取有针对性的处理，保证了用户反馈的可靠性，提高了不公平反馈处理的全面性，极大地避免了不公平反馈的影响，提高了构件信誉评估的可靠性。
-
Patent Agency Ranking
公开(公告)号：CN116831547A
公开(公告)日：2023-10-03
申请号：CN202310774207.3
申请日：2023-06-28
Applicant: 北京大学人民医院
IPC: A61B5/03
Abstract: 本发明涉及一种经阴道腹内压测压装置及其使用方法，所述经阴道腹内压测压装置包括MCU(微控制单元)、蓝牙发射模块和纽扣电池模块，所述压力传感器、蓝牙发射模块和纽扣电池模块均固定在所述MCU上，所述MCU分别与所述压力传感器、蓝牙发射模块和纽扣电池模块连接，所述压力传感器位于所述阴道内，用于采集腹内压力信号并将采集的压力信号反馈给所述MCU，所述MCU用于压力信号的采集控制和数据处理，并将处理后的压力数据通过所述蓝牙发送模块发送至终端，能够用于间接测量封闭的腹腔压力，是一种无创的测压设备，结构小巧，使用便捷，舒适度更高，填补国内在经阴道腹内压测压相关装置、仪器或设备方面研制的空白。
-
公开(公告)号：CN115543402A
公开(公告)日：2022-12-30
申请号：CN202211453262.4
申请日：2022-11-21
Applicant: 北京大学
IPC: G06F8/658
Abstract: 本发明公开了一种基于代码提交的软件知识图谱增量更新方法，其步骤包括：1）根据目标软件项目现有的知识图谱，为该目标软件项目创建代码演化知识图谱元模型，包含代码提交实体、代码实体以及它们之间的关系；代码实体包括代码文件、变量、函数、结构体及域成员；关系包括增加、删除、修改关系，代码文件对变量、函数、结构体的定义关系、引用关系、调用关系、所属关系；2）对该目标软件项目的每一次Commit数据进行解析，得到该项目更新前后两版本的代码语法树；然后遍历每一语法树，抽取出待更新的代码元素集；3）根据待更新的代码元素集和所述演化知识图谱元模型，对该目标软件项目当前的知识图谱进行更新，得到更新后的软件知识图谱。
-
公开(公告)号：CN108959433B
公开(公告)日：2022-05-03
申请号：CN201810597005.5
申请日：2018-06-11
Applicant: 北京大学
IPC: G06F16/36 , G06F16/332 , G06F16/33 , G06F16/31 , G06F16/901 , G06F8/75
Abstract: 本发明公开了一种从软件项目数据中提取知识图谱并问答的方法与系统。本方法为：对于软件项目数据库中每种类型的软件项目数据，从该类型的软件项目数据中提取出实体以及实体之间的关联关系，并存储到一对应的图数据库中；基于软件数据的可追踪性关联技术对各所述图数据库中的数据进行关联处理，得到不同类型软件项目数据的实体之间的关联关系；根据不同类型软件项目数据的实体之间的关联关系，在各图数据库中加入相应的边，对不同来源的实体进行连接，生成软件项目数据的知识图谱；对于输入的自然语言查询语句，从知识图谱中查询得到一匹配的连通子图作为答案。本发明解决了软件项目数据关联缺失、信息隔离现象严重、难以联立查询与分析的问题。
-
-
公开(公告)号：CN104699595B
公开(公告)日：2017-07-28
申请号：CN201310655851.5
申请日：2013-12-06
Applicant: 北京大学
Abstract: 一种面向软件升级的软件测试方法，所述方法基于等式描述的蜕变关系自动构造。在软件升级前，测试人员针对现有软件，构造每个程序的蜕变关系；所述程序指的是实现特定函数计算功能的程序代码；在软件升级后，针对修改后的程序，测试人员产生n个一定范围内的随机数作为测试用例，然后将每个测试用例和其在修改后程序中相应的输出代入修改之前程序构造出的蜕变关系式中，查看蜕变关系式是否成立，若修改后的程序不符合之前所构造出来的蜕变关系，则说明软件在升级过程中存在错误。通过本发明，测试人员可以将构造出的蜕变关系应用到蜕变测试中，从而验证软件版本升级过程中程序的正确性。
-
-
-
-
-
-
-
-
-
Search Results
56
records
(took 0.019 seconds)
