宋海权
- 作品数：8 被引量：35H指数：3
- 供职机构：西南交通大学信息科学与技术学院更多>>
- 发文基金：国家自然科学基金铁道部科技研究开发计划更多>>
- 相关领域：自动化与计算机技术交通运输工程天文地球更多>>
- 基于双线性插值算法的数据可视化实现被引量：2
- 2009年
- 传统的双线性插值在生成图像时,不断调用计算公式计算每个像素点颜色值,导致生成图像的速度受到一定的影响。本文介绍在双线性插值算法的基础上采用双迭代法,从而减少计算量,提高了生成图像的速度。
- 宋海权
- 关键词：数据可视化双线性插值
- 基于网络时延的SDN逻辑一致性策略研究被引量：8
- 2014年
- 对SDN网络更新过程中的暂时中间态进行了研究,阐述了因网络时延导致的控制逻辑不一致问题,并提出了一种解决方案。该方案通过在控制平面上调整安装控制规则的时序,使网络达到控制逻辑一致的目的,进一步建立了一种基于节点平均网络时延的目标优化模型,通过对模型求解得到SDN网络逻辑一致的时延最小路由路径。最后通过仿真实验验证了该方案的可行性和有效性。
- 宋海权郭进侯孟书李赛飞闫连山王丹琛
- 关键词：网络时延
- 基于Qt的地震数据可视化软件的研究与实现
- 在科学研究和科研活动中数据可视化技术已经成为不可阻挡的流行趋势，通过数据可视化技术可以很大程度上提高工作效率和工作精度。数据可视化技术在我国各大行业应用相当广泛，尤其在地质勘探领域更是有极大的用武之地。在地质、探中采用地...
- 宋海权
- 关键词：数据可视化GRAPHICS贝塞尔曲线
- 基于Petri网的分布式系统冲突消解被引量：4
- 2013年
- 针对分布式系统在共享资源冲突和消解的复杂性问题,综合考虑时间、空间、约束条件等因素,在混合Petri网同时具备描述离散系统和连续系统的能力的基础上,加入时间约束条件、测试弧,从而形成一个能够描述更复杂分布式系统的Petri网模型。利用Petri网描述系统的基本思想,经过扩展得出新模型,变迁使能、变迁触发和变迁冲突检测的定义。结合实例,对模型进行了仿真分析,给出了实例中系统冲突的消解方案,表明了模型的可行性。
- 宋海权郭进李耀
- 关键词：混合PETRI网分布式系统并发
- 基于SCADE的形式化验证技术的改进研究被引量：2
- 2013年
- 为保证SCADE软件开发的安全性,研究了SCADE形式化验证技术,指出其不足,提出了基于代码生成器的解决方法。该方法对安全特性属性引入了逻辑描述,并利用SCADE编辑器及代码生成器的特点,对SCADE形式化验证技术进行改进,降低了模型正确性确认时人为的主观性。通过实例阐述了应用该方法进行形式化验证的一般步骤,表明了该方法是有效可行的。
- 李耀郭进孔令晶宋海权
- 关键词：形式化验证逻辑描述
- 顾及节点聚集能力的引力场动态路由方法被引量：1
- 2016年
- 研究高效的动态路由选择方法对提高网络吞吐量及缓解交通拥塞程度至关重要。为此,从引力理论角度深入分析了网络交通传输过程中节点对交通流的聚集作用,考虑节点自身及其邻居节点的畅通程度及传输路径长度,建立节点对交通流的引力模型,进而提出一种顾及节点聚集能力的引力场动态路由方法。为检验方法有效性,对不同路由策略进行对比仿真实验。结果表明,与最短路由算法相比,该路由算法较大地提高了网络的吞吐量,并具有较好的稳定性和可靠性。
- 宋海权郭进王丹琛刘刚
- 关键词：交通拥塞路由策略复杂网络
- 基于复杂网络的城市道路重要度评价及路网自动综合方法被引量：13
- 2017年
- 利用复杂网络理论,构建城市复杂路网模型,基于该模型从道路的结构和功能特征角度,以连接度、介中心和接近度为度量指标定义道路重要度评价模型,并顾及路网的整体形态及路网的拓扑连通性,提出基于复杂网络理论的路网综合算法。为检验方法有效性,针对成都市道路网络进行实验分析。实验结果表明,该道路重要度评价模型较好地反映道路在整个路网结构和功能上的重要程度,复杂路网综合算法能较好地保持原始路网的整体形态结构特征。
- 宋海权郭进刘刚
- 关键词：复杂网络
- 基于复杂网络理论的网络交通拥堵问题研究
- 随着经济的快速发展及城市化的不断深入，城市道路网络规模日益庞大、复杂，然而交通拥堵问题也越来越严重。很多城市试图通过新建或扩宽道路、交通诱导等方式解决交通拥堵问题，但是效果不显著。研究认为，路网的传输能力与路径选择过程直...
- 宋海权
- 关键词：交通拥堵复杂网络引力场
