Discussion on realizability of constitutional right settled up with lawsuit proceeding for citizen 論公民通過(guò)訴訟程序解決憲法權(quán)利的現(xiàn)實(shí)性
( 2 ) the communication flow and network topology are deeply analyzed . the realizability of number portability and the all - one - number are discussed ( 2 )對(duì)sip的通信流程和通信結(jié)構(gòu)進(jìn)行了深入分析,討論了號(hào)碼移動(dòng)性和一號(hào)通的可實(shí)現(xiàn)性。
Firstly , based on the consideration of economy , technology and environment , a definition of realizability evaluation of enterprise business processes is introduced 摘要首先從經(jīng)濟(jì)性、技術(shù)性及過(guò)程實(shí)施環(huán)境等方面出發(fā),給出了企業(yè)過(guò)程評(píng)價(jià)的定義。
It makes the whole development process more precise , and efficiently enhances the veracity and realizability of the software model . it gets satisfied application result 實(shí)踐證明,文章所述的軟件工程思想和技術(shù)能夠指導(dǎo)軟件開(kāi)發(fā)的全過(guò)程,建立結(jié)構(gòu)精巧、易于實(shí)現(xiàn)的軟件模型。
Considering uncertainty of crude oils supplying , uncertainty of the capability and yield of equipments , uncertainty of the price of crude oils . the result is compared with the result found by pros vi . 5 , verifying the advantage and realizability of fuzzy linear programming . the model can be used to workout a short - term , middle - term , long - term production plan , also it can be modified to optimize stratagem programming with more uncertainties 建立了蘭州煉油廠的生產(chǎn)計(jì)劃模糊模型,該模型綜合考慮了原油供給的不確定性、生產(chǎn)裝置的生產(chǎn)負(fù)荷和收率分布的不確定性、原油價(jià)格的不確定性,并進(jìn)行了求解,求解結(jié)果和申迪公司圖形建模優(yōu)化排產(chǎn)軟件模型結(jié)果作了對(duì)比,證明模糊優(yōu)化方法編制煉油廠生產(chǎn)計(jì)劃的可實(shí)現(xiàn)性和優(yōu)越性。
In the end , the implementation of mrp architecture model and component model is also provided . we apply the proposed component develop process based on mda method in the research of mrp software architecture . it makes the whole development process more precise , and efficiently enhances the veracity and realizability of the mrp software model 文章提出的基于mda的構(gòu)件開(kāi)發(fā)過(guò)程模型被應(yīng)用于mrp軟件構(gòu)架的研究中,有效地提高了應(yīng)用模型設(shè)計(jì)的準(zhǔn)確性與可重構(gòu)性,是對(duì)mda技術(shù)的積極嘗試,實(shí)踐證明取得了良好的應(yīng)用效果。
百科解釋
In mathematical logic, realizability is a collection of methods in proof theory used to study constructive proofs and extract additional information from them.van Oosten 2000 Formulas from a formal theory are "realized" by objects, known as "realizers", in a way that knowledge of the realizer gives knowledge about the truth of the formula.