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

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

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

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

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

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

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

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

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

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

RBC对ETCS-2级列车同股道接车重联防护方案研究

针对欧洲各国不同信号系统复杂制式的运营需求,分析ETCS-2级列控系统基于无线闭塞中心(Radio Block Center,RBC)控制列车停站以及重联作业需求,根据从联锁获取的进路状态,从RBC角度提出列车停站防护并保障重联作业安全的方案,在进路解锁后给列车发无条件紧急停车、撤销移动授权至车头、补发引导模式曲线授权、保持既有授权并增加授权监督防护4种防护方案,并同时从安全性和可用性两方面论述所提方案的可行性问题。最终选择保持既有授权并增加授权监督防护作为实际工程应用方案,不影响系统可用性的前提下提升系统安全性。

基于相关进路的列车包络计算方法

在高铁列控系统中,轨旁设备无线闭塞中心(RBC)根据列车位置报告计算列车包络是为列车计算行车许可(MA)的重要依据。然而车载发送的列车位置报告为基于应答器的偏移且和实际列车位置存在偏差,因此列车安全包络是列车实际位置的安全范围。在计算列车包络在区段上的位置时列车包络范围道岔状态和实际列车驶过的道岔状态不同时,如何准确计算列车安全包络对于RBC计算行车许可十分关键。该文提出一种基于相关进路的列车包络计算方法,为列控系统计算列车行车许可提供依据。

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

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

动车段(所)分割信号机处LKJ行车作业方式探讨

针对动车段(所)分割信号机处,列车运行监控装置(LKJ)控制列车行车许可终点易与实际排列进路不一致等问题,深入研究LKJ行车作业方法,以进一步提高作业效率。结合LKJ工作原理、控车策略,在不同行车许可终点情形下,分析将列车接入G2停车位5种行车作业方式的优缺点。提出2种优化方案:增加LKJ股道号,即针对不同行车许可终点,预置2组股道数据,LKJ根据实际排列进路调用相应线路数据,形成控车曲线;增设应答器组,用于提供线路基础信息、临时限速、侧线进路等数据,以区分长/短进路。经过方案比选,推荐采用增加LKJ股道号的方案,确保行车许可与实际排列进路一致,保障行车安全。

新型列控系统与CTCS-3级列控系统RBC切换机制差异研究

为应对RBC切换在新型列控系统与CTCS-3级列控系统间互联互通应用的技术挑战,深入研究2种列控系统RBC切换流程的差异。基于CTCS-3级列控系统RBC切换流程,结合新型列控系统特性,从行车许可计算方式、交互信息、车地通信协议等方面,区分2种列控系统RBC切换关键技术要求;从列车信息处理策略、列车防护、通信故障处理、边界后首区间检查、后备监控模式列车管理等关键环节,分析2种列控系统RBC切换差异。可为工程应用中RBC切换场景的问题分析、工程设计提供支撑,也为未来铁路线路升级与跨系统运营提供理论依据和技术支持。

离去区段CTCS-3级向CTCS-2级列控系统等级转换测试用例研究

动车组在高速铁路运行时,应能根据线路的列控系统等级自动切换车载设备的控制等级而不引发紧急制动,因此在工程线路开通前,设计测试用例,对离去区段上设置有CTCS-3向CTCS-2等级转换点的特殊线路场景进行针对性的系统集成测试十分必要。在CTCS-3级向CTCS-2级转换过程中,车载设备是否触发制动受许多外部条件影响,如车载设备类型、CTCS-3级与CTCS-2级行车许可中描述的最高允许速度是否存在较大差异等。利用场景举例法,研究等级转换点所在离去区段长度不同时的测试用例设计方案,确保覆盖CTCS-3级与CTCS-2级行车许可存在最不利差异的场景。所研究的测试用例可最大化地在测试阶段发现车载设备紧急制动问题,并已在工程建设中得到验证,对集成测试工作开展有一定指导意义。

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

新近出土的元至大二年墓壁画中有无名氏《西江月》一首,其内容与存世各本《天净沙·秋思》大致相同,这为我们重新研究《天净沙·秋思》的作者、成型和流传等问题提供了一则新材料。关于此曲作者问题,前人做过有益的探讨,现据此壁画和相关存世文献,认为此曲作者仍为"无名氏"为宜,其成曲年代大致在白朴活动年代至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向列车发送隐性移动授权的基础数据,列车作为主体对基础数据进行融合计算生成移动授权,即通过隐性移动授权的显化过程来实现列车运行控制;同时,对预告应答器的设置作了适应性的调整.性能分析与仿真实验表明,新模型可以显著提高行车组织效率和增强列车运行的安全性.

关于研究生教育若干问题的思考

研究生教育是高等教育结构中的高层次教育。文章围绕创建科学的研究生教育体系问题 ,从自主招生、导师队伍建设、学位授权点。