簡介：●分類號硼30L二密級單位代碼10422學號口綁口鈣D習7⑧厶第只孥碩士學位論文SHANDONGUNIVERSITYMASTERSTHESIS論文題目復孑擬式捌釣電槲哆鄉(xiāng)剛瘟彖夠開屯乃EM時腳批厶刪幽刪一，N繃叼國純帆勘以M玩6毗以融們叼業(yè)，屯倦加／D年肜月J子日作專導◆●原創(chuàng)性聲明本人鄭重聲明所呈交的學位論文，是本人在導師的指導下，獨立進行研究所取得的成果。除文中已經(jīng)注明引用的內(nèi)容外，本論文不包含任何其他個人或集體已經(jīng)發(fā)表或撰寫過的科研成果。對本文的研究作出重要貢獻的個人和集體，均已在文中以明確方式標明。本聲明的法律責任由本人承擔。論文作者簽名整墨空一EL期壘型監(jiān)墮妲關于學位論文使用授權的聲明本人完全了解山東大學有關保留、使用學位論文的規(guī)定，同意學校保留或向國家有關部門或機構送交論文的復印件和電子版，允許論文被查閱和借閱；本人授權山東大學可以將本學位論文的全部或部分內(nèi)容編入有關數(shù)據(jù)庫進行檢索，可以采用影印、縮印或其他復制手段保存論文和匯編本學位論文。保密論文在解密后應遵守此規(guī)定論文作者簽名雀壘墮導師簽名虛丞日期型直塑旦

簡介：南京航空航天大學碩士學位論文基于多抄表模式的嵌入式手持抄表設備的設計與實現(xiàn)姓名王輝申請學位級別碩士專業(yè)計算機應用技術指導教師馬維華20080101南京航空航天大學碩士學位論文VABSTRACTWITHTHEBROADAPPLICATIONOFAUTOMATICMETERREADINGSYSTEMINRESIDENTIALAREATHEHHELDMETERREADINGDEVICEISDEVELOPINGFASTASTHEMOBILESERVICETERMINALWHICHIMPROVESTHEMETERREADINGPERSON’SWKINGEFFICIENCYSINCETHEINTELLIGENTHHELDDEVICEHAVINGSOMESPECIALTIESSUCHASPTABILITYMOBILITYINTELLIGENCEINVOLVINGTHETECHNOLOGYOFEMBEDDEDSYSTEMEMBEDDEDMOBILEDATABASEMOBILECOMPUTINGTHERESEARCHDEVELOPMENTOFTHEHHELDDEVICEWITHMETERREADINGISACOMPLICATEDSYSTEMICPROJECTBYANALYZINGTHEADVANTAGEDISADVANTAGEOFMAINHHELDMETERREADINGDEVICEINTHEMARKETTHEHHELDDEVICEWITHHIGHPERFMANCEMULTIPLEMETERREADINGMODESSUCHASRS232SERIALINFRAREDWIRELESSRFISWKEDOUTFINALLYTHEAPPLICATIONPROGRAMMOFAUTOMATICMETERREADINGSYSTEMABOUTWATERISIMPLEMENTEDBASEDONWINDOWSCEEMBEDDEDOSPLATFMFIRSTLYACCDINGTOTHEFUNCTIONALREQUIREMENTTHETHESISBRINGSFWARDTHETOTALSOLUTIONABOUTHHELDDEVICERESEARCHESDESIGNSTHEMAINHARDWAREMODULETHEEXTENDEDMODULEWHICHIMPLEMENTSTHEMULTIPLEMETERREADINGMODESSECONDLYITRESEARCHESTHEARCHITECTURECUSTOMEDSTAGESFWINDOWSCEOSTHEMETHODSOFPTINGADDINGTHESERIALDRIVERITDESIGNSTHEGENERALMETERREADINGSERIALCLASSUSINGTHEOBJECTIENTEDIDEAMULTIPLETHREADSTECHNOLOGYITDESCRIBESTHEPROCESSOFMETERREADINGFUNCTIONBASEDONTHECOMMUNICATIONPROTOCOLBYSELFDEFINEDTHIRDLYITRESEARCHESTHESYSTEMATICAPPLICATIONARCHITECTUREOFSQLSERVERCEANALYZESTHECOMMONPROCESSOFACCESSINGLOCALDATABASEENGINEEFFICIENTLYBYOLEDBINTERFACEACCDINGTOTHESPECIALTYOFDATASYNCHRONIZATIONTECHNOLOGYINSQLSERVERCEITBRINGSFWARDTHEOPTIMIZEDAPPLICATIONSTRATEGYOFDATASYNCHRONIZATIONINMOBILEENVIRONMENTTHEDATASYNCHRONIZATIONISSUEFMOBILEDEVICEISSOLVEDALLTHEFUNCTIONSOFHHELDDEVICEACCDWITHDESIGNREQUIREMENTSBYFIELDTESTINGTHEDEVICEHASBROADMARKETPROSPECTSWITHTHESPECIALTYOFHIGHPERFMANCELOWPOWERCONSUMPTIONMULTIPLEMODESKEYWDSEMBEDDEDSYSTEMHHELDDEVICEMULTIPLEMETERREADINGMODESINTELPXA255WINDOWSCESERIALDRIVERSQLSERVERCEDATASYNCHRONIZATION

