CTCS-3级列控车载设备的形式化建模与验证

CTCS-3级列控系统安全苛求性较高,而列控车载设备是CTCS-3级列控系统的主体,主要功能是对列车进行操纵和控制,保证列车安全运行的关键。通过分析CTCS-3级列控车载设备之间的信息交互以及车载安全计算机中工作模式的转换规则,采用有色Petri网(CPN)建立车载设备的信息交互模型以及工作模式转换模型,使用ASK-CTL分支时序逻辑公式验证了模型的死标识、死锁以及分析工作模式下的系统行为等特性,验证构建的CPN模型符合系统规范要求的流程及规则,可为相关安全苛求系统的设计提供一定参考。     

光面高强钢丝在后张法施工中应注意的几个问题

本文论述了光面高强钢丝张拉的特点,光面钢丝与钢绞线在穿丝、张拉、顶压各个操作方面不同之处;同时指出了伸长量测量、控制,在预应力张拉中的重要性。特别强调预应力张拉,一定要达到伸长量与预应力双控的目标。对伸长量只作参考的观点提出质疑,并指出了伸长量偏大的原因和正确测量伸长量的方法。     

浅析沥青路面质量的控制技术

由于公路建设活动在最近的几年中获取了非常迅猛的进步,道路的级别也在提升,结合对沥青路基的建设活动,文章重点阐述了对路面品质有作用的一些具体的要素内容,像压实性以及基层的品质等等的一些内容,在建设的时候要认真的关注。     

略论墨家对早期道教的影响

先秦诸子百家思想流派中，宗教色彩最浓厚的要算是墨家。道教敬神祀鬼、贵生重术的教义．在相当大的程度上是摄取自法夏宗禹的墨家。道教与墨家学派，不论在思想上还是在作风上。都有着不可割裂的关系，本文拟就墨家“天志”“明鬼”“兼爱”等思想对早期道教的影响作一简单论述。     

当代大学生的心理不适及应对

随着我国社会经济的发展、高等教育招生规模的扩大,大学生在学习、人际交往、就业和情感等方面的压力日益增加,心理问题日益突出.当前大学生不同程度地存在心理压力.如果得不到科学调适,会导致心理不适、心理疾患等一系列问题,影响正常的学习和生活.因此,必须要正确分析大学生心理不适产生的原因,有针对性地采取措施缓解大学生的心理压力,促进其身心健康发展.     

商业受贿罪的客观要件研究

商业受贿罪是发生在商业活动领域中,工作人员利用工作上的便利,违反国家规定收受回扣、手续费归个人所有的行为。认定商业受贿罪的成立,必须与反不正当竞争法规定的商业贿赂区分开来。     

现代公路施工质量控制管理的实施

公路工程的建设与施工是经济发展的基础,其施工质量是保障公路行车的基础,是公路养护工作开展与养护成本控制的关键。加强公路施工质量对现代高载重、高行驶速度行车的安全性与舒适性都有着重要的影响。同时公路施工质量控制与管理更是施工企业提高综合市场竞争力的关键。文中就现代公路施工质量控制管理的实施进行了简要论述。     

地层条件下砂岩储层的AVO响应模板

在实验室对WXS凹陷的W3地层岩芯样品进行了地层压力和温度条件下的密度、孔隙度和声波速度测试,基于岩石物理模型提出一种集成目标储层孔隙度、厚度和饱和流体信息的AVO响应模板制作方法。该方法以砂岩孔隙度与干燥状态下的密度和纵、横波阻抗的线性关系为核心,利用Gassmann流体替换技术构建岩石物理模型,通过正演模拟获得不同...     

基于CCA和SOFM的轴承故障特征提取

提出曲元分析(CCA)和自组织特征映射(SOFM)相结合的方法用于轴承的故障诊断特征提取.首先通过传感器测得轴承在正常和非正常状态下的信号;然后对所得数据进行归一化;考虑到数据比较庞大,利用CCA进行降维;再利用SOFM进行训练,网络对不同状态下的输入具有明显不同的输出.利用Matlab神经网络工具箱来实现上述算法.实例仿真表明,这个算法可以快速正确地提取出轴承故障特征值,并通过聚类算法完成轴承的故障诊断.