2025年4月2日
星期三
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
周汉清
作品数:
13
被引量:0
H指数: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页
<
1
2
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张