-
公开(公告)号：CN103309973B
公开(公告)日：2016-08-10
申请号：CN201310228472.8
申请日：2013-06-08
Applicant: 上海交通大学
IPC: G06F17/30
Abstract: 本发明提供了一种可验证外包数据查询的方法及系统，包括数据主生成验证所需的参数并上传到云端服务器，并生成所有原始文档的针对每一个关键字/词的反向索引，将所有原始文档与所有的反向索引上传到云端服务器，及发起查询请求，将查询的多个关键字/词发到云端服务器；云端服务器执行查询操作，根据参数和查询的每个关键字/词的反向索引生成所述查询的多个关键字/词的查询结果和查询结果的结果正确性和结果完整性的证明并发送到数据主；数据主根据所述查询结果的结果正确性和结果完整性的证明验证从云端服务器接收的所述查询结果是否正确和完整。本发明能够有效验证从云端服务器搜索的查询结果的正确性和完整性。
-
公开(公告)号：CN104881372A
公开(公告)日：2015-09-02
申请号：CN201510299943.3
申请日：2015-05-31
Applicant: 上海交通大学
Abstract: 本发明提供了一种提高RAID-6可扩展性的数据迁移方法，根据对单个/多个条带的全局，实现数据迁移最小化和校验的修改与计算，该方法通过减少修改校验的次数，异或计算的次数，总共的I/O操作的次数以及迁移时间来加速RAID-6的扩展过程；该方法使I/O在磁盘阵列中的磁盘上均匀分布，减少了迁移时间。
-
公开(公告)号：CN104881365A
公开(公告)日：2015-09-02
申请号：CN201510291852.5
申请日：2015-05-31
Applicant: 上海交通大学
Abstract: 本发明提供了一种基于纠删码相似性的RAID-6可扩展方法，本发明提出了一整套框架，用于扩展基于MDS编码的RAID-6冗余磁盘阵列，它统一地管理多种MDS编码，以此来达到更高的扩展性，在这个框架中，我们还设计了一系列中间编码，这些中间编码相互间非常容易转换，同时具有各个MDS编码的特性，成为将这些MDS编码联系在一起的纽带，本发明能支持灵活、高效的磁盘阵列规模扩展，与传统的RAID扩展方案相比，该方法减少了多达44.1％的IO数量，减少95.2％的时间消耗，将数据迁移速度提升了20倍。
-
公开(公告)号：CN104239194A
公开(公告)日：2014-12-24
申请号：CN201410464900.1
申请日：2014-09-12
Applicant: 上海交通大学
Abstract: 本发明公开一种基于BP神经网络的任务完成时间预测方法，包括步骤如下：建立BP神经网络模型，在任务成功完成后保存对应的完成时间，数据量以及执行节点的系统信息，用于BP神经网络模型的训练；每隔一段时间，将该时间段的相关数据对建立的BP神经网络模型进行增量训练；当有任务需要备份执行时，收集当前所有可用节点的系统信息，结合该任务的数据量，通过已建立的BP神经网络模型进行预测，比较所有可用节点的预测值，选取预测值最小的节点进行备份执行。本发明方法对于任务完成时间的预测更加准确，从而改进推测执行的效率，使得整个系统的响应时间缩短，吞吐率上升。
-
公开(公告)号：CN103593286A
公开(公告)日：2014-02-19
申请号：CN201310501127.7
申请日：2013-10-22
Applicant: 上海交通大学
IPC: G06F11/36
Abstract: 本发明提供了一种基于自适应点火的软件验证方法，其将软件模型转换成情境Petri网模型，并通过自适应点火方式，消除情境Petri网变迁的歧义性，其中：所述情境petri网，是指在petri网中，通过在库所中加入情境语义维来为petri网的动态验证提供决策信息；所述情境语义包括由软件动态生成时存储在库所中的情境信息；所述自适应点火方式用于描述软件对不同情境条件的自主反应性；所述自适应点火方式是指根据当前库所中的情境语义来推测出托肯应该进入后面哪一个输出库所。本发明通过将软件模型转换成情境Petri网模型，利用Petri网本身的特性，并通过自适应点火来验证普适软件的正确性。
-
Patent Agency Ranking
公开(公告)号：CN101916220B
公开(公告)日：2012-05-09
申请号：CN201010264063.X
申请日：2010-08-27
Applicant: 上海交通大学
IPC: G06F11/32
CPC classification number: Y02D10/34
Abstract: 一种计算机技术领域的集群内中央处理器功耗的监测系统，包括：功耗获取模块、无线发送模块、数据处理模块和数据输出模块，其中：功耗获取模块与无线发送模块相连传输数字形式的功率数据信息，无线发送模块与数据处理模块相连传输数字形式的功率数据信息，数据处理模块与数据输出模块相连传输历史功耗数据信息，数据输出模块输出XML形式的历史功耗数据信息。本发明反映实时的CPU功耗状态，且监测的准确率高；避免了在集群部署环境内不方便开机箱连线的问题；通过丰富的数据表现形式动态表现功耗情况；可以供第三方应用程序调用接口。
-
公开(公告)号：CN101916239B
公开(公告)日：2011-09-28
申请号：CN201010264091.1
申请日：2010-08-27
Applicant: 上海交通大学
IPC: G06F15/173
Abstract: 一种计算机技术领域的提高片上多处理器通信速度的方法，将所有的处理器按照通信需求分组；为每组处理器建立二叉树连接拓扑关系；每组处理器中的每对父子节点处理器设置连接通路且在每个连接通路上设置寄存器和控制器；拓展每个处理器上的本地存储读写槽和远端读写槽，使本地存储读写槽的宽度等于该处理器与其父节点之间连接通路的宽度，远端读写槽与连在远端读写槽上的连接通路宽度相同；当处理器A向目的处理器B发起通信时，改用统一频率的时钟驱动，进行处理器A与目的处理器B间的通信，当通信完成时，结束对原总线时钟驱动的屏蔽。本发明实现了片上多处理系统处理器之间快速通讯，缩短了通信时间，提高了整个系统的吞吐率。
-
公开(公告)号：CN101951413A
公开(公告)日：2011-01-19
申请号：CN201010510578.3
申请日：2010-10-19
Applicant: 上海交通大学
Abstract: 一种网络信息传输技术领域的基于Web服务的分布式人机交互系统，包括：人机交互代理模块、人机交互服务提供模块、交互设备管理模块以及交互设备Web服务模块，人机交互代理模块与人机交互服务提供模块相连并传输设备请求信息与设备响应信息，人机交互服务提供模块与交互设备管理模块相连并传输交互设备Web服务描述信息与交互设备状态信息，人机交互代理模块与交互设备Web服务模块相连并传输交互呈现参数信息与交互输入的设备响应信息，交互设备Web服务模块与交互设备管理模块相连并传输交互设备状态信息。本发明动态地将人机交互界面分发到网络中的计算机，利用网络计算机的交互设备，为用户提供符合需求的人机交互形式。
-
公开(公告)号：CN101916239A
公开(公告)日：2010-12-15
申请号：CN201010264091.1
申请日：2010-08-27
Applicant: 上海交通大学
IPC: G06F15/173
Abstract: 一种计算机技术领域的提高片上多处理器通信速度的方法，将所有的处理器按照通信需求分组；为每组处理器建立二叉树连接拓扑关系；每组处理器中的每对父子节点处理器设置连接通路且在每个连接通路上设置寄存器和控制器；拓展每个处理器上的本地存储读写槽和远端读写槽，使本地存储读写槽的宽度等于该处理器与其父节点之间连接通路的宽度，远端读写槽与连在远端读写槽上的连接通路宽度相同；当处理器A向目的处理器B发起通信时，改用统一频率的时钟驱动，进行处理器A与目的处理器B间的通信，当通信完成时，结束对原总线时钟驱动的屏蔽。本发明实现了片上多处理系统处理器之间快速通讯，缩短了通信时间，提高了整个系统的吞吐率。
-
公开(公告)号：CN100596245C
公开(公告)日：2010-03-24
申请号：CN200810203433.1
申请日：2008-11-27
Applicant: 上海交通大学
Abstract: 本发明涉及的是一种无线通信技术领域的蓝牙设备自动分类组网的方法。步骤为：依据蓝牙设备的分类标准对蓝牙设备进行分类；蓝牙设备在通信范围内连接，然后获取对方的属性信息进行验证，如果是同类蓝牙设备，继续连接，否则断开连接，这样在通信范围内的同类蓝牙设备连接起来，将同类蓝牙设备组成若干个孤立的散射网，确定每个孤立散射网中的超级结点，用来标识该散射网；每个孤立的散射网向外发送探测消息，选择与要组网的蓝牙设备不同类的蓝牙设备作为桥接点，将区域的散射网连接起来，形成全局的散射网。本发明不仅能保证连通性的情况下，散射网数量最少，还能够提高平均传输速度，减少整个散射网的能量消耗等。
-
-
-
-
-
-
-
-
-
Search Results
269
records
(took 0.029 seconds)
