網(wǎng)絡(luò)協(xié)議工程概述

第１章概述內(nèi)容提要課程概述1協(xié)議2協(xié)議工程32課程名稱網(wǎng)絡(luò)協(xié)議工程網(wǎng)絡(luò)：三網(wǎng)（計算機網(wǎng)絡(luò)、電信網(wǎng)絡(luò)、CATV），分布式系統(tǒng)/操作系統(tǒng)協(xié)議：規(guī)定通信雙方交換數(shù)據(jù)的格式以及有關(guān)的同步問題。工程：用工程化的方法來開發(fā)協(xié)議3課程目標為什么要上這門課？研討目標：協(xié)議開發(fā)中常見的設(shè)計技術(shù)、形式化描述技術(shù)和協(xié)議工程學的基本理論立足點：基于最基本的理論，結(jié)合最先進的技術(shù)，理解最本質(zhì)的知識。本課程包括：閱讀資料、面授教學、課堂討論、學生講授、習題討論等環(huán)節(jié)。希望通過本課程的學習，不僅掌握所涉及的協(xié)議開發(fā)知識，而且鍛煉一些研究生必備的科研技能。與協(xié)議有關(guān)的課程比較多，如：分布式系統(tǒng)、計算機網(wǎng)絡(luò)、數(shù)據(jù)通信等。這些課程往往描述的是一些被廣泛接受并被一些國際標準化組織標準化了的協(xié)議。它們并不解釋：協(xié)議為什么正確工作、協(xié)議的設(shè)計過程，協(xié)議是不是有缺陷。而這些正是本課程要解決的問題。4課程目標（續(xù)）內(nèi)容要求：對協(xié)議工程學有一個基本認識重點掌握協(xié)議設(shè)計技術(shù)、形式化描述技術(shù)（FSM，SDL）了解協(xié)議驗證技術(shù)和一致性測試技術(shù)鍛煉的科研技能：獨立解決一個具體科研問題的能力

科研表達與溝通的能力撰寫科技文章的能力面對一個并不熟悉的科研領(lǐng)域，可以做到獨立查閱資料、確定一個具體的研究目標、制定實施計劃、最終完成一個相對獨立的研究。

將已經(jīng)掌握的科研內(nèi)容，用精練的語言表達出來，通過與其他人討論，更深入地掌握此方面知識。在獨立解決了某個科研問題后，將科研成果以學術(shù)論文的形式表達出來。爭取發(fā)表一篇論文。

5授課內(nèi)容概述協(xié)議設(shè)計形式化描述技術(shù)（FSM，PetriNet,SDL,LOTOS,ESTELLE）協(xié)議驗證協(xié)議一致性測試6國內(nèi)相關(guān)課程清華大學：計算機網(wǎng)絡(luò)中的形式化方法和協(xié)議工程學主要內(nèi)容：形式化描述方法、一致性測試技術(shù)北京郵電大學：協(xié)議工程與通信軟件協(xié)議工程的概念協(xié)議模型技術(shù)協(xié)議形式化描述技術(shù)協(xié)議驗證技術(shù)協(xié)議實現(xiàn)和測試技術(shù)MSC和SDL語言簡介通信軟件設(shè)計方法與實踐7國內(nèi)相關(guān)課程（Cont.）中國科技大學軟件學院：《通信系統(tǒng)軟件開發(fā)》東南大學，河海大學研究生課程：《計算機網(wǎng)絡(luò)協(xié)議工程》云南大學，華中科技大學，浙江理工大學等也開設(shè)了類似課程8國外相關(guān)課程一些歐洲國家的大學普遍開設(shè)類似課程UniversityofTwente:ProtocolEngineeringhttp://arch.cs.utwente.nl/courses/peUniversityofColorado:ComputerCommunication

/~cs522LUT:CommunicationsSoftwareandArchitecturehttp://www.it.lut.fi/kurssit/02-03/0106070009先修課程計算機網(wǎng)絡(luò)或數(shù)據(jù)通信操作系統(tǒng)分布式系統(tǒng)10參考書目吳禮發(fā)著，《網(wǎng)絡(luò)協(xié)議工程》,2011.4，電子工業(yè)出版社。GerardJ.Holzmann:

《DesignandValidationofComputerProtocols》,PrenticeHallAt/cm/cs/what/spin/Doc/Book91.html古天龍，蔡國永：

《網(wǎng)絡(luò)協(xié)議的形式化分析與設(shè)計》，電子工業(yè)出版社，2003.6龔正虎，《計算機網(wǎng)絡(luò)協(xié)議工程》，國防科技大學出版社，1993.12R.Lai,A.Jirachiefpattana：

《CommunicationProtocolSpecificationandVerification》,KluwerAcademicPublishers,199811內(nèi)容提要課程概述1協(xié)議2協(xié)議工程312協(xié)議定義為網(wǎng)絡(luò)中互相通信的對等實體間進行數(shù)據(jù)交換而建立的規(guī)則、標準或約定，是計算機網(wǎng)絡(luò)不可缺少的組成部分，保證實體在計算機網(wǎng)絡(luò)中有條不紊地交換數(shù)據(jù)。實體(Entity)是指任何可以發(fā)送或接收信息的硬件或軟件進程，在大多數(shù)情況下，就是一個特定的軟件進程。位于不同系統(tǒng)的同一層次內(nèi)交互的實體，就構(gòu)成了對等實體。轉(zhuǎn)60頁13協(xié)議定義（Cont.）英格蘭國家物理實驗室NPL(NationalPhysicalLaboratory)的R.A.Scantlebury和K.A.Bartlett在一份備忘錄(AprotocolforuseintheNPLdatacommunicationsnetwork)中最早將“協(xié)議(protocol)”一詞用于描述數(shù)據(jù)通信過程?！皡f(xié)議是關(guān)于分布式系統(tǒng)進行信息交換時的一種約定，協(xié)議應(yīng)按照語言的方式進行定義。”其于他們的觀點：網(wǎng)絡(luò)協(xié)議就是具有規(guī)定文法、語法和語義的語言，其中，文法給出了有效信息的精確格式，語法描述了數(shù)據(jù)交換的規(guī)則，語義規(guī)定了可交換信息的詞匯及其含義。14協(xié)議定義（Cont.）協(xié)議三要素(從語言的角度來理解協(xié)議)：語法語義同步

15協(xié)議定義：語法在語言學中，語法是指語言組成成分(詞、句等)之間以什么樣的關(guān)系結(jié)合而構(gòu)成語句或語言，也即是語言的結(jié)構(gòu)方法和構(gòu)成規(guī)則。網(wǎng)絡(luò)協(xié)議中的語法的含義？網(wǎng)絡(luò)協(xié)議中的語法體現(xiàn)為數(shù)據(jù)報文中的控制信息(通常在報文的首部)和各種控制報文的結(jié)構(gòu)、格式，也即是規(guī)定報文的長度，報文中劃分多少個域(Field)，每個域的名稱、意義、數(shù)據(jù)類型、長度等。其中，報文中各個域的類型、長度及相互間的位置、順序關(guān)系則構(gòu)成了詞法。16協(xié)議定義：語義網(wǎng)絡(luò)協(xié)議的語義可以理解為協(xié)議數(shù)據(jù)報文中的控制信息和控制報文所約定的含義，即需要發(fā)出何種控制信息，完成何種動作以及做出何種響應(yīng)。例如：報文首部控制信息中的目的地址信息指明了報文的目的地，接收到此報文的網(wǎng)絡(luò)結(jié)點均將其作為進行路由選擇的依據(jù)，因而規(guī)定在首部控制信息中在給定域給出目標結(jié)點地址就是一種語義。

