基于形式化转换规则的航电领域需求的规范化方法技术

本发明专利技术公开了一种基于形式化转换规则的航电领域需求的规范化方法，包括：S1，定义自然语言需求语句中的语句组成结构；S2，制定原始自然语言需求到规范化需求的转换规则；S3，利用Stanford Parser词法分析器得到原始自然语言需求语句相应的抽象语法树，从原始自然语言需求当中提取规范化需求需要的语句结构内容将其存入集合，再从集合中提取相应的语句结构内容并按照步骤S2中的转换规则进行输出，得到对应的规范化需求。本发明专利技术成功解决了传统自然语言需求语句中出现的歧义、模糊、不可验证等问题，对航空电子显控系统进行正确的需求分析。

【技术实现步骤摘要】
基于形式化转换规则的航电领域需求的规范化方法
本专利技术涉及自然语言需求规范化
，具体而言涉及一种基于形式化转换规则的航电领域需求的规范化方法。
技术介绍
StanfordParser是一款基于Java实现的开源句法解析的工具，主要是基于优化的概率规则集和词汇化依存的句法分析方法。概率模型是用于从输入句子的众多分析结果中选择可能性最大的分析结果，词典依存的语法分析给出了句子内各成分之间的相互依赖性，即在单纯的短语结构树基础之上加入了中心词分析。通过这两个功能部件，可以获取句子中各成分的句法功能和语句的句法结构。这些信息将为实体之间的关系识别提供重要的参考信息。随着航空电子显控系统的功能不断增强和需求的日益增加，对传统的自然语言需求分析提出了很大的挑战。传统的自然语言描述的需求难以避免会存在表述模糊、不可验证等问题，造成需求分析人员与开发编程人员、具体用户之间对需求文档的理解不同，进而造成开发出的系统和用户表达的系统不一致，存在大量的错误，增加工程的成本。如何提出一种更加适用的自然语言需求规范化处理方法，成为亟需解决的问题。本文档来自技高网...

【技术保护点】
1.一种基于形式化转换规则的航电领域需求的规范化方法，其特征在于，所述规范化方法包括：/nS1，定义自然语言需求语句中的语句组成结构；/nS2，制定原始自然语言需求到规范化需求的转换规则；/nS3，采用Stanford Parser词法分析器得到原始自然语言需求语句相应的抽象语法树，从原始自然语言需求当中提取规范化需求需要的语句结构内容将其存入集合，再从集合中提取相应的语句结构内容并按照步骤S2中的转换规则进行输出，得到对应的规范化需求。/n

【技术特征摘要】
1.一种基于形式化转换规则的航电领域需求的规范化方法，其特征在于，所述规范化方法包括：
S1，定义自然语言需求语句中的语句组成结构；
S2，制定原始自然语言需求到规范化需求的转换规则；
S3，采用StanfordParser词法分析器得到原始自然语言需求语句相应的抽象语法树，从原始自然语言需求当中提取规范化需求需要的语句结构内容将其存入集合，再从集合中提取相应的语句结构内容并按照步骤S2中的转换规则进行输出，得到对应的规范化需求。


2.根据权利要求1所述的基于形式化转换规则的航电领域需求的规范化方法，其特征在于，步骤S1中，所述自然语言需求语句中的语句组成结构包括语句形式、语句的主语、谓语和宾语；
自然语言需求集合被定义为R＝{r1,r2,r3,……}，ri为第i个自然语言需求语句；对应的规范化需求集合被定义为fri是第i个自然语言需求语句对应的规范化需求语句，A＝{a1,a2,a3…}为主语集合，B＝{b1,b2,b3…}为谓语集合，C＝{c1,c2,c3…}为宾语集合；其中，自然语言需求语句中的情态动词和谓语动词被视为一个整体。


3.根据权利要求1所述的基于形式化转换规则的航电领域需求的规范化方法，其特征在于，步骤S2中，利用集合论和笛卡尔积思想制定原始自然语言需求到规范化需求的转换规则。


4.根据权利要求2所述的基于形式化转换规则的航电领域需求的规范化方法，其特征在于，步骤S2中，所述制定原始自然语言需求到规范化需求的转换规则包括以下步骤：
S21，判断原始自然语言需求的语句形式，如果是陈述句形式，转入步骤S22，如果是含有条件句形式，转入步骤S23；
S22，获取自然语言需求语句中的主语集合A、谓语集合B和宾语集合C，将主语集合A、谓语集合B和宾语集合C进行笛卡尔积运算，得到对应的规范化需求语句集合FR：FR＝A×B×C，结束转换流程；
S23，采用步骤S22中的转换方法对原始自然语言需求中原本存在的每一条自然语言需求语句进行规范化处理，得到对应的规范化需求语句，结合从原始自然语言需求拆分得到的规划化需求语句一起进行笛卡尔积运算得到...

【专利技术属性】
技术研发人员：王立松，沈翔宇，
申请(专利权)人：南京航空航天大学，
类型：发明
国别省市：江苏;32