“罗炜麟”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果9个，建议您升级VIP下载更多相关专利

[发明专利]一种基于触发式规则的反馈式对话意图获取方法-CN202110743690.X有效
发明人：万海;陈灏;罗炜麟;曾娟;黄佳莉 -专利权人：中山大学
申请日： 2021-06-30 - 公布日： 2023-06-06 - 主分类号： G06F16/332 文献下载
摘要：本发明提供一种基于触发式规则的反馈式对话意图获取方法，该方法使用Node2Vec对游戏中的环境背景条件进行图嵌入编码，在为NPC进行对话生成时，可以应用当前环境背景条件对应的环境知识特征向量K，作为被纳入考虑的输入之一，以此来结合触发式规则，并根据分析的反馈意图标签生成输出对话。这会让游戏NPC与游戏环境之间的联系更加密切；本发明基于Seq2Seq结构，对环境知识特征向量K和玩家输入语义向量Hin进行整合，得到输出语义向量Hout，并将其解码为NPC的输出语句Uout。这种生成对话的方式能避免NPC对玩家产生重复无效的反馈，增加玩家在与NPC接触时获得的新鲜感。
一种基于触发规则反馈对话意图获取方法

[发明专利]一种形式化需求规约自动化修复方法-CN202110022180.3有效
发明人：万海;钟洪桢;罗炜麟;范科峰;赵杭 -专利权人：中山大学
申请日： 2021-01-08 - 公布日： 2022-02-25 - 主分类号： G06F8/20 文献下载
摘要：本发明公开了一种形式化需求规约自动化修复方法，包括以下步骤：S1：输入需求规约的环境约束和系统断言，利用局部搜索算法自动寻找冲突，将寻找到的冲突构成冲突集合；S2：对冲突集合中的冲突进行筛选，对筛选后的冲突按照发生的概率进行排序，取概率最高的冲突；S3：将S2得到的概率最高的冲突取反加入需求规约的系统断言中；S4：返回步骤S1，其中需求规约的系统断言为步骤S3处理后的系统断言，直到找不到新的冲突为止，进入步骤S5；S5：输出需求规约的环境约束和此时的系统断言。本发明提出了自动化的需求精化方法，高效的自动化搜索需求规约的冲突，从而为需求规约的修复提供方向。
一种形式化需求规约自动化修复方法

[发明专利]一种搜索带前缀的边界条件的方法-CN202110741024.2在审
发明人：万海;杨滨好;罗炜麟;曾娟 -专利权人：中山大学
申请日： 2021-06-30 - 公布日： 2021-11-02 - 主分类号： G06F16/953 文献下载
摘要：本发明提供一种搜索带前缀的边界条件的方法，该方法针对边界条件表述不合理、可读性不好的问题，首次提出用带前缀的边界条件进行系统冲突检测的描述方法；对于带前缀的边界条件设计了基于局部搜索的搜索算法，能够通过对候选公式进行极小化、随机扰动、abstract和refine等操作搜索到带前缀的边界条件，本发明在搜索过程中很好地平衡随机性和启发式搜索的优点，加速搜索时间和提升搜索的效果；验证了对于带前缀的边界条件的求解结果具有较好的可读性，可以为需求工程的解决工作提供更好的帮助。
一种搜索前缀边界条件方法

[发明专利]基于MCS与BDD联合求解故障树顶事件概率的方法-CN202110033188.X在审
发明人：万海;刘子良;宋晓彤;罗炜麟 -专利权人：中山大学
申请日： 2021-01-11 - 公布日： 2021-04-23 - 主分类号： G06Q10/06 文献下载
摘要：本发明提出了一种基于MCS与BDD联合求解故障树顶事件概率的方法，针对现有技术容易造成内存爆炸以及不准确的技术问题，运用布尔可满足性问题求解器对故障树的布尔表达式进行求解，基于故障树的最小割集(Minimal CutSet，MCS)，根据出现在所述最小割集内的底事件的发生概率来衡量该底事件对于故障树顶事件发生概率的影响程度，选取出现发生概率更大的底事件优先加入到二分决策图的构造过程中，以此降低二分决策图(Binary DecisionDiagram，BDD)结构复杂度，从结构复杂性上降低了内存爆炸发生的可能，优化了顶事件发生概率的求解过程，最终能够以较低的硬件运行条件下，实现快速、准确地对风险控制对象进行故障树定量分析。
基于 mcs bdd 联合求解故障树顶事件概率方法