為了實現(xiàn)有連接的傳輸服務(wù)，設(shè)計了一套實現(xiàn)連接的控制報文。發(fā)起連接方構(gòu)造一個請求連接的協(xié)議控制報文，這個“請求連接”就是該控制報文的語義。收端收到這個控制報文后，根據(jù)已知的格式分析規(guī)定域中報文類型碼就可了解這個“請求連接”的語義，從而作出“允許連接”或“拒絕連接”的響應(yīng)。17協(xié)議定義：語義（Cont.）例如（續(xù)）：“允許連接”報文和“拒絕連接”報文的格式和語義也是協(xié)議中約定好的，通信雙方通過這些約定語義的控制報文按一定時序關(guān)系的交換即可實現(xiàn)建立連接的功能和提供有連接服務(wù)。其它的在協(xié)議中常使用的“數(shù)據(jù)收到確認”報文(ACK報文)、“出錯通知”報文、“緊急通知”報文等等均可看成為具有特定語義的網(wǎng)絡(luò)協(xié)議的語句，即協(xié)議的組成部分。

18協(xié)議定義：同步簡單地說，同步是指事件實現(xiàn)順序的詳細說明。

具體來說，同步是指通信過程中各種控制報文傳送的順序關(guān)系，例如“允許連接”或“拒絕連接”報文必須是作為請求連接報文的一種響應(yīng)來發(fā)送，“拆除連接”報文也必須在建立連接后的某種條件下發(fā)送等等。這種控制報文發(fā)送的時序關(guān)系，也決定了通信雙方所處的通信狀態(tài)(發(fā)送狀態(tài)、接收狀態(tài)、等待狀態(tài)等)的制約關(guān)系，所以常用通信雙方的有限狀態(tài)機的方法來描述網(wǎng)絡(luò)協(xié)議。在有些文獻中，也將這種同步關(guān)系視為協(xié)議語法的一部分。

19協(xié)議定義：進一步延伸進一步延伸為計算機通信協(xié)議。

協(xié)議是計算機網(wǎng)絡(luò)和分布式系統(tǒng)中各種通信實體或進程間相互交換信息時必須遵守的一組規(guī)則或約定。網(wǎng)絡(luò)協(xié)議工程中的許多技術(shù)和方法均可應(yīng)用到分布式系統(tǒng)中的進程間通信協(xié)議的設(shè)計活動當中。

20協(xié)議定義：網(wǎng)絡(luò)體系結(jié)構(gòu)大量的研制經(jīng)驗表明，對于非常復雜的計算機網(wǎng)絡(luò)協(xié)議，其結(jié)構(gòu)應(yīng)采用層次式的。

在計算機網(wǎng)絡(luò)中，將計算機網(wǎng)絡(luò)的各層及其協(xié)議的集合，稱為網(wǎng)絡(luò)的體系結(jié)構(gòu)(architecture)。ISO的OSI/RM（開放系統(tǒng)互連/參考模型）IBM的SNA（系統(tǒng)網(wǎng)絡(luò)體系結(jié)構(gòu)）DEC的DNA（分布式網(wǎng)絡(luò)體系結(jié)構(gòu)）IETF的TCP/IP

21協(xié)議標準化Whatarestandards?Standardsaredocumentedagreementscontainingtechnicalspecificationstobeusedconsistentlyasrules,guidelines,ordefinitionsofcharacteristics,toensurethatmaterials,products,processesandservicesarefitfortheirpurposeInternationalStandardscontributetomakinglifesimpler,andtoincreasingthereliabilityandeffectivenessofthegoodsandservicesweuseIndustry-widestandardizationisaconditionexistingwithinaparticularindustrialsectorwhenthelargemajorityofproductsorservicesconformtothesamestandards22協(xié)議標準化（Cont.）WhyPushForStandardization?Theaimistofacilitatetrade,exchangeandtechnologytransferthroughEnhancedproductqualityandreliabilityatareasonableprice.Greatercompatibilityandinteroperabilityofgoodsandservices.Simplificationforimprovedusability.Increaseddistributionefficiency,andeaseofmaintenance23協(xié)議標準化（Cont.）Whatdoesastandardlooklike?-ISOexplainsthemajorcomponentsoftheirstandardsdocuments:Itcanbeanythingfromafourdocumenttoa1000tome,includingtwicetheweightofthestandarditselfininformativeannexes.Itmayspecifythetasksthatacertainrangeofequipmentmustbeabletoperform,ordescribeindetailanapparatusanditssafetyfeatures24協(xié)議標準化（Cont.）Whatmakesupastandard?Itmaycontain:SymbolsDefinitionsDiagramsCodesTestmethods25協(xié)議標準化（Cont.）OrganizationforStandardizationforProtocolsInternationalOrganizationforStandardization

(ISO)國際電報電話咨詢委員會

(CCITT)InternationalTelecommunicationsUnion(ITU-T)InternetEngineeringTaskForce(IETF)InstituteofElectricalandElectronicsEngineers(IEEE)WorldWideWebConsortium(W3C)AssociationforComputingMachinery(ACM)AsynchronousTransferModeForum(ATMForum)AmericanNationalStandardsInstitute(ANSI)26ISO是一個涉及范圍很廣的國際標準開發(fā)機構(gòu)，包括很多政府的或民間的標準研究機構(gòu)，如美國的國家標準研究所ANSI。成立于1947年。ISO下屬多個技術(shù)委員會TC(TechnicalCommittees)，TC又由多個分委員會SC(Subcommittees)組成。每個SC下有多個工作組WG(WorkingGroups)。例如，TC97主要負責與計算機有關(guān)的標準的制定，TC97/SC6主要處理電信領(lǐng)域的標準，TC97/SC6/WG1則主要負責數(shù)據(jù)鏈路協(xié)議標準。一個ISO標準從最初的提名到真正發(fā)行要經(jīng)歷七個步驟。

27ISO(Cont.)ISO制定的很多標準是與另一個標準化組織，國際電工技術(shù)委員會IEC(InternationalElectrotechnicalCommission)，合作制定的。

IEC關(guān)心的主要是電子和電氣工程標準(器材、元件以及測量方法的標準化)。在信息技術(shù)領(lǐng)域，雖然IEC強調(diào)的是硬件，而ISO強調(diào)的是軟件，但它們的職能在很多地方有所重疊。1987年由這兩個組織聯(lián)合成立了聯(lián)合技術(shù)委員會JTC，而ISO的TC97同時宣告解散。代替舊的ISO的TC97組織是ISO/IECJTC1，而其下屬的各分委員會SC的名稱仍用原來TC97中的各分委員會的序號。這個委員會負責信息技術(shù)領(lǐng)域文檔的開發(fā)，這些文檔最終可能成為ISO及IEC的標準。

