簡(jiǎn)介：在社會(huì)高度信息化的今天，社會(huì)生產(chǎn)生活高度依賴軟件系統(tǒng)，因此軟件系統(tǒng)的安全性與可靠性也就顯得愈加重要，通過(guò)形式化驗(yàn)證的方式保證程序的安全是一種重要的手段。形式化驗(yàn)證有兩種方法，一種是模型檢測(cè)，模型檢測(cè)能夠通過(guò)遍歷系統(tǒng)所有的狀態(tài)空間，自動(dòng)驗(yàn)證有窮狀態(tài)的系統(tǒng)并構(gòu)造不滿足性質(zhì)定理的反例。另一種是演繹推理，它使用形式化的方式對(duì)程序進(jìn)行數(shù)學(xué)推理，盡管以這種方式實(shí)現(xiàn)的自動(dòng)驗(yàn)證工具早已有實(shí)驗(yàn)室開(kāi)發(fā)出來(lái)，但是至今都無(wú)法在工業(yè)界使用。究其原因在于自動(dòng)定理證明方面的困難，因?yàn)椴还苁菙嘌哉Z(yǔ)言描述能力的提升、循環(huán)不變式的推斷、別名判斷和驗(yàn)證條件的證明等，最終還是受到自動(dòng)定理證明器能力的影響。鑒于這些原因，在研究自動(dòng)定理證明的同時(shí)，應(yīng)當(dāng)適當(dāng)考慮降低對(duì)自動(dòng)定理證明期待，可以通過(guò)設(shè)計(jì)安全的語(yǔ)言去提高合法程序的門檻，同時(shí)設(shè)計(jì)規(guī)范語(yǔ)言來(lái)描述程序代碼的行為性質(zhì)以降低定理證明器的負(fù)擔(dān)。本文主要貢獻(xiàn)第一，設(shè)計(jì)了一種面向驗(yàn)證的C語(yǔ)言子集，稱為安全C語(yǔ)言。在基于HOARE邏輯推理規(guī)則對(duì)程序進(jìn)行形式驗(yàn)證過(guò)程中，每當(dāng)使用賦值公理QEXXEQQ是賦值語(yǔ)句的后斷言，QEX表示對(duì)Q中所有X代換為E時(shí)，必須保證后斷言Q與賦值語(yǔ)句XE中沒(méi)有潛在別名，否則QEX是最弱前斷言的結(jié)論不可靠，而C語(yǔ)言廣泛存在的別名，給基于HOARE邏輯的推理帶來(lái)難題。本文在基于C99標(biāo)準(zhǔn)之上，從別名的角度討論了C語(yǔ)言的安全性以及其會(huì)給程序驗(yàn)證帶來(lái)的問(wèn)題，并以此為啟示設(shè)計(jì)了安全C語(yǔ)言，在安全C語(yǔ)言中要求對(duì)C語(yǔ)言中各種類型增加編程限制來(lái)使得對(duì)這些被限制類型的變量操作表現(xiàn)得較為規(guī)范，同時(shí)還要求使用標(biāo)注對(duì)程序加以說(shuō)明以減輕定理證明器負(fù)擔(dān)。第二，設(shè)計(jì)了一種規(guī)范語(yǔ)言，規(guī)范語(yǔ)言定義了安全C語(yǔ)言要求的標(biāo)注的語(yǔ)法語(yǔ)義及使用方式，規(guī)范語(yǔ)言以形式化的方式描述C程序的行為性質(zhì)，這些對(duì)C程序行為性質(zhì)的描述最終都會(huì)傳遞給自動(dòng)定理證明器，從而更大程度上幫助自動(dòng)定理證明器認(rèn)知程序的行為，并最終驗(yàn)證程序行為是否符合規(guī)范中的描述。在規(guī)范語(yǔ)言中還專門引入形狀描述來(lái)表示指針相關(guān)性質(zhì)，以解決指針引起的別名導(dǎo)致程序難以驗(yàn)證這一問(wèn)題。第三，基于CLANG實(shí)現(xiàn)了安全C語(yǔ)言要求的編程約束檢查以及規(guī)范語(yǔ)言的分析。

簡(jiǎn)介：點(diǎn)擊查看更多基于C＃的多軸聯(lián)動(dòng)石材橋切機(jī)控制系統(tǒng)開(kāi)發(fā).pdf精彩內(nèi)容。

