電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻資料介紹
形式化方法有助于從根本上提高軟件系統(tǒng)的質(zhì)量與可靠性，但其開(kāi)發(fā)成本往往過(guò)于高昂．一種折衷的辦法是在軟件系統(tǒng)中選取關(guān)鍵性部件進(jìn)行形式化開(kāi)發(fā)，但目前尚無(wú)非常有效的定量選擇方法．將軟件系統(tǒng)中的形式化開(kāi)發(fā)關(guān)鍵部件選取建模為一個(gè)0-1約束規(guī)劃問(wèn)題，以便使用元啟發(fā)式搜索方法對(duì)其進(jìn)行優(yōu)化求解．另外，針對(duì)該問(wèn)題專(zhuān)門(mén)設(shè)計(jì)了一種離散水波優(yōu)化（water wave optimization，簡(jiǎn)稱(chēng)WWO）算法，在一個(gè)大型軟件系統(tǒng)上的應(yīng)用驗(yàn)證了問(wèn)題模型的有效性，同時(shí)證明了WWO算法相對(duì)于其他若干典型元啟發(fā)式搜索方法的優(yōu)越性．
?
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 無(wú)人機(jī)無(wú)線(xiàn)通信協(xié)議的形式化認(rèn)證綜述 9次下載
- 開(kāi)源軟件包管理升級(jí)的多目標(biāo)優(yōu)化方法 0次下載
- 基于定理證明其的有限域及其形式化研究 1次下載
- 如何使用Myeclipse進(jìn)行java可視化開(kāi)發(fā) 5次下載
- 如何使用一種形式化方法的3D虛擬祭祀場(chǎng)景建模語(yǔ)言與環(huán)境 9次下載
- 面向航天嵌入式的形式化建模 1次下載
- Web服務(wù)系統(tǒng)的形式化的語(yǔ)義模型 0次下載
- 操作系統(tǒng)匯編級(jí)形式化設(shè)計(jì)和驗(yàn)證方法 1次下載
- 一種服務(wù)網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)的形式化描述方法_陳鵬 2次下載
- RFID領(lǐng)域軟件構(gòu)件化開(kāi)發(fā)技術(shù)研究 22次下載
- 基于Petri網(wǎng)的安全協(xié)議形式化分析 29次下載
- 基于Spin的Rdt2.2及其改進(jìn)的形式化分析
- 形式化方法和測(cè)試技術(shù)及其在安全中的應(yīng)用
- 密碼協(xié)議形式化分析的計(jì)算合理性
- Agent系統(tǒng)軟件體系結(jié)構(gòu)形式化建模方法
- 動(dòng)態(tài)追溯方法：徹底革新軟件測(cè)試 259次閱讀
- MySQL性能優(yōu)化方法 437次閱讀
- 如何通過(guò)最小化熱回路PCB ESR和ESL來(lái)優(yōu)化開(kāi)關(guān)電源布局 512次閱讀
- 芯片開(kāi)發(fā)中形式化驗(yàn)證的是一個(gè)誤區(qū) 1753次閱讀
- 形式化建模（一） 1198次閱讀
- 基于構(gòu)件化軟件開(kāi)發(fā)的IEEE802.15.4標(biāo)準(zhǔn)的設(shè)計(jì)與實(shí)現(xiàn) 2122次閱讀
- ZWS云平臺(tái)的可視化開(kāi)發(fā)功能介紹和應(yīng)用實(shí)例說(shuō)明 1374次閱讀
- 大文件Vlookup工具：日常優(yōu)化工作必備神器 2272次閱讀
- 360度全景環(huán)視和自動(dòng)泊車(chē)系統(tǒng) 2194次閱讀
- 米爾科技AM335X開(kāi)發(fā)板縮減開(kāi)機(jī)待機(jī) 2567次閱讀
- 優(yōu)化嵌入式軟件時(shí)可以遵循幾個(gè)通用技巧盤(pán)點(diǎn) 628次閱讀
- 基于spice3f5的建模工具的器件建模機(jī)制實(shí)現(xiàn)模塊復(fù)用和快速原型化開(kāi)發(fā) 1302次閱讀
- 使用oprofile對(duì)軟件做profiling 825次閱讀
- Xilinx INT8 優(yōu)化開(kāi)發(fā)嵌入式視覺(jué) 5416次閱讀
- 干貨！匯總電路開(kāi)發(fā)設(shè)計(jì)使用的軟件 2172次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說(shuō)明
- 4.28 MB | 18次下載 | 4 積分
- 5開(kāi)關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7基于單片機(jī)和 SG3525的程控開(kāi)關(guān)電源設(shè)計(jì)
- 0.23 MB | 3次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專(zhuān)業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評(píng)論