公开(公告)号：CN114780071B

公开(公告)日：2024-06-28

申请号：CN202210323190.5

申请日：2022-03-30

Applicant: 大连理工大学

Inventor： 周宽久 ,  王梓仲 ,  李一聪 ,  徐琳

IPC: G06F8/30 ,  G06F8/35

Abstract: 本发明属于软件开发领域，公开了一种基于EPF的JAVA代码生成工具。该JAVA代码生成工具基于事件处理表格、支持并发建模、支持生成并发代码的JAVA代码生成工具，其中包含一种形式化建模工具EPF及一种用于自动生成JAVA代码的算法；本发明在保留软件形式化语义的同时，提供了简洁易懂的建模工具；支持并发建模并生成多线程JAVA代码；可以显式地表示出软件设计缺陷；可以方便地进行形式化验证；包含了多种逻辑判断单元以适应复杂的设计需求；自动生成代码可以提高代码质量、减少工作人员的工作量；模型与代码解耦，降低了软件迭代的成本。

公开(公告)号：CN115036938A

公开(公告)日：2022-09-09

申请号：CN202210479501.7

申请日：2022-05-05

Applicant: 大连理工大学

Inventor： 周宽久 ,  徐琳 ,  王美颖 ,  李一聪 ,  李卫东 ,  王祥旭

IPC: H02J3/24 ,  G06Q10/04 ,  G06Q50/06 ,  G06N5/00 ,  G06N3/08 ,  G06N3/04 ,  G06N3/00 ,  G06K9/62

Abstract: 本发明提供了一种基于群智能融合模型的电网暂态频率特征预测方法，属于电力系统趋势预测技术领域。本发明首先使用Stacking融合机制将梯度提升决策树模型(GBDT)与长短期记忆模型(LSTM)分层对模型进行集成；其次，通过麻雀搜索算法对模型超参进行优化，实现兼顾准确性与时效性的预测方法。本发明有效改善了单一机器学习模型不能兼顾时效性与准确性的缺点；同时，使用麻雀搜索算法对融合模型结构进行调整，使模型结构更加精简，提高了运行速度和控制精度。

公开(公告)号：CN114780071A

公开(公告)日：2022-07-22

申请号：CN202210323190.5

申请日：2022-03-30

Applicant: 大连理工大学

Inventor： 周宽久 ,  王梓仲 ,  李一聪 ,  徐琳

IPC: G06F8/30 ,  G06F8/35

Abstract: 本发明属于软件开发领域，公开了一种基于EPF的JAVA代码生成工具。该JAVA代码生成工具基于事件处理表格、支持并发建模、支持生成并发代码的JAVA代码生成工具，其中包含一种形式化建模工具EPF及一种用于自动生成JAVA代码的算法；本发明在保留软件形式化语义的同时，提供了简洁易懂的建模工具；支持并发建模并生成多线程JAVA代码；可以显式地表示出软件设计缺陷；可以方便地进行形式化验证；包含了多种逻辑判断单元以适应复杂的设计需求；自动生成代码可以提高代码质量、减少工作人员的工作量；模型与代码解耦，降低了软件迭代的成本。

公开(公告)号：CN113094633A

公开(公告)日：2021-07-09

申请号：CN202110429517.2

申请日：2021-04-21

Applicant: 大连理工大学

Inventor： 周宽久 ,  李一聪 ,  王梓仲 ,  李浚瑀 ,  王洁

IPC: G06F17/10 ,  G06F21/64

Abstract: 本发明提供了一种基于标量等式内积的高效范围证明方法，利用范围区间和证明值构造单一的范围等式并计算出范围标量；将范围等式和范围标量分别拆分为固定长度的内积；采用Pedersen向量承诺封装范围标量、聚合内积和盲化因子；计算聚合内积多项式，并计算零次项系数表达式；生成聚合多项式系数承诺，并产生内积范围证据集；发送证据集至智能合约端，验证内积等式及聚合多项式证据，完成证明过程。本发明同时基于多项式拆分思想以标量等式的形式代表范围区间，并以此构造恒定长度的内积，使计算时间恒定，使用标量等式内积的合法性验证代替数值内积的合法性验证，在实现灵活范围证明的同时，消除链下计算安全威胁；优化运算时间。