本文選題：二型模糊邏輯 + 隱馬爾科夫模型�。� 參考：《計(jì)算機(jī)科學(xué)》2017年12期

【摘要】：多線程機(jī)制以其諸多優(yōu)勢(shì)在程序開發(fā)中被廣泛使用,然而隨著多線程軟件規(guī)模的增長(zhǎng),程序中潛存著許多并發(fā)缺陷,最常見的并發(fā)缺陷是數(shù)據(jù)競(jìng)爭(zhēng)和死鎖。目前,針對(duì)這些并發(fā)缺陷的檢測(cè)手段都無法處理線程時(shí)序的不確定性,無法處理運(yùn)行時(shí)環(huán)境對(duì)線程時(shí)序的影響,同時(shí)也不能計(jì)算這些并發(fā)缺陷發(fā)生的概率并根據(jù)概率生成其處理優(yōu)先級(jí)。針對(duì)以上問題,提出了一種基于二型模糊邏輯的多線程數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)方法。該方法將傳統(tǒng)的多線程時(shí)序分析和缺陷檢測(cè)方法作為預(yù)處理,考慮程序運(yùn)行時(shí)環(huán)境因素對(duì)線程時(shí)序的影響,利用二型模糊邏輯和隱馬爾科夫模型對(duì)待檢測(cè)程序建模,計(jì)算待檢測(cè)程序在某一系統(tǒng)負(fù)載下的時(shí)序概率,并根據(jù)時(shí)序概率生成時(shí)序缺陷處理優(yōu)先級(jí)列表供軟件開發(fā)人員參考。
[Abstract]:Multithreading mechanism is widely used in program development because of its many advantages. However, with the growth of multithread software scale, there are many concurrency defects hidden in the program. The most common concurrent defects are data competition and deadlock. At present, none of the detection methods for these concurrent defects can handle the uncertainty of thread timing and the influence of runtime environment on thread timing. At the same time, the probability of these concurrent defects can not be calculated and the processing priority can be generated according to the probability. In order to solve the above problems, a multithread data competition detection method based on two types of fuzzy logic is proposed. This method takes the traditional method of multithread timing analysis and defect detection as preprocessing, considers the influence of environment factors on thread timing, and uses type 2 fuzzy logic and hidden Markov model to model the detection program. The time sequence probability of the program to be detected under a certain system load is calculated, and the priority list of timing defect processing is generated according to the timing probability for the reference of software developers.
【作者單位】： 蘇州大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;
【基金】：國家自然科學(xué)基金項(xiàng)目(61202029,61272449,61572339) 江蘇省科技支撐計(jì)劃重點(diǎn)項(xiàng)目(BE2014005-4)資助
【分類號(hào)】：TP311.1

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 張樹群,林森茂,陳彩生;采用陰影投射法實(shí)現(xiàn)的光學(xué)并行模糊邏輯[J];中國激光;1993年07期

2 郭加安;王萬森;姜千輝;;基于泛邏輯學(xué)的模糊邏輯關(guān)系柔性的研究[J];計(jì)算機(jī)應(yīng)用與軟件;2007年12期

3 劉東波;盧正鼎;;數(shù)據(jù)庫中的模糊邏輯規(guī)則發(fā)現(xiàn)[J];計(jì)算機(jī)工程與應(yīng)用;2008年26期

4 黃洪;楊卓俊;王奔;;模糊邏輯在電子商務(wù)商品推薦系統(tǒng)中的應(yīng)用[J];計(jì)算機(jī)系統(tǒng)應(yīng)用;2012年03期

5 劉瑾奕;張冬茉;申麗萍;;一種基于模糊邏輯的實(shí)用睡意檢測(cè)方法[J];計(jì)算機(jī)應(yīng)用與軟件;2008年04期

6 張英濤;黃劍華;唐降龍;郭延輝;;一種基于模糊邏輯的乳腺X光片增強(qiáng)方法[J];哈爾濱工業(yè)大學(xué)學(xué)報(bào);2005年11期

7 邢龍平;李東暉;胡川川;;基于模糊邏輯的無損視頻壓縮的算法[J];計(jì)算機(jī)應(yīng)用;2012年10期

8 馮建湘,唐嶸,高利;基于模糊邏輯的軟件質(zhì)量評(píng)價(jià)方法[J];安徽理工大學(xué)學(xué)報(bào)(自然科學(xué)版);2003年04期

