张新常
- 作品数:29 被引量:20H指数:2
- 供职机构:山东省科学院更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划博士科研启动基金更多>>
- 相关领域:自动化与计算机技术交通运输工程文化科学建筑科学更多>>
- 一种协议一致性测试中的状态验证方法
- 本发明公开了一种一致性测试中的状态验证方法,该方法基于FSM/EFSM模型并且首先验证被测实现是否符合正确输入条件,并构建拟验证状态对应的诊断输入序列及候选状态集合,通过验证被测实现中被测状态u是否为拟验证的状态s,或该...
- 杨美红张新常
- 基于SPIN的模块化模型检测方法研究被引量:9
- 2011年
- 该文针对模型检测过程中所存在的状态爆炸问题,提出了一种基于模型检测工具SPIN的模块化模型检测方法。所提出的方法能够将指定的抽象模型分解成若干的模块,并对这些验证复杂度相对低的模块执行模型检测,以替代对原模型的模型检测。所提方法所用的分解过程保留了原模型所有的语义,同时不增加额外的语义,从而使得验证所有模块等同于验证原模型。理论和实验分析结果显示了所提方法的有效性。
- 李兴锋张新常杨美红阎保平
- 基于高聚簇应用层组播的高效音视频数据分发系统关键技术及应用
- 李晔张新常顾卫东
- 本项目属于信息技术领域。网络音视频应用(如在线音视频点播等)是网络应用的重要组成部分。由于音视频应用需要较高的网络带宽,当前的音视频数据分发技术往往导致庞大的带宽消耗,其数据分发效率不高,因此,研究高效的音视频数据分发技...
- 关键词:
- 关键词:数据分发音视频编解码
- NS仿真实时事件调度的性能分析被引量:2
- 2009年
- 分析NS的仿真(NSE)实现所采用的实时事件调度方法,把NSE的同步过程对离散事件的处理看作一个修改的排队系统,建立实时事件调度的排队模型。把同步时间点处的等待事件看作嵌入Markov过程,得到等待事件的分布,进而得到任意时刻等待事件的分布。通过求得离散事件等待期间完成的服务数与在离散事件到达的前一同步时刻到达的其他离散事件数的等待时间的条件概率分布,得到离散事件的等待时间的分布。
- 王正罗万明张新常阎保平
- 关键词:网络仿真排队论
- 面向互联网健康发展的内容可控传播与可信保障关键支撑技术研发
- 张新常王茂励耿光刚张玮延志伟王鲁李洪涛赵彦玲史慧
- 该项目属信息技术领域。
互联网作为信息传播和交互的最主要载体之一,直接影响着人类的经济和社会生活。然而,互联网在蓬勃发展的同时也面临着一系列严峻的挑战,主要体现在:大量虚假、涉黄等不良网络内容的存在容易诱发严重的社会问...
- 关键词:
- 关键词:互联网网络安全
- 采用SPIN的自动柜员机业务逻辑模型检测方法被引量:2
- 2012年
- 由于自动柜员机需要提供可靠的服务,确保其业务逻辑的正确性具有非常重要的意义。然而,传统的测试方法不能对其正确性进行验证。以相关业务逻辑为具体实例,给出一种基于Spin(Simple Promela Interpreter,一种典型的模型检测工具)的自动柜员机的模型检测方法。介绍如何对自动柜员机业务逻辑进行建模、如何对其主要属性进行描述和验证。实验结果表明了所提方法的可行性。
- 史慧玲马文可张新常张玮
- 关键词:线性时态逻辑自动柜员机
- 一种节能的云计算数据中心虚拟机放置方法
- 本发明的节能的云计算数据中心虚拟机放置方法,包括:a.建立物理服务器区域;b.获取物理服务器信息;c.计算待创建虚拟机资源;d.对物理服务器进行排序;e.建立待创建虚拟机与物理服务器之间的映射;f.判断是否有单个物理服务...
- 王鲁杨美红孙萌马骏张新常张玮史慧玲
- 文献传递
- 组播路由协议HBH的分析与研究
- 2008年
- 组播路由协议HBH具有良好的可扩展性且内存需求低,但其对路由路径变化的适应能力及本地组播效率有待改进。该文分析了HBH协议产生上述问题的原因,提出新的组播转发树构建方式,通过模拟试验对其进行验证。结果表明,改进的HBH协议对路由路径变化具有良好的适应能力,并在本地具备较好的组播效果。
- 张新常李晓东王峰阎保平
- 关键词:IP组播
- 基于Internet的单源点组播研究
- 近十年来,基于Internet的组播技术得到了广泛的讨论和研究,但其实际应用却相对较少。目前,Internet上大量的路由器仅仅支持单播,并且这种状况将继续延续下去。造成这种局面的原因是多方面的,其中,在技术层面上存在的...
- 张新常
- 关键词:组播组播源可靠组播组播路由
- 文献传递
- 一种基于半监督学习的道路交通状态判别方法
- 本发明的基于半监督学习的道路交通状态判别方法,包括:a).采集道路及上、下游路口的交通流数据;b).对交通状态进行标记;c).生成标记训练集 <Image file="DEST_PATH_IMAGE002.GIF" he...
- 孙占全赵彦玲顾卫东张新常
- 文献传递