您的位置： 专家智库 > >

周汉清

作品数：13 被引量：0H指数：0
供职机构：中国航空综合技术研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 13篇中文专利

领域

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

主题

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

机构

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

作者

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

年份

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