-
公开(公告)号:CN117632751A
公开(公告)日:2024-03-01
申请号:CN202311675029.5
申请日:2023-12-07
Applicant: 中国科学院软件研究所
Abstract: 本发明提供一种基于大语言模型的深度学习编译器模糊测试方法及系统,所述方法包括:基于大语言模型生成多段能够调用一个或多个指定深度学习API的代码片段,以构成模糊测试的初始代码种子集合;根据指定深度学习API的文档进行传参的约束提取,得到API约束文件;基于API约束文件对初始代码种子进行变异,得到测试代码片段;通过比较测试代码片段在待测深度学习编译器与参考编译器的编译结果,得到待测深度学习编译器的测试结果。本发明可以发现深度学习编译器中的漏洞,保证深度学习模型的变异后语义与原始模型相同,进而保障下游应用程序的正确性。
-
公开(公告)号:CN115174966B
公开(公告)日:2024-02-06
申请号:CN202210729072.4
申请日:2022-06-24
Applicant: 中国科学院软件研究所
IPC: H04N21/2347 , H04N21/266
Abstract: 本发明提供了一种加密视频的在线播放方法、装置及系统,所述方法包括:接收终端发送的对称密钥,所述对称密钥由服务端时生成;将所述终端发送的视频播放请求,转发至所述服务端,以使所述服务端基于所述视频播放请求,生成加密响应信息;基于所述对称密钥分析所述加密响应信息,构建解密响应,并将所述解密响应发送至所述终端,以使所述终端基于所述解密响应,进行视频在线播放。本发明通过代理服务器解决私有加密通信协议下的加密视频在线播放问题。
-
公开(公告)号:CN116880817A
公开(公告)日:2023-10-13
申请号:CN202310958237.X
申请日:2023-08-01
Applicant: 中国科学院软件研究所
Abstract: 本发明公开了一种混合SIMD库及基于混合SIMD库的编程方法,所述混合SIMD库,包括:至少两个SIMD库;混合SIMD库接口,所述混合SIMD库接口基于一Vector模板类、一通用函数和每一SIMD库模板类实现,所述Vector模板类的参数包括Vector的元素类型,所述通用函数的参数包括所述Vector模板类的参数和SIMD库模板类,Vector模板类封装所有SIMD库共用的intrinsic向量类型,且每一SIMD库模板类中实现的各个函数的形参和返回类型为Vector向量类型。本发明可以在编程过程中灵活使用不同的SIMD库,提高程序的运行效率。
-
公开(公告)号:CN116702832A
公开(公告)日:2023-09-05
申请号:CN202310705688.2
申请日:2023-06-14
Applicant: 中国科学院软件研究所
IPC: G06N3/0455 , G06N3/0464 , G06N3/096 , G06N3/094
Abstract: 本发明公开了一种面向人工智能模型迁移安全的后门攻击对抗方法及系统。本发明基于对知识蒸馏迁移范式进行优化,来抵抗后门攻击触发器模式的转移;其中学生模型不直接模仿教师模型的输出,而是在利用Transformer对学生模型输出进行层间融合后以全局交互信息模式对教师模型输出进行匹配学习,教师模型的信息被融合信息分散拆解到学生模型各阶段的参数权重内,可避免学生模型受到教师模型内包含的基于局部信息的攻击后门的影响,同时全局信息融合可以提高学生模型所学习的语义,从而提高精度。本发明提供的方法可在迁移不可信来源的人工智能模型能力时,获得可去除基于局部信息攻击后门的安全学生模型。
-
公开(公告)号:CN116434040A
公开(公告)日:2023-07-14
申请号:CN202310197228.3
申请日:2023-03-03
Applicant: 中国科学院软件研究所 , 中科南京软件技术研究院
IPC: G06V10/94 , G06V10/82 , G06V10/764
Abstract: 本发明提供一种面向RISC‑V体系架构的实时目标检测方法及系统,涉及嵌入式系统领域。将寒武纪CNStream数据流处理SDK的环境依赖和CNToolkit及固件依次移植至RISC‑V体系架构中;移植寒武纪CNStream数据流处理SDK;加载离线模型文件;初始化嵌入式设备和MLU 220M.2;采集源数据,使用RTSP推流传入至寒武纪CNStream数据流处理SDK中;寒武纪CNStream数据流处理SDK对源数据进行处理,实现目标检测功能;目标检测结果通过RTSP推流至VLC媒体播放器进行展示。本发明通过使用Sifive Unmatched嵌入式设备和国产智能芯片寒武纪边缘端人工智能加速卡MLU 220M.2,运用寒武纪CNStream数据流处理SDK,实现面向RISC‑V体系架构的实时目标检测功能。
-
公开(公告)号:CN116401373A
公开(公告)日:2023-07-07
申请号:CN202310233658.6
申请日:2023-03-13
Applicant: 中国科学院软件研究所 , 中科南京软件技术研究院
IPC: G06F16/36 , G06F16/35 , G06F40/284 , G06F40/237 , G06F40/30 , G06N3/047 , G06N3/048 , G06N3/08 , G06N3/0464 , G06N3/0455 , G06N5/022
Abstract: 本发明公开了一种试题知识点的标注方法、存储介质及设备;包括S1:确定试题与知识点间关系,构建试题‑知识点关系模型;S2:搜集各类学科试题并进行人工知识点标注,然后构建出知识点题库;S3:对知识点题库中内容进行预处理;S4:结合多距离上下文融合模块以及BERT编码器构建试题知识点标注模型,通过预处理后的试题文本进行特征提取,以实现对试题相关知识点进行标注的训练;S5:将训练完成后的试题知识点标注模型进行测试,然后应用到试题中知识点的识别标注。上述方案明确了试题、学科与知识点间的关系,以能够同时识别多门学科、多类别的知识点,无需再为各个学科单独构建模型,并对冷门知识点的预测也能保持较高准确率。
-
公开(公告)号:CN116243924A
公开(公告)日:2023-06-09
申请号:CN202310142912.1
申请日:2023-02-08
Applicant: 中国科学院软件研究所 , 中科南京软件技术研究院
IPC: G06F8/41
Abstract: 本发明公开了一种内核配置项错误值的检测方法及装置,所述方法包括:获取待检测内核配置文件的Kconfig配置项定义文件;将所述Kconfig配置项定义文件中的Kconfig信息,保存到树结构;解析出待检查配置文件的配置项及取值,并基于所述树结构对所述配置项及取值进行检测,以得到所述待检查配置文件中各配置项的错误类型。本发明实现对内核配置项进行取值风险等问题的检测。
-
公开(公告)号:CN112905186B
公开(公告)日:2023-04-07
申请号:CN202110168454.X
申请日:2021-02-07
Applicant: 中国科学院软件研究所
IPC: G06F8/41 , G06N3/047 , G06N3/048 , G06N3/08 , G06F18/241
Abstract: 本发明公开了一种适用于开源软件供应链的高信噪比代码分类方法及装置,包括:将待预测代码转化为PE‑AST、将各节点数值化、抽取PE‑AST中的PE‑AST路径、将PE‑AST路径转化为可以进行运算的元组、计算关联系数WS、更新路径表示及根据PE‑AST特征向量进行预测。本发明可以提高代码表示过程中的信噪比,从而提高机器分类代码的准确度;依据对代码的分类,提高了编程者在代码理解、代码维护方面的工作效率。
-
公开(公告)号:CN114553704B
公开(公告)日:2023-03-24
申请号:CN202210128905.1
申请日:2022-02-11
Applicant: 中国科学院软件研究所
IPC: H04L41/0896 , H04L41/0663 , H04L43/0811 , H04L67/10 , H04L67/1004 , G06F16/2455 , G06F16/23 , G06F9/445
Abstract: 本发明公开了一种支持多设备同时接入服务器实现扩缩容的方法及系统。本方法包括:各服务器启动时向注册中心进行注册;网络接入设备向网络管控平台进行注册,请求为其分配服务器资源;网络管控平台根据从注册中心获取的服务器列表为网络接入设备分配一组服务器;所述一组服务器至少包括两服务器,当主节点宕机时启动设备与备节点之间的连接;网络接入设备完成注册后,向网络管控平台发送服务器地址查询请求,得到为其分配的一组服务器地址,与该组服务器建立连接;当扩容服务器或者现存服务器宕机时,注册中心将服务器变化信息通知至网络管控平台;平台进行负载均衡,更新网络接入设备和服务器之间的映射关系,更新设备与服务器的连接。
-
公开(公告)号:CN115714783A
公开(公告)日:2023-02-24
申请号:CN202211347656.1
申请日:2022-10-31
Applicant: 中国科学院软件研究所
IPC: H04L67/1095 , H04L61/4594 , H04L9/40
Abstract: 本发明公开一种端到端通讯录同步的方法及系统,涉及通信技术领域,通过用户个人通讯录数据保存在私有设备,同时满足用户多端便捷安全使用,从而保证个人通讯录数据能及时恢复、同步、方便保存与找回,用户随时随地多端访问及使用。用户通讯录的数据无需在平台保存,数据完全存储在私有设备中,最终实现用户通讯录数据多端同步、恢复、存储等功能的同时,比以往方法更大程度的避免数据泄漏,保证数据安全的同时实现便捷的个人数据管理。
-
-
-
-
-
-
-
-
-