本文選題：互聯(lián)網(wǎng)體系結(jié)構(gòu) + 通用框架��； 參考：《計(jì)算機(jī)研究與發(fā)展》2017年05期

【摘要】：地址機(jī)制作為互聯(lián)網(wǎng)體系結(jié)構(gòu)中的核心組成部分,其演進(jìn)性決定了對(duì)上層網(wǎng)絡(luò)創(chuàng)新應(yīng)用的承載能力.傳統(tǒng)IP地址的缺陷導(dǎo)致當(dāng)前互聯(lián)網(wǎng)陷入僵化,大量新型地址機(jī)制的異構(gòu)性使研究者很難以統(tǒng)一方法論解釋和把握未來(lái)互聯(lián)網(wǎng)地址體系的演進(jìn)發(fā)展.針對(duì)上述問(wèn)題,通過(guò)對(duì)互聯(lián)網(wǎng)地址機(jī)制的演化進(jìn)行深入研究,抽象最小化核心特征,提出一種能夠容納異構(gòu)地址策略構(gòu)建乃至并存的通用框架,包括:1)完備的形式化概念模型,賦予地址常量的精確定義,并形成相關(guān)設(shè)計(jì)原則及約束規(guī)范的一致性理論基礎(chǔ);2)抽象多維度、可擴(kuò)展的接口原語(yǔ)以構(gòu)建3種核心交互模式,并結(jié)合通信公理化性質(zhì)以及語(yǔ)義,構(gòu)造一個(gè)地址交互過(guò)程的正確性證明框架;3)推導(dǎo)出通用地址引擎原型,允許靈活構(gòu)建地址策略,支持異構(gòu)地址機(jī)制的評(píng)估、演進(jìn)以及共存,以更好地支撐互聯(lián)網(wǎng)頂層生態(tài)的不斷演化.
[Abstract]:Address mechanism is the core component of Internet architecture, and its evolution determines the carrying capacity of innovative applications in the upper network. The defect of traditional IP address leads to the current Internet getting into inflexibility. The heterogeneity of a large number of new address mechanisms makes it difficult for researchers to explain and grasp the evolution and development of Internet address system in the future with unified methodology. In order to solve the above problems, this paper studies the evolution of Internet address mechanism, abstracts and minimizes the core features, and proposes a general framework that can accommodate the construction and coexistence of heterogeneous address policies, including a complete formal conceptual model, which includes: 1). It gives precise definition of address constant and forms the consistency theory foundation of relevant design principles and constraint specifications. It is an abstract multi-dimensional, extensible interface primitive to construct three core interaction patterns, and combine the axiomatic properties and semantics of communication. The prototype of the generic address engine is derived, which allows the flexible construction of address policies, and supports the evaluation, evolution and coexistence of heterogeneous address mechanisms. In order to better support the top of the Internet ecological evolution.
【作者單位】： 清華大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系;
【基金】：國(guó)家自然科學(xué)基金面上項(xiàng)目(61170292,61472212) 國(guó)家科技重大專(zhuān)項(xiàng)基金項(xiàng)目(2015ZX03003004) 國(guó)家“八六三”高技術(shù)研究發(fā)展計(jì)劃基金項(xiàng)目(2013AA013302,2015AA015601) 國(guó)家“九七三”重點(diǎn)基礎(chǔ)研究發(fā)展計(jì)劃基金項(xiàng)目(2012CB315803) 歐盟CROWN基金項(xiàng)目(FP7-PEOPLE-2013-IRSES-610524) 清華信息科學(xué)與技術(shù)國(guó)家實(shí)驗(yàn)室(籌)學(xué)科交叉基金項(xiàng)目~~
【分類(lèi)號(hào)】：TP393.02

【相似文獻(xiàn)】

相關(guān)期刊論文 前1條

1 孟慶志;;網(wǎng)絡(luò)協(xié)議描述及正確性證明方法初探[J];通信技術(shù);1987年04期

，

本文編號(hào)：2037918