“王肇国”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果21个，建议您升级VIP下载更多相关专利

[发明专利]针对流处理系统的运行参数分析与代码冗余优化系统和方法-CN202310780479.4在审
发明人：吴明瑜;陈沛东;王肇国;陈海波 -专利权人：上海交通大学
申请日： 2023-06-28 - 公布日： 2023-09-29 - 主分类号： G06F8/65 文献下载
摘要：本发明提供了一种针对流处理系统的运行参数分析与代码冗余优化系统和方法，包括：软件模块：任务构建模块、算子合并模块和流处理系统实例模块；所述流处理系统实例模块是运行在服务端主机上的流处理系统实例，包括资源管理和任务分配模块、工作线程模块、参数收集模块、策略选择模块和代码修改模块；硬件模块：流处理系统客户端主机和流处理系统服务端主机。本发明综合使用了静态的算子合并、动态的查询优化以及动态的流处理系统冗余代码优化，实现了静态优化策略和动态优化策略的结合，解决缺乏动静结合优化方案的问题。
针对处理系统运行参数分析代码冗余优化方法

[发明专利]面向数字孪生场景的自动化建模方法及系统-CN202310475462.8在审
发明人：吴明瑜;姬浩迪;王肇国;陈海波 -专利权人：上海交通大学
申请日： 2023-04-27 - 公布日： 2023-09-22 - 主分类号： G06F30/20 文献下载
摘要：本发明提供了一种面向数字孪生场景的自动化建模方法及系统，涉及工业数字化技术领域，包括：步骤S1：对建模目标场景进行实地影像数据收集采样；步骤S2：对所述影像数据进一步分析处理，通过CV程序模板匹配识别处理物体信息并进行文本转储；步骤S3：通过文本读取模型类型，并制作和选取预制模型；步骤S4：通过文本读取模型位置信息，并进行位置修正；步骤S5：生成和放置模型。本发明能够解决数字孪生应用中场景建模和程序开发融合困难的问题，达到快速从零构建数字孪生模型场景原型的效果。
面向数字孪生场景自动化建模方法系统

[发明专利]基于细粒度事务修复的分布式并发控制方法及系统-CN202310465852.7在审
发明人： 王肇国;董致远;许贤;陈海波 -专利权人：上海交通大学
申请日： 2023-04-26 - 公布日： 2023-06-27 - 主分类号： G06F9/46 文献下载
摘要：本发明提供了一种基于细粒度事务修复的分布式并发控制方法及系统，包括：步骤S1：计算节点接收用户请求，并根据请求内容执行事务操作；步骤S2：根据执行事务操作的结果，计算节点本地提交，并将本地提交的事务入队；步骤S3：当计算节点本地事务队列塞满后，将队列中的所有事务打包成一个批处理事务，并向存储节点全局提交批处理事务；如果批处理事务在全局提交过程中不能通过验证，则通过细粒度事务修复将批处理事务恢复到能够提交状态，继续提交批处理事务。本发明利用计算节点的本地缓存来减少事务执行期间读取存储节点数据操作带来的通信，从而降低了事务执行时延。
基于细粒度事务修复分布式并发控制方法系统

[发明专利]针对大规模应用程序的数据库死锁诊断方法及系统-CN202310271041.3在审
发明人： 王肇国;仪传威;董致远;陈海波;臧斌宇 -专利权人：上海交通大学
申请日： 2023-03-17 - 公布日： 2023-06-06 - 主分类号： G06F9/52 文献下载
摘要：本发明提供了一种针对大规模应用程序的数据库死锁诊断方法及系统，包括：步骤S1：将待测应用程序的单元测试使用动态符号执行引擎运行，并收集执行记录；步骤S2：基于收集的执行记录构建事务级别冲突图，基于事务级别冲突图选择事务冲突环，分别根据事务冲突环构建相应的语句级别冲突图；基于语句级别冲突图提取语句冲突环；步骤S3：分别分析语句冲突环中所有冲突边是否可能产生锁冲突，当所有冲突边均可能产生锁冲突，则基于语句冲突环生成相应的死锁判定条件，并输入至SMT求解器进行求解，当求解结果为SAT，则表示有死锁发生，并提供诊断报告；当求解结果为UNSAT或求解时间超时，则表示没有死锁发生。
针对大规模应用程序数据库死锁诊断方法系统

