人—机系统可靠性计算方法的探讨

在分析人－机系统可靠性传统计算的方法的基础上，依据可靠性框图与失效树之间的等价关系，指出传统计算模式使用的局限性，并提出人－机系统有效和合理的分析方法是应用失效树分析。     

铁路自动售票监控系统研究与实现

以监控铁路自动售票系统运行状态,提供可靠的预警报警机制,提高系统平均无故障运行时间为目标,提出铁路自动售票监控系统的实现方案、系统结构和系统功能。系统分车站、铁路局、铁道部三级部署,分为数据采集、数据分析和预处理、监控管理3个子系统。数据采集完成对服务器、数据库、服务器进程、售票终端进程、网络状态等关键资源和环境数据的收集;数据分析和预处理完成数据的解析和规范化,并设计故障预处理流程;监控管理实现状态监视、系统控制、统计分析和系统管理。     

一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用

随着中国铁路列车运行控制系统的发展,对列控系统的研究越来越受到学术界的关注。本文提出一种基于模型的形式化测试案例和测试序列生成方法,并应用于ETCS-2级系统的测试中。首先提出有色Petri网(CPN)的建模规则,保证CPN模型适应测试生成的要求;然后,提出一种自动化的测试生成方法,包括测试案例自动生成算法和测试序列搜索算法。为提高整个测试过程的自动化程度,实现测试生成与测试执行的无缝结合,整个测试生成方法的输出是XML格式文件集。最后,以ETCS-2系统的车载子系统为例,运用CPN Tools工具完成建模,实现相应的算法,实现测试生成过程。结果表明,本文提出的基于CPN的测试方法能够在很大程度上提高测试过程的自动化程度,并且生成的测试案例集能够覆盖CPN模型反映的所有ETCS-2系统需求规范信息。     

基于有向图的列车自动监控系统站场图设计与实现

列车的自动监控与调度需要提供完整的轨道交通线路信息.以拓扑层网络、电气层网络、运营层网络等三层线网为数据模型,利用XML结构化站场信息,并作为静态数据输入;以有向图为基本数学模型,采用分层结构,将轨道线路信息映射成站场图.设计的站场图可用于列车自动监控系统中线路静态和动态信息的查询.     

基于CATIA的宏程序自动生成车门限位器臂杆轨迹的设计

本文通过对车门限位器臂杆轨迹的常规设计方法的探究总结,将其编写成CATIA软件可读的宏程序。程序中只要在CATIA软件中点选设计限位器臂杆时所需要的四个基础元素,并将元素转化为程序可读参数,代入程序进行运算。根据限位器臂杆轨迹的设计方法,将需要进行重复的设计步骤,利用其设计方法中的重复性,使人为可以设定最大开启度和间隙角度等参数,让程序根据所输入的参数进行重复的运算,最后自动绘制生成限位器臂杆轨迹。使车门限位器的开发周期得以缩短;开发方法得以简化;布置调整得以轻松;设计结果得以准确。     

装备IETM信息集生成过程研究

交互式电子技术手册(IETM)作为信息化保障的重要手段,将会成为装备保障的重要力量,其研制流程关系到手册研制的效率与效益,影响装备保障的效果.论文结合欧标S1000D,分析IETM的研制流程,提出了信息集生成的过程,最后结合实例,生成相关的信息集和数据管理需求列表(DMRL),验证了信息集生成过程的有效性,能够促进IETM研制的效率与效益.     

一种针对LDAP客户端与服务器通信的改进方案

论文提出了一种改进基于目录访问协议(LDAP)的客户端与服务器的交互方法的方案。客户端异步地向服务端发送若干操作请求;服务端处理多个操作请求后,向客户端发送各个操作请求对应的结果;客户端反复检测缓存,获取服务端发来的操作结果等信息。论文解决了检测接口因为频繁被调用,严重影响性能的问题,提高客户端的并发性能。     

LYVE-1表达对舌癌淋巴结转移影响的研究

目的 探讨淋巴管生成因子在舌癌中的变化规律以及与转移的相关性,为此类疾病的预防、治疗和判断预后提供理论依据.方法 选择舌癌病理石蜡切片 36例,对其中18例淋巴活检(LNB)阳性患者和18例淋巴活检阴性患者的肿瘤厚度和溃疡进行淋巴管内皮透明质烷受体-1(LYVE-1)和S100双重免疫染色,检测瘤内、瘤周和瘤间LYVE-1的表达,并进行淋巴管计数及比较.结果 所有病例中均检测到淋巴管存在,肿瘤内管腔为活跃的淋巴管生成;外部主要是管壁清晰的成熟管腔.含有肿瘤细胞的淋巴系统以发育完成的管腔形式存在于肿瘤外部,淋巴活检阳性和阴性患者在淋巴计数方面无显著统计学差异.溃疡性舌癌瘤周淋巴计数较非溃疡性高,但不随厚度变化.结论 舌癌组织中肿瘤淋巴管生成与肿瘤浸润、淋巴结转移有关,LYVE-1染色能较为可靠的显示淋巴管的分布.     

船舶废气排放控制技术的探讨

从IMO对船舶废气排放规定出发,在总结排出物SOX、NOX的生成机理和影响因素的基础上,介绍了当前降低SOX、NOX排放污染物的技术措施,并讨论和分析了各种措施的可行性、优点、适用范围,从而提出了综合应用各种控制技术来满足降低SOX,NOX排放的要求。     

波浪水池中畸形波生成的研究综述

畸形波具有异常大的波高,容易对海洋结构物造成巨大破坏。世界各大海域均有畸形波发生及其引起的海难记录,其生成机理正引起人们越来越多的关注。在实测畸形波时历的基础上,有必要在实验室中实现畸形波的生成,从而揭示畸形波的生成机理及其对海洋结构物的作用机理。目前,国内外许多学者根据畸形波所产生的海洋环境条件提出了多种多样的畸形波成因假说,并相应地形成了多种畸形波生成模型。色散聚集方法通过控制成分波相位使波浪能量定时定点聚集,简单高效,仍为大多数的畸形波生成研究的首选。在此基础上,部分学者提出或应用了迭代方法对畸形波模拟结果进行优化,以修正非线性波波作用引起的相位、幅值偏离。另一方面,薛定谔方程呼吸子解作为畸形波的一个原型,也在畸形波的生成模拟中得到成功应用。该文针对上述畸形波在数值波浪水池或物理水池中的模拟方法作了综述,可为进一步开展畸形波的机理研究及其对海洋结构物作用机理研究提供基础。