-
公开(公告)号:CN114780374A
公开(公告)日:2022-07-22
申请号:CN202111593390.4
申请日:2021-12-23
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明提供了一种基于细粒度优化选项配置差分的编译器缺陷定位方法,主要步骤:1)识别缺陷相关和无关的细粒度优化选项;2)关闭缺陷无关优化选项以得到使用优化尽可能少地触发缺陷的优化配置;3)组合关闭各缺陷相关优化以搜索接近的未触发缺陷的优化配置;4)获取不同优化配置编译器自身的覆盖信息;5)使用基于频谱缺陷定位方法计算各代码行是缺陷代码行的可疑值;6)将代码行级别的可疑值聚合到文件级别,根据各文件的可疑值进行缺陷定位。本发明解决了现有编译器缺陷定位方法效率低且准确性不足等问题,用细粒度优化选项配置差分的方式代替见证测试程序的生成,能有效定位编译器的缺陷。
-
公开(公告)号:CN202740472U
公开(公告)日:2013-02-20
申请号:CN201220415731.9
申请日:2012-08-17
Applicant: 南京大学医学院附属鼓楼医院
IPC: A61M1/00
Abstract: 本实用新型涉及改良颅脑引流精密计量器。本实用新型结构是引流管连通速度调节器,速度调节器连通精密计量壸,精密计量壸连通阻断夹,阻断夹连通贮污袋。本实用新型解决了现有各种引流袋存在着不能准确记录50ml以内的精密计量,也无法准确观察到单位时间内引流的速度,更无法判断不同时段引流液的色、质变化等缺陷。本实用新型不仅可以通过莫菲氏滴管观察到单位时间内引流的量,也能通过速度调节器来调节引流的速度,通过精密计量器对引流液进行准确精密计量。
-
公开(公告)号:CN203986243U
公开(公告)日:2014-12-10
申请号:CN201420453340.5
申请日:2014-08-11
Applicant: 南京大学医学院附属鼓楼医院
Abstract: 本实用新型涉病员服。本实用新型结构为在两侧肩部各设置固定带,无领领口下部起始部设置纽扣,纽扣下部是连接扣,右下方设置进出口,袖口一侧是条状开口,其上设置系带。本实用新型克服了过去病员服存在的无肠内营养管道固定带、有领设计、前胸连排纽扣连接、无心电监护导线进出口、袖子两侧非开放等缺陷。本实用新型病员服肩部设置固定带,用于固定肠内营养管道;无领的“V”形设计,采用字母带纽扣,可迅速暴露患者胸部,赢得抢救时机,防止导线压迫于患者季肋部,半开放式袖子和露背设计,更换病员服时方便,下摆直接遮盖,避免穿脱病员裤和管道打折,特别适用于长期卧床、瘫痪、气管切开的重症监护患者。
-
-