期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于状态图的航天器测试用例设计
被引量：
5
1
作者
吕笑慰
王华茂
闫金栋
《航天器工程》
2014年第6期135-140,共6页
为进一步提高航天器测试效率和测试覆盖性,提出了一种基于状态图的航天器测试用例设计方法,以状态图模型作为测试用例设计的依据,通过模型覆盖准则,由算法生成测试用例,并以自主热控功能的测试为例,对新方法进行了可行性验证,给出了原...
为进一步提高航天器测试效率和测试覆盖性,提出了一种基于状态图的航天器测试用例设计方法,以状态图模型作为测试用例设计的依据,通过模型覆盖准则,由算法生成测试用例,并以自主热控功能的测试为例,对新方法进行了可行性验证,给出了原始用例和新用例的比较结果。该方法有利于准确衡量测试用例覆盖率,缩短用例设计时间,可为工程应用提供参考。
展开更多
关键词
航天器测试
状态
流
状态图
模型
测试生成算法
下载PDF
职称材料
基于向位妨碍的约束状态图模型及其拆卸序列
2
作者
陈建
王建勇
+1 位作者
黄林
李锦春
《中国机械工程》
EI
CAS
CSCD
北大核心
2018年第21期2626-2635,共10页
为了有效衡量拆卸过程中零部件约束方向区间的大小,提出了一种基于向位妨碍的约束状态图模型及其拆卸序列生成方法。根据零部件之间在拆卸过程中的约束类型及空间妨碍关系,提出了一种三维向位妨碍的概念及其计算方法,并构建了基于向位...
为了有效衡量拆卸过程中零部件约束方向区间的大小,提出了一种基于向位妨碍的约束状态图模型及其拆卸序列生成方法。根据零部件之间在拆卸过程中的约束类型及空间妨碍关系,提出了一种三维向位妨碍的概念及其计算方法,并构建了基于向位妨碍的约束状态图模型;在此基础上构建了相应的状态矩阵和拆卸算子矩阵,将拆卸过程转化为拆卸算子矩阵与状态矩阵的迭代运算过程,并给出了相应的拆卸规则及拆卸序列规划算法。以平口钳产品拆卸为例,进行了拆卸建模与序列规划求解,结果表明该方法有效、可行。
展开更多
关键词
三维向位妨碍
状态图
模型
拆卸算子
拆卸序列
下载PDF
职称材料
题名
基于状态图的航天器测试用例设计
被引量：
5
1
作者
吕笑慰
王华茂
闫金栋
机构
北京空间飞行器总体设计部
出处
《航天器工程》
2014年第6期135-140,共6页
基金
国家重大科技专项工程
文摘
为进一步提高航天器测试效率和测试覆盖性,提出了一种基于状态图的航天器测试用例设计方法,以状态图模型作为测试用例设计的依据,通过模型覆盖准则,由算法生成测试用例,并以自主热控功能的测试为例,对新方法进行了可行性验证,给出了原始用例和新用例的比较结果。该方法有利于准确衡量测试用例覆盖率,缩短用例设计时间,可为工程应用提供参考。
关键词
航天器测试
状态
流
状态图
模型
测试生成算法
Keywords
spacecraft test
stateflow
statecharts model
test generation algorithms
分类号
V416 [航空宇航科学与技术—航空宇航推进理论与工程]
下载PDF
职称材料
题名
基于向位妨碍的约束状态图模型及其拆卸序列
2
作者
陈建
王建勇
黄林
李锦春
机构
浙江工业大学特种装备制造与先进加工技术教育部/浙江省重点实验室
出处
《中国机械工程》
EI
CAS
CSCD
北大核心
2018年第21期2626-2635,共10页
基金
国家自然科学基金资助项目(51175473
61772469)
浙江省自然科学基金资助项目(Y15E050071)
文摘
为了有效衡量拆卸过程中零部件约束方向区间的大小,提出了一种基于向位妨碍的约束状态图模型及其拆卸序列生成方法。根据零部件之间在拆卸过程中的约束类型及空间妨碍关系,提出了一种三维向位妨碍的概念及其计算方法,并构建了基于向位妨碍的约束状态图模型;在此基础上构建了相应的状态矩阵和拆卸算子矩阵,将拆卸过程转化为拆卸算子矩阵与状态矩阵的迭代运算过程,并给出了相应的拆卸规则及拆卸序列规划算法。以平口钳产品拆卸为例,进行了拆卸建模与序列规划求解,结果表明该方法有效、可行。
关键词
三维向位妨碍
状态图
模型
拆卸算子
拆卸序列
Keywords
3D phase hinder
state graph model
disassembly operator
disassembly sequence
分类号
TH122 [机械工程—机械设计及理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于状态图的航天器测试用例设计
吕笑慰
王华茂
闫金栋
《航天器工程》
2014
5
下载PDF
职称材料
2
基于向位妨碍的约束状态图模型及其拆卸序列
陈建
王建勇
黄林
李锦春
《中国机械工程》
EI
CAS
CSCD
北大核心
2018
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
