電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
基于Agent技術(shù)為復(fù)雜分布式問題提供了求解方法。軟件體系結(jié)構(gòu)是控制軟件復(fù)雜性、提高軟件系統(tǒng)質(zhì)量、支持軟件開發(fā)和復(fù)用的重要手段之一。軟件體系結(jié)構(gòu)設(shè)計(jì)可用于描述Agent與Agent之間的交互和組織結(jié)構(gòu)的規(guī)劃，因此Agent系統(tǒng)能從良好的體系結(jié)構(gòu)設(shè)計(jì)中受益。該文整合了圖表句法理論和層次謂詞變遷網(wǎng)理論，提出一種形式化建模方法，從抽象層(架構(gòu))和實(shí)現(xiàn)層(動(dòng)態(tài)行為)兩方面來構(gòu)建Agent系統(tǒng)的軟件體系結(jié)構(gòu)。模型具有可驗(yàn)證和追蹤性，為Agent系統(tǒng)軟件體系結(jié)構(gòu)分析與評(píng)估提供了良好的基礎(chǔ)。
關(guān)鍵詞：層次謂詞變遷網(wǎng)；圖表句法理論；軟件體系結(jié)構(gòu)；Agent系統(tǒng)；形式化規(guī)約
關(guān)鍵詞：層次謂詞變遷網(wǎng)；圖表句法理論；軟件體系結(jié)構(gòu)；Agent系統(tǒng)；形式化規(guī)約
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 軟件無線電的體系結(jié)構(gòu) 12次下載
- 軟件無線電的體系結(jié)構(gòu)總結(jié) 9次下載
- 如何使用一種形式化方法的3D虛擬祭祀場(chǎng)景建模語言與環(huán)境 9次下載
- 面向航天嵌入式的形式化建模 1次下載
- 軟件形式化開發(fā)的水波優(yōu)化方法 0次下載
- 基于DoDAF的衛(wèi)星應(yīng)用信息鏈體系結(jié)構(gòu) 1次下載
- 軟件體系結(jié)構(gòu)的分析 15次下載
- 一種形式化的學(xué)習(xí)過程建模_鐘偉平 0次下載
- 物聯(lián)網(wǎng)的體系結(jié)構(gòu)與相關(guān)軟件系統(tǒng)代碼自動(dòng)化的研究_孫杰 0次下載
- 一種服務(wù)網(wǎng)絡(luò)拓?fù)?b class="flag-6" style="color: red">結(jié)構(gòu)的形式化描述方法_陳鵬 2次下載
- 多Agent系統(tǒng)體系結(jié)構(gòu)及建模方法研究 2次下載
- 體系結(jié)構(gòu)建模工具SA分析 0次下載
- 基于Agent的集成體系結(jié)構(gòu)的研究與設(shè)計(jì)
- 集中式位置融合系統(tǒng)軟件體系結(jié)構(gòu)研究
- 基于構(gòu)件運(yùn)算的軟件體系結(jié)構(gòu)設(shè)計(jì)方法
- GPGPU體系結(jié)構(gòu)優(yōu)化方向（1） 314次閱讀
- DCS分散控制系統(tǒng)的硬件體系結(jié)構(gòu)介紹 828次閱讀
- DCS的硬件體系結(jié)構(gòu) 688次閱讀
- 嵌入式微處理器的體系結(jié)構(gòu) 1010次閱讀
- 形式化建模（一） 1387次閱讀
- 一手掌握計(jì)算機(jī)體系結(jié)構(gòu)核心內(nèi)容 1919次閱讀
- 基于硅量子位的可容錯(cuò)量子計(jì)算機(jī)體系結(jié)構(gòu)的一種構(gòu)建方法 3470次閱讀
- 米爾科技ARM體系結(jié)構(gòu)與編程介紹 2057次閱讀
- 5G通信信號(hào)模擬器系統(tǒng)軟件的設(shè)計(jì)方法 6557次閱讀
- 采用ARM和CPLD結(jié)構(gòu)的檢測(cè)系統(tǒng)可重構(gòu)設(shè)計(jì)方法 2259次閱讀
- 一個(gè)簡(jiǎn)化的PCIe總線體系結(jié)構(gòu) 5543次閱讀
- 淺談ARM處理器的特點(diǎn)和體系結(jié)構(gòu) 1.7w次閱讀
- 51單片機(jī)體系結(jié)構(gòu)初步分析 2778次閱讀
- SHARC并行系統(tǒng)軟件設(shè)計(jì)方法 1557次閱讀
- 一種基于B/S結(jié)構(gòu)與C/S結(jié)構(gòu)結(jié)合的新體系結(jié)構(gòu) 1292次閱讀
上傳資料賺積分下載排行
本周
- 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í)別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7基于單片機(jī)和 SG3525的程控開關(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 專業(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開關(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語言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評(píng)論