CTCS2ATO列控系统通信控制服务器建模与应用问题研究

?????????...?????.?...???...........16 Description ofScenarios????..?????????????????????.S Operation Scenarios Modeling?????.....???.????....????..27 FormalModeling Methods and Tools?????..??.???????????.27 Modeling S Operation Scenarios??????????????????.,3 Vefification andAnalysis ofCPN Models??.??????????????..48 Summary ofChapter?????????????.??????????????..54 Research on Applications S????????.?????????????57 Problems and Research Significance??.???????????.??????57 StatusQuo ofInformation Hiding???.???。?????。?。。。。.。。?。?。。?。?.。57 Introduction toSpeech Codec?????????????????.??????58 Introduction ofIdentity InformationHiding Scheme forTrain Drivers?..。60 Information Hiding Algorithm based on LSF Parameters?????????60 Experimental Results Analysis???????.???...???????????..64 III 万方数据