28ISO（Cont.）ISO制定的與協(xié)議有關(guān)的著名標準：OSI/RM（ISO7498），TC97/SC16制定，雖然沒有流行，但其中有很多協(xié)議被廣泛使用形式描述語言LOTOS(LanguageofTemporalOrderingSpecifications)和Estelle，ISOTC97/SC21/WG1下的2個不同的子工作組分別制定的，它們得到廣泛的應(yīng)用。

一致性測試序列標準：ISO9646-1(CCITTX.290)一般概念I(lǐng)SO9646-2抽象測試集(suite)規(guī)范ISO9646-3樹表組合記法TTCN(TreeandTabularCombinedNotation)ISO9646-4測試實現(xiàn)ISO9646-5一致性認證處理對測試實驗室及其客戶的要求ISO9646-6測試實驗室的操作29CCITTandITU-TCCITT(InternationalTelephoneandTelegraphConsultativeCommittee,國際電話與電報顧問委員會)最開始主要從通信的角度考慮一些標準的制定。隨著科學技術(shù)的發(fā)展，通信與信息處理的界限變得比較模糊了。于是，通信與信息處理就都成為CCITT與ISOTC97共同關(guān)心的領(lǐng)域。

很多ISO制定的標準，CCITT均有與之相對應(yīng)的標準。

CCITT的建議書X.200就是開放系統(tǒng)互連參考模型，它與ISO7498基本上是相同的。

CCITT制定的著名標準：X.25形式描述語言SDL(SpecificationandDescriptionLanguage)廣泛用交換系統(tǒng)的描述。

30CCITTandITU-T(Cont.)ITU-T是國際電信聯(lián)盟ITU（InternationalTelecommunicationUnion）下屬的電信標準部，它的成員主要是各國政府組織和得到許可的私人運營商。成立于1993年3月1日，主要任務(wù)是制定電話、電報和數(shù)據(jù)通信接口的技術(shù)建議。它取代了原國際電報電話咨詢委員會CCITT。人們?nèi)匀怀３Ｓ龅紺CITT建議，例如，CCITTX.25，雖然自1993年起這些建議都打上了ITU-T標記。ITU-T的實際工作是在研究組SG(StudyGroup)完成的，通常有400人。為了能夠完成工作，研究組又分成了很多工作組WG(WorkingGroup)，然后又再分為專家小組(ExpertTeam)，最后分成特別小組(AdHocGroup)。31ITU-TStandards:XSeriesDatanetworksandopensystemcommunicationsPublicdatanetworks-Interfaces:X.21

-InterfacebetweenDataTerminalEquipment(DTE)andDataCircuit-terminatingEquipment(DCE)forsynchronousoperationonpublicdatanetworks.OSI-Modelandnotation:X.200-Informationtechnology–OpenSystemsInterconnection–BasicReferenceModel:Thebasicmodel.32ITU-TStandards:XSeries(Cont.)MessageHandlingSystems:X.400

-Messagehandlingservices:MessagehandlingsystemandserviceoverviewDirectoryServices:X.500

