公开(公告)号：CN113139209A

公开(公告)日：2021-07-20

申请号：CN202110404903.6

申请日：2021-04-15

Applicant: 中国科学院软件研究所

Inventor： 曾靖 ,  蒋步云 ,  李春晓 ,  张亚丰 ,  郑龙帅 ,  李玉成 ,  梁赓

IPC: G06F21/64 ,  G06F21/62

Abstract: 本发明提供了一种基于原子性签名的可验证凭据实现方法和系统。所述方法包括：凭据属性结构创建者定义和创建可验证凭据属性结构；凭据颁发者根据可验证凭据属性结构，基于原子性签名机制构建可验证凭据；凭据持有者对可验证凭据的正确性进行验证；凭据持有者向凭据验证者选择性披露可验证凭据属性信息及其对应原子签名信息；凭据验证者对接收到的可验证凭据进行真实性和有效性验证；凭据颁发者更新整个可验证凭据或者只更新部分可验证凭据属性。基于本发明实现的可验证凭据方案，在支持更方便和更安全地选择性披露信息之外，还能更灵活高效地更新可验证凭据属性。

公开(公告)号：CN103942095B

公开(公告)日：2017-02-15

申请号：CN201410101628.0

申请日：2014-03-18

Applicant: 中国科学院软件研究所

Inventor： 吴振华 ,  马文静 ,  龙国平 ,  李玉成

IPC: G06F9/46 ,  G06T1/00

Abstract: 本发明设计了一种基于异构加速平台的二维相位解缠绕方法。在Branch cut步骤中加入了局部匹配，克服了并行实现的瓶颈；在算法的FloodFill步骤中使用Block的动态组织方式，解决了数据依赖；通过合并和压缩存储、创造数据的伪边界等优化方法，提高了执行速度，更大化地利用了硬件资源。本发明满足了二维相位解缠绕算法的实时性要求，也对并行编程和克服数据依赖提供了一定的指导意义。

公开(公告)号：CN115640038A

公开(公告)日：2023-01-24

申请号：CN202211377201.4

申请日：2022-11-04

Applicant: 中国科学院软件研究所

Inventor： 张常有 ,  田卓 ,  丁天乐 ,  李玉成

IPC: G06F8/70

Abstract: 本发明公开一种面向制造服务的软件构件库管理方法及装置，涉及软件工程、软件构件库管理系统、装备制造服务等技术领域，使用基于角色绑定的双重检索机制，能加深对软件构件信息的理解程度，便于软件构件的检索。可用于轨道交通、工程机械等高端复杂装备制造的后市场服务的业务平台建设，将不同的业务模块封装成为软件构件，支持多个软件生产者之间的联合研发，提高软件复用效率。