[发明专利]访问数据库的方法、装置及存储介质-CN202211522600.5在审
发明人： 王肇国;丁浩然 -专利权人：华为技术有限公司
申请日： 2022-11-30 - 公布日： 2023-05-02 - 主分类号： G06F16/25 文献下载
摘要：本申请公开了一种访问数据库的方法、装置及存储介质，属于计算机领域。所述方法包括：获取应用程序中的至少一个目标数据库访问操作，所述至少一个目标数据库访问操作是不破坏所述应用程序幂等性的操作；获取待执行数据库访问操作，所述待执行数据库访问操作是所述应用程序中的数据库访问操作；在所述至少一个目标数据库访问操作包括所述待执行数据库访问操作时，使用所述待执行数据库访问操作访问所述应用程序的数据库，得到所述待执行数据库访问操作的访问结果。本申请能够减小访问数据库的时延。
访问数据库方法装置存储介质

[实用新型]一种低冰点沥青路面施工用摊铺装置-CN202221415918.9有效
发明人： 王肇国;丁卫东;王强;王振宇 -专利权人：山东交科路美达新材料科技有限公司
申请日： 2022-06-08 - 公布日： 2023-02-03 - 主分类号： E01C19/48 文献下载
摘要：本实用新型属于低冰点沥青路面施工用摊铺装置领域，具体公开了一种低冰点沥青路面施工用摊铺装置，包括车体，所述车体的上端处固定安装有料罐，所述料罐的上端中部处设置有进料口，所述料罐的后端端口处敞开于外部，所述料罐的上端滑动插入有封堵料罐后端端口处的闸门，所述料罐的后端下方处设置有斜板，所述斜板的一侧通过驱动机构转动安装有与之相同轴的转杆，所述转杆的外表面设置有若干个转板。本实用新型所述的一种低冰点沥青路面施工用摊铺装置，在摊铺时不会发生低冰点沥青铺料过于分散或堆积过大的问题，并且料罐内壁上不易堆积低冰点沥青铺料。
一种冰点沥青路面施工用摊铺装置

[实用新型]一种用于高模量沥青摊铺质量的检测装置-CN202221619832.8有效
发明人： 王肇国;尉发宇;王强;田治金 -专利权人：山东交科路美达新材料科技有限公司
申请日： 2022-06-27 - 公布日： 2022-12-16 - 主分类号： E01C23/01 文献下载
摘要：本实用新型涉及沥青施工检测技术领域，具体公开了一种用于高模量沥青摊铺质量的检测装置，包括移动架，所述移动架顶部固定连接的立架，所述立架外侧且靠近上方位置设置有辅助组件，所述立架外侧滑动套装有支撑板，所述支撑板远离立架的一侧下方位置设置有升降组件，所述支撑板一端通过设置的连接组件连接有L形板，所述L形板内壁加工有刻度，所述L形板外侧沿水平方向等距离设置有平测组件，多组所述平测组件均包括固定连接在L形板一侧外壁上的连接板，所述连接板内侧滑动连接有滑杆，所述滑杆端部固定连接有底板，所述底板后端面设置有指示组件，本实用新型可在范围检测内精准检测沥青路面的平整度，使用起来高效且便利。
一种用于高模量沥青质量检测装置