簡(jiǎn)介：隨著醫(yī)療的改革發(fā)展，藥房規(guī)模的擴(kuò)大，日常藥品的需要也是與日俱增，導(dǎo)致藥品進(jìn)出次數(shù)也不斷增加，這就會(huì)產(chǎn)生大量的進(jìn)貨和存貨的數(shù)據(jù)。面對(duì)大量的藥品進(jìn)銷存信息，如果采用人工模式處理，進(jìn)度會(huì)非常慢，而且容易出現(xiàn)錯(cuò)漏，而且最終數(shù)據(jù)匯總和統(tǒng)計(jì)會(huì)非常困難。由于每天銷售量很大，出現(xiàn)錯(cuò)賬和空單的情況也不少見(jiàn)。隨著信息管理的推行，傳統(tǒng)的管理已經(jīng)不能滿足日常的需求。急需要開(kāi)發(fā)適合藥房等機(jī)構(gòu)的進(jìn)銷存系統(tǒng)，來(lái)為藥品的進(jìn)出貨管理提供支持。為了能夠通過(guò)信息技術(shù)的方式，來(lái)對(duì)藥品信息在流通過(guò)程中產(chǎn)生的數(shù)據(jù)進(jìn)行自動(dòng)化管理，提出藥品進(jìn)銷存管理系統(tǒng)的主題研究。通過(guò)采購(gòu)入庫(kù)和銷售出庫(kù)，實(shí)現(xiàn)不同的進(jìn)銷存流程，使管理過(guò)程實(shí)現(xiàn)最大程度的自動(dòng)化與信息化，使得藥店的進(jìn)銷存管理更加地清晰化、透明化，使得用戶操作上更加便捷，流程更加簡(jiǎn)化。系統(tǒng)主要功能是采購(gòu)入庫(kù)、銷售出庫(kù)及庫(kù)存預(yù)警，結(jié)合藥品的進(jìn)、銷和存的功能。庫(kù)存的實(shí)時(shí)更新與瀏覽，以及藥品信息的統(tǒng)計(jì)查詢。實(shí)現(xiàn)對(duì)藥品進(jìn)銷存流程的管理功能。本文中主要介紹了采購(gòu)入庫(kù)和庫(kù)存預(yù)警等業(yè)務(wù)流程和分析，接著，是對(duì)系統(tǒng)的體系功能進(jìn)行設(shè)計(jì)。然后是具體功能的流程、時(shí)序和類圖設(shè)計(jì)工作，最后，是對(duì)實(shí)現(xiàn)測(cè)試過(guò)程的說(shuō)明。

簡(jiǎn)介：天津大學(xué)碩士學(xué)位論文基于C的物流倉(cāng)儲(chǔ)系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)姓名王開(kāi)祥申請(qǐng)學(xué)位級(jí)別碩士專業(yè)計(jì)算機(jī)技術(shù)指導(dǎo)教師張連芳馬永健20090501ABSTRACTLOGISTICSISAPARTOFTHESUPPLYCHAINPROCESSTHATPLANS，IMPLEMENTS，ANDCONTROLSTHEEFFICIENT，EFFECTIVEFLOWANDSTORAGEOFGOODS，SERVICES，ANDRELATEDINFORMATIONFROMTHEPOINTOFORIGINTOTHEPOINTOFCONSUMPTIONINORDERTOMEETCUSTOMERS’REQUIREMENTSWITHTHEDEVELOPMENTOFSOCIALIZEDMASSPRODUCTION，THELOGISTICSOFPOSITIONINENTERPRISEMANAGEMENTBECOMESMOREANDMOREIMPORTANTTHIRDPARTYLOGISTIC3PL，ALSOCALLEDINDENTUREDLOGISTIC，ALOGISTICSFORMWHICHMEANSTHATNAMELYSPECIALENTERPRISENEITHERCONSIGNERNORCONSIGNEECARRIESONTHEENTERPRISELOGISTICS3PLISDIFFERENTFROMTRADITIONLOGISTICS，BECAUSEITHASSOMECHARACTERISTICSSUCHASINDEPENDENCYSPECIALIZATIONANDSYSTEMATIZATION3PLNEEDSTHESUPPORTOFANEXCELLENTINFORMATIONSTREAM，BECAUSEITISHARDTEACHITSORIGINALINTENTIONWITHOUTITLOGISTICSTORAGESYSTEMISANIMPORTANTPARTOFBUSINESSANDMISOF3PLENTERPRISESTHISPAPERDESIGNSANDIMPLEMENTSAPRACTICALMISFOR3PLFOLLOWINGLOGISTICCRITERIONANDWRITER’SPROJECTTHESYSTEMSCONTAINSIN／OUTREGISTERZONEDIVISION，SYNTHETICSEARCHING，REPORTPRINTANDOTHERFUNCTIONTHEPAPERSUPPORTSTHEREQUIREMENTANALYSISOFSYSTEM，THEDESIGNOFDATABASEANDTHEMAJORFUNCTIONS’DETAILSOFREALIZINGTHESYSTEMISALREADYINUSETHERESULTONTRIALSUPPORTSTHATTHESYSTEMHASALREADYREACHEDTHETARGETOFDESIGNKEYWORDSTHIRDPARTYLOGISTIC3PL，LOGISTICSTORAGESYSTEM，ORACLEDATABASEC|F

