一种基于场景故事板的人机物融合应用建模方法

    公开(公告)号:CN112817571A

    公开(公告)日:2021-05-18

    申请号:CN202110206811.7

    申请日:2021-02-24

    Applicant: 复旦大学

    Abstract: 本发明涉及一种基于场景故事板的人机物融合应用建模方法,包括以下步骤:获取人机物融合应用的场景,以场景故事板的形式对场景进行描述,得到场景描述;对场景描述进行一致性检查,所述一致性检查包括分支条件检查、情景连接关系检查、服务输入检查和资源绑定约束检查;将场景描述转换为符合人机物融合应用元模型的应用模型。与现有技术相比,本发明基于人机交互的手段,能够以更自然、更易接受的场景故事板的描述方式,构建应用中分情景的资源协作与约束,最后生成人机物融合应用模型;可提高人机物融合应用建模的表达能力,并降低建模的难度。

    基于体系结构的软件产品线演化方法

    公开(公告)号:CN101763252A

    公开(公告)日:2010-06-30

    申请号:CN200810207687.0

    申请日:2008-12-24

    Applicant: 复旦大学

    Abstract: 本发明以统一的软件产品线体系结构与构件版本模型为基础,在体系结构和构件两个层面上实现统一、协调的产品线演化支持,包括基于参考体系结构的应用系统体系结构定制、应用系统体系结构演化反馈及合并、应用系统体系结构同步、应用构件定制及演化反馈、文件级的构件实现体版本管理以及应用系统产品版本集成与发布等。本发明可以实现领域工程与应用系统工程的统一演化管理,支持增量、迭代的软件产品线开发过程。

    一种通用的软件产品线领域模型与应用模型的同步方法

    公开(公告)号:CN103279347A

    公开(公告)日:2013-09-04

    申请号:CN201310203589.0

    申请日:2013-05-28

    Applicant: 复旦大学

    Abstract: 本发明属于软件开发技术领域,具体为一种通用的软件产品线领域模型与应用模型的同步方法。本发明预先将不同类型的领域模型与应用模型的表示及其同步操作进行抽象,前者归纳出一种通用的元模型,后者归纳出基于该元模型的一组针对模型变更的融合与传播规则。在通用元模型以及通用的同步规则基础上,本发明为软件产品线中不同类型的领域模型与应用模型提供一种通用的模型同步机制,该机制支持自动化的模型变更识别、融合与传播,同时在同步过程中为软件产品线的领域工程团队以及应用工程团队提供相应的同步操作选项。使用该方法,仅需编写特定类型模型与其通用表示形式之间的模型转换程序即可支持针对新引入的特定类型模型的演化同步。

    基于体系结构的软件产品线演化方法

    公开(公告)号:CN101763252B

    公开(公告)日:2013-08-21

    申请号:CN200810207687.0

    申请日:2008-12-24

    Applicant: 复旦大学

    Abstract: 本发明以统一的软件产品线体系结构与构件版本模型为基础,在体系结构和构件两个层面上实现统一、协调的产品线演化支持,包括基于参考体系结构的应用系统体系结构定制、应用系统体系结构演化反馈及合并、应用系统体系结构同步、应用构件定制及演化反馈、文件级的构件实现体版本管理以及应用系统产品版本集成与发布等。本发明可以实现领域工程与应用系统工程的统一演化管理,支持增量、迭代的软件产品线开发过程。

    一种基于微服务架构的人机物融合应用运行支撑方法

    公开(公告)号:CN113254145B

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

    申请号:CN202110373347.0

    申请日:2021-04-07

    Applicant: 复旦大学

    Inventor: 彭鑫 沈立炜

    Abstract: 本发明涉及一种基于微服务架构的人机物融合应用运行支撑方法,包括以下步骤:获取人机物融合应用模型;检索动作代理;对于未检索到对应动作代理的资源动作,构造动作代理后,生成容器镜像;拉取动作代理容器镜像并将其部署至人机物融合运行环境中;对消息主题订阅部分、完成消息发布部分、资源绑定策略进行定制。与现有技术相比,本发明基于微服务架构构造与资源动作相对应的动作代理,在人机物运行环境中采用容器编排方式部署动作代理的容器镜像,并定制动作代理,从而构造出基于微服务架构的应用执行形态,保障应用所涉及资源的按需、有序协作;可提供自动化的人机物融合应用运行支撑,降低部署、执行人机物融合应用的难度。

    机器人程序合成方法、装置、设备及存储介质

    公开(公告)号:CN119536712A

    公开(公告)日:2025-02-28

    申请号:CN202411678895.4

    申请日:2024-11-22

    Applicant: 复旦大学

    Abstract: 本发明提供了一种机器人程序合成方法、装置、设备及存储介质,包括:获取机器人候选程序;对机器人候选程序中的每个标识符进行处理,构建程序图;记录在执行机器人候选程序过程中的环境反馈数据,构建环境上下文;通过卷积神经网络从局部感知中提取出关键环境特征,用以构成环境上下文特征;基于程序图对每一个标识符的相邻语法符号信息进行聚合,得到语法上下文;建立代码符号和环境上下文之间的联系,并聚合得到语法特征;将环境上下文和语法上下文输入到预设的模型中进行迭代训练,得到每个可能的程序标识符概率;根据环境上下文特征和语法特征,逐个选择程序标识符,得到修复后的机器人程序。从而能够生成高效且准确的机器人程序。

    一种基于场景故事板的人机物融合应用建模方法

    公开(公告)号:CN112817571B

    公开(公告)日:2023-06-30

    申请号:CN202110206811.7

    申请日:2021-02-24

    Applicant: 复旦大学

    Abstract: 本发明涉及一种基于场景故事板的人机物融合应用建模方法,包括以下步骤:获取人机物融合应用的场景,以场景故事板的形式对场景进行描述,得到场景描述;对场景描述进行一致性检查,所述一致性检查包括分支条件检查、情景连接关系检查、服务输入检查和资源绑定约束检查;将场景描述转换为符合人机物融合应用元模型的应用模型。与现有技术相比,本发明基于人机交互的手段,能够以更自然、更易接受的场景故事板的描述方式,构建应用中分情景的资源协作与约束,最后生成人机物融合应用模型;可提高人机物融合应用建模的表达能力,并降低建模的难度。

    一种面向文本描述的CPS资源能力知识图谱构建方法

    公开(公告)号:CN112559760A

    公开(公告)日:2021-03-26

    申请号:CN202011411012.5

    申请日:2020-12-06

    Applicant: 复旦大学

    Abstract: 本发明属于知识图谱技术领域,具体为一种面向文本描述的CPS资源能力知识图谱构建方法。本发明针对不同类型的信息物理资源,首先从资源相关代码与文档中提取与资源能力有关的文本描述信息,基于预定义的动宾短语模式生成规范化表达的能力短语;然后基于动宾结构的关键成分对能力短语进行划分、聚合与抽象,生成不同资源类型的能力层次化抽象描述;最后构建出资源能力知识图谱。本发明基于资源能力的文本描述,自动化构建资源能力知识图谱,减少了人工构建工作量。本发明是信息物理融合系统领域知识图谱的补充,增加了关于资源服务与能力描述,提高了图谱的知识完备性。

    一种面向人机物融合应用的资源服务化与定制化方法

    公开(公告)号:CN113157251B

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

    申请号:CN202110206246.4

    申请日:2021-02-24

    Applicant: 复旦大学

    Abstract: 本发明涉及一种面向人机物融合应用的资源服务化与定制化方法,包括以下步骤:自人机物融合应用模型中读取服务,查找与服务相对应的能力单元,对于未找到能力单元的服务,以服务化封装的方式构造其能力单元,并部署至人机物融合应用运行环境;对能力单元间的交互进行定制。与现有技术相比,本发明依照预先定义的人机物融合应用模型,通过服务化方式包装各类经过软件定义的异构资源,并在此基础上对以这些资源为主体的能力单元间的交互进行定制,从而支撑人机物融合应用的有序执行;可实现自动化的资源服务化封装与交互定制,降低人机物融合应用执行系统的开发难度。

    一种面向文本描述的CPS资源能力知识图谱构建方法

    公开(公告)号:CN112559760B

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

    申请号:CN202011411012.5

    申请日:2020-12-06

    Applicant: 复旦大学

    Abstract: 本发明属于知识图谱技术领域,具体为一种面向文本描述的CPS资源能力知识图谱构建方法。本发明针对不同类型的信息物理资源,首先从资源相关代码与文档中提取与资源能力有关的文本描述信息,基于预定义的动宾短语模式生成规范化表达的能力短语;然后基于动宾结构的关键成分对能力短语进行划分、聚合与抽象,生成不同资源类型的能力层次化抽象描述;最后构建出资源能力知识图谱。本发明基于资源能力的文本描述,自动化构建资源能力知识图谱,减少了人工构建工作量。本发明是信息物理融合系统领域知识图谱的补充,增加了关于资源服务与能力描述,提高了图谱的知识完备性。

Patent Agency Ranking