公开(公告)号：CN118981428A

公开(公告)日：2024-11-19

申请号：CN202411021762.X

申请日：2024-07-29

申请人： 上海丰蕾信息科技有限公司

发明人： 黄滟鸿 ,  史建琦 ,  陈英豪

IPC分类号： G06F11/36 ,  G06F8/35

摘要： 本发明提供一种基于SysML模型的形式化验证系统，涉及软件工程技术领域。该基于SysML模型的形式化验证系统，包括模型管理模块、性质管理模块、映射配置模块和模型验证模块；所述模型管理模块，用于管理输入的SysML活动图模型；所述映射配置模块，用于SysML活动图的变量映射到形式化性质规约中的原子命题；所述模型验证模块，用于根据SysML活动图变量和形式化性质规约原子命题的映射，调用模型求解器，对Uppaa l模型进行验证，并返回验证结果。通过SysML活动图描述系统的行为和逻辑流程，再利用Uppaa l进行形式化的模型建立和分析，最终通过模型检查验证系统模型是否满足特定的性能和安全要求，从而确保系统设计的可靠性和有效性，提高了验证效率和降低了成本。

公开(公告)号：CN118916065A

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

申请号：CN202410968751.6

申请日：2024-07-18

申请人： 浙江同花顺智能科技有限公司

发明人： 贾帅 ,  韩东明 ,  王凯

IPC分类号： G06F8/658 ,  G06F8/35 ,  G06F18/22 ,  G06F18/2411

摘要： 本公开提供了一种代码续写模型推理方法、装置、设备及存储介质，方法包括：基于代码续写插件获取历史时间数据、代码上文数据和代码推理数据，基于所述历史数据、所述代码上文数据和所述代码推理数据构建经验数据库；基于所述经验数据库构建相似度函数，基于所述相似度函数计算代码推理相似的数据向量，基于所述代码推理相似数据向量生成初始参数预测估计值；将所述初始参数预测估计值作为所述第一学习网络的输入生成参数预测估计值；将所述参数预测估计值和下一时刻的时间点作为模型参数，输入所述相似度函数和所述第一学习网络中，得到下一时刻的代码推理结果。

公开(公告)号：CN118860400A

公开(公告)日：2024-10-29

申请号：CN202310485360.4

申请日：2023-04-28

申请人： 昆仑数智科技有限责任公司 ,  中国石油天然气集团有限公司

发明人： 孙慧源 ,  杨胜 ,  黄飞 ,  王娇

IPC分类号： G06F8/41 ,  G06F8/35 ,  G06F21/57 ,  G06Q40/04

摘要： 本申请提供了一种智能合约的生成方法、装置、电子设备及存储介质，该生成方法包括：获取目标用户的特征信息组，以及所述目标用户对应的待生成合约名称；基于所述待生成合约名称从智能合约存储库的多个智能合约模板中确定出所述待生成合约名称对应的目标智能合约模板；将所述特征信息组和所述目标智能合约模板输入到预先训练好的白名单检测模型中，判断所述目标用户是否为所述目标智能合约模板对应的白名单用户；若是，则基于所述特征信息组和所述目标智能合约模板生成目标智能合约。根据所述方法和装置，提高了生成的智能合约的准确性，还避免了安全漏洞的产生，提高了智能合约的安全性。

公开(公告)号：CN118819480A

公开(公告)日：2024-10-22

申请号：CN202411020527.0

申请日：2024-07-29

申请人： 上海丰蕾信息科技有限公司

发明人： 黄滟鸿 ,  史建琦 ,  陈英豪

IPC分类号： G06F8/20 ,  G06F8/30 ,  G06F8/35

摘要： 本发明提供一种基于SysML模型的软件建模方法，涉及软件工程技术领域。该种基于SysML模型的软件建模方法，包括以下具体步骤：S101、基于EMF技术，构建SysML活动图和Uppaa l的元模型；S102、基于SysML活动图元素和Uppaa l模型元素的对应关系，借助元模型，实现SysML活动图到Uppaa l时间自动机模型的转换。通过填补了目前基于模型的软件开发领域缺乏可用的形式化验证工具的问题，显著提高了软件的可靠性与安全性，降低了软件的测试成本，同时，提出了基于LTL、CTL和TCTL的形式化规范性质模板，降低对使用者专业性的要求，可以显著提高形式化性质规范的编写速度。

公开(公告)号：CN118796180A

公开(公告)日：2024-10-18

申请号：CN202411286464.3

申请日：2024-09-13

申请人： 浙江云融创新科技有限公司

发明人： 田欢春 ,  曹洋涛 ,  王振忠

IPC分类号： G06F8/35 ,  G06F11/36 ,  G06F16/332 ,  G06F16/33 ,  G06F40/30

摘要： 本发明公开了一种代码的自动生成方法、装置、设备及介质，涉及软件开发技术领域，该方法包括：获取用户的代码开发请求；对代码开发请求进行语义意图理解，得到意图理解结果，并与预设知识库进行匹配，生成业务逻辑处理流程；基于业务逻辑处理流程，确定关联输入参数；对所有关联输入参数均进行回调调用处理，得到每一项关联输入参数的回调数据，并利用大语言模型的代码生成链，生成第一提词器模板以及第一用户消息模板；基于第一提词器模板以及第一用户消息模板对回调数据进行处理，并输入至大语言模型中，得到由大语言模型输出的代码。本发明可以根据输入的多个关联输入参数和业务逻辑处理流程，动态生成多样化的更加复杂且更加专业的代码。