簡(jiǎn)介：本文介紹了船舶電站操作自動(dòng)評(píng)估系統(tǒng)的研制開(kāi)發(fā)過(guò)程。該系統(tǒng)又稱作“船員電站項(xiàng)目評(píng)估考試自動(dòng)評(píng)分”系統(tǒng)是一套在計(jì)算機(jī)上運(yùn)行的應(yīng)用軟件它可以自動(dòng)進(jìn)行二三管輪電站操作的評(píng)估自動(dòng)出題根據(jù)考生填寫的答案或操作設(shè)備情況自動(dòng)評(píng)分。與其它常見(jiàn)的自動(dòng)評(píng)估系統(tǒng)不同的是本系統(tǒng)是連接在實(shí)際電站設(shè)備上的而非建立在計(jì)算機(jī)仿真或輪機(jī)模擬器的基礎(chǔ)上。評(píng)估所用的計(jì)算機(jī)通過(guò)與實(shí)際電站設(shè)備之間的數(shù)據(jù)通信獲得實(shí)時(shí)數(shù)據(jù)再經(jīng)過(guò)處理計(jì)算之后進(jìn)行自動(dòng)評(píng)分。該評(píng)估系統(tǒng)的主要研制路線是確定設(shè)計(jì)的目標(biāo)分析評(píng)估大綱和規(guī)范；分析設(shè)備、評(píng)估項(xiàng)目、考生等各方面的情況；系統(tǒng)總體方案評(píng)估方式方法、題型等的確立；通過(guò)模糊數(shù)學(xué)分析建立評(píng)價(jià)體系；詳細(xì)方案設(shè)計(jì)包括具體題庫(kù)和評(píng)分準(zhǔn)則；系統(tǒng)的最終設(shè)計(jì)包括計(jì)算機(jī)應(yīng)用程序的編制和調(diào)試；試運(yùn)行、檢測(cè)及改進(jìn)等。在各階段主要涉及了以下幾方面內(nèi)容船員評(píng)估的教學(xué)與考試方法分析船舶電站操作評(píng)估的內(nèi)容分析船舶電站系統(tǒng)的模塊化構(gòu)成和各部分之間的數(shù)據(jù)通信分析自動(dòng)評(píng)分過(guò)程中的模糊綜合評(píng)判基于平臺(tái)的C＃應(yīng)用編程和SQLSERVER2000數(shù)據(jù)庫(kù)等。評(píng)估用PC機(jī)獲得電站實(shí)時(shí)運(yùn)行數(shù)據(jù)是編程中的一個(gè)重要內(nèi)容來(lái)自發(fā)電機(jī)并車及保護(hù)單元PPU的數(shù)據(jù)通過(guò)PROFIBUS現(xiàn)場(chǎng)總線傳輸?shù)絊7300PLCPLC再通過(guò)MPI多點(diǎn)通信總線將前述來(lái)自PPU的數(shù)字信號(hào)和自身內(nèi)的開(kāi)關(guān)量信號(hào)傳輸?shù)诫娬鞠到y(tǒng)的上位PC機(jī)而評(píng)估用PC機(jī)再通過(guò)網(wǎng)線連接上位PC機(jī)以獲得以上的數(shù)據(jù)。該系統(tǒng)評(píng)估打分準(zhǔn)確、快速電腦界面友好運(yùn)行穩(wěn)定。其中手動(dòng)并車、均功調(diào)頻和解列的自動(dòng)評(píng)分是該系統(tǒng)研制的重點(diǎn)和難點(diǎn)采用了模糊綜合評(píng)判法。經(jīng)測(cè)試本系統(tǒng)達(dá)到了設(shè)計(jì)的要求可以自動(dòng)進(jìn)行電站操作評(píng)估考試的打分并且也可用于學(xué)員在訓(xùn)練中的自學(xué)自測(cè)。