-Informationtechnology-OpenSystemsInterconnection-TheDirectory:Overviewofconcepts,modelsandservicesSecurity:X.800-SecurityarchitectureforOpenSystemsInterconnectionforCCITTapplications.33ITU-TStandards:VSeriesDatacommunicationoverthetelephonenetworkInterworkingwithothernetworks:V.18-OperationalandinterworkingrequirementsforDCEsoperatinginthetexttelephonemode.Interfacesandvoice-bandmodems:V.33-14400bitspersecondmodemstandardizedforuseonpoint-to-point4-wireleasedtelephone-typecircuits.Errorcontrol:V.42-Error-correctingproceduresforDCEsusingasynchronous-to-synchronousconversion.34ITU-TStandards:QSeriesSwitchingandsignallingGeneralRecommendationsrelativetosignalingandswitchingsystems:Q.20-Comparativeadvantagesof"in-band"and"out-band"systems.Functionaldescriptionofthesignalingsystem:Q.251-GeneralDefinitionandfunctionofsignals:Q.254-Telephonesignals.35ITU-TStandards:QSeries(Cont.)SignallingSystemNo.7(SS#7):Q.700-IntroductiontoCCITTSignallingSystemNo.7IntegratedServicesDigitalNetwork(ISDN):Q.860-IntegratedServicesDigitalNetwork(ISDN)andBroadbandIntegratedServicesDigitalNetwork(B-ISDN)GenericAddressingandTransport(GAT)ProtocolQ.2010-Broadbandintegratedservicesdigitalnetworkoverview-Signalingcapabilityset1,release136IFIP國際信息處理聯(lián)盟IFIP(InternationalFederationforInformationProcessing)，雖然不直接參與協(xié)議的標準化，但它的主要目的之一是作為CCITT和ISO之間溝通的橋梁。IFIP成立于1960年，經(jīng)常組織一些協(xié)議形式化描述與驗證方面的國際會議，例如，JointInternationalConferenceonFormalDescriptionTechniquesforDistributedSystemsandCommunicationProtocols(FORTE)andProtocolSpecification,TestingandVerification(PSTV)。

37IETF因特網(wǎng)協(xié)會ISOC因特網(wǎng)體系結(jié)構(gòu)研究委員會IAB因特網(wǎng)研究指導小組IRSG因特網(wǎng)研究部IRTF因特網(wǎng)工程部IETF因特網(wǎng)工程指導小組IESG領(lǐng)域領(lǐng)域…WGRGWGWGWG……RG…IETF網(wǎng)址：38IETF（Cont.）因特網(wǎng)在制定其標準上很有特色：面向公眾。所有技術(shù)文檔都可從因特網(wǎng)上免費下載，而且任何人都可以用電子郵件隨時發(fā)表對某個文檔的意見或建議。這種方式對因特網(wǎng)的迅速發(fā)展影響很大。因特網(wǎng)標準：RFC(RequestForComments)的意思就是“請求評論”。所有的RFC文檔都可從因特網(wǎng)上免費下載。

并非所有的RFC文檔都是因特網(wǎng)標準，其中只有一小部分最后才能變成標準。39IETF（Cont.）因特網(wǎng)草案建議標準草案標準因特網(wǎng)標準歷史的RFC實驗的RFC提供信息的RFC因特網(wǎng)草案(InternetDraft)建議標準(ProposedStandard)草案標準(DraftStandard)因特網(wǎng)標準(InternetStandard)40W3CWorldWideWebConsortiumpromotestheWebbyproducingspecificationsandreferencesoftware.W3Cisfundedbyindustrialmembersbutitsproductsarefreelyavailabletoall.TheConsortiumisrunbyMITLCSwithINRIAactingasEuropeanhost

andKeioUniversityinAsia,incollaborationwithCERNwheretheweboriginated.41IEEETheInstituteofElectricalandElectronicsEngineers(電氣和電子工程師協(xié)會)istheworld'slargesttechnicalprofessionalsociety.Anon-profitorganization,IEEEpromotesthedevelopmentandapplicationofelectrotechnologyandalliedsciencesforthebenefitofhumanity,theadvancementoftheprofession,andthewell-beingofit’smembers.FamousStandards:IEEE802series,eg.802.342ACMAssociationforComputingMachinery(founded1947，(美國)計算機學會)isaninternationalscientificandeducationalorganizationdedicatedtoadvancingtheart,science,engineering,andapplicationofinformationtechnology(其宗旨在于不斷地推動計算機科學與技術(shù)的發(fā)展),servingbothprofessionalandpublicinterestsbyfosteringtheopeninterchangeofinformationandbypromotingthehighestprofessionalandethicalstandards.SinceitsinceptionACMhasprovideditsmembersandtheworldofcomputerscienceaforumforthesharingofknowledgeondevelopmentsandachievementsnecessarytothefruitfulinterchangeofideas.43ACM（Cont.）OvertheyearsACMhasflourishedalongwiththeindustryitself,playingamajorroleinenrichingthequality,formandfunctionofcomputerusage.ACMformsSpecialInterestGroups(SIGs)whichfocusonspecificareasofcomputerscience.SomeSIGswhichrelatetodatacommunicationsinclude:DataCommunication(SIGCOMM)Hypertext/Hypermedia(SIGLINK)Multimedia(SIGMM)44ATMForumTheAsynchronousTransferModeForumisaworldwideorganization,aimedatpromotingATMwithintheindustryandtheendusercommunity.FormedinOctober1991,withfour(4)members,theATMForummembershipcurrentlyincludesmorethan700companiesrepresentingallsectorsofthecommunicationsandcomputerindustries,aswellasanumberofgovernmentagencies,researchorganizationsandusers.45ANSIFoundedin1918,theAmericanNationalStandardsInstitute(ANSI,美國國家標準化組織),isaprivate,not-for-profitmembershiporganizationthatcoordinatestheU.S.voluntaryconsensusstandardssystemandapprovesAmericanNationalStandards.ANSIconsistsofapproximately1,300nationalandinternationalcompanies,30governmentagencies,20institutionalmembers,and250professional,technical,trade,laborandconsumerorganizations.46ANSI（Cont.）ANSIactstoinsurethatasingleconsistentsetofconsensusbasedAmericanNationalStandardsaredevelopedbyANSI-accreditedstandardsdevelopers.Integraltothedevelopmentandapprovalprocessistherequirementthatallinterestsconcernedhavetheopportunitytoparticipateinthedevelopmentprocess.FamousStad.:ANSI.147Obtainingstandarddocuments:Standardsbodiesdistributetheirdocumentsinseveralfileformatsandtodifferentgroupsororganizations.Manystandardsmustbepurchasedbeforeyoumayimplementproductsbasedonthem.However,thedocumentsarefree.Somestandardsbodiesrequirepaymentup-frontbeforeyouarepermittedaccesstothestandardsdocuments.48Obtainingstandarddocuments(Cont.)Stillotherstandardsbodiestakeanopenapproachwheredocumentsareentirelyfreetoreadersandimplementationvendors(RFCs).MoststandardsareavailableontheInternetviaFTP,Gopher,ortheWWW.Manysiteshavesearchengineswhichallowuserstoobtaindifferentdocuments,allofwhichpertaintothesamestandard/protocol.49Obtainingstandarddocuments(Cont.)DocumentFormats:Text/ASCII-mostpopularformat.Postscript-requiresapostscriptprinterorTeX/LaTeXtoview.WordforWindows-MicrosoftWindowseditor.HTML-browseabledocumentswithlinkstootherreferences.PDF-AdobeAcrobathyper-linkformat.50Obtainingstandarddocuments(Cont.)DocumentLanguages:Mostinternationalstandardsbodiesoffertheirdocumentswritteninpopularspokenlanguages,including:EnglishFrenchSpanishNationallanguageoftheorganization’sorigin.51IndustryControlandAcceptanceCommonlyintoday’scomputerindustry,theacceptanceofproductsarefacilitatedbytheconformancetoandsupportofstandards.Mostproductsbecomeobsoleteiftheyareonlybasedonproprietaryspecificationsanddonotsupportstandards.Ifacompanymaintainscontroloverthemajorityofproductsbasedonaparticulartechnology,thatcompanycanusuallydictatethedirectionoftheindustryandanystandardstofollow.52Timing:It’simportantforstandardsMITD.Clark‘s“apocalypse(啟示)ofthetwoelephants”ThebestperiodforstandardizationisbetweenburstofresearchandburstofmarketingTheperiodisveryshortTCP/IPalreadyentrenchedbymid/lateeightiesOSI/RMisputupintheburstofmarketingofTCP/IP53Examples:OSI/RMProblemsTannenbaum:BadtechnologyBadtimingBadimplementationBadpolitics54BadtechnologyModelandprotocolflawedStandardizedbeforeimplementedDesignbycommitteew/oimplementationvs.designbyimplementors/researchers/engineersBoundariessomewhatarbitraryTopthreelayersneverquiteresolved

(application,presentation,session)Whysevenlayers?ManyfundamentalissuescanbeaddressedatmultiplelayersReliabilityFlowcontrolSecurityAddressing/naming55BadtimingMITD.Clark‘s“apocalypse(啟示)ofthetwoelephants”Technologyactivityvs.timetostandardizationTCP/IPalreadyentrenchedbymid/lateeighties56BadimplementationsComplexity

huge&slowimplementations(考慮大而全，要全部實現(xiàn)就苯拙且效率低)Competition(BSDTCP/IP)wasgood,free,andeasytodeploy57BadpoliticsPushedbyEuropeanCommunityandU.S.governmentNegativeimageofgovernmentdictatingstandardsRemember“ClipperChip”58TCP/IP:FeaturesLayeringnotstrict-onlywhereappropriateCandefinenewabstractionsontopofanyexistingprotocolIP/UDPprovidessimple“sendapacket”svcEx:RPC,DNS,IPphone,etc.HourglassshapeIPcenterpiece,commondenominatorDesignandimplementationgohand-in-handIETFrequirestwoindependent,interoperableimplementationsbeforestandardizationThe“dogma（教義）”:

Werejectkings,presidents,andvoting.Webelieveinroughconsensusandworkingcode.D.Clark59內(nèi)容提要課程概述1協(xié)議2協(xié)議工程360ProtocolEngineering：Why?網(wǎng)絡(luò)服務(wù)要求的提高應(yīng)用的多樣性網(wǎng)絡(luò)系統(tǒng)的多樣性導致在協(xié)議方面的體現(xiàn)復雜性分布性并發(fā)性異步性不穩(wěn)定性多樣性完整性正確性安全性可移植性標準化導致用直覺的工程方法不能保證協(xié)議的協(xié)議工程(ProtocolEngineering)軟件工程的經(jīng)驗61ProtocolEngineering:What?七十年代未人們開始用形式化的方法描述通信協(xié)議。1981年，在軟件工程思想的基礎(chǔ)上，Piatkowski首先提出了“協(xié)議工程（PE：ProtocolEngineering）”的概念協(xié)議工程學用形式化方法描述協(xié)議設(shè)計和維護中的各個過程，它是以協(xié)議軟件為研究對象的軟件工程，而且建立了一套比一般軟件工程方法更為嚴格、更為數(shù)學化的理論和方法。集成化(Integrated)、形式化(Formal)的協(xié)議開發(fā)過程稱為協(xié)議工程。協(xié)議工程的目的是減少協(xié)議開發(fā)過程中潛在的錯誤，提高協(xié)議開發(fā)的效率，促進協(xié)議標準化的發(fā)展。

所謂“集成化”，就是指協(xié)議描述、驗證、實現(xiàn)和測試等技術(shù)前后銜接，并在同一個開發(fā)系統(tǒng)中完成。在以往的協(xié)議開發(fā)過程中，各個階段并不互相銜接，各個階段的研究人員作完自己的事情就不再管別的事情了。協(xié)議設(shè)計者憑自己的經(jīng)驗和智慧設(shè)計出協(xié)議，用自然語言進行描述，經(jīng)過他人審定或模擬之后，就予以公布。其他的人只有在感興趣時才采用某種方法和理論對協(xié)議進行驗證。協(xié)議實現(xiàn)往往根據(jù)自己的環(huán)境和要求修改協(xié)議，協(xié)議實現(xiàn)之后不考慮實現(xiàn)與協(xié)議規(guī)范是否一致。協(xié)議的測試往往由協(xié)議實現(xiàn)者自己進行，這實際上是一種程序調(diào)試。

所謂“形式化”，就是指用形式描述技術(shù)FDT(FormalDescriptionTechnique)貫穿協(xié)議開發(fā)的各個階段。一種形式化描述語言FDL(FormalDescriptionLanguage)以一種或多種形式化描述技術(shù)為基礎(chǔ)，有嚴格的語法和語義定義，抽象于具體的實現(xiàn)，可以符號執(zhí)行，可以轉(zhuǎn)換、翻譯成程序設(shè)計語言。當協(xié)議進行形式化描述后，協(xié)議的驗證、自動實現(xiàn)、測試就可以在一個集成化的協(xié)議工程系統(tǒng)中進行了。

62ProtocolEngineering:Procedure非形式化協(xié)議規(guī)范形式化協(xié)議規(guī)范形式描述與機器無關(guān)的源代碼實現(xiàn)代碼(產(chǎn)品)轉(zhuǎn)換實現(xiàn)產(chǎn)品測試器測試序列發(fā)生器一致性測試性能分析模擬驗證設(shè)計用戶需求說明63PEActivities:Design我們的定義：根據(jù)協(xié)議的需求說明構(gòu)造協(xié)議的非形式描述文本(經(jīng)過非形式的驗證分析)稱為協(xié)議設(shè)計；而將“協(xié)議的設(shè)計、形式描述、驗證、實現(xiàn)、測試、運行”這一全過程稱為“協(xié)議開發(fā)”，即協(xié)議開發(fā)是指協(xié)議工程活動的全過程。

其它定義：將協(xié)議設(shè)計定義為“從協(xié)議的需求說明到協(xié)議的形式描述文本，并經(jīng)過嚴格驗證和性能分析”這一過程，或定義為協(xié)議工程活動的全過程，即相當于“協(xié)議開發(fā)”。

包括：協(xié)議環(huán)境分析、協(xié)議的功能設(shè)計、協(xié)議組織形式的確定、協(xié)議元素的構(gòu)造、協(xié)議文本的編制等。64PEActivities:Design（Cont.）協(xié)議設(shè)計質(zhì)量的好壞直接關(guān)系到開發(fā)出來的協(xié)議性能、功能是否能滿足用戶需求的一個重要因素。協(xié)議設(shè)計階段的結(jié)果是非形式描述協(xié)議文本。

協(xié)議設(shè)計涉及到很多技術(shù)，如差錯控制技術(shù)、流量控制技術(shù)、連接管理技術(shù)、路由選擇技術(shù)等。協(xié)議設(shè)計還必須遵循一些基本原則，如結(jié)構(gòu)化、模塊化等。

課程的重點內(nèi)容Back65PEActivities:FormalDescrpt.通信系統(tǒng)行為的復雜性增大了行為描述的難度，人們必須借助一種語言或一種技術(shù)來準確地描述系統(tǒng)行為。在過去，人們習慣使用自然語言進行協(xié)議描述（用自然語言寫協(xié)議的規(guī)格說明或規(guī)范）優(yōu)點是：方便、易懂致命缺點是：不嚴格、不精確、結(jié)構(gòu)不好、沒有描述標準和有二義性且很難進行協(xié)議實現(xiàn)、測試的自動化和協(xié)議驗證。

不同的人對協(xié)議描述的理解不一樣導致不同的協(xié)議實現(xiàn)之間不能實現(xiàn)互連，甚至還會得出錯誤的協(xié)議。

解決辦法：形式化技術(shù)FDT(FormalDescriptionTechnique)66PEActivities:FormalDescrpt采用形式描述技術(shù)的最終目的是：為開發(fā)者提供一種分析的方法；作為對開發(fā)結(jié)果驗證的基礎(chǔ)；為設(shè)計人員和應(yīng)用人員提供交流途徑；作為開發(fā)文檔能在將來再開發(fā)時使用。

理想的形式描述技術(shù)應(yīng)該既能描述系統(tǒng)的行為特征，又能進行操作：在系統(tǒng)需求分析和設(shè)計階段，它應(yīng)該是一種描述語言在系統(tǒng)實現(xiàn)階段它應(yīng)該是一種編程語言。形式描述技術(shù)是將協(xié)議工程各階段在技術(shù)上銜接起來的紐帶，因此它對協(xié)議工程的發(fā)展起決定性作用。

67形式描述模型

有限狀態(tài)機FSM(FiniteStateMachine)Petri網(wǎng)(PetriNet)時態(tài)邏輯TL(TemporalLogic)通信系統(tǒng)演算CCS(CalculusofCommunicationSystem)通信順序進程CSP(CommunicatingSequentialProcesses)形式文法FG(FormalGrammar)

形式描述語言

ISO制定的Estelle和LOTOSCCITT制定的SDL對象管理組織OMG制定的統(tǒng)一建模語言UML課程的重點內(nèi)容PEActivities:FormalDescrptBack68PEActivities:VV協(xié)議驗證(VerificationandValidation)技術(shù)和形式描述技術(shù)是同步發(fā)展的在進行協(xié)議實現(xiàn)之前還要進行以下二項工作：在語法和語義方面進行驗證；進行計算機模擬。

協(xié)議的驗證主要內(nèi)容包括：可達性分析死鎖和活鎖檢測協(xié)議的有界性和完整性檢查協(xié)議的動作序列檢查通道溢出檢查等

69PEActivities:VV(Cont.)驗證方法主要有兩類：模型檢查(ModelChecking)最常見方法：可達性分析，它包括狀態(tài)窮舉，狀態(tài)隨機枚舉，狀態(tài)概率枚舉等方法重要問題：狀態(tài)空間爆炸證明(Proving)試圖用推理演算方法嚴密地證明協(xié)議的各種性質(zhì)其他方法：模擬（Simulation）通過一些模擬試驗來測試協(xié)議的各種性質(zhì)Back70PEActivities:Implementation協(xié)議實現(xiàn)是指由協(xié)議規(guī)范到可執(zhí)行的協(xié)議目標代碼的過程協(xié)議的實現(xiàn)必須滿足協(xié)議規(guī)范的要求，以及針對具體應(yīng)用需要提供的附加機制協(xié)議實現(xiàn)的自動化是協(xié)議工程的主要目的之一，但完全自動化幾乎是不可能的。通過形式化描述技術(shù)可實現(xiàn)半自動化，兩個步驟：第一步利用翻譯程序?qū)f(xié)議的形式描述文本轉(zhuǎn)換成程序設(shè)計語言(如，C語言)的與機器無關(guān)的源代碼手工編寫與機器有關(guān)的、在協(xié)議規(guī)范中沒有描述的問題的處理代碼。協(xié)議實現(xiàn)不在本課程的討論范圍Back71PEActivities:Testing驗證一個新的協(xié)議實現(xiàn)，通常要作多項測試。一般主要考慮以下兩個方面：

