-
公开(公告)号：CN112559760A
公开(公告)日：2021-03-26
申请号：CN202011411012.5
申请日：2020-12-06
Applicant: 复旦大学
IPC: G06F16/36 , G06F40/211 , G06F40/289
Abstract: 本发明属于知识图谱技术领域，具体为一种面向文本描述的CPS资源能力知识图谱构建方法。本发明针对不同类型的信息物理资源，首先从资源相关代码与文档中提取与资源能力有关的文本描述信息，基于预定义的动宾短语模式生成规范化表达的能力短语；然后基于动宾结构的关键成分对能力短语进行划分、聚合与抽象，生成不同资源类型的能力层次化抽象描述；最后构建出资源能力知识图谱。本发明基于资源能力的文本描述，自动化构建资源能力知识图谱，减少了人工构建工作量。本发明是信息物理融合系统领域知识图谱的补充，增加了关于资源服务与能力描述，提高了图谱的知识完备性。
-
公开(公告)号：CN106775597A
公开(公告)日：2017-05-31
申请号：CN201611108730.9
申请日：2016-12-06
Applicant: 复旦大学
Abstract: 本发明属于计算机技术领域，具体为一种松耦合结构的并行多核全系统模拟器。本发明主要由功能模拟模块、时序模拟模块、通用接口模块以及差异检测和调节模块构成。本发明在功能模拟和时序模拟模块之间采用松耦合的结构，减少两者之间的交互，增加了系统并行执行的力度，提高了模拟的性能，还使得模拟器容易根据需求扩展，即具有优秀的可扩展性和较高的模拟性能；本发明还通过设计错误路径模块、共享内存访问检测和修正模块、异常和中断处理模块和共享页表访问的检测和修正模块，从而保证模拟器模拟结果的精确性。本发明可用来分析和评估多核处理器的运行行为和时序信息。
-
公开(公告)号：CN101944014A
公开(公告)日：2011-01-12
申请号：CN201010281797.9
申请日：2010-09-15
Applicant: 复旦大学
IPC: G06F9/38
Abstract: 本发明属于程序编译技术领域，具体为一种自动流水并行的实现方法。本发明方法主要包括：(1)流水并行的识别，具有跨循环迭代的依赖且依赖距离向量为常量的循环结构；(2)线程间同步，依据依赖距离向量插入同步，删除具有相同距离向量的冗余同步；(3)静态步长的线程调度，为了平衡各个线程的工作负载，减少通讯开销，自定义了线程调度策略。对于循环结构的类型识别依赖传统的数组数据流分析和依赖性测试，流水并行只处理后向跨循环迭代的规则循环结构。流水并行的同步开销较大，因而只对嵌套循环的最外层展开流水并行。流水并行的收益依赖程序本身，循环迭代数目越大，依赖距离越长，则性能提升越大。流水并行的实现增强了自动并行优化的能力，有利用进一步提高科学计算类程序的性能。
-
-
公开(公告)号：CN108509373A
公开(公告)日：2018-09-07
申请号：CN201810226786.7
申请日：2018-03-19
Applicant: 复旦大学
IPC: G06F15/78 , G06F15/173
Abstract: 本发明属于计算机技术领域，具体为一种面向SoC软件研发的全系统模拟平台。本发明设计的模拟平台采用松耦合的组织架构，并且设定规范的通讯接口；以软硬件协同工作的方式，通过FPGA开发板实现IP核的功能执行，并提供执行过程中时序信息，由此实现对于IP核的详细时序模拟；同时设计通用的信息传输接口，将FPGA和模拟平台之间的通信规范化，以提高模拟平台对不同IP核的适用性和可扩展性。针对硬件设计中可能出现的自定制的新指令，本发明使用可配置库函数的方式实现新指令的扩展，并且通过一系列方法确认其寄存器依赖关系，以保证时序模拟的正确性。本发明不需要对编辑器工具链进行修改，可以极大的提高扩展新指令的效率。
-
Patent Agency Ranking
公开(公告)号：CN107729118A
公开(公告)日：2018-02-23
申请号：CN201710871869.7
申请日：2017-09-25
Applicant: 复旦大学
CPC classification number: G06F9/45508 , G06F8/41 , G06F8/443 , G06F9/4552 , G06F9/45558
Abstract: 本发明属于计算机技术领域，具体涉及一种为众核处理器设计Java虚拟机(JVM)的方法。本发明可使得Java虚拟机充分利用众核平台的计算能力，从而提高Java程序的性能。本发明设计了一个半自动化向量化的模型，结合修改的Java前端编译器来发现程序中可以用向量计算单元处理的代码。为了充分利用内存访问带宽和降低延迟，本发明在Java虚拟机针对众核处理器设计了一种数据预取的方法。
-
公开(公告)号：CN108848384A
公开(公告)日：2018-11-20
申请号：CN201810628187.8
申请日：2018-06-19
Applicant: 复旦大学
IPC: H04N19/40 , H04N19/436 , H04N19/177 , H04N21/2343 , H04N21/4402
Abstract: 本发明属于计算机技术领域，具体为一种面向多核平台的高效并行转码方法。本发明中，视频转码包括解码和编码两个阶段，能级并行包括解码和编码两个模块，数据级并行包括GOP级和帧级；系统中设有一段缓冲区来存放按显示顺序排列的图像，编码线程从中取出连续一段（编码单元）进行独立编码，并生成中间临时文件；最后，临时文件会被合并成目标视频；视频输入后，线程被唤醒并执行转码任务；转码过程中，线程经历切块、解码、编码、合并这四个阶段，不同阶段的线程以流水线的方式并行；前一个阶段生成的结果提供给后一个阶段使用，并由专门的数据结构管理；本发明可在保证视频质量的前提下充分利用底层多核硬件的计算资源提高转码的效率。
-
公开(公告)号：CN101944014B
公开(公告)日：2013-08-21
申请号：CN201010281797.9
申请日：2010-09-15
Applicant: 复旦大学
IPC: G06F9/38
Abstract: 本发明属于程序编译技术领域，具体为一种自动流水并行的实现方法。本发明方法主要包括：(1)流水并行的识别，具有跨循环迭代的依赖且依赖距离向量为常量的循环结构；(2)线程间同步，依据依赖距离向量插入同步，删除具有相同距离向量的冗余同步；(3)静态步长的线程调度，为了平衡各个线程的工作负载，减少通讯开销，自定义了线程调度策略。对于循环结构的类型识别依赖传统的数组数据流分析和依赖性测试，流水并行只处理后向跨循环迭代的规则循环结构。流水并行的同步开销较大，因而只对嵌套循环的最外层展开流水并行。流水并行的收益依赖程序本身，循环迭代数目越大，依赖距离越长，则性能提升越大。流水并行的实现增强了自动并行优化的能力，有利用进一步提高科学计算类程序的性能。
-
公开(公告)号：CN101944040A
公开(公告)日：2011-01-12
申请号：CN201010281799.8
申请日：2010-09-15
Applicant: 复旦大学
IPC: G06F9/45
Abstract: 本发明属于程序编译技术领域，具体为一种基于谓词的自动并行优化方法。该方法主要包括：(1)谓词的构建，通过用户程序的多种已知信息，构建程序的并行谓词，消除程序的简单依赖；(2)构建并行循环结构，在谓词条件的约束下，展开后续并行化分析，判断是否需要采纳并行谓词。并行谓词的构建基于传统的数组数据流分析和循环依赖性测试。通过构建谓词，消除由循环信息不精确而导致的循环简单依赖，从而扩大传统自动并行优化的分析范围和并行优化效果。在程序的实际执行中，如果谓词不满足，则程序执行原始串行版本，增加的判断和跳转操作对程序的总体性能几乎没有影响；如果谓词满足，则执行循环结构的并行版本，能够显著的提升程序性能。
-
公开(公告)号：CN112559760B
公开(公告)日：2022-04-12
申请号：CN202011411012.5
申请日：2020-12-06
Applicant: 复旦大学
IPC: G06F16/36 , G06F40/211 , G06F40/289
Abstract: 本发明属于知识图谱技术领域，具体为一种面向文本描述的CPS资源能力知识图谱构建方法。本发明针对不同类型的信息物理资源，首先从资源相关代码与文档中提取与资源能力有关的文本描述信息，基于预定义的动宾短语模式生成规范化表达的能力短语；然后基于动宾结构的关键成分对能力短语进行划分、聚合与抽象，生成不同资源类型的能力层次化抽象描述；最后构建出资源能力知识图谱。本发明基于资源能力的文本描述，自动化构建资源能力知识图谱，减少了人工构建工作量。本发明是信息物理融合系统领域知识图谱的补充，增加了关于资源服务与能力描述，提高了图谱的知识完备性。
-
-
-
-
-
-
-
-
-
Search Results
13
records
(took 0.015 seconds)