公开(公告)号：CN118760042A

公开(公告)日：2024-10-11

申请号：CN202410769361.6

申请日：2024-06-14

申请人： 杭州电子科技大学

发明人： 褚长勇 ,  凌波 ,  杨伟康 ,  张春佳 ,  许旭东

IPC分类号： G05B19/05 ,  G06F8/35 ,  G06F8/30 ,  G06F8/40 ,  G06F8/20

摘要： 本发明公开了一种基于SysML模型的PLC控制代码自动生成方法，以SysML模型作为系统设计模型的基础，利用SysML模型对制造系统的结构和过程进行建模，定义明确的形式化规范，然后分析SysML模型与PLC控制代码之间的对应关系，并引入映射规则，创建自定义的PLC配置文件和引入图形化扩展，实现了从SysML模型到PLC控制代码的自动转换。本发明为工业自动化提供了一种新的自动生成PLC控制代码的途径，能够显著降低系统开发成本、缩短开发周期，并提高系统的质量和性能。

公开(公告)号：CN112245924B

公开(公告)日：2024-10-08

申请号：CN202011183808.X

申请日：2020-10-29

申请人： 北京冰封互娱科技有限公司

发明人： 毛月 ,  杨旭 ,  朱建文

IPC分类号： A63F13/60 ,  G06F8/35

摘要： 本发明提供了一种非玩家角色的生成方法及装置、存储介质、电子设备，其中，该方法包括：配置通用非玩家角色模板，其中，所述通用非玩家角色模板包含所有非玩家角色类型的基础逻辑，所述通用非玩家角色模板封装多个通用业务的逻辑代码；在预设组件库中查找与业务需求信息匹配的若干个目标业务组件，其中，所述预设组件库中包括多个业务组件，每个业务组件对应一个类型的非玩家角色，每个业务组件封装一个对应业务的逻辑代码；将所述目标业务组件挂载至所述通用非玩家角色模板，以生成目标非玩家角色。通过本发明，解决了相关技术中开发游戏非玩家角色的效率低的技术问题，提高了非玩家角色的开发效率，缩短了非玩家角色的开发周期。

公开(公告)号：CN118733058A

公开(公告)日：2024-10-01

申请号：CN202411232515.4

申请日：2024-09-04

申请人： 中铁第六勘察设计院集团有限公司 ,  中国国家铁路集团有限公司

发明人： 王烨 ,  范建国 ,  李栋 ,  付功云 ,  王婷 ,  杨喆

IPC分类号： G06F8/51 ,  G06F8/35 ,  G06F8/30 ,  G06F8/73

摘要： 本发明公开了一种基于Event‑B的可靠Java程序自动生成方法，采用操作符EB2Prog将EB翻译成带JML注释的Java程序，EB2Prog使用操作符EB2Java获取翻译的Java部分，使用操作符EB2Jml获取JML部分；将机器翻译为Java类，翻译规则为：将机器翻译为事件的翻译E和机器本身的翻译两部分，机器本身被翻译成一个包含JML类和方法规范的Java类，包括声明的变量和所观看的上下文的翻译；每个事件被翻译成一个单独的Java类，包含对机器类的对象引用。该方法确保在保持事件和机器语义一致性的前提下，实现了抽象到代码的无缝过渡，高效地将EB事件中的复杂结构准确地翻译为Java。

公开(公告)号：CN118733018A

公开(公告)日：2024-10-01

申请号：CN202410788889.8

申请日：2024-06-18

申请人： 优视科技(中国)有限公司

发明人： 任宏亮

IPC分类号： G06F8/35

摘要： 本申请实施例提供了一种网页生成方法及电子设备。网页生成方法包括：获取用户输入的网页需求信息、以及多个网页构成元素的功能描述信息；根据所述网页需求信息和所述功能描述信息，确定待生成的目标网页的目录结构，及所述目录结构对应的多个目标网页构成元素；根据所述多个目标网页构成元素分别对应的内容描述信息，为所述多个目标网页构成元素分别确定对应的元素内容；根据所述目标网页的目录结构、所述目录结构对应的多个目标网页构成元素、以及所述多个目标网页构成元素分别对应的元素内容，生成所述目标网页。本申请实施例的技术方案可以方便地生成网页。

公开(公告)号：CN111273916B

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

申请号：CN201811477170.3

申请日：2018-12-04

申请人： 京东科技控股股份有限公司

发明人： 包彬彬

IPC分类号： G06F8/61 ,  G06F8/35

摘要： 本公开提供了一种算法热部署方法、装置、计算机系统及介质。所述方法包括在算法开发端启动过程中通过所述算法开发端的JVMTIAgent绑定ASM分析功能，通过所述ASM分析功能读取并分析所述算法开发端中的算法字节码文件，在计算引擎启动过程中通过所述计算引擎的JVMTIAgent进行所述计算引擎的注册，以通知所述算法开发端所述计算引擎中用于接收所述算法字节码文件的计算节点信息，所述算法开发端根据所述计算节点信息将所述算法字节码文件发送至所述计算引擎，以及在所述计算引擎中根据所述算法字节码文件部署算法。本公开还提供了一种应用于算法开发端的算法热部署方法、装置、计算机系统及介质，以及一种应用于计算引擎的算法热部署方法、装置、计算机系统及介质。