簡(jiǎn)介：代號(hào)代號(hào)分類號(hào)分類號(hào)學(xué)號(hào)學(xué)號(hào)密級(jí)密級(jí)1070110701TP319TP319公開(kāi)公開(kāi)10331210861033121086題（中、英文）（中、英文）目基于基于C的可變情報(bào)板系統(tǒng)的軟件設(shè)計(jì)的可變情報(bào)板系統(tǒng)的軟件設(shè)計(jì)DESIGNOFSOFTWAREABOUTCMSSYSTEMBASEDONVISUALC作者姓名作者姓名劉蓓莉劉蓓莉指導(dǎo)教師姓名指導(dǎo)教師姓名、職務(wù)職務(wù)殷廷瑞殷廷瑞副教授副教授學(xué)科門類學(xué)科門類工學(xué)工學(xué)提交論文日期提交論文日期二○一二○一三年一月年一月學(xué)科、專業(yè)學(xué)科、專業(yè)系統(tǒng)工程系統(tǒng)工程西安電子科技大學(xué)西安電子科技大學(xué)學(xué)位論文獨(dú)創(chuàng)性（或創(chuàng)新性）聲明學(xué)位論文獨(dú)創(chuàng)性（或創(chuàng)新性）聲明秉承學(xué)校嚴(yán)謹(jǐn)?shù)膶W(xué)風(fēng)和優(yōu)良的科學(xué)道德，本人聲明所呈交的論文是我個(gè)人在導(dǎo)師指導(dǎo)下進(jìn)行的研究工作及取得的研究成果。盡我所知，除了文中特別加以標(biāo)注和致謝中所羅列的內(nèi)容以外，論文中不包含其他人已經(jīng)發(fā)表或撰寫過(guò)的研究成果；也不包含為獲得西安電子科技大學(xué)或其它教育機(jī)構(gòu)的學(xué)位或證書而使用過(guò)的材料。與我一同工作的同志對(duì)本研究所做的任何貢獻(xiàn)均已在論文中做了明確的說(shuō)明并表示了謝意。申請(qǐng)學(xué)位論文與資料若有不實(shí)之處，本人承擔(dān)一切的法律責(zé)任。本人簽名日期西安電子科技大學(xué)西安電子科技大學(xué)關(guān)于論文使用授權(quán)的說(shuō)明關(guān)于論文使用授權(quán)的說(shuō)明本人完全了解西安電子科技大學(xué)有關(guān)保留和使用學(xué)位論文的規(guī)定，即研究生在校攻讀學(xué)位期間論文工作的知識(shí)產(chǎn)權(quán)單位屬西安電子科技大學(xué)。學(xué)校有權(quán)保留送交論文的復(fù)印件，允許查閱和借閱論文；學(xué)?？梢怨颊撐牡娜炕虿糠謨?nèi)容，可以允許采用影印、縮印或其它復(fù)制手段保存論文。同時(shí)本人保證，畢業(yè)后結(jié)合學(xué)位論文研究課題再撰寫的文章一律署名單位為西安電子科技大學(xué)。（保密的論文在解密后遵守此規(guī)定）本學(xué)位論文屬于保密，在年解密后適用本授權(quán)書。本人簽名日期導(dǎo)師簽名日期

