【摘 要】
：
基于车车通信的列控系统在传统车地通信的基础上，引入了车车通信技术，后车与前车实时通信，极大地简化了地面设备，提高了列车运行效率。使用STPA法对该系统的关键设备（资源管理单元）的安全性进行研究。以资源管理单元下发临时限速命令的过程为例，识别出过程中的危险行为，找出系统的不安全因素，规划安全性设计需求。通过安全性设计需求条件搭建该场景的时间自动机网络模型，使用UPPAAL对模型进行验证。验证表明ST
论文部分内容阅读
基于车车通信的列控系统在传统车地通信的基础上，引入了车车通信技术，后车与前车实时通信，极大地简化了地面设备，提高了列车运行效率。使用STPA法对该系统的关键设备（资源管理单元）的安全性进行研究。以资源管理单元下发临时限速命令的过程为例，识别出过程中的危险行为，找出系统的不安全因素，规划安全性设计需求。通过安全性设计需求条件搭建该场景的时间自动机网络模型，使用UPPAAL对模型进行验证。验证表明STPA方法能够找到列控系统中的控制缺陷，并采用相应的策略，提高系统的安全性，在列控系统的安全性分析中具有较好的适用性。
其他文献
FPSO系泊系统在复杂服役环境下的疲劳可靠性问题是其在役状态评估的重点。基于船体运动监测数据，结合系泊力监测方法与时变可靠性计算方法，综合考虑海洋载荷的季节性变化与系泊链均匀腐蚀的影响，完善时变可靠性模型，针对内转塔系泊系统开展疲劳时变可靠性评估分析。
体验式教学有助于学生深入地理解理论知识并更好地应用到实践，这与网络与新媒体专业培养应用型、复合型和创新型人才的目标契合。该专业体验式教学路径可以划分为线上线下联动的设计资源引导学习、面授答疑专题研判、作品产出和迭代等三个阶段。体验式教学夯实和巩固学生的专业实践技能，同时也赋予学生更宽广的创作自由度以及更高的创作热情，进而更好地提升教学效果、提炼教学成果。
装备与外界的交互从不间断，因而装备适用与否的特性也从不间断，而现有各类指标体系只能片断化地描述装备适用性，并不能还原装备适用性的全貌。以矩阵形式给出了装备适用性的全覆盖描述，由此定义出装备适用性的对象层指标、底层指标，进一步结合已明确的或需明确的评估要点导出中间层指标，从而构建形成装备适用性指标体系，最后以某无人机为对象给出了示例。
高功率微波（High Power Microwave，HPM）武器在未来海上舰艇防空作战中具有广阔的应用前景，将HPM武器与舰艇常规防空武器进行协同对提升海上防空反导能力具有重要意义。针对海上防空目标威胁评估问题，基于模糊小波神经网络（Fuzzy Wavelet Neural Network，FWNN）模型，选择来袭目标的类型、速度、航向角、干扰能力、高度和航路捷径六项指标作为FWNN的输入项，并
社交媒体时代，网络环境的隐匿性和网络身份的虚拟性使得网络舆情的管理变得更加困难。偶发的社会事件经过社交媒体的加工和传播后，极易突破由政治、文化、经济和地理所构筑的传播壁垒，形成网络舆情的“破圈”现象和舆情扩散的“涟漪效应”。网络媒体时代，网络舆情的扩散呈去中心化和负外部性的特点，其在传播主体、传播内容和传播方式上都产生了新的特点。要合理引导网络舆情，强化危机意识与协同意识；运用大数据思维，培育舆情
西藏地处边疆，由于地理位置特殊及经济落后，其公共产品绝大部分依赖于政府供给。尽管中央政府一直重视并加大对西藏的财政补贴和直接投资力度，但仍存在公共产品供给不足、供需结构失衡等问题。从西藏农村居住环境、生产生活基础设施建设、医疗公共卫生和义务教育4个方面，阐释西藏农村公共产品供给现状，分析存在的问题，并提出优化西藏农村公共产品供给的具体措施。
为了制备高效价特异性的鸡滑液囊支原体卵黄抗体,为鸡滑液囊支原体病防治的研究探索新的方法和途径,用鸡滑液囊支原体灭活疫苗免疫健康产蛋母鸡,获取含有大量卵黄抗体的卵黄,利用水稀释法和盐析法对卵黄进行粗提,再利用超滤及透析方法进行提纯。ELISA检测免疫后不同时期血清抗体和提纯后卵黄抗体的效价,结果显示,卵黄抗体的变化趋势与血清抗体基本一致,但卵黄抗体的产生滞后于血清抗体,SDS-PAGE分析结果显示,
针对海上联合作战装备型种多样、体系构成复杂、能力生成涉及因素多的特点，本文提出了一种面向不确定任务场景的装备体系贡献率评估方法。首先，分析了海上联合作战装备体系结构、不确定型多任务场景组成和装备体系效能评估指标构成；然后，基于直觉模糊综合评估提出了面向不确定多任务场景的装备体系贡献率评估方法；最后，通过一个实例对体系贡献率评估方法的计算过程进行分析，说明了本文所提方法针对海上联合作战装备体系贡献率
MS,是鸡滑液囊支原体（Mycoplasma Synoviae）的简称。1954年,Olson首次报道,并认为与支原体感染有关。1964年,Olson等首次将该病原命名为鸡滑液囊支原体。该病出现以来,一直被认为是一种温和的亚临床感染。近年来,随着养鸡环境变化,该病开始抬头,危害加大。据某机构研究,全国MS感染率为
中国乘用车汽车市场进入一个全新的时代,呈现出如“市场进入低增长时代、新能源汽车崛起、新销售模式出现、新的购车主力,以及消费升级”等几大特点,品牌要在新的环境占得先机,需要因应市场变化,结合自身实际,应用全新的品牌发展战略。