電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
形式化方法有助于從根本上提高軟件系統(tǒng)的質(zhì)量與可靠性，但其開發(fā)成本往往過于高昂．一種折衷的辦法是在軟件系統(tǒng)中選取關(guān)鍵性部件進(jìn)行形式化開發(fā)，但目前尚無非常有效的定量選擇方法．將軟件系統(tǒng)中的形式化開發(fā)關(guān)鍵部件選取建模為一個(gè)0-1約束規(guī)劃問題，以便使用元啟發(fā)式搜索方法對其進(jìn)行優(yōu)化求解．另外，針對該問題專門設(shè)計(jì)了一種離散水波優(yōu)化（water wave optimization，簡稱WWO）算法，在一個(gè)大型軟件系統(tǒng)上的應(yīng)用驗(yàn)證了問題模型的有效性，同時(shí)證明了WWO算法相對于其他若干典型元啟發(fā)式搜索方法的優(yōu)越性．
?
軟件
加入交流群
掃碼添加小助手
加入工程師交流群
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 無人機(jī)無線通信協(xié)議的形式化認(rèn)證綜述 9次下載
- 基于定理證明其的有限域及其形式化研究 1次下載
- 如何使用Myeclipse進(jìn)行java可視化開發(fā) 5次下載
- 如何使用一種形式化方法的3D虛擬祭祀場景建模語言與環(huán)境 9次下載
- 面向航天嵌入式的形式化建模 1次下載
- Web服務(wù)系統(tǒng)的形式化的語義模型 0次下載
- 操作系統(tǒng)匯編級形式化設(shè)計(jì)和驗(yàn)證方法 1次下載
- 一種形式化的學(xué)習(xí)過程建模_鐘偉平 0次下載
- 一種服務(wù)網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)的形式化描述方法_陳鵬 2次下載
- RFID領(lǐng)域軟件構(gòu)件化開發(fā)技術(shù)研究 22次下載
- 基于Petri網(wǎng)的安全協(xié)議形式化分析 29次下載
- 基于Spin的Rdt2.2及其改進(jìn)的形式化分析
- 形式化方法和測試技術(shù)及其在安全中的應(yīng)用
- 密碼協(xié)議形式化分析的計(jì)算合理性
- Agent系統(tǒng)軟件體系結(jié)構(gòu)形式化建模方法
- 【產(chǎn)品介紹】Altair HyperStudy拓?fù)?b class="flag-6" style="color: red">優(yōu)化軟件 457次閱讀
- 動(dòng)態(tài)追溯方法：徹底革新軟件測試 1.1k次閱讀
- MySQL性能優(yōu)化方法 1.4k次閱讀
- 如何通過最小化熱回路PCB ESR和ESL來優(yōu)化開關(guān)電源布局 1.4k次閱讀
- 芯片開發(fā)中形式化驗(yàn)證的是一個(gè)誤區(qū) 2.8k次閱讀
- 形式化建模（一） 2k次閱讀
- 基于構(gòu)件化軟件開發(fā)的IEEE802.15.4標(biāo)準(zhǔn)的設(shè)計(jì)與實(shí)現(xiàn) 3.1k次閱讀
- ZWS云平臺的可視化開發(fā)功能介紹和應(yīng)用實(shí)例說明 1.7k次閱讀
- 360度全景環(huán)視和自動(dòng)泊車系統(tǒng) 2.7k次閱讀
- 米爾科技AM335X開發(fā)板縮減開機(jī)待機(jī) 3k次閱讀
- 優(yōu)化嵌入式軟件時(shí)可以遵循幾個(gè)通用技巧盤點(diǎn) 868次閱讀
- 基于spice3f5的建模工具的器件建模機(jī)制實(shí)現(xiàn)模塊復(fù)用和快速原型化開發(fā) 1.6k次閱讀
- 使用oprofile對軟件做profiling 1.1k次閱讀
- Xilinx INT8 優(yōu)化開發(fā)嵌入式視覺 6k次閱讀
- 干貨！匯總電路開發(fā)設(shè)計(jì)使用的軟件 2.7k次閱讀
上傳資料賺積分下載排行
本周
- 1MDD品牌三極管MMBT3906數(shù)據(jù)手冊
- 2.33 MB | 次下載 | 免費(fèi)
- 2MDD品牌三極管S9012數(shù)據(jù)手冊
- 2.62 MB | 次下載 | 免費(fèi)
- 3聯(lián)想flex2-14D/15D說明書
- 4.92 MB | 次下載 | 免費(fèi)
- 4收音環(huán)繞擴(kuò)音機(jī) AVR-1507手冊
- 2.50 MB | 次下載 | 免費(fèi)
- 524Pin Type-C連接器設(shè)計(jì)報(bào)告
- 1.06 MB | 次下載 | 免費(fèi)
- 6新一代網(wǎng)絡(luò)可視化（NPB 2.0）
- 3.40 MB | 次下載 | 免費(fèi)
- 7MS1000TA 超聲波測量模擬前端芯片技術(shù)手冊
- 0.60 MB | 次下載 | 免費(fèi)
- 8MS1022高精度時(shí)間測量(TDC)電路數(shù)據(jù)手冊
- 1.81 MB | 次下載 | 免費(fèi)
本月
- 1愛華AIWA HS-J202維修手冊
- 3.34 MB | 37次下載 | 免費(fèi)
- 2PC5502負(fù)載均流控制電路數(shù)據(jù)手冊
- 1.63 MB | 23次下載 | 免費(fèi)
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費(fèi)
- 6技嘉H110主板IT8628E_BX IO電路圖資料
- 2.61 MB | 4次下載 | 1 積分
- 7蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 8100W準(zhǔn)諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191439次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評論