Their size and specification can also be found from database . so we can create a parametric system of design and drawing , and realize drawing by gaining the main parameter 因此,完全可以將它們設(shè)計(jì)成參數(shù)化設(shè)計(jì)、繪圖系統(tǒng),通過對其主要結(jié)構(gòu)參數(shù)的確定,來進(jìn)行圖形繪制。
For the linear plants , he also proved that a designed well equivalent controller could lead to a tunable closed loop parametric system that can be stabilized 并且證明了對于線性被控對象,一個(gè)適當(dāng)設(shè)計(jì)的確定性等價(jià)控制可導(dǎo)致一個(gè)可調(diào)的閉環(huán)參數(shù)化系統(tǒng),對于可調(diào)的系統(tǒng),閉環(huán)參數(shù)化系統(tǒng)可被穩(wěn)定化
14 gallo g , mishra b . efficient algorithms and bounds for wu - ritt characteristic sets . effective methods in algebraic geometry , progress in mathematics , 1991 , : 119 - 142 . 15 gao x s , chou s c . a zero structure theorem for differential parametric systems 本文簡要介紹了代數(shù)方程組的特征列方法及其在幾何定理機(jī)器證明發(fā)現(xiàn)與含參數(shù)代數(shù)方程求解中的應(yīng)用,進(jìn)一步給出了基于特征列方法代數(shù)閉域上的一階邏輯公式的判定算法。