• 中国精品科技期刊
  • CCF推荐A类中文期刊
  • 计算领域高质量科技期刊T1类
高级检索

一种形式化的互联网地址机制通用框架

朱亮, 徐恪, 徐磊

朱亮, 徐恪, 徐磊. 一种形式化的互联网地址机制通用框架[J]. 计算机研究与发展, 2017, 54(5): 940-951. DOI: 10.7544/issn1000-1239.2017.20151139
引用本文: 朱亮, 徐恪, 徐磊. 一种形式化的互联网地址机制通用框架[J]. 计算机研究与发展, 2017, 54(5): 940-951. DOI: 10.7544/issn1000-1239.2017.20151139
shu
Zhu Liang, Xu Ke, Xu Lei. A Formal General Framework of Internet Address Mechanisms[J]. Journal of Computer Research and Development, 2017, 54(5): 940-951. DOI: 10.7544/issn1000-1239.2017.20151139
Citation: Zhu Liang, Xu Ke, Xu Lei. A Formal General Framework of Internet Address Mechanisms[J]. Journal of Computer Research and Development, 2017, 54(5): 940-951. DOI: 10.7544/issn1000-1239.2017.20151139
shu
朱亮, 徐恪, 徐磊. 一种形式化的互联网地址机制通用框架[J]. 计算机研究与发展, 2017, 54(5): 940-951. CSTR: 32373.14.issn1000-1239.2017.20151139
引用本文: 朱亮, 徐恪, 徐磊. 一种形式化的互联网地址机制通用框架[J]. 计算机研究与发展, 2017, 54(5): 940-951. CSTR: 32373.14.issn1000-1239.2017.20151139
shu
Zhu Liang, Xu Ke, Xu Lei. A Formal General Framework of Internet Address Mechanisms[J]. Journal of Computer Research and Development, 2017, 54(5): 940-951. CSTR: 32373.14.issn1000-1239.2017.20151139
Citation: Zhu Liang, Xu Ke, Xu Lei. A Formal General Framework of Internet Address Mechanisms[J]. Journal of Computer Research and Development, 2017, 54(5): 940-951. CSTR: 32373.14.issn1000-1239.2017.20151139
shu

一种形式化的互联网地址机制通用框架

  • (清华大学计算机科学与技术系 北京 100084) (tshbruce@gmail.com)

基金项目: 国家自然科学基金面上项目(61170292，61472212)；国家科技重大专项基金项目(2015ZX03003004)；国家“八六三”高技术研究发展计划基金项目(2013AA013302，2015AA015601)；国家“九七三”重点基础研究发展计划基金项目(2012CB315803)；欧盟CROWN基金项目(FP7-PEOPLE-2013-IRSES-610524);清华信息科学与技术国家实验室(筹)学科交叉基金项目
详细信息

  • 中图分类号: TP393

A Formal General Framework of Internet Address Mechanisms

  • (Department of Computer Science and Technology, Tsinghua University, Beijing 100084)

