-
公开(公告)号：CN119848083A
公开(公告)日：2025-04-18
申请号：CN202411881351.8
申请日：2024-12-19
Applicant: 上海交通大学
IPC: G06F16/2453 , G06F16/242
Abstract: 本发明提供了一种基于案例生成SQL改写规则用于SQL优化的方法及系统，包括：步骤S1：对输入的SQL查询语句进行解析生成逻辑计划；步骤S2：泛化逻辑计划对，直至无法继续泛化，将无法泛化的等价逻辑计划对用作改写规则；步骤S3：验证一对逻辑计划的等价性。本发明提出了基于等价SQL语句生成改写规则的方法，使得用户可以根据一对SQL语句来快速发现潜在的规则，避免了穷举所有可能的SQL语句或逻辑计划，极大提高了发现改写规则的效率。
-
公开(公告)号：CN119250232A
公开(公告)日：2025-01-03
申请号：CN202411511877.7
申请日：2024-10-28
Applicant: 上海交通大学
IPC: G06N20/00
Abstract: 本发明提供了一种机器学习模型混合并行策略自动搜索的方法及系统，其中系统包括：算子间并行策略搜索模块：该模块首先查询算子间性能开销模型，然后根据当前阶段算子间的性能开销来进行策略搜索。其中，算子间性能开销模型计算相应的流水线阶段开销。算子内并行策略搜索模块：该模块采用缩点消边的动态规划算法进行数据并行与张量并行的策略搜索。它先查询算子内性能开销模型，再进行策略搜索。而算子内性能开销模型通过使用基于执行的方法进行计算开销预估，同时使用基于计算的方法进行通信开销预估。本发明的搜索算法相比已有工作的搜索算法，具有更低的理论时间复杂度，能够更快地得出搜索结果，并还能保证搜索得到的策略质量。
-
公开(公告)号：CN112782326A
公开(公告)日：2021-05-11
申请号：CN202011616763.0
申请日：2020-12-30
Applicant: 上海交通大学
Abstract: 一种同时测定胃康灵胶囊指纹图谱及多指标成分含量的方法，以胃康灵胶囊溶液和对照品溶液，注入液相色谱仪中进行色谱检测并建立UPLC指纹图谱，再按照外标一点法计算芍药内酯苷、芍药苷、2‑O‑葡萄糖基白及苷(dactylorhinA)、白及苷(Militarine)和甘草酸的具体含量。本发明可以同时检测胃康灵胶囊指纹图谱和5个指标成分的含量，考察不同厂家、不同批号产品之间的差异性，是胃康灵胶囊质量控制的可行方法。
-
Patent Agency Ranking
公开(公告)号：CN112782312A
公开(公告)日：2021-05-11
申请号：CN202011609577.4
申请日：2020-12-30
Applicant: 上海交通大学
Abstract: 一种急支糖浆多指标成分定量检测方法，通过一标多测法测定急支糖浆中的原儿茶酸、盐酸麻黄碱、新绿原酸、对羟基苯甲酸、柚皮苷、新橙皮苷、甘草酸、白花前胡甲素的含量，本发明操作简单、方便高效、专属性强、稳定性、重复性好，能够全面有效地评价急支糖浆的质量，确保临床使用安全有效。
-
公开(公告)号：CN118579875A
公开(公告)日：2024-09-03
申请号：CN202410227315.3
申请日：2024-02-29
Applicant: 浙江省白马湖实验室有限公司 , 上海交通大学
IPC: C02F1/04 , C02F1/14 , H02J7/35 , C02F103/08
Abstract: 本发明提出一种基于太阳能光谱分频的半透明电池和海水淡化耦合系统，包括系统框架，所述系统框架设有多级海水淡化系统，所述多级海水淡化系统上方设有半透明太阳能电池板，所述半透明太阳能电池板包括依次层压的光伏玻璃板、半透明电池和太阳能吸收器，每层之间用EVA材料进行粘合。本发明通过在半透明电池背板耦合多级界面蒸馏装置，利用电池余热和直接透射的太阳能来循环各蒸馏阶段的水蒸气冷凝潜热，在保证电能的稳定输出下获得较高的淡化产量，实现可同时输出淡水和电能的高效太阳能光伏热综合系统。
-
公开(公告)号：CN119806886A
公开(公告)日：2025-04-11
申请号：CN202510003724.X
申请日：2025-01-02
Applicant: 上海交通大学
Abstract: 本发明提供了一种基于异步并行的服务器无感知应用分布式容错方法及系统，包括：将服务器无感知应用代码中对外部数据读写的调用转换为幂等数据读写API的调用；幂等数据读写API将读写依赖转换为对象引用的依赖链，返回结果及一个指向日志持久化结果的引用至数据存储管理器；日志异步调度器请求获取日志任务管理器储存幂等数据读写API调用的日志持久化任务及对应的语义信息，排序并构建日志持久化数据操作请求，得到日志管理结果；通过Actor模型根据日志管理结果执行数据存储管理器中的操作请求和引用。本发明能够应用在更广范围的代码中，在保证应用的幂等一致性的同时无需使用额外工具验证，具有更好的运行性能和更强的普适性。
-
公开(公告)号：CN117331961A
公开(公告)日：2024-01-02
申请号：CN202311332030.8
申请日：2023-10-13
Applicant: 上海交通大学
IPC: G06F16/242 , G06F16/2458 , G06F16/2453
Abstract: 本发明提供一种基于线性整数代数进行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等价性自动化验证的能力。
-
公开(公告)号：CN112782326B
公开(公告)日：2022-03-15
申请号：CN202011616763.0
申请日：2020-12-30
Applicant: 上海交通大学
Abstract: 一种同时测定胃康灵胶囊指纹图谱及多指标成分含量的方法，以胃康灵胶囊溶液和对照品溶液，注入液相色谱仪中进行色谱检测并建立UPLC指纹图谱，再按照外标一点法计算芍药内酯苷、芍药苷、2‑O‑葡萄糖基白及苷(dactylorhinA)、白及苷(Militarine)和甘草酸的具体含量。本发明可以同时检测胃康灵胶囊指纹图谱和5个指标成分的含量，考察不同厂家、不同批号产品之间的差异性，是胃康灵胶囊质量控制的可行方法。
-
-
-
-
-
-
-
Search Results
8
records
(took 0.021 seconds)
