计算机测量与控制
計算機測量與控製
계산궤측량여공제
Computer Measurement & Control
2015年
11期
3579-3581
,共3页
软件服务%语义%可诊断性
軟件服務%語義%可診斷性
연건복무%어의%가진단성
software service%semantics%diagnosability
为解决现有的软件一体化应用软件平台在故障诊断方面不能有效描述软件服务的语义问题,提出一种基于语义的软件服务故障自动诊断模型;该模型采用语义的方法将故障分为故障标记、指令分析和行为依赖分析,构建了立语义特征库;其次利用观察掩码函数的可满足性挖掘隐性故障的可诊断性,为语义库模型中每一个事件状态建立索引表,并为所有状态标识,实现基于启发函数的语义自动诊断机,得到最优诊断路径;最后通过故障模拟对模型进行性能评估;实验表明,该模型不仅有效地降低服务的误报率,而且网络规模对模型的性能影响较小.
為解決現有的軟件一體化應用軟件平檯在故障診斷方麵不能有效描述軟件服務的語義問題,提齣一種基于語義的軟件服務故障自動診斷模型;該模型採用語義的方法將故障分為故障標記、指令分析和行為依賴分析,構建瞭立語義特徵庫;其次利用觀察掩碼函數的可滿足性挖掘隱性故障的可診斷性,為語義庫模型中每一箇事件狀態建立索引錶,併為所有狀態標識,實現基于啟髮函數的語義自動診斷機,得到最優診斷路徑;最後通過故障模擬對模型進行性能評估;實驗錶明,該模型不僅有效地降低服務的誤報率,而且網絡規模對模型的性能影響較小.
위해결현유적연건일체화응용연건평태재고장진단방면불능유효묘술연건복무적어의문제,제출일충기우어의적연건복무고장자동진단모형;해모형채용어의적방법장고장분위고장표기、지령분석화행위의뢰분석,구건료립어의특정고;기차이용관찰엄마함수적가만족성알굴은성고장적가진단성,위어의고모형중매일개사건상태건립색인표,병위소유상태표식,실현기우계발함수적어의자동진단궤,득도최우진단로경;최후통과고장모의대모형진행성능평고;실험표명,해모형불부유효지강저복무적오보솔,이차망락규모대모형적성능영향교소.
