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