《大規模網路分散式管理模型的形式化描述、分析與評價》是依託東南大學,由羅軍舟擔任項目負責人的重大研究計畫。
基本介紹
- 中文名:大規模網路分散式管理模型的形式化描述、分析與評價
- 項目類別:重大研究計畫
- 項目負責人:羅軍舟
- 依託單位:東南大學
- 負責人職稱:教授
- 批准號:90604004
- 研究期限:2006-01-01 至 2008-12-31
- 申請代碼:F0207
- 支持經費:33(萬元)
《大規模網路分散式管理模型的形式化描述、分析與評價》是依託東南大學,由羅軍舟擔任項目負責人的重大研究計畫。
《大規模網路分散式管理模型的形式化描述、分析與評價》是依託東南大學,由羅軍舟擔任項目負責人的重大研究計畫。中文摘要計算機網路技術的發展要求網路管理必然走向分布化和智慧型化,符合這兩個特徵的網管模型層出不窮。但是,當前已有的...
它從信息處理角度對人腦神經元網路進行抽象, 建立某種簡單模型,按不同的連線方式組成不同的網路。在工程與學術界也常直接簡稱為神經網路或類神經網路。神經網路是一種運算模型,由大量的節點(或稱神經元)之間相互聯接構成。每個節點代表一種特定的輸出函式,稱為激勵函式(activation function)。每兩個節點間的連線...
信息模型是面向對象分析的基礎。它的基本思想是描述三個內容:對象、對象屬性和對象之間的關係。對象之間存在一定的關係,關係是以屬性的形式表現的。信息模型用兩種基本的形式描述:一種是文本說明形式,包括對系統中所有的對象、關係的描述與說明;一種是圖形表示形式,它提供一種全局的觀點,考慮系統中的相干性、完全性...
從剖析事件情景、情境和情境重構等重要概念著手,採用信息學、本體論、演化分析、定量與定性相結合等多種方法,介紹面向“情景-應對”的非常規突發事件情境重構表達框架、情境表達要素分解模型,情境形式化描述方法、多層次情境網路模型、非常規突發事件情境重構模型方法,以及可視化仿真分析等關鍵問題。本書介紹的情境重構...
首先定義了黑板和知識源的描述語言以及知識交換格式,設計和實現了支持網際網路上分散式問題求解的黑板系統,提出了分散式網路海量數據挖掘系統DistributedMiner。接著在分析移動式智慧型代理技術的基礎上,設計了一種移動式智慧型代理伺服器,通過重構基礎結構,提出了移動式網路海量數據挖掘系統模型MobileMiner。最後,本書研究了挖掘...
根據需求描述、能力問題(competency question)等對本體以及軟體環境、相關文檔進行評價。 ? 文檔記錄 ? 每一階段的指導準則 在這個框架內,他們詳細的描述了本體捕獲和形式化的本體設計和評估方法。 M. Gruninger & M.S. Fox在進行TOVE[8]本體的研究和開發時,也總結了設計和評估本體的方法學,包括背景和需求...
▅ 多種類軟體資源組織管理機制,給出適用於實體型資源和服務型資源的資源管理方法,研發擴展UDDI(Universal Description, Discovery, and Integration)標準的資源庫訪問接口。軟體資源搜尋技術,包括面向Internet的軟體資源收集技術的研究和領域特定的軟體資源自動整理、分類技術的研究。▅ 軟體資源的可信分級與評價機制,主要...
11.9.1 基本模型 11.9.2 LF算法 11.9.3 基於群體智慧型的聚類算法CSI 11.9.4 混合聚類算法CSIM 11.10 聚類方法的評價 習題 第12章 關聯規則 12.1 概述 12.2 基本概念 12.3 二值型關聯規則挖掘 12.3.1 AIS算法 12.3.2 SETM算法 12.3.3 Apriori算法 12.3.4 Apriori算法的改進 ...
軟體體系結構雖脫胎於軟體工程,但其形成同時借鑑了計算機體系結構和網路體系結構中很多寶貴的思想和方法,最近幾年軟體體系結構研究已完全獨立於軟體工程的研究,成為計算機科學的一個最新的研究方向和獨立學科分支。軟體體系結構研究的主要內容涉及軟體體系結構描述、軟體體系結構風格、軟體體系結構評價和軟體體系結構的形式...
MDA支持框架及元模型(語言)質量評價框架,為可信軟體的開發和評價提供技術基礎;發展基於軟體體系結構、面向構件的軟體開發方法,研究在CBSD中支持軟體可信性分析、設計和驗證的相關理論、技術,為大規模、工業化生產可信軟體提供方法學基礎;研究針對軟體資產的基於信譽的可信性分析、評估理論和技術,研究可信軟體管理機制...
7.4.3 一個評價同步器可靠性的統計模型 293 7.4.4 準同步接口 294 7.4.5 亞穩態行為的抑制 294 7.5 小結 296 7.6 問題 296 第8章 門級和電晶體級設計 298 8.1 cmos邏輯門 298 8.1.1 作為開關的mosfet 298 8.1.2 反相器 299 8.1.3 簡單的cmos門電路 306 8.1.4 複合門 308 8.1.5 有高阻抗能力的...
他的工作得到了著名的美國軟體工程專家葉祖堯先生的高度評價。 1985年回國以後他參與國家科技攻關項目“C軟體工程環境”的工作,他為軟體開發的圖形工具所設計的數據結構為國內多個單位採用。1985年-1991 年期間,他圍繞著面向圖形套用的軟體工程環境及工程套用方面進行了開發。參與完成了科學院重點科技攻關項目“多目標...
[4] 馬希榮,王志良,遠程教育中和諧人機情感互動模型的研究,計算機科學,2005年第32卷第9期,2005.9。[5] 馬希榮,數據挖掘技術在教學評價中的套用,計算機工程與套用,2003.7。[6] 馬希榮,孫華志,基於多Agent與CORBA的遠程教育通信平台的研究與構建,計算機科學,2003.6。教學特色 軟體學院聘請國際知名學者何...