一種多線程軟件并發(fā)漏洞檢測方法
格式:pdf
大小:317KB
頁數(shù):7P
人氣 :97
4.5
多線程軟件由于進(jìn)程間共享使用資源而極易發(fā)生死鎖這一嚴(yán)重的并發(fā)漏洞.通過Petri網(wǎng)模型對多線程軟件進(jìn)行建模,并利用混合整數(shù)規(guī)劃技術(shù)檢測其漏洞.目前,使用互斥鎖的多線程軟件可通過Gadara網(wǎng)建模和檢測.而使用信號量的多線程軟件,雖可用S*PR網(wǎng)建模,但是尚未有理論支撐混合整數(shù)規(guī)劃用于其漏洞檢測.定義了S*PR網(wǎng)的一個子類——SEM-S*PR網(wǎng),它允許資源庫所初始標(biāo)志大于1且分支可對稱地使用資源,進(jìn)而可建模一類使用信號量的多線程軟件.依據(jù)結(jié)構(gòu)特點,證明了該網(wǎng)保持活性的充分必要條件是網(wǎng)運(yùn)行過程中所有信標(biāo)始終非空.此結(jié)論是混合整數(shù)規(guī)劃用于SEM-S*PR網(wǎng)建模的多線程軟件的并發(fā)漏洞檢測的理論基礎(chǔ).
基于二型模糊邏輯的多線程數(shù)據(jù)競爭檢測方法研究
格式:pdf
大?。?span id="3rdmuxy" class="single-tag-height" data-v-09d85783>1.3MB
頁數(shù):9P
多線程機(jī)制以其諸多優(yōu)勢在程序開發(fā)中被廣泛使用,然而隨著多線程軟件規(guī)模的增長,程序中潛存著許多并發(fā)缺陷,最常見的并發(fā)缺陷是數(shù)據(jù)競爭和死鎖。目前,針對這些并發(fā)缺陷的檢測手段都無法處理線程時序的不確定性,無法處理運(yùn)行時環(huán)境對線程時序的影響,同時也不能計算這些并發(fā)缺陷發(fā)生的概率并根據(jù)概率生成其處理優(yōu)先級。針對以上問題,提出了一種基于二型模糊邏輯的多線程數(shù)據(jù)競爭檢測方法。該方法將傳統(tǒng)的多線程時序分析和缺陷檢測方法作為預(yù)處理,考慮程序運(yùn)行時環(huán)境因素對線程時序的影響,利用二型模糊邏輯和隱馬爾科夫模型對待檢測程序建模,計算待檢測程序在某一系統(tǒng)負(fù)載下的時序概率,并根據(jù)時序概率生成時序缺陷處理優(yōu)先級列表供軟件開發(fā)人員參考。
濕能空調(diào)測控軟件的多線程設(shè)計
格式:pdf
大?。?span id="ocypktg" class="single-tag-height" data-v-09d85783>1.3MB
頁數(shù):4P
濕能空調(diào)機(jī)組是一種可提供全新風(fēng)的新型空調(diào)設(shè)備。目前濕能空調(diào)機(jī)組的性能檢測系統(tǒng)已開發(fā)成功。介紹了性能檢測系統(tǒng)的體系結(jié)構(gòu)。測控軟件采用基于delphi平臺的多線程模式,并實現(xiàn)相應(yīng)的功能。運(yùn)行結(jié)果表明,檢測系統(tǒng)的測試精度達(dá)到了國家標(biāo)準(zhǔn)的要求,測控軟件的性能完善,工作可靠。
濕能空調(diào)測控軟件的多線程設(shè)計
格式:pdf
大?。?span id="gdciw6x" class="single-tag-height" data-v-09d85783>242KB
頁數(shù):4P
3
濕能空調(diào)測控軟件的多線程設(shè)計——濕能空調(diào)機(jī)組是一種可提供全新風(fēng)的新型空調(diào)設(shè)備。目前濕能空調(diào)機(jī)組的性能檢測系統(tǒng)已開發(fā)成功。文章介紹了性能檢測系統(tǒng)的體系結(jié)構(gòu)。測控軟件采用基于delphi平臺的多線程模式,并實現(xiàn)相應(yīng)的功能。
空調(diào)器焓差測控軟件的多線程設(shè)計
格式:pdf
大?。?span id="qagnzub" class="single-tag-height" data-v-09d85783>329KB
頁數(shù):4P
4.8
介紹了空調(diào)器焓差測試臺計算機(jī)測控系統(tǒng)的硬件組成和結(jié)構(gòu)。測控軟件采用基于delphi平臺的多線程模式,并實現(xiàn)相應(yīng)的功能。運(yùn)行結(jié)果表明,檢測系統(tǒng)的測試精度達(dá)到了國家標(biāo)準(zhǔn)的要求,測控軟件的性能完善,工作可靠。
IP軟件電話在Linux智能終端上的多線程設(shè)計
格式:pdf
大?。?span id="9zqzi2w" class="single-tag-height" data-v-09d85783>208KB
頁數(shù):4P
4.6
文章提出一種基于linux智能終端平臺的ip軟件電話的實現(xiàn)方案。方案設(shè)計采用模塊化多線程設(shè)計策略,利用多線程機(jī)制和緩沖區(qū)隊列對各個模塊進(jìn)行并行處理;系統(tǒng)測試表明,本設(shè)計能夠?qū)艚羞M(jìn)行穩(wěn)鍵的控制,能夠保證語音通話的連續(xù)性,具有一定的創(chuàng)新性和商業(yè)價值。
操作系統(tǒng)課程設(shè)計--用多線程同步方法解決睡眠理發(fā)師問題-推薦下載 (2)
格式:pdf
大?。?span id="nvrlrct" class="single-tag-height" data-v-09d85783>3.3MB
頁數(shù):21P
4.8
操作系統(tǒng)課程設(shè)計--用多線程同步方法解決睡眠理發(fā)師問題-推薦下載 (2)
操作系統(tǒng)課程設(shè)計--用多線程同步方法解決睡眠理發(fā)師問題-推薦下載
格式:pdf
大?。?span id="bvmnwf4" class="single-tag-height" data-v-09d85783>3.3MB
頁數(shù):21P
4.5
操作系統(tǒng)課程設(shè)計--用多線程同步方法解決睡眠理發(fā)師問題-推薦下載
安全漏洞檢測技術(shù)在軟件工程中的應(yīng)用
格式:pdf
大小:1.7MB
頁數(shù):2P
4.5
近年來,信息技術(shù)帶動了計算機(jī)在各領(lǐng)域廣泛應(yīng)用.伴隨著軟件不斷更新與發(fā)展,計算機(jī)內(nèi)現(xiàn)有缺點以及弱點越來越不易被人們察覺.安全是計算機(jī)同通訊網(wǎng)絡(luò)使用安全之中最為基礎(chǔ)的一項,就算計算機(jī)內(nèi)安裝了各種殺毒軟件、防火墻以及防毒軟件等,只要計算機(jī)內(nèi)部軟件自身存在安全方面問題,必然會導(dǎo)致整個計算機(jī)存在安全漏洞.本文在簡述軟件工程常遇到的威脅基礎(chǔ)上,找出軟件工程之中常見安全漏洞,分析安全漏洞相對應(yīng)的檢測技術(shù),進(jìn)而探索安全漏洞方面檢測技術(shù)在軟件工程之中的應(yīng)用.
安全漏洞檢測技術(shù)在軟件工程中的應(yīng)用
格式:pdf
大?。?span id="cd5pgsy" class="single-tag-height" data-v-09d85783>2.6MB
頁數(shù):1P
4.8
如今人們生活、工作都離不開網(wǎng)絡(luò)以及計算機(jī),所以計算機(jī)通信安全就顯得尤為重要.但是,也正是因為計算機(jī)軟件的應(yīng)用范圍不斷擴(kuò)大,計算機(jī)軟件開始出現(xiàn)各種安全漏洞,導(dǎo)致人們的信息丟失,給用戶帶來巨大的經(jīng)濟(jì)損失.因此,為了合理解決計算機(jī)軟件安全漏洞問題,就需要合理應(yīng)用安全漏洞檢測技術(shù),制定安全漏洞檢測技術(shù)的應(yīng)用方案.基于此,文章就安全漏洞檢測技術(shù)在軟件工程中的應(yīng)用進(jìn)行分析.
安全漏洞檢測技術(shù)在軟件工程中的應(yīng)用
格式:pdf
大?。?span id="0a4crwz" class="single-tag-height" data-v-09d85783>170KB
頁數(shù):2P
4.6
軟件漏洞安全監(jiān)測技術(shù)是提升軟件運(yùn)用安全性的重要措施。安全漏洞檢測技術(shù)依賴于軟件測試、程序分析、模型檢測,以及符號執(zhí)行等工作的開展。近些年來,在我國的軟件安全領(lǐng)域研究當(dāng)中,十分關(guān)注對研究方式和技術(shù)手段的綜合運(yùn)用。本文主要研究安全漏洞技術(shù)在軟件工程當(dāng)中的運(yùn)用。
安全漏洞檢測技術(shù)在軟件工程中的應(yīng)用
格式:pdf
大?。?span id="ebskgwl" class="single-tag-height" data-v-09d85783>112KB
頁數(shù):1P
4.4
目前計算機(jī)技術(shù)的普及,軟件系統(tǒng)也不斷進(jìn)行升級與更新。人們對計算機(jī)的安全也日益關(guān)注。而計算機(jī)本身存在的漏洞對安全檢測技術(shù)提出了更嚴(yán)峻的難題。本文通過計算機(jī)的軟件工程出現(xiàn)的安全漏洞,來分析軟件工程相應(yīng)的檢測技術(shù)。通過檢測技術(shù)在軟件工程的運(yùn)用來保障計算機(jī)的使用安全。
分布式仿真中多緩沖多線程網(wǎng)絡(luò)模塊的設(shè)計
格式:pdf
大?。?span id="slhvuai" class="single-tag-height" data-v-09d85783>417KB
頁數(shù):4P
4.6
目前分布式交互仿真技術(shù)在軍用仿真領(lǐng)域已經(jīng)獲得了廣泛的應(yīng)用,而搭建分布式仿真系統(tǒng)的關(guān)鍵就在于可靠、高效的網(wǎng)絡(luò)傳輸模塊。本文提出一種在多緩沖區(qū)上應(yīng)用多線程同步技術(shù)的網(wǎng)絡(luò)傳輸方法,通過編程成功應(yīng)用于某國防預(yù)研項目的分布式仿真系統(tǒng)中。
基于多線程的網(wǎng)絡(luò)隔離系統(tǒng)代理模塊設(shè)計
格式:pdf
大?。?span id="garv1jc" class="single-tag-height" data-v-09d85783>536KB
頁數(shù):3P
4.3
在網(wǎng)絡(luò)安全的技術(shù)中,物理隔離技術(shù)是很重要的一個組成部分。該文基于國家信息安全專項:"隔離專網(wǎng)之防病毒反入侵綜合管理與更新網(wǎng)關(guān)的產(chǎn)品產(chǎn)業(yè)化",再對照相關(guān)技術(shù)標(biāo)準(zhǔn),提出了基于多線程的隔離網(wǎng)閘代理模塊的設(shè)計方案。
工業(yè)監(jiān)控自動化系統(tǒng)中多線程技術(shù)的應(yīng)用
格式:pdf
大?。?span id="9zx6wf8" class="single-tag-height" data-v-09d85783>389KB
頁數(shù):3P
4.4
介紹了工業(yè)監(jiān)控自動化系統(tǒng)采用的windows下的多線程技術(shù)實時多任務(wù)管理,研究了該監(jiān)控軟件實時多任務(wù)的具體實現(xiàn),闡述了系統(tǒng)各功能模塊的設(shè)計。
論建筑給排水工程原材料及功能性檢測方法的漏洞
格式:pdf
大?。?span id="qx1solf" class="single-tag-height" data-v-09d85783>281KB
頁數(shù):4P
4.7
本文介紹了現(xiàn)行建筑給排水工程原材料及功能性檢測方法,分析了存在的漏洞,提出了一些完善的建議。
基于模型的應(yīng)用軟件的靜態(tài)檢測方法研究
格式:pdf
大小:1.7MB
頁數(shù):2P
4.7
該文把靜態(tài)分析技術(shù)與基于模型的演繹驗證結(jié)合起來提供了一個框架,分析應(yīng)用源代碼,自動生成一個分析器,它能夠推斷關(guān)于給定程序行為的邏輯約束方面的信息。該文引入了一階邏輯斷言來描述api調(diào)用語義。這些斷言構(gòu)成分析器使用的模型。通過實驗,該方法可被用來識別java程序中的關(guān)于安全的邏輯錯誤。
汽車空調(diào)泄漏的檢測方法
格式:pdf
大小:108KB
頁數(shù):1P
3
汽車空調(diào)泄漏的檢測方法——汽車空調(diào)在使用過程中,制冷劑泄漏是最為常見的故障。制冷劑泄漏容易造成環(huán)境污染,增加車輛維護(hù)的費(fèi)用和時間。文章介紹了氮?dú)鈾z漏,鹵素?zé)魴z漏,氣體差壓檢漏,電子檢漏,熒光檢漏這五種方法。
探討閥門泄漏檢測方法
格式:pdf
大?。?span id="bre9bzy" class="single-tag-height" data-v-09d85783>980KB
頁數(shù):2P
4.6
隨著現(xiàn)代科學(xué)技術(shù)的發(fā)展,閥門在工業(yè)、建筑、農(nóng)業(yè)、國防、科研以及人民生活等方面使用日益普遍,現(xiàn)已成為人類活動的各個領(lǐng)域中不可缺少的通用機(jī)械產(chǎn)品,對閥門的使用安全性能和密封性能等要求越來越高。如果閥門存在泄漏現(xiàn)象,由此引起的火災(zāi)、爆炸、中毒、燙傷事故或者造成產(chǎn)品質(zhì)量低劣、能源浪費(fèi)、設(shè)備腐蝕、物料增耗、環(huán)境污染,甚至造成停產(chǎn)等事故,已是屢見不鮮。針對閥門內(nèi)漏的隱蔽性,文章就閥門是否存在內(nèi)漏及內(nèi)漏量大小的判斷方法作一探討。
同時多線程處理器上的動態(tài)分支預(yù)測器設(shè)計方案研究
格式:pdf
大?。?span id="aplukqb" class="single-tag-height" data-v-09d85783>1.1MB
頁數(shù):6P
4.4
同時多線程處理器(smt)每個周期能夠從多個線程中發(fā)射指令執(zhí)行,從而大大地提高了超標(biāo)量微處理器的指令吞吐量,但多個線程的同時執(zhí)行也帶來了許多硬件資源的共享沖突問題。其中,多個線程共享分支預(yù)測硬件的方案會對分支預(yù)測精度產(chǎn)生較大的影響。研究smt處理器中分支處理方案對于處理器整體性能的影響,對于指導(dǎo)smt處理器的設(shè)計是十分重要的。本文利用smt處理器模擬器,針對各線程運(yùn)行獨(dú)立應(yīng)用的smt結(jié)構(gòu)實驗評估了幾種著名的分支預(yù)測方案;給出了在單線程和多線程情況下,分支預(yù)測方案對分支預(yù)測精度和處理器整體性能的影響的分析;總結(jié)出在這樣的smt結(jié)構(gòu)中,各線程擁有獨(dú)立的預(yù)測器是一種較好的選擇,并且由于各獨(dú)立預(yù)測器可以采用小而簡單的結(jié)構(gòu),所以不會帶來太多的硬件開銷。
一種基于多線程的寬帶跳頻物理層DSP設(shè)計實現(xiàn)方法
格式:pdf
大?。?span id="8zy8jd8" class="single-tag-height" data-v-09d85783>154KB
頁數(shù):4P
4.6
論文針對寬帶跳頻系統(tǒng)的設(shè)計實現(xiàn),給出了一種基于多線程的寬帶物理層波形的dsp實現(xiàn)方法,詳細(xì)介紹了多線程寬帶物理層波形的框架搭建及收發(fā)流程具體實現(xiàn)方法,并通過硬件仿真檢驗了設(shè)計的可行性。
基于VIZARD和KBENGINE的多線程虛擬消防演習(xí)系統(tǒng)
格式:pdf
大?。?span id="xtspl5k" class="single-tag-height" data-v-09d85783>85KB
頁數(shù):2P
4.7
城市火災(zāi)頻繁發(fā)生,傳統(tǒng)的消防演習(xí)和宣傳工作存在著難題,隨著虛擬現(xiàn)實技術(shù)的應(yīng)用發(fā)展,研發(fā)了基于vizard和kbengine的多線程虛擬消防演習(xí)系統(tǒng)。添加自定義配置模式完善基于vizard的虛擬消防演習(xí)系統(tǒng),作為多線程虛擬演習(xí)系統(tǒng)的客戶端,配置客戶端,結(jié)合kbengine服務(wù)器,實現(xiàn)多線程客戶端登錄,不同的角色可以使用不同的客戶端登錄,實現(xiàn)不受地域限制的聯(lián)合虛擬演習(xí)。受訓(xùn)者可不受時間和空間的限制在高安全、高仿真、低成本、可重復(fù)、生動活潑的多線程虛擬消防演習(xí)系統(tǒng)中同步學(xué)習(xí)消防知識,加強(qiáng)消防實戰(zhàn)經(jīng)驗,實現(xiàn)聯(lián)合演習(xí)效果.
基于無線以太網(wǎng)的多線程數(shù)據(jù)采集系統(tǒng)設(shè)計
格式:pdf
大?。?span id="1nbxtvm" class="single-tag-height" data-v-09d85783>60KB
頁數(shù):2P
4.3
針對工業(yè)控制中現(xiàn)場總線存在電磁干擾大和串口數(shù)據(jù)傳輸不穩(wěn)定、工程布線繁瑣等問題,設(shè)計了一種以無線以太網(wǎng)為通訊方式的數(shù)據(jù)采集處理系統(tǒng),介紹了數(shù)據(jù)采集系統(tǒng)的關(guān)鍵技術(shù)以及通訊軟件的實現(xiàn)。實驗證明該方案有效地解決了現(xiàn)場總線干擾問題,數(shù)據(jù)傳輸可靠性高,實時性好。
基于無線以太網(wǎng)的多線程視頻傳輸系統(tǒng)設(shè)計
格式:pdf
大?。?span id="gjqoz9g" class="single-tag-height" data-v-09d85783>281KB
頁數(shù):3P
4.5
首先提出了系統(tǒng)的總體設(shè)計,然后從系統(tǒng)的結(jié)構(gòu)和程序設(shè)計討論了系統(tǒng)的實現(xiàn)技術(shù)和步驟,最后研究分析了系統(tǒng)的一些實驗結(jié)果和應(yīng)用情況。此設(shè)計具有結(jié)構(gòu)簡單、實現(xiàn)方便的特點,是進(jìn)行監(jiān)控系統(tǒng)的設(shè)計、開發(fā)和應(yīng)用的良好平臺。
論漏洞檢測技術(shù)在計算機(jī)軟件安全運(yùn)行中的應(yīng)用
格式:pdf
大小:180KB
頁數(shù):未知
4.7
隨著計算機(jī)科學(xué)技術(shù)的不斷發(fā)展,網(wǎng)絡(luò)技術(shù)的成熟,我們的生活已經(jīng)離不開網(wǎng)絡(luò),但是網(wǎng)絡(luò)在帶給人們方便快捷的同時,同時計算機(jī)病毒、網(wǎng)絡(luò)安全等問題,也在困擾著我們。就從計算機(jī)網(wǎng)絡(luò)安全的特點入手,對計算機(jī)網(wǎng)絡(luò)安全的結(jié)構(gòu)及病毒的傳播方式進(jìn)行分析,找出當(dāng)前計算機(jī)網(wǎng)絡(luò)中存在的問題;提出了計算機(jī)安全技術(shù)漏洞的檢測和防護(hù)措施。
文輯推薦
知識推薦
百科推薦
職位:地鐵安全監(jiān)理工程師
擅長專業(yè):土建 安裝 裝飾 市政 園林