-
题名网络抽象视角下干线送达时间可靠度无参估计方法
- 1
-
-
作者
栾建霖
游蕊齐
王斯妮
贾鹏
-
机构
大连海事大学
-
出处
《交通运输系统工程与信息》
北大核心
2025年第2期138-145,共8页
-
基金
国家自然科学基金青年科学基金。
-
文摘
为更准确地估计干线货运送达时间可靠度,本文利用货车轨迹数据,提出一种基于抽象网络的送达时间可靠度无参估计方法。首先,利用单位根检验-三西格玛规则(Augmented Dickey-Fuller-3sigma, ADF-3sigma)识别停车点并应用层次密度聚类算法(HDBSCAN)构建抽象网络节点。在此基础上,采用轨迹聚类算法(TRACLUS)进行轨迹聚类构建抽象网络边,形成干线货运抽象网络。然后,利用改进的科尼什-费希尔展开(Improved-Cornish-Fisher, ICF)无参方法估计抽象网络边的通行时间分布。最后,对运输路径上连续边的通行时间分布进行傅里叶变换得到送达时间可靠度估计。基于浙江地区的真实货车轨迹数据对该框架进行验证,结果表明,在68%的边上,ICF无参估计方法的边通行时间分布估计精度优于现有基于假设分布的方法。基于抽象网络进行送达时间可靠度估计可比基于真实网络的平均计算时长减少80%,送达时间可靠度估计准确度提升60%。
-
关键词
物流工程
送达时间可靠度估计方法
抽象网络
送达时间可靠度
货车轨迹数据
-
Keywords
logistics engineering
delivery time reliability estimation method
abstract network
delivery time reliability
truck trajectory data
-
分类号
U125
[交通运输工程]
-
-
题名基于ONOS的支持多域SDN的层次架构实现方案
被引量：1
- 2
-
-
作者
郑友伟
刘磊
-
机构
中国科学院声学研究所国家网络新媒体工程技术研究中心
中国科学院大学
-
出处
《网络新媒体技术》
2024年第2期35-44,共10页
-
基金
中国科学院青年创新促进会2020(编号:E029180101)。
-
文摘
软件定义网络(SDN)通过将控制平面与数据平面分离,实现了网络的可编程性,改变了网络管理的模式。然而,随着SDN网络规模的不断扩大,其可扩展性问题逐渐显现。针对这一问题,多控制器架构成为提升SDN可扩展性的主流策略。在多控制器架构中,数据流的跨域路由问题对网络的可扩展性产生了影响。随着网络规模的增大,跨域路由计算的时间复杂度呈非线性增长,导致跨域路由计算的收敛时间也随着增加,带来可扩展性问题。为了应对大规模SDN网络的挑战,基于ONOS控制器,完成了层次式SDN多控制器方案的设计与开发。在此基础上,提出一种层次式网络抽象方法,复用OpenFlow南向协议实现层次控制器间的消息同步与业务协作。该方法对多域网络中的每个域网络拓扑进行抽象,以降低跨域路由计算的复杂度,进一步降低跨域路由计算的收敛时间,以提升可扩展性。在实验验证阶段,我们从2个维度创建不同规模的SDN数据面仿真网络,并对比测试了集中式路由与使用网络抽象方法的层次式路由的跨域路由计算时长。实验结果表明,随着多域网络规模的扩大,与集中式跨域路由相比,层次式跨域路由的效率显著提升。当网络规模为20×20时,使用本文提出的网络抽象方法使跨域路由计算效率提升约40倍。这一结果为大规模SDN网络的有效管理提供了新的策略和方法。
-
关键词
SDN
跨域路由
网络抽象方法
ONOS控制器
路由计算
-
Keywords
SDN
cross-domain routing
network abstract method
ONOS
routing calculation
-
分类号
TP393.02
[自动化与计算机技术—计算机应用技术]
-
-
题名物联网发展的标准问题
被引量：6
- 3
-
-
作者
卢捍华
邵媛媛
孙洪波
丁斌
-
机构
南京邮电大学云计算研究中心
南京邮电大学通信与信息工程学院
福富信息技术股份有限公司
-
出处
《电信科学》
北大核心
2014年第3期1-4,共4页
-
基金
国家科技重大专项"泛在网络下多终端协同的网络控制平台及关键技术"基金资助项目(No.2011ZX03005-004-03)
福富信息技术股份有限公司研究基金资助项目
-
文摘
针对物联网发展中的标准问题进行了讨论。在确认国内物联网定义之后,讨论了标准在物联网发展中的地位,指出当前对待物联网标准的一些误区,并讨论了物联网应当能够广泛融合各种技术和标准,而融合的最好方法是基于系统的抽象。最后,作为对本文描述内容的举例说明,简述了南京邮电大学物联网科技园传感控制平台采取的措施。
-
关键词
物联网
标准化
框架方法
传感网
系统抽象
-
Keywords
internet of things, standardization, framework and method, sensor network, system abstract
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名抽象代数教学改革的探索
被引量：7
- 4
-
-
作者
沈金荣
刘巍
王柏育
-
机构
长沙学院数学与计算机科学系
-
出处
《教育教学论坛》
2017年第30期119-120,共2页
-
基金
2014年长沙学院教改项目
-
文摘
抽象代数具有抽象、推理性强的特点,良好的教学结构在教学中起着极其重要的作用。本文简要分析了抽象代数课程的特点、教学的现状,并提出了抽象代数教学改革的方法。
-
关键词
抽象代数
教学改革
教学方法
学习方法
网络信息
-
Keywords
abstract algebra
teaching reformation
teaching method
learning method
network information
-
分类号
G642.0
[文化科学—高等教育学]
-
-
题名神经网络可信性的形式化验证方法综述
被引量：3
- 5
-
-
作者
王莉
李晓娟
关永
王瑞
王佳岳
-
机构
首都师范大学信息工程学院
首都师范大学高可靠嵌入式系统技术北京市工程研究中心
首都师范大学北京成像理论与技术高精尖创新中心
首都师范大学轻型工业机器人与安全验证北京市重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2022年第9期1830-1837,共8页
-
基金
国家自然科学基金项目(61977040,61876111)资助
科技创新服务能力建设(20530290073)-首都师范大学交叉研究院项目(19530012005)资助.
-
文摘
随着神经网络技术的不断发展和完善,其应用也随之扩展,如何保证其可信性是在许多应用领域特别是安全攸关应用中部署的关键,目前对神经网络可信性研究主要体现在通过循环优化网络训练等过程和对神经网络进行验证两方面.基于形式化方法可以对网络属性、核心算法进行严格的逻辑和模型表达并进行验证,本文利用形式化的方法对神经网络进行可信性验证的研究现状进行综述,对神经网络可信性问题的抽象、属性表达及形式验证进行阐述,并进一步对基于反例的验证、抽象解释、可满足性求解、输入/输出可达性分析等方法的核心算法、特点进行分类阐述和总结,对未来发展趋势进行展望.
-
关键词
神经网络
可信性属性
模型抽象
形式化方法
-
Keywords
neural network
credibility properties
model abstraction
formal method
-
分类号
TP389
[自动化与计算机技术—计算机系统结构]
-
