基于区块链高效安全的多部门铁路工程数据访问控制策略

针对铁路工程建设中各参建部门之间的数据资源,具有共享效率差、利用率低和安全程度不高的问题,提出一种基于区块链(Blockchain)铁路工程数据的共享及安全存储方案来弥补现有的铁路工程数据平台的不足。在工程建设平台中,引入了基于外包的属性加密技术(Outsourcing-Attribute Based Encryption technology, OABE)、区块链技术和星际文件系统(Interplanetary File System, IPFS)以及边缘节点(Edge Nodes, EN),并提出一种适用于铁路工程建设的多部门区块链与IPFS的协作网络。研究结果表明:当施工现场资源设备有限时,相比于较为传统基于云辅助的密文策略属性基加密技术(Ciphertext Policy Attribute Based Encryption, CP-ABE),通过将铁路工程数据外包给边缘节点,可以更好地为资源受限设备提供大量的计算,减轻设备的计算负担,确保了数据的安全性并且提高了设备的计算效率。而且将铁路工程数据存储在星际文件系统上,避免集中式的服务器机制在故障时造成数据的丢失和泄露。此外,通过使用区块链网络可以提高参建单位之间的数据资源共享效率,增强了数据的利用率,利用区块链的共识性来实现每个参建单位之间数据的一致性,确保了不同参建单位间的信任度。经过安全性证明,采用基于双线性迪菲赫尔曼指数假设(Decision q-Bilinear Diffie Hellman Exponent Assumption, q-BDHE)下具有不可区分性是安全的。实验结果表明,该策略在本地用户计算时间效率上与现有的带关键字搜索的外包属性基加密方案以及属性基加密的方案相比是最优的,可以很好地减轻现场设备的计算负担。

电力系统大规模联合反事故演习的组织实施

结合国家电网2006年迎峰度夏联合反事故演习的组织实施情况,介绍了电力系统大规模联合反事故演习的组织机构、方案制定、技术支持、方案实施、总结与实际应用等内容,以期为电力系统调度机构组织反事故演习工作起到参考、促进的作用。

改进的遗传算法在Canny算子阈值选取中的应用

Canny算子因其信噪比高、定位准确以及单边响应的优势,常常用于图像的边缘检测,而双阈值检测中阈值的选取会影响图像边缘提取的效果,为了获得边缘检测的最佳阈值,引入了一种改进的遗传算法.该方法从遗传算子和操作策略两个方面对基本遗传算法作出改进,重点设计了种群进化的适应度函数,使用该方法确定图像边缘连接的最佳阈值,以获得图像的边缘检测效果图.仿真结果表明:采用改进的遗传算法确定的阈值所得到的图像,边缘细节丰富,定位准确.

基于小波分析的电动转辙机动作电流的分析研究

目前采用人工方法来分析电动转辙机动作电流曲线、进而判断其相应故障,存在着故障诊断效率低、漏判等问题,提出将小波分析应用到电动转辙机动作电流曲线的自动分析,结果作为故障诊断的基础,实现快速、准确、自动的故障诊断.首先对采集的动作电流曲线进行A/D转换,然后对数据做小波包特征向量提取,把提取的特征向量输入故障分类器进行分析,以确定各种特征向量对应的故障类型,实验结果证明了该方法的合理性和有效性及在故障诊断理论上的可行性.

^(60)Coγ-射线辐照对中药醇溶成分影响的TLC分析

辐照保存中药材防霉、防虫蛀效果显著。本文通过比较辐照和对照中药样品醇提物的定性定量TLC分析,观察辐照对药物醇溶成分的影响。

基于Linux联锁计算机系统的实时性和高可靠性研究

计算机联锁控制系统是保障列车在车站范围内安全、高效运行的基础设备 ,因而要求该系统具有更高的可靠性、安全性和可维护性 .为了提高系统的可靠性 ,联锁机通常采用冗余系统 .采用软件容错及硬件冗余相结合的方法 ,设计了一种基于Linux的双模动态冗余系统 。

计算机联锁软件测试方法研究

