速度350km/h高速铁路长大下坡地段闭塞分区设置方法研究

通过分析长大下坡道闭塞分区长度对CTCS-3级和后备CTCS-2级列控系统的影响,指出二者对闭塞分区长度的需求完全相反,并针对CTCS-3级列控系统的行车许可回缩、速度突降等问题的产生原因进行分析。阐述坡度、闭塞分区长度与不同列控模式下列车运行速度、追踪间隔时间等要素之间的关系,制定闭塞分区设置的基本原则。检算典型坡度下闭塞分区长度设置的合理区间范围及相应追踪间隔时间,指出坡度超过-30‰后将无法兼顾不同列控等级下的运行速度。设计模拟退火算法,根据闭塞分区设置原则及闭塞分区取值规律,给出压缩求解空间、提高求解效率的方法。以郑万高速铁路长大下坡地段为例,对闭塞分区设置进行优化,在不考虑其他约束的前提下,与设计院优化方案相比,本求解优化方案在确保CTCS-3级控车模式下允许速度可达350 km/h的同时,将CTCS-2级控车模式下的允许速度提高30 km/h,追踪间隔时间压缩23 s。

车车通信移动授权的功能建模及性能分析

车车通信列车运行控制系统中移动授权的生成对城市轨道交通运营效率有着较大的影响。通过分析车车通信列车运行控制系统中移动授权的生成过程及性能,建立基于有色Petri网(colored Petri net,CPN)的车车通信移动授权信息交互的模型,进行性能分析。研究移动授权生成过程中端对端通信传输时延的延时概率,根据不同信道质量下统计传输时延的平均值,计算移动授权完成的成功率。分析结果表明,基于车车通信的列车运行控制系统移动授权的生成过程,符合地铁长期演进(long term evolution for metro,LTE-M)系统端到端延时时间不大于150 ms的概率不小于98%,时延随着信道质量的下降而增加。

云存储中基于MA-ABE的访问控制方案

针对云存储中跨域数据访问控制的安全性和有效性问题,提出了一种基于MA-ABE的高效的、细粒度的访问控制方案。新方案通过使用密钥分割技术和代理重加密技术,在权限撤销时保证用户密钥的安全性,并将大部分密文重加密工作转移到云端,以降低数据属主的计算代价。利用数据属主和授权机构分别产生和分发属性私钥组件,将用户全球唯一标识(GID)和用户私钥相分离,避免了授权机构间的联合攻击,有效地保护了用户身份信息。最后,通过理论分析表明了新方案的安全性,并实验验证了该方案在权限撤销时的高效性。

基于区块链的轻量级物联网医疗数据访问控制方案

基于物联网的智慧医疗系统,给患者和医务工作者带来极大的便利,但是物联网医疗设备产生的海量医疗数据包含着患者的个人隐私,一旦泄露会造成重大损失,以往的访问控制方案存在不灵活,中心化,加密效率较低等问题。针对这些问题,提出了一种基于区块链的轻量级物联网医疗数据访问控制方案。提出了一种改进的多中心属性基加密(multi-authority attribute-based encryption, MA-ABE)方案为患者提供细粒度的安全数据共享,并且利用IPFS技术存储患者数据。结合雾计算技术,利用雾节点承担属性基加解密过程中大部分的计算开销,减轻了物联网设备负担。进行安全性分析和仿真实验,结果表明,提出的方案在保证安全的情况下为物联网医疗数据提供了高效并且轻量级的访问控制。

基于“气运痰消动自制”治疗儿童抽动-秽语综合征经验探析

抽动-秽语综合征(TS)是抽动障碍(TD)中较为严重的一种形式,以头面部、肢体或躯干的多发性肌肉抽动与暴发性不自主发声为主要特征,属“肝风”“慢惊风”“瘈疭”等范畴。马丙祥教授认为气机逆乱则内风窜行引发抽动,风痰鼓动阻遏咽喉则发声频作,内陷蒙蔽心窍则秽语不识人,经多年临证经验,总结提出“气运痰消动自制”的见解,指出在TS治疗方面应结合儿童“三有余,四不足”的生理特点,以“畅肺气、和肝脾、清心窍、壮精气”为主要治疗手段,梳理气机以除痰熄风。