協(xié)議一致性測試(conformancetesting)。即檢測新協(xié)議實現(xiàn)是否能滿足該協(xié)議規(guī)范所規(guī)定的所有規(guī)則。

對協(xié)議實現(xiàn)的評價。核對新實現(xiàn)的包括性能參數(shù)在內(nèi)的其它性質(zhì)。

協(xié)議一致性測試是協(xié)議工程活動中重要的一環(huán)。如果協(xié)議實現(xiàn)通過了一致性測試，則說明該協(xié)議實現(xiàn)與其它同樣通過一致性測試的協(xié)議實現(xiàn)可在同一個全局系統(tǒng)中很好地協(xié)調(diào)工作。

協(xié)議一致性測試要做到兩點：徹底性和標準化“徹底性”是指必須徹底測試所實現(xiàn)的協(xié)議“標準化”是指使用的測試集必須是標準的。

72PEActivities:ConformanceTesting一致性測試的基礎(chǔ)：FDT一致性測試要解決兩個問題：測試系統(tǒng)設(shè)計：重點解決測試方法和測試系統(tǒng)的體系結(jié)構(gòu)問題測試序列的產(chǎn)生：解決測試的“徹底性”和“標準化”問題，以及測試序列的形式描述和自動生成問題。測試序列發(fā)生器可以產(chǎn)生各種可能發(fā)生的情況組合，以測試所實現(xiàn)的協(xié)議是否在各種正常和非正常情況下均能正確工作。

