数据融合系统的模型化和形式化研究

从数学角度对数据融合进行研究,给出了一个数据融合的数学模型。考察这种数据融合模型的意义,并把其应用于形式化研究中,得出一种形式化数据融合问题求解描述的简单方法。     

上海世博观展客流出行链分析

一、世博出行链基本概念世博出行是以世博会会场为目的地,并具有多方式衔接特征的大型会展出行过程。其出行特点有：①起点(包括境内外与市内)的地域范围大,而出行的终点都是世博园区;②出行过程长、换乘次数多。因此,采用传统的“出行”概念已难以描述人们的世博交通行为。在此背景下,提出采用出行链分析的思路。     

海战仿真中水面舰艇CGF的行为建模方法

首先分析了CGF(Computer Generated Forces)行为的特点,提出了行为基和行为逻辑的概念,建立了水面舰艇CGF抽象的行为模型;然后将战术规则和变迁相联系,利用基于前置谓词Petri网的行为表示方法对水面舰艇CGF进行了行为表示;最后在行为表示的理论基础上,在STAGE仿真环境下利用脚本语言对水面舰艇CGF进行行为描述。仿真实例的结果表明,文章探讨的行为建模方法产生了逼真的海战行为。     

车地协同下的联锁子系统HCPN建模与验证

联锁子系统作为站内行车安全的关键保障,是车地协同下的列车运行控制系统的重要组成部分。传统联锁子系统存在地面集中控制失效风险大、列车自主化程度低等不足,为顺应精简系统结构、降低运营成本和提升列车自主化的列控技术发展趋势,设计一种车地协同下的联锁子系统用于城际铁路。考虑多车间的进路冲突是影响子系统功能实现的关键因素,提出进路预延伸策略以避免列车间的进路冲突。为确保联锁子系统功能安全,采用一种基于层次着色Petri网(HCPN)的系统功能建模与验证方法。通过对联锁子系统的主要功能实现过程—进路建立过程进行分析,提取子系统的功能需求,以此建立顶层需求模型。为缩小底层实现与顶层需求之间的差距,建立基于数据及行为低抽象度表达的模块层模型,并在其中引入死锁控制策略实现对系统功能逻辑的完整表达。以冲突进路建立场景为模型的输入参数,执行验证过程,通过对模型标准状态空间性能分析,实现对模型正确性的检验。在此基础上,采用分支时序逻辑ASK-CTL公式与状态空间搜索算法相结合的验证方法,完成对子系统功能安全性的检验。研究结果表明：模型的行为特性同子系统预期相一致,能够正确表达系统的行为。所设计子系统满足功能安...     

2009款宝马740Li燃油低压传感器故障

<正>车型:F02。行驶里程:150000km。故障现象:用户反映车辆行驶有时发动机故障灯突然点亮报警;有时车辆在等红灯时突然熄火,多次启动车辆才能够着车。故障诊断:车辆来店时故障现象并没有出现,连接ISID进行诊断检测,读取故障内容为"11A204燃油低压,工作范围:压力过低"。调用控制模块功能,显示燃油低压的压力为5kP a,在正常范围之内。查看故障码的细节描述如表所示。燃油低压传感器用螺栓连接在电动燃油和高压泵之间的燃油供油管中,利用燃油低压传感器测量供给管路中的     

道岔工电结合部问题的差异化描述和技术标准分析

道岔是铁路工务、电务专业联系最频繁、结合最紧密的重要基础设备.道岔工电结合部是道岔设备问题和故障多发的薄弱环节,是工务、电务专业联合整治的重点.但由于工务、电务现场人员对结合部问题的理解和描述存在差异,有关专业技术标准也不完全一致,影响了双方的沟通甚至造成分歧.本文遵循现行技术规章,以普速铁路道岔设备为示例,从工务、电务2个专业分别对结合部问题展开描述,并进行技术标准分析,以求达成一致或找到最大公约数,同时给出整治建议.     

接触网零部件状态描述标准词典研究

对开展接触网零部件状态描述标准词典研究的意义与价值进行了分析,提出以相关标准的规定确定状态描述标准词典中接触网零部件名称,并以层级关系分级描述,以传统应用经验与视频图像智能识别技术相结合的方式规范零部件状态描述名称和分类方式;通过建立编码规则为接触网零部件名称、状态描述名称、各层级分类分别设置数字代码;初步形成了接触网零部件状态描述标准词典,为建立接触网检测视频图像类大数据库创造了条件.     

我国港口功能现状及拓展方向

对于大型国际性港口,港口功能已不仅仅停留在综合运输物流枢纽节点上,更应成为区域经济的有力支撑和增长引擎关于港口的定义在很多法规、典籍中都有规范表述,这些传统上的港口概念更多将港口作为静态的有限的空间来认识,对其功能描述仅在于将港口这一空间区别于其它空间。港口应是一个动态的服务概念,其位置、空间、服务功能、服务范围都是应一系列要求的变化而变化的。港口这组变化的服务要主动满足既有用户对服务最优性价比的经济要求;投资人最优投入产出比的财务要求,     

天津港沿海船舶机舱设备安全管理初探

文章对航行于天津港船舶主要机电设备进行了详细介绍,并对经常出现的机电设备故障问题进行总结,提出了船舶安全检查的内容及处理结果。     

E-LOTOS的图形化编译软件的扩充和完善

在赵玉兰的编译软件的基础上完成了对相同节点的合并；实现了对递归的处理；用两种方法实现了loop循环语句以及实现了多层次调用子程序的功能．此外，还对原编译软件的图形移动和图形扩展功能进行了完善．最后将由E-LOTOS描述后的部分RIP协议用该软件转化为GE-LOTOS．