通用的安全苛求软件安全性测试方法

传统的测试脚本语言与测试策略不能满足安全苛求软件系统的测试需求,针对该问题,基于安全苛求软件测试的需求提出一种安全性测试方法,使用场景-事件驱动的安全性测试策略,设计基于该策略的安全性测试脚本语言。高速铁路既有线车站列控中心软件的安全性仿真测试结果证明了该方法的有效性。     

传名调用演算的二值传递CPS变换

为Plotkin带常数传名调用λ演算定义了一个新的CPS(continuation-passing-style)变换方法.方法基于求值上下文变换,新颖之处在于,每次传递二值给继续而不是常规的一值.先给出二值CPS变换编码,再在此基础上定义CPS语言,最后建立源语言和CPS语言的一一映射关系并证明Plotkin的模拟定理.与Plotkin的工作比较,工作特点在于,给出了一个CPS归约闭语言,该语言中所有继续都可以用函数形式表达,且模拟定理的可靠性和完备性方向证明更为简单.     

面向城市基础设施智慧管养的大数据智能融合方法

针对运维大数据维度高、形式多样化和变化迅速等特性,为提高数据融合效率以及平台的数据统计和决策分析性能,降低抽取-转换-加载（ETL）执行时间开销和数据中心负担,面向智慧管养需求提出一种多层次任务调度（MTS）ETL框架（MTS-ETL）。首先,将数据仓库分为数据临时区、数据仓储区、数据分类区和数据分析区,并根据所分区域将完整的ETL过程划分为4个层次的ETL任务调度环节,同时设计了多频率ETL运行调度以及顺序和非顺序两种ETL工作模式;接着,基于MTS-ETL框架的非顺序工作模式进行数据融合的概念建模、逻辑建模和物理建模;最后,利用Pentaho Data Integration设计ETL转换模块和工作模块以实现数据融合方法。在交通流量数据融合实验中,该方法融合136754条数据的时间仅为28.4s;在千量级的数据融合实验中比传统ETL方法的总平均执行时间降低了6.51%;报表分析结果表明其在融合400万条数据时依然能保证ETL过程的可靠性。所提方法能够有效融合运维大数据,提高平台统计分析性能,并维持ETL执行时间开销在较低水平。     

交叉冗余体系结构的安全性分析

为确保列车运行安全和提高运输效率,迫切需要装备性能先进、安全可靠的信号系统。给出一种利用马尔可夫模型分析信号系统安全性的方法,根据系统特性及系统各部分间的独立性,将系统各部分的失效率划分为几个独立不相关的分量,充分考虑到各部分失效率对系统安全性的影响,利用系统分解和模型压缩的方法解决状态空间的激增问题,并对铁路信号系统中使用的交叉冗余体系结构进行了安全性定量分析和仿真。     

基于双圆盾构的隧道施工智能咨询系统DT_DSS的设计与实现

随着城市地下工程的迅速发展及地下工程的环境越来越复杂,如何保证施工能按期、安全、顺利地进行,已经是一个急需解决的问题.针对新型的双圆盾构设备的特点,设计与实现的DT - DSS是一个基于双圆盾构并利用多种数据计算模型对现有施工数据进行分析从而指导后期施工的智能咨询系统.它可以充分利用已有的工程数据对后期施工中的地面沉降和设计轴线进行智能预测和控制,使得施工能安全顺利地进行.     

露天铣煤机及露天煤矿开采新工艺

所谓露天铣煤机,是利用铣刨原理对露天煤矿的煤层进行逐层铣削和自动装卸的专业采煤设备。通过对适应于不同铣刨介质刀具的更换,露天铣煤机也可用于露天金属矿和露天非金属矿的开采。1露天铣煤机的分类及市场开发情况露天铣煤机根据其铣刨系统设计不同可分为:中悬式、前置式与前悬臂式。其中中悬式(图1)是指铣     

铣刨机防干涉铣削理论及其应用

1 刀具的磨损形式 铣刨机刀具在施工中的磨损一般可分为散料磨损、偏磨和干涉磨损三种形式.散料磨损是指铣刨仓内的铣刨料粒,在铣刨鼓的高速旋转和集料叶片的推动下,对刀具的刀尖与刀体产生的均匀磨损,属正常磨损.     

基于HLA的CBTC仿真管理器研究与应用

仿真测试管理器是CBTC系统仿真平台的核心组成部分.针对CBTC系统仿真存在的可扩展性差、实时性差、协同困难等问题,提出了基于HLA(HighLevelArchitecture)的仿真管理器.仿真管理器通过注册机制对系统内各个部件进行管理,实现系统的自由扩展;通过HLA/RTI联邦运行支持环境实现平台中仿真节点建立连接,设计仿真管理器与组件间的通信,提高系统实时性;针对仿真平台内子系统协同性差,系统失步问题,仿真管理器采用协同控制策略来保证系统的同步,该仿真管理器已应用于国家“十二五”项目.     

工作流技术在HACCP体系管理系统中的应用研究

为了更有效推进危害分析关键控制点(HACCP)体系信息化,提出了构建基于工作流技术的HACCP体系信息化工具的方案.该方案针对HACCP体系信息化实施的需求情况,把工作流技术应用到HACCP体系的原理和方法之中,从工作过程、组织及资源3个方面来对HACCP体系进行建模.以HACCP计划执行为例,把关键控制点看作步骤,关键控制点中的监控、纠偏、验证及记录环节作为步骤中的动作,建立了相应的工作流模型.最后利用该模型进行了一个HACCP体系管理系统的研发.系统的运行结果表明,该信息化工具的方案正确有效.     

场景—事件驱动的安全苛求软件系统仿真测试脚本语言研究

脚本技术是实现软件测试自动化技术的有效方法。软件测试脚本化可以降低测试成本,提高测试效率。测试脚本语言是脚本技术的核心,但是目前没有专门针对安全苛求软件测试的脚本语言。因此结合安全苛求软件测试的特点,提出了场景—事件驱动的针对安全苛求软件仿真测试的通用测试脚本语言SED_SCS_STL, 对该语言的设计以及在测试环境中的实现机制进行了阐述,并将其应用于高速铁路CTCS-2级车站列控中心的软件仿真测试中。