-
公开(公告)号：CN118113268A
公开(公告)日：2024-05-31
申请号：CN202410229244.0
申请日：2024-02-29
申请人： 北京航空航天大学
摘要： 本发明涉及一种并行语义增强的优化设计工作流协同建模及仿真方法，属于系统建模仿真领域。该方法包括以下步骤：对计算无关模型建模语言进行扩展，基于扩展后的计算无关模型建模语言构建初始工作流模型；对平台无关模型建模语言进行扩展，建立语义映射规则，基于扩展后的平台无关模型建模语言与所述语义映射规则对所述初始工作流模型进行自动优化得到优化的工作流模型；对所述优化的工作流模型进行自动部署实现仿真。该方法通过对建模语言增加并行语义支持构建复杂的并行工作流模型，通过语义映射规则支持对工作流模型的自动优化，通过BPMN映射规则对工作流模型进行自动部署实现仿真，提高了建模效率及模型的计算性能。
-
公开(公告)号：CN118034658A
公开(公告)日：2024-05-14
申请号：CN202410229243.6
申请日：2024-02-29
申请人： 北京航空航天大学
摘要： 本发明涉及一种基于优化设计工作流中计算构件协同的建模方法，属于系统建模领域。包括：对计算无关模型建模语言进行扩展，对计算无关模型建模语言中的计算构件建立协同机制，基于扩展后的建模语言和协同机制构建初始工作流模型并预设模型中计算构件的变量值；对平台无关模型建模语言进行扩展，建立语义映射规则，基于扩展后的建模语言与所述语义映射规则对所述初始工作流模型进行自动优化得到优化的工作流模型。该方法通过对计算构件建立协同机制，解决了计算构件在工作流中集成时常常无法连通的问题；通过对建模语言增加并行语义支持构建复杂的并行工作流模型，通过语义映射规则支持对工作流模型的自动优化，提高了建模效率及模型的计算性能。
-
公开(公告)号：CN112396092B
公开(公告)日：2023-09-29
申请号：CN202011156133.X
申请日：2020-10-26
申请人： 北京航空航天大学
IPC分类号： G06F18/2431 , G06F40/279 , G06Q40/04
摘要： 本发明涉及一种众包开发者推荐方法和装置，属于计算机技术领域，解决了现有技术中的相关信息少，对开发人员预测的准确率低的问题。众包开发者推荐方法包括：从开源社区的众包平台中获取多个众包任务数据，其中，多个众包任务数据包括：任务特征数据、开发者特征数据、开发者在开源社区中的数据以及开发者与任务的历史关系数据；将多个众包任务数据转换为输入矩阵；根据输入矩阵和众包任务与开发者的标记构建LGBM模型，并对LGBM模型进行训练，以获得LGBM预测模型；以及利用LGBM预测模型对待推荐任务进行开发者预测，以确定待推荐的开发者列表。通过完整全面的众包任务数据提高了人员推荐的正确率。
-
公开(公告)号：CN116137007A
公开(公告)日：2023-05-19
申请号：CN202111355428.4
申请日：2021-11-16
申请人： 北京航空航天大学
摘要： 基于可视化模型跟踪的智能合约交易运行监管方法及装置，方法包括基于智能合约的合同文本构建智能合约模型；在智能合约模型中添加监管标签；基于智能合约模型生成智能合约代码；根据监管标签在智能合约代码中插入监管事件桩，在智能合约模型所有任务对应的智能合约代码中插入跟踪事件桩；跟踪事件桩和监管事件桩用于在智能合约代码运行过程中发送跟踪消息和监管消息；将智能合约代码部署在区块链上；监听跟踪消息和监管消息；基于跟踪消息在智能合约模型上显示智能合约代码的运行状态；基于监管消息在智能合约模型上显示监管信息；监管人员根据运行状态和监管信息判断智能合约代码运行中是否存在违规交易，若存在则终止智能合约代码的运行。
-
公开(公告)号：CN116010188A
公开(公告)日：2023-04-25
申请号：CN202111228130.7
申请日：2021-10-21
申请人： 北京航空航天大学
摘要： 模型驱动的智能合约交易和监管性质运行验证方法和装置，方法包括以下步骤：基于智能合约的合同文本构建智能合约模型，在所述智能合约模型的关键任务中添加监管标签；所述关键任务为与待验证的交易和监管性质相关的任务；基于带标签的智能合约模型，生成智能合约代码；将所述监管标签转换为智能合约代码中的事件桩；所述事件桩用于在智能合约代码运行过程中发送事件消息；采用性质描述语言描述所述交易和监管性质，生成对应的性质监控器；监听所述智能合约代码运行过程中所述事件桩发送的事件消息，基于所述事件消息和所述性质监控器验证所述智能合约的运行是否满足所述交易和监管性质。
-
公开(公告)号：CN115658056A
公开(公告)日：2023-01-31
申请号：CN202211275485.6
申请日：2022-10-18
申请人： 北京航空航天大学
IPC分类号： G06F8/38 , G06F8/41 , G06F16/958 , G06V30/413
摘要： 本发明提供一种基于图片的前端VUE代码自动生成方法和系统，其中，所述方法包括：通过对输入图片进行网页元素识别，获得各网页元素的类别和绝对位置，继而基于布局生成算法，根据所述各网页元素的类别和绝对位置划分各网页元素并生成网页布局的VUE代码。通过将生成代码这一任务拆分成元素识别和代码生成两大部分，减少了开发工作量，提高了代码转化的灵活性，且本发明提供的算法能够适应复杂布局的页面，解决了现有技术中开发工作量大，代码转化缺乏灵活性、转换效果较差的技术问题。
-
公开(公告)号：CN115543764A
公开(公告)日：2022-12-30
申请号：CN202110730180.9
申请日：2021-06-29
申请人： 北京航空航天大学
IPC分类号： G06F11/36
摘要： 本发明涉及一种GUI驱动的TCL程序跟踪理解方法及系统，属于TCL程序跟踪和程序理解技术领域，解决了现有技术无法实现跟踪理解GUI驱动的TCL程序的问题。该方法包括：获取TCL程序源代码中的所有函数及其函数声明；判断函数是否与图形界面组件、以及图形界面组件关联的事件存在绑定关系，若存在，则函数为所述图形界面组件关联的事件所触发的事件处理函数；否则，函数为非事件处理函数；基于函数声明定位插桩位置，在事件处理函数的插桩位置插入事件信息采集代码，在非事件处理函数的插桩位置插入非事件信息采集代码；运行TCL程序，采集由事件信息采集代码和非事件信息采集代码搜集的日志文件，并基于采集到的日志文件获得TCL程序的跟踪理解结果。
-
公开(公告)号：CN115145550A
公开(公告)日：2022-10-04
申请号：CN202210917697.3
申请日：2022-08-01
申请人： 北京航空航天大学
摘要： 本发明涉及一种开源社区的拉取请求描述生成方法和装置，属于拉取请求技术领域，解决生成拉取请求描述时仅考虑新拉取请求自身的信息，对若干拉取请求的历史数据利用不够充分的问题。该方法包括：从开源社区获取多个拉取请求和相对应的描述；基于每个拉取请求生成代码语法改动树；基于代码语法改动树生成改动向量；基于多个改动向量计算拉取请求的相似程度；利用输入拉取请求和相似拉取请求获取描述生成模型；利用多个相似拉取请求的描述和输入拉取请求包含的文本信息，使用描述生成模型计算输入拉取请求的描述。改动向量有效地提取代码改动的语法结构信息，以利用与新拉取请求相似的拉取请求，自动化生成拉取请求描述。
-
公开(公告)号：CN110457630B
公开(公告)日：2022-03-29
申请号：CN201910694279.0
申请日：2019-07-30
申请人： 北京航空航天大学
IPC分类号： G06F16/958 , G06K9/62 , G06Q50/00 , H04L67/1396
摘要： 本发明涉及一种开源社区异常点赞用户的识别方法及系统，属于异常用户识别技术领域，解决了现有技术中对开源社区异常点赞用户识别率低的问题。该方法包括以下步骤：获取样本用户数据；根据样本用户数据构建决策树，训练得到决策树分类模型；利用决策树分类模型对待识别用户进行分类，确定用户类别；用户类别包括正常点赞用户和异常点赞用户。本发明根据用户属性和用户点赞项目属性，能够更精确的识别出异常点赞用户，以净化开源社区环境。
-
公开(公告)号：CN107589936B
公开(公告)日：2020-10-30
申请号：CN201710823388.9
申请日：2017-09-13
申请人： 北京航空航天大学
IPC分类号： G06F8/10
摘要： 本发明公开了一种基于需求与可变性模型追踪关系的产品线配置优化方法，涉及软件产品线可变性配置领域。本发明通过可变性模型的转换，建立结构化需求的需求框架，并利用NLP技术处理文本需求，从而将文本需求分配到需求框架中，从而建立结构化的需求，并建立需求与可变性模型间的追踪关系，最后将需求特性引入到可变性模型中，并基于需求特性和可变性模型的约束，实现可变性配置的优化序列。该设计解决了难以将产品线需求特性用来指导产品配置的问题，直观、简单、有效的对产品线配置优化提供依据，从而更好的保证产品线的择优配置。
-
-
-
-
-
-
-
-
-
搜索结果
104 条记录 (耗时 0.045 秒)