一种面向RoboSim模型实时系统的模型检测方法

    公开(公告)号:CN112733323B

    公开(公告)日:2022-08-05

    申请号:CN202011464926.8

    申请日:2020-12-14

    Abstract: 本发明公开了一种面向RoboSim模型实时系统的模型检测方法,其特点是通过预先定义转换规则,将RoboSim模型转换为UPPAAL能识别的时间自动机网络模型,自动生成相应的TCTL性质,使用模型检测工具UPPAAL对机器人仿真模型进行模拟、验证及分析。本发明与现有技术相比具有验证效率高,且适合对机器人的物理平台和环境进行建模和验证,支持将RoboSim模型转换为时间自动机网络模型,为形式化验证RoboSim机器人仿真模型提供了一套有效的方法。

    转换图形格式的方法及相关设备
    72.
    发明公开

    公开(公告)号:CN114707468A

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

    申请号:CN202210273183.9

    申请日:2022-03-18

    Inventor: 林良喜

    Abstract: 本公开提供一种转换图形格式的方法及相关设备。该方法,包括:获取具有第一格式的图形文件,从所述图形文件中获取图形的描述信息;基于所述描述信息,计算所述图形的宽和高,创建具有所述宽和所述高的画布;在所述画布上按照所述描述信息绘制所述图形;以及将绘制有所述图形的所述画布转换为具有第二格式的图形文件。

    一种基于xml的APP后台接口免开发的脚本化配置方法

    公开(公告)号:CN114416197A

    公开(公告)日:2022-04-29

    申请号:CN202111630864.8

    申请日:2021-12-28

    Inventor: 赖贵全 王剑明

    Abstract: 本发明公开了一种基于xml的APP后台接口免开发的脚本化配置方法,属于APP开发技术领域,目的在于提供一种基于xml的APP后台接口免开发的脚本化配置方法,解决现有APP后台接口开发周期长、开发效率低、开发难度较高的问题。其只需映入工程项目,编写xml,即可自动生成一个相对应的接口,相比于传统的代码逻辑,上手简单,只需要懂数据库sql的就可以完成,从而节约开发人员时间,降低入门难度,节约开发成本,实习生也可以快速的参与项目,从而缩短项目周期。本发明适用于一种基于xml的APP后台接口免开发的脚本化配置方法。

    一种基于freemarker生成docx格式文档的方法及系统

    公开(公告)号:CN113378535A

    公开(公告)日:2021-09-10

    申请号:CN202110697779.7

    申请日:2021-06-23

    Inventor: 汤先伟 张华

    Abstract: 本发明公开了一种基于freemarker生成docx格式文档的方法及系统,属于文档生成实现技术领域。本发明的基于freemarker生成docx格式文档的方法,按照docx中文档内容编写ftl模板文件,生成文档时从数据库中查询相关内容,使用freemaker生成xml文件,同时生成文档图片,将相关内容压缩生成docx文档。该发明的基于freemarker生成docx格式文档的方法只需要修改ftl模板文件就可以实现对docx文档格式快速调整,具有很好的推广应用价值。

    一种用于检索增强生成的文档解析方法、设备及存储介质

    公开(公告)号:CN119862249A

    公开(公告)日:2025-04-22

    申请号:CN202411992315.9

    申请日:2024-12-31

    Inventor: 张华 罗永秀

    Abstract: 本发明公开了一种用于检索增强生成的文档解析方法、设备及存储介质。该方法包括:对第一待解析文档进行格式转换,得到第二待解析文档,其中,第一待解析文档为word格式,第二待解析文档为pdf格式;对第一待解析文档和第二待解析文档分别进行解析,得到第一待解析文档对应的第一解析信息和第二待解析文档对应的第二解析信息;根据第一解析信息和第二解析信息生成目标解析结果,基于目标解析结果执行检索增强生成,目标解析结果包括第一待解析文档的内容信息和结构信息。解决了现有的文档解析技术虽然能获得所有的文本信息,但是在内容溯源、完整表格提取,仍存在不足的问题,实现了对文档中内容精准、完整的提取以用于检索增强生成。

    一种UOT流式文档转换成OFD版式文档的方法

    公开(公告)号:CN111881651B

    公开(公告)日:2024-11-08

    申请号:CN202010783342.0

    申请日:2020-08-06

    Inventor: 崔海东 徐海华

    Abstract: 本申请公开了一种UOT流式文档转换成OFD版式文档的方法,包括:读取UOT格式的流式文档并解析得到所述UOT格式的流式文档的各项数据;分类汇总所述UOT格式的流式文档的各项数据得到流式文档内存模型;将所述流式文档内存模型转换为版式文档内存模型;依照OFD格式规范将所述版式内存模型写出至磁盘,生成OFD格式的版式文档。该方法能够实现将UOT格式的流式文档转换为OFD格式的版式文档。本申请还公开了一种UOT流式文档转换成OFD版式文档的装置、设备及计算机可读存储介质,均具有上述技术效果。

    XML格式图解零件类数据模块快速编制方法

    公开(公告)号:CN118673880A

    公开(公告)日:2024-09-20

    申请号:CN202410730858.7

    申请日:2024-06-06

    Inventor: 丁凡 盛宝民

    Abstract: 本发明提出一种XML格式图解零件类数据模块快速编制方法,属于数据智能处理领域,包括:步骤S1:解析带交互热点图形文件中的热点,并进行编号;生成XML格式图解零件类数据模块的图形元素及其子元素信息;S2:打开记录图解目录数据的源文件,将所有表格行中的目录数据转换为一个字符串矩阵;S3:设置字符串矩阵的转换规则,将每一行字符串按照标准模式定义的文档结构转换为XML格式图解零件类数据模块的目录数据;S4:将图形元素及其子元素信息与目录数据的目录顺序编号元素及其子元素数据合并,将图形热点ID与对应目录数据进行关联;S5:生成符合标准要求的XML格式图解零件类数据模块。本发明方法大幅提高XML格式图解零件类数据模块编制效率。

    基于Unity的三维模型的属性变化过程的回放方法及装置

    公开(公告)号:CN117668067A

    公开(公告)日:2024-03-08

    申请号:CN202311496583.7

    申请日:2023-11-10

    Inventor: 王晓敏 张琨

    Abstract: 本发明公开了一种基于Unity的三维模型的属性变化过程的回放方法及装置,该方法包括:获取Unity中三维模型属性变化的过程数据,基于预设规则将所述过程数据转换为设定格式的文本数据;将所述文本数据进行压缩并通过预设的加密算法对压缩后的所述文本数据进行加密,后通过数据流的形式存入至本地文件;当需要进行三维模型属性变化的过程回放时,读取所述本地文件并依次进行数据解密以及解压得到设定格式的所述文本数据,将所述文本数据还原至对应的三维模型上以对所述三维模型属性变化的过程进行回放。本发明实现了对Unity中的模型模拟训练的过程进行回放。

Patent Agency Ranking