王从银
- 作品数：13 被引量：44H指数：3
- 供职机构：吉首大学信息科学与工程学院更多>>
- 发文基金：河南省科技攻关计划国家高技术研究发展计划湖南省教育厅科研基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信更多>>
- 一种模型检测精确加速的判断方法
- 在实时系统中具有不同的时间度量,在用时间自动机进行建模及验证时会引起片段问题,通常的解决办法是向时间自动机添加一个附加环,但是在片段数量较少或片段不满足一定条件时,添加附加环的加速效果并不明显,甚至会降低验证速度.对此,...
- 勾利杰李真王从银庄雷
- 关键词：实时系统时间自动机
- 文献传递
- 消除R_TTL环:Gnutella网络中减少冗余消息的解决方法被引量：2
- 2004年
- 基于Gnutella协议的 peer to peer网络中 ,存在着大量的冗余消息 ,使得大规模Gnutella网络查询效率低下。经过研究发现 ,R- TTL环是网络中产生冗余消息的根本原因。本文提出了一种改进的Gnutella网络模型FR- Gnet,在FR- Gnet网络中没有R- TTL环 ,因而也没有冗余消息。本文最后给出了FR- Gnet模型的一种近似实现 :在Gnutella协议中增加了两种消息———hello消息和bad消息 ,通过这两种消息来发现并断开网络中的R- TTL环。改进后的Gnutella网络中的冗余消息大大减少。
- 庄雷王从银潘春建
- 关键词：计算机网络GNUTELLA协议
- 通信网络中一种基于流的异步平均一致性协议
- 2013年
- 大规模的异步通信网络中,实时获取系统级网络平均值对于指导系统进行控制决策,比如资源选择、负载均衡等,具有重要的意义。基于此,重点研究了异步网络环境中的平均一致性问题,提出了一种基于流的异步平均一致性协议FBAA。FBAA协议适用于动态的异步通信网络系统,而且运行过程不需要全局协调。实验表明该协议能够以较快的速度收敛到平均值,且收敛时间与网络规模无关。进一步通过对实验数据的统计分析,得出收敛时间与相关参数的关系以及算法达到最优收敛时间的参数设置。
- 王得洋王从银庄雷陈鸿昶
- 基于UPPAAL的复杂定时数据建模
- 针对路由协议中复杂定时数据建模的难题,提出一种基于离散和抽象的建模方法.该建模方法中,各条复杂定时数据的生存时间被离散化为时间分片,并用时间分片数量表示对应数据的生存时间.采用轮询策略周期性地检查数据的生存时间并更新数据...
- 李真王从银庄雷
- 关键词：路由协议时间自动机建模仿真
- 文献传递
- Gnutella网络的连接管理被引量：29
- 2005年
- Gnutella是完全分布式、无结构的对等网络.它采用洪泛式的消息广播机制,使网络具有高鲁棒性和高动态性的同时,也使网络产生了呈指数级增长的冗余消息.在解析Gnutella网络消息广播机制的基础上,指出了Gnutella网络丢弃某些连接的必要性和可行性,提出了根据传输带宽和机器处理各种消息时所耗费的时间和资源,来划分Gnutella网络中消息的优先级.把评价搜索引擎性能的F-Measure参数引入连接管理中,在保障消息可达率的同时,通过计算丢弃某些冗余连接.该解决方案由丢弃连接管理算法(discarding connection management algorithm,简称DCMA)实现,还给出了算法实例和对算法的讨论.
- 庄雷潘春建郭永强王从银
- 关键词：连接管理冗余网络鲁棒性广播搜索引擎
- 基于UPPAAL的复杂定时数据建模
- 2014年
- 针对路由协议中复杂定时数据建模的难题,提出一种基于离散和抽象的建模方法。该建模方法中,各条复杂定时数据的生存时间被离散化为时间分片,并用时间分片数量表示对应数据的生存时间。采用轮询策略周期性地检查数据的生存时间并更新数据。以路由协议中的链路保持特性为例,在建模过程中运用所提出的方法,对路由协议的链路保持功能和链路断开的敏感性进行验证。结果表明,这种建模方法可应用于复杂定时数据的建模。
- 李真王从银庄雷
- 关键词：时间自动机UPPAAL
- 一种模型检测精确加速的判断方法被引量：1
- 2014年
- 在实时系统中具有不同的时间度量,在用时间自动机进行建模及验证时会引起片段问题,通常的解决办法是向时间自动机添加一个附加环,但是在片段数量较少或片段不满足一定条件时,添加附加环的加速效果并不明显,甚至会降低验证速度。对此,本文提出一种模型检测精确加速的判断方法,通过分析加速过程中的主要参数,推导出了精确加速是否有效的判断条件。实验结果表明,利用这个判定条件可以准确地判断模型是否需要加速。
- 勾利杰李真王从银庄雷
- 实时模型检测中基于驻留环的精确加速被引量：3
- 2011年
- 在控制系统和外界环境之间经常会出现时间度量差距.对这些系统用时间自动机建模,并运用符号模型检测技术进行验证时,会引起符号状态空间的片段问题.精确加速技术在不改变系统可达性的前提下解决了片段问题.针对可加速环引起的片段问题,本文提出一种基于驻留环实现精确加速的方法.驻留环的长度固定,不依赖于可加速环的窗口,因而构造的自动机模型更简单,能提高精确加速的速度,并能够降低精确加速的时间和空间开销.
- 尹传龙庄雷王从银
- 关键词：时间自动机
- 以学科竞赛为纽带建设程序设计课程群被引量：2
- 2013年
- 对于以培养基本程序设计能力为目标的程序设计课程群的建设工作,核心问题是把多门课程整合成有机的整体。在分析程序设计课程群建设面临的主要困难的基础上,提出一种以学科竞赛为纽带的程序设计课程群建设模式,从而保证教学过程中能保持整体连贯性,避免多门课程教学间的衔接不畅。
- 王从银
- 关键词：学科竞赛程序设计课程群
- 数据结构实验教学改革探讨被引量：2
- 2017年
- 《数据结构》是计算机科学、通信工程等专业的基础课,对培养学生的理论联系实际能力及创新能力起着关键作用。课程学习难度大,内容枯燥,学生缺乏学习兴趣。实验教学是提高教学效果的重要手段。针对实验教学中存在的问题,对实验教学进行一系列的改革,以帮助全面提升课程教学效率及质量,促使学生成为社会发展所需的复合应用型人才。
- 段明秀王从银周铁彭胜
- 关键词：数据结构教学内容教学方法实践教学
