-
公开(公告)号：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，至此整个系统的压力差模型构建完成。
-
公开(公告)号：CN117170673B
公开(公告)日：2024-05-17
申请号：CN202310971362.4
申请日：2023-08-03
Applicant: 浙江大学 , 杭州优稳自动化系统有限公司
IPC: G06F8/41 , G06F8/53 , G06F18/22 , G06F18/214
Abstract: 本发明公开了一种面向二进制代码文本注释自动化生成方法及装置。收集并匹配汇编代码、相应的源代码以及相应的注释信息，构建数据集；对汇编函数指令依次进行正则化和一致性操作去重处理，得到只包含函数处理逻辑和功能的汇编函数代码；根据所述汇编函数代码，分别构建汇编代码指令级控制流图和反编译形成的伪代码；构建编码器‑解码器模型，所述编码器‑解码器模型由三个编码器和一个解码器组成，用于生成相应的注释文本；利用所述训练集对所述编码器‑解码器模型进行训练；利用训练好的编码器‑解码器模型对测试集中的汇编函数代码进行处理，生成相应的注释文本。本发明是一项首次在闭源、计算机底层语言场景下实现高维语义信息恢复的技术创新。
-
公开(公告)号：CN116861613B
公开(公告)日：2023-12-22
申请号：CN202310240409.X
申请日：2023-03-06
Applicant: 杭州优稳自动化系统有限公司 , 浙江大学
IPC: G06F30/20 , G06F17/10 , G06F119/14 , G06F119/08 , G06F113/08 , G06F113/06
Abstract: 本发明公开了一种火电厂风烟系统轴流风机仿真模型的构建方法，包括：根据轴流风机的工作原理，基于Modelica构建全压算法块、流网解算算法块、功率算法块、换热算法块和安全监视算法块，并确定所述算法块的输入和输出；根据轴流风机的物理拓扑和功能拓扑，调用所述全压算法块和流网算法块构建流网模块，调用所述功率算法块、换热算法块和安全监视算法块构建序贯模块，并确定所述模块的输入和输出；调用流网模块和序贯模块，根据实际运行工况设定进出口参数构建轴流风机仿真模型。本申请以Modelica为基础建模，克服了传统建模方法不全面、考虑因果性、不易修改和重用的技术问题，进而提高轴流风机仿真模型的精确度和重用性。
-
公开(公告)号：CN116781407B
公开(公告)日：2023-12-01
申请号：CN202310950003.0
申请日：2023-07-31
Applicant: 浙江大学 , 杭州优稳自动化系统有限公司
Abstract: 本发明公开了一种基于典型变量差异度分析的交流电网隐蔽攻击检测方法，该方法包括：在智能电网交流状态估计场景下，对电网脆弱性进行分析，得到交流电网隐蔽攻击模型；根据所述交流电网隐蔽攻击模型和系统正常运行下的测量值数据，构建并训练基于典型变量差异度分析的攻击检测模型，同时在所述攻击检测模型中引入新的检测统计量；根据所述攻击检测模型和新的检测统计量及采集到的实时攻击状态下的测量值数据，再利用基于核密度估计方法对交流(56)对比文件Binbin Wang等.A cross-layer attackpath detection method for smart griddynamics.2022 5th InternationalConference on Advanced ElectronicMaterials, Computers and SoftwareEngineering (AEMCSE).2022,全文.张婷;曾庆鹏;高胜保;肖异瑶.基于时域背离特征分析的托攻击检测算法.南昌大学学报(工科版).2017,(01),全文.
-
Patent Agency Ranking
公开(公告)号：CN114917470A
公开(公告)日：2022-08-19
申请号：CN202210723575.0
申请日：2022-06-23
Applicant: 浙江大学
Abstract: 本发明公开了一种具有眼底图案信息的视网膜刺激电极及其制作方法。该刺激电极包括带有眼球内表面视网膜结构信息的头部电极体、躯干电极体以及连接各部分之间的辅助附件。整个电极各个部件，含电极触点头、电极引线、目标附着面、电极连接丝以及固定钉适用的孔洞都进行了三维设计，在视网膜一侧紧密贴合，电极位点及走向避开大血管，放于最佳位置。本发明对因视网膜病变而失明的患者的视网膜上植入人工视觉假体时，植入的目标位置会更加准确，刺激电极能够因视网膜内表面的凹凸不同进行调整并有效贴合，能够准确刺激视神经纤维，提高刺激的效率，减少对视网膜的损伤，最终可以达到更好地视觉重建效果。
-
公开(公告)号：CN110362886A
公开(公告)日：2019-10-22
申请号：CN201910561857.3
申请日：2019-06-26
Applicant: 浙江大学
Abstract: 本发明公开了一种基于不确定性分析的城镇砌体住宅安全评估方法，属于工程结构性能评估领域。该方法首先对结构进行环境振动下的加速度采集，得到加速度数据。其次，采用多参考点协方差驱动随机子空间法与卷积神经网络自动识别结构模态参数及其不确定性。然后，以得到的不确定性模态参数为输入，采用基于渐进马尔科夫链蒙特卡罗法(TMCMC)的贝叶斯模型修正方法，修正结构的初始有限元模型，得到带有不确定性参数的城镇砌体住宅安全评估模型。最后，对该模型进行同时考虑荷载作用及结构参数不确定性的安全评估。本发明能够构建有效的城镇砌体住宅安全评估模型，从而实现该类房屋长期安全管理与灾害预警的目标。
-
公开(公告)号：CN103294812A
公开(公告)日：2013-09-11
申请号：CN201310224975.8
申请日：2013-06-06
Applicant: 浙江大学
IPC: G06F17/30
Abstract: 一种基于混合模型的商品推荐方法，从用户数据库中提取用户的历史评分数据，然后进行如下操作：首先从数据库中提取用户的历史评分数据，将数据集进行分割；使用部分数据集训练最近邻推荐模型和奇异值分解模型；随后再使用剩余的数据集训练线性混合模型；最后根据线性混合模型计算出的缺失评分的估计值进行相关推荐。本方法的优点在于使用线性模型混合最近邻推荐模型和奇异值分解模型，结合了两种推荐算法的优点，提高了商品推荐的准确率。
-
公开(公告)号：CN103279552A
公开(公告)日：2013-09-04
申请号：CN201310226877.8
申请日：2013-06-06
Applicant: 浙江大学
Abstract: 一种基于用户兴趣分组的协同过滤推荐方法，在获取用户和物品之间的关系数据之后，针对这些数据进行如下操作：首先将数据进行规范化表达；接着对数据进行降维处理，将用户和物品映射到共同的低维空间；之后利用聚类方法把降维之后的用户和物品划分到不同的兴趣分组；在每一个分组基础上利用协同过滤的推荐方法进行预测；最后将不同分组的预测值进行合并，并向用户进行推荐。本方法的优点在于：可以更精细地描述用户和物品之间的关系，能够快速地找到用户的兴趣分组，提高协同过滤推荐方法的准确度。
-
公开(公告)号：CN103279551A
公开(公告)日：2013-09-04
申请号：CN201310226758.2
申请日：2013-06-06
Applicant: 浙江大学
IPC: G06F17/30
Abstract: 一种基于欧氏距离的高维数据准确近邻快速检索方法，将高维数据表述成向量形式，然后嵌入到均值和方差构成的二维空间中，同时建立原高维数据的采样索引；进行近邻查询时，在输入查询点后，首先通过采样索引获得过滤阈值，然后利用过滤阈值在二维空间中对非近邻数据进行过滤，得到候选数据集；最后线性遍历计算所有候选数据点到查询点的距离，并计算出查询点的最近邻点；本方法的优点在于能够快速处理高维数据，并且能够查询准确的近邻点。
-
-
-
-
-
-
-
-
-
Search Results
48
records
(took 0.028 seconds)