摘要

    摘要
  • 摘要: 地址机制作为互联网体系结构中的核心组成部分，其演进性决定了对上层网络创新应用的承载能力.传统IP地址的缺陷导致当前互联网陷入僵化，大量新型地址机制的异构性使研究者很难以统一方法论解释和把握未来互联网地址体系的演进发展.针对上述问题，通过对互联网地址机制的演化进行深入研究，抽象最小化核心特征，提出一种能够容纳异构地址策略构建乃至并存的通用框架，包括：1) 完备的形式化概念模型，赋予地址常量的精确定义，并形成相关设计原则及约束规范的一致性理论基础；2) 抽象多维度、可扩展的接口原语以构建3种核心交互模式，并结合通信公理化性质以及语义，构造一个地址交互过程的正确性证明框架；3) 推导出通用地址引擎原型，允许灵活构建地址策略，支持异构地址机制的评估、演进以及共存，以更好地支撑互联网顶层生态的不断演化.
    Abstract: The address mechanism is the most essential and important part of the Internet architecture and its evolution determines the capacity of the Internet to accommodate the innovative applications. The traditional IP-based address strategy gets the current Internet into ossification which makes the architectural innovation become a consensus. Many novel address strategies make significant extensions or innovations for the traditional model but lack of common design principles and consistent expression model. It has become difficult to insight into future evolution progress of the address schemes for the diversity and heterogeneity. Moreover, we believe that a diversity address mechanism might coexist in the Internet architecture to meet the ecological evolution of network applications. To tackle the above problems, by researching the evolution of the Internet address mechanisms and abstracting a minimal architectural core, a general framework for accommodating the diversity and heterogeneity of various address strategies is proposed in this paper, including: 1) formal and verifiable conceptual model forms a consistent theoretical framework within which the invariants and design constraints can be expressed; 2) abstract multi-dimensional and extensible interface primitives and interactive patterns with the communication axioms to provide a proof framework for the Internet address schemes; 3) derive working prototype implementations—Universal Engine of Address Schemes which allows us to construct the various address mechanisms with flexibility and support the evaluation, evolution and coexistence of the Internet address strategies, in order to meet the ecological evolution of network applications.
    • HTML全文
    • 参考文献(0)
    • 相关文章
    • 施引文献(54)

  • 期刊类型引用(21)

    1. 李禹纬，付锐，刘帆. 改进YOLOv7的轻量化交通标志检测算法. 太原理工大学学报. 2024(01): 195-203 . 百度学术
    2. 李旭东 ，廖婷婷 ，乐文毅 ，曾小信 ，陈思墨 ，李宗平 . 基于YOLOv3的袋式除尘器滤袋破损自动检测方法. 烧结球团. 2024(01): 99-105 . 百度学术
    3. 江金懋，钟国韵. 基于双向嵌套级联残差的交通标志检测方法. 现代电子技术. 2024(05): 176-181 . 百度学术
    4. 韩长江，刘丽娟. 基于Transformer改进YOLOv5的交通标志检测算法. 信息技术. 2024(11): 21-27 . 百度学术
    5. 张京淇，李超，李晓磊. 基于改进YOLOv8s的交通标志检测算法. 电脑知识与技术. 2024(30): 31-34 . 百度学术
    6. 胡昭华，王莹. 改进YOLOv5的交通标志检测算法. 计算机工程与应用. 2023(01): 82-91 . 百度学术
    7. 金晓康，吴瑶，施莹娟，沈才有. 基于YOLO框架的实时交通标志识别算法研究与系统实现. 软件. 2023(01): 20-23 . 百度学术
    8. 刘翀豪，潘理虎，杨帆，张睿. 改进YOLOv5的轻量化口罩检测算法. 计算机工程与应用. 2023(07): 232-241 . 百度学术
    9. 王能文，张涛. 改进YOLOX-S实时多尺度交通标志检测算法. 计算机工程与应用. 2023(21): 167-175 . 百度学术
    10. 方猛，邹亚洲. 基于车载点云数据的道路交通指示标志检测方法. 北京测绘. 2023(08): 1121-1127 . 百度学术
    11. 王浩，雷印杰，陈浩楠. 改进YOLOV3实时交通标志检测算法. 计算机工程与应用. 2022(08): 243-248 . 百度学术
    12. 刘万军，李嘉欣，曲海成. 基于多尺度卷积神经网络的交通标示识别研究. 计算机应用研究. 2022(05): 1557-1562 . 百度学术
    13. 张上，王恒涛，冉秀康. 基于YOLOv5的轻量化交通标志检测方法. 电子测量技术. 2022(08): 129-135 . 百度学术
    14. 刘宇宸，石刚，崔青，刘明辉，郑秋萍. 改进MobileNetv3-YOLOv3交通标志牌检测算法. 东北师大学报(自然科学版). 2022(02): 53-60 . 百度学术
    15. 高宇鹏，梁世军. 交通禁令标志自动图像识别方法设计与仿真. 计算机仿真. 2022(06): 123-126+145 . 百度学术
    16. 闵锋，侯泽铭. 铁路接触网主要部件检测方法. 计算机工程与设计. 2022(10): 2911-2917 . 百度学术
    17. 马宇，张丽果，杜慧敏，毛智礼. 卷积神经网络的交通标志语义分割. 计算机科学与探索. 2021(06): 1114-1121 . 百度学术
    18. 马永杰，程时升，马芸婷，马义德. 卷积神经网络及其在智能交通系统中的应用综述. 交通运输工程学报. 2021(04): 48-71 . 百度学术
    19. 张力天，孔嘉漪，樊一航，范灵俊，包尔固德. 基于宏微观因素的概率级别的车辆事故预测. 计算机研究与发展. 2021(09): 2052-2061 . 本站查看
    20. 陈燕，杨志刚. 自然场景建筑工程标志信息逐级细化识别算法. 计算机仿真. 2021(08): 450-454 . 百度学术
    21. 任坤，黄泷，范春奇，高学金. 基于多尺度像素特征融合的实时小交通标志检测算法. 信号处理. 2020(09): 1457-1463 . 百度学术

    其他类型引用(33)

    • 资源附件(0)
计量
  • 文章访问数:  854
  • HTML全文浏览量:  2
  • PDF下载量:  413
  • 被引次数: 54
出版历程
  • 发布日期:  2017-04-30

目录

摘要
HTML全文
    参考文献(0)
    相关文章
    施引文献(54)
    资源附件(0)

    /

    返回文章
    返回
    邮件订阅 RSS
    微信订阅号<br/>（实时资讯）

    微信订阅号
    （实时资讯）

    微信服务号<br/>（同步网站）

    微信服务号
    （同步网站）

    微信视频号<br/>（视频分享）

    微信视频号
    （视频分享）

    CCF<br/>（扫码入会）

    CCF
    （扫码入会）

    版权所有 © 《计算机研究与发展》编辑部

    本系统由北京仁和汇智信息技术有限公司开发  百度统计