國際標準化組織ISO發(fā)布了“開放系統(tǒng)互連一致性測試方法和框架(ISO9646)”來指導一致性測試工作，并為許多常用的標準協(xié)議制訂了相應(yīng)的一致性測試序列。

協(xié)議工程中技術(shù)難度最大，工業(yè)上又很需要Back73PEActivities:PerformaceTesting協(xié)議的性能主要包括吞吐量和時延

協(xié)議的性能分析的目的是改善協(xié)議機制，提高執(zhí)行效率。

可用數(shù)學分析方法和模擬方法來進行，兩者都基于排隊論和概率論

本課程不涉及此課題

74PEActivities:Maintenance協(xié)議維護(Maintenance)是指對已運行的協(xié)議的修改、補充等，故協(xié)議的維護可能包含對協(xié)議設(shè)計、協(xié)議的驗證和分析、協(xié)議測試，以及協(xié)議實現(xiàn)等多項任務(wù)。良好的設(shè)計有助于降低維護成本。75ProtocolEngineering:Procedure非形式化協(xié)議規(guī)范形式化協(xié)議規(guī)范形式描述與機器無關(guān)的源代碼實現(xiàn)代碼(產(chǎn)品)轉(zhuǎn)換實現(xiàn)產(chǎn)品測試器測試序列發(fā)生器一致性測試性能分析模擬驗證設(shè)計用戶需求說明76參考以下PPT介紹的有關(guān)協(xié)議工程概念的不同觀點，供參考77協(xié)議開發(fā)過程（FerreiraPires）ProtocolengineeringUser

requirementsService

specificationProtocol

specificationProtocol

implementationCoursesDesignof

TelematicssystemsProtocolimplementationProtocol

designService

design78798081828384ProtocolEngineering:Another85ProtocolEngineering:Another(Cont.)86思考題1-1試論“軟件工程”與“協(xié)議工程”的關(guān)系。1-2查閱有關(guān)“協(xié)議工程”的文獻，探討各家之見。1-3從你所知的網(wǎng)絡(luò)協(xié)議中選擇一個，來簡要說明該協(xié)議的三要素。87兒童慢性咳嗽與處理1急性咳嗽，時間短于4周單擊此處添加文本具體內(nèi)容2亞急性咳嗽，時間介于4－8周單擊此處添加文本具體內(nèi)容3慢性咳嗽，時間超過8周單擊此處添加文本具體內(nèi)容一.定義CONTENTSONE1二.咳嗽感受器與部位三種感受器

RARlike（快速適應(yīng)性感受器，機械刺激為主）

Nociceptive（傷害感受器，化學刺激為主）

Polymodal（咳嗽感受器，機械刺激與酸）有髓神經(jīng)纖維口咽部、喉、支氣管樹、外耳道與鼓膜A

神經(jīng)纖維C神經(jīng)纖維C類神經(jīng)纖維感受器(VR1)無髓神經(jīng)纖維通過釋放神經(jīng)多肽，刺激RARs主要位于支氣管Opioidreceptor阿片受體,有μ、κ、δ和σ亞型麻醉鎮(zhèn)痛劑通過某些肽類物質(zhì)(如β-內(nèi)啡肽)及μ阿片受體抑制咳嗽呼吸道中也存在μ受體,參與了芬太尼誘發(fā)嗆咳過程慢性咳嗽經(jīng)常（16~62%）同時由一種以上病因引起UACS，哮喘，GERD是各年齡慢性咳嗽最常見的三種原因慢性咳嗽是57%哮喘和75%GERD的唯一癥狀大多數(shù)慢性咳嗽能明確病因，使治療有效率達84~98%三.慢性咳嗽的常見病因上呼吸道咳嗽綜合癥(UACS)

慢性鼻竇炎慢性鼻炎，包括過敏性鼻炎增殖體肥大吸入綜合癥

胃食道反流病(GERD)

會厭功能障礙支氣管源性疾病哮喘綜合征病毒感染后咳嗽心因性疾病兒童慢性咳嗽(胸片正常)的常見原因常見的支氣管源性疾病是兒童慢性咳嗽的第一大原因支氣管哮喘咳嗽變異性哮喘(CVA)

