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

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

[发明专利]一种开放环境下的Web服务组合多目标验证方法-CN201710810726.5有效
发明人：周宇;周女琪;魏欧 -专利权人：南京航空航天大学
申请日： 2017-09-11 - 公布日： 2020-10-20 - 主分类号： H04L12/24 文献下载
摘要：本发明公开一种开放环境下的Web服务组合多目标验证方法，包括：抽象出Web服务组合过程与QoS属性，并建模成为多目标马尔可夫决策过程；将影响Web服务组合过程的环境条件抽象出来，建模成为传统的马尔可夫决策过程，使之与Web服务组合模型交互，真实的模拟了在复杂的开放环境下，Web服务组合受动态的环境影响的过程；根据用户偏好，将QoS属性建模成为多目标时序逻辑公式；将以上Web服务组合模型、环境模型、多目标时序逻辑公式作为方法的输入，使用概率模型检测工具，最终得到满足用户需求的定量结果并导出相应策略。本发明方法解决了在复杂的开放环境下，由于环境的不确定性、用户需求多目标性所导致的传统Web服务组合验证方法难以直接使用的问题。
一种开放环境 web 服务组合多目标验证方法

[发明专利]一种基于子树分解的软件产品线产品派生方法-CN201710344221.4有效
发明人：王立松;王铭;魏欧 -专利权人：南京航空航天大学
申请日： 2017-05-16 - 公布日： 2020-09-29 - 主分类号： G06F8/70 文献下载
摘要：本发明提供了一种基于子树分解的软件产品线产品派生方法。所述基于子树分解的软件产品线产品派生方法包括如下步骤：从待进行产品派生的产品线提取得到特征模型；采用遗传算法对所述特征模型进行特征选择，形成新的解集；将步骤二得到的所有解集，按照特征模型变异对应的解释，转换为对应的产品配置，并交由产品线其他工序生成最终产品。本发明的有益效果：所述基于子树分解的软件产品线产品派生方法可以在遗传算法的框架下高效地对具体的软件产品线工程特征模型进行产品派生。
一种基于子树分解软件产品线产品派生方法

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

[发明专利]一种基因调控网络的优化控制方法-CN201610627176.9有效
发明人：魏欧;战芸娇;郭宗豪 -专利权人：南京航空航天大学
申请日： 2016-08-02 - 公布日： 2019-01-08 - 主分类号： G06F17/50 文献下载
摘要：本发明提供一种基因调控网络的优化控制方法，包括：在概率模型检测器PRISM中对带有干扰的并且上下文相关的概率布尔网络进行建模，得到基于PRISM的概率布尔网络模型；利用所述PRISM中的reward结构对所述概率布尔网络的状态设置不同的状态回报值，所述状态回报值用于表征控制成本函数和终端成本；确定分别对有限范围和无限范围进行控制成本优化的第一时序逻辑公式和第二时序逻辑公式；将所述基于PRISM的概率布尔网络模型、所述不同的状态回报值以及所述第一时序逻辑公式和第二时序逻辑公式输入所述概率模型检测器PRISM中，得到最优的优化控制结果。本发明提供的一种基因调控网络的优化控制方法，能够在占用较低内存的同时，提高获取最优的优化控制结果的效率。
一种基因调控网络优化控制方法

[发明专利]基于特征配置的故障树生成方法-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求解故障树最小割集的效率。
割集故障树求解回溯跳跃决策布尔约束传播过程求解空间聚合搜索

[发明专利]网络防护策略的概率模型检测方法-CN201410470312.9有效
发明人：魏欧;余鹏;牛耘 -专利权人：南京航空航天大学
申请日： 2014-09-15 - 公布日： 2018-02-02 - 主分类号： H04L12/26 文献下载
摘要：本发明公开了一种网络防护策略的概率模型检测方法，包括以下步骤1）根据对应网络的特点建立相应的传播模型，获取具体传播网络的相关参数值并储存；2）根据防护策略问题的类型、具体要求及概率值生成模型检测语言表示的程序和时序逻辑公式；3）采用概率模型检测方法或者估计模型检测方法，对步骤2）得到的程序，验证时序逻辑公式的满足性，分析模型检测工具的输出结果得到有效的防护策略。本方法解决了以往的免疫策略除节点（边）度外未能充分考虑网络传播的其他影响因素及对防护策略问题的定量分析过于简单的缺陷。充分利用现有概率模型检测方法，易于掌握和应用。可以适用于人群、森林、计算机网络等各种网络。
网络防护策略概率模型检测方法

[发明专利]复杂约束条件下多组件软件部署的自动化与自适应方法及其部署管理系统-CN201410500293.X有效
发明人：陈哲;朱云龙;黄志球;魏欧 -专利权人：南京航空航天大学
申请日： 2014-09-25 - 公布日： 2017-10-31 - 主分类号： G06F9/445 文献下载
摘要：本发明公开了一种复杂约束条件下多组件软件部署的自动化与自适应方法及其部署管理系统，属于计算机软件部署和维护技术领域。首先使用部署描述语言描述多组件软件的部署需求及其部署约束条件，然后通过使用设备状态信息探测器、约束求解器和自动部署器，部署管理系统能够根据部署需求和实时探测到的设备状态信息，通过调用约束求解器，自动地、动态地生成满足约束条件的部署计划，并自动执行部署活动，从而实现对复杂约束条件下多组件软件部署的自动化和自适应支持，同时软件部署的效率高、成本低、质量好。
复杂约束条件下组件软件部署自动化自适应方法及其管理系统

