-
公开(公告)号:CN112733323B
公开(公告)日:2022-08-05
申请号:CN202011464926.8
申请日:2020-12-14
Applicant: 华东师范大学
IPC: G06F30/20 , G06F8/35 , G06F8/33 , G06F8/30 , G06F40/149 , G06F40/186
Abstract: 本发明公开了一种面向RoboSim模型实时系统的模型检测方法,其特点是通过预先定义转换规则,将RoboSim模型转换为UPPAAL能识别的时间自动机网络模型,自动生成相应的TCTL性质,使用模型检测工具UPPAAL对机器人仿真模型进行模拟、验证及分析。本发明与现有技术相比具有验证效率高,且适合对机器人的物理平台和环境进行建模和验证,支持将RoboSim模型转换为时间自动机网络模型,为形式化验证RoboSim机器人仿真模型提供了一套有效的方法。
-
公开(公告)号:CN114707468A
公开(公告)日:2022-07-05
申请号:CN202210273183.9
申请日:2022-03-18
Applicant: 上海仁静信息技术有限公司
Inventor: 林良喜
IPC: G06F40/154 , G06F40/149
Abstract: 本公开提供一种转换图形格式的方法及相关设备。该方法,包括:获取具有第一格式的图形文件,从所述图形文件中获取图形的描述信息;基于所述描述信息,计算所述图形的宽和高,创建具有所述宽和所述高的画布;在所述画布上按照所述描述信息绘制所述图形;以及将绘制有所述图形的所述画布转换为具有第二格式的图形文件。
-
公开(公告)号:CN114416197A
公开(公告)日:2022-04-29
申请号:CN202111630864.8
申请日:2021-12-28
Applicant: 成都易达数安科技有限公司
IPC: G06F9/445 , G06F16/2457 , G06F40/149
Abstract: 本发明公开了一种基于xml的APP后台接口免开发的脚本化配置方法,属于APP开发技术领域,目的在于提供一种基于xml的APP后台接口免开发的脚本化配置方法,解决现有APP后台接口开发周期长、开发效率低、开发难度较高的问题。其只需映入工程项目,编写xml,即可自动生成一个相对应的接口,相比于传统的代码逻辑,上手简单,只需要懂数据库sql的就可以完成,从而节约开发人员时间,降低入门难度,节约开发成本,实习生也可以快速的参与项目,从而缩短项目周期。本发明适用于一种基于xml的APP后台接口免开发的脚本化配置方法。
-
公开(公告)号:CN113378535A
公开(公告)日:2021-09-10
申请号:CN202110697779.7
申请日:2021-06-23
Applicant: 浪潮软件科技有限公司
IPC: G06F40/186 , G06F40/149 , G06F16/174 , G06F16/83 , G06F16/838
Abstract: 本发明公开了一种基于freemarker生成docx格式文档的方法及系统,属于文档生成实现技术领域。本发明的基于freemarker生成docx格式文档的方法,按照docx中文档内容编写ftl模板文件,生成文档时从数据库中查询相关内容,使用freemaker生成xml文件,同时生成文档图片,将相关内容压缩生成docx文档。该发明的基于freemarker生成docx格式文档的方法只需要修改ftl模板文件就可以实现对docx文档格式快速调整,具有很好的推广应用价值。
-
公开(公告)号:CN119862249A
公开(公告)日:2025-04-22
申请号:CN202411992315.9
申请日:2024-12-31
Applicant: 上海鸿翼软件技术股份有限公司
IPC: G06F16/332 , G06F40/149 , G06F18/22 , G06F16/22 , G06F40/18 , G06F40/205
Abstract: 本发明公开了一种用于检索增强生成的文档解析方法、设备及存储介质。该方法包括:对第一待解析文档进行格式转换,得到第二待解析文档,其中,第一待解析文档为word格式,第二待解析文档为pdf格式;对第一待解析文档和第二待解析文档分别进行解析,得到第一待解析文档对应的第一解析信息和第二待解析文档对应的第二解析信息;根据第一解析信息和第二解析信息生成目标解析结果,基于目标解析结果执行检索增强生成,目标解析结果包括第一待解析文档的内容信息和结构信息。解决了现有的文档解析技术虽然能获得所有的文本信息,但是在内容溯源、完整表格提取,仍存在不足的问题,实现了对文档中内容精准、完整的提取以用于检索增强生成。
-
公开(公告)号:CN119514497A
公开(公告)日:2025-02-25
申请号:CN202411520733.8
申请日:2024-10-29
Applicant: 中国民航信息网络股份有限公司
IPC: G06F40/154 , G06F40/149 , H04L69/22 , G06Q50/40
Abstract: 本发明公开了一种数据处理方法、装置、设备、存储介质及计算机程序产品,所述方法包括:对获取的每个原始数据报文进行对象转换;将转换成功的每个所述原始数据报文发送至预设终端。通过本发明,对于机票系统供应商(GDS)产生的大量客票报文信息,能够及时处理,且数据准确性和稳定性较高,解决了相关技术中无法处理海量实时数据且数据准确性和稳定性较低的技术问题。
-
公开(公告)号:CN119337827A
公开(公告)日:2025-01-21
申请号:CN202411166628.9
申请日:2024-08-23
Applicant: 九州云箭(北京)空间科技有限公司
IPC: G06F40/149 , G06F40/18
Abstract: 本发明涉及航天技术领域,具体公开一种液体火箭发动机试车台试验数据处理方法、系统和设备,该方法包括:获取液体火箭发动机试车台的测控系统采集的每个测点的原始数据序列,并对所有的原始数据序列进行格式转换,得到每个原始数据序列分别对应的目标数据序列;基于所述液体火箭发动机试车台的发动机试验方案,从所有的目标数据序列中提取有效目标数据序列。本发明能够快速提取液体火箭发动机试车台测控系统采集的有效数据,极大的降低了工作量,并提高了液体火箭发动机的试车效率。
-
公开(公告)号:CN111881651B
公开(公告)日:2024-11-08
申请号:CN202010783342.0
申请日:2020-08-06
Applicant: 泰山信息科技有限公司
IPC: G06F40/154 , G06F40/143 , G06F40/149
Abstract: 本申请公开了一种UOT流式文档转换成OFD版式文档的方法,包括:读取UOT格式的流式文档并解析得到所述UOT格式的流式文档的各项数据;分类汇总所述UOT格式的流式文档的各项数据得到流式文档内存模型;将所述流式文档内存模型转换为版式文档内存模型;依照OFD格式规范将所述版式内存模型写出至磁盘,生成OFD格式的版式文档。该方法能够实现将UOT格式的流式文档转换为OFD格式的版式文档。本申请还公开了一种UOT流式文档转换成OFD版式文档的装置、设备及计算机可读存储介质,均具有上述技术效果。
-
公开(公告)号:CN118673880A
公开(公告)日:2024-09-20
申请号:CN202410730858.7
申请日:2024-06-06
Applicant: 金航数码科技有限责任公司
IPC: G06F40/149
Abstract: 本发明提出一种XML格式图解零件类数据模块快速编制方法,属于数据智能处理领域,包括:步骤S1:解析带交互热点图形文件中的热点,并进行编号;生成XML格式图解零件类数据模块的图形元素及其子元素信息;S2:打开记录图解目录数据的源文件,将所有表格行中的目录数据转换为一个字符串矩阵;S3:设置字符串矩阵的转换规则,将每一行字符串按照标准模式定义的文档结构转换为XML格式图解零件类数据模块的目录数据;S4:将图形元素及其子元素信息与目录数据的目录顺序编号元素及其子元素数据合并,将图形热点ID与对应目录数据进行关联;S5:生成符合标准要求的XML格式图解零件类数据模块。本发明方法大幅提高XML格式图解零件类数据模块编制效率。
-
公开(公告)号:CN117668067A
公开(公告)日:2024-03-08
申请号:CN202311496583.7
申请日:2023-11-10
Applicant: 江西格如灵科技股份有限公司
IPC: G06F16/25 , G06F16/31 , G06F40/149 , G06F40/151
Abstract: 本发明公开了一种基于Unity的三维模型的属性变化过程的回放方法及装置,该方法包括:获取Unity中三维模型属性变化的过程数据,基于预设规则将所述过程数据转换为设定格式的文本数据;将所述文本数据进行压缩并通过预设的加密算法对压缩后的所述文本数据进行加密,后通过数据流的形式存入至本地文件;当需要进行三维模型属性变化的过程回放时,读取所述本地文件并依次进行数据解密以及解压得到设定格式的所述文本数据,将所述文本数据还原至对应的三维模型上以对所述三维模型属性变化的过程进行回放。本发明实现了对Unity中的模型模拟训练的过程进行回放。
-
-
-
-
-
-
-
-
-