塞尔维亚信号系统与ETCS-2系统结合的应用

根据塞尔维亚铁路信号系统的系统需求和本国列车防护系统的特点,通过对ETCS等级转换、行车许可的分析,提出塞尔维亚信号系统与ETCS-2系统结合的适配性解决方案和应用探讨,为中国高铁技术装备“走出去”提供技术参考。

基于统计模型检测的Tc CBTC移动授权建模与分析

基于通信的列车运行控制(communication based train control,CBTC)系统采用车地通信方式使得地面设备极其复杂。随着通信技术的快速发展,以车载为核心的列车运行控制(train-centric communication based train control,TcCBTC)系统采用车车通信方式减少了控制信息的传递环节,将成为城市轨道交通领域的发展方向。移动授权(movementauthority,MA)是决定列车能否以安全间隔运行的直接因素,因此对MA生成过程进行形式化建模与分析,对避免列车碰撞具有重要意义。根据TcCBTC系统架构分析MA生成流程,确定参与功能实现的子系统,并计算出不确定性参数;通过UPPAAL-SMC建立对应的随机混成自动机网络模型;最后采用统计模型检测方法对模型进行定量分析。分析结果表明:置信度为99.95%的情况下,系统在300 ms内成功计算出MA的概率为0.9974124748,为后续TcCBTC系统开发设计提供理论参考。

马济佩治疗中晚期糖尿病肾病水肿经验介绍

介绍马济佩教授辨证治疗中晚期糖尿病肾病水肿的临床经验。马济佩教授认为,本病为本虚标实之证,以脾肾阳虚为本,湿浊、血瘀、气滞为标。治疗上强调以补肾健脾,温阳利水为大法,兼顾化湿泄浊,活血化瘀和调畅气机。此外,配合中药熏洗方改善下肢循环,内外兼治,相得益彰。

全自动限速运行模式方案研究

列车在全自动运行驾驶模式下会出现丢失定位的故障情况,需快速获取定位或者运行至就近站台区域。结合列车在正线区间、折返轨、车辆段运行等场景,对全自动限速运行模式的申请流程、移动授权距离、场景处置等进行全面分析研究,并提出解决方案。

CBTC系统退行防护机制优化研究

针对前车退行情况下的后车安全防护问题,分析前车自身的退行安全防护机制,以及前车从退行开始到停车阶段的最大退行距离计算原理,阐明了后车通过回缩安全防护点来防护前车退行的机制。通过分析最大退行距离的影响因素,提出了系统性能参数优化、连续式等级下基于前车速度的ZC授权优化,以及适用于车车通信场景下的退行防护优化3种方案。在实现退行防护功能的同时,缩短前车与后车追踪间隔,提高运营效率。

城轨信号系统接触网禁停区防护技术研究

针对城轨列车在接触网禁停区非预期停车可能导致接触网拉弧断电,继而引发线路停运事故的情况,信号系统根据供电专业的输入信息设置接触网禁停区域,对线路区间和站台不同区域的禁停区实现列车自动防护功能,防止列车在禁停区内停车。阐述在列车自动运行模式和列车自动防护手动驾驶模式下对应的禁停区防护功能;分析增加接触网禁停区防护后,对信号降级模式和高密度运营场景的影响;分别提出司机按辨识禁停标识驾驶和通过ATS的运营调整策略进行修正的应对策略,并进行仿真验证,结果表明折返间隔符合交路要求。接触网禁停区防护功能目前已在上海地铁6号、8号、9号线陆续上线,且运行稳定。

《天净沙·秋思》作者及流传新说