簡介：論文題目基于嵌入式系統(tǒng)的JPEG數(shù)字盲水印研究專業(yè)計算機應用技術碩士生李麗娜簽名指導教師李愛國簽名摘要數(shù)字水印是解決數(shù)字多媒體作品認證的一個重要途徑，是傳統(tǒng)加密有效的補充手段，它已經(jīng)成為信息安全領域的重要研究課題。數(shù)字水印技術是在多媒體數(shù)字作品中嵌入隱藏信息，只有通過專用的檢測器才能提取。隨著嵌入式設備的普及，嵌入式設備采集的圖像在使用無線傳輸時，會遭受到節(jié)點和圖像數(shù)據(jù)的偽造攻擊等，在嵌入式設備上對圖像嵌入水印可以達到鑒別節(jié)點和數(shù)據(jù)源的真?zhèn)蔚哪康?。本文研究基于嵌入式系統(tǒng)的JPEG數(shù)字盲水印算法，主要工作包括針對嵌入式監(jiān)控系統(tǒng)中存在的認證安全性和傳輸數(shù)據(jù)量大問題，提出了一種基于嵌入式系統(tǒng)的JPEG數(shù)字盲水印算法。算法步驟為第一，使用ARNOLD變換置亂水印圖像；第二，把圖像分成不重疊的88的數(shù)據(jù)塊；第三，首先仿三維DCT變換，然后使用QIM的嵌入算法嵌入水印，再進行反一維DCT變換；第四，量化和熵編碼形成JPEG的數(shù)據(jù)。水印的提取算法的步驟為第一，將JPEG圖像進行熵解碼和反量化；第二，將得到的數(shù)據(jù)塊進行一維DCT變換，使用QIM的提取算法計算水印的值；第三，將提取出的數(shù)據(jù)進行周期性ARNOLD變換。所提出的算法將QIM與JPEG和DCT變換結合，加強了水印的不可見性和魯棒性。將上述算法移植到ARM11嵌入系統(tǒng)，該系統(tǒng)使用LINUX操作系統(tǒng)。采用V4L2技術通過攝像頭采集圖像，并把采集到的圖像用所提出的算法嵌入水印并壓縮成JPEG格式，通過無線網(wǎng)絡把嵌入水印的JPEG圖像發(fā)送到計算機。在計算機端可以提取JPEG圖像的水印，驗證數(shù)據(jù)源的真?zhèn)巍Ｓ嬎銠C端把收到的JPEG數(shù)據(jù)，轉換成AVI視頻，提供給用戶。實際應用表明，盡管所提出算法雖然對旋轉攻擊的抵抗性性能一般，但是對高斯噪聲、椒鹽噪聲、裁剪攻擊以及濾波攻擊都具有良好抵抗性。關鍵詞數(shù)字水?。涣炕饕{制；嵌入式系統(tǒng)；信息安全；圖像壓縮研究類型應用研究萬方數(shù)據(jù)SUBJECTTHERESEARCHOFJPEGBLINDWATERMARKINGBASEDONEMBEDDEDSYSTEMSPECIALTYCOMPUTERAPPLICATIONTECHNOLOGYNAMELILINASIGNATUREINSTRUCTLIAIGUOSIGNATUREABSTRACTDIGITALWATERMARKINGISONEOFIMPTANTWAYSTOSOLVETHEDIGITALMULTIMEDIAAUTHENTICATIONITISONEOFEFFECTIVECOMPLEMENTMEANSOFTRADITIONALENCRYPTIONBECOMESANIMPTANTRESEARCHINTHEFIELDOFINFMATIONSECURITYDIGITALWATERMARKINGTECHNOLOGYREFERSTOEMBEDTHEHIDDENINFMATIONINTODIGITALMULTIMEDIAWKSEMBEDDEDHIDDENINFMATIONINDIGITALMULTIMEDIAWKSCANBEEXTRACTEDTHROUGHONLYTHEDEDICATEDDETECTWITHTHEPOPULARIZATIONOFEMBEDDEDDEVICESTHEYWILLFACENODESIMAGEFGERYATTACKSWHENIMAGEDATAARESENTBYWIRLESSWKIMAGEWATERMARKINGCANCERTIFICATENODESDATASOURCEONTHEEMBEDDEDSYSTEMTHISTHESISRESEARCHESBASEDONEMBEDDEDSYSTEMOFJPEGBLINDDIGITALWATERMARKINGTHEMAJWKCANBESUMMARIZEDASFOLLOWINGABLINDDIGITALWATERMARKINGALGITHMOFJPEGBASEDONEMBEDDEDSYSTEMISPROPOSEDFSOLVINGTHEPROBLEMSOFAUTHENTICATIONMASSDATATRANSMISSIONONTHEEMBEDDEDMONITINGSYSTEMTHESTEPSOFINGWATERMARKINGAREFIRSTLYWATERMARKINGIMAGEISSCRAMBLEDBYANLD’STRANSFMSECONDELYHOSTIMAGEISDEVIDEDINTONONOVERLAPDATABLOCKSTHIRDLYBLOCKSDATAAREEXECUTEDPSEUDOTHREEDIMENSIONDCTEDWATERMARKINGBYQIMEXECUTEINVERSEONEDEMINSIONDCTFINALLYBLOCKSDATAAREQUANTIZATEDENTHROPYCODEDTOBEJPEGDATATHESTEPSOFEXTRACTINGWATERMARKINGAREFIRSTLYJPEGDATAAREENTROPYDECODEDINVERSEQUANTIZATEDSECONDLYBLOCKSDATAAREEXECUTEDINVERSEONEDIMENSIONDCTEXTRACTEDWATERMARKINGBYQIMEXTRACTINGCALCULATIONTHIRDLYTHEEXTRACTEDWATERMARKINGISCONDUCTEDPERIODICALLYARNOLD’STRANSFMTHISALGITHMCOMBINESJPEGWITHQIMDCTTOSTRENGTHENITSINVISIBILITYROBUSTNESSTHEPROPOSEDALGITHMISTRANSPLANTEDONARM11EMBEDDEDSYSTEMTHATUSESLINUXOPERATINGSYSTEMCAMERAACQUISITESIMAGEDATABYV4L2TECHNIQUEAREED萬方數(shù)據(jù)

簡介：工學碩士學位論文基于嵌入式SOC的高速數(shù)據(jù)傳輸系統(tǒng)的研究孫進章哈爾濱工業(yè)大學2008年12月CLASSIFIEDINDEXTP31681UDC6123THESISFTHEMASTERDEGREEOFENGINEERINGRESEARCHOFHIGHSPEEDDATATRANSMISSIONSYSTEMBASEONEMBEDDEDSOCCIDATEJINZHANGSUNSUPERVISASSOCIATEPROFXINWANGACADEMICDEGREEAPPLIEDFMASTEROFENGINEERINGSPECIALTYCONTROLSCIENCEENGINEERINGAFFILIATIONSHENZHENGRADUATESCHOOLDATEOFDEFENCEDECEMBER2008DEGREECONFERRINGINSTITUTIONHARBININSTITUTEOFTECHNOLOGY

簡介：哈爾濱理工大學碩士學位論文基于ΜCOSⅡ的嵌入式文件系統(tǒng)研究與設計姓名遲歡歡申請學位級別碩士專業(yè)計算機應用技術指導教師李巖20090301哈爾濱理T大學下學碩士學位論文RESEARCHANDDESIGNOFEMBEDDEDFILESYSTEMBASEDONPC／OSIIABSTRACTWITHTHEDEVELOPMENTOFTHE鋤BEDDEDTECHNOLOGYTHECOSTOFEXTERNALSTORAGEEQUIPMENTDESCENDSGRADUALLYANDINCREASINGLYCOMPOUNDDATARESOURCEFORAPPLICATIONCALLSFORMANAGEMENTSOHOWTOMANAGEDATAANDFACILITIESHASBEENASIGNIFICANTPROBLEMINTHEDEVELOPMENTOF鋤BEDDEDSYSTEMASACOMPONENTOF伽MEDD。DREALTIMEOPERATIONSYSTEMTHE朗曲EDDEDFILESYSTEMHASTHEPROFESSIONALCAPABILITYOFMANAGEMENTFORBOTHDATAACCESSANDEXTERNALSTORAGEWITHTHEPRINCIPLEOFTAKINGADVANTAGEOFLIMITEDR鶴OUL“CEWITHMASTCOSTTHEEMBEDDEDFILESYSTEMBASEDONRTC／OSIIWASFOCUSEDINTHISTHESISWITHPC／OSIIASTHEOPERATINGSYSTEMKERNEL，THEAPPLICATIONTOCONSTRUCTTHEEMBEDDEDFILESYSTEMINTHISTHESISWASDEVELOPEDFIRSTLYTHEBASICTHEORYANDCURRENTDEVELOPINGSTATUSOFEMBEDDEDFILESYSTEMWEREINVESTIGATED；THECURRENTPOPULARFILEFORMATSWEREANALYZEDINADDITIONTHENFATFILESYSTEMWASELECTEDFORDESIGNINGOBJECTANDFATFILESYSTEMCRITERIONWASSPECIFICALLYDISCUSSEDTYPICALSTORAGEEQUIPMENTANDKEYTECHNOLOGYBASEDONFLASHSTORAGEWEREELABERATEDALSOTHEPLATFORMINCLUDINGSOI蕾WAREEMBEDDEDREALTIMEOPERATINGSYSTEMANDHARDWAREEV44BO11WEREINTRODUCEDTHETRANSPLANTINGMETHODOFPC／OSIIWASPRESENTATIONEDSECONDLY，THESTRUCTUREANDOPERATIONOFFILEMANAGEMENTLAYERDEVICEDRIVELAYERANDAPPLICATIONINTERFACELAYERWASDESIGNEDITAPPEARSTHATSTORAGEMECHANISMFORFATTABLEWASIMPROVEDSUITABLYFORFLASHSTORAGEBECAUSEOFNANDFLASHHARDWAREPARTICULARITYALLADDITIONALBADBLOCKMANAGEMENTANDBALANCEDERASCTEDUCEFLASHWEAL“WEREADOPTEDTHEAPPLICATIONINTERFACELAYERFUNCTIONWASREALIZEDFINALLYWITHPROPERSOFTWAREANDHARDWAREPLATFO咖CHOOSED，THEEMBEDDEDFILESYSTEMWASCERTIFIEDATLASTBASEDONTHEEXPERIMENTALRESULTITPROVESTHATTHISII

簡介：上海交通大學碩士學位論文基于TCPIP網(wǎng)絡連接的嵌入式控制平臺的研究姓名奚焜申請學位級別碩士專業(yè)電力電子與電力傳動指導教師李樹廣20030101上海交通大學學位論文版權使用授權書本學位論文作者完全了解學校有關保留、使用學位論文的規(guī)定，同意學校保留并向國家有關部門或機構送交論文的復印件和電子版，允許論文被查閱和借閱。本人授權上海交通大學可以將本學位論文的全部或部分內(nèi)容編入有關數(shù)據(jù)庫進行檢索，可以采用影印、縮印或掃描等復制手段保存和匯編本學位論文。保密囪，在L年解密后適用本授權書。本學位論文屬于不保密口。請在以上方框內(nèi)打“√”季衫日期加3年3月，0日艮C夕堋‰月翻；，者≠儲凈文跏敝一位期擎臣

簡介：申請學位級別碩士學科類別工學學科專業(yè)名稱計算機系統(tǒng)結構論文提交日期2007年12月論文答辯日期2008年1月學位授予日期答懶糊高福祥教授評閱人劉浪濤劉輝林東北大學2007年12月／ATHESISFORTHEDEGREEOFMASTERINCOMPUTERARCHITECTURETHEDESIGNANDREALIZATIONOFEMBEDDEDIMAGECAPTURESYSTEMBASEDONUSBBYWANGCHUNLEISUPERVISORPROFESSORLIJINGJIAONORTHEASTEMUNIVERSITYDECEMBER2007

簡介：點擊查看更多基于str711的嵌入式rfid終端的設計和應用精彩內(nèi)容。

簡介：天津大學碩士學位論文基于OXF框架構建微機保護嵌入式實時多任務軟件平臺姓名侯志光申請學位級別碩士專業(yè)計算機技術指導教師車明劉世明20070301ABSTRACTTOMEETTHEELECTRICPOWERSYSTEMVOLTAGEPOWERGROWSANDPOWER鰣DSTRUCTUREOFTHEINCREASINGCOMPLEXITYOFTHEREQUIREMENTSOFCOMPUTERPROTECTION，INVIEWOFTHECURRENTCOMPUTERPROTECTIONSOFTWARESMALLERSINGLEFUNCTION，LESSINTELLIGENT，MOSTLYWRITTENINASSEMBLYLANGUAGEUSIL唱ALINEARPROCESS，THISPAPERPROPOSESANEWDESIGNIDEASABOUTCOMPUTERPROTECTIONSOFTWAREPLATFORMADOPTSTRATIFIEDABSTRACTTHINKING，USINGEMBEDDEDREALTIMEMULTITASKINGOPERATINGSYSTEMSANDOXFAPPLICATIONFRAMEWORKTOBUILDANEWCOMPUTERPROTECTIONSOFTWAREPLATFORMFIRST，THEPAPERANALYSISESANDILLUMINATESSYSTEMARCHITECTUREOILCOMPUTERPROTECTIONSOFTWAREPLATFORMTHEN，INORDERTOMAKECOMPUTERPROTECTSOFTWAREPLATFORMTOFACILITATETRANSPLANTATIONTHECONCEPTOFEMBEDDEDOPERATINGSYSTEMISABSTRACTEDANDTHEOPERATINGSYSTEM湘YERISESTABLISHEDOXFISTHEFOUNDATIONOFTHECONSTRUCTIONOFCOMPUTERPROTECTSOFTWAREPLATFORMBASEDONCAREFULSTUOFOXFFRAMEWORKWEHAVEDETAILLYDESIGNEDANDIMPLEMENTEDTHECONTENTOFOXFANDHAVEGIVENAEXAMPLETOANALYSISITSEVENTDRIVENMECHANISMMEMORYMANAGESYSTEM，DOCUMENTMANAGESYSTEMANDDATABASEISTHESUPPORTMODULEOFCOMPUTERPROTECTSOFTWAREPLATFORMPROTECTIONCOMMUNICATIONSMODULEEXCHANGESDATAWITHTHEPROTECTIONANDMONITORINGSOFTWAREMODULETHEAPILAYERPROVIDESACOMPLETEDATAANDFUNCTIONALINTERFACESFORTHEAPPLICATIONLAYERMODULEAPPLICATIONLAYERMODULEISTHEMODULEWHICHCOMPUTERPROTECTIONDEVICESPROVIDEFUNCTIONSFOREXTERNALAPPLICATIONTHEPAPERDISCUSSESTHEDESIGNANDINPLETEMENTOFTHESEMODULESINDETAILNOWCOMPUTERPROTECTSOFT、VAREPLATFORMHASBEENSUCCESSFULLYAPPLIEDTODF3600HI曲VOLTAGERELAYPROTECTIONSYSTEMSTHESTRONGFUNCTIONFLEXIBLECONFIGURATION，REUSABILITYOFAPPLICATIONMODULE，PORTABILITYOFTHEROCKBOTTOMETCABOUTTHESOFTWAREPLATFORMHAVEBEENFULLYVERIFIEDANDITHASPRODUCEDACERTAINDEGREEOFECONOMICANDSOCIALBENEFITSINTHEPERIODOFTHEOPERATIONOFTHEHIGHVOLTAGEPROTECTIONSYSTEM。KEYWORDSOXFUML，EVENTDRIVENMECHANISMEMBEDDEDREALTIME

簡介：西安電子科技大學碩士學位論文基于POWERPC的嵌入式通信平臺的研究與實現(xiàn)姓名王晶申請學位級別碩士專業(yè)計算機應用技術指導教師顧新20080101ABSTRACTTHEDISSERTATIONFOCUSONTHEHARDWARE，SOFTWAREENVIRONMENT，DRIVERANDSYSTEMAPPLICATION，THENDESIGNSANEMBEDDEDCOMMTMICATIONPLATFORM，WHICHCANPROVIDEACOMMONANDFEASIBLESOLUTIONFORTHEDEVELOPMENTOFEMBEDDEDSYSTEMSUSEDINCOMMUNICATIONFIRSTLY，THEDISSERTATIONDISCUSSESTHEHARDWAREDESIGN，INCLUDINGTHEOVERALLSTRUCTUREANDALLOFINTERFACESATTHESAMETIME，SOMEASSISTANTTECHNIQUEAREINTRODUCEDFORINSTANCETHEPPCBOOTGUIDEPROGRAM，EMBEDDEDLINUXCONFIGURATIONCOMPILINGANDTRANSPLANTATIONTECHNOLOGYONTHEEMBEDDEDLINUX；THENMAINLYEXPATIATESRTL8019ASETHEMETCONTROLLERDRIVERANDSERIALINTERFACEDRIVEROFEMBEDDEDCOMMUNICATIONPLATFORM；FINALLY，DISCUSSESTHEAPPLICATIONPROGRAMDEVELOPMENTANDDRIVERTESTINGASERIALCOMMUNICATIONAPPLICATIONANDASIMULATEDPINGCOMMANDPROGRAMAREDEVELOPED，WHICHTESTTHEFUNCTIONANDPERFORMANCEOFTHESERIALINTERFACEDRIVERANDETHERNETCONTROLLERDRIVEROFTHEEMBEDDEDCOMMUNICATIONPLATFORMKEYWORDSEMBEDDEDCOMMUNICATIONPLATFORMDEVICEDRIVERETHERNETCONTROLLERSERIAL

簡介：江南大學碩士學位論文基于PETRI網(wǎng)的嵌入式系統(tǒng)建模與驗證研究姓名周青申請學位級別碩士專業(yè)計算機應用技術指導教師張偉20091201ABSTRACTABSTRACTEMBEDDEDSYSTEMSBECOMESMOREANDMORECOMPLICATEDWITHITSWIDESPREADUSEINAVARIETYOFDOMAINSMODELINGAPPROACHCOULDIMPROVETHECORRECTNESS，SHORTENTHEPERIODOFDESIGN，ANDREDUCETHECOSTINEMBEDDEDSYSTEMDEVELOPMENTBASEONPETRINET，WEDIDSOMERESEARCHONEMBEDDEDSYSTEMMODELINGANDVERIFICATIONEMBEDDEDSYTEMSARECHARACTERIZEDBYTHEIRDEDICATEDFUNCTION，REALTIMEANDCONCURRENTBEHAVIORANDHIGHREQUIREMENTSONRELIABILITYANDCORRECTNESSINORDERTODEVISESYSTEMSWITHSUCHFEATURES，THEDESIGNPROCESSMUSTBEBASEDUPONAFORMALREPRESENTATIONTHATCAPTURESTHECHARACTERISTICSOFEMBEDDEDSYSTEMSPETRINETSAREALLGOODREPRESNETATIONFORTHISSORTOFSYSTEMSITCALLREPRESENTPARALLELASWELLASSEQUENTIALACTIVITIESANDEASILYCAPTURENONDETERMINISTICBEHAVIORSHOWEVELTHETRADITIONALPETRINETMODELLACKSTHENOTIONOFTIMEANDDATAEXPRESSION，ITCANNOTREPRESENTTHEREALTIMEREQUIREMENTANDDATAFLOWTOMEETTHESEPROBLEMS，THISPAPERPROPOSEDTHERESEARCHONEMBEDDEDSYSTEMMODELINGANDANALYSISBASEONPRESFIRSTWEPRESENTAFORMALCOMPUTATIONMODELPRESFOREMBEDDEDSYSTEMTHEMODELCANCAPTURESOMEIMPORTANTFEATURESOFEMBEDDEDSYTEMS，INWHICHTOKENSHOLDINFORMATION，TRANSITONSPERFORMTRANSFORMATIONOFDATA，ANDTIMINGISCAPTUREDBYASSOCIATINGLOWERANDUPPERLIMITSTOTHEDURATIONOFACTIVITIESRELATEDTOTRANSITIONSFURTHERMORE，INTRODUCETHEHIERARCHYMECHANISMASWELLASTHECOMPOSITONANDMODIFICATIONOPERATIONHIERARCHYISAUSEFULTOOLTHATALLOWSTHESYSTEMTOBECONSTRUCTEDINASTRUCTUREDWAYBYCOMPOSINGANUMBEROFFULLYUNDERSTANDBLEENTITIES；THECOMPOSITIONANDMODIFICAIONOPERATIONCANCHANGETHEFUNCTIONSORSTATESADDBYADDINGORREDUCINGTHEMODULE，THUS，ITCHANGESTHENETMODELINALOWEREFFECT，ANDPERSERVESTHESYSTEMPROPERTIES，SOTHATWENEEDNOTTOVERIFYITSPROPERTIESAFTERCHANGEDAGAINSENCOND，WEPRESNETTHEANALYSISANDVERIFICATIONOFTHESYSTEMMODEL，PROPOSETWOMETHODSTOANALYZEANDVERIFYTHESYSTEMSREPRESENTEDINPRESTHEFIRSTMETHODISTHEFORMALVERIFICATION，INWHICHMODELCHECKINGISUSEDTOPROVEWHETHERTHESYSTEMMODELSATISFIESITSREQUIREDPROPERTIESEXPRESSEDASTEMPROALLOGICFORMULASINTRODUCEATRANSLATIONPROCEDURETHATTRANSLATETHEPRESMODELTOTIMEAUTOMATA，ANDTHENANALYZEANDVERIFYTHETAMODELUSINGTHEUPPAAL；THESECONDMETHOD，THROUGHTHEPROGRAMTOSIMULATETHECHANGESOFTHETOKENINEVERYPLACES，SIMULATETHEDYNAMICBEHAVIOROFPETRINETTOACHIEVETHEANALYSISANDTESTINGPURPOSESBESIDES，PROPOSEASTRATEGYSIMPLIFYTHEPRESMODELTHROUGHTHECORRECTNESSPERSERVATIONEQUIVALENTTRANSLATION，INORDERTOIMPROVETHEVERIFICATIONEFFICIENCYKEYWORDSEMBEDDEDSYSTEM，PETRINET，PRES，MODELING，HIERARCHYCOMPOSITONANDMODIFICATION，ANALYSISANDVERIFICATION，TIMEAUTOMATA，EQUIVALENTTRANSFORMATIONII

簡介：基于基于LINUX的多路嵌入式控制系統(tǒng)掃描儀驅動設計實現(xiàn)的多路嵌入式控制系統(tǒng)掃描儀驅動設計實現(xiàn)題（中、英文）（中、英文）目DESIGNIMPLEMENTATIONOFDRIVERSOFTWAREOFSCANNEROFMULTICHANNELCONTROLSYSTEMONEMBEDDEDLINUX作者姓名作者姓名賈群立曹伯燕教授軟件工程提交論文日期提交論文日期二〇一一年六月張建國高工代號分類號學號密級代號分類號學號密級1070110701TP3115TP3115公開1006201310062013UDC編號編號學校指導教師姓名職稱工程領域學校指導教師姓名職稱工程領域企業(yè)指導教師姓名職稱企業(yè)指導教師姓名職稱

簡介：分類號UDC注L密級Y1409865學位論文基J’三_塵墜N衛(wèi)FLASH的嵌人式文件系統(tǒng)的研究與實現(xiàn)題名和副題名楊春林作者姓名指導教師姓名雷骯教授電王整整盤堂廑簽職務、職稱、學位、單位名稱及地址申請專業(yè)學位級別互亟專業(yè)名稱進篁扭廑旦撞盔論文提交日期2Q立81壘論文答辯日期2QQ墨主學位授予單位和日期電壬型撞太塋答辯委員會主席評閱人2008年月日注1注明國際十進分類法UDC的類號。摘要磨損平衡。根據(jù)以上方法，基于已有的YAFFS文件系統(tǒng)，本文實現(xiàn)了一個新的文件系統(tǒng)SFFS。測試結果表明，SFFS在啟動時間、內(nèi)存消耗和磨損平衡三方面的性能上都較YAFFS有不同程度的提高。關鍵詞嵌入式文件系統(tǒng)，NANDFLASH，磨損平衡，垃圾回收Ⅱ

簡介：合肥工業(yè)大學碩士學位論文基于LWIP的嵌入式WEB服務器的研究與實現(xiàn)姓名張亞魁申請學位級別碩士專業(yè)計算機應用技術指導教師魏臻20090401THERESEARCHANDIMPLEMENTATIONOFEMBEDEDEWEBSERVERBASEDONLWLPABSTRACTINRECENTYEARS，WITHTHEDEVELOPMENTOFEMBEDDEDSYSTEMS，AVARIETYOFEMBEDDEDDEVICESHASBEENWIDELYUSEDINHOUSEHOLD，INDUSTRIAL，MILITARYANDOTHERFIELDSINTHEAPPLICATIONOFQUANTITYFARMORETHANTHEGENERALPURPOSECOMPUTERSTODAY’SSOCIETYHASCOMEINTOTHEINFORMATIZATION，NETWORKBASEDERA，AVARIETYOFEMBEDDEDDEVICESAREALSONEEDTHEUSEOFTHEINTERNETTOSENDTHEINFORMATIONQUICKLYANDEASILYSPREADTOANYOFTHELOCATIONSURGENTLY，INORDERTOACHIEVEREMOTECONTR01HOWTEALIZETHEEMBEDDEDNETWORKINGINTHEEMBEDDEDDEVICESOFLIMITEDRESOURCESHASBECOMEANIMPORTANTQUESTIONTHATNEEDSTOBEPAIDATTENTIONANDRESEARCHED。TODAY，INANUMBEROFCONTROLAREAS，USETHECAN，RS232，ETCBUSNETWORKTOACHIEVETHEEXCHANGEOFINFORMATIONBETWEENTHEMCUTHEBUSNETWORKWILLBEANEFFECTIVERADIUSISLIMITED，LESSCOMMUNICATIONPROTOCOL，ANDISOLATEDFROMTHEOUTSIDEINTERNETINTHEBASEOFTHISSTATUSQUO，THISDISSERTATIONPROPOSEDTHEEMBEDDEDWEBSERVER，THROUGHTHEWEBTECHNOLOGY，THEINFORMATIONWILLBESENDINTHEFORMFOWEBPAGESTOANYWHEREDYNAMICLYANDQUICKLYSOTHATEMBEDDEDINTERNETBECOMEAREALITYACCORDINGTOTHECHARACTERISTICSOFTHEEMBEDDEDDEVICES，INDEPTHSTUDYANDANALYSISOFTHETCP／IPPROTOCOLSTACKFEATURESASWELLASTHECOMMUNICATIONPROTOCOLONTHEEXISTINGBASISOFCOMPARISON，THEDISSERTATIONPROPOSEDLWIP，WHICHISANEWCOMMUNICATIONPROTOCOLSUITABLETOTHEEMBEDDEDSYSTEMSBASEONTHEANALYSISOFTHECHARACTERISTICSOFTHEEMBEDDEDDEVICESANDTHEFUNCTIONALREQUIREMENTS，THEDISSERTATIONSHEAREDTHETCP／IPPROTOCOLSTACK，SOTHATLWIPCANRUNONSOTHATLIMITEDRESOURCESLWIPCANRUNONTHEEMBEDDEDDEVICESINRDERTOREALIZETHEFUNCTIONOFDYNAMICWEBSERVER，THEDISSERTATIONANALYSISEDTHECGITHATISTHEDYNAMICTECHNOLOGYOFSUITABLETOTHEEMBEDDEDSYSTEMS，RESEARCHEDTHECGITHROUGHTHEURL，F(xiàn)ORMTOREALIZETHEFUNCTIONOFDYNAMICINTERACTIONPROPOSEDTHESIMPLEEMBEDEDECGI，SOTHATEMBEDDEDWEBSERVERCANREALIZATIONASIMPLEDYNAMICWEBPOSSIBLELYTHEPAPERPROPOSEDTHEDYNAMICEMBEDDEDWEBSERVER，ANDIMPLEMENTATIONEDBASEDONTHEEMBEDDEDLWIP，F(xiàn)ILESYSTEMANDCGI，ALLOWINGUSERSTOBEABLETOCONTROLTHEEMBEDDEDSYSTEMINREALTIMETHROUGHHATERNETWEB

簡介：分類號密級UDC注1學位論文基于LINUX的嵌入式學生信息管理系統(tǒng)的研究與實現(xiàn)（題名和副題名）張慶橋（作者姓名）指導教師姓名魯珂高工電子科技大學成都王立波高工遼河油田鉆井二公司遼河（職務、職稱、學位、單位名稱及地址）申請專業(yè)學位級別碩士專業(yè)學位類別工程碩士工程領域名稱軟件工程提交論文日期20093論文答辯日期20095學位授予單位和日期電子科技大學答辯委員會主席評閱人2009年月日注1注明國際十進分類法UDC的類號獨創(chuàng)性聲明本人聲明所呈交的學位論文是本人在導師指導下進行的研究工本人聲明所呈交的學位論文是本人在導師指導下進行的研究工作及取得的研究成果。據(jù)我所知，除了文中特別加以標注和致謝的作及取得的研究成果。據(jù)我所知，除了文中特別加以標注和致謝的地方外，論文中不包含其他人已經(jīng)發(fā)表或撰寫過的研究成果，也不地方外，論文中不包含其他人已經(jīng)發(fā)表或撰寫過的研究成果，也不包含為獲得電子科技大學或其它教育機構的學位或證書而使用過的包含為獲得電子科技大學或其它教育機構的學位或證書而使用過的材料。與我一同工作的同志對本研究所做的任何貢獻均已在論文中材料。與我一同工作的同志對本研究所做的任何貢獻均已在論文中作了明確的說明并表示謝意。作了明確的說明并表示謝意。簽名簽名日期日期2009年月日關于論文使用授權的說明關于論文使用授權的說明本學位論文作者完全了解電子科技大學有關保留、使用學位論文本學位論文作者完全了解電子科技大學有關保留、使用學位論文的規(guī)定，有權保留并向國家有關部門或機構送交論文的復印件和磁盤，的規(guī)定，有權保留并向國家有關部門或機構送交論文的復印件和磁盤，允許論文被查閱和借閱。本人授權電子科技大學可以將學位論文的全允許論文被查閱和借閱。本人授權電子科技大學可以將學位論文的全部或部分內(nèi)容編入有關數(shù)據(jù)庫進行檢索，可以采用影印、縮印或掃描部或部分內(nèi)容編入有關數(shù)據(jù)庫進行檢索，可以采用影印、縮印或掃描等復制手段保存、匯編學位論文。等復制手段保存、匯編學位論文。（保密的學位論文在解密后應遵守此規(guī)定）（保密的學位論文在解密后應遵守此規(guī)定）簽名簽名導師簽名導師簽名日期日期年月日