描述了计算机联锁软件的基本结构、主要完成功能和联锁软件测试的重要性,采用白盒法和黑盒法来完成对计算机联锁软件的结构测试和功能测试,并给出结构测试实例和黑盒测试框图;采用故障树分析法来完成对计算机联锁软件的安全性测试,并给出了具体实例.

基于RTLinux/Linux的容错计算机联锁控制系统设计与实现

计算机联锁控制系统作为车站关键基础信号设备,不仅要具有高度的安全性、可靠性、实时性、可维护性、可用性,强大、快速的处理能力以及良好的可扩展性,还应具有良好的性能价格比。基于RTLinux/Linux的容错计算机联锁系统采用软硬件多级混合容错技术,确保系统可靠性和安全性的实现;利用RTLinux的实时多任务处理能力,提供系统在分布式环境下实时通信能力;利用源代码公开的特点,保证系统具有良好的可扩展性及良好的性能价格比。

基于场景的联锁软件形式化模型生成方法

为保证列车运行安全和旅客生命财产安全,对车站联锁控制系统进行有效的分析、验证和测试是必不可少的,而形式化模型是联锁系统分析、验证和测试的基础。以计算机联锁软件的UML半形式化模型为基础,以事件确定有限自动机模型作为描述系统的形式化模型,研究UML2.0顺序图转换为事件确定有限自动机模型的方法。首先选取一组与交互行为相关的全局变量作为状态向量来分析和消解顺序图各个场景的消息以及不同场景间的同一消息的前后置状态向量值是否存在矛盾,从而得到一致性的需求场景;然后提取各对象的事件序列生成对应的事件确定有限自动机;最后通过组合系统中对象的自动机模型得到系统的事件确定有限自动机模型。该方法改善了安全苛求软件的设计与开发,为软件质量评估提供了技术支撑。

基于netlink机制内核空间与用户空间通信的分析

介绍了Linux操作系统的内核空间和用户空间的概念,给出了基于netlink通信的相关流程图和简要程序说明。基于netlink的内核空间与用户空间的双向通信,可以有效地解决内核空间与用户态进程间无阻塞通信的问题。

基于Hu不变矩特征的铁路轨道识别检测算法

针对当前铁路钢轨检测算法在识别中准确性和鲁棒性不高的问题,提出采用Hu不变矩特征实现轨道线搜索,并以B样条曲线为拟合模型的钢轨自动检测方法。算法根据视频帧中钢轨的边缘特征,通过改进的霍夫变换识别并确定图像空间的轨道线消隐边界,完成近远景区的标定。针对近景区直轨,通过直线模型拟合;在远景区,采用可漂移检测窗通过比对Hu不变矩来提取轨道特征点,以最小二乘法实现B样条曲线模型拟合。并制定模型更新和切换原则自动跟踪轨迹线。实验结果表明:轨道线平均跟踪时间为0. 081 s,可以提高钢轨检测识别的精确性和鲁棒性,能够更好地解决曲线轨道的模型拟合问题。

基于粗糙集和模糊认知图的ZPW-2000轨道电路故障诊断

针对目前由人工分析监测数据进行ZPW-2000轨道电路故障判别存在判别效率低、判别周期较长、对数据分析所依赖的人员经验程度高的缺陷,将粗糙集理论和模糊认知图的概念引入ZPW-2000轨道电路的故障判别中,通过主分量启发式算法对原始故障数据进行属性约简,得到故障特征参数,利用模糊认知图构建出基于属性约简和模糊认知图的分类器,并在此过程中利用自适应遗传算法完成FCM权重的学习。通过仿真实验验证,在模糊认知图的基础上利用粗糙集进行特征的提取,再对ZPW-2000轨道电路故障进行诊断,这种方法是有效可行的,并与人工分析故障数据进行诊断的方法进行比较,发现基于属性约减和模糊认知图的分类器有较高的故障识别率以及较短的诊断时间。

基于RBF神经网络PID控制的列车ATO系统优化

