CTCS-3级列控系统规范的建模与形式化验证方法研究

CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。     

基于Timed RAISE的高速列车RBC切换协议形式化建模及验证

在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RAISE的形式化方法,结合域的模型,在对RBC切换流程分析的基础上,构建状态转移图,得到切换协议的形式化模型,使用等价和推断的推理规则对模型的正确性和实时性进行推理验证,得到的结果表明,RBC切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。     

基于CNN和WSVDD的深孔镗削加工过程状态评估与监测

针对深孔镗削加工过程中易出现颤振以及传统监测方法监测效率低的问题,提出了一种将深度卷积神经网络和加权支持向量数据描述法相结合的深孔镗削加工过程颤振评估与监测方法。首先基于深度卷积神经网络提取加工过程状态内振动信号的特征矢量,然后以正常加工状态下的特征矢量训练加权支持向量数据描述模型,得到相应的描述加工正常状态下的超球体模型,再计算当前加工过程状态特征矢量与超球体之间的相对距离,作为加工过程状态的评估指标,并对稳定度阈值进行设定。结果表明:与文献中其他方法相比,文中方法的监测能力更强,对加工过程状态的稳定度描述更加准确。     

复合Anytime算法的性能描述的生成

Anytime算法能够折衷解的质量和计算时间，广泛地用在求解与时间紧急相关的问题，为了完成更得杂的任务，Anytime算法常常作为一个部分用来构建复合Anytime系统，文中探讨了复合Anytime系统的构成以及其性能描述方法的方法问题，给出了适合于构建更复杂的Anytime系统的性能描述方法和时间分配算法。     

基于并行摊铺的一类典型“拌和—摊铺”系统机械运行规律与数学描述

在高等级公路沥青路面施工中，一种典型的机械化施工机械组合：1个拌和站 2台摊铺能力不等的摊铺机并行作业方式，被广泛采用。笔者以其作业运行规律为基础，对机械的运行规律作了科学地数学描述，建立了拌和站、摊铺机的服务模型与评价指标。     

前弗雷格时期的思维形式化

思维形式化是人工智能(以下简称AI)中符号主义研究纲领的核心假设,虽然其具体含义、发展脉络尚待精确描述和梳理,但包括物理符号系统假设、逻辑主义在内的符号主义,不仅主导着AI这门年轻学科的早期发展脉络,而且迄今仍是核心纲领之一。弗雷格所建立的一阶逻辑是前AI时期思维形式化发展的一个重要里程碑,因此对弗雷格之前的思维形式化从观念和实践上进行历史考察,不仅有助于理解AI主要纲领的思想来源和发生过程,而且为该学科当下竞争的不同研究纲领和未来发展方向提供了一个评判视角。     

路基设备状态的数字化采集

以普速线既有线工务需求为背景,解析铁路受自然环境影响以及防护性路基设备维护的现状,提出铁路应对灾害险性事件的本质是界定路基设备的完好状态和是否受到冲击。提供了捕捉路基设备状态突变的物理特征并以数字化描述的系列思路。进而对这种信息化建设的工程化实施中,点段勘定、现场探测设备布设、突变门限阈值、系统判别逻辑等,提出建议。     

群决策中基于SVDD的专家权重的评价方法

针对群决策中专家权重的评价问题,提出一种基于支持向量域描述(SVDD)的确定方法.利用生成树的方法把判断矩阵进行一致性剖分,利用支持向量域描述的方法排除干扰信息,找出群体公共信息,并引入群体相容性、群体信息贡献率等概念及其判断方法;给出不同专家的群体信息贡献率的计算方法,确定出每位专家的评价权重,并通过示例验证了该方法的可行性和有效性.该方法能消除片面的影响,抓住关键信息,对专家的权重能比较客观地评价.     

沥青混凝土路面裂缝图形展绘的一种新方法

前言沥青混凝土路面以其行车舒适、噪音小、扬尘少、维修方便等优点被高速公路、国省干道、县乡公路、市政道路等广为应用,但裂缝是沥青混凝土路面的常见病害。裂缝的出现不