您的位置: 专家智库 > >

文献类型

  • 15篇中文专利

领域

  • 7篇自动化与计算...

主题

  • 6篇嵌入式
  • 6篇嵌入式软件
  • 4篇分词
  • 3篇自动化
  • 3篇最大匹配算法
  • 3篇分词方法
  • 3篇SYSML
  • 3篇测试技术
  • 3篇测试用例
  • 2篇形式化
  • 2篇形式化验证
  • 2篇语义相似
  • 2篇语义相似度
  • 2篇软件测试
  • 2篇软件测试技术
  • 2篇软件功能
  • 2篇软件模型
  • 2篇上下文
  • 2篇上下文环境
  • 2篇失效率

机构

  • 15篇中国航空综合...

作者

  • 15篇周汉清
  • 4篇江志炜
  • 4篇黄燕冰
  • 2篇李海峰
  • 2篇蔡玉华
  • 2篇封二强

年份

  • 2篇2025
  • 3篇2024
  • 2篇2023
  • 1篇2022
  • 2篇2021
  • 1篇2020
  • 1篇2019
  • 1篇2018
  • 1篇2017
  • 1篇2016
15 条 记 录,以下是 1-10
排序方式:
基于语义的不完全最大匹配分词方法
本发明提供一种基于语义的不完全最大匹配分词方法,其包括以下步骤:S1、利用训练集语料T和同义词词林构建正向语义相似度词典D<Sup>Sim</Sup>;S2、对词语进行切分,得到初始词;S3、后续词自动识别:对于待切分汉...
苏航周汉清吕海熊张春雷丁新刘勇
基于SysML的嵌入式软件安全性分析方法及其分析系统
本发明提供了一种基于SysML的嵌入式软件安全性分析方法,该方法包括:扩展SysML语言的语义,基于扩展SysML语言创建软件模型,对软件静态结构和动态行为进行完整准确描述,通过构建安全性分析规则库,针对软件模型进行软件...
周汉清吕海熊唐洋封二强蔡玉华刘勇李鑫然
文献传递
基于脚本的嵌入式软件仿真及测试一体化平台的构建方法
本发明属于自动化测试领域,是针对飞行器机载嵌入式软件的自动化测试技术,涉及一种基于脚本的嵌入式软件仿真及测试一体化平台的构建方法。本发明的实现是基于实时处理机和主控机的架构。在主控机上,测试用例和仿真模型采用测试脚本进行...
周汉清李海峰
一种基于事故动态推演仿真的故障模式与影响分析方法
本发明是一种基于事故动态推演仿真的故障模式与影响分析方法,该方法针对被分析对象的特点,构建最低约定层次的每一个模块的功能方框,构建功能框图,与传统的在功能模块上添加失效率并进行可靠性分析不同,本发明方法对每一个功能方框,...
周汉清吕海熊王智浩黄燕冰江志炜李瑜
机载软件故障报告的实体关系抽取方法
本发明提供一种机载软件故障报告的实体关系抽取方法,其包括以下步骤:S1:数据清洗,将获取的原始机载软件故障报告转换为标准化数据格式;S2:数据预处理包含去除无用符号、分词、以及去除停用词;S3:数据标注,对数据预处理后的...
唐洋周汉清智新凯张玉新吕海熊刘勇苏航
用于机载系统安全性分析的FMES数据生成方法及系统
本发明属于航空机载系统安全性分析技术领域,具体涉及一种用于机载系统安全性分析的FMES数据生成方法及系统,其包括:S1、获取机载系统的FMEA数据,进行数据处理,使用BERT模型提取数据特征;S2、采用正弦相似性度量FE...
唐洋周汉清吕海熊常银桥苏航张玉新
基于语义的不完全最大匹配分词方法
本发明提供一种基于语义的不完全最大匹配分词方法,其包括以下步骤:S1、利用训练集语料T和同义词词林构建正向语义相似度词典D<Sup>Sim</Sup>;S2、对词语进行切分,得到初始词;S3、后续词自动识别:对于待切分汉...
苏航周汉清吕海熊张春雷丁新刘勇
文献传递
航空控制系统SysML状态图模型验证方法及其验证系统
本发明提供了一种航空控制系统SysML状态图模型验证方法,其包括:确定航空控制系统运行的上下文环境,识别航空控制系统在上下文环境中存在的状态集,构建航空控制系统状态图,构建序列状态内部行为模型,构建序列状态间的转换关系模...
吕海熊唐洋周汉清苏航丁新孙菥瑶
基于SysML的嵌入式软件安全性分析方法及其分析系统
本发明提供了一种基于SysML的嵌入式软件安全性分析方法,该方法包括:扩展SysML语言的语义,基于扩展SysML语言创建软件模型,对软件静态结构和动态行为进行完整准确描述,通过构建安全性分析规则库,针对软件模型进行软件...
周汉清吕海熊唐洋封二强蔡玉华刘勇李鑫然
基于脚本的嵌入式软件仿真及测试一体化平台的构建方法
本发明属于自动化测试领域,是针对飞行器机载嵌入式软件的自动化测试技术,涉及一种基于脚本的嵌入式软件仿真及测试一体化平台的构建方法。本发明的实现是基于实时处理机和主控机的架构。在主控机上,测试用例和仿真模型采用测试脚本进行...
周汉清李海峰
文献传递
共2页<12>
聚类工具0