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

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

[发明专利]面向领域自然语言需求的形式化需求模型生成方法-CN202010720960.0有效
发明人：胡军;胡建成 -专利权人：南京航空航天大学
申请日： 2020-07-24 - 公布日： 2022-02-01 - 主分类号： G06F8/10 文献下载
摘要：本发明公开了一种面向领域自然语言需求的形式化需求模型生成方法，包括：根据航电领域目标系统的实际需求中所涉及的包括对象名词、领域概念在内的各种数据，采用N元组的形式对其定义得到领域概念库；根据包括DO‑178B/C航空认证标准、航空工业领域需求描述规范、EICAS系统需求特征和VRM模型的元素特征在内的规范数据，建立领域模板库；结合领域概念库和领域模板库对EICAS自然语言需求进行需求规约，得到规范化需求模型；根据规范化需求模型特征和VRM模型特征，建立VRM模型自动构造算法；将规范化需求模型作为输入，得到VRM形式化模型。本发明能够使系统工程人员采用领域概念库和领域模板库定义好需求之后，自动构造出VRM形式化模型，省时省力。
面向领域自然语言需求形式化模型生成方法

[发明专利]发动机的控制软件的形式化处理方法和装置-CN202011373919.7在审
发明人：赵旭东;徐静 -专利权人：中国航发商用航空发动机有限责任公司
申请日： 2020-11-30 - 公布日： 2022-06-03 - 主分类号： G06F8/10 文献下载
摘要：本公开提供了一种发动机的控制软件的形式化处理方法和装置，涉及形式化技术领域，所述方法包括：接收用户输入的所述控制软件的半形式化的控制需求；根据定义的形式化语言，将所述半形式化的控制需求形成为形式化的控制需求；根据所述发动机的控制安全规则，对所述形式化的控制需求进行验证；将验证后的所述形式化的控制需求转换为建模脚本，其中，所述建模脚本被配置为在被建模软件执行后生成所述控制软件的仿真模型。
发动机控制软件形式化处理方法装置

[发明专利]非形式化需求规约模板到形式化设计模型的自动转换方法-CN201711297282.6有效
发明人：杨志斌;刘承威;冯思喆;王飞;许金淼;周勇;谢健;王永孟 -专利权人：南京航空航天大学
申请日： 2017-12-08 - 公布日： 2021-04-02 - 主分类号： G06F8/20 文献下载
摘要：本发明公开了一种非形式化需求规约模板到形式化设计模型的自动转换方法，通过基于限定自然语言的需求规约模板，以层次化的组织形式、限制的语言描述系统或构件，在此基础上进行需求规约形成非形式化的设计说明文档，并实现整个设计说明到AADL形式化设计模型的转换。本方法能够实现对需求描述的限定，减少因自然语言二义性而产生的人为因素造成的错误，规约形成非形式化的设计说明，并自动生成AADL初始设计模型。
形式化需求规约模板设计模型自动转换方法

[发明专利]一种航天装备软件配置项测试需求形式化描述方法及装置-CN202310183712.0在审
发明人：原野;刘丹;戴佳琪;潘星;蔡梦琳;余杰;高荇 -专利权人：湖北航天技术研究院总体设计所
申请日： 2023-02-28 - 公布日： 2023-06-23 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种航天装备软件配置项测试需求形式化描述方法及装置，涉及航天装备软件配置项测试领域，该方法包括创建用于对软件配置项测试需求进行形式化描述的形式化描述工具，并基于软件配置项测试需求的类型，选择待建立的形式化描述图形的类型；基于形式化描述工具，选择对应软件配置项测试需求的基本图元，以建立形式化描述图形；根据软件配置项测试需求，对建立的形式化描述图形中基本图元自身的属性以及基本图元间的属性进行设置；基于设置完成的形式化描述图形，生成与形式化描述图形对应的XML描述文件。本发明能够提高测试需求分析效率，为采用自动化手段开展形式化验证工作构造有利条件。
一种航天装备软件配置测试需求形式化描述方法装置

[发明专利]一种航天装备软件系统测试需求形式化描述方法及装置-CN202310187909.1在审
发明人：原野;刘丹;周松;潘星;刘梦达;张卫平;张朋 -专利权人：湖北航天技术研究院总体设计所
申请日： 2023-02-28 - 公布日： 2023-05-30 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种航天装备软件系统测试需求形式化描述方法及装置，涉及航天装备软件系统测试领域，该方法包括创建用于对软件系统测试需求进行形式化描述的形式化描述工具，并基于软件系统测试需求，选择待建立形式化描述图形类别；根据形式化描述工具的可操作方式，选择对应软件系统测试需求的基本图元，实现形式化描述图形的建立；基于软件系统测试需求，对建立的形式化描述图形中基本图元自身的属性以及基本图元间的属性进行配置；基于配置完成的形式化描述图形，生成对应于形式化描述图形的XML描述文件。本发明能够有效提高测试需求分析效率，为采用自动化手段开展形式化验证工作构造有利条件。
一种航天装备软件系统测试需求形式化描述方法装置

