“rucm”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

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

[发明专利]一种OML对RUCM的表示方法-CN202010326457.7有效
发明人：王铁鑫;吴怡;岳涛;刘文静 -专利权人：南京航空航天大学
申请日： 2020-04-23 - 公布日： 2023-06-20 - 主分类号： G06F8/20 文献下载
摘要：本发明公开了一种OML对RUCM的表示方法，包括以下步骤：1、根据RUCM建模元素间的关系，确定所需转换的元素和关系；2、根据OML建模元素，制定步骤(1)中RUCM和OML之间的映射规则，形成RUCM的oml vocabulary；3、读取RUCM的文本实例，调用步骤2中vocabulary，输出相应的OML文本实例。本发明用以解决现有领域共享知识的需求；实现RUCM实例到OML实例的自动化转换，提高工业设计中需求阶段的效率；省却转换过程中的人力参与，提高数据处理的效率。
一种 oml rucm 表示方法

[发明专利]一种基于RUCM的需求验证方法-CN201510419702.8有效
发明人：吴际;张莹;杨海燕;任健 -专利权人：北京航空航天大学
申请日： 2015-07-16 - 公布日： 2017-11-21 - 主分类号： G06F17/50 文献下载
摘要：本发明涉及一种基于RUCM的需求验证方法，具体包括以下步骤输入需求，采用RUCM方法生成半形式化的需求表达方式；对需验证的内容进行定义；解析需求的自然语言描述文字，在元模型中定义RUCM模型中的元素，将需求以RUCM元模型实例的方式表现出来；自动化验证引擎基于需验证的内容，对RUCM元模型实例进行自动化验证；对自动化验证结果进行评估，如果评估结果不满足，则对应修改需求，重复上述步骤。所述方法在保证自然语言描述需求的部分灵活性的前提下，实现自动化验证，减少人力，节约成本；同时，可定制可扩展的自动化验证引擎能够满足用户针对特定项目的部分验证需求，并且能够随着RUCM方法或更多的验证需求进行扩展
一种基于 rucm 需求验证方法

[发明专利]一种基于本体的RUCM模型一致性检查方法-CN201710366026.1有效
发明人：刘超;胡京徽;杨海燕;吴际 -专利权人：北京航空航天大学
申请日： 2017-05-23 - 公布日： 2020-07-03 - 主分类号： G06F8/41 文献下载
摘要：本发明涉及一种基于本体的RUCM模型一致性检查方法，所述方法包括以下步骤：对领域知识进行建模，形成的包含领域概念、领域概念之间关系和领域概念的相关属性的领域本体模型；结合本体库中的核心概念，建立和分析本体库的相关概念到RUCM模型概念之间的映射关系；最后根据定义的一致性规则来检验RUCM模型中存在的不一致的缺陷。本发明设计了扩展支持本体模型检查的RUCM模型；提供一种基于本体的RUCM模型一致性检查方法的算法工具。
一种基于本体 rucm 模型一致性检查方法

[发明专利]一种基于RUCM的自动驾驶系统需求建模方法-CN202111160489.5在审
发明人：于悦;王铁鑫;岳涛 -专利权人：南京航空航天大学
申请日： 2021-09-30 - 公布日： 2022-01-28 - 主分类号： G06F8/10 文献下载
摘要：本发明公开了一种基于RUCM的自动驾驶系统需求建模方法，该方法通过对自动驾驶领域概念和特征进行分析提取，并将提取的概念与RUCM中的基本概念相结合，实现对UCMeta在Actor和Use Case两个方面的扩展本发明是一种半形式化的需求描述方法，在RUCM的基础上增加自动驾驶领域元素的描述模板和相应的限制规则，用于完整的、准确地对自动驾驶任务需求进行描述。
一种基于 rucm 自动驾驶系统需求建模方法

[发明专利]一种机载设备测试需求生成方法及机载设备测试方法-CN201810195826.6有效
发明人：吴际;胡京徽;崔明宝 -专利权人：北京航空航天大学;北京天创凯睿科技有限公司
申请日： 2018-03-09 - 公布日： 2020-05-01 - 主分类号： G05B23/02 文献下载
摘要：得到每类信号的参数及相应动作；将所述参数和动作组合得到结构化句式模板，将结构化句式模板中的参数用可变参数替代，构造参数化句式模板；根据ATE领域下机载设备测试需求，将可变参数赋值为具体参数值，构造相应的参数化句式，同时扩展RUCM模板得到RUCM4ATE测试需求用例模板，在RUCM4ATE测试需求用例模板中添加相应的参数化句式，生成测试需求。
一种机载设备测试需求生成方法

[发明专利]一种适用于航电系统的安全需求建模方法-CN201310595322.0有效
发明人：吴际;张辉辉;李亚晖;牛文生 -专利权人：北京航空航天大学;中国航空工业集团公司西安航空计算技术研究所
申请日： 2013-11-21 - 公布日： 2017-05-24 - 主分类号： G06F17/50 文献下载
摘要：本发明公开了一种适用于航电系统的安全需求建模方法，该方法通过对航空嵌入式系统的安全性相关的概念和约束进行分析提取，并将提取的概念和约束与RUCM中的基本概念相结合，实现对UCMeta的扩展从而建立安全性相关的领域模型本发明方法是一种半形式化的安全性需求描述方法，在RUCM的基础上增加安全性需求的描述模板和相应的限制规则，用于完整的、准确的对安全性需求进行描述，并支持一定程度的自动化验证。
一种适用于系统安全需求建模方法

[发明专利]一种基于RUCM的实时性测试方法-CN201610565942.3有效
发明人：吴际;李苓;杨海燕;刘超 -专利权人：北京航空航天大学
申请日： 2016-07-18 - 公布日： 2019-05-31 - 主分类号： G06F8/10 文献下载
摘要：本发明涉及一种基于RUCM的实时性测试方法，所述方法包括以下步骤：对RTCM测试模板进行实时性测试扩展，得到实时性测试规格模板；结合系统当前的状态对需求的识别和分配进行扩展，实现单独的view；对用户实时性需求进行规范化描述
一种基于 rucm 实时测试方法

[发明专利]一种面向自动驾驶需求分析的建模及模型转换方法-CN202211665136.5在审
发明人：胡炎淋;王铁鑫 -专利权人：南京航空航天大学
申请日： 2022-12-23 - 公布日： 2023-04-28 - 主分类号： G06F40/211 文献下载
摘要：分析模型进行结合，实现UML类图和活动图在自动驾驶领域的拓展，根据自动驾驶系统限定性用例建模语言的自动驾驶概念，制定模型转换规则，基于Java语言编写模型转换引擎实现模型转换方法，弥补了通用模型转换方法不能处理RUCM4ADS
一种面向自动驾驶需求分析建模模型转换方法