|
搜索
搜 索
高等教育领域数字化综合服务平台
一种流水线架构的零知识证明隐私计算专用加速芯片
1. 痛点问题
数据是数字经济时代的核心生产要素，但数据在自由流通或共享中才能产生更大价值。数据的隐私计算对保护数据安全，实现数据共享与协作应用，破除数据孤岛，提供合法合规的监管抓手，最大化释放数据价值有重大的现实价值。
零知识证明、安全多方计算、差分隐私、同态加密等现代密码学算法具有坚实完善的理论基础，可以提供最为可靠的数据保护方式。例如，零知识证明算法已经在学术界和工业界受到了广泛关注，应用于可信计算、区块链扩容、匿名货币等多种场景。然而，受制于算法的复杂度和硬件的计算能力，现有零知识证明等隐私计算性能仍比明文计算慢两到三个数量级，难以有效实现产业化。
2. 解决方案
本成果提出了一种高效的流水线芯片架构，显著提升了以零知识证明为核心的多种隐私计算和区块链应用中的数据处理性能和效率。本成果以算法为核心、以数据流为参考、以芯片实现为目的，通过全流水设计，优化芯片性能、面积和功耗，多维度解决隐私计算的算力不足问题，致力于成为新基建“数据价值互联网”的基础设施。
本成果所提出的芯片架构包含两个子系统。第一个子系统主要处理有限域上的高次多项式计算。通过利用傅里叶变换分解庞大的计算任务，同时对底层模块进行定制化流水线设计，并利用数据分片、片上转置等技术优化对数据流的控制。第二个子系统主要处理椭圆曲线上的大规模模幂运算。采用计算复杂度最优的Pippenger算法与定制化的数据流和底层流水线控制，并结合实际场景下的系数分布规律采用简单高效的任务分配机制，用最小的控制逻辑实现负载均衡。
清华大学
2021-09-15
基于Web技术的汽车零部件产品知识数据库系统
汽车零部件产品知识数据库系统主要用于汽车产品的自主开发设计。系统内可储存相关成熟产品的设计图纸、结构图片、及设计知识。为设计师进行新产品设计开发提供查询和参考。系统可运用关键词或图号或所属关系进行模糊查询，调用内存中的设计图纸、结构图片、及设计知识。实现技术支持的目标。 系统可实现权限管理，即根据不同的权限进行分级授权管理和存储调用AutoCAD、Pro/E、UG、CATIA等多种绘图软件绘制的工程视图，以及对相关图片、表格和测试报告等资料。并设计接口以兼容和调用采用其它设计计算模块，使其能有效的进行二次应用与管理操作
上海理工大学
2021-04-11
知识库建设与知识管理技术
知识是经验的积累，是智慧的结晶。企业知识是企业团队的共同财产。为企业不断的进步和发展，必须要管理好企业的各项资源。其中无形资产中的知识管理是一项重要的管理内容。根据人类认知结构，知识是由构造人类知识不同方面的模型组成。我们将企业各种不同类型的知识作为知识模型，基于知识构建的思想来获取和应用各类知识。利用知识工程、机器学习与自然语言处理等技术为知识库的构造提供理论与技术支撑。从企业知识内容入手，以知识结构与知识的组织为主线，基于本体论对知识进行描述，并建立知识之间的关联关系，以满足领域知识的表达、共享、重用，实现知识组织和推理，提供了动态与静态知识获取技术以及知识模板。 在知识库中应用本体来描述行业领域概念以及概念术语之间的关系，即知识，形成知识结构，完成行业知识库的构建。主要技术包括：1）基于模型的知识构建技术，以模型为核心来组织、管理、共享与应用知识体系；2）知识分类、知识结构与知识结构模型；2）基于本体的知识结构模型，基于本体的知识库构建与管理技术；3）依据知识复用的原则，建立了基于模板与模型的知识复用技术；4）基于模型的知识获取与描述技术；5）知识库系统的设计与实现技术。 本技术可用于通信、能源、交通、政府、国家中医药管理局、医疗机构、冶金行业、石油石化等行业。
北京科技大学
2021-04-11
教育知识图谱构建与服务平台
随着智慧教育理念的深入实施，对知识体系进行数字化重构成为一项迫切的基础性工作。知识图谱作为一种新型的复杂知识表征方法，为实现结构化、模型化、可演化的数字化知识体系提供了有效的手段。
本项目自主开发了教育知识图谱构建与服务平台，支持知识图谱的“建设、服务、规划、开放”四个主要功能。在平台的支撑下，以专业建设视角打通了从培养目标、课程体系、知识点、知识资源的链条，跨课程多维度关联形成了知识网络，实现教师、学生、知识、教材等的一体化集成，支撑专业培养方案定制、个性化学习、新形态教材建设。
技术上，平台具备灵活性、易用性和安全性。采用成熟的后端微服务框架极大地简化了开发流程，同时提供了灵活的数据库操作和高效的前后端集成，确保了系统的高性能和可靠性。前端设计上，平台利用高质量组件和响应式布局提供了良好的可定制性，使用户界面在视觉上更具吸引力，操作上更加友好。在数据存储方面，平台不仅确保了数据的可靠性和易用性，强化了专业知识图谱等复杂图数据的高性能处理能力。
平台应用于专业课程教学、数字化教材设计、培养方案定制等教育领域。该平台在智慧教育领域具有巨大的市场潜力。与市场上同类产品相比，成熟度高，适配性强，软件自主可控。
图1.专业知识图谱局部展示
图2.知识查查路径知识搜索展示
图3.培养方案系统化输入界面
图4.平台数据统计界面
图5.知识节点内部资料输入界面
北京理工大学
2024-02-27
国家知识产权局关于全面提升知识产权公共服务效能的指导意见
为深入实施知识产权公共服务普惠工程，促进知识产权公共服务更好服务高水平科技自立自强，为培育发展新质生产力、推动高质量发展提供支撑保障，充分发挥省级知识产权管理部门统筹管理作用，进一步提升知识产权公共服务效能，现提出以下意见。
国家知识产权局
2024-07-30
基于HybridUML和定理证明的CPS自适应性验证方法
本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML规约转换为定理证明器KeYmaera的输入-量化混合程序QHP；结合生成的QHP，以量化微分动态逻辑QdL公式的形式对待验证的属性进行规约，然后利用KeYmaera进行自动验证。
东南大学
2021-04-10
知识付费SAAS系统
创客匠人专注为教育培训讲师、机构等内容创业者提供：知识付费、营销获客、直播互动、数据分析、效率提升、品牌传播、商业变现为闭环的一整套互联网解决方案。公司产品矩阵包括：教育SAAS、直播SAAS、企训SAAS、内容SAAS等。
厦门创匠信息科技股份有限公司
2021-01-22
一种针对云平台虚拟机度量的主动远程证明方法
本发明提供一种针对云平台虚拟机度量的主动远程证明方法，包括远程证明客户端主动操作过程和 云管理端的服务器可信验证过程，在云平台虚拟机启动后进行静态度量和运行后周期性的动态度量，度 量完成后，进行主动的远程证明，云管理端获得度量的值和度量报告后，通过与基线值的对比，验证虚 拟机的状态是否被篡改。该方法改变了传统的被动式远程证明方法，由度量模块主动触发远程证明客户 端，实时将度量结果发送给云管理服务器端，无需将度量值保存在 TPM 的 PCR 中，
武汉大学
2021-04-14
证明了这个二维体系的带隙是拓扑平庸的
交换场为零时，非磁性拓扑绝缘体Bi 2
南方科技大学
2021-04-14
《关于推进重点产业知识产权强链增效的若干措施》
以“一个关键、两个重点、三个兼顾、四个着力”总体思路，推进重点产业知识产权强链增效工作，加快发展新质生产力。
国家知识产权局
2024-07-30