考虑临时服务能力的医疗检查预约能力分配模型

针对医疗检查预约能力分配问题,考虑将处于空闲状态下的急诊检查作为临时服务加入常规检查中,二者一起为预约和未预约的常规患者服务.以医院的期望收益最大为目标,建立医疗检查预约能力分配模型,并对该模型结构性质进行分析,证明了存在使服务当天期望收益最大的最优预约限额,进而给出求解最优预约限额满足的条件.通过大量数值实验分析了不同参数对医疗检查能力分配方案的影响,结果表明到达医院的未预约患者数量和临时服务能力对分配方案有较大影响.

CTCS-3级列控系统临时限速服务器建模与形式化验证

临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全性直接影响到高速铁路的运营安全。在TSRS系统研发过程中需对系统进行仿真建模和验证,发现系统设计错误,以保证系统的安全性。分析CTCS-3级列控系统临时限速服务器的组成结构,提取系统功能和性能规范约束,利用消息顺序图对TSRS与外部系统之间的信息交互行为建模,并将系统MSC模型转化为UPPAAL中的时间自动机仿真模型,对系统的功能和性能要求进行形式化验证。验证结果确认了系统的安全性和受限活性,为进一步完善TSRS设计和系统开发提供参考。

列车控制仿真测试平台中模拟临时限速服务器研究

本文以列车控制中心为测试对象,研究了临时限速服务器仿真系统的软件结构,采用手动或者自动方式对列车控制中心报文选择功能进行验证。提出了基于参数化分界点的测试用例生成方法,实现了用例逻辑和车站数据的分离,能够大幅度提高测试效率。该系统应用于高速铁路CTCS-2级车站列车控制中心的软件仿真测试中,取得了良好的效果。

临时限速服务器安全评估研究

近年来我国高速铁路飞速发展,越来越多的高速铁路线路投入使用有效的缓解了我国铁路出行的压力。如何保证铁路的安全运行成为了人们亟需研究的问题。临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全直接影响到高速铁路的运营安全。文章结合临时限速服务器的实际运行过程,采用安全性分析软件SIMFIA构建临时限速服务器仿真模型,自动生成系统故障树,并计算失效状态最小割集。根据最小割集可以快速找到故障源,从而达到分析临时限速服务器安全性的目的。

临时限速服务器安全通信协议研究

临时限速服务器(TSRS)是中国列车运行控制系统(CTCS)重要组成部分,针对TSRS相关的安全通信协议进行分析,围绕TSRS安全通信协议的结构、功能及其安全性进行论述。TSRS设备在与外部设备接口间采用的RSSP-Ⅱ铁路信号安全通信协议可有效提高数据传输的安全性,为整个系统提供最基础的安全保障。

TSRS-YH型临时限速服务器仿真平台研发

TSRS-YH型临时限速服务器仿真平台采用与真实设备相同的设计结构,由逻辑处理软件和通信处理软件组成。逻辑处理软件实现临时限速服务器逻辑功能,通信处理软件实现与外接系统安全通信。仿真平台与真实环境共用逻辑处理代码,确保与真实设备运行逻辑的一致性;配置灵活,各部分软件可以与真实设备组合运行;将基于C语言的屏幕打印信息重定向至基于C#的显示窗口,便于调试,可应用于临时限速服务器软件调试和现场施工配合中。

TSRS-YH型临时限速服务器辅助设计CAD研发

TSRS-YH型临时限速服务器辅助设计CAD软件读取列控线路工程数据和网络配置数据,生成临时限速服务器和仿真设备的配置数据以及仿真测试用测试序列数据。软件采用面向对象的模块设计,根据临时限速服务器功能和外部连接设备划分为25个模块。软件支持图像化操作,可通过图形接口编辑模块数据,具有实时纠错、自动微调、数据安全防护的特点。软件的应用提高了TSRS-YH型临时限速服务器工程化中相关配置数据的生产效率。

临时限速服务器软件设计优化研究

临时限速服务器(TSRS)实现临时限速集中管理,是CTCS-2/3级列控系统基础设备。分析TSRS与外部设备交互的临时限速状态及其转换关系,提出4类TSRS软件优化措施:取消临时限速生命周期优化设计,优化限速取消流程;拟定阶段增加照查检查解决限速错误拟定问题;验证执行阶段暂停TSRS间限速刷新解决偶发性的限速验证、执行操作失败问题;基于平衡二叉查找树的临时限速管理提出满足要求的大小平衡二叉树(SBT)、AVL树和红黑树(RBT)算法,测试3种算法随机插入和删除多条临时限速的效率,找出适合TSRS的临时限速管理算法。可为TSRS软件的优化设计提供决策依据。

列控系统临时限速服务器仿真测试平台研究

为了更有效地对高速铁路列控系统中的设备在投入使用前进行严格的测试。以CTCS-3列控系统中的核心设备之一临时限速服务器作为测试对象,提出了一种软件仿真测试平台的实现方法,分析了临时限速服务器与外部系统的关系,在此基础上建立了测试平台的体系结构,并介绍了仿真环境模块、测试工具模块的设计过程、测试平台搭建方法和平台仿真测试过程。通过仿真测试结果表明,该平台提高了测试效率和灵活性,降低了测试成本。

