-
公开(公告)号：CN118395890B
公开(公告)日：2025-04-08
申请号：CN202410484633.8
申请日：2024-04-22
Applicant: 杭州优稳自动化系统有限公司 , 浙江大学
IPC: G06F30/28 , G06F113/08 , G06F119/14
Abstract: 本发明公开了一种基于Modelica的闪蒸模型系统的构建方法，包括：构建压力源单元模型、热换器单元模型、调节阀单元模型、闪蒸罐单元模型、冷却器单元模型、第一压力阱单元模型、第二压力阱单元模型以及连接器模型；并按照系统的工作机理，将上述模型进行连接；取压力源单元模型中的压力为P1、第二压力阱单元模型中的压力为P2、第一压力阱单元模型中的压力为P3，结合两条工质流动通道，则有P1>P2>P3，从而构建完成第一条工质流动通道之间的压力差模型P1‑P2，令闪蒸罐单元模型的压力等于第二压力阱单元模型中的压力P2，构建出第二条工质流动通道中的压力差模型P2‑P3，至此整个系统的压力差模型构建完成。
-
Patent Agency Ranking
公开(公告)号：CN119046947A
公开(公告)日：2024-11-29
申请号：CN202410956135.9
申请日：2024-07-17
Applicant: 浙江大学 , 杭州优稳自动化系统有限公司
IPC: G06F21/57
Abstract: 本发明公开了一种漏洞类型适应性程序切片方法及装置、电子设备，该方法通过大语言模型对补丁中程序语句筛选，识别与漏洞相关的程序语句，准确确定漏洞相关切片标准；通过大语言模型对补丁描述及程序语句的分析，判断补丁修复的漏洞类型，针对不同的漏洞特征构建合适的切片策略；通过大语言模型对切片代码片段完整性的判断，在防止切片路径爆炸的同时，保证切片代码片段的高完整性。本发明能够达到根据漏洞类型自适应地实现高完整性程序切片的目的。
-
公开(公告)号：CN118395891B
公开(公告)日：2025-02-25
申请号：CN202410484636.1
申请日：2024-04-22
Applicant: 杭州优稳自动化系统有限公司 , 浙江大学
IPC: G06F30/28 , G06F113/08 , G06F119/08 , G06F119/14
Abstract: 本发明公开了一种基于SRK方程求逸度系数、对组分气相分压进行修正的方法，从而获得更加准确的组分气液相组成之间的关系。该方法可以避免因传统方法得到的气液相平衡关系式过于理想而无法准确表达实际生产中气液相组成之间的关系。方法是通过混合规则得到所需的混合物参数，然后结合所得混合物参数以及压缩因子形式的SRK方程便可求得逸度系数，通过该逸度系数对由Antoine方程计算得到的理想气相分压进行矫正，进而利用校正后的各组分气相分压求得混合物逸度并用于替代传统气液相平衡方程中的总压P，最终便可得到相对真实的气液相组成之间的关系。
-
公开(公告)号：CN118395891A
公开(公告)日：2024-07-26
申请号：CN202410484636.1
申请日：2024-04-22
Applicant: 杭州优稳自动化系统有限公司 , 浙江大学
IPC: G06F30/28 , G06F113/08 , G06F119/08 , G06F119/14
Abstract: 本发明公开了一种基于SRK方程求逸度系数、对组分气相分压进行修正的方法，从而获得更加准确的组分气液相组成之间的关系。该方法可以避免因传统方法得到的气液相平衡关系式过于理想而无法准确表达实际生产中气液相组成之间的关系。方法是通过混合规则得到所需的混合物参数，然后结合所得混合物参数以及压缩因子形式的SRK方程便可求得逸度系数，通过该逸度系数对由Antoine方程计算得到的理想气相分压进行矫正，进而利用校正后的各组分气相分压求得混合物逸度并用于替代传统气液相平衡方程中的总压P，最终便可得到相对真实的气液相组成之间的关系。
-
公开(公告)号：CN119939588A
公开(公告)日：2025-05-06
申请号：CN202411702330.5
申请日：2024-11-26
Applicant: 浙江大学 , 杭州优稳自动化系统有限公司
IPC: G06F21/57 , G06F11/3668 , G06F21/56
Abstract: 本发明公开了一种面向物联网设备固件的漏洞挖掘方法及系统，其中系统包括：固件预处理模块，提取待测固件的加载基地址、函数符号表、可执行程序等；风险函数识别模块，根据先验知识设计启发式规则识别风险函数，并根据污点参数定义函数规格；程序静态切片模块，采用前向切片与后向切片结合的方法，从程序过程间控制流图中提取出完整的危险代码片段，并对动态内存分配函数进行重构；动态模糊测试模块，利用基于模拟执行的模糊测试框架实现对固件危险代码片段的仿真及模糊测试，同时动态监测漏洞表征。本发明的系统能够对物联网设备二进制固件进行高效地模糊测试和漏洞挖掘。
-
公开(公告)号：CN118395890A
公开(公告)日：2024-07-26
申请号：CN202410484633.8
申请日：2024-04-22
Applicant: 杭州优稳自动化系统有限公司 , 浙江大学
IPC: G06F30/28 , G06F113/08 , G06F119/14
Abstract: 本发明公开了一种基于Modelica的闪蒸模型系统的构建方法，包括：构建压力源单元模型、热换器单元模型、调节阀单元模型、闪蒸罐单元模型、冷却器单元模型、第一压力阱单元模型、第二压力阱单元模型以及连接器模型；并按照系统的工作机理，将上述模型进行连接；取压力源单元模型中的压力为P1、第二压力阱单元模型中的压力为P2、第一压力阱单元模型中的压力为P3，结合两条工质流动通道，则有P1>P2>P3，从而构建完成第一条工质流动通道之间的压力差模型P1‑P2，令闪蒸罐单元模型的压力等于第二压力阱单元模型中的压力P2，构建出第二条工质流动通道中的压力差模型P2‑P3，至此整个系统的压力差模型构建完成。
-
-
-
-
-
Search Results
6
records
(took 0.029 seconds)
