-
公开(公告)号：CN119148993A
公开(公告)日：2024-12-17
申请号：CN202410987919.8
申请日：2024-07-23
Applicant: 浙江大学 , 杭州优稳自动化系统有限公司
Abstract: 本发明公开了一种基于问题导向的代码优化方法及系统。该方法属于软件工程领域，旨在解决现有代码优化方法依赖于单一程序员多次提交、忽视全局算法创新的问题。该方法通过收集不同程序员针对同一问题的多次代码提交，构建问题导向的数据集，利用大语言模型进行训练生成优化代码。为提升代码优化的正确性和性能，本发明引入了线性模型合并和球面插值等模型合并技术。该系统包括数据集构建模块、大语言模型训练模块和模型合并模块，各模块协同工作，完成从数据集构建到优化代码生成的全过程。本发明的方法在优化比率和速度提升方面具有显著优势，能够实现全局算法创新和高效的代码性能优化，具有广泛的应用前景。
-
公开(公告)号：CN115455653A
公开(公告)日：2022-12-09
申请号：CN202210965920.1
申请日：2022-08-12
Applicant: 浙江大学 , 杭州优稳自动化系统有限公司
IPC: G06F30/20 , G06F8/30 , G06F119/08
Abstract: 本发明公开了一种应用于联合仿真平台的热力学解算方法及装置、电子设备，包括：利用联合仿真平台，构建前端热力学媒介包；通过前端热力学媒介包中的函数调用接口层的函数，同时传递用户配置信息；基于用户配置信息，通过接口层的函数调用外部流体特性代码，生成热力学解算模型实例，计算热力学性质；将热力学性质存储在物性对象中，并返回给前端热力学媒介包一个唯一标识号；根据联合仿真平台的请求信息，利用前端热力学媒介包的函数，调用对应接口层的函数，同时传递唯一标识号，接口层的函数通过唯一标识号检索获取热力学性质并返回。本发明为化工行业联合仿真提供了热力学支持，系统解决化工行业联合仿真热力学服务缺乏的问题。
-
公开(公告)号：CN114157456A
公开(公告)日：2022-03-08
申请号：CN202111360677.2
申请日：2021-11-17
Applicant: 杭州优稳自动化系统有限公司 , 浙江大学
Abstract: 本发明公开了一种适用于控制系统的EtherCAT安全监测装置及方法，监测装置包括：协议深度解析模块，被配置为用于捕捉EtherCAT数据包，将捕捉到的数据包经过上下文统筹分析方法构建EtherCAT数据包深度解析框架；关键点监测模块，被配置为用于至少通过逻辑地址映射监测、分布式时钟伪同步监测、从站配置参数合法合理性监测、从站运行状态监测、通信异常与重试监测剖析EtherCAT协议中存在的脆弱点以进行重点防护；数据检测模块，被配置为用于通过监测分类频率，判断EtherCAT网络是否发生异常。本发明通过实现协议深度解析模块、关键点监测模块和数据检测模块，可以实现异常行为的识别、定位、预警，解决了多维度、深层次的安全监测问题。
-
公开(公告)号：CN117170673B
公开(公告)日：2024-05-17
申请号：CN202310971362.4
申请日：2023-08-03
Applicant: 浙江大学 , 杭州优稳自动化系统有限公司
IPC: G06F8/41 , G06F8/53 , G06F18/22 , G06F18/214
Abstract: 本发明公开了一种面向二进制代码文本注释自动化生成方法及装置。收集并匹配汇编代码、相应的源代码以及相应的注释信息，构建数据集；对汇编函数指令依次进行正则化和一致性操作去重处理，得到只包含函数处理逻辑和功能的汇编函数代码；根据所述汇编函数代码，分别构建汇编代码指令级控制流图和反编译形成的伪代码；构建编码器‑解码器模型，所述编码器‑解码器模型由三个编码器和一个解码器组成，用于生成相应的注释文本；利用所述训练集对所述编码器‑解码器模型进行训练；利用训练好的编码器‑解码器模型对测试集中的汇编函数代码进行处理，生成相应的注释文本。本发明是一项首次在闭源、计算机底层语言场景下实现高维语义信息恢复的技术创新。
-
公开(公告)号：CN116841243A
公开(公告)日：2023-10-03
申请号：CN202310723248.X
申请日：2023-06-19
Applicant: 浙江大学 , 杭州优稳自动化系统有限公司
IPC: G05B19/05
Abstract: 本发明公开了一种基于协议格式推断的智能化PLC模糊测试方法、模糊测试方法及装置，包括S1：通过上位机软件与PLC交互获取通信协议；S2：选取通信协议，进行单字节的确定性变异后发送给PLC；S3：接收PLC返回的响应协议，按字节顺序保存为协议树；S4：将确定性变异的字节与之后的字节逐个累加在一起再次进行确定性变异，并将测试用例发送给PLC；S5：接收PLC返回的协议，并逐个加入所述协议树中，如果响应协议是独特的，则认为响应协议有价值；S6：如果累加一定数量的字节仍然没有出现有价值的响应，则反方向重复S2到S5。模糊测试方法包括将S1到S6得到的协议格式，用于生成测试用例并进行模糊测试。本申请的方法降低了对协议格式的依赖，并提高了测试效率。
-
Patent Agency Ranking
公开(公告)号：CN114063606B
公开(公告)日：2022-06-21
申请号：CN202210038505.1
申请日：2022-01-13
Applicant: 浙江大学 , 杭州优稳自动化系统有限公司
IPC: G05B23/02
Abstract: 本发明公开了一种PLC协议模糊测试方法及装置、电子设备、存储介质，包括：构建种子库；从所述种子库中选取还未进行过确定性变异的种子进行确定性变异，生成确定性变异用例；将所述确定性变异用例作为请求报文发送给被测PLC；如果所述种子库中的所有种子均已进行过确定性变异，则从所述种子库中随机选取种子进行随机变异，生成随机变异用例；将所述随机变异用例作为请求报文发送给被测PLC；接收被测PLC返回的响应报文，将所述响应报文以树的数据结构进行保存；如果某一条响应报文在所述树的数据结构中添加了新的节点，则认为该响应报文是有价值的；将有价值的响应报文对应的请求报文储存至种子库中，以更新所述种子库。模糊测试效率得到显著提升。
-
公开(公告)号：CN114422195A
公开(公告)日：2022-04-29
申请号：CN202111598461.X
申请日：2021-12-24
Applicant: 杭州优稳自动化系统有限公司 , 浙江大学
Abstract: 本发明公开了一种适用于工控系统的伪控制指令识别与预警系统及方法，所述系统包括协议解析模块、异常识别模块和模型库更新模块，协议解析模块用于对采集数据包的报文格式进行深度解析和关键字段提取，通过数据包的完整性与合法性校验，对进入异常识别模块的数据包进行初步过滤；异常识别模块用于根据从模型库更新模块中获得的安全通信规则校验库的规则，对进入异常识别模块的数据包进一步校验，识别网络通信中的异常并报警；模型库更新模块通过解析数据包中关键字段及其之间的关系，采用人工梳理与机器学习结合的方法构建并更新安全通信规则校验库。本发明可以检测到伪控制指令并向系统发出预警信号。
-
公开(公告)号：CN115437528A
公开(公告)日：2022-12-06
申请号：CN202210975257.3
申请日：2022-08-11
Applicant: 浙江大学 , 杭州优稳自动化系统有限公司
IPC: G06F3/0481 , G06T11/20 , G06Q10/06 , G06Q10/10
Abstract: 本发明公开了一种基于数字孪生的化工流程模拟器及其构建方法。在化工领域构建数字孪生模型，是实现数字化转型的重要组成部分。化工流程模拟器通过提供交互平台，便于用户参照实际生产流程规范，连接代表单元设备和物料流的图形标识，形成流程图，解决面向化工装置的数字孪生模型的模拟与计算问题。采用化工流程模拟器执行运算的结果，为预测生产中最佳操作参数和运行条件提供数据。化工流程模拟器由图形用户界面模块、组件接口模块、流程计算模块、数据处理模块和错误提示模块组成。组件接口模块通过导入基于统一软件接口的外部模块降低了软件开发工作量，数据处理模块采用数据切片，采集生产运行周期的仿真数据，作为智能数据分析的基础。
-
公开(公告)号：CN114063606A
公开(公告)日：2022-02-18
申请号：CN202210038505.1
申请日：2022-01-13
Applicant: 浙江大学 , 杭州优稳自动化系统有限公司
IPC: G05B23/02
Abstract: 本发明公开了一种PLC协议模糊测试方法及装置、电子设备、存储介质，包括：构建种子库；从所述种子库中选取还未进行过确定性变异的种子进行确定性变异，生成确定性变异用例；将所述确定性变异用例作为请求报文发送给被测PLC；如果所述种子库中的所有种子均已进行过确定性变异，则从所述种子库中随机选取种子进行随机变异，生成随机变异用例；将所述随机变异用例作为请求报文发送给被测PLC；接收被测PLC返回的响应报文，将所述响应报文以树的数据结构进行保存；如果某一条响应报文在所述树的数据结构中添加了新的节点，则认为该响应报文是有价值的；将有价值的响应报文对应的请求报文储存至种子库中，以更新所述种子库。模糊测试效率得到显著提升。
-
公开(公告)号：CN116841243B
公开(公告)日：2024-01-09
申请号：CN202310723248.X
申请日：2023-06-19
Applicant: 浙江大学 , 杭州优稳自动化系统有限公司
IPC: G05B19/05
Abstract: 本发明公开了一种基于协议格式推断的智能化PLC模糊测试方法、模糊测试方法及装置，包括S1：通过上位机软件与PLC交互获取通信协议；S2：选取通信协议，进行单字节的确定性变异后发送给PLC；S3：接收PLC返回的响应协议，按字节顺序保存为协议树；S4：将确定性变异的字节与之后的字节逐个累加在一起再次进行确定性变异，并将测试用例发送给PLC；S5：接收PLC返回的协议，并逐个加入所述协议树中，如果响应协议是独特的，则认为响应协议有价值；S6：如果累加一定数量的字节仍然没有出现有价值的响应，则反方向重复S2到S5。模糊测试方法包括将S1到S6得到的协议格式，用于生成测试用例并进行模糊测试。本申请的方法降低了对协议格式的依赖，
-
-
-
-
-
-
-
-
-
Search Results
74
records
(took 0.041 seconds)
