-
公开(公告)号：CN116796500A
公开(公告)日：2023-09-22
申请号：CN202310475462.8
申请日：2023-04-27
申请人： 上海交通大学
IPC分类号： G06F30/20 , G06F30/12 , G06T17/00 , G06V10/75 , G06F111/18
摘要： 本发明提供了一种面向数字孪生场景的自动化建模方法及系统，涉及工业数字化技术领域，包括：步骤S1：对建模目标场景进行实地影像数据收集采样；步骤S2：对所述影像数据进一步分析处理，通过CV程序模板匹配识别处理物体信息并进行文本转储；步骤S3：通过文本读取模型类型，并制作和选取预制模型；步骤S4：通过文本读取模型位置信息，并进行位置修正；步骤S5：生成和放置模型。本发明能够解决数字孪生应用中场景建模和程序开发融合困难的问题，达到快速从零构建数字孪生模型场景原型的效果。
-
公开(公告)号：CN112434035B
公开(公告)日：2022-09-23
申请号：CN202011310093.X
申请日：2020-11-20
申请人： 上海交通大学
IPC分类号： G06F16/22 , G06F16/2458 , G06N20/00
摘要： 本发明提供了一种基于机器学习的并发哈希索引数据结构的索引方法及系统，包括：步骤M1：从根节点根据请求中的键查找目标键值对所在的组节点；步骤M2：在定位得到的组节点中，根据组节点的机器学习模型计算数据位置；步骤M3：根据数据位置查找目标数据，根据请求类型进行相应操作。本发明与现有机器学习哈希索引相比，本系统会重新训练机器学习模型，在哈希冲突概率超过阈值时进行哈希扩容操作，使机器学习模型适应新插入的数据，保持索引高性能。
-
公开(公告)号：CN110515705B
公开(公告)日：2022-03-11
申请号：CN201910726002.1
申请日：2019-08-07
申请人： 上海交通大学
摘要： 本发明提供了一种可扩展的持久性事务内存及其工作方法，包括：非易失存储器和动态随机储存器；所述非易失存储器中包括：原始数据对象以及每个事务维护的日志，所述日志包含新的数据对象，在原始数据对象中使用指针next指向对应的新的数据对象；所述动态随机储存器中包括：每个线程维护的元数据。本发明提出了使用DVCC技术减少寻找版本的时间，同时将NVM中的日志作为新版本的方法，有效地减少了写操作次数。
-
公开(公告)号：CN117331961A
公开(公告)日：2024-01-02
申请号：CN202311332030.8
申请日：2023-10-13
申请人： 上海交通大学
IPC分类号： G06F16/242 , G06F16/2458 , G06F16/2453
摘要： 本发明提供一种基于线性整数代数进行SQL等价性自动化证明的方法及系统，包括：计划生成步骤：对输入的SQL查询语句进行解析生成原始逻辑计划；ORDER BY处理步骤：处理原始逻辑计划中的ORDER BY排序操作，生成新的不含ORDER BY排序操作的逻辑计划，交由后续步骤进行等价性验证；U‑expression生成步骤：对逻辑计划进行解析，生成对应的代数表达式U‑expression；正规化步骤：对U‑expression进行正规化化简，生成标准形式的U‑expression；LIA*转换步骤：根据标准形式的U‑expression，生成LIA*表达式；一阶逻辑表达式生成步骤：根据LIA*表达式，生成LIA表达式，借助SMT求解器进行SQL的等价性自动化验证。本发明完善了对聚合函数等SQL特性的建模，显著增强了SQL等价性自动化验证的能力。
-
公开(公告)号：CN115357192A
公开(公告)日：2022-11-18
申请号：CN202211008099.0
申请日：2022-08-22
申请人： 上海交通大学
IPC分类号： G06F3/06
摘要： 本发明提供了一种面向微内核架构的虚拟文件构建方法及系统，包括：步骤S1：利用进程隔离抽象，将文件系统实例放在不同进程中，通过进程间通信机制进行交互，使得文件系统各个元件之间相互隔离；步骤S2：将代码根据文件系统语义分层化与模块化步骤S3：修改musl‑libc适配微内核的方式，使得动态链接libc的程序无需修改放入系统中使用；步骤S4：采用惰性方式启动文件系统实例。本发明通过分析现有微内核中文件系统的支持以及它们的不足之处，采用新的技术手段提出了全新的微内核文件系统架构；不仅使得系统应用程序在文件系统接口方面二进制兼容，并且拥有较好的可扩展性与安全特性。
-
公开(公告)号：CN114756579A
公开(公告)日：2022-07-15
申请号：CN202210403605.X
申请日：2022-04-18
申请人： 上海交通大学
IPC分类号： G06F16/2453 , G06F16/2455
摘要： 本发明提供了一种数据库查询重写规则自动生成方法及系统，包括：步骤1：将数据库的查询计划和查询重写规则建模为可枚举的形式；步骤2：对每对查询计划模板之间的约束进行枚举，生成第一查询重写规则。与现有技术相比，本发明可生成现有数据库系统中不存在的新重写规则，能够匹配并重写更多互联网应用中由对象关系映射等框架生成的复杂查询，提升数据库查询重写能力和互联网应用下数据库查询的性能。
-
公开(公告)号：CN114756581B
公开(公告)日：2024-10-25
申请号：CN202210427799.7
申请日：2022-04-22
申请人： 上海交通大学
IPC分类号： G06F16/2453 , G06F16/242
摘要： 本发明提供了一种模板化数据库查询计划的等价性验证方法及系统，包括：步骤S1：将两个预设符号化查询计划树结构分别转换为两个无界半环表达式；步骤S2：将两个无界半环表达式构成的等式转换为一阶逻辑表达式；步骤S3：将约束集合转换为一阶逻辑表达式；步骤S4：基于两个无界半环表达式构成的一阶逻辑表达式和约束集合转换的一阶逻辑表达式形成了待求解的表示两个查询计划等价的一阶逻辑表达式；将待求解的一阶逻辑表达式利用SMT求解器求解，从而得到两个查询计划是否等价的结果；所述约束集合是符号化查询计划树结构内部的符号约束或一对符号化查询计划树结构之间的符号约束的集合。
-
公开(公告)号：CN111309982A
公开(公告)日：2020-06-19
申请号：CN202010148015.8
申请日：2020-03-05
申请人： 上海交通大学
IPC分类号： G06F16/901 , G06F16/903 , G06F16/907 , G06F16/957 , G06K9/62 , G06N20/00
摘要： 本发明提供了一种机器学习数据索引结构的自适应结构调整方法及系统，包括：选取节点步骤：按照预设的节点编号顺序逐个选取机器学习数据索引结构中的节点；分析节点步骤：分析选取得的节点，根据节点中缓存数据量和误差范围大小执行对应的结构调整操作：若节点中缓存数据量或节点内机器学习模型的预测误差过大，则执行节点分裂步骤；若节点与其相邻节点中的缓存数据量及误差范围都过小，则两节点执行节点合并步骤；否则，则结束流程。本发明提供细粒度的机器学习索引结构调整方法，相比对全部数据重新训练，能减少重新训练模型的个数，避免结构调整时对不相关模型和缓存的性能影响。
-
公开(公告)号：CN110515707A
公开(公告)日：2019-11-29
申请号：CN201910779763.3
申请日：2019-08-22
申请人： 上海交通大学
IPC分类号： G06F9/46 , G06F9/48 , G06F16/2453
摘要： 本发明提供了一种基于预先事务处理的确定性并发控制方法及系统，在确定性事务处理的基础上，通过将事务的执行置于事务调度前，充分提升了事务处理的可扩展性和性能；通过校验和重新执行保证事务执行的正确性；通过显式的等待满足事务的确定性执行，并确保每个事务最多重新执行一次；通过使用多版本数据存储，避免了只读事务阻塞事务处理；通过记录事务所需数据的地址，加速事务校验失败后的重新执行。与现有技术相比，本发明可以充分利用事务的并发性，极大地提高确定性数据库的事务处理能力；可以复用事务执行时收集的数据信息加速事务的调度；无需额外机制确定事务的完整读写集合，避免了现有技术额外的性能开销。
-
公开(公告)号：CN116339931A
公开(公告)日：2023-06-27
申请号：CN202310465852.7
申请日：2023-04-26
申请人： 上海交通大学
IPC分类号： G06F9/46
摘要： 本发明提供了一种基于细粒度事务修复的分布式并发控制方法及系统，包括：步骤S1：计算节点接收用户请求，并根据请求内容执行事务操作；步骤S2：根据执行事务操作的结果，计算节点本地提交，并将本地提交的事务入队；步骤S3：当计算节点本地事务队列塞满后，将队列中的所有事务打包成一个批处理事务，并向存储节点全局提交批处理事务；如果批处理事务在全局提交过程中不能通过验证，则通过细粒度事务修复将批处理事务恢复到能够提交状态，继续提交批处理事务。本发明利用计算节点的本地缓存来减少事务执行期间读取存储节点数据操作带来的通信，从而降低了事务执行时延。
-
-
-
-
-
-
-
-
-
搜索结果
19 条记录 (耗时 0.026 秒)