簡(jiǎn)介：汽車自動(dòng)檢測(cè)線往往距離長(zhǎng)，速度快。為使車內(nèi)檢測(cè)人員與主監(jiān)控室有良好溝通和協(xié)調(diào)，本文運(yùn)用C＃語(yǔ)言開(kāi)發(fā)一種運(yùn)行在WINCE系統(tǒng)上的通訊系統(tǒng)，使之可以利用無(wú)線局域網(wǎng)接收測(cè)試指令，傳輸被測(cè)車輛信息，獲取測(cè)試結(jié)果，存儲(chǔ)及查詢測(cè)試信息。通過(guò)對(duì)汽車戶外測(cè)試環(huán)境的調(diào)查，針對(duì)測(cè)試項(xiàng)目的技術(shù)要求，劃分系統(tǒng)的功能模塊、理定了軟件設(shè)計(jì)流程，確定汽車檢測(cè)通信系統(tǒng)的軟件結(jié)構(gòu)，運(yùn)用C＃語(yǔ)言編寫適用于汽車戶外檢測(cè)的無(wú)線通訊系統(tǒng)軟件，搭建軟件測(cè)試平臺(tái)，完成了汽車戶外檢測(cè)無(wú)線通訊系統(tǒng)的開(kāi)發(fā)與測(cè)試工作。文章首先系統(tǒng)地闡述了與汽車檢測(cè)通訊系統(tǒng)相關(guān)的技術(shù)及協(xié)議。分析了系統(tǒng)的總體需求。根據(jù)這些系統(tǒng)需求，開(kāi)始了整個(gè)系統(tǒng)的設(shè)計(jì)。在總體設(shè)計(jì)上給出了系統(tǒng)總體硬件結(jié)構(gòu)和系統(tǒng)軟件結(jié)構(gòu)，選取了CS即客戶機(jī)服務(wù)器模式。接著根據(jù)TCP通信協(xié)議的特點(diǎn)制定了數(shù)據(jù)通訊協(xié)議，保證了客戶端和服務(wù)器端收發(fā)測(cè)試信息的準(zhǔn)確率。然后劃分了系統(tǒng)的功能模塊和軟件的設(shè)計(jì)流程。在給出了總體設(shè)計(jì)之后，開(kāi)始詳細(xì)而已具體的設(shè)計(jì)工作。首先選擇了SQLSERVER2005作為這個(gè)檢測(cè)通訊系統(tǒng)的數(shù)據(jù)庫(kù)系統(tǒng)，然后通過(guò)代碼實(shí)現(xiàn)了創(chuàng)建數(shù)據(jù)庫(kù)和數(shù)據(jù)表。接著分別編程實(shí)現(xiàn)了服務(wù)器端和客戶端程序的詳細(xì)功能模塊。在完成了系統(tǒng)設(shè)計(jì)之后，根據(jù)軟件設(shè)計(jì)流程，對(duì)系統(tǒng)進(jìn)行了功能和承載測(cè)試。測(cè)試結(jié)果顯示，檢測(cè)通訊系統(tǒng)基本滿足之前提出的系統(tǒng)需求。最終文章得到了一種基于C＃的汽車檢測(cè)通訊系統(tǒng)，此系統(tǒng)可以作為其他戶外檢測(cè)系統(tǒng)的一個(gè)子系統(tǒng)，幫助其完成戶外測(cè)試員與室內(nèi)主控室的溝通，大大提高了檢測(cè)效率。而且由于采用了對(duì)稱和非對(duì)稱混合加密算法，保障了整個(gè)測(cè)試系統(tǒng)的通信安全。

簡(jiǎn)介：分類號(hào)密級(jí)學(xué)校代碼學(xué)號(hào)遣宰虛可籍大學(xué)1016520061745碩士學(xué)位論文②基于C≠}和MAPX的交通肇事管理系統(tǒng)作者姓名學(xué)科、專業(yè)研究方向?qū)熜彰?010年6月一息一化一搬麗一一學(xué)位論文獨(dú)創(chuàng)性聲明I．IIIII．1LLLLL／LLLLLLLLL／LLL／I／／LL㈣啪Y1795789本人承諾所呈交的學(xué)位論文是本人在導(dǎo)師指導(dǎo)下所取得的研究成果。論文中除特別加以標(biāo)注和致謝的地方外，不包含他人和其他機(jī)構(gòu)已經(jīng)撰寫或發(fā)表過(guò)的研究成果，其他同志的研究成果對(duì)本人的啟示和所提供的幫助，均已在論文中做了明確的聲明并表示謝意。學(xué)位論文作者簽名學(xué)位論文版權(quán)的使用授權(quán)書本學(xué)位論文作者完全了解遼寧師范大學(xué)有關(guān)保留、使用學(xué)位論文的規(guī)定，及學(xué)校有權(quán)保留并向國(guó)家有關(guān)部門或機(jī)構(gòu)送交復(fù)印件或磁盤，允許論文被查閱和借閱。本文授權(quán)遼寧師范大學(xué)，可以將學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫(kù)并進(jìn)行檢索，可以采用影印、縮印或掃描等復(fù)制手段保存、匯編學(xué)位論文，并且本人電子文檔的內(nèi)容和紙質(zhì)論文的內(nèi)容相一致。保密的學(xué)位論文在解密后使用本授權(quán)書。學(xué)位論文作者簽名指導(dǎo)教師簽名酋T軋‰簽名日期弘／口年∥月驢日

