国家高技术研究发展计划(2009AA01Z148)
- 作品数:6 被引量:19H指数:3
- 相关作者:肖宝弟白雪赵保华阮辉张健更多>>
- 相关机构:中国铁道科学研究院中国科学技术大学中国科学院软件研究所更多>>
- 发文基金:国家高技术研究发展计划国家自然科学基金中国博士后科学基金更多>>
- 相关领域:自动化与计算机技术交通运输工程更多>>
- 物联网环境下一种基于人工能量势的服务获取方法
- 2012年
- 针对物联网环境下的服务获取问题,结合物联网节点能量有限、节点自组织、数据空间性等特点,提出了一种基于人工能量势的物联网空间社区服务获取方法。首先给出了空间社区的概念,然后利用能量迁移方法,使物联网用户能够通过空间节点在节点的最大有效传输范围内寻找最优节点作为下一跳节点,以减少节点的下一跳数和交互时间,从而节省节点能耗,提高服务获取的效率。理论分析和仿真实验表明,提出的方法与Random Walk和Modified-BFS算法相比在减少节点能耗、延长网络生存周期及服务获取效率等方面有一定的改进。
- 王杨赵保华
- 关键词:物联网
- 基于面向服务架构的调度命令系统模型开发研究被引量:4
- 2009年
- 首先介绍了面向服务的架构(SOA)的体系结构和有色Petri网的概念;然后,使用SOA的方法,通过对调度命令系统业务流程的梳理,提取出调度命令系统的一组服务模型,形成服务总线模式的调度命令系统的SOA架构;最后,以调用下达命令服务为例,将系统拆分为服务提供者、服务请求者和服务总线三个组件,再将服务总线组件拆分为接入访问组件、权限认证组件、服务路由组件和消息转换组件,利用有色Petri网在动态建模方面的优势,分别对其进行建模,详细说明了其内部流程。SOA架构提高了调度命令系统的灵活性和可扩展性,结合有色Petri网对系统内部结构和控制逻辑的形式化描述,这种架构方法与建模语言相结合的方法对调度命令系统的开发有一定的指导意义。
- 白雪肖宝弟王建英
- 关键词:有色PETRI网
- 城市轨道交通ATP车载设备测试用例生成方法被引量:5
- 2011年
- 根据对城市轨道交通ATP车载设备功能的分析,搭建了模拟车辆外部接口的城市轨道交通ATP车载设备测试环境,确定了测试ATP车载设备的10个安全输入参数和7个非安全输入参数。基于输入参数建立了可变强度覆盖矩阵,并利用回溯搜索算法优化出由20个用例组成的ATP车载设备测试用例集。测试结果表明,给出的测试用例只有穷举测试法的1%,而测试的有效性达90%以上,能够对ATP车载设备功能进行高效和可靠的测试,并大大降低了测试成本,从而验证了ATP车载设备测试用例生成方法的有效性。
- 唐抗尼肖宝弟
- 关键词:ATP车载设备测试用例
- 基于路径分析的死循环检测被引量:7
- 2009年
- 提出了一种自动检测C语言程序中是否含有死循环的方法.该方法基于程序分析技术,包括循环展开和路径可行性分析技术.该方法首先通过遍历控制流图生成待查循环的检验路径;之后通过分析检验路径的可行性以及路径之间的联系,判断这些路径是否符合死循环模式.在此方法基础上实现了原型工具LoopAnalyzer,并对一组基准程序进行测试.实验结果表明此工具能有效地检测出C语言程序中的死循环,并且准确率较高.
- 阮辉严俊张健
- 关键词:死循环测试数据
- 基于码片标识的WMN多播纠错协议
- 2012年
- 在无线Mesh网络(WMN)媒体访问控制(MAC)层上,分层信标帧驱动协议(Layer-BLBP)存在高延迟、多次重传以及无法适应较大规模拓扑结构的问题。为此,提出一种基于码片标识的WMN MAC层多播纠错协议。该协议为每个节点指派一个全网唯一且相互正交的码片序列,利用码片对数据包进行加密,从而实现全网的信道共享。仿真结果表明,该协议在网络规模大、错误率高的环境下,仍能保证多播过程具有较低延迟和较少重传次数。
- 强鹂周颢赵保华
- 关键词:无线MESH网络码片媒体访问控制层
- 基于场景设计的列车调度系统需求建模方法被引量:3
- 2009年
- 采用基于场景设计的用户需求建模方法进行列车调度系统建模。将列车调度主要业务场景分解为列车运行计划调整场景、进路控制场景、临时限速场景等。以临时限速场景为例,根据用户需求,将其分解为临时限速命令设置正常、设置错误、下达正常、下达失败4个子场景,分别构建UML消息序列图,并转换为单个场景的CPNs模型,采用模型聚合算法对4个子场景聚合,生成临时限速场景CPNs模型。采用该方法构建的列车调度系统模型具有可靠性高、开发效率高的特点。
- 白雪肖宝弟刘皓玮
- 关键词:用户需求UML列车调度系统