-
公开(公告)号：CN117688572A
公开(公告)日：2024-03-12
申请号：CN202311642747.2
申请日：2023-12-04
Applicant: 复旦大学
Abstract: 本发明属于区块链技术领域，具体为一种基于可信执行环境的通用智能合约运行方法。针对区块链智能合约的开发场景，本发明方法包括：设计通用智能合约虚拟机模型，实现面向通用编程语言智能合约的运行机制；设计基于可信执行环境的智能合约链下执行引擎，用于保障通用智能合约的安全执行。本发明能在不改变已有的区块链系统结构和共识机制的情况下，满足通用编程语言在智能合约中的应用需求。
-
公开(公告)号：CN113535803B
公开(公告)日：2023-03-10
申请号：CN202110657812.3
申请日：2021-06-15
Applicant: 复旦大学 , 上海信联信息发展股份有限公司
IPC: G06F16/2458 , G06F16/22 , G06F21/64
Abstract: 本发明属于区块链数据检索技术领域，具体为一种基于关键字索引的区块链高效检索及可靠性验证方法。本发明方法包括基于关键字索引的可验证默克尔哈希树构建，针对关键字的可验证高效检索，检索结果集可靠性验证。为支持区块链上对于高效检索包含目标关键字以及支持检索结果可靠性验证的功能，本发明提出基于关键字索引的可验证默克尔哈希树结构，实现目标关键字的高效检索，并引入布隆过滤器加速不同区块间的检索，同时提出对于检索结果可靠性验证方法。本发明能够有效的提高区块链上对包含目标关键字数据检索的效率，并且为轻节点用户提供检索结果可靠性验证，使得用户能够对检索数据的正确性和完整性进行验证。
-
公开(公告)号：CN112733446A
公开(公告)日：2021-04-30
申请号：CN202110016872.7
申请日：2021-01-07
Applicant: 复旦大学
IPC: G06F30/27 , G06N3/04 , G06N3/08 , G06F113/06 , G06F119/08
Abstract: 本发明公开了一种数据驱动的自适应异常检测方法；其应用于风机发电机轴承的异常检测。该异常检测方法采用无监督学习技术，仅基于风机标准安装的数据采集和监视控制（SCADA:Supervisory Control And Data Acquisition）系统实现。该算法基于对于长时间运行的单台风机而言，其大部分时间应处于正常运行状态这一假设，无需额外的、昂贵的数据标签，即可建立风机正常运行状态的模型，从而检测出可能的轴承异常。实验证明，该算法对风机发电机轴承异常检测的准确率达到80%以上，查全率达50%以上。
-
公开(公告)号：CN117992057A
公开(公告)日：2024-05-07
申请号：CN202410065425.4
申请日：2024-01-17
Applicant: 复旦大学
Abstract: 本发明属于隐私计算技术领域，具体为一种基于同态加密的隐私计算程序编译方法。本发明方法包括：设计基于同态加密的特定矩阵计算编译方法，用于保障同态加密下的隐私计算程序中矩阵计算的快速执行；设计同态加密程序编译方法，实现同态加密下的隐私计算程序的便捷开发。本发明通过六种矩阵编码方式实现单次矩阵乘法的性能提升，通过连续相乘方法很好地降低密文同态加密旋转的次数，从而减少计算所消耗的时间；本发明将高级语言形式编写的代码进行直接转译并构建控制流图，针对控制流图中的计算操作设计过滤规则，筛选并合并操作，同时跟踪噪音变化，避免自举操作，实现隐私计算程序编译步骤的减少，提高程序开发效率。
-
公开(公告)号：CN115081381A
公开(公告)日：2022-09-20
申请号：CN202210707368.6
申请日：2022-06-21
Applicant: 上海伴芯科技有限公司 , 复旦大学
IPC: G06F30/392 , G06N3/04 , G06N3/08
Abstract: 本发明提供了一种基于图神经网络的芯片布图规划方法、装置及存储介质，包括：生成具有最优模块布局的训练数据集；基于变分图自动编码器框架构建模块布局模型；用训练数据集训练模块布局模型，得到训练好的模块布局模型，使之学习到最优模块布局的关键特征；根据目标芯片的电路网表对目标芯片的电路进行电路划分，得到所有模块以及模块之间的互连信息；根据模块之间的互连信息，利用训练好的模块布局模型确定每个模块在目标芯片中的位置。本发明提供的布图规划方法相对传统的数学解析法或构造法具有更快的收敛速度和更强的线长优化能力。
-
Patent Agency Ranking
公开(公告)号：CN101964004B
公开(公告)日：2013-08-21
申请号：CN200910055400.1
申请日：2009-07-24
Applicant: 复旦大学
Abstract: 本发明属集成电路技术领域，涉及一种应用于集成电路设计自动化中的多核并行最小代价流求解方法及装置。该方法及装置基于非确定性事务模型来实现最小代价流的求解，易于算法设计和并行实现，并从理论上保证算法的正确性。该方法利用线程池及线程绑定技术降低线程创建释放以及线程调度的开销，提高并行的效率。本发明利用多核处理器技术来提升最小代价流求解的速度，用于包含任何数目处理器核的装置，具有很好的伸缩性。本发明可用于求解一大类集成电路设计自动化问题的多核并行实现。
-
公开(公告)号：CN115081381B
公开(公告)日：2024-10-15
申请号：CN202210707368.6
申请日：2022-06-21
Applicant: 上海伴芯科技有限公司 , 复旦大学
IPC: G06F30/392 , G06N3/0455 , G06N3/042 , G06N3/09
Abstract: 本发明提供了一种基于图神经网络的芯片布图规划方法、装置及存储介质，包括：生成具有最优模块布局的训练数据集；基于变分图自动编码器框架构建模块布局模型；用训练数据集训练模块布局模型，得到训练好的模块布局模型，使之学习到最优模块布局的关键特征；根据目标芯片的电路网表对目标芯片的电路进行电路划分，得到所有模块以及模块之间的互连信息；根据模块之间的互连信息，利用训练好的模块布局模型确定每个模块在目标芯片中的位置。本发明提供的布图规划方法相对传统的数学解析法或构造法具有更快的收敛速度和更强的线长优化能力。
-
公开(公告)号：CN113723954A
公开(公告)日：2021-11-30
申请号：CN202110657813.8
申请日：2021-06-15
Applicant: 复旦大学 , 上海信联信息发展股份有限公司
Abstract: 本发明属于区块链技术领域，具体为一种对区块链中异常交易节点进行检测和监管的方法。本发明方法包括：设计新型跨链数字身份模型，通过统一身份入口和跨链网关以及分布式存储技术对多条异构链进行交易数据的融合操作，这种操作模式为所有交易的产生、查询和认证、监管等提供统一的渠道；采用图神经网络的人工智能技术对区块链中交易和地址节点所构成的动态结构进行图的构建，通过汇聚周边地址节点的特征信息对目标地址节点进行复合特征构建，从区块链点对点的通信和交易空间结构对整个系统中的异常行为进行检测监管；本发明能够有效地提高区块链异常检测的效率，为区块链在更广泛的场景应用提供了技术支持。
-
公开(公告)号：CN101964003A
公开(公告)日：2011-02-02
申请号：CN200910055399.2
申请日：2009-07-24
Applicant: 复旦大学
IPC: G06F17/50
Abstract: 本发明涉及一种集成电路可靠性分析方法和装置，该分析方法建立了同时考虑NBTI效应和工艺参数扰动的单元电路延时老化随机分析基准模型，提出了缩放函数以及等效老化时间概念来快速从基准模型求解单元电路在实际工作环境下的延时统计分布，提出了一种电路的预裁剪过程，降低了可靠性分析的复杂度。本发明的装置包括输入单元、输出单元、程序存储单元、外部总线、内存、存储管理单元、输入输出桥接单元、系统总线和处理器。本发明同时考虑了工艺参数扰动、NBTI效应和电路工作环境对可靠性的影响，利用缩放函数、等效老化时间及预裁剪技术可以有效降低可靠性分析的复杂度，实现对超大规模集成电路考虑工艺偏差的可靠性的快速分析。
-
公开(公告)号：CN117668895A
公开(公告)日：2024-03-08
申请号：CN202311488753.7
申请日：2023-11-09
Applicant: 复旦大学
IPC: G06F21/62 , G06N3/0464 , G06N3/082 , G06F16/538 , G06F21/60
Abstract: 本发明属于图像检索隐私保护领域，具体为一种基于全同态加密和卷积神经网络的安全图像检索方法；本发明方法包括：基于全同态加密CKKS算法设计合适的网络架构，实现加密域下的卷积神经网络计算；针对加密域下的计算复杂度高的问题，对算法的网络模型进行相关优化，并通过剪枝量化融合的方案降低模型的数据规模，以减少加密域下模型推断的计算量以提高计算效率，最终实现一个保证图像数据安全的检索算法。
-
-
-
-
-
-
-
-
-
Search Results
16
records
(took 0.02 seconds)