针对在复杂环境下列车高速运行时,现有的Fuzzy-PID控制算法自适应性差在受到外界因素的干扰时会导致列车追踪误差较大的问题,提出了一种基于径向基(RBF)神经网络PID控制的列车速度控制算法。首先,在构建列车优化模型时,充分考虑列车经过电分相时必须处于惰行工况的特点,并且依据电分相和限速条件的特点将列车行驶过程中的区段进行了划分,简化了求解过程;然后使用RBF神经网络PID控制器对目标速度曲线进行追踪仿真,同时与现有的Fuzzy-PID控制器进行比较。实验结果表明,基于RBF神经网络PID控制算法能够实时有效的追踪目标速度曲线且追踪误差较小。

基于LKJ数据分析的机车速度传感器智能故障诊断

针对目前人工利用LKJ数据进行机车速度传感器故障诊断存在诊断效率低、诊断时间较长、对数据分析人员经验依赖程度高的缺点,将加权K近邻分类器引入基于LKJ数据的速度传感器故障诊断中。通过分析几种故障的产生原因,结合专家经验,并对不同故障类型的LKJ数据进行数据分析,总结出4点故障规律,由此得到故障特征向量。通过计算机仿真验证,根据LKJ数据用于机车速度传感器故障诊断的WKNN诊断方法是有效的,具有较高的故障识别率以及较短的故障诊断时间,较人工故障诊断方式提高了效率。

CTCS-2级列控系统的形式化建模与验证

由于CTCS-2级列控系统设计复杂,因此提出一种将统一建模语言(UML)与符号模型检验相结合的形式化建模与验证方法。分析CTCS-2级列控车载设备的模式转换场景,对其进行UML建模得到UML类图和状态图,制定转换规则对UML模型进行扩展和抽象,使其转化为NuSMV模型。将待验证的系统性质和转化后的检验程序输入符号模型检验系统进行验证,验证结果都为true,表明CTCS-2级列控车载设备的模式转化场景具有活性、可达性和安全性。

计算机联锁软件数据结构的分析及应用

简述了计算机联锁软件的层次结构图及所应具备的功能.给出了基于站场型数据结构进路自动生成的搜索算法及该算法所涉及的对象:信号机、道岔、轨道电路的数据结构的形式及描述.这种数据结构有利于联锁程序的标准化、模块化,有利于提高系统的可靠性和安全性.

基于RTLinux的计算机联锁软件可靠性和实时性研究

采用性能稳定、可靠性高、实时性好的RTLinux作为联锁计算机的操作系统,可以有效地提高计算机联锁软件的可靠性和实时性。叙述了对软件可靠性的描述和提高系统软件可靠性的具体方法,以及RTLinux的实时性,在RTLinux平台下的IPC机制,并进行了相应的测试。

基于改进的无迹粒子滤波算法的列车组合定位方法研究

列车实时定位是保证列车安全运行的重要环节。随着北斗卫星导航系统的发展,北斗卫星已逐步具备应用于列车定位的能力。针对北斗导航定位系统的特点及存在的问题,将SINS系统作为其补充定位方式。由于传统滤波算法在进行状态估计时仍存在粒子退化现象,为了进一步提高估计性能,提出了基于人工免疫无迹粒子滤波算法(AI-UPF)的列车组合定位方法。将人工免疫算法引入UPF算法的重采样过程,对粒子进行克隆和变异,改善了样本集的多样性,减轻了退化现象的影响。用该方法和UPF算法分别对北斗/SINS列车组合定位系统进行仿真实验。结果表明,AI-UPF算法能进一步减小定位误差,滤波效果较好。

基于SMP的Linux系统并行性分析

分析了SMP的体系结构特征,Linux操作系统对SMP进程调度的实现和多线程机制对并行计算的支持,认为基于SMP的Linux系统能很好地缩短任务的执行周期,真正实现了系统的并行运行。

济南市体育中考的现状及主要对策研究

对我国开展体育中考的基本过程进行总结,论述了济南市近年来体育中考的基本现状,讨论了体育中考的重要作用,重点分析了近年来济南市体育中考在实施中存在的主要问题,并提出相应的对策和建议。