-
题名Petri网可达性的伪标识判定法
- 1
-
-
作者
杨夏妮
-
机构
玉林师范学院计算机科学与工程学院
-
出处
《计算机应用与软件》
CSCD
北大核心
2013年第4期153-155,179,共4页
-
基金
广西壮族自治区教育厅科研立项项目(201106LX515)
玉林师范学院青年科研资助项目(2010YJQN19)
-
文摘
Petri网标识的可达性判定问题是进行Petri网分析的基础。在分析目前现有的判定Petri网可达性的求解方法的基础上,提出一种伪标识判定法。该方法在状态方程法的基础上,利用关联矩阵来判断变迁发射向量是否能够发生来筛除伪标识。通过对实例的求解说明了求解过程并证明了算法能够确保对所得结果的可靠性,减少了算法的时间复杂度。
-
关键词
PETRI网
可达性
伪标识
-
Keywords
Petri net Reachability False identification
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于两阶段学习的半监督SVM故障检测方法
被引量：4
- 2
-
-
作者
陶新民
曹盼东
宋少宇
付丹丹
-
机构
哈尔滨工程大学信息与通信工程学院
-
出处
《振动与冲击》
EI
CSCD
北大核心
2012年第23期39-43,56,共6页
-
基金
国家自然科学基金面上项目(61074076)
中国博士后科学基金(20090450119)
+2 种基金
中国博士点新教师基金(20092304120017)
黑龙江省博士后基金(LBH-Z08227)
黑龙江省教育厅项目(11555009)
-
文摘
提出一种基于两阶段学习的半监督SVM故障检测方法。该方法首先使用标识传递算法给未标识样本赋予初始伪标识,并通过k近邻图对比样本点标识值,将可能是噪声的样本点识别并剔除;然后将去噪处理后的样本集输入到SVM中,使得SVM在训练时能兼顾整个样本集的信息,从而提高SVM的故障检测性能。实验中将该方法同支持向量机(SVM)、模糊支持向量机(FSVM)、直推式支持向量机(TSVM)及拉普拉斯支持向量机算法(LapSVM)进行比较,结果表明该方法在不同数目标识样本集合的情况下,检测精度较其他算法有较大幅度提高,同时该方法还比较了不含测试样本和含测试样本训练条件下的故障检测性能,结果表明结合测试样本可进一步提高算法的故障检测性能。
-
关键词
故障检测
半监督
两阶段
伪标识
-
Keywords
fault detection
semi-supervised
two-stage
pseudo labels
-
分类号
TH17
[机械工程—机械制造及自动化]
TP306
[自动化与计算机技术—计算机系统结构]
-
