-
公开(公告)号:CN101964003B
公开(公告)日:2012-09-05
申请号:CN200910055399.2
申请日:2009-07-24
Applicant: 复旦大学
IPC: G06F17/50
Abstract: 本发明涉及一种集成电路可靠性分析方法和装置,该分析方法建立了同时考虑NBTI效应和工艺参数扰动的单元电路延时老化随机分析基准模型,提出了缩放函数以及等效老化时间概念来快速从基准模型求解单元电路在实际工作环境下的延时统计分布,提出了一种电路的预裁剪过程,降低了可靠性分析的复杂度。本发明的装置包括输入单元、输出单元、程序存储单元、外部总线、内存、存储管理单元、输入输出桥接单元、系统总线和处理器。本发明同时考虑了工艺参数扰动、NBTI效应和电路工作环境对可靠性的影响,利用缩放函数、等效老化时间及预裁剪技术可以有效降低可靠性分析的复杂度,实现对超大规模集成电路考虑工艺偏差的可靠性的快速分析。
-
公开(公告)号:CN101964004A
公开(公告)日:2011-02-02
申请号:CN200910055400.1
申请日:2009-07-24
Applicant: 复旦大学
Abstract: 本发明属集成电路技术领域,涉及一种应用于集成电路设计自动化中的多核并行最小代价流求解方法及装置。该方法基于非确定性事务模型来实现最小代价流的求解,易于算法设计和并行实现,并从理论上保证算法的正确性。该方法利用线程池及线程绑定技术降低线程创建释放以及线程调度的开销,提高并行的效率。本发明的装置包括输入单元、输出单元、程序存储单元、外部总线、内存、存储管理单元、输入输出桥接单元、系统总线和多核处理器。本发明利用多核处理器技术来提升最小代价流求解的速度,用于包含任何数目处理器核的装置,具有很好的伸缩性。本发明可用于求解一大类集成电路设计自动化问题的多核并行实现。
-
公开(公告)号:CN117874337A
公开(公告)日:2024-04-12
申请号:CN202410006513.7
申请日:2024-01-03
Applicant: 复旦大学
IPC: G06F16/9535 , G06F16/9536 , G06F30/20
Abstract: 本发明公开了一种在线内容平台场景下的推荐交互模拟系统及其方法;本发明以智能体为基本单元对在线内容平台中用户与推荐系统之间交互动态进行模拟,其包括两种智能体,分别为用户智能体和推荐系统智能体;用户智能体,用于执行发布、转发、点赞、评论、关注、取消关注六种行为;推荐系统智能体,生成候选列表,以向用户智能体提供帖子推荐和朋友推荐;用户智能体采用由活跃度模型、偏好模型、生成模型构成的在线内容平台用户模拟通用框架,以对用户活跃度、用户交互偏好、用户内容生成趋势准确模拟,将用户多类型的复杂行为统一抽象为从候选列表中进行选择的标准过程;本发明可以满足在线内容平台场景下虚拟用户实验、推荐系统测试等需求。
-
公开(公告)号:CN117692123A
公开(公告)日:2024-03-12
申请号:CN202311488601.7
申请日:2023-11-09
Applicant: 复旦大学
Abstract: 本发明属于区块链技术领域,具体为一种适用于高性能区块链的自适应默克尔树及其操作方法。本发明的默克尔树的树节点中包括四种不同宽度的自适应节点,根据空间使用情况选择最契合的类型,旨在减少节点内空间浪费,从而减少默克尔树的空间消耗。本发明的新型默克尔树使用更大的节点跨度,能减小默克尔树的高度,从而可以减少磁盘读写I/O的次数,避免空间浪费。
-
公开(公告)号:CN116362186A
公开(公告)日:2023-06-30
申请号:CN202111599448.6
申请日:2021-12-24
Applicant: 复旦大学
IPC: G06F30/373 , G06F30/27 , G06N7/01
Abstract: 本发明属模拟集成电路设计中电路设计自动化领域,涉及一种基于图嵌入的连续空间运算放大器拓扑优化方法,具体涉及一种基于定制的有向无环图自动编码器(variational graph auto‑encoder,VGAE)双层贝叶斯优化(Bi‑level Bayesian Optimization)算法的运算放大器(operational amplifier)电路拓扑优化方法;该方法能根据具体的设计指标,自动完成运算放大器电路的拓扑结构优化和参数调整,可大幅缩短电路的设计周期。
-
公开(公告)号:CN113535803A
公开(公告)日:2021-10-22
申请号:CN202110657812.3
申请日:2021-06-15
Applicant: 复旦大学 , 上海信联信息发展股份有限公司
IPC: G06F16/2458 , G06F16/22 , G06F21/64
Abstract: 本发明属于区块链数据检索技术领域,具体为一种基于关键字索引的区块链高效检索及可靠性验证方法。本发明方法包括基于关键字索引的可验证默克尔哈希树构建,针对关键字的可验证高效检索,检索结果集可靠性验证。为支持区块链上对于高效检索包含目标关键字以及支持检索结果可靠性验证的功能,本发明提出基于关键字索引的可验证默克尔哈希树结构,实现目标关键字的高效检索,并引入布隆过滤器加速不同区块间的检索,同时提出对于检索结果可靠性验证方法。本发明能够有效的提高区块链上对包含目标关键字数据检索的效率,并且为轻节点用户提供检索结果可靠性验证,使得用户能够对检索数据的正确性和完整性进行验证。
-
-
-
-
-