《面向網構軟體體系結構的可信管理模型與技術研究》是依託南京大學，由徐鋒擔任項目負責人的青年科學基金項目。
提出配合模型檢驗(Model Checking,簡稱MC)的狀態空間簡化方法，提出基於可信範式和網構運算性質的體系結構可信性檢驗方法，以及基於模型檢驗結果引導的體系結構測試方法，支持網構軟體基於體系結構全生命周期檢測的思想。對上述檢測技術研究，設計實現一個網構軟體體系結構可信性檢測工具原型系統。結題摘要 按照國家自然科學...
《體系結構驅動的可信軟體構造方法與技術研究》是依託北京大學，由梅宏擔任負責人的重大研究計畫。項目摘要 運行於網路環境下的軟體系統日益複雜，其可信問題也愈加突出。如何構造可信軟體，使其運行行為和結果符合預期，是一個極具挑戰性的問題。本課題以基於構件和面向服務的網路軟體系統為研究對象，以使用視角的綜合化...
《面向網構軟體的情境感知和自適應體系結構研究》是依託南京大學，由余萍擔任項目負責人的青年科學基金項目。項目摘要 網構軟體環境下的軟體系統應能感知外部環境的動態變化，並隨著這種變化按照功能指標、性能指標或可靠性指標等進行動態演化以儘可能提高用戶滿意度。因此情境感知和自適應演化成為此類軟體的一項重要需求。...
《網構軟體信任演化模型的形式化研究：面向複雜網路》是2022年電子工業出版社出版的圖書，作者是董宇欣 等。 內容簡介 本書聚焦於學術界研究的熱點問題——網構軟體可信性研究，從網構軟體的特徵出發，以開放網路的動態演化為基礎，結合生物學、社會學等領域的相關知識，旨在對網構軟體系統提出一種動態演化的、相對“...
《網構軟體可信性評估與保障技術》是2015年1月電子工業出版社出版的圖書，作者是司冠南。內容簡介 網構軟體是近年發展起來的研究領域，涵蓋了軟體構件、體系結構、軟體開發方法等多方面，並為當前流行的雲計算、物聯網等概念提供了諸多核心技術。由於網構軟體工作於開放、動態、難控的網際網路環境，且組成實體多由第...
《面向可信需求模型的自適應容錯軟體體系結構研究》是依託復旦大學，由趙文耘擔任項目負責人的重大研究計畫。項目摘要 與傳統的基於冗餘和多樣性思想的軟體容錯方法相比，自適應軟體系統能夠通過對自身行為和結構的動態調整來適應自身的缺陷和環境變化，為我們提供了一種更加靈活和有效的軟體容錯途徑。本項目針對設計和實現...
（ 4 ） 面向人工神經網路的系統軟體體系結構研究, 負責人, 中國科學院計畫, 2017-01--2018-12 （ 5 ） 自完善智慧型作業系統, 負責人, 中國科學院計畫, 2018-01--2018-12 （ 6 ） 智慧型機器人作業系統產品原型驗證平台, 負責人, 中國科學院計畫, 2018-01--2018-12 （ 7 ） 青年創新促進會武延軍, 負責...
針對新型網路環境的高動態性、網路化軟體的高靈活性和高複雜性、構成服務的自治性等特徵及安全攸關的高可信要求，以面向新型網路為1個重點目標，從服務協同系統的結構和行為2個層次，開展系統建模、驗證和模型轉換3個方面的基礎理論和關鍵技術研究，具體包括：協同結構的可信約束與滿足性判定方法，支持演化的協同行為描述...
《基於聲譽的網構軟體可信保障技術研究》是依託南京大學，由徐鋒擔任項目負責人的面上項目。項目摘要 隨著網際網路的快速發展和廣泛普及，新的軟體形態- - 網構軟體逐漸形成。軟體系統由分布於網路各處、分屬不同主體的軟體實體通過協作而形成，然而網路上的軟體實體良莠不齊，對系統的可靠運行帶來極大挑戰。聲譽系統是...
[10]2004年度霍英東青年教師基金: 面向體系結構的軟體演化技術, 項目編號: 94030,主要參與者.[11]2002年度國家重點推廣計畫項目:多變數不確定因素工藝配方最佳化系統(2002EC000297),排名第三.[12]2002年度湖南省製造業信息化示範工程, 複雜生產工藝動態建模與最佳化方法開發套用,項目編號:Hnmie-A-033,課題副組長.[13]...
《面向網構軟體的環境顯式化與處理技術研究》是依託南京大學，由黃宇擔任項目負責人的青年科學基金項目。項目摘要 為支持面向開放環境的網構軟體系統構建，本項目考察開放環境的本質特性以及開放環境下網構軟體系統的典型特徵，建立開放環境顯式化與處理概念模型；而後著重研究開放環境分析建模技術、環境信息存儲查詢技術、...
主要研究方向及簡介 軟體工程和網路分散式計算，重點是面向中間件的分散式軟體工程。研究興趣包括：高可信、可重配和可管理軟體中間件技術，面向服務計算，分散式軟體開發方法和工具，以及形式化建模與分析技術。學習經歷 88年～92年 武漢大學計算機科學系 計算機科學與技術 獲學士學位 92年～97年 武漢大學計算機科學系 ...
4.2TCG信任鏈技術的不足 4.3信任鏈傳遞研究現狀 4.3.1靜態可信認證 4.3.2動態可信認證 4.4可信引擎驅動下的可信軟體信任鏈模型 4.4.1可信軟體的設計 4.4.2軟體動態可信性評價 4.4.3軟體可信性分析 4.5本章小結 參考文獻 第5章可信軟體棧 5.1TCG軟體棧概述 5.2TCG軟體棧的體系結構 5.2.1TSP層...
具體研究內容包括主體化與可信化的軟體方法學框架、機器學習與智慧型化軟體支撐技術、普適化的分散式計算與套用支撐技術、以及人本化的多媒體信息處理技術及其套用等；旨在以軟體方法學與機器學習為切入點，研製一套面向Internet的軟體方法與技術支撐體系。總體目標 以國家重大需求為導向，密切結合計算機軟體新技術發展的新趨勢...
本實驗室將以研究高可信軟體技術為主攻方向，主要研究方向分為：1． 可信軟體的計算模型和形式化方法 2． 高可信軟體工程基礎理論及方法 3． 軟體運行平台及其可信性結構和機理 4． 軟體可信性的評測和保障方法 5． 領域特定的可信性技術 這五個方向構成了高可信軟體從基礎理論、生產、評估和套用的整體環境。本...
大數據時代，軟體體系結構的研究已顯得尤為迫切。受軟體體系結構的局限，信息技術領域長期存在的問題在大數據時代愈發突出：系統間的信息難以共享；已建系統的功能擴展困難；海量、異構、多源、動態、實時變化和爆發式增長的大數據難管理，難分析，難挖掘；面向業務的軟體工程開發過程複雜，維護困難，生命周期短；信息安全關係...
由於單一分析方法往往難以滿足分析需要，本項目將從輸入、執行和輸出三個方面研究網構軟體分析方法的集成，並將其套用到數字家庭中嵌入式軟體的分析中。本項目首先從模型內容與模型表示兩個角度，建立了體系結構模型與分析方法之間輸入失配的分類框架，並針對基於模型轉換的適配器，提出模型轉換規約合成方法，實現適配器的...
針對上述問題：1.將SOA架構中可靠性相關因素引入到體系結構模型中； 2.採用參數依賴的方法將系統級使用剖面傳遞給服務組件；3.體系結構模型和分析模型分開建模，對軟體開發者隱藏底層分析技術的複雜性；4.引入子域的概念，子域允許開發者在不知道服務將面臨使用剖面情況下對服務進行測試。本項目研究將有望解決SOA軟體...
上述研究面向國家重大需求主要套用於：（1）數字檔案：對數字檔案憑證性保障，提出基於電子檔案身份證的EAID-PKI安全模型，受北京市科技計畫“基於異構系統的電子檔案憑證性保障核心技術開發與套用”支持。原型驗證系統貫穿6個業務平台、基於10個處理節點、載入200萬條共2TB數據，通過了北京軟體產品質量檢測檢驗中心第三方...
（1）網際網路管理體系結構的創新基礎研究。反思網路管理體系結構和網路體系結構之間的關係，研究新的網路管理體系結構模型，使網路管理具備與網際網路同步發展的能力，實現伴隨管理。在功能定義方面，研究和回響網路治理問題，研究和回響新技術和系統的管理問題；在組織結構方面，提出開放的組織結構模型設計，支持域內/域間管...
3.2.3網際網路體系結構評估工作特點總結99 3.3基於模型的網際網路體系結構評估99 3.3.1網際網路體系結構可服務性評估模型100 3.3.2網際網路體系結構可擴展性評估模型101 3.3.3網際網路體系結構可部署性評估模型106 3.3.4網際網路體系結構可演化性評估模型107 3.3.5互聯網體系結構可信性評估模型108 3.3.6小結110 3...
軟體系統架構師綜合的知識能力包括9個方面，即：1、戰略規劃能力。2、業務流程建模能力。3、信息數據結構能力。4、技術架構選擇和實現能力。5、套用系統架構的解決和實現能力。6、基礎IT知識及基礎設施、資源調配能力。7、信息安全技術支持與管理保障能力。8、IT審計、治理與基本需求分析、獲取能力。9、面向軟體系統...
為了全面促進本地科學技術人才的培養，微軟亞洲研究院推出了一系列旨在培養科研領域高素質人才並鼓勵青年人投身技術創新研究的項目。其中，面向學生，微軟亞洲研究院設立了“明日之星”實習生計畫、“微軟學者”獎學金、聯合培養博士生、微軟學生俱樂部、微軟創新人才學院等項目；面向青年教師，微軟亞洲研究院積極推動青年訪問...
最終，實現路由協定、可信架構與實時性分析間的自適應反饋機制，指導對系統性能、能耗、安全強度等方面的最佳化與配置。本項目基於理論研究、仿真測試以及原型系統驗證，將提出一套面向可信、實時嵌入式網路的建模、設計及分析的完整的系統解決方案，為推動物聯網的發展與套用提供理論依據與技術支持。結題摘要 嵌入式網路...
2． 國家自然科學基金重大研究計畫“軟體的可信計算環境的構造、建模和算法研究”，負責人，2008-2010。3． 國家自然科學基金“基於複雜網路理論的Internet可生存性研究”，負責人，2008。4． 國家自然科學基金“網路容侵模型與算法研究”，負責人，2005。5． 國家863項目“基於可信虛擬機的數據防泄露關鍵技術研究與...
研究高可信的軟體資源庫開放式體系結構，以分散式的集成體系實現資源庫的互聯。 具體研究內容包括：▅ 多種類軟體資源組織管理機制，給出適用於實體型資源和服務型資源的資源管理方法，研發擴展UDDI(Universal Description, Discovery, and Integration)標準的資源庫訪問接口。軟體資源搜尋技術，包括面向Internet的軟體資源收集...
雲安全是一整套技術、協定和最佳做法的總稱，旨在保護雲計算環境、雲中運行的應用程式和雲中保存的數據。要保護雲服務，首先應了解要保護的確切內容，以及必須管理的系統方面。2.為什麼雲安全很重要？如今的企業已經開始越來越多地過渡到基於雲的環境和 IaaS、PaaS或 SaaS 計算模型。由於基礎架構管理的動態特性（尤其是...
需求工程（安全需求工程、可信需求工程、群體智慧型驅動的需求工程）與面向服務的軟體工程、可信計算等。領導設計和開發了兩個套用平台SKLSEWiki和REAL4S。SKLSEWiki是一個基於Wiki的需求協商平台，能輔助涉眾通過模板填充、關係識別等方式收集各種涉眾的需求，並能通過需求成熟度度量等方法幫助需求工程師分析需求。REAL4S是...
19.印桂生,宋敏,韋正現,王紅濱*,張萬松，面向構件語義關係的軟體體系結構演化分析，哈爾濱工程大學學報，2011，32（10）:1329~1335(EI: 20114714541312)20.祝官文*，王念濱，王紅濱，基於主題和表單屬性的深層網路數據源分類方法，電子學報，2013，41（2）:260~266（EI:20131416174624）21.祝官文*,王念濱,王紅濱，基於...
