-
题名应用Petri网求解事故树最小割集的方法研究
被引量：5
- 1
-
-
作者
崔焕庆
周传爱
-
机构
山东科技大学信息科学与工程学院
青岛滨海学院综合学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2011年第2期580-583,共4页
-
基金
国家863高技术研究发展计划基金项目(2009AA062700)
国家自然科学基金项目(60773034)
+2 种基金
青岛市科技计划基金项目(KZJ-47
2008-2-27
09-1-3-50-jch)
-
文摘
为简化事故树分析过程中最小割集求解算法的步骤,在构建事故树Petri网模型的基础上,探讨了事故树Petri网模型的性质,给出了事故树的逻辑表达式与事故树Petri网模型的可达死标识之间的关系,进而提出了利用Petri网可达图求解事故树最小割集的算法,以及在给定基本事件发生时,中间事件和顶事件发生与否的判断方法。结合实例,借助开源的Petri网工具PIPE实现了事故树最小割集的求解,表明了该算法的有效性和可行性。
-
关键词
事故树
最小割集
PETRI网
可达图
死标识
-
Keywords
fault tree
minimal cut sets
Petri net
reachable marking graph
dead marking
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名应用三个移动锚节点的非测距定位方法
被引量：3
- 2
-
-
作者
崔焕庆
王英龙
周传爱
-
机构
山东科技大学信息科学与工程学院
山东省计算中心
山东省计算机网络重点实验室
青岛滨海学院综合学院
-
出处
《山东科技大学学报（自然科学版）》
CAS
2011年第1期53-57,67,共6页
-
基金
国家自然科学基金项目(60802030
60773034)
+6 种基金
山东省科技攻关计划项目(2007GG2QT01007)
山东省自然科学基金项目(ZR2009GQ002
ZR2010FQ014)
山东省中青年科学家科研奖励基金项目(BS2009DX011)
青岛市科技发展计划项目(KZJ-47
09-1-3-50-ch)
山东科技大学科学研究"春蕾计划"项目(2009AZZ168)
-
文摘
针对使用单个移动锚节点的非测距定位方法精度较低的问题,提出一种使用三个移动锚节点的非测距定位方法:三个锚节点在移动过程中相对位置不变,并周期性广播数据包,而未知节点利用接收到的具有相同时间戳的两个或者三个锚节点信息进行质心定位。采用Scan作为信标的移动路径,并使用OMNET++进行了仿真实验,结果表明,该方法比使用单个移动锚节点提高了定位精度,且不受节点部署密度的影响。
-
关键词
移动锚节点
非测距
无线传感器网络
质心
定位
-
Keywords
mobile anchor node
non-ranging
wireless sensor network
centroid
localization
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名大学生创业教育探析
- 3
-
-
作者
王安忠
杨素花
-
机构
青岛滨海学院学生处
青岛滨海学院团委
青岛滨海学院综合学院经管部
-
出处
《当代教育论坛（管理版）》
2010年第9期66-68,共3页
-
文摘
文章阐述了大学生创业教育的内涵和实施大学生创业教育的必要性,探讨并提出了实施大学生创业教育的途径,对培养大学生的创业意识、指导大学生开展创业实践、引导大学生就业、拓宽毕业生就业渠道具有一定的指导作用。
-
关键词
创业教育
就业观念
教育理念
-
分类号
G647.38
[文化科学—高等教育学]
-
