张玮
- 作品数：9 被引量：6H指数：2
- 供职机构：山东省计算中心更多>>
- 发文基金：国家自然科学基金山东省优秀中青年科学家科研奖励基金博士科研启动基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 采用SPIN的自动柜员机业务逻辑模型检测方法被引量：2
- 2012年
- 由于自动柜员机需要提供可靠的服务,确保其业务逻辑的正确性具有非常重要的意义。然而,传统的测试方法不能对其正确性进行验证。以相关业务逻辑为具体实例,给出一种基于Spin(Simple Promela Interpreter,一种典型的模型检测工具)的自动柜员机的模型检测方法。介绍如何对自动柜员机业务逻辑进行建模、如何对其主要属性进行描述和验证。实验结果表明了所提方法的可行性。
- 史慧玲马文可张新常张玮
- 关键词：线性时态逻辑自动柜员机
- 多目标优化的云计算虚拟集群动态调整方法被引量：3
- 2014年
- 当前云计算应用中提供的虚拟集群尚不能自动的根据实际网络应用负载作动态调整,从而导致网络虚拟集群的资源利用与负载不适应,使得较多的计算资源空闲在集群中,产生能源浪费。针对上述问题,提出一种多目标优化的云计算虚拟集群动态调整方法,并给出虚拟集群动态调整框架。实验结果表明,该方法可以自动调整虚拟集群规模以适应网络应用负载,并能达到充分利用云计算资源和减少云计算能源消耗等优化目标。
- 张玮牛正浩史慧玲孙萌唐绍炬
- 关键词：云计算虚拟集群多目标优化
- 一种网络数据即时传输中的局域网定位方法
- 本发明的网络数据即时传输中的局域网定位方法，包括：a).客户端连接；b).服务器记录客户端信息，服务器记录客户端ID、客户端内网IP及端口以及客户端公网IP及端口；c).获取目标客户端的相关信息；d).局域网定位判断；e...
- 顾卫东张玮张新常史慧玲孙萌
- 文献传递
- 一种云计算环境下虚拟web应用集群节能的动态调整方法
- 本发明的云计算环境下虚拟web应用集群节能的动态调整方法，包括：a．建立虚拟web应用集群；b．监控虚拟web应用服务器使用情况；c．判断平均CPU利用率和平均内存使用率在区间[min%，max%]的情况；d．如均在区间...
- 杨美红张玮史慧玲郭莹张新常孙萌
- 文献传递
- 一种节能的云计算数据中心虚拟机放置方法
- 本发明的节能的云计算数据中心虚拟机放置方法，包括：a.建立物理服务器区域；b．获取物理服务器信息；c．计算待创建虚拟机资源；d．对物理服务器进行排序；e．建立待创建虚拟机与物理服务器之间的映射；f．判断是否有单个物理服务...
- 王鲁杨美红孙萌马骏张新常张玮史慧玲
- 文献传递
- 面向音视频数据分发的应用层组播系统设计、测试与应用
- 李晔张新常顾卫东史慧玲张玮樊燕红姜竞赛郝秋赟马晓凤王茂励曾云辉朱光慧
- 该项目以降低网络带宽消耗为核心技术目标,以音视频群组应用为应用场景,研发相关的创新性技术方法,并提供实用的产品系统.项目提出的应用层组播技术具有良好的聚簇能力,缓解了应用层组播由于无法感知底层拓扑而导致性能下降的问题.项...
- 关键词：
- 关键词：语音编解码多媒体通信互联网
- 一种云计算环境下虚拟web应用集群节能的动态调整方法
- 本发明的云计算环境下虚拟web应用集群节能的动态调整方法，包括：a．建立虚拟web应用集群；b．监控虚拟web应用服务器使用情况；c．判断平均CPU利用率和平均内存使用率在区间[min%，max%]的情况；d．如均在区间...
- 杨美红张玮史慧玲郭莹张新常孙萌
- 文献传递
- 一种网络视频服务系统接收端的视频缓冲方法
- 本发明的网络视频服务系统接收端的视频缓冲方法，包括：a.建立缓冲队列；b.接收数据并分块；c.存入缓冲队列；d.比较前n个数据块的接收与播放时间的大小，判断当前网速大小；e.如网速足够，则按照正常速率播放；f.如网速不够...
- 张玮杨美红张新常史慧玲王鲁孙萌
- 文献传递
- 软件定义网络的控制器研究综述被引量：1
- 2015年
- 软件定义网络中控制层和数据层分离的工作模式为提高网络利用率提供了广阔的空间,作为其核心的控制器技术得到了研究者广泛关注。本文通过分析软件定义网络的典型架构,探讨了控制器在该架构中的核心作用,综述了控制器在可用性、性能、可扩展性及可靠性等方面的研究进展,认为在未来研究中应着重关注SDN基础网络服务功能抽象、SDN控制器性能优化以及将涌现出的新的安全可靠性等方面的问题。
- 张玮王永博王鲁孙萌
- 关键词：下一代互联网控制器网络架构