[发明专利]一种软件产品线的特征切片模型检测方法-CN201510078269.6有效
发明人：魏欧;刘玉梅;黄鸣宇;王立松 -专利权人：南京航空航天大学
申请日： 2015-02-13 - 公布日： 2017-09-12 - 主分类号： G06F9/44 文献下载
摘要：本发明公开了一种软件产品线的特征切片模型检测方法，将用户特定需求与行为模型联系在一起，对特征迁移系统进行抽象并验证，给出系统满足程度。根据用户的特定需求定义切片准则，利用特征模型的语义以及命题逻辑抽取出与切片准则对应的最小特征依赖集和特征排斥集；利用三值逻辑对特征迁移系统的迁移关系进行选择；按照三值逻辑运算规则对迁移关系上的特征表达式进行逻辑运算，得到一个抽象的三值特征迁移系统；利用多值模型检测工具，对软件产品线进行模型检测，给出系统行为属性的满足程度。本发明提供了一个满足用户硬性需求的基础单元，为后续的可变性绑定奠定基础，缓解了模型检测在空间和运行时间上的瓶颈问题。
一种软件产品线特征切片模型检测方法

[发明专利]基于文本关系相似性的蛋白质交互关系识别方法-CN201510020404.1有效
发明人：牛耘;王宇伟;吴红梅;魏欧 -专利权人：南京航空航天大学
申请日： 2015-01-15 - 公布日： 2017-05-31 - 主分类号： G06F19/24 文献下载
摘要：本发明公开了一种基于文本关系相似性的蛋白质交互关系识别方法，包括如下步骤步骤1获取文本集中的蛋白质对关键词的句子，对所有句子进行集合得到签名档S；每个蛋白质对为(p1,p2)，每个目标蛋白质对都会有签名档与其相对应；步骤2用特征向量来表示p1和p2之间的关系；步骤3关系相似性计算；把表示目标蛋白质对间关系的向量与已知交互关系的蛋白质对的特征向量进行相似性计算比较；找到最相近的特征向量并把其标签作为目标蛋白质对的标签；步骤4计算单词相似性矩阵。步骤5基本关系相似性模型中引入单词相似性模型形成新的混合模型。本发明依据文本中丰富的上下文信息，更全面地获取交互关系特征，提高识别的精度。
基于文本关系相似性蛋白质交互识别方法

[发明专利]一种提高软件版本升级决策效率的方法-CN201410124386.7有效
发明人：蔡昕烨;魏欧;胡振洲;李业兴;成鑫;杨志翔 -专利权人：南京航空航天大学
申请日： 2014-03-28 - 公布日： 2017-02-22 - 主分类号： G06F9/445 文献下载
摘要：本发明提供了一种提高软件版本升级决策效率的方法，包括如下步骤根据输入信息进行初始化操作；基于初始化结果，生成新的决策向量；根据生成的新向量，更新种群；如果满足预设的终止条件，则输出非支配向量集。本发明提供的提高软件版本升级决策效率的方法，在面对高维目标时能够快速而准确地提供解决问题的方案，从而节约时间和人力等方面的代价，提高软件版本升级运行效率。
一种提高软件版本升级决策效率方法

[发明专利]软件产品线特征选择优化方法-CN201610072068.X在审
发明人：魏欧;郭宗豪;刘玉梅;蔡昕烨 -专利权人：南京航空航天大学
申请日： 2016-02-02 - 公布日： 2016-07-06 - 主分类号： G06Q10/04 文献下载
摘要：本发明公开了一种软件产品线特征选择优化方法，其特征在于，包括如下步骤：步骤一：将软件产品线特征模型转换为原子集模型；步骤二：通过遗传算法在原子集模型上寻找最优产品配置。本发明的软件产品线特征选择优化方法应用到复杂特征模型上寻找最优产品配置时，不仅可以缓解NP难问题，同时可以快速地获取到最优解。
软件产品线特征选择优化方法

[发明专利]一种源代码中值计算错误的自动检测和定位方法-CN201410499170.9在审
发明人：陈哲;朱云龙;魏欧;黄志球 -专利权人：南京航空航天大学
申请日： 2014-09-25 - 公布日： 2015-01-21 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种源代码中值计算错误的自动检测和定位方法，属于计算机软件测试领域，该方法利用编译器对源代码进行语法分析，构造抽象语法树，通过遍历抽象语法树，基于表达式类型和用户指定检测的值计算错误类型，判断是否存在值计算错误的潜在风险；对可能产生值计算错误的表达式进行源代码变换，加入值计算错误检测和源代码定位的机制；编译执行变换后的源代码，执行后的源代码程序会自动判断值计算错误的发生，并准确报告错误对应的源代码位置。本方法可以在软件运行过程中自动检测和定位软件中的值计算错误，以实现更准确的错误定位功能，更好的平台普适性，更高的运行时性能和效率，从而克服现有的检测方法中存在的技术问题。
一种源代码中值计算错误自动检测定位方法

1
共 14 条