本發明提供了一種用于對實例模型進行約束故障分析的方法和裝置,所述方法包括步驟:為標準模型的約束定義多個模式,所述多個模式包含導航模式和邏輯模式;判斷由實例模型生成的約束評價樹中是否存在空節點;和如果存在空節點,則基于導航模式對約束評價樹進行故障分析,否則基于邏輯模式對約束評價樹進行故障分析。本發明提供了一種便利的工具,以在模型-約束設計者和模型用戶之間建立良好的銜接,減輕模型/約束的使用負擔,簡化學習曲線,并幫助模型用戶進行模型校正。
聲明:
“基于約束模式進行約束故障分析的方法和裝置” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)