產(chǎn)品概述
產(chǎn)品數(shù)據(jù)質(zhì)量檢查工具 PERA DT ModelChecker
PERA DT ModelChecker是自主開發(fā)的一款產(chǎn)品數(shù)據(jù)質(zhì)量檢查工具軟件，與主流CAD軟件進行深度集成，用于對產(chǎn)品結(jié)構(gòu)設(shè)計過程中產(chǎn)生的三維數(shù)模數(shù)據(jù)，進行建模質(zhì)量的批量檢查和規(guī)范化管理，形成基于可配置檢查模板的自動審查機制和以工作卡為引導(dǎo)的手動審查機制；同時可以輔助用戶對模型的質(zhì)量信息進行快速地分析、評估及修正。
通過應(yīng)用ModelChecker，在設(shè)計階段并行檢查數(shù)模質(zhì)量，并自動修復(fù)部分數(shù)模缺陷，使得數(shù)模在凍結(jié)提交之前，保證企業(yè)內(nèi)上下游部門&企業(yè)間的設(shè)計流程中的數(shù)模達到相同標準，從而實現(xiàn)對設(shè)計的規(guī)范化管理。
特色功能
模型質(zhì)量檢查標準庫可配置擴展
ModelChecker集成了超過150項且可編輯的檢查標準庫，涵蓋許多通用的CATIA數(shù)模設(shè)計規(guī)范，和航空行業(yè)多項設(shè)計標準和業(yè)務(wù)規(guī)范。支持根據(jù)客戶業(yè)務(wù)需求，進行檢查條目的動態(tài)配置和擴展。
檢查狀態(tài)快速定位
ModelChecker支持在檢查過程中對模型質(zhì)量檢查所關(guān)聯(lián)的幾何進行快速定位，以及檢查狀態(tài)的不同顯示。
模型質(zhì)量修復(fù)
ModelChecker支持在檢查過程中對模型質(zhì)量進行快速修復(fù)操作，包括自動修復(fù)、交互信息輸入修復(fù)、手動修復(fù)三種，以快速識別模型的幾何質(zhì)量缺陷，以及一定程度上修復(fù)模型的幾何質(zhì)量問題。
模型質(zhì)量檢查報告生成
ModelChecker支持在檢查過程中依據(jù)檢查結(jié)果，快速生成檢查報告。
客戶價值
支持客戶的業(yè)務(wù)需求，對其所在行業(yè)的設(shè)計規(guī)范與標準進行業(yè)務(wù)集成和擴展，用于設(shè)計專業(yè)數(shù)模的建模規(guī)范性和質(zhì)量檢查，以及模型常見質(zhì)量問題的幾何缺陷識別和修復(fù)，提高設(shè)計部門工作效率。
項目案例
結(jié)構(gòu)批量檢查工具
PERA DT ModelChecker軟件在某航空所落地使用過程中，能夠?qū)λ鶅?nèi)設(shè)計專業(yè)部門的數(shù)模進行建模規(guī)范性和質(zhì)量檢查，確保問題在設(shè)計階段就可以發(fā)現(xiàn)和解決，在提交凍結(jié)數(shù)模時達到所內(nèi)的設(shè)計規(guī)范和標準，加快了型號研制的周期。檢查效率提升了80%，模型修復(fù)效率提高70%，加快設(shè)計上下游數(shù)據(jù)傳遞和審批效率。