[发明专利]面向微内核架构的虚拟文件构建方法及系统-CN202211008099.0在审
发明人：胡雨奇;古金宇;臧斌宇;王肇国 -专利权人：上海交通大学
申请日： 2022-08-22 - 公布日： 2022-11-18 - 主分类号： G06F3/06 文献下载
摘要：本发明提供了一种面向微内核架构的虚拟文件构建方法及系统，包括：步骤S1：利用进程隔离抽象，将文件系统实例放在不同进程中，通过进程间通信机制进行交互，使得文件系统各个元件之间相互隔离；步骤S2：将代码根据文件系统语义分层化与模块化步骤S3：修改musl‑libc适配微内核的方式，使得动态链接libc的程序无需修改放入系统中使用；步骤S4：采用惰性方式启动文件系统实例。本发明通过分析现有微内核中文件系统的支持以及它们的不足之处，采用新的技术手段提出了全新的微内核文件系统架构；不仅使得系统应用程序在文件系统接口方面二进制兼容，并且拥有较好的可扩展性与安全特性。
面向内核架构虚拟文件构建方法系统

[发明专利]基于RDMA的支持细粒度容错的共识方法及系统-CN202110394608.7在审
发明人： 王肇国;金炜;臧斌宇;陈海波 -专利权人：上海交通大学
申请日： 2021-04-13 - 公布日： 2022-10-18 - 主分类号： G06F11/14 文献下载
摘要：本发明提供了一种基于RDMA的支持细粒度容错的共识方法，从节点在选举主节点阶段会依次执行以下步骤：从节点检查本地保存的所有节点任期；对每一个其他节点，候选节点将自身任期通过RDMA写入该节点的选举相关元数据中；对每一个步骤3中的RDMA读请求，待读请求自节点返回后，候选节点分析选举相关元数据；候选节点统计所有投票，自身得到投票数超过所有节点总数的一半，则执行步骤6，否则执行步骤7；候选节点在本地保存的多份日志拷贝中选择其中最新的一份日志拷贝；结束选举主节点阶段。本发明通过无需等待地连续发送日志项和日志索引的两个RDMA写请求和一个RDMA读请求的方式，确保一个RDMA往返就可以完成日志备份，进一步降低了日志备份的网络通信时延。
基于 rdma 支持细粒度容错共识方法系统

[发明专利]基于机器学习的并发哈希索引数据结构的索引方法及系统-CN202011310093.X有效
发明人： 王肇国;王寰;臧斌宇;陈海波 -专利权人：上海交通大学
申请日： 2020-11-20 - 公布日： 2022-09-23 - 主分类号： G06F16/22 文献下载
摘要：本发明提供了一种基于机器学习的并发哈希索引数据结构的索引方法及系统，包括：步骤M1：从根节点根据请求中的键查找目标键值对所在的组节点；步骤M2：在定位得到的组节点中，根据组节点的机器学习模型计算数据位置；步骤M3：根据数据位置查找目标数据，根据请求类型进行相应操作。本发明与现有机器学习哈希索引相比，本系统会重新训练机器学习模型，在哈希冲突概率超过阈值时进行哈希扩容操作，使机器学习模型适应新插入的数据，保持索引高性能。
基于机器学习并发索引数据结构方法系统

[发明专利]模板化数据库查询计划的等价性验证方法及系统-CN202210427799.7在审
发明人： 王肇国;杨逸存;陈海波 -专利权人：上海交通大学
申请日： 2022-04-22 - 公布日： 2022-07-15 - 主分类号： G06F16/2453 文献下载
摘要：本发明提供了一种模板化数据库查询计划的等价性验证方法及系统，包括：步骤S1：将两个预设符号化查询计划树结构分别转换为两个无界半环表达式；步骤S2：将两个无界半环表达式构成的等式转换为一阶逻辑表达式；步骤S3：将约束集合转换为一阶逻辑表达式；步骤S4：基于两个无界半环表达式构成的一阶逻辑表达式和约束集合转换的一阶逻辑表达式形成了待求解的表示两个查询计划等价的一阶逻辑表达式；将待求解的一阶逻辑表达式利用SMT求解器求解，从而得到两个查询计划是否等价的结果；所述约束集合是符号化查询计划树结构内部的符号约束或一对符号化查询计划树结构之间的符号约束的集合。
模板数据库查询计划等价验证方法系统

