一种多自由度俘能的浮子式波浪能发电装置

    公开(公告)号:CN114198244A

    公开(公告)日:2022-03-18

    申请号:CN202111506906.7

    申请日:2021-12-10

    IPC分类号: F03B13/18 F03B11/06 F03B11/00

    摘要: 本发明涉及一种多自由度俘能的浮子式波浪能发电装置,包括波浪能俘获模块、机械传动模块、电能转换模块和支撑平台,波浪能俘获模块包括浮子,电能转换模块包括主发电机、第一副发电机和第二副发电机;机械传动模块包括从下至上依次布置的推杆、丝杠传动装置、机械整流齿轮箱、横摇框架和纵摇框架;通过丝杠传动装置将浮子的直线运动转换为丝杠的旋转运动,通过机械整流齿轮箱将丝杠的往复旋转运动转换为单向旋转运动,进而将机械能转换为电能;通过横摇转轴和纵摇转轴释放横摇和纵摇两个自由度,同时配备两个副发电机,以俘获不同方向的波浪能。本发明能实现多自由度俘能,提高波浪能转换效率,同时减少波浪对导向系统的冲击,提高装置的可靠性。

    基于EPF的JAVA代码生成工具

    公开(公告)号:CN114780071B

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

    申请号:CN202210323190.5

    申请日:2022-03-30

    IPC分类号: G06F8/30 G06F8/35

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

    基于EPF的JAVA代码生成工具

    公开(公告)号:CN114780071A

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

    申请号:CN202210323190.5

    申请日:2022-03-30

    IPC分类号: G06F8/30 G06F8/35

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