[发明专利]基于形式化建模的软件安全需求获取方法-CN201510219729.2有效
发明人：李晓红;李洪波;吴晓菲;孙达志;张蕾 -专利权人：天津大学
申请日： 2015-04-30 - 公布日： 2017-12-26 - 主分类号： G06F21/57 文献下载
摘要：本发明公开了一种基于形式化建模的软件安全需求获取方法，包括功能需求获取、安全环境分析、安全目的分析、安全要求导出以及最终生成系统安全需求文档，该文档至少包含系统资产、行为序列、缺陷、威胁、安全策略、安全假设、安全目的、安全需求等级、安全保证等级、安全功能组件和安全保证组件的信息。与现有技术相比，实现了软件安全需求的自动获取，同时大大提高了安全需求获取的精确度；解决了自然语言描述的安全知识库存在模糊性和二义性，以及不能交由计算机处理的问题，为软件安全需求的自动导出奠定了基础；是典型的软件安全需求获取方法
基于形式化建模软件安全需求获取方法

[发明专利]VRM形式化需求模型的生成和分析方法-CN201911363747.2有效
发明人：胡军;石梦烨 -专利权人：南京航空航天大学
申请日： 2019-12-26 - 公布日： 2021-06-29 - 主分类号： G06F8/10 文献下载
摘要：本发明公开了一种VRM形式化需求模型的生成和分析方法，包括：将需求模型构建为有限状态自动机系统，并生成对应的VRM规范集合；引入中间变量，将有限状态自动机系统进行分层，并定义了各变量之间的拓扑排序结构以及依赖关系；将所述有限状态自动机系统运用在安全关键性系统进行需求描述和分析。本发明通过将需求模型构建为一个有限状态自动机系统，使其可以更好地运用到实际系统中，解决工业系统的需求描述问题；同时提供了相关一致性和完整性分析方法，用来检查有限状态自动机系统中存在的语法、语义和句法错误，以及需求的不相交性和覆盖性，使得系统需求精准且无二义性。
vrm 形式化需求模型生成分析方法

[发明专利]基于SMT的车载控制器软件半形式化需求验证系统及方法-CN201611250263.3有效
发明人：陈晓轩;陈硕豪;熊坤鹏;刘锦峰 -专利权人：卡斯柯信号有限公司
申请日： 2016-12-29 - 公布日： 2021-05-14 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种基于SMT的车载控制器软件半形式化需求验证系统及方法，包括：半形式化软件需求规范化模块M1，用于对半形式化的车载控制器软件需求进行自动转换，生成能够被SMT求解器识别的合取范式形式输入；约束条件建立模块M2，用于根据上级系统需求和系统设计，抽取、归纳并建立针对软件功能的约束条件；需求验证模块M3，用于对格式转换后的输入软件需求根据约束条件进行求解，验证软件需求的正确性以及与上级需求和设计的一致性。与现有技术相比，本发明具有利用形式化理论工具对半形式化的软件需求进行准确、高效地验证等优点。
基于 smt 车载控制器软件形式化需求验证系统方法

[发明专利]通信协议可信性验证装置-CN202010011588.6有效
发明人：史建琦;黄滟鸿;张继;任建鹏;于会新;杨洋;张鹏 -专利权人：上海丰蕾信息科技有限公司
申请日： 2020-01-06 - 公布日： 2022-03-04 - 主分类号： H04L43/18 文献下载
摘要：本发明公开了一种通信协议可信性验证装置，包括：形式化语言描述模块，用于通过形式化语言描述满足安全传输指标的需求规范，得到形式化语言描述的需求规范；形式化验证模块，用于通过形式化验证工具对所述形式化语言描述的需求规范进行验证通过上述装置，可以利用形式化验证工具对需求规范进行验证，以保证计算平台系统数据通信的安全性和可靠性。
通信协议可信性验证装置

[发明专利]一种基于演化式需求建模的模拟仿真方法-CN202210282864.1在审
发明人：蒲戈光;缪炜恺;冯劲草;蔡雄;郑寒月 -专利权人：上海工业控制安全创新科技有限公司;华东师范大学
申请日： 2022-03-22 - 公布日： 2022-07-22 - 主分类号： G06F40/253 文献下载
摘要：本发明公开了一种基于演化式需求建模的模拟仿真方法，包括如下步骤：步骤一、以原始需求为基础，将非形式化需求文档基于模板演化式迭代，形成半形式化需求文档，之后经过需求模型提取模块处理，并以形式化需求文档的方式进行输出；步骤二、将步骤一中输出的形式化需求文档进行编译转化获得需求模型；步骤三、基于获得的需求模型进行动态模拟仿真。本发明通过基于演化式需求建模的模拟仿真方法来替代传统测试人员进行人工计算得到的结果，用于分析和研究通过此需求所设计的系统，进一步提升其准确性和效率。
一种基于演化需求建模模拟仿真方法