簡(jiǎn)介：劣妻未交碩士學(xué)位論文基于ARM及C撐語(yǔ)言的城軌能饋式供電系統(tǒng)綜合監(jiān)控技術(shù)研究與實(shí)現(xiàn)RESEARCHANDREALIZEOFCOMPREHENSIVEMONITORINGTECHNOLOGYFORENERGYFEEDBACKPOWERSUPPLYSYSTEMBASEDONARMANDTHEC撐作者金海軍導(dǎo)師文0志岡0北京交通大學(xué)2014年3月中圖分類號(hào)TM933U285UDC6213北京學(xué)校代碼10004密級(jí)公開(kāi)碩士學(xué)位論文基于ARM及CJFI6語(yǔ)言的城軌能饋式供電系統(tǒng)綜合監(jiān)控技術(shù)研究與實(shí)現(xiàn)RESEARCHANDREALIZEOFCOMPREHENSIVEMONITORINGTECHNOLOGYFORENERGYFEEDBACKPOWERSUPPLYSYSTEMBASEDONARMANDTHEC≠≠作者姓名金海軍導(dǎo)師姓名劉志剛學(xué)位類別工科學(xué)號(hào)11121606職稱教授學(xué)位級(jí)別碩士學(xué)科專業(yè)電力電子與電力傳動(dòng)研究方向車輛通信與監(jiān)控北京交通大學(xué)2014年3月

簡(jiǎn)介：?jiǎn)挝淮a幽分類號(hào)墮壘壘2墨侖肥工學(xué)火警HEFEIUNIVERSITYOFTECHNOLOGY碩士學(xué)位論文MASTER，SDISSERTATION論文題目學(xué)位類別專業(yè)名稱作者姓名導(dǎo)師姓名完成時(shí)間ADISSERTATIONSUBMITTEDFORTHEDEGREEOFMASTERSIMULATIONANALYSISPLATFORMONADUALAXLETRACTORHANDLINGSTABILITYBASEDONVISUALCANDADAMSBYLUSHUANGSHUANG一一HEFEIUNIVERSITYOFTECHNOLOGYHEFEI，ANHUI，P．R．CHINAAPRIL，2015

簡(jiǎn)介：隨著社會(huì)的發(fā)展，科學(xué)技術(shù)的提高，汽車的使用越來(lái)越普及，同時(shí)汽車美容店等相應(yīng)產(chǎn)業(yè)也日益增多，規(guī)模逐漸增大，傳統(tǒng)的手工統(tǒng)計(jì)各項(xiàng)業(yè)務(wù)流程和資料管理已經(jīng)很難滿足當(dāng)前汽車美容店的發(fā)展需要。為提高企業(yè)手工統(tǒng)計(jì)車輛、材料、人事等各類信息的效率，需要一整套完善的計(jì)算機(jī)化的汽車美容店信息管理解決方案。本系統(tǒng)在參考國(guó)內(nèi)外汽車美容管理系統(tǒng)的最新發(fā)展及研究成果的基礎(chǔ)上，結(jié)合企業(yè)自身特點(diǎn)和需求，對(duì)汽車美容管理系統(tǒng)進(jìn)行了總體設(shè)計(jì)，介紹了不同模塊的相關(guān)功能，并對(duì)主要功能進(jìn)行了詳細(xì)闡述與實(shí)現(xiàn)。本系統(tǒng)主要采用的C＃作為開(kāi)發(fā)工具，并且運(yùn)用SQLSEVER作為后臺(tái)數(shù)據(jù)庫(kù)支持。主要包括基礎(chǔ)數(shù)據(jù)、經(jīng)營(yíng)管理、會(huì)員管理、查詢統(tǒng)計(jì)等服務(wù)模塊。最終實(shí)現(xiàn)了用戶對(duì)汽車美容管理系統(tǒng)的查詢、添加、修改、刪除、登記、結(jié)算、報(bào)表輸出等功能。本系統(tǒng)不僅可以穩(wěn)定地運(yùn)行，其良好的擴(kuò)展性也能在較長(zhǎng)時(shí)間內(nèi)滿足企業(yè)發(fā)展需求。