非哮喘性嗜酸細胞性支氣管炎(NAEB)<一>哮喘綜合征有慢性氣道炎癥，氣道高反應(yīng)，肺功能異常有咳嗽及喘息發(fā)作，以夜間和清晨為重有特應(yīng)性家族史對糖皮質(zhì)激素，抗白三烯受體拮抗藥及支氣管擴張藥有效1.支氣管哮喘有慢性氣道炎癥，氣道高反應(yīng)，肺功能大多正常；中央氣道慢性炎癥和支氣管反應(yīng)增高平滑肌收縮刺激肌梭內(nèi)咳嗽感受器以咳嗽為主，偶爾有喘息發(fā)作以夜間和清晨為重對糖皮質(zhì)激素，抗白三烯受體拮抗藥，支氣管擴張藥有效2.咳嗽變異性哮喘又稱過敏性咳嗽有慢性氣道炎癥，痰液嗜酸細胞>2.5~5%無氣道高反應(yīng)和肺功能異常僅有咳嗽，無喘息發(fā)作對糖皮質(zhì)激素，抗白三烯受體拮抗藥有效；支氣管擴張藥無效3.嗜酸細胞性支氣管炎激素敏感性咳嗽常用的相關(guān)檢查支氣管舒張試驗支氣管激發(fā)試驗3％NaCl霧化吸入誘導咳嗽痰液咳出或吸出處理后計數(shù)嗜酸細胞數(shù)痰液嗜酸細胞>2.5~5%誘導痰嗜酸細胞計數(shù)RSV毛細支氣管炎與慢性咳嗽有密切關(guān)系RSV導致支氣管結(jié)構(gòu)或功能的持續(xù)損害RSV改變神經(jīng)敏感閾值，咳嗽感受器閾值降低RSV誘導RSV-IgE形成，ECP增高RSV誘發(fā)咳嗽(哮喘、肺發(fā)育不全、氣道吸入)<二>病毒感染后咳嗽以夜間及清晨咳嗽為主，可伴有喘息發(fā)作多持續(xù)3－8周，但對于早產(chǎn)兒、小于3個月的嬰兒及伴有基礎(chǔ)疾病的患兒持續(xù)時間較長部分伴有特異體質(zhì)的患兒，對糖皮質(zhì)激素及白三烯拮抗藥物治療有效是兒童慢性咳嗽常見原因之一分泌物直接刺激鼻咽部分泌物反流刺激咽喉分泌物導致鼻咽喉部神經(jīng)敏感度增加<三>上呼吸道咳嗽綜合癥

慢性鼻炎過敏性鼻炎常年性非過敏性鼻炎血管運動性鼻炎感染性鼻炎慢性鼻竇炎增殖體肥大引起UACS的原因有：臨床表現(xiàn)喉部發(fā)癢、疼痛，咳粘液性痰及清嗓動作有咽后壁分泌物流動感咽后壁可見粘液樣分泌物咽部粘膜呈鵝卵石改變(結(jié)節(jié)狀淋巴濾泡)一代抗組胺藥物/鼻減充藥物有效胃食道反流酸性反流非酸性反流氣管食管瘺吞咽協(xié)調(diào)障礙<四>吸入綜合癥胃食道反流反流形式：食道下端咳嗽感受器反流到咽下部或喉部(咽喉部反流)吸入氣管或支氣管肺多見于小齡幼兒，表現(xiàn)為喂水或奶時的嗆咳部分見于神經(jīng)肌肉受損或發(fā)育異常的患兒上呼吸道感染后會加重癥狀進食稠厚流質(zhì)或鼻飼能明顯改善癥狀吞咽協(xié)調(diào)障礙1.室內(nèi)環(huán)境空氣污染污穢或刺激性有害氣體；氣媒性過敏原2.在集體環(huán)境中生活

幼兒園和小學<五>慢性或反復呼吸道感染3.支氣管肺功能結(jié)構(gòu)異常氣道堵塞

支氣管異物、支氣管淋巴結(jié)壓迫、異位血管.氣道結(jié)構(gòu)異常原發(fā)性纖毛運動障礙慢性氣道炎癥麻疹肺炎后,先天性心臟病肺功能異常早產(chǎn)兒、支氣管發(fā)育不良胸部平片或CT：明確肺部病變鼻腔鏡：明確鼻炎及鼻竇炎鼻竇平片或CT：明確鼻竇炎吞鋇、同位素、食道下端pH測定：明確胃食道返流支氣管擴張或激發(fā)試驗：明確哮喘或病毒感染后咳嗽誘導痰液試驗：明確嗜酸細胞支氣管炎纖支鏡檢查：明確異物超聲心動圖檢查：心臟情況四.常用輔助診斷措施ONE1常見慢性咳嗽的處理方法過敏性鼻炎：鼻用糖皮質(zhì)激素抗組胺藥-減充劑/抗組胺藥避免過敏原/刺激物血管運動性鼻炎：鼻用嗅化異丙托品感染后鼻炎：第一代抗組胺藥-減充劑鼻用嗅化異丙托品慢性鼻竇炎：抗生素+抗組胺藥-減充劑

上呼吸道咳嗽綜合癥治療原則避免接觸過敏原;

阻斷或減輕炎癥反應(yīng)和分泌物的產(chǎn)生;

治療感染;

糾正結(jié)構(gòu)異常

診斷為UACS誘發(fā)咳嗽的患者,如果第一代抗組胺藥物和(或)減充血劑(A/D)的經(jīng)驗性治療沒有效果,下一步應(yīng)進行鼻竇的影像學檢查吸入皮質(zhì)醇，減輕氣道炎癥和氣道反應(yīng)性白三烯受體拮抗劑，

受體激動劑，治療夜間陣發(fā)性咳嗽一般不用祛痰藥、中樞性止咳藥和抗生素咳嗽變異性哮喘

(Coughvariantasthma)吸入性糖皮質(zhì)激素及白三烯拮抗藥物有效對支氣管擴張藥物無效嗜酸細胞性支氣管炎避免反復呼吸道感染

受體激動劑或溴化異丙托品緩解咳嗽必要時可吸入糖皮質(zhì)激素一般在1歲后逐漸好轉(zhuǎn)

感染后氣道高反應(yīng)性加強喂養(yǎng)指導稠厚食品鼻飼喂養(yǎng)吞咽協(xié)調(diào)障礙1.針對性抗病原治療2.治療局部慢性病灶3.調(diào)節(jié)機體免疫狀態(tài)4.加強營養(yǎng)與鍛煉

慢性遷移性感染重視病史與體檢，包括耳鼻咽喉和消化系統(tǒng)疾病。根據(jù)病史與體檢結(jié)果選擇有關(guān)檢查，由簡單到復雜。先檢查常見病，后少見病。診斷和治療兩者應(yīng)同步或順序進行。如前者條件不具備時，根據(jù)臨床特征進行診斷性治療，并根據(jù)治療反應(yīng)確定咳嗽病因，治療無效時再選擇有關(guān)檢查。慢性咳嗽的病因診斷原則

1．病史和查體，通過病史詢問縮小診斷范圍

2．常規(guī)X線胸片檢查

3．胸片有明顯病變者,可根據(jù)病變的形態(tài)、性質(zhì)選擇進一步檢查。

4．胸片無明顯病變者，如被動吸煙、環(huán)境刺激物，則脫離刺激物的接觸，觀察4周?？人匀晕淳徑饣驘o上述誘發(fā)因素，則進入下一步診斷程序。

慢性咳嗽病因診斷流程具體步驟：5．肺通氣功能+支氣管激發(fā)試驗，診斷和鑒別哮喘通氣功能正常、激發(fā)試驗陰性，進行誘導痰檢查

6．懷疑呼吸道過敏者，可行變應(yīng)原皮試、血清IgE

和咳嗽敏感性檢測。7．存在鼻后滴流或頻繁清喉時，可先按UACS治療，聯(lián)合使用第一代H1受體阻斷劑和鼻減充血劑。對變應(yīng)性鼻炎可加用鼻腔吸入糖皮質(zhì)激素。治療1～2周癥狀無改善者，可攝鼻竇CT或鼻咽鏡

8．對于飲水或喂奶嗆咳者，可考慮改用稠厚食品，必要時進行短期鼻飼喂養(yǎng)。

