版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
西安電子科技大學(xué)課程第四章形式化說(shuō)明技術(shù)計(jì)算機(jī)信息應(yīng)用研究中心第四章形式化說(shuō)明技術(shù)按照形式化的程度,可以把軟件工程使用的方法劃分成非形式化、半形式化和形式化3類(lèi)。用自然語(yǔ)言描述需求規(guī)格說(shuō)明,是典型的非形式化方法。用數(shù)據(jù)流圖或?qū)嶓w-聯(lián)系圖建立模型,是典型的半形式化方法。所謂形式化方法,是描述系統(tǒng)性質(zhì)的基于數(shù)學(xué)的技術(shù),也就是說(shuō),如果一種方法有堅(jiān)實(shí)的數(shù)學(xué)基礎(chǔ),那么它就是形式化的。4.1概述4.1.1非形式化方法的缺點(diǎn)
用自然語(yǔ)言書(shū)寫(xiě)的系統(tǒng)規(guī)格說(shuō)明書(shū),可能存在矛盾、二義性、含糊性、不完整性及抽象層次混亂等問(wèn)題。第四章形式化說(shuō)明技術(shù)
所謂矛盾是指一組相互沖突的陳述。二義性是指讀者可以用不同方式理解的陳述。不完整性可能是在系統(tǒng)規(guī)格說(shuō)明中最常遇到的問(wèn)題之一。抽象層次混亂是指在非常抽象的陳述中混進(jìn)了一些關(guān)于細(xì)節(jié)的低層次陳述。該規(guī)格說(shuō)明書(shū)使得讀者很難了解系統(tǒng)的整體功能結(jié)構(gòu)。4.1.2形式化方法的優(yōu)點(diǎn)人在理解用自然語(yǔ)言描述的規(guī)格說(shuō)明時(shí),容易產(chǎn)生二義性。為了克服非形式化方法的缺點(diǎn),人們把數(shù)學(xué)引入軟件開(kāi)發(fā)過(guò)程,創(chuàng)造了基于數(shù)學(xué)的形式化方法。在開(kāi)發(fā)大型軟件系統(tǒng)的過(guò)程中應(yīng)用數(shù)學(xué),能夠帶來(lái)下述的幾個(gè)優(yōu)點(diǎn):第四章形式化說(shuō)明技術(shù)
數(shù)學(xué)最有用的一個(gè)性質(zhì)是,它能夠簡(jiǎn)潔準(zhǔn)確地描述物理現(xiàn)象、對(duì)象或動(dòng)作的結(jié)果,因此是理想的建模工具。數(shù)學(xué)特別適合于表示狀態(tài),也就是表示“做什么”。需求規(guī)格說(shuō)明書(shū)主要描述應(yīng)用系統(tǒng)在運(yùn)行前和運(yùn)行后的狀態(tài),因此,數(shù)學(xué)比自然語(yǔ)言更適合于描述詳細(xì)的需求。在理想的情況下,分析員可以寫(xiě)出系統(tǒng)的數(shù)學(xué)規(guī)格說(shuō)明書(shū),它準(zhǔn)確到幾乎沒(méi)有二義性,而且可以用數(shù)學(xué)方法來(lái)驗(yàn)證,以發(fā)現(xiàn)存在的矛盾和不完整性,在這樣的規(guī)格說(shuō)明中完全沒(méi)有含糊性。但是,實(shí)際情況并不這么簡(jiǎn)單,希望用少數(shù)幾個(gè)數(shù)學(xué)公式來(lái)描述它,是根本不可能的。此外,即使應(yīng)用了形式化方法,完整性也是難于保證的:由于溝通不夠,可能遺漏了客戶的一些需求;規(guī)格說(shuō)明的撰寫(xiě)者可能有意省略了系統(tǒng)的某些特征,以便設(shè)計(jì)者在選擇實(shí)現(xiàn)方法時(shí)有一定自由度;要設(shè)想出使用一個(gè)大型復(fù)雜系統(tǒng)的每一個(gè)可能的情景,通常是做不到的。第四章形式化說(shuō)明技術(shù)
在軟件開(kāi)發(fā)過(guò)程中使用數(shù)學(xué)的另一個(gè)優(yōu)點(diǎn)是,可以在不同的軟件工程活動(dòng)之間平滑地過(guò)渡。不僅功能規(guī)格說(shuō)明,而且系統(tǒng)設(shè)計(jì)也可以用數(shù)學(xué)表達(dá)。數(shù)學(xué)作為軟件開(kāi)發(fā)工具的最后一個(gè)優(yōu)點(diǎn)是,它提供了高層確認(rèn)的手段。可以使用數(shù)學(xué)方法證明,設(shè)計(jì)符合規(guī)格說(shuō)明,程序代碼正確地實(shí)現(xiàn)了設(shè)計(jì)結(jié)果。第四章形式化說(shuō)明技術(shù)形式化規(guī)格說(shuō)明語(yǔ)言構(gòu)成:1、語(yǔ)法:一般基于集合論、數(shù)理邏輯或代數(shù)學(xué)。2、語(yǔ)義:是其所有語(yǔ)法符號(hào)的意義的數(shù)學(xué)描述。經(jīng)典的語(yǔ)義定義方法包括指稱(chēng)語(yǔ)義、代數(shù)語(yǔ)義和操作語(yǔ)義方法。
3、推演規(guī)則:一般預(yù)期數(shù)學(xué)基礎(chǔ)和語(yǔ)義定義方法密切相關(guān)。規(guī)則必須在規(guī)格說(shuō)明語(yǔ)言的語(yǔ)義系統(tǒng)中可證。因此,可以認(rèn)為規(guī)則是派生的語(yǔ)義定義,它們可以直接應(yīng)用于軟件規(guī)格說(shuō)明的性質(zhì)證明并簡(jiǎn)化推演過(guò)程。
第四章形式化說(shuō)明技術(shù)
4.1.3應(yīng)用形式化方法的準(zhǔn)則人們對(duì)形式化方法的看法并不一致。為了更好地發(fā)揮這種方法的長(zhǎng)處,下面給出應(yīng)用形式化方法的幾條準(zhǔn)則,供讀者在實(shí)際工作中使用。
(1)應(yīng)該選用適當(dāng)?shù)谋硎痉椒?。通常,一種規(guī)格說(shuō)明技術(shù)只能用自然的方式說(shuō)明某一類(lèi)概念,如果用這種技術(shù)描述其不適應(yīng)于描述的概念,則不僅工作量大而且描述方式也很復(fù)雜。例如,Z語(yǔ)言并不適于說(shuō)明并發(fā)性。因此,應(yīng)該仔細(xì)選擇一種適用于當(dāng)前項(xiàng)目的形式化說(shuō)明技術(shù)。
(2)應(yīng)該形式化,但不要過(guò)分形式化。目前的形式化技術(shù)還不適于描述系統(tǒng)的每個(gè)方面。例如,示例屏幕和自然語(yǔ)言可能還是目前描述用戶界面的可視性的最佳方法。但是,也不能因此就認(rèn)為完全沒(méi)有必要采用形式化方法。形式化規(guī)格說(shuō)明技術(shù)要求我們非常準(zhǔn)確地描述事物,因此有助于防止含糊和誤解。第四章形式化說(shuō)明技術(shù)
(3)應(yīng)該估算成本。為了使用形式化方法,通常需要事先進(jìn)行大量的培訓(xùn)。最好預(yù)先估算所需的成本并編入預(yù)算。
(4)應(yīng)該有形式化方法顧問(wèn)隨時(shí)提供咨詢。絕大多數(shù)軟件工程師對(duì)形式化方法中使用數(shù)學(xué)和邏輯并不很熟悉,而且沒(méi)受過(guò)使用形式化方法的專(zhuān)業(yè)訓(xùn)練,因此,需要專(zhuān)家指導(dǎo)和培訓(xùn)。
(5)不應(yīng)該放棄傳統(tǒng)的開(kāi)發(fā)方法。把形式化方法和結(jié)構(gòu)化方法或面向?qū)ο蠓椒善饋?lái)是可能的,而且由于取長(zhǎng)補(bǔ)短往往能獲得很好的效果。
(6)應(yīng)該建立詳盡的文檔。建議使用自然語(yǔ)言注釋形式化的規(guī)格說(shuō)明書(shū),以幫助用戶和維護(hù)人員理解系統(tǒng)。第四章形式化說(shuō)明技術(shù)
(7)不應(yīng)該放棄質(zhì)量標(biāo)準(zhǔn)。形式化方法并不能保證軟件的正確性,它們只不過(guò)是有助于開(kāi)發(fā)出高質(zhì)量軟件的一種手段。除了使用形式化說(shuō)明技術(shù)外,在系統(tǒng)開(kāi)發(fā)過(guò)程中仍然必須一如既往地實(shí)施其他質(zhì)量保證活動(dòng)。
(8)不應(yīng)該盲目依賴(lài)形式化方法。形式化方法并不能保證開(kāi)發(fā)出的軟件絕對(duì)正確,例如,無(wú)法用形式化方法證明從非形式化需求到形式化規(guī)格說(shuō)明的轉(zhuǎn)換是正確的,因此,必須用其他方法(例如,評(píng)審、測(cè)試)來(lái)驗(yàn)證軟件正確性。
(9)應(yīng)該測(cè)試、測(cè)試再測(cè)試。形式化方法不僅不能保證軟件系統(tǒng)絕對(duì)正確,也不能證明系統(tǒng)性能和其他質(zhì)量指標(biāo)符合要求,因此,軟件測(cè)試的重要性并沒(méi)有降低。
(10)應(yīng)該重用。即使采用了形式化方法,軟件重用仍然是降低軟件成本和提高軟件質(zhì)量的唯一合理的方法。而且用形式化方法說(shuō)明的軟件構(gòu)件具有清晰定義的功能和接口,使得它們有更好的可重用性。第四晃章至形牲式化同說(shuō)明術(shù)技術(shù)4.憂1堵.枝4滾形式梳化方侄法的搶分類(lèi)1、底根據(jù)棉說(shuō)明劃目標(biāo)伶軟件架系統(tǒng)搜的方殼式,獅形式朝化方菜法可盼以分巡壽為兩級(jí)類(lèi):1)映面向富模型欣的形悔式化揀方法論。面向摸模型灶的方必法通肚過(guò)構(gòu)弓造一連個(gè)數(shù)脆學(xué)?;j型來(lái)取說(shuō)明扣系統(tǒng)麗的行家為。2)但面向樹(shù)屬性恩的形滲式化餡方法辮。面向草屬性崗的方津法通稼過(guò)描掀述目披標(biāo)軟遍件系只統(tǒng)的樂(lè)各種份屬性夢(mèng)來(lái)間五接定造義系常統(tǒng)行究為。第四蠻章質(zhì)形嚼式化浪說(shuō)明印技術(shù)2、根據(jù)帽表達(dá)扇能力吊,形婆式化最方法返可以尤分為根五類(lèi):1)靠基于栽模型錦的方殃法:通過(guò)彼明確上定義滿狀態(tài)茶和操眾作來(lái)嘆建立疲一個(gè)叫系統(tǒng)栗模型尺(使英系統(tǒng)屈從一融個(gè)狀?lèi)u態(tài)轉(zhuǎn)躬換到近另一雨個(gè)狀鵝態(tài))垂。用預(yù)這種惕方法姿雖可叢以表結(jié)示非社功能雷性需虹求(浩諸如蘭時(shí)間段需求食),丑但不瞎能很航好地刻表示伍并發(fā)死性。杯如:堆Z語(yǔ)奮言,龍VD礎(chǔ)M,例B方貿(mào)法等險(xiǎn)。2)斑基于朵邏輯敗的方琴法:用邏艷輯描產(chǎn)述系潮統(tǒng)預(yù)竭期的矩性能幣,包聯(lián)括底疼層規(guī)護(hù)約、直時(shí)序就和可添能性泛行為跡。采孩用與雹所選倘邏輯象相關(guān)難的公脂理系鐵統(tǒng)證燙明系留統(tǒng)具頸有預(yù)登期的活性能侮。用陷具體羨的編誓程構(gòu)砌造擴(kuò)系充邏價(jià)輯從號(hào)而得閥到一線種形綱式化不方法硬,通染過(guò)保諒持正野確性冠的細(xì)慌化步洋驟集天來(lái)開(kāi)僻發(fā)系泳統(tǒng)。歐如:愧IT圈L(罷區(qū)間芳時(shí)序較邏輯倉(cāng)),殿區(qū)段誤演算運(yùn)(D生C)影,模客態(tài)邏頭輯,鋒時(shí)序純邏輯雷,T娃AM檔(時(shí)弄序代瓣理?;停?,R烈TT演L(尖實(shí)時(shí)鎮(zhèn)時(shí)序溪邏輯發(fā))等掌。第四熱章蔥形誰(shuí)式化它說(shuō)明支技術(shù)3)擴(kuò)代數(shù)數(shù)方法笑:通過(guò)雷將未敢定義揚(yáng)狀態(tài)器下不漢同的師操作腐行為枝相聯(lián)阿系,虹給出暖操作哄的顯復(fù)式定醬義。勢(shì)與基資于模抓型的全方法允相同默的是源,沒(méi)賢有給貞出并祖發(fā)的違顯式泥表示妄。如亭:O放BJ渾,L煙ar塞ch遵族代延數(shù)規(guī)敞約語(yǔ)搬言等虹;4)撈過(guò)程郵代數(shù)畝方法步:通過(guò)磁限制棚所有剖容許還的可鋸觀察徹的過(guò)護(hù)程間智通信秀來(lái)表兼示系生統(tǒng)行疲為。忘此類(lèi)避方法河允許閥并發(fā)賊過(guò)程格的顯頸式表歌示。運(yùn)如:端通信們順序禽過(guò)程芳(C余SP兄),振通信撈系統(tǒng)減演算頑(C凍CS競(jìng)),叉通信禁過(guò)程俊代數(shù)最(A逝CP鴉),粒時(shí)序據(jù)排序槽規(guī)約玩語(yǔ)言黨(L許OT鴨OS債),好計(jì)時(shí)祖CS園P(銷(xiāo)TC圣SP店),襯通信丙系統(tǒng)擦計(jì)時(shí)檢可能集性演凡算(倒TP妄CC酒S)助等。5)則基于棟網(wǎng)絡(luò)食的方仆法:由于迅圖形催化表茶示法焰易于長(zhǎng)理解灣,而神且非趨專(zhuān)業(yè)駁人員領(lǐng)能夠模使用臂,因希此是首一種材通用疑的系呼統(tǒng)確陶定表牲示法困。該遼方法拼采用名具有屈形式獵語(yǔ)義充的圖悉形語(yǔ)竿言,影為系燦統(tǒng)開(kāi)忽發(fā)和那再工惑程帶禍來(lái)特離殊的叨好處喂。如論P(yáng)估et額ri滑圖,仁計(jì)時(shí)寒Pe夠tr配i圖風(fēng),狀碌態(tài)圖燥等。第四缺章早形狂式化異說(shuō)明隸技術(shù)4.宴1途.謝5確數(shù)學(xué)鳳預(yù)備糊知識(shí)1、哪集合搞和構(gòu)狠造規(guī)崗約集合渠是對(duì)巨象或虜元素隨的聚宿集。邁集合雀論是額形式噸化方難法的散基礎(chǔ)性,集殺合中齊包含提的元茅素是恒唯一銹的(沾即不捕允許屯重復(fù)閥)。甚具有贏少量村的元拿素的損集合驚用花雪括號(hào)廟({蛾,}虜)括由起來(lái)何,元望素之饞間用價(jià)逗號(hào)科分開(kāi)拜。例弦如:{7亮,1足4,景3,熟12羅}蒜;包秧含4堆個(gè)自義然數(shù)鏡的集旨合{7新,1希4,壩7,裳3,梳12僑}且;踢該數(shù)共的聚狗集不店是集瓶合,副因?yàn)閴炗?殲重復(fù)其。集合死中的圈元素倦出現(xiàn)他的順榜序是撫不重驚要的坑,集期合中塊元素捏的數(shù)燥量稱(chēng)殃為集暴合的買(mǎi)基數(shù)址,操萬(wàn)作符潛#返忠回集祝合的載基數(shù)票,例陶如:#{封7,仁14沉,3金,1之2}伍=短4誘;其鼻結(jié)果瓜指出妙集合賴(lài)中項(xiàng)味的數(shù)敏量。有兩竟種定無(wú)義集薄合的妥方式斷,一姥是通夾過(guò)枚羊舉出饞集合需的元顛素來(lái)肆定義鹽,二配是創(chuàng)網(wǎng)建一過(guò)個(gè)構(gòu)雷造性謝集合護(hù)規(guī)約較,用括布爾幟表達(dá)肢式來(lái)暑刻劃賽集合芬成員柔的一分般形廟式。甲因?yàn)楣约厦镆?guī)約棄可以病為大豈集合墻提供體簡(jiǎn)潔買(mǎi)的定恨義,宰比枚雞舉方案式更論受到晚青睞魚(yú)。第四林章拾形傅式化廁說(shuō)明流技術(shù)例如格,{抬n:償N|脊n<壤3●n}規(guī)約思有三鞠部分挪,基言調(diào)n常:N勤,一猴個(gè)謂稱(chēng)詞n鋪<3懲,以驗(yàn)及一黃個(gè)項(xiàng)吉n。基調(diào)詞刻劃挑在形噴成集婦合時(shí)零考慮票的值柿的范繡圍;謂詞忙(布鼠爾表?yè)徇_(dá)式介)定惰義集格合如僅何被疼構(gòu)造嶼;項(xiàng)則琴指出零集合婆中項(xiàng)蘿的一椅般形膛式。N表歲示自供然數(shù)擇,謂打詞指拿出只諷有小具于3遵的自棵然數(shù)繁被包雜含在騙集合根;項(xiàng)庫(kù)規(guī)定提集合鄭中每匪個(gè)元粱素的卻形式塘為n蠟。{0逐,1映,2拔}班;集卻合形舍式是盒明顯閥的,繩則項(xiàng)規(guī)可以視省略計(jì)。上面瘡的集存合可雪表示保為:熊{備n:扛N|梅n<穴3}第四遞章格形協(xié)式化哈說(shuō)明蜘技術(shù)集合陡元素協(xié)可以湊是對(duì)陵,三忘元組揉,例盞如,魂集合叼定義帶為:{x,y:N|x+y=非10左*殃(x,y*板2)};例如裁,第保二個(gè)廚元素辮比第滔一個(gè)焰元素刃大3厭,并課且第糊一個(gè)真元素嬸大于扔12義0,歉規(guī)約怎為:{n:N|n>肅12從0林*(n,楚n+旅3傷)};當(dāng)然霉,表蘆示某常些計(jì)增算機(jī)亞軟件粘成分濃所需定的構(gòu)堅(jiān)造性姻集合沿規(guī)約笛將比蜘上面飄的例挎子復(fù)吧雜得莖多,除然而鑰,其攝基本輩形式讓和結(jié)沸構(gòu)是稠相同歉的。2、尿集合瘦的運(yùn)諒算符運(yùn)算蔥符∈稈用于眉表示額集合托中的遞成員慎關(guān)系牌。例如譜,如慘果x是集斗合X壟中的室成員疾,表峰達(dá)式x∈齊X慈的值演為真番,否昨則其這值為白假。謂詞幣:1咱2辮∈{椒6孟,1齒,1水2,堅(jiān)22笨}兄值狂為真侍,因乒為1泄2做是集血合中招的成僻員。第四括章蠅形螺式化將說(shuō)明產(chǎn)技術(shù)運(yùn)算吼符∈惰的反回是運(yùn)艇算符如果膝x不委是集薄合X齡的成卻員,釘表達(dá)偶式固x壁X的汁值為雖真,予否則折其值廚為假黃。謂詞擴(kuò):1踩3哄∈{表6逢,1藏,1奸3,紡12蠶2下}璃值移為假瘡。一個(gè)景特殊萬(wàn)的集灣合是爺空集丙φ,元對(duì)應(yīng)網(wǎng)普通謠數(shù)學(xué)忽中的痕0,光空集傻具有姓它是贏所有間集合馳的子峰集的紡性質(zhì)月,兩防個(gè)涉解及空餅集的拳有用邁的等末式是葵,對(duì)暑任何艷集合拐A:晌φ∪桿A=菊A和尖φ∩頃A=魚(yú)φ第四拌章講形耀式化洞說(shuō)明另技術(shù)1.前集合吧的交由集絨合A腥和集戲合B鴨的共胖同元榴素組宰成的洲集合段,叫青做A該與B亡的交挪集。是寫(xiě)作摸A∩腦B。例如劉:(1揮){3時(shí),6覺(jué),9牽,1妹2,要15鼓}∩垂{5砍,1草0,累15想,2彼0,外25出}=脈{1捷5}(2梢){二賺年級(jí)邊男生扭}∩桶{二棋年級(jí)捉三好誓學(xué)生保}=潤(rùn){二坡年級(jí)買(mǎi)的男拌三好摔學(xué)生包}用韋令恩圖稱(chēng)表示逝如下帽:(用陰影洗部分應(yīng)表示劍交集腐)如果侮集合稻A和佳集合繩B(針都不河是空固集)肯沒(méi)有隊(duì)共同烈的元襲素。堡即A辟∩B狀=Ф,我簡(jiǎn)們就云說(shuō)A工與B示是不相結(jié)交集。例如株:{等1,醫(yī)3,喝5,倚7,個(gè)9}泥∩{驢2,壁4,蔽6,訓(xùn)8,音10匠}=Ф第四圍章保形乓式化殖說(shuō)明嘗技術(shù)2.怎集合違的并兩個(gè)害集合憤A、駕B中骨的元借素合成在一末起組氏成的利新集煮合,仿叫做公A與婚B的并集。寫(xiě)列作A茅∪B蘆。這里好要注惹意,胳若A乒、B露有共雖同的牢元素紗,只鈔列舉枝一次臣。例佩如:A=駕{數(shù)茫學(xué)小乓組同蔽學(xué)}東={孕李明他,王謝平,五張紅斷,宋租軍}B=偏{航京模小石組同柔學(xué)}諒={右張紅根,宋枯軍,捕何光娛,方編強(qiáng),揭劉華圣}A∪牢B=觸{數(shù)菊學(xué)小瓶組同粉學(xué)}汗∪{冶航模漫小組蛋同學(xué)脾}={至李明讓?zhuān)趸仄剑瘡埣t難,宋論軍,綢何光咱,方篇強(qiáng),蠻劉華播}用韋勻恩圖牧表示縫如下倘:(悠劃線亞部分兩表示國(guó)并集暫)第四圖章炎形覆式化抹說(shuō)明躺技術(shù)若A抵、B歷是不擦相交奧的集浙,這鋪兩個(gè)草集合炕所有同的元貧素合幼在一已起就去是它湊們的撥并集霧。例如胃:{晝1,餃3,販5,旱7}塘∪{虜2,浮4,攪6}坑={蛾1,密2,伯3,促4,抗5,恩6,御7}從集頓合的永觀點(diǎn)翠來(lái)看誕,加帶法運(yùn)掙算就眾是求絨兩個(gè)稻不相環(huán)交集伴的并回集的民基數(shù)墳。例如釀,4諒+3躬=7肥。兩膀個(gè)不泡相交同集的五基數(shù)評(píng)都叫疤做加林?jǐn)?shù),輝加法搏的運(yùn)認(rèn)算符歷號(hào)叫蜻做加莖號(hào)。雕加得淹的結(jié)掘果,貴即兩蚊個(gè)集惡的并葬集的胃基數(shù)濃,叫訴做和勾。第四張章憐形日式化甲說(shuō)明極技術(shù)序列遺是一囑種數(shù)苗學(xué)結(jié)妄構(gòu),離對(duì)元墊素是游有序哪的這辣一事棉實(shí)建洋模。一個(gè)泳序列膨s是挪對(duì)的懲集合袖,它慰的元李素從京1到衰最高府的數(shù)稿排序站,例檔如:網(wǎng){憲(1吧,J席on念es喝),介(2勝,W妹il共so定n)殘,(敲3,塞Sh灘ap賽ir激o)遠(yuǎn),(亞4,觀Es暖ta芝ve譯z)泊}延形成港對(duì)的偷第一醉個(gè)元捏素的喚項(xiàng)總威稱(chēng)為垮序列萍的定拾義域飯,第康二個(gè)甚元素猴總稱(chēng)足為序架列的勒值域爐。本壁書(shū)中摸序列切用尖暢括號(hào)毫指明撲。例苦如,荒上面消的序宇列寫(xiě)滑作:撓<略Jo支ne呀s,遍Wi蝦ls費(fèi)on由,S儀ha竭pi番ro諸,E籃st煮av看ez膠>眾和重集合乒不同稼,序起列中狠允許嘗元素早的重指復(fù),依且序喉列的主順序浮是重艦要的考。這蕉樣有卵,〈喚Jo告ne廊s,吹Wi牲ls峰on非,S梅ha映pi鴨ro點(diǎn)〉≠價(jià)〈J字on訂es桐,S曠ha春pi份ro踩,W順il芹so返n〉僚和〈來(lái)Jo錫ne蛛s,背W陪il草so姓n,殘Wi答ls睛on飾〉≠憑〈J疫on密es斧,絹Wi傻ls鎖on希〉冊(cè)空序撇列表才示為壁〈〉秀。拆就集抗合而搬言還坑有集耐合的偽差,胡包含公操作枕,子拌集等順等;乖在形勒式化軌規(guī)約陪中同噸樣用公到一奪組序消列運(yùn)沈算符晶。希描望大打家在矩實(shí)際斗工作咳之中節(jié)用到勒時(shí),鎮(zhèn)能夠爺記得也這些醫(yī)數(shù)學(xué)煌的基神本概吃念和枯方法轎。第四注章擾形亞式化野說(shuō)明掉技術(shù)4.小2潛有窮奴狀態(tài)迫機(jī)4.嘩2.僚1東概念利用煩有窮乘狀態(tài)杠機(jī)可麻以準(zhǔn)吊確地皆描述漠一個(gè)磨系統(tǒng)吵,因簽此它利是表壘達(dá)規(guī)蕉格說(shuō)知明的朗一種姜形式化化方毛法。下面妹通過(guò)皺一個(gè)伯簡(jiǎn)單笑的例狀子介最紹有夏窮狀?yuàn)^態(tài)機(jī)椒的基歪本概其念。一個(gè)鼓保險(xiǎn)失箱上蜜裝了陰一個(gè)脖復(fù)合所鎖,掃鎖有斯三個(gè)蟲(chóng)位置征,分譜別標(biāo)鴉記為癢1、晃2、數(shù)3,喉轉(zhuǎn)盤(pán)惰可向窩左(衣L)職或向剃右(飄R)講轉(zhuǎn)動(dòng)紗。這朱樣,惑在任肉意時(shí)四刻轉(zhuǎn)憐盤(pán)都健有6住種可待能的竊運(yùn)動(dòng)聲,即冒1L野、1若R、優(yōu)2L件、2碰R、變3L獵和3感R。井保險(xiǎn)貫箱的鋤組合召密碼脈是1留L、以3R析、2鋼L,賓轉(zhuǎn)盤(pán)險(xiǎn)的任距何其溪他運(yùn)煎動(dòng)都漿將引兇起報(bào)漏警。第四丸章趨形留式化劈燕說(shuō)明適技術(shù)教材嘆P6或8頁(yè)繡圖4抹.1是一喚個(gè)有侍窮狀禮態(tài)機(jī)她的狀昏態(tài)轉(zhuǎn)景換圖改。狀謙態(tài)轉(zhuǎn)休換并貿(mào)不一倡定要傘用圖厲形方高式描雀述,教材設(shè)P6完8表慚4.孝1的表頸格形底式也脖可以悉表達(dá)腰同樣倦的信療息。心除了旋兩個(gè)證終態(tài)棒之外伯,保邊險(xiǎn)箱排的其暫他狀避態(tài)將驚根據(jù)腿轉(zhuǎn)盤(pán)慰的轉(zhuǎn)槽動(dòng)方在式轉(zhuǎn)狡到下導(dǎo)一個(gè)續(xù)狀態(tài)嗚。從上炭面這練個(gè)簡(jiǎn)床單例持子可敲以看恢出,狠一個(gè)洲有窮榆狀態(tài)脾機(jī)包而括下恢述5笛個(gè)部尺分:變對(duì)于民保險(xiǎn)掉箱的引例子防,相賞應(yīng)的災(zāi)有窮秋狀態(tài)對(duì)機(jī)的糞各部弱分如獵下。狀態(tài)能集J巴:{保枕險(xiǎn)箱霧鎖定拴,A禁,B掌,保返險(xiǎn)箱使解鎖品,報(bào)紙警}賺。輸入近集K湖:{1訓(xùn)L,雨1R緊,2蛛L,志2R情,3敬L,奇3R怖}始。轉(zhuǎn)換片函數(shù)裹T:由當(dāng)亞前狀供態(tài)和差當(dāng)前封輸入貝確定濟(jì)下一曉個(gè)狀麗態(tài)(航次態(tài)均),桃如表窄4.夜1所柜示。初始恥態(tài)S謀:保險(xiǎn)那箱鎖訓(xùn)定。終態(tài)金集F職:{保況險(xiǎn)箱銅解鎖姿,報(bào)群警}襖。第四維章地形您式化幸說(shuō)明遙技術(shù)一個(gè)準(zhǔn)有窮庸?fàn)顟B(tài)悶機(jī)可暗以表數(shù)示為夾一個(gè)召5元使組(它J,班K,耗T,牲S,童T)盈,肥其中胸:J勇是一和個(gè)有讀窮的艱非空稼狀態(tài)情集;K探是一完個(gè)有姥窮的導(dǎo)非空臣輸入掏集;T翼是一廣個(gè)從覆(J然-F扛)*唯K到例J的稍轉(zhuǎn)換拍函數(shù)漸;S?J,器是一閃個(gè)初霜始狀輔態(tài);F各J,辭是終佳態(tài)集與。有窮代狀態(tài)探機(jī)的迷概念額在計(jì)俯算機(jī)捏系統(tǒng)著中應(yīng)費(fèi)用得勢(shì)非常描廣泛妨。例備如,碌每個(gè)獸菜單足驅(qū)動(dòng)訴的用迫戶界它面都難是一嚷個(gè)有口窮狀啄態(tài)機(jī)籌的實(shí)寬現(xiàn)。漢一個(gè)列菜單顫的顯庫(kù)示和鞏一個(gè)趣狀態(tài)陷相對(duì)臟應(yīng),耐鍵盤(pán)薯輸入與或用躁鼠標(biāo)忌選擇肯一個(gè)院圖標(biāo)武是使膠系統(tǒng)藥進(jìn)入凳其它派狀態(tài)井的一形個(gè)事貢件。景狀態(tài)迅的每吊個(gè)轉(zhuǎn)晶換都桶具有鄙下面雷的形筋式:當(dāng)前臺(tái)狀態(tài)火[菜絨單]冠+事罰件[拿所選如擇的迷項(xiàng)]盡=>魯下個(gè)初狀態(tài)倚。為了哲對(duì)一凳個(gè)系腹統(tǒng)進(jìn)逐行規(guī)芬格說(shuō)宵明,鋸引入阿謂詞族集P孟,從徐而把疑有窮腎狀態(tài)鎮(zhèn)機(jī)擴(kuò)園展為來(lái)一個(gè)頌6元強(qiáng)組,她其中展每個(gè)殲謂詞魂都是奶系統(tǒng)雞全局叔狀態(tài)牙Y的辯函數(shù)腸。轉(zhuǎn)泊換函醋數(shù)T魂現(xiàn)在茂是一碎個(gè)從諒(J巨-F農(nóng))*吵K*杏P到舌J的肌函數(shù)幟?,F(xiàn)雄在的丟轉(zhuǎn)換荷規(guī)則圾形式庫(kù)如下仿:當(dāng)前坐狀態(tài)按[菜伴單]扎+事阿件[鄭所選旬擇的其項(xiàng)]噸+謂柱詞仍=聯(lián)>下赤個(gè)狀低態(tài)第四敢章鞭形知式化更說(shuō)明尖技術(shù)4.科2.溝2廳例子首先擔(dān)給出缸用自仍然語(yǔ)蔥言描蹈述的破對(duì)電飲梯系投統(tǒng)的盾需求著:在一敏幢m雞層的轎大廈餓中需萍要一虧套控負(fù)制n茫部電盆梯的長(zhǎng)產(chǎn)品深,要釣求這隙n部仗電梯誕按照貴約束奔條件慮C1皆,C黨2和符C3健在樓濫層間慶移動(dòng)寸。C1喂:每更部電涼梯內(nèi)愧有m賣(mài)個(gè)按刊鈕,訊每個(gè)師按鈕錘代表陳一個(gè)見(jiàn)樓層吼。當(dāng)風(fēng)按下宅一個(gè)導(dǎo)按鈕疲時(shí)該句按鈕舌指示違燈亮猶,同涼時(shí)電捆梯駛妖向相覆應(yīng)的害樓層解,到統(tǒng)達(dá)按遷鈕指裁定的線樓層基時(shí)指籃示燈銹熄滅案。C2吊:除拜了大踏廈的懇最低述層和槐最高稻層之辮外,液每層葡樓都賓有兩陪個(gè)按欣鈕分尼別請(qǐng)調(diào)求電恩梯上繼行和在下行褲。這摸兩個(gè)激按鈕扁之一墊被按傭下時(shí)游相應(yīng)旅的指奪示燈選亮,機(jī)當(dāng)電慕梯到候達(dá)此弱樓層捕時(shí)燈乎熄滅棋,電價(jià)梯向志要求欺的方仿向移們動(dòng)。C3閉:當(dāng)矛對(duì)電叛梯沒(méi)賽有請(qǐng)戰(zhàn)求時(shí)呢,它歉關(guān)門(mén)恩并停牛在當(dāng)托前樓暫層?,F(xiàn)在撕使用寧一個(gè)頃擴(kuò)展吊的有飼窮狀攜態(tài)機(jī)稻對(duì)本追產(chǎn)品享進(jìn)行勉規(guī)格聚說(shuō)明唐。這介個(gè)問(wèn)基題中姿有兩瘋個(gè)按季鈕集夢(mèng):電禾梯按擴(kuò)鈕和救樓層兆按鈕罩。第四葛章聲形今式化躲說(shuō)明休技術(shù)電梯莫按鈕薄的狀鬧態(tài)轉(zhuǎn)蔥換圖父如圖界4.某2所供示。蜓令E留B(絮e,扔f)應(yīng)表示炸按下堆電梯頓e內(nèi)鍛的按敢鈕并掏請(qǐng)求鎖到f泳層去艘。E視B(管e,推f)雜有兩雄個(gè)狀趴態(tài),鐮分別淋是按俊鈕發(fā)艷光(瓜打開(kāi)醉)和殃不發(fā)榜光(逮關(guān)閉趁)。堆更精稅確地芬說(shuō),糞狀態(tài)題是:EB利ON故(e慈,f寧):握電梯喘按鈕寶(e果,f轉(zhuǎn))打勉開(kāi)EB炊OF怒F(鐘e,佛f)漁:電坡梯按共鈕(奴e,申f)令關(guān)閉如果頓電梯也按鈕幣(e關(guān),f光)發(fā)凳光且震電梯僅到達(dá)語(yǔ)f層詳,該顛按鈕休將熄種滅。牢相反狡如果嘆按鈕降熄滅牢,則殊按下監(jiān)它時(shí)啞,按夢(mèng)鈕將盲發(fā)光強(qiáng)。上該述描德述中泥包含歇了兩萬(wàn)個(gè)事新件,膊它們描分別泄是:EB穗P(降e,查f)灘:電綢梯按壞鈕(躍e,懸f)鈴被按飄下EA憑F(些e,奶f)爛:電野梯e玻到達(dá)昨f層為了圈定義霜與這青些事宣件和賠狀態(tài)萬(wàn)相聯(lián)針系的幕狀態(tài)廊轉(zhuǎn)換稅規(guī)則額,需束要一哨個(gè)謂初詞V主(e恐,f昆),民它的詞含義壺如下本:V(奶e,驗(yàn)f)壺:電胡梯e雕停在凍f層如果撓電梯此按鈕恨(e鼻,f侵)處梯于關(guān)坡閉狀舒態(tài)〔普當(dāng)前獲狀態(tài)姓〕,客而且擺電梯統(tǒng)按鈕史(e剖,f佩)被錄按下含〔事鍋件〕侄,而雄且電音梯e握不在移f層貼〔謂暖詞〕迅,則妄該電者梯按腿鈕打小開(kāi)發(fā)啄光〔陷下個(gè)展?fàn)顟B(tài)惱〕。升狀態(tài)叛轉(zhuǎn)換界規(guī)則蓮的形但式化襲描述欠如下認(rèn):EB恰OF刮F(怪e,分f)患+E授BP桐(e趨,f既)+洪no鴨t猴V(怪e,障f)舌EB腔ON所(e屈,f養(yǎng))反之圣,如搭果電薦梯到疑達(dá)f手層,楊而且允電梯劫按鈕增是打包開(kāi)的蛇,于宮是它母就會(huì)筒熄滅墨。這持條轉(zhuǎn)夕換規(guī)公則可誰(shuí)以形炒式化跑地表睜示為心:EB沸ON唯(e回,f事)+修EA抱F(蝦e,織f)餡E符BO托FF宮(e梳,f予)第四谷章鞋形的式化毀說(shuō)明蹤蝶技術(shù)圖4消.2袖電蹲梯按盤(pán)鈕的拒狀態(tài)詳轉(zhuǎn)換堅(jiān)圖圖4離.3匙樓層側(cè)按鈕席的狀吸態(tài)轉(zhuǎn)煌換圖第四雙章該形專(zhuān)式化鴉說(shuō)明坑技術(shù)接下蘋(píng)來(lái)考磚慮樓隱層按榆鈕。弦令F艱B(掉d,麻f)辛表示懇f層滅請(qǐng)求蓮電梯弟向d些方向傘運(yùn)動(dòng)算的按旦鈕,距樓層擱按鈕榜FB捎(d旺,f值)的興狀態(tài)榨轉(zhuǎn)換進(jìn)圖如披圖4推.3拿所示剝。樓層似按鈕鴉的狀圾態(tài)如恨下:FB裕ON國(guó)(d塌,f笨):價(jià)樓層傻按鈕凡(d飄,f味)打李開(kāi)FB佛OF貌F(瓶d,滋f)爸:樓慌層按器鈕(恭d,察f)丈關(guān)閉如果刺樓層腳按鈕爽已經(jīng)進(jìn)打開(kāi)運(yùn),而仔且一陳部電廳梯到妙達(dá)f受層,弟則按嘗鈕關(guān)銜閉。毀反之挖,如老果樓請(qǐng)層按斤鈕原腸來(lái)是謀關(guān)閉史的,慕被按棉下后膊該按寫(xiě)鈕將都打開(kāi)我。這縱段敘錦述中寒包含蕉了以芳下兩蠻個(gè)事鼻件。FB親P(題d,蛾f)芝:樓厭層按死鈕(時(shí)d,胖f)絕被按稠下EA盤(pán)F(翠1…廚n,框f)諸:電居梯1等或…扭或n胖到達(dá)懸f層其中冒1…證n表百示或窩為1腐或?yàn)榛?…寨或?yàn)榭緉。第四俱章喝形晉式化雨說(shuō)明既技術(shù)為了磁定義溉與這侄些事控件和貝狀態(tài)吃相聯(lián)糕系的范狀態(tài)斜轉(zhuǎn)換災(zāi)規(guī)則榨,同利樣也絕需要稼一個(gè)恐謂詞表,它牛是S岸(d勁,e蘇,f蔑),衣它的疤定義浮如下媽。S(扛d,鹽e,繁f)笑:電輝梯e惹停在市f層萌并且限移動(dòng)圈方向帆由d古確定弊為向策上(奴d=宴U)澇或向爺下(見(jiàn)d=拳D)肅或待巧定(稀d=獅N)及。這個(gè)搞謂詞頁(yè)實(shí)際染上是娃一個(gè)毅狀態(tài)紀(jì),形長(zhǎng)式化舉方法啟允許朋把事鑰件和田狀態(tài)才作為槽謂詞茂對(duì)待章。使范用謂效詞S緒(d冰,e偵,f楚),逗形式孤化轉(zhuǎn)側(cè)換規(guī)終則為竭:FB餡OF廣F(健d,糖f)踩+F破BP屠(d幟,f暑)+闖no聚t嗓S(凍d,央1…歌n,插f)萌F沿BO表N(歇d,老f)FB機(jī)ON震(d板,f稼)+慎EA六F(寄1…并n,曲f)花+S猜(d冬,1項(xiàng)…n伶,f述)晴FB你OF內(nèi)F(你d,望f)其中翁,d夢(mèng)=U跨or釣D。也就負(fù)是說(shuō)鹽,如殃果在甜f層兇請(qǐng)求扶電梯愈向d浪方向要運(yùn)動(dòng)覽的樓建層按哈鈕處抄于關(guān)島閉狀朋態(tài),謎現(xiàn)在幣該按淘鈕被仰按下恭,并水且當(dāng)招時(shí)沒(méi)牧有正川停在暴f層令準(zhǔn)備步向d權(quán)方向冶移動(dòng)玩的電崖梯,皺則該日樓層夾按鈕雀打開(kāi)膊。反盆之,比如果檔樓層鈔按鈕霜已經(jīng)累打開(kāi)師,且切至少垂有一池部電括梯到覺(jué)達(dá)f臟層,栽該部賺電梯刊將朝朽d方諷向運(yùn)啟動(dòng),粥則按級(jí)鈕將柳關(guān)閉隨。在討濁論電延梯按委鈕狀翼態(tài)轉(zhuǎn)諷換規(guī)雙則時(shí)書(shū)定義少的謂沙詞V獵(e抱,f夜),哄可以悼用謂計(jì)詞S里(d照,e那,f勤)重李新定弟義如苗下:V(糊e,故f)觀=S摧(U澤,e坦,f蝴)o意r續(xù)S(粱D,先e,虹f)路or況S社(N貪,e騎,f之)第四末章打形糠式化蹦說(shuō)明贈(zèng)技術(shù)定義樸電梯捏按鈕拋和樓采層按陣鈕的時(shí)狀態(tài)拒都是此很簡(jiǎn)賤單、畝直觀蕩的事部情。櫻現(xiàn)在房誠(chéng)轉(zhuǎn)向飄討論糞電梯秤的狀學(xué)態(tài)及拐其轉(zhuǎn)饅換規(guī)謎則,害就會(huì)曉出現(xiàn)療一些多復(fù)雜屈的情淡況。侮一個(gè)艇電梯忍狀態(tài)摘實(shí)質(zhì)鐘上包拔含許騎多子禁狀態(tài)隸。下面帳定義持電梯艷的3材個(gè)狀軍態(tài):M(還d,針e,寨f)炮:電燈梯e扁正沿牽d方震向移削動(dòng),覽即將等到達(dá)坊的是匆第f黨層S(疊d,金e,接f)悉:電昨梯e止停在淡f層真,將蘇朝d偏方向迎移動(dòng)翅(尚品未關(guān)曉門(mén))W(揮e,幻玉f)暫:電蒼梯e壺在f攝層等洽待(膚已關(guān)沈門(mén))其中士S(氏d,姜e,墾f)求狀態(tài)求已在值討論感樓層輸按鈕射時(shí)定文義過(guò)巡壽,但較是,變現(xiàn)在鬼的定遲義更展完備壓一些旅。圖4以.4尾是電憤梯的杜狀態(tài)滔轉(zhuǎn)換些圖。結(jié)3個(gè)飯電梯假停止落狀態(tài)縫S(蟲(chóng)U,取e,紐奉f)休、S怠(N崖,e想,f焦)和把S(飛D,墓e,后f)津已被坦組合重成一趁個(gè)大睜的狀摘態(tài),晚這樣疑做的均目的號(hào)是減升少狀蒸態(tài)總?cè)A數(shù)以是簡(jiǎn)化魄流圖蒜。圖4澡.4宅中包窄含了不下述肌3個(gè)也可觸繭發(fā)狀尿態(tài)發(fā)匪生改蜜變的噴事件啦。DC六(e由,f半):硬電梯懂e在慕樓層替f關(guān)怒上門(mén)ST信(e險(xiǎn),f址):克電梯愿e靠助近f熟層時(shí)翁觸發(fā)攏傳感出器,未電梯慕控制攔器決壞定在煉當(dāng)前武樓層摧電梯丈是否擊停下RL邁:電澤梯按枯鈕或甲樓層翻按鈕俯被按勒下進(jìn)敵入打跨開(kāi)狀枯態(tài),偵登錄沖需求第四疤章溉形般式化騾說(shuō)明拐技術(shù)圖4束.4腫電您梯的凈狀態(tài)男轉(zhuǎn)換營(yíng)圖第四催章胞形舍式化嶼說(shuō)明每技術(shù)最后苗,給密出電師梯的液狀態(tài)期轉(zhuǎn)換顏規(guī)則即。為捆簡(jiǎn)單邊起見(jiàn)左,這呢里給妻出的路規(guī)則棗僅發(fā)吹生在燥關(guān)門(mén)召之時(shí)巴。S(岸U,津e,柱f)論+D周C(邁e,趁f)填M不(U惹,e鄙,f燦+1眼)S(刷D,蒜e,晶f)洲+D觸C(與e,棚f)餓M盾(D莊,e尼,f沸-1篩)S(輝N,蝕e,奴f)守+D補(bǔ)C(竭e,方f)印W對(duì)(e漁,f牽)第一眾條規(guī)華則表巷明,輝如果聲電梯肯e停順在f眼層準(zhǔn)現(xiàn)備向臭上移謙動(dòng),文且門(mén)翅已經(jīng)風(fēng)關(guān)閉盲,則策電梯撇將向茶上一結(jié)樓層莊移動(dòng)漫。第匹二條箱和第墻三條半規(guī)則文,分們別對(duì)乒應(yīng)于害電梯率即將快下降巨或者執(zhí)沒(méi)有梁待處詞理的際請(qǐng)求寫(xiě)的情辭況。第四邀章養(yǎng)形附式化勒說(shuō)明伍技術(shù)4.役2勞.3鞭評(píng)價(jià)有窮鍋狀態(tài)伍機(jī)方蕩法采窯用了帆一種意簡(jiǎn)單懶的格夠式來(lái)陽(yáng)描述酸規(guī)格氏說(shuō)明先:當(dāng)前濃狀態(tài)戲+事帆件+稅謂詞昨下遍個(gè)狀吵態(tài)這種聯(lián)形式顆的規(guī)展格說(shuō)肚明易猶于書(shū)掛寫(xiě)、嬸易于搜驗(yàn)證用,而杯且可儉以比頑較容撐易地燭把它矩轉(zhuǎn)變?cè)醭稍O(shè)軍計(jì)或路程序貿(mào)代碼蓋。事?tīng)顚?shí)上凳,可汽以開(kāi)鈴發(fā)一普個(gè)C劉AS虎E工協(xié)具把架一個(gè)胳有窮帥狀態(tài)逃機(jī)規(guī)常格說(shuō)轎明直例接轉(zhuǎn)愈變?yōu)楹碓创即a。鏡維護(hù)鬧可以笛通過(guò)舌重新礦轉(zhuǎn)變靜來(lái)實(shí)贈(zèng)現(xiàn),哈也就信是說(shuō)祖,如肯果需徑要一山個(gè)新隆的狀準(zhǔn)態(tài)或令事件蘋(píng),首道先修座改規(guī)未格說(shuō)項(xiàng)明,用然后生直接臟由新抓的規(guī)面格說(shuō)估明生翻成新楚版本旺的產(chǎn)庫(kù)品。有窮分狀態(tài)殃機(jī)方止法比勵(lì)數(shù)據(jù)數(shù)流圖毛技術(shù)甜更精勤確,制而且巴和它爛一樣沫易于渠理解纏。不憤過(guò),悉它也存有缺天點(diǎn):須在開(kāi)惱發(fā)一落個(gè)大詠系統(tǒng)簽時(shí)三清元組儲(chǔ)(即架狀態(tài)鉛、事蟻件、董謂詞銅)的少數(shù)量姓會(huì)迅味速增疼長(zhǎng)。幫此外姨,和堪數(shù)據(jù)盛流圖憂方法探一樣億,形雅式化販的有顯窮狀億態(tài)機(jī)途方法蓋也沒(méi)勢(shì)有處躬理定倡時(shí)需沿求。水下節(jié)鏈將介故紹的煉Pe掠tr莫i網(wǎng)完技術(shù)襯,是賣(mài)一種參可處辰理定申時(shí)問(wèn)浩題的支形式汁化方丹法。第四埋章辦形銹式化弊說(shuō)明予技術(shù)4.駛3后P伴et泄ri她網(wǎng)4.付3嶺.擋1概垂念并發(fā)駁系統(tǒng)涂中遇鈴到的陣一個(gè)胡主要?dú)w問(wèn)題治是定前時(shí)問(wèn)佳題.奮這個(gè)禾問(wèn)題逝可以但表現(xiàn)扮為多相種形首式,借如同著步問(wèn)傳題﹑贏競(jìng)爭(zhēng)喊條件聯(lián)以及咳死鎖海問(wèn)題抵.定詢時(shí)問(wèn)喉題通魚(yú)常是欣由不市好的度設(shè)計(jì)乓或者燒有錯(cuò)易誤的邊實(shí)現(xiàn)亡引起解的,釣而這槳些的汽設(shè)計(jì)牙和實(shí)慨現(xiàn)通對(duì)常又耽是由樹(shù)不好闊的規(guī)膜格說(shuō)拌明造勤成的稻.如晨果規(guī)騎格說(shuō)天明不拒當(dāng),已則有洞導(dǎo)致雜不完瞞善的鄙設(shè)計(jì)內(nèi)或?qū)嶏埇F(xiàn)的元危險(xiǎn)回.用龜于確然定系膀統(tǒng)中鍛隱含滔的定漢時(shí)問(wèn)指題的餓一種帳有效討技術(shù)霧是P墨et蹤蝶ri賓網(wǎng),譽(yù)這種盡技術(shù)種的一拜個(gè)很思大的灑優(yōu)點(diǎn)房誠(chéng)是它底也可謊以用灰于設(shè)封計(jì)中賣(mài).Pe啞tr敲i網(wǎng)多是由覆Ca壘rl妖A棟da崗m趣Pe萌tr矮i發(fā)竿明的漲.最研初只兄有自坦動(dòng)化遵專(zhuān)家能對(duì)P尖et武ri仆網(wǎng)感啦興趣磁,后加來(lái)P訪et舅ri森網(wǎng)在糾計(jì)算僅機(jī)科爽學(xué)中燒也得感到廣罵泛的違應(yīng)用資,例仿如,倒在性令能評(píng)糕價(jià)﹑丙操作守系統(tǒng)球和軟犬件工執(zhí)程等該領(lǐng)域朝,P偉et盞ri紹網(wǎng)應(yīng)茄用得炭都比毅較廣證泛.壤特別鑄是已堪經(jīng)證亡明,幻玉用P跑et剝r(jià)i帝網(wǎng)可臥以有撫效地串描述幣并發(fā)刃活動(dòng)弓.第四蝴章廚形竭式化守說(shuō)明福技術(shù)Pe聾tr殊i網(wǎng)姥包含江4種竿元素歸:一獸組位嘉置P渴﹑一峽組轉(zhuǎn)居換T降﹑輸蔬入函叢數(shù)I模和輸丘出函優(yōu)數(shù)O游。教材威P7瀉2圖距4.晝5舉例照說(shuō)明居了P脈et戀ri切網(wǎng)的便組成獸.其茅中,一組道位置杠P,盼在圖儀中用敞圓圈支代表濁位置文.一組躲轉(zhuǎn)換付T,逃在圖菌中用寒短直攔線表娃示轉(zhuǎn)有換.兩個(gè)域用于癥轉(zhuǎn)換拿的輸偶入函涂數(shù),明用由腰位置欠指向課轉(zhuǎn)換灘的箭精頭表不示,詠它們腫是:I(t1)={P2,P4}I(t2)={P2}兩個(gè)韻用于蹦轉(zhuǎn)換雙的輸沫出函循數(shù),林用有戴轉(zhuǎn)換月指向提位置新的箭理頭表耐示,廚它們芹是:O(漫t1)=番{P1}O(卵t2)=牢{P3,P3}注意拘輸出榴函數(shù)振O(球t2)中貌有兩追個(gè)姻P3,是圣因?yàn)樘褂袃山袀€(gè)箭類(lèi)頭有期t2指向臘P3。第四暮章渡形嚼式化紙說(shuō)明洲技術(shù)更形區(qū)式化每的P讓et濁ri聾網(wǎng)結(jié)仰構(gòu),槳是一慌個(gè)四搶元組舌C=涌(P域,T得,I途,O歷)。嫌其中然,P=骨{P1,.槳..陡,Pn}是受一個(gè)冬有窮施位置柴集,寬n>熔=0鞭。T=冷{t1,.炮..漢,tm}是談一個(gè)票有窮抖轉(zhuǎn)換油集,弦m>防=0沈,且廢T和縣P不矛相交陣。I:斧T→經(jīng)P∞為輸桑入函捧數(shù),詢是由掛轉(zhuǎn)換飽到位春置無(wú)帽序單頸位組唱(b梅ag驢s)多的映哲射。O:鞭T→待P∞為輸鑄出函辣數(shù),拾是由飲轉(zhuǎn)換炮到位罰置無(wú)房誠(chéng)序單進(jìn)位組最的映危射。一個(gè)追無(wú)序稍單位真組或霧多重灣組是玻允許懸一個(gè)璃元素扭有多壯個(gè)實(shí)禁例的女廣義棵集。Pe鳴tr膽i網(wǎng)燈的標(biāo)蠢記是叼在P嶺et細(xì)ri逐網(wǎng)中初權(quán)標(biāo)圖(t屬ok默en正)的幣分配蟲(chóng)。例陽(yáng)如,生在教材災(zāi)P7盛3圖銀4.黃6中有躁4個(gè)杰權(quán)標(biāo)鳥(niǎo),其測(cè)中一肅個(gè)在箱P1中,傘兩個(gè)響在P2中,規(guī)P3中沒(méi)霸有,攏還有茶一個(gè)盾在P4中。膠上述誕標(biāo)記匪可以休用向松量(懶1,擴(kuò)2,軍0,吼1)率表示菠。由允于P2和P4中有銀權(quán)標(biāo)訊,因撈此t1啟動(dòng)臺(tái)(即汽被激崖發(fā))節(jié)。通兼常,弊當(dāng)每翁個(gè)輸層入位塵置所襲擁有喊的權(quán)卻標(biāo)數(shù)畢大于些等于牙從該椒位置棟到轉(zhuǎn)霧換的井線數(shù)艘時(shí),在就允社許轉(zhuǎn)覆換。傭當(dāng)t1被激快發(fā)時(shí)描,P2和P4上各籮有一呢個(gè)權(quán)就標(biāo)被查移出置,P1上增踩加一忌個(gè)權(quán)倡標(biāo)。盡Pe仰tr桃i網(wǎng)皺中權(quán)部標(biāo)總暴數(shù)不挖是固敵定的接,在雪這個(gè)騾例子洲中兩揉個(gè)權(quán)棉標(biāo)被怎移出劫,而番P1上只瓦能增啄加一仔個(gè)權(quán)微標(biāo)。第四網(wǎng)章異形魄式化策說(shuō)明績(jī)技術(shù)圖4樹(shù).6偉帶間標(biāo)記抄的P喚et裙ri忘網(wǎng)冤圖4壘.7繭圖齊4.擋6的霸Pe起tr拉i網(wǎng)罩在轉(zhuǎn)急換t1從被激勒發(fā)后汪的情追況圖4誰(shuí).8族圖斯4.常7的噴Pe所tr叫i網(wǎng)袍在轉(zhuǎn)寺?lián)Qt2況被激罩發(fā)后彼的情筒況可圖4擴(kuò).9境含忌禁止粗線的挺Pe瘋tr員i網(wǎng)第四敘章鋤形棚式化粘說(shuō)明脂技術(shù)教材首P7撐3頁(yè)丑圖4農(nóng).6中P2上有門(mén)權(quán)標(biāo)尊,因發(fā)此t2也可免以被道激發(fā)跨。當(dāng)東t2被激父發(fā)時(shí)鳴,P2上將聯(lián)移走央一個(gè)懷權(quán)標(biāo)尖,而阻P3上新?tīng)t增加兵兩個(gè)你權(quán)標(biāo)擊。P禿et英ri悄網(wǎng)具沸有非映確定鴨性,虹也就暮是說(shuō)較,如拆果數(shù)襲個(gè)轉(zhuǎn)停換都秤達(dá)到蔥了激竹發(fā)條射件,涉則其掙中任忘意一圣個(gè)都軟可以拖被激匙發(fā)。教材四P7輸3頁(yè)果圖4塵.6所示拖Pe帽tr士i網(wǎng)河的標(biāo)漲記為米(1楊,2截,0甚,1叨),昆t1和t2都可癥以被棉激發(fā)霸。假柏設(shè)t1被激屯發(fā)了劇,則覽結(jié)果意如圖柜4.塔7所柿示,攤標(biāo)記暢為(僑2,剃1,婦0,劇0)溪。此倦時(shí),贊只有單t2可以械被激繼發(fā)。狂如果膏t2也被番激發(fā)壤了,育則權(quán)艙標(biāo)從秋P2中移伸出,播兩個(gè)咱新權(quán)晌標(biāo)被陜放在按P3上,錘結(jié)果投如圖下4.槽8所境示,科標(biāo)記罰為(葉2,盤(pán)0,芬2,翼0)收。第四瞞章遺形啟式化疑說(shuō)明開(kāi)技術(shù)更形柏式化率的說(shuō)飯,P谷et衫ri申網(wǎng)C釋=(割P,智T,釘I,戲O)腳中的蝕標(biāo)記狗M,羞是有填一組錯(cuò)位置屬P到亭一組宋非負(fù)危數(shù)的宋映射盯:M:殺→俗P{洞0,理1,深2,開(kāi)..起.}這樣嗓,帶擠有標(biāo)介記的緊Pe葬t(yī)r章i網(wǎng)冠成為蕉一個(gè)與五元響組(般P,屠T,趙I,帆O,填M)臣。對(duì)P寺et舌ri憐網(wǎng)的廉一個(gè)患重要佛擴(kuò)充木是加竿入禁寒止線焰。如殃圖4錫.9凱所示鋪,禁色止線奸是用熔一個(gè)唉小圓川圈而時(shí)不是埋用箭控頭標(biāo)胳記的把輸入功線。翠通常膜,當(dāng)倆每個(gè)俱輸入降線上瀉至少渴有一蘇個(gè)標(biāo)速權(quán),末而禁孩止線湖上沒(méi)擾有標(biāo)燦權(quán),盆因此盼轉(zhuǎn)換虹t1可以各被激譜發(fā)。第四間章探形盜式化合說(shuō)明春技術(shù)動(dòng)態(tài)態(tài)轉(zhuǎn)移喘特征網(wǎng)論倦的觀叢點(diǎn)認(rèn)堤為,另解決井沖突面的辦顧法可辭以是翠,通噸過(guò)環(huán)擊境對(duì)駝系統(tǒng)駁進(jìn)行吧控制汪。這株里有蟲(chóng)兩種流可能騙:若傭t1鞋發(fā)生營(yíng),p梅1失醉去標(biāo)蓄記,園p2縫獲得面標(biāo)記矩,這滅時(shí)只故有t粥2可斬以發(fā)命生,灰之后蓋標(biāo)記銳回到暑p1魔。這烤時(shí)若士再讓渡t1鄭發(fā)生柔,則役會(huì)重享復(fù)上米述過(guò)億程。培若讓掏t3抖發(fā)生似,p波1失濱去標(biāo)稼記,籮p3凈和p答4同報(bào)時(shí)各聯(lián)得一嬌個(gè)標(biāo)西記。廟這時(shí)雹t4輩和t搶5都叨可以鼻發(fā)生臺(tái),且扁互不攪影響非,網(wǎng)浸論中級(jí)稱(chēng)這作種現(xiàn)發(fā)象為啟“并邪發(fā)”職(c皆on允cu濾rr惹en賭t)攝,t懷4和毒t5指發(fā)生詢以后戒,t廁6可警以發(fā)捏生,殼使標(biāo)令記又輸回到趙p1潔,p替6起氏著使綱t4禿和t腿5兩尖個(gè)異璃步活鑒動(dòng)同胞步的進(jìn)作用旅。圖中活的P淘et臥ri遣網(wǎng),術(shù)只有課p1摟中有起一個(gè)涌標(biāo)記宰,從告這個(gè)側(cè)給定暗的初誦始標(biāo)宿識(shí)看蠶,t啄1和份t3仆都能電發(fā)生誕,但岔不能議同時(shí)族發(fā)生創(chuàng),因落為它坑們共招享p送1中即的一濁個(gè)資住源,衛(wèi)這種塑現(xiàn)象捷叫做脹“沖喘突”誘(c表on接fl強(qiáng)ic進(jìn)t)標(biāo)。第四放章仿形句式化責(zé)說(shuō)明鉛技術(shù)如果搜讓p痕1和豆p3解各有格一個(gè)革標(biāo)記候,并統(tǒng)規(guī)定拘位置儲(chǔ)容量對(duì)均不滑能超丹過(guò)1袋,這軟時(shí)t炮3不區(qū)能發(fā)臨生,武因?yàn)榛蛅3飼的發(fā)毛生會(huì)訊使p賄3的曲容量饑超過(guò)膛1,插稱(chēng)這竟種現(xiàn)風(fēng)象為偵“碰徐撞”跟(c迅on垃ta荷ct僑)。有時(shí)喉,一沒(méi)個(gè)P宅et抱ri估網(wǎng)中倒同時(shí)配存在醉著并漁發(fā)和吧沖突犯,而翅且并繪發(fā)的診實(shí)施瞞會(huì)引元起沖祖突的類(lèi)消失服(減枕少)幕或出敬現(xiàn)(癢增加靈),允我們?cè)诜Q(chēng)這妙種情蜘況為蹈“混孔惑”禾(c胳on吹fu懸si專(zhuān)on藏)。在圖橫示Pe灘tr哲i網(wǎng)蠟中,尖t1隔和t偏3是筆兩個(gè)勢(shì)并發(fā)紡事件東,如盛果t籌1實(shí)摸際上益在t紋3之擔(dān)前發(fā)嶺生,還則t涉2不監(jiān)會(huì)發(fā)采生沖攜突;蠅反之繳,則轎發(fā)生致沖突涂。所拒以存妖在著霜“混駐惑”飲的系津統(tǒng)是府不好映的系吼統(tǒng),芬因?yàn)楹鲈谶@防種系燒統(tǒng)中棗,沖江突忽犯隱忽樸現(xiàn),脂使得燈外部度環(huán)境脹對(duì)系離統(tǒng)難謝以控翼制。第四填章格形成式化各說(shuō)明跑技術(shù)4.匹3.穗2驢例子現(xiàn)在葵把P寧et氧ri赴網(wǎng)應(yīng)們用于瞇上一字節(jié)討么論過(guò)耍的電扣梯問(wèn)撤題。微當(dāng)用文Pe弊tr估i網(wǎng)績(jī)表示張電梯憲系統(tǒng)經(jīng)的規(guī)給格說(shuō)遷明時(shí)渠,每富個(gè)樓緣瑞層用味一個(gè)評(píng)位置摘Ff音代表參(1秤≤f銀≤m漢),居在P者et離ri抓網(wǎng)中詳電梯說(shuō)是用扭一個(gè)按權(quán)標(biāo)股代表千的。唇在位齡置F隨f上生有權(quán)丹標(biāo),容表示碗在樓勤層f溫上有馳電梯含。1.舉電已梯按義鈕電梯銜問(wèn)題襯的第敘一個(gè)閉約束遞條件鍛描述雹了電魯梯按火鈕的檢行為躬,現(xiàn)怒在復(fù)陳述一蘇下這偶個(gè)約家束條籍件。第一舍條約系束C藥1:躲每部蛙電梯囑有m姐個(gè)按域鈕,遞每層女對(duì)應(yīng)折一個(gè)惕按鈕玩。當(dāng)謀按下歉一個(gè)庫(kù)按鈕劫時(shí)該脊按鈕企指示嘆燈亮攻,指嫌示電胸梯移賊往相棚應(yīng)的罵樓層告。當(dāng)睛電梯獎(jiǎng)到達(dá)昨指定嗚的樓挖層時(shí)餅,按帶鈕將忘熄滅良。第四憲章天形紙式化澆說(shuō)明你技術(shù)為了迫用P禿et愧ri舊網(wǎng)表茄達(dá)電探梯按輛鈕的鐮規(guī)格鏡說(shuō)明叼,在凍Pe向tr測(cè)i網(wǎng)擺中還畜必須食設(shè)置脾其他饞的位件置。請(qǐng)電梯籍中樓蘆層f每的按糕鈕,服在P義et去ri銹網(wǎng)中指用位嫁置E怎Bf是表示陳(1答≤f遮≤m畝)。居在E碰Bf且上有也一個(gè)訊權(quán)標(biāo)涂,就艦表示到電梯騰內(nèi)樓睬層f芹的按列鈕被坦按下堂了。電梯槐按鈕扁只有仔在第博一次色被按澆下時(shí)基才會(huì)炕由暗鋤變亮即,以鑄后再婆按它而則只尼會(huì)被達(dá)忽略仙。圖帝4.惹10臂所示液的P雨et連ri倉(cāng)網(wǎng)準(zhǔn)舌確地虧描述追了電療梯按符鈕的舉行為擴(kuò)規(guī)律索。首灣先,棍假設(shè)蛇按鈕淋沒(méi)有吳發(fā)亮興,顯敞然在與位置芳EB晚f上稍沒(méi)有靈權(quán)標(biāo)但,從增而在事存在蜂禁止育線的葉情況蒙下,處轉(zhuǎn)換淺“E稼Bf送被按絹下”般是允保許發(fā)熄生的提。假弱設(shè)現(xiàn)釘在按薄下按想鈕,授則轉(zhuǎn)嶄換被懂激發(fā)篇并在承EB知f上醬放置溜了一脖個(gè)權(quán)擱標(biāo),綿如圖什4.剃10漏所示硬。以約后不宵論再躬按下蜂多少癥次按驗(yàn)鈕,廳禁止羊線與愚現(xiàn)有伯權(quán)標(biāo)互的組動(dòng)合都淹決定嗚了轉(zhuǎn)五換“直EB蹄f被廊按下撞”不秧能再誘被激辨發(fā)了質(zhì),因柄此,日位置污EB囑f上委的權(quán)腦標(biāo)數(shù)奸不會(huì)鈔多于嶼1。第四笑章舌形喪式化諷說(shuō)明商技術(shù)圖4慌.1蛾0倍Pe峰tr計(jì)i網(wǎng)噸表示旗的電孤梯按紡鈕第四謹(jǐn)章悶形議式化木說(shuō)明躬技術(shù)假設(shè)寨電梯錄由g棗層駛活向f役層,祖因?yàn)橄措娞輦湓趃蒼層,付如圖奏4.比10劣所示級(jí),位金置F蓋g上配有一朱個(gè)權(quán)懼標(biāo)。侍由于過(guò)每條殊輸入統(tǒng)線上醉各有平一個(gè)改權(quán)標(biāo)脫,轉(zhuǎn)錦換“斤電梯聞在運(yùn)褲行”特被激壁發(fā),均從而會(huì)EB啊f和閑Fg出上的踢權(quán)標(biāo)混被移間走,滲按鈕弟EB助f被割關(guān)閉柄,在值位置岸Ff只上出按現(xiàn)一谷個(gè)新劈燕權(quán)標(biāo)草,即除轉(zhuǎn)換端的激輪發(fā)使攤電梯肥由g威層駛躺到f傅層。事實(shí)猜上,勢(shì)電梯處由g壇層移糠到f介層是竿需要鐵時(shí)間鴉的,外為處犁理這遵個(gè)情悉況及敬其他運(yùn)類(lèi)似倍的問(wèn)鋤題(銅例如思,由棋于物益理上西的原拿因按虎鈕被雅按下文后不它能馬飲上發(fā)降亮)靠,P都et乖ri千網(wǎng)模挽型中駁必須壩加入慶時(shí)限皺。也宏就是河說(shuō),國(guó)在標(biāo)曲準(zhǔn)P懶et飯ri蕉網(wǎng)中烘轉(zhuǎn)換蔑是瞬挎時(shí)完舒成的察,而開(kāi)在現(xiàn)拜實(shí)情黨況下陶就需茅要時(shí)眠間控梳制P液et話ri熔網(wǎng),漫以使坑轉(zhuǎn)換羊與非食零時(shí)閣間相轉(zhuǎn)聯(lián)系黎。第四怖章體形多式化叫說(shuō)明漏技術(shù)2.添樓退層按牌鈕在第叉二個(gè)姿約束怪條件蠅中描凍述了頸樓層沈按鈕揪的行劑為。第二腿條約菜束C音2:知除了睜第一氏層與嬌頂層碗之外蝦,每劍個(gè)樓巨層都子有兩開(kāi)個(gè)按棟鈕,散一個(gè)居要求舞電梯付上行霧,另扯一個(gè)坐要求鬧電梯凡下行河。這側(cè)些按區(qū)鈕在睡按下京時(shí)發(fā)韻亮,淺當(dāng)電景梯到襲達(dá)該悉層并垃將向夜指定申方向歇移動(dòng)光時(shí),棵相應(yīng)花的按趣鈕才或會(huì)熄穿滅。在P棉et知ri豎網(wǎng)中加樓層攪按鈕筒用位隨置F誓Bfu和F滾Bfd表示首,分榮別代等表f擦樓層捐請(qǐng)求什電梯鵝上行倉(cāng)和下準(zhǔn)行的規(guī)按鈕靜。底坐層的辟按鈕撒為F陜B1u,最公高層周的按斬鈕為索FB槳md,中誼間每仆一層馬有兩音個(gè)按船鈕F勞Bfu和F給Bfd(1古<f山<m委)。第四對(duì)章災(zāi)形壩式化井說(shuō)明委技術(shù)圖4厚.1名1螺Pe冒tr軟i網(wǎng)須表示到樓層瞎按鈕第四石章高形皆式化歌說(shuō)明謊技術(shù)圖4溝.1殊1所緩示的濱情況頃為電象梯由咸g層填駛向比f(wàn)層痕。根也據(jù)電醋梯乘沉客的宴要求打,某凍一個(gè)雷樓層錫按鈕氣亮或救兩個(gè)堅(jiān)樓層鉛按鈕梯都亮桐。如堪果兩脾個(gè)按駁鈕都痕亮了頁(yè),則娃只有轉(zhuǎn)一個(gè)英按鈕鐵熄滅撤。圖仁4.筋11志所示湊的P托et講ri社網(wǎng)可怎以保健證,砌當(dāng)兩悄個(gè)按景鈕都絨亮了您的時(shí)粱候,跡只有討一個(gè)暴按鈕極熄滅約。但桶是要驗(yàn)保證糧按鈕谷熄滅夾正確施,則詳需要欲更復(fù)偷雜的蝦Pe肥tr掠i網(wǎng)壟模型臥。最后估,考秧慮第姑三條奇約束滴。第三潛條約隙束C律3:魚(yú)當(dāng)電浴梯沒(méi)扶有收刺到請(qǐng)偶求時(shí)槽,它費(fèi)將停跑留在齡當(dāng)前畫(huà)樓層棍并關(guān)原門(mén)。這條奪約束曉很容霉易實(shí)梨現(xiàn),泰如圖冷4.餅11負(fù)所示頃,當(dāng)噸沒(méi)有禿請(qǐng)求跟(F玩Bfu和F紀(jì)Bfd上無(wú)旱權(quán)標(biāo)脾)時(shí)球,任輔何一蘋(píng)個(gè)轉(zhuǎn)鄭換“托電梯割在運(yùn)截行”叫都不眉能被功激發(fā)旁。第四罪章插形本式化穗說(shuō)明獻(xiàn)技術(shù)4.詳4特Z抗語(yǔ)射言在形控式化萬(wàn)的規(guī)賤格說(shuō)個(gè)明語(yǔ)勤言中殘,Z喜語(yǔ)言柳贏的文了廣歐泛的倘贊譽(yù)踩。使贏用Z坐語(yǔ)言秩需要宵具備歲集合拉論、棄函數(shù)求、數(shù)裳理邏脖輯等翼方面紐奉的知慚識(shí)。殖即使媽用戶負(fù)已經(jīng)欺掌握墾了所總需要略的背突景知無(wú)識(shí),減Z語(yǔ)峰言也廊是相秩當(dāng)難簡(jiǎn)學(xué)的助,因勤為它窩除了打使用完常用字的集事合論押和數(shù)萌理邏壩輯符鍛號(hào)之鏡外,由還使課用了疤一些魯特殊鎮(zhèn)符號(hào)之。4.績(jī)4.衫1購(gòu)簡(jiǎn)介本節(jié)路結(jié)合茶電梯貴問(wèn)題這的例怨子,劍簡(jiǎn)要護(hù)的介坊紹Z倍語(yǔ)言范。用Z毀語(yǔ)言雕描述跌的、載最簡(jiǎn)柿單的將形式者化規(guī)弟格說(shuō)邪明含肆有下娘述4放個(gè)部窩分:1.給定格的集爹合、船數(shù)據(jù)濃類(lèi)型盯及常得數(shù)。2.狀態(tài)悶定義謝。3.初始司狀態(tài)蛇。4.操作雪。第四偷章庸形罷式化階說(shuō)明豆技術(shù)1.川給定材的集吧合一個(gè)油Z規(guī)點(diǎn)則說(shuō)古明從舒一系辣列給膛定的懲初始慚化集憲合開(kāi)掩始。傻所謂深初始爬化集虹合就續(xù)是不阻需要慮詳細(xì)嘗定義可的集柴合,熟這種戴集合爪用帶舍方括啦號(hào)的之形式奪標(biāo)識(shí)迫。對(duì)掃于電質(zhì)梯問(wèn)克題,源給定收的初夸始化塌集合拿稱(chēng)為散Bu傘tt責(zé)on聾,即興所有嘩按鈕略的集繭合,遷因此申,Z霜規(guī)則酬說(shuō)明剪開(kāi)始闊于:汽[B威ut晶to注n]2.林狀態(tài)滅定義一個(gè)處Z規(guī)沃則說(shuō)不明有歷若干臂個(gè)“求格”耍組成預(yù),每硬個(gè)格究含有沙一組和變量途說(shuō)明耗
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 廉政合同與采購(gòu)合同的互動(dòng)
- 疼愛(ài)一生的承諾老公的道歉與反省
- 煤礦安全技術(shù)標(biāo)準(zhǔn)規(guī)范
- 招標(biāo)供應(yīng)商庫(kù)入圍要求
- 遼寧省物業(yè)服務(wù)合同維權(quán)
- 安全合規(guī)監(jiān)督協(xié)議
- 買(mǎi)賣(mài)房產(chǎn)糾紛案件
- 噴漿分包合作協(xié)議范本
- 購(gòu)銷(xiāo)合同簡(jiǎn)單格式模板
- 土石方工程承包協(xié)議范本
- 五年級(jí)數(shù)學(xué)上冊(cè)期末試卷(北師大版)(共7 份)
- 設(shè)備維修員績(jī)效考核表(定稿)
- 美術(shù)課堂教學(xué)評(píng)價(jià)標(biāo)準(zhǔn)及評(píng)分表
- 養(yǎng)護(hù)手冊(cè)橋梁管理
- 血栓彈力圖課件-PPT
- 校園一日安全巡查記錄表(共1頁(yè))
- 設(shè)備移交清單模板 (2)
- 江蘇省南通市2021屆新高考物理一模試卷含解析
- 高??萍汲晒D(zhuǎn)化問(wèn)題與對(duì)策建議
- (完整版)公司企業(yè)HSE管理體系及制度
- 校長(zhǎng)任職期間經(jīng)濟(jì)責(zé)任履行述職報(bào)告
評(píng)論
0/150
提交評(píng)論