新近出土的元至大二年墓壁画中有无名氏《西江月》一首,其内容与存世各本《天净沙·秋思》大致相同,这为我们重新研究《天净沙·秋思》的作者、成型和流传等问题提供了一则新材料。关于此曲作者问题,前人做过有益的探讨,现据此壁画和相关存世文献,认为此曲作者仍为"无名氏"为宜,其成曲年代大致在白朴活动年代至1309年之间,当时主要在北方流行。

急倾斜多煤层开采地表移动规律与岩层破坏特征

急倾斜多煤层开采覆岩破坏和地表移动规律不同于缓倾斜煤层开采。采用相似材料模型实验对赵各庄矿急倾斜多煤层开采进行了模拟研究。通过对7次观测数据分析,得出了不同开采阶段地表移动变形规律及岩层破坏特征。实验结果表明:地表下沉盆地具有分区沉降突变性和沉陷分布格局控制性特点,岩层的空间破坏范围随着煤层开采层数的增加和开采深度的加大而扩大,其破坏特征主要表现为累积性和突变性。

无线CBTC信号系统移动授权功能分析

无线CBTC(基于通信的列车运行控制)信号系统往往采用移动闭塞制式,其列车运行许可主要依靠移动授权功能。为配合信号系统国产化工作,从国际标准中移动授权定义入手,对移动授权分门别类,包括移动授权限制和人工列车授权;详细描述了各类移动授权的原理、办理过程、解锁方法,简要介绍了移动授权的障碍物及回撤现象。结合实际操作场景和故障场景总结了不同类型移动授权之间转换过程,对城市轨道交通无线CBTC信号系统的研究具有借鉴意义。

五四新文化运动前后《教育杂志》作者群体的转变——基于量化的分析

《教育杂志》是近代中国办刊时间最长、影响力最大的教育专业期刊。五四新文化运动前后,《教育杂志》的作者群体发生了显著的转变,包括作者来源及其地域分布的多元化,作者的年轻化和专业化,以及作者求学背景开始从以留日学生为主转变为以留美学生为主,等等。这些变化既体现了《教育杂志》编辑的主观努力,也是五四新文化思潮激荡、留美学生大量归国、新一代教育家崛起等多种因素共同作用下教育界话语权转移的客观反映。

CTCS-3级列控系统无线闭塞中心功能需求研究

本文重点研究CTCS-3级列控系统无线闭塞中心(RBC)的功能需求及外部接口等。通过对CTCS-3级列控系统系统需求规范进行深入分析,得出RBC应具有的主要功能。在仿真平台中实际应用表明,本文所述的RBC功能需求、信息流及外部接口等能够满足CTCS-3级列控系统仿真测试平台建设需求。

CTCS-3行车许可过程形式化建模

针对高铁列车控制系统3级集成中的系统网络通信性能缺乏形式化标准问题,采用着色Petri网,在分析行车许可行为过程的基础上,提出并完成了面向行车许可计算及传输过程的分层着色Petri网系统建模,进一步完成赋时模型优化。通过实验对模型的有效性进行了验证,并进一步讨论了系统通信可靠性及网络延迟对行车的影响,形成等级转换时的通信质量的安全范围,可以为列控系统的设计、联调联试提供支持。

列车混跑模式下的移动授权

基于通信的列车运行控制系统CBTC依赖于车载设备和地面区域控制器之间的实时连续双向通信,通过不停地更新移动授权指挥列车运行,达到较小的行车间隔。介绍了当CBTC列车降级为非CBTC列车后,两种车型混跑模式下的移动授权具有的一些特点。

基于列车主体性的RBC越区切换模型

CTCS-3型列控系统中,RBC切换是车—地之间大规模数据连续、可靠双向传输的瓶颈,对列车安全、高效运行影响至巨.本文提出并研究了一种新的基于高速列车主体性的越区RBC切换模型,由RBC向列车发送隐性移动授权的基础数据,列车作为主体对基础数据进行融合计算生成移动授权,即通过隐性移动授权的显化过程来实现列车运行控制;同时,对预告应答器的设置作了适应性的调整.性能分析与仿真实验表明,新模型可以显著提高行车组织效率和增强列车运行的安全性.