期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
高速铁路运营安全管理成熟度模型及评价 预览
1
作者 李科宏 张亚东 +1 位作者 郭进 宋海 《中国铁道科学》 EI CAS CSCD 北大核心 2019年第5期138-144,共7页
基于我国高速铁路运营安全管理应遵循的原则,提出成熟度模型构建及评价方法的流程;分析确定影响高速铁路运营安全管理的单元和要素,建立评价指标体系,定义其评价等级特征和评估值范围,构建成熟度模型;采用专家评价法及雷达图法、最小面... 基于我国高速铁路运营安全管理应遵循的原则,提出成熟度模型构建及评价方法的流程;分析确定影响高速铁路运营安全管理的单元和要素,建立评价指标体系,定义其评价等级特征和评估值范围,构建成熟度模型;采用专家评价法及雷达图法、最小面积法分别对模型的要素层及单元层进行评价,在得到各单元间的判断矩阵、确定其权重后,采用模糊综合评价法对总体的安全管理成熟度进行评价;以某高速铁路委托运输管理的铁路局运营安全管理为例,对模型及其评价方法进行验证。结果表明:基于成熟度模型并采用模糊综合评价数学方法,可避免传统单一评价方法对安全管理水平评价的局限性,能更加全面、系统和直观地对高速铁路运营安全管理水平进行综合评价,分析运营安全管理存在的薄弱点,并提出安全管理持续改进和提高的建议。 展开更多
关键词 高速铁路 运营安全管理 成熟度模型 评价方法 雷达图法 模糊综合评价法
在线阅读 下载PDF
多屏交互移动智能终端新型应用系统研究 预览
2
作者 罗轶 宋海 +1 位作者 张明 杨薇 《电脑知识与技术:学术交流》 2018年第12期213-214,共2页
本文采用面向移动互联网及TD-LTE,依托核心引擎组件、云服务平台及内容资源,阐述具有自主知识产权的多屏交互移动智能终端新型应用系统。该应用系统支持主流操作系统,实现多种新型人机交互技术,具有安全可信的用户信息管理及应用信息管... 本文采用面向移动互联网及TD-LTE,依托核心引擎组件、云服务平台及内容资源,阐述具有自主知识产权的多屏交互移动智能终端新型应用系统。该应用系统支持主流操作系统,实现多种新型人机交互技术,具有安全可信的用户信息管理及应用信息管理能力。 展开更多
关键词 移动互联网 TD—LTE 多屏交互移动智能终端
在线阅读 下载PDF
基于复杂网络的城市道路重要度评价及路网自动综合方法 预览 被引量:4
3
作者 宋海 郭进 刘刚 《测绘工程》 CSCD 2017年第1期8-12,共5页
利用复杂网络理论,构建城市复杂路网模型,基于该模型从道路的结构和功能特征角度,以连接度、介中心和接近度为度量指标定义道路重要度评价模型,并顾及路网的整体形态及路网的拓扑连通性,提出基于复杂网络理论的路网综合算法。为检... 利用复杂网络理论,构建城市复杂路网模型,基于该模型从道路的结构和功能特征角度,以连接度、介中心和接近度为度量指标定义道路重要度评价模型,并顾及路网的整体形态及路网的拓扑连通性,提出基于复杂网络理论的路网综合算法。为检验方法有效性,针对成都市道路网络进行实验分析。实验结果表明,该道路重要度评价模型较好地反映道路在整个路网结构和功能上的重要程度,复杂路网综合算法能较好地保持原始路网的整体形态结构特征。 展开更多
关键词 路网综合 道路重要度 复杂网络 拓扑连通
在线阅读 下载PDF
顾及节点聚集能力的引力场动态路由方法 预览 被引量:1
4
作者 宋海 郭进 +1 位作者 王丹琛 刘刚 《计算机应用研究》 CSCD 北大核心 2016年第12期3562-3564,共3页
研究高效的动态路由选择方法对提高网络吞吐量及缓解交通拥塞程度至关重要。为此,从引力理论角度深入分析了网络交通传输过程中节点对交通流的聚集作用,考虑节点自身及其邻居节点的畅通程度及传输路径长度,建立节点对交通流的引力模... 研究高效的动态路由选择方法对提高网络吞吐量及缓解交通拥塞程度至关重要。为此,从引力理论角度深入分析了网络交通传输过程中节点对交通流的聚集作用,考虑节点自身及其邻居节点的畅通程度及传输路径长度,建立节点对交通流的引力模型,进而提出一种顾及节点聚集能力的引力场动态路由方法。为检验方法有效性,对不同路由策略进行对比仿真实验。结果表明,与最短路由算法相比,该路由算法较大地提高了网络的吞吐量,并具有较好的稳定性和可靠性。 展开更多
关键词 交通拥塞 路由策略 引力场理论 复杂网络
在线阅读 下载PDF
Improved routing strategy based on gravitational field theory
5
作者 宋海 郭进 《中国物理B:英文版》 SCIE EI CAS CSCD 2015年第10期651-658,共8页
Routing and path selection are crucial for many communication and logistic applications. We study the interaction between nodes and packets and establish a simple model for describing the attraction of the node to the... Routing and path selection are crucial for many communication and logistic applications. We study the interaction between nodes and packets and establish a simple model for describing the attraction of the node to the packet in transmission process by using the gravitational field theory, considering the real and potential congestion of the nodes. On the basis of this model, we propose a gravitational field routing strategy that considers the attractions of all of the nodes on the travel path to the packet. In order to illustrate the efficiency of proposed routing algorithm, we introduce the order parameter to measure the throughput of the network by the critical value of phase transition from a free flow phase to a congested phase,and study the distribution of betweenness centrality and traffic jam. Simulations show that, compared with the shortest path routing strategy, the gravitational field routing strategy considerably enhances the throughput of the network and balances the traffic load, and nearly all of the nodes are used efficiently. 展开更多
关键词 路由策略 吸引力 场理论 最短路径 传输过程 数据包 相互作用 路由算法
基于网络时延的SDN逻辑一致性策略研究 预览 被引量:7
6
作者 宋海 郭进 +3 位作者 侯孟书 李赛飞 闫连山 王丹琛 《电子科技大学学报》 EI CAS CSCD 北大核心 2014年第5期730-735,共6页
对SDN网络更新过程中的暂时中间态进行了研究,阐述了因网络时延导致的控制逻辑不一致问题,并提出了一种解决方案。该方案通过在控制平面上调整安装控制规则的时序,使网络达到控制逻辑一致的目的,进一步建立了一种基于节点平均网络... 对SDN网络更新过程中的暂时中间态进行了研究,阐述了因网络时延导致的控制逻辑不一致问题,并提出了一种解决方案。该方案通过在控制平面上调整安装控制规则的时序,使网络达到控制逻辑一致的目的,进一步建立了一种基于节点平均网络时延的目标优化模型,通过对模型求解得到SDN网络逻辑一致的时延最小路由路径。最后通过仿真实验验证了该方案的可行性和有效性。 展开更多
关键词 控制逻辑一致性 控制平面 转发平面 网络时延 软件定义网络
在线阅读 免费下载
基于SCADE的形式化验证技术的改进研究 预览 被引量:2
7
作者 李耀 郭进 +1 位作者 孔令晶 宋海 《计算机工程与设计》 CSCD 北大核心 2013年第6期2025-2030,共6页
为保证SCADE软件开发的安全性,研究了SCADE形式化验证技术,指出其不足,提出了基于代码生成器的解决方法。该方法对安全特性属性引入了逻辑描述,并利用SCADE编辑器及代码生成器的特点,对SCADE形式化验证技术进行改进,降低了模型正... 为保证SCADE软件开发的安全性,研究了SCADE形式化验证技术,指出其不足,提出了基于代码生成器的解决方法。该方法对安全特性属性引入了逻辑描述,并利用SCADE编辑器及代码生成器的特点,对SCADE形式化验证技术进行改进,降低了模型正确性确认时人为的主观性。通过实例阐述了应用该方法进行形式化验证的一般步骤,表明了该方法是有效可行的。 展开更多
关键词 高安全性应用开发环境 形式化验证 安全特性观察器 逻辑描述 模型安全
在线阅读 下载PDF
基于Petri网的分布式系统冲突消解 预览 被引量:3
8
作者 宋海 郭进 李耀 《计算机工程与设计》 CSCD 北大核心 2013年第4期1351-1355,共5页
针对分布式系统在共享资源冲突和消解的复杂性问题,综合考虑时间、空间、约束条件等因素,在混合Petri网同时具备描述离散系统和连续系统的能力的基础上,加入时间约束条件、测试弧,从而形成一个能够描述更复杂分布式系统的Petri网模... 针对分布式系统在共享资源冲突和消解的复杂性问题,综合考虑时间、空间、约束条件等因素,在混合Petri网同时具备描述离散系统和连续系统的能力的基础上,加入时间约束条件、测试弧,从而形成一个能够描述更复杂分布式系统的Petri网模型。利用Petri网描述系统的基本思想,经过扩展得出新模型,变迁使能、变迁触发和变迁冲突检测的定义。结合实例,对模型进行了仿真分析,给出了实例中系统冲突的消解方案,表明了模型的可行性。 展开更多
关键词 混合PETRI网 测试弧 冲突 分布式系统 并发
在线阅读 下载PDF
基于双线性插值算法的数据可视化实现 预览 被引量:2
9
作者 宋海 《中国西部科技》 2009年第36期 38-39,41,共3页
传统的双线性插值在生成图像时,不断调用计算公式计算每个像素点颜色值,导致生成图像的速度受到一定的影响。本文介绍在双线性插值算法的基础上采用双迭代法,从而减少计算量,提高了生成图像的速度。
关键词 数据可视化 双线性插值 双迭代 颜色值
在线阅读 下载PDF
现阶段我国外汇储备管理问题的探讨 预览
10
作者 宋海 吕绍娟 李斯琪 《甘肃科技纵横》 2008年第6期 90,共1页
中国外汇储备近年来持续扩大,外汇储备的持续增加,有利于增强国家宏观调控能力、防范国际金融风险、增强国外投资者信心和吸引外资;但必须看到,对经济高速成长的中国来说,持续增加的外汇储备是一把“双刃剑”,也会对经济健康发展... 中国外汇储备近年来持续扩大,外汇储备的持续增加,有利于增强国家宏观调控能力、防范国际金融风险、增强国外投资者信心和吸引外资;但必须看到,对经济高速成长的中国来说,持续增加的外汇储备是一把“双刃剑”,也会对经济健康发展带来一系列问题。 展开更多
关键词 外汇储备 人民币升值 顺差
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部 意见反馈