9 鄧廷權(quán);陳延梅;;基于模糊邏輯的微粒測(cè)定算子[J];哈爾濱工業(yè)大學(xué)學(xué)報(bào);2009年12期

10 石振剛;王曉燕;;基于模糊邏輯的足跡圖像濾波算法[J];沈陽理工大學(xué)學(xué)報(bào);2010年01期

相關(guān)會(huì)議論文 前7條

1 孫濤;張宏建;胡赤鷹;;基于模糊邏輯融合算法的氣液兩相流流型辨識(shí)方法[A];中國儀器儀表學(xué)會(huì)第三屆青年學(xué)術(shù)會(huì)議論文集（上）[C];2001年

2 高曉芳;葉劍;朱珍民;劉金剛;;嵌入模糊邏輯的上下文存儲(chǔ)與查詢機(jī)制[A];第18屆全國多媒體學(xué)術(shù)會(huì)議（NCMT2009）、第5屆全國人機(jī)交互學(xué)術(shù)會(huì)議（CHCI2009）、第5屆全國普適計(jì)算學(xué)術(shù)會(huì)議（PCC2009）論文集[C];2009年

3 王彥新;常淑鳳;郝麗霞;王紅光;;基于C#多線程機(jī)制實(shí)現(xiàn)讀者/寫者問題的研究[A];Proceedings of 2010 National Vocational Education of Communications and Information Technology Conference (2010 NVCIC)[C];2010年

4 高欽和;成曙;;軟計(jì)算的概念及應(yīng)用[A];1996年中國智能自動(dòng)化學(xué)術(shù)會(huì)議論文集（上冊(cè)）[C];1996年

5 肖鏡輝;劉秉權(quán);;一種非時(shí)齊的隱馬爾科夫模型及其在音字轉(zhuǎn)換中的應(yīng)用[A];全國第八屆計(jì)算語言學(xué)聯(lián)合學(xué)術(shù)會(huì)議（JSCL-2005）論文集[C];2005年

6 劉文壯;李均利;;一種基于隱馬爾科夫模型的脫機(jī)手寫漢字識(shí)別方法[A];2009系統(tǒng)仿真技術(shù)及其應(yīng)用學(xué)術(shù)會(huì)議論文集[C];2009年

7 王宏生;孫美玲;李家峰;;隱馬爾科夫模型在構(gòu)建語言模型中的應(yīng)用[A];創(chuàng)新沈陽文集（A）[C];2009年

相關(guān)博士學(xué)位論文 前1條

1 石振剛;基于模糊邏輯的圖像處理算法研究[D];東北大學(xué);2009年

相關(guān)碩士學(xué)位論文 前10條

1 譚磊;基于模糊邏輯的信息安全風(fēng)險(xiǎn)評(píng)估系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[D];電子科技大學(xué);2014年

2 沈小巍;VANET城市環(huán)境下基于傳輸穩(wěn)定性的路由協(xié)議研究[D];福建師范大學(xué);2016年

3 羅升;基于模糊邏輯的視頻多目標(biāo)跟蹤算法研究[D];深圳大學(xué);2017年

4 劉瑾奕;智能教室中基于圖像處理和模糊邏輯的睡意檢測(cè)研究與實(shí)現(xiàn)[D];上海交通大學(xué);2007年

5 柳晨光;面向多線程機(jī)制的軟件重構(gòu)方法研究與實(shí)現(xiàn)[D];河北科技大學(xué);2016年

6 邱新朋;基于本體及模糊邏輯的協(xié)同設(shè)計(jì)研究[D];大連理工大學(xué);2009年

7 徐進(jìn);離心機(jī)中央控制機(jī)軟件設(shè)計(jì)及基于模糊邏輯的專家系統(tǒng)[D];哈爾濱工業(yè)大學(xué);2006年

8 李明泉;OWL規(guī)則擴(kuò)展及其推理的應(yīng)用研究[D];天津大學(xué);2006年

9 楊春亮;基于模糊邏輯的專利數(shù)據(jù)層次分類研究[D];天津大學(xué);2008年

10 王嵐;具有情感的智能虛擬主體研究[D];蘭州理工大學(xué);2007年

，

本文編號(hào)：1818319