QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于多信号流图与分支定界算法的故障诊断 期刊论文 北京航空航天大学学报, 2016, 卷号: 42, 页码: 180-186 作者:  梁爽;  于劲松;  唐荻音;  姜杨 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30 多信号流图  冲突集  整数规划  分支定界算法  故障诊断   一种改进的程序不可达路径静态检测方法 期刊论文 南华大学学报(自然科学版), 2014, 期号: 4, 页码: 68-73 作者:  喻琴仪;  罗扬;  杨浩 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/27 不可达路径  函数调用  调用上下文  数据流  冲突分支   一种类间交互测试的约束型标记驱动Petri网模型 期刊论文 小型微型计算机系统, 2010, 卷号: 第31卷 第6期, 页码: 1185-1189 作者:  龚红仿，李军义 收藏  |  浏览/下载：1/0  |  提交时间：2020/01/05 类间交互测试  对象活跃点  对象连接子  分支冲突  标记-变迁路径  约束型标记驱动Petri网