簡(jiǎn)介：在過(guò)去20年里，CC已經(jīng)成為商業(yè)軟件開(kāi)發(fā)領(lǐng)域中廣泛使用的語(yǔ)言，然而其語(yǔ)言雖然靈活，但效率卻不高。正是基于這樣的考慮，本次基于C＃的甜品店現(xiàn)金交易系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)采用的是C＃平臺(tái)，該平臺(tái)是微軟公司提出的可以使程序員更加快速編寫各種基于平臺(tái)的應(yīng)用程序，它不僅操作簡(jiǎn)單且功能強(qiáng)大，是一種由CC演化而來(lái)的，簡(jiǎn)潔且類型安全的面向?qū)ο蟮恼Z(yǔ)言。本次軟件設(shè)計(jì)使用的是VISUALSTUDIO2008版本，以C＃語(yǔ)言進(jìn)行前臺(tái)開(kāi)發(fā)，以SQLSERVER2008數(shù)據(jù)庫(kù)進(jìn)行后臺(tái)支持，在此基礎(chǔ)上進(jìn)行甜品店現(xiàn)金交易系統(tǒng)的設(shè)計(jì)。它是具有查詢、購(gòu)買、管理于一體的應(yīng)用電子交易平臺(tái)，對(duì)信息進(jìn)行方便快速簡(jiǎn)潔的管理，滿足人們需求。本系統(tǒng)采用VISUAL為開(kāi)發(fā)平臺(tái)，C＃為開(kāi)發(fā)語(yǔ)言，組建動(dòng)態(tài)數(shù)據(jù)庫(kù)實(shí)現(xiàn)甜品店現(xiàn)金交易系統(tǒng)的設(shè)計(jì)。本論文主要的工作和成果如下1、分析說(shuō)明了為什么要進(jìn)行基于C＃的甜品店現(xiàn)金交易系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)，國(guó)內(nèi)外有關(guān)的研究現(xiàn)狀是什么，本系統(tǒng)能夠解決哪些問(wèn)題，實(shí)現(xiàn)哪些功能。2、詳細(xì)介紹了VISUAL開(kāi)發(fā)平臺(tái)和C＃語(yǔ)言的主要功能和開(kāi)發(fā)步驟。3、通過(guò)系統(tǒng)分析實(shí)現(xiàn)了系統(tǒng)的總體設(shè)計(jì)，包括系統(tǒng)功能的總體描述、主要功能模塊的功能描述以及數(shù)據(jù)庫(kù)的設(shè)計(jì)。4、搭建系統(tǒng)開(kāi)發(fā)環(huán)境，對(duì)甜品店交易系統(tǒng)進(jìn)行設(shè)計(jì)與實(shí)現(xiàn)，主要包括架構(gòu)模塊、各個(gè)功能模塊的功能實(shí)現(xiàn)與數(shù)據(jù)庫(kù)設(shè)計(jì)，并向用戶展示系統(tǒng)界面。5、對(duì)甜品店交易系統(tǒng)的各個(gè)功能模塊進(jìn)行測(cè)試研究，針對(duì)登錄模塊、客戶管理、商品管理、供應(yīng)商管理和訂單管理模塊進(jìn)行逐一驗(yàn)證，系統(tǒng)通過(guò)測(cè)試并可以投入使用。

