-
公开(公告)号：CN104407591A
公开(公告)日：2015-03-11
申请号：CN201410705619.2
申请日：2014-11-27
Applicant: 杭州优稳自动化系统有限公司
IPC: G05B19/418
CPC classification number: Y02P90/02 , G05B19/4186
Abstract: 本发明基于实时数据库的Modbus设备主从站通讯管理方法利用实时数据库存放有效数据，以衔接不同协议之间的转换，并通过对三种不同协议进行转换增强了Modbus设备通讯互联能力。可以将Modbus现场设备的过程信号集成到控制站中，将全部Modbus现场设备数据送入主控室的工程师站；同时，以实时数据库为媒介，Modbus通讯模件为载体，将控制站中接入的其他现场设备数据信号通过Modbus虚拟设备开放给第三方系统，实现开放互联。用户在控制室就能方便地远程查看、修改、配置现场设备的组态信息，所有的操作都会记录在数据库中，做到有据可查，提高了维护率，降低了生产成本。
-
公开(公告)号：CN102128644B
公开(公告)日：2012-07-11
申请号：CN201010603394.1
申请日：2010-12-23
Applicant: 杭州优稳自动化系统有限公司
Abstract: 本发明涉及一种接线端子盒可拆卸式智能仪表，包括显示面板，所述显示面板背面连接有多个功能模块，所述功能模块包括模块化的功能单元盒与接线端子盒，所述功能单元盒的背面通过第一电气插座与第一电气插头与接线端子盒连接，功能单元盒与接线端子盒之间设置定位件，功能单元盒与接线端子盒通过螺钉锁紧，功能单元盒的正面通过第二电气插座和第二电气插头与所述显示面板连接，显示面板与功能模块通过螺钉锁紧。本发明提供一种接线装配方便，因功能单元损坏更换时无需重新接线、维护快捷简便、减少资源浪费，同时对应智能仪表的各个功能模块可分别针对性的配置接线端子，满足功能模块的电气设计所需要的特殊要求的接线端子盒可拆卸式智能仪表。
-
公开(公告)号：CN119939588A
公开(公告)日：2025-05-06
申请号：CN202411702330.5
申请日：2024-11-26
Applicant: 浙江大学 , 杭州优稳自动化系统有限公司
IPC: G06F21/57 , G06F11/3668 , G06F21/56
Abstract: 本发明公开了一种面向物联网设备固件的漏洞挖掘方法及系统，其中系统包括：固件预处理模块，提取待测固件的加载基地址、函数符号表、可执行程序等；风险函数识别模块，根据先验知识设计启发式规则识别风险函数，并根据污点参数定义函数规格；程序静态切片模块，采用前向切片与后向切片结合的方法，从程序过程间控制流图中提取出完整的危险代码片段，并对动态内存分配函数进行重构；动态模糊测试模块，利用基于模拟执行的模糊测试框架实现对固件危险代码片段的仿真及模糊测试，同时动态监测漏洞表征。本发明的系统能够对物联网设备二进制固件进行高效地模糊测试和漏洞挖掘。
-
公开(公告)号：CN118171284B
公开(公告)日：2024-10-01
申请号：CN202410367119.6
申请日：2024-03-28
Applicant: 浙江大学 , 杭州优稳自动化系统有限公司
Abstract: 本发明公开了一种基于补丁及并发行为模式分析的内核数据竞争检测方法，通过对并发漏洞修复补丁进行分析，针对性地识别数据竞争检测分析对象；通过考虑安全影响一致性的并发行为模式分析，过滤良性数据竞争，准确识别有害数据竞争；通过与已知漏洞的并发行为模式比较进行数据竞争检测，数据竞争检测效率高、资源消耗小。本发明能够达到在大规模的内核代码中准确、高效地进行数据竞争检测的目的。
-
公开(公告)号：CN117744087B
公开(公告)日：2024-10-01
申请号：CN202311668718.3
申请日：2023-12-07
Applicant: 浙江大学 , 杭州优稳自动化系统有限公司
Abstract: 本发明公开了一种基于静态分析的智能设备远程代码执行漏洞检测方法。本申请涉及工业物联网安全技术领域。该方法旨在采用一种自动化的方法定位报告智能设备中Web管理界面中的远程代码执行漏洞。该方法对所采集到的固件系统解包得到Lua源码，使用Lua语法解析将源码转化为抽象语法树，然后先对抽象语法树进行控制流分析生成控制流图，再使用基于流敏感、路径敏感与上下文敏感的数据流分析对程序进行进一步分析并求取控制流图节点的数据流约束，最后基于污点分析与AST结构准确定位漏洞位置并报告漏洞的相关信息。本发明利用静态污点分析技术实现了嵌入式固件有效的自动化漏洞检测，可用性高，覆盖面广。
-
Patent Agency Ranking
公开(公告)号：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: 本发明公开了一种面向二进制代码文本注释自动化生成方法及装置。收集并匹配汇编代码、相应的源代码以及相应的注释信息，构建数据集；对汇编函数指令依次进行正则化和一致性操作去重处理，得到只包含函数处理逻辑和功能的汇编函数代码；根据所述汇编函数代码，分别构建汇编代码指令级控制流图和反编译形成的伪代码；构建编码器‑解码器模型，所述编码器‑解码器模型由三个编码器和一个解码器组成，用于生成相应的注释文本；利用所述训练集对所述编码器‑解码器模型进行训练；利用训练好的编码器‑解码器模型对测试集中的汇编函数代码进行处理，生成相应的注释文本。本发明是一项首次在闭源、计算机底层语言场景下实现高维语义信息恢复的技术创新。
-
公开(公告)号：CN117744087A
公开(公告)日：2024-03-22
申请号：CN202311668718.3
申请日：2023-12-07
Applicant: 浙江大学 , 杭州优稳自动化系统有限公司
Abstract: 本发明公开了一种基于静态分析的智能设备远程代码执行漏洞检测方法。本申请涉及工业物联网安全技术领域。该方法旨在采用一种自动化的方法定位报告智能设备中Web管理界面中的远程代码执行漏洞。该方法对所采集到的固件系统解包得到Lua源码，使用Lua语法解析将源码转化为抽象语法树，然后先对抽象语法树进行控制流分析生成控制流图，再使用基于流敏感、路径敏感与上下文敏感的数据流分析对程序进行进一步分析并求取控制流图节点的数据流约束，最后基于污点分析与AST结构准确定位漏洞位置并报告漏洞的相关信息。本发明利用静态污点分析技术实现了嵌入式固件有效的自动化漏洞检测，可用性高，覆盖面广。
-
公开(公告)号：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),全文.
-
-
-
-
-
-
-
-
-
Search Results
119
records
(took 0.03 seconds)