[发明专利]数据库查询重写规则自动生成方法及系统-CN202210403605.X在审
发明人： 王肇国;张津源;杨逸存;陈海波 -专利权人：上海交通大学
申请日： 2022-04-18 - 公布日： 2022-07-15 - 主分类号： G06F16/2453 文献下载
摘要：本发明提供了一种数据库查询重写规则自动生成方法及系统，包括：步骤1：将数据库的查询计划和查询重写规则建模为可枚举的形式；步骤2：对每对查询计划模板之间的约束进行枚举，生成第一查询重写规则。与现有技术相比，本发明可生成现有数据库系统中不存在的新重写规则，能够匹配并重写更多互联网应用中由对象关系映射等框架生成的复杂查询，提升数据库查询重写能力和互联网应用下数据库查询的性能。
数据库查询重写规则自动生成方法系统

[发明专利]可扩展的持久性事务内存及其工作方法-CN201910726002.1有效
发明人：古金宇;王肇国;臧斌宇;陈海波 -专利权人：上海交通大学
申请日： 2019-08-07 - 公布日： 2022-03-11 - 主分类号： G06F9/46 文献下载
摘要：本发明提供了一种可扩展的持久性事务内存及其工作方法，包括：非易失存储器和动态随机储存器；所述非易失存储器中包括：原始数据对象以及每个事务维护的日志，所述日志包含新的数据对象，在原始数据对象中使用指针next指向对应的新的数据对象；所述动态随机储存器中包括：每个线程维护的元数据。本发明提出了使用DVCC技术减少寻找版本的时间，同时将NVM中的日志作为新版本的方法，有效地减少了写操作次数。
扩展持久性事务内存及其工作方法

[发明专利]基于预先事务处理的确定性并发控制方法及系统-CN201910779763.3有效
发明人： 王肇国;徐海宁;董致远;陈海波;臧斌宇;管海兵 -专利权人：上海交通大学
申请日： 2019-08-22 - 公布日： 2022-02-25 - 主分类号： G06F9/46 文献下载
摘要：本发明提供了一种基于预先事务处理的确定性并发控制方法及系统，在确定性事务处理的基础上，通过将事务的执行置于事务调度前，充分提升了事务处理的可扩展性和性能；通过校验和重新执行保证事务执行的正确性；通过显式的等待满足事务的确定性执行，并确保每个事务最多重新执行一次；通过使用多版本数据存储，避免了只读事务阻塞事务处理；通过记录事务所需数据的地址，加速事务校验失败后的重新执行。与现有技术相比，本发明可以充分利用事务的并发性，极大地提高确定性数据库的事务处理能力；可以复用事务执行时收集的数据信息加速事务的调度；无需额外机制确定事务的完整读写集合，避免了现有技术额外的性能开销。
基于预先事务处理的确定性并发控制方法系统

[发明专利]基于机器学习的并发控制方法及系统-CN202010905883.6在审
发明人： 王肇国;王嘉琛;臧斌宇;陈海波 -专利权人：上海交通大学
申请日： 2020-09-01 - 公布日： 2020-12-18 - 主分类号： G06F16/23 文献下载
摘要：本发明提供了一种基于机器学习的并发控制方法及系统，包括：将待执行事务进行初始化，并标记状态为执行中；判定执行中的事务是否存在未执行操作，若存在则查询操作执行策略继续执行，判断是否进行提前校验并执行对应操作；若不存在则根据当前事务的提交策略进行事务校验并提交；对事务累积的读操作进行正确性验证；查询事务的提交策略，根据提交策略和本事务建立的事务依赖关系进行等待操作直到事务依赖关系满足预设条件，对事务的读操作的集合进行正确性校验。本发明允许事务根据机器学习的训练结果进行任意行为的数据库操作，充分匹配不同应用场景的特点，最大程度提升系统的灵活性。
基于机器学习并发控制方法系统

1
2
下一页»
尾页
共 21 条