临时限速服务器自动测试平台的研究与实现

临时限速服务器是高速铁路列车运行控制系统的重要组成,本文采用了测试用例与测试数据相互独立的自动测试方法,搭建了非侵入式闭环的自动测试平台,采用边界值分析和等价类划分的方法,直接读取列控数据表实现测试数据的自动生成。

临时限速服务器模型的建立与HAZOP分析

从不同角度对临时限速服务器进行建模,建立了临时限速服务器的参考结构模型、功能分层模型和状态转移模型;采用危险与可操作性分析(HAZOP)方法分别对3种模型进行风险分析,建立较为全面的危险源数据库,可以作为系统运营期管理的依据。

郑西与石武高铁临时限速服务器(TSRS)网络通信差异分析

介绍临时限速服务器系统,比较郑西与石武高铁TSRS与TCC网络连接、网络IP访问的工作情况以及存在的差异,分析兼容技术方案,提出日常维护管理的工作重点。

新型临时限速服务器新增功能测试研究

新型临时限速服务器是下一代列控系统地面核心设备,对全面提升我国列控技术水平具有重要意义。为保证设备的质量与安全性,针对新型临时限速服务器新增功能,研究了基于新型临时限速服务器仿真测试平台的测试方法,并参照京沈客专线路数据进行了限速覆盖设置、电子地图更新、卫星差分数据发送、通信密钥管理等测试验证。

临时限速服务器接入信号安全数据网方案的改进

信息安全交互是地面控车信息生成的重要前提。针对临时限速服务器接入信号安全数据网中的问题,提出改进组网方案,并给出了优化建议方案,有力地提升了列控系统的可用性和可维护性。

仿真相邻临时限速服务器软件的设计与实现

相邻临时限速服务器(TSRS)是临时限速服务器的重要接口设备,在临时限速服务器的开发、测试以及现场调试阶段都需要搭建相邻TSRS,由于相邻TSRS设备占用空间大,数据制作复杂,应用非常不便。为满足临时限速服务器测试的需要,对相邻临时限速服务器之间的接口进行分析,提出一种仿真相邻临时限速服务器的软件设计方案。

《上海市小型餐饮服务提供者临时备案监督管理办法》的政策解读

根据《上海市食品安全条例》第四十三条第三款的规定,本市创设了对无证无照小型餐饮实行临时备案管理的制度.2017年7月1日起,我市开始实施《上海市小型餐饮服务提供者临时备案监督管理办法(试行)》(以下称《办法》),有效期至2019年6月30日.制度实施以来,情况合乎预期,实践证明切实可行.为继续发挥该制度作用,上海市市场监管局着手修订《办法》.

上海市人民政府关于印发《上海市小型餐饮服务提供者临时备案监督管理办法》的通知

(2019年12月20日)沪府规[2019]44号各区人民政府,市政府各委、办、局:现将《上海市小型餐饮服务提供者临时备案监督管理办法》印发给你们,请认真按照执行.上海市小型餐饮服务提供者临时备案监督管理办法.

临时限速设置技术发展探讨

随着我国高速铁路的快速发展,CTCS-2级和CTCS-3级列控系统方案得以迅速推广实施,其中临时限速信息被定为列控系统中车-地通信报文里至关重要且必不可少的安全信息,故对临时限速设置技术提出了更高的安全需求。通过对既有限速设置流程方案的分析探讨,提出以临时限速服务器集中管理全线临时限速命令的优越性。

客运专线临时限速设置优化研究

随着CTCS-2级和CTCS-3级列控系统的成熟应用,临时限速调度命令采用临时限速服务器对全线的临时限速命令进行统一集中管理和维护。临时限速服务器能保证无线闭塞中心(RBC)和列控中心(TCC)临时限速命令的一致性、完整性、有效性以及冲突检测等功能,提高了临时限速命令的安全性。目前临时限速的设置是以里程标为标志,限速值以5km/h为一档,造成了限速命令从理论上的不可遍历性,不利于应答器报文数据的验证和管理。文章详细分析了当代高速铁路列控系统中临时限速设置的原则,提出了设置临时限速的新方法,为简化工程线路的实施提供新的思路。

基于MSC与UPPAAL的高铁跨界临时限速建模与验证

临时限速服务器是高铁列控系统的重要组成部分,其不仅要校验CTC下发的临时限速命令,还要与相邻调度台临时限速服务器之间进行频繁的信息交互,因此对其安全性和实时性要求也更苛刻。为了满足高铁列控系统对其运行的要求,采用时间自动机理论和消息顺序图(MSC)相结合的方法,首先建立跨界临时限速命令的MSC模型和时间自动机子模型,再利用UPPAAL验证工具对形式化语法BNF描述的时间自动机子模型属性进行验证。根据仿真验证结果确认了跨界临时限速信息的安全性和受限活性,为进一步开发临时限速服务器功能提供了重要的依据。