华侨大学学报（自然科学版）
華僑大學學報（自然科學版）
화교대학학보（자연과학판）
JOURNAL OF HUAQIAO UNIVERSITY(NATURAL SCIENCE)
2015年
2期
175-178
,共4页
竞态%梯形图%关系图%可编程逻辑控制器
競態%梯形圖%關繫圖%可編程邏輯控製器
경태%제형도%관계도%가편정라집공제기
race%ladder diagram%relation graph%programmable logic controller
针对可编程逻辑控制器中竞态检测的高计算复杂性,提出一种基于梯形图程序的特征结构用于检测竞态的方法.提出关系图的概念,并给出梯形图到关系图的转化方法.通过关系图的环形结构与可编程逻辑控制器的竞态之间的必然关系,给出梯形图中无竞态的判据.结果表明:该方法可以快速判断梯形图无竞态,并具有多项式级计算复杂度.
針對可編程邏輯控製器中競態檢測的高計算複雜性,提齣一種基于梯形圖程序的特徵結構用于檢測競態的方法.提齣關繫圖的概唸,併給齣梯形圖到關繫圖的轉化方法.通過關繫圖的環形結構與可編程邏輯控製器的競態之間的必然關繫,給齣梯形圖中無競態的判據.結果錶明:該方法可以快速判斷梯形圖無競態,併具有多項式級計算複雜度.
침대가편정라집공제기중경태검측적고계산복잡성,제출일충기우제형도정서적특정결구용우검측경태적방법.제출관계도적개념,병급출제형도도관계도적전화방법.통과관계도적배형결구여가편정라집공제기적경태지간적필연관계,급출제형도중무경태적판거.결과표명:해방법가이쾌속판단제형도무경태,병구유다항식급계산복잡도.
