王帅
- 作品数：3 被引量：9H指数：2
- 供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
- 发文基金：铁道部科技研究开发计划国家科技支撑计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术交通运输工程更多>>
- 一种基于场景的CTCS-3列车控制系统建模方法研究被引量：5
- 2011年
- 对CTCS-3列车控制系统进行有效的测试、分析和验证是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。本文以CTCS-3列车运行控制系统的UML非形式化模型为基础,以自动机模型作为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为自动机网模型的方法。首先将场景的UML顺序图自动转化为子系统的子自动机模型,然后通过合并不同场景的子自动机模型,得到子系统的组元自动机模型,最后通过对通信通道的建模得到系统的自动机网模型。使用本方法,基于系统的UML顺序图模型可以自动生成系统的自动机网模型。
- 王帅吉吟东杨士元
- 关键词：自动机顺序图形式化建模
- CTCS-3级列控系统动态测试优化方法
- 2010年
- 针对列控系统测试,为克服基于固定测试序列集的静态测试方法存在的问题,研究建立列控系统动态测试方法。将测试序列集中的上一个测试序列的执行结果作为执行下一个测试序列的输入,从而形成测试闭环;测试执行器执行完一个测试序列后,如果未检测出错误,则继续顺序执行下一个测试序列,如果检测出错误,则测试执行器更新系统的测试模型,并根据新的测试模型和测试目标集生成测试代价最小的新的测试序列集,然后按照新的测试序列集继续进行测试。仿真结果表明,动态测试方法能有效提高测试效率和测试的实际覆盖率,在测试过程中未给出虚假的测试判断。
- 周暐程先东赵洪军王帅
- 关键词：列车控制系统
- 分布式机器学习系统网络性能优化研究进展被引量：4
- 2022年
- 以机器学习为代表的人工智能技术需要对海量数据进行处理,对底层算力要求极高.分布式机器学习通过将计算任务分布式地部署到多个计算节点来加快模型的训练速度,从而将训练任务完成时间降低到可接受范围.由于通信开销对分布式机器学习系统的扩展性具有重要影响,因此,分布式机器学习系统网络性能优化受到各界研究者的广泛关注.本文首先分析了分布式机器学习系统扩展性不足的主要原因,并提出了改善其扩展性的关键思路,然后系统地综述了分布式机器学习系统网络性能优化相关的研究工作,并对这些研究工作从多个角度进行了对比分析.最后,对分布式机器学习系统网络性能优化研究的未来发展趋势进行了展望.
- 王帅李丹
- 关键词：网络优化