簡(jiǎn)介：稅收減免作為刺激經(jīng)濟(jì)的一種“減法”手段，關(guān)乎到減免對(duì)象的切身利益以及經(jīng)濟(jì)的發(fā)展。稅收減免審批工作是依法減免和服務(wù)經(jīng)濟(jì)社會(huì)、促進(jìn)經(jīng)濟(jì)社會(huì)又好又快發(fā)展的重要性工作，無(wú)論是對(duì)減免對(duì)象還是政府部門來(lái)講，它的重要性不言而喻。隨著稅務(wù)部門網(wǎng)絡(luò)平臺(tái)的日益完善，網(wǎng)絡(luò)應(yīng)用軟件的日趨成熟，國(guó)稅部門在這些方面做了很多嘗試，也形成了一些具有地方特色的應(yīng)用軟件，但是，還沒(méi)有形成一套完整的、科學(xué)的、統(tǒng)一標(biāo)準(zhǔn)的稅收減免審批管理系統(tǒng)，使得全國(guó)的稅收減免執(zhí)行度不一致，稅收優(yōu)惠政策落實(shí)不徹底，而且效率低、難以整理和控制。本文所設(shè)計(jì)的稅收減免審批系統(tǒng)采用技術(shù)、C＃語(yǔ)言和SQLSERVER關(guān)系數(shù)據(jù)庫(kù)管理系統(tǒng)，結(jié)合稅務(wù)系統(tǒng)的實(shí)際情況，從需求分析、總體設(shè)計(jì)、詳細(xì)設(shè)計(jì)以及測(cè)試等軟件開(kāi)發(fā)的全過(guò)程對(duì)稅收減免審批系統(tǒng)進(jìn)行分析和設(shè)計(jì)，由系統(tǒng)管理、申請(qǐng)管理、受理管理、發(fā)放管理、審批管理、歸檔管理、用戶管理和幫助等八個(gè)模塊組成，通過(guò)系統(tǒng)的方法、規(guī)范的流程來(lái)完成納稅人減免稅的申請(qǐng)和審批，可以提高稅收減免審批工作效率。

簡(jiǎn)介：論文題目基于C的客戶服務(wù)支持管理信息系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)專業(yè)學(xué)位類別工程碩士學(xué)號(hào)201191230869作者姓名高鵬指導(dǎo)教師周益民副教授分類號(hào)密級(jí)UDC注1學(xué)位論文基于C的客戶服務(wù)支持管理信息系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)（題名和副題名）高鵬（作者姓名）指導(dǎo)教師周益民副教授電子科技大學(xué)成都陳煥光高工上海萬(wàn)律科技有限公司上海浙江（姓名、職稱、單位名稱）申請(qǐng)學(xué)位級(jí)別碩士專業(yè)學(xué)位類別工程碩士工程領(lǐng)域名稱軟件工程提交論文日期2013925論文答辯日期20131026學(xué)位授予單位和日期電子科技大學(xué)2013年12月24日答辯委員會(huì)主席評(píng)閱人注1注明國(guó)際十進(jìn)分類法UDC的類號(hào)。

簡(jiǎn)介：分類號(hào)TP311密級(jí)⑧于V，單位代碼10422學(xué)號(hào)2013221019囊辦季SHANDONGUNⅣERSITY碩士學(xué)位論文THESISFORMASTERDEGREE專業(yè)學(xué)位論文題目基于C≠的產(chǎn)品與工藝設(shè)計(jì)管理系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)THEDESIGNANDIMPLEMENTATIONOFPRODUCTANDPROCESSDESIGNMANAGEMENTSYSTEMBASEDONTHEC捍作者培養(yǎng)專業(yè)姓名單位名稱韓楊軟件學(xué)院軟件工程指導(dǎo)教師史清華副教授合作導(dǎo)師2014年10月10日山東大學(xué)碩士學(xué)位論文目錄摘要芒。IABSTRACT。II第1章緒論111系統(tǒng)開(kāi)發(fā)的背景L12國(guó)內(nèi)外當(dāng)前研究形勢(shì)213本文的主要工作214論文的組織結(jié)構(gòu)3第2章需求分析521系統(tǒng)整體功能概述522功能需求分析7221產(chǎn)品結(jié)構(gòu)7222產(chǎn)品配置一LO223分類管理一11224流程管理1323非功能性需求16第3章系統(tǒng)設(shè)計(jì)1731系統(tǒng)總體設(shè)計(jì)17311體系結(jié)構(gòu)17312部署設(shè)計(jì)一18313應(yīng)用服務(wù)設(shè)計(jì)1832功能架構(gòu)設(shè)計(jì)1933業(yè)務(wù)功能詳細(xì)設(shè)計(jì)21331產(chǎn)品結(jié)構(gòu)設(shè)計(jì)一21332產(chǎn)品配置設(shè)計(jì)一23333分類管理設(shè)計(jì)25334流程管理設(shè)計(jì)2734共通功能詳細(xì)設(shè)計(jì)28