[发明专利]一种基于局部搜索的故障树最大概率最小割集求解方法-CN202011468276.4在审
发明人：万海;李佳;罗炜麟;曾娟;赵杭;范科峰 -专利权人：中山大学
申请日： 2020-12-14 - 公布日： 2021-04-02 - 主分类号： G06F16/901 文献下载
摘要：本发明涉及一种基于局部搜索的故障树最大概率最小割集求解方法，所述方法包括：S1：对故障树进行初始逻辑转换；获取布尔表达式；S2：根据布尔表达式，对部分最大可满足性问题建模；S3：使用基于局部搜索的启发式算法对部分最大可满足性问题实例进行求解；S4：最大概率最小割集结果转化：对S3的结果进行反转对数转换，求得最终最大概率最小割集及其联合概率。本发明利用部分最大可满足性问题并基于局部搜索这一高效的启发式方法来求解故障树的最大概率最小割集，以更优异的存储空间和求解性能寻找最可能引发系统故障的最小基本事件组合。可有效提高复杂故障树最大概率最小割集的求解效率。
一种基于局部搜索故障最大概率最小求解方法

[发明专利]一种基于特征配置的系统层综合模型安全验证方法-CN201710146160.0有效
发明人：魏欧;罗炜麟;李宙州 -专利权人：南京航空航天大学
申请日： 2017-03-13 - 公布日： 2020-06-16 - 主分类号： G06F30/20 文献下载
摘要：本发明公开了一种基于特征配置的系统层综合模型安全验证方法，将用户建立的SLIM模型转换SNIP模型检测器可以识别的fPromela+TVL模型，然后借助SNIP模型检测器进行安全性验证，通过验证结果找出系统设计问题，基于SLIM语言的特点，主要包含三个步骤：步骤一，标定模型的转换；步骤二，基于特征配置的故障模型的转换；步骤三，基于SNIP的SLIM扩展模型的安全性分析。本发明实现了基于软件产品线特征配置思想的SLIM扩展模型到fPromela+TVL模型的转化并利用SNIP工具分析系统缺陷。
一种基于特征配置系统综合模型安全验证方法

[发明专利]基于特征配置的故障树生成方法-CN201510828656.7有效
发明人：魏欧;黄鸣宇;罗炜麟;王立松 -专利权人：南京航空航天大学
申请日： 2015-11-25 - 公布日： 2018-11-16 - 主分类号： G06F17/50 文献下载
摘要：本发明公开了基于特征配置的故障树生成方法，将软件产品线的可变性建模引入安全分析过程，利用特征模型作为系统故障的结构模型刻画故障的层次与约束关系。同时通过对状态迁移的拓展提出一种故障标记迁移系统(Fault Labeled Transition System，FLTS)，作为系统故障行为模型。然后基于故障标记迁移系统的语义定义了利用模型检测生成故障树的过程。最后，利用现有的软件产品线模型检测器实现了基于故障配置生成故障树的方法。本发明利用特征模型刻画了系统静态层次结构、故障与部件的从属关系及故障间的约束关系，利用软件产品线模型检测的特性，可以基于系统模型针对特定安全属性找到其全部割集，提高了故障树生成的效率与准确性。
基于特征配置故障生成方法

[发明专利]一种基于线性时间算法的故障树模块扩展分解方法-CN201810287529.4在审
发明人：魏欧;李思洁;宋俊花;罗炜麟;王立松 -专利权人：南京航空航天大学
申请日： 2018-03-30 - 公布日： 2018-09-11 - 主分类号： G06F19/00 文献下载
摘要：本发明提供了一种基于线性时间算法的故障树模块扩展分解方法。所述基于线性时间算法的故障树模块扩展分解方法包括如下步骤：一、通过修剪冗余节点或子树来对故障树进行简化；二、对线性时间算法识别出的模块进行扩展，识别故障树中的等效事件，划分等效事件为新模块。本发明的有益效果是：所述基于线性时间算法的故障树模块扩展分解方法提出一套新的故障树简化规则和模块扩展分解方法，不仅合理地除去故障树中的冗余信息还能够有效的优化故障树分析，进一步减少工业大型故障树分析的计算时间和内存消耗。
故障树线性时间算法模块扩展分解故障树分析内存消耗冗余节点冗余信息新模块子树修剪优化

[发明专利]一种基于跳跃回溯的故障树最小割集求解方法-CN201810309389.6在审
发明人：魏欧;罗炜麟;李思洁;王立松 -专利权人：南京航空航天大学
申请日： 2018-04-09 - 公布日： 2018-08-10 - 主分类号： G06F19/00 文献下载
摘要：本发明提供了一种基于跳跃回溯的故障树最小割集求解方法。所述基于跳跃回溯的故障树最小割集求解方法包括如下步骤：一、根据最新求解得到的最小割集，计算决策等级；二、SATMCS回溯到步骤一得到决策等级，进行布尔约束传播过程；三、SATMCS进入下一个决策等级，继续搜索割集。本发明的有益效果是：所述基于跳跃回溯的故障树最小割集求解方法可以有效利用故障树的最小割集求解空间分布聚合的特性，有效提升SATMCS求解故障树最小割集的效率。
割集故障树求解回溯跳跃决策布尔约束传播过程求解空间聚合搜索

1
共 9 条