9．上述檢查仍未確診，或試驗治療仍繼續(xù)咳嗽者，應(yīng)考慮進行高分辨率CT和纖支鏡以及心臟超聲檢查，除外支氣管擴張癥、支氣管內(nèi)膜結(jié)核及左心功能不全等疾病。

10．反復發(fā)作的慢性咳嗽患者，夜間不咳，較敏感，如上述各項檢查和針對性治療均無效時，應(yīng)除外心因性咳嗽。

注意點：

1．經(jīng)相應(yīng)治療后咳嗽緩解，病因診斷方能確立。

2．部分患者可同時存在多種病因。如果患者治療后，咳嗽癥狀部分緩解，應(yīng)考慮是否同時合并其它病因謝謝第三節(jié)分析文體特征和表現(xiàn)手法2大考點書法大家啟功自傳賞析中學生，副教授。博不精，專不透。名雖揚，實不夠。高不成，低不就。癱偏‘左’，派曾‘右’。面微圓，皮欠厚。妻已亡，并無后。喪猶新，病照舊。六十六，非不壽。八寶山，漸相湊。計平生，謚曰陋。身與名，一起臭?！举p析】寓幽默于“三字經(jīng)”，名利淡薄，人生灑脫，真乃大師心態(tài)。1.實用類文本都有其鮮明的文體特征，傳記的文體特征體現(xiàn)為作品的真實性和生動性。傳記的表現(xiàn)手法主要有以下幾個方面：人物表現(xiàn)的手法、結(jié)構(gòu)技巧、語言藝術(shù)和修辭手法。2.在實際考查中，對傳記中段落作用、細節(jié)描寫、人物陪襯以及環(huán)境描寫設(shè)題較多，對于材料的選擇與組織也常有涉及。3.考生復習時要善于借鑒小說和散文的知識和經(jīng)驗，同時抓住傳記的主旨、構(gòu)思以及語言特征來解答問題。傳記的文體特點是真實性和文學性。其中，真實性是傳記的第一特征，寫作時不允許任意虛構(gòu)。但傳記不同于一般的枯燥的歷史記錄，它具有文學性，它通過作者的選擇、剪輯、組接，傾注了愛憎的情感；它需要用藝術(shù)的手法加以表現(xiàn)，以達到傳神的目的?？键c一分析文體特征從哪些方面分析傳記的文體特征？一、選材方面1.人物的時代性和代表性。傳記里的人物都是某時代某領(lǐng)域較

突出的人物。2.選材的真實性和典型性。傳記的材料比較翔實，作者從傳主

的繁雜經(jīng)歷中選取典型的事例，來表現(xiàn)傳主的人格特點，有

較強的說服力。3.傳記的材料可以是重大事件，也可以是日常生活小事。[知能構(gòu)建]二、組材方面1.從時序角度思考。通過抓時間詞語，可以迅速理清文章脈絡(luò)，

把握人物的生活經(jīng)歷及思想演變過程。2.從詳略方面思考。組材是與主題密切相關(guān)的。對中心有用的，

與主題特別密切的材料，是主要內(nèi)容，則需濃墨重彩地渲染，

要詳細寫；與主題關(guān)系不很密切的材料，是次要內(nèi)容，則輕

描淡寫，甚至一筆帶過。三、句段作用和標題效果類別作用或效果開頭段內(nèi)容：開篇點題，渲染氣氛，奠定基調(diào)，表明情感。結(jié)構(gòu)：總領(lǐng)下文，統(tǒng)攝全篇；與下文某處文字呼應(yīng)，為下文做鋪墊或埋下伏筆；與結(jié)尾呼應(yīng)。中間段內(nèi)容：如果比較短，它的作用一般是總結(jié)上文，照應(yīng)下文；如果比較長，它的作用一般是擴展思路，豐富內(nèi)涵，具體展示，深化主題。結(jié)構(gòu)：過渡，承上啟下，為下文埋下伏筆、鋪墊蓄勢。結(jié)尾段內(nèi)容：點明中心，深化主題，畫龍點睛，升華感情、卒章顯志，啟發(fā)思考。結(jié)構(gòu)：照應(yīng)開頭；呼應(yīng)前文；使結(jié)構(gòu)首尾圓合。標題①突出了敘述評議的對象。②設(shè)置懸念，激發(fā)讀者的閱讀興趣。③表現(xiàn)了傳主的精神或品質(zhì)。④點明了主旨，表達了作者的情感。⑤運用修辭，使文章內(nèi)涵豐富，意蘊深刻，增加了文章的厚度與深度。四、語言特色角度分析鑒賞傳記的類別自傳采用第一人稱，語言或幽默調(diào)侃或自然親切；他傳采用第三人稱，語言或樸實自然或文采斐然。語意和句式句子中的關(guān)鍵詞所包含的情感、態(tài)度等，整句與散句、推測與肯定、議論與抒情、祈使與反問等特殊句式，往往有著不同一般的表現(xiàn)力。這些都是分析語言的切入點。修辭的角度修辭一般是用來加強語言的表現(xiàn)力的。抓住修辭特點，就能從語言的表達效果上加以體味。語言風格含蓄與明快、文雅與通俗、生動與樸實、富麗與素淡、簡潔與繁復等。1.(2015·新課標全國卷Ⅰ)閱讀下面的文字，完成后面的題目。[即學即練]朱東潤自傳1896年我出生在江蘇泰興一個失業(yè)店員的家庭，早年生活艱苦，所受的教育也存在著一定的波折。21歲我到梧州擔任廣西第二中學的外語教師，23歲調(diào)任南通師范學校教師。1929年4月間，我到武漢大學擔任外語講師，從此我就成為大學教師。那時武漢大學的文學院長是聞一多教授，他看到中文系的教師實在太復雜，總想來一些變動。用近年的說法，這叫作摻沙子。我的命運是作為沙子而到中文系開課的。大約是1939年吧，一所內(nèi)遷的大學的中文系在學年開始，出現(xiàn)了傳記研究這一個課，其下注明本年開韓柳文。傳記文學也好，韓柳文學也不妨，但是怎么會在傳記研究這個總題下面開韓柳文呢？在當時的大學里，出現(xiàn)的怪事不少，可是這一項多少和我的興趣有關(guān)，這就決定了我對于傳記文學獻身的意圖?！端膸烊珪偰俊酚袀饔涱?，指出《晏子春秋》為傳之祖，《孔子三朝記》為記之祖，這是三百年前的看法，現(xiàn)在用不上了。有人說《史記》《漢書》為傳記之祖，這個也用不上?！妒贰贰稘h》有互見法，對于一個人的評價，常常需要通讀全書多卷，才能得其大略?？墒窃趥饔浳膶W里，一個傳主只有一本書，必須在這本書里把對他的評價全部交代。是不是古人所作的傳、行狀、神道碑這一類的作品對于近代傳記文學的寫作有什么幫助呢？也不盡然。古代文人的這類作品，主要是對于死者的歌頌，對于近代傳記文學是沒有什么用處的。這些作品，畢竟不是傳記文學。除了史家和文人的作品以外，是不是還有值得提出的呢？有的，這便是所謂別傳。別傳的名稱，可能不是作者的自稱而是后人認為有別于正史，因此稱為“別傳”。有些簡單一些，也可稱為傳敘。這類作品寫得都很生動，沒有那些阿諛奉承之辭，而且是信筆直書，