[发明专利]通信协议可信性验证方法-CN202010011586.7有效
发明人：史建琦;黄滟鸿;张继;任建鹏;于会新;杨洋;张鹏 -专利权人：上海丰蕾信息科技有限公司
申请日： 2020-01-06 - 公布日： 2022-06-03 - 主分类号： H04L9/40 文献下载
摘要：本发明公开了一种通信协议可信性验证方法，包括：通过形式化语言描述满足安全传输指标的需求规范，得到形式化语言描述的需求规范；通过形式化验证工具对所述形式化语言描述的需求规范进行验证，得到验证数据集；根据所述验证数据集通过上述方法，可以利用形式化验证工具对需求规范进行验证，以保证计算平台系统数据通信的安全性和可靠性。
通信协议可信性验证方法

[发明专利]基于形式分析驱动的需求规格书的演化方法-CN201010254931.6无效
发明人： P·萨姆帕思;P·V·V·贾内桑;A·A·贾卡里;R·塞图 -专利权人：通用汽车环球科技运作公司
申请日： 2010-08-13 - 公布日： 2011-03-30 - 主分类号： G06F17/22 文献下载
摘要：本发明涉及基于形式分析驱动的需求规格书的演化方法。具体地，提供了一种用于开发规格书的方法，其包括接收限定了规格书的功能的多个需求，其中，使用形式模型表达多个需求。该方法还包括使用算法分析多个需求并且确定多个需求是否满足一组预定准则。该方法还包括产生形式分析的总结并且通过并入被改正的分析结果来改进需求。
基于形式分析驱动需求规格书演化方法

[发明专利]一种需求层形式化验证方法及系统-CN202310009946.3有效
发明人：杨林;张龙;匡洪宇;马琳茹;杨峰 -专利权人：军事科学院系统工程研究院网络信息研究所
申请日： 2023-01-05 - 公布日： 2023-05-05 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种需求层形式化验证方法及系统，属于计算机软件设计及测试技术领域。该方法包括：基于所述操作系统的需求文档提取操作系统的功能点，通过构建状态机模型对所述功能点的需求进行形式化描述，得到所述操作系统需求的形式化模型；获取用户自定义的功能安全需求的自然语言描述，通过构造不变式对所述功能安全需求进行形式化描述，得到功能安全模型；对所述操作系统形式化模型在执行过程中是否满足所述不变式进行验证，以验证所述操作系统是否符合所述功能安全模型。
一种需求形式化验证方法系统

[发明专利]一种基于知识图谱面向电商领域的需求描述模型设计方法-CN201910012639.4有效
发明人：李莹;高建伟;席萌;尹建伟;邓水光;罗智凌;吴朝晖 -专利权人：浙江大学
申请日： 2019-01-07 - 公布日： 2021-04-27 - 主分类号： G06F8/10 文献下载
摘要：本发明公开了一种基于知识图谱面向电商领域的需求描述模型设计方法，其使用面向电商领域需求描述的特定语言，结合知识图谱强大知识推理能力，帮助需求描述人员可以在用户描述需求的时候更加准确的获取到用户的真实需求，从而快速完成需求描述，顺利推进开发工作。本发明设计了一套利用针对电商需求描述领域设计的形式化语言，利用形式化语言的无二义性，更加准确的完成用户的需求描述，同时通过利用知识图谱的强大推理能力结合形式化语言，帮助用户完成需求的描述以及验证需求描述是否合理此外，本发明还提供了将需求描述的形式化语言自动生成UML图的功能，进一步减少了用户描述需求的工作量，提高用户的工作效率。
一种基于知识图谱面向领域需求描述模型设计方法

[发明专利]一种卫星通信网络组网规划方法-CN201810092414.X有效
发明人：赵洪华;谢钧;袁伟伟;金凤林;仇小锋;岳淑贞 -专利权人：中国人民解放军陆军工程大学
申请日： 2018-01-31 - 公布日： 2020-06-19 - 主分类号： H04B7/185 文献下载
摘要：本发明公开一种卫星通信网络组网规划方法，包括如下步骤：(10)卫星资源形式化建模：对所有卫星资源进行形式化建模，作为卫星通信网络规划的卫星资源基础数据；(20)组网需求形式化建模：确定卫星通信网组网对象，对卫星通信网组网需求进行形式化建模，作为卫星通信网络规划中的通信网基础数据；(30)组网规划：解析卫星通信网组网需求，根据卫星通信网组网需求分配卫星资源，生成卫星通信网络组网规划数据。本发明的卫星通信网络组网规划方法，通过卫星资源形式化和组网需求形式化建模，提高卫星通信网组网规划的通用性和规划效率，降低卫星网组网规划的复杂度。
一种卫星通信网络组网规划方法

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
下一页»
尾页
共 100000 条