排序方式: 共有59条查询结果,搜索用时 15 毫秒
41.
阐述了一种多波束测深数据处理算法——CUBE(Combined Uncertainty and Bathymetry Estimator)算法,用该算法可以对观测区域网格节点"真实"水深及相关误差进行估计。用CUBE算法处理多波束数据近两年已被国际上大多数多波束处理软件所采用,该算法的成熟应用将数据处理人员从繁重的多波束内业中解放出来,为多波束更加广泛的应用提供良好的基础。 相似文献
42.
43.
44.
45.
本文在分析四模冗余结构安全性指标的基础上,提出基于四模冗余结构简化三取二、四取二、五取三表决器的方法.在给定的开关失效率的条件下,通过计算这几种表决器每小时危险失效的平均频率(PFH)值,该方法在使三取二表决器开关数量减少2个的同时,将其PFH值降低为原来的2/3,在使四取二表决器开关数量减少4个的同时,将PFH值降低为原来的5/11,在使五取三表决器开关数量减少15个的同时,将PFH值降低为原来的5/11.结果证明,该方法能够在简化表决器的同时提高表决器的安全性指标. 相似文献
46.
列车运行控制系统设计正确性的验证方法 总被引:2,自引:2,他引:0
为验证系统开发阶段列车运行控制系统设计的正确性,提出了基于RAISE软件的系统建模、描述及验证方法.以CTCS-3级两列列车追踪运行为例,采用面向系统特性的域,建立了系统域模型,并在对域模型扩充和完善的基础上,用RSL语言描述了两列列车追踪运行情况.根据RSL语言描述的公理及RAISE自身的推理规则,验证了当两列列车追踪运行时, CTCS-3级列车运行控制系统设计的正确性. 相似文献
47.
形式化方法在列车运行控制系统中的应用 总被引:2,自引:0,他引:2
为了确保列车运行控制系统设计和开发的正确性,比较了仿真、测试和形式化3种能够验证系统设计正确性的方式。根据列车运行控制系统对安全的苛求性,提出了4个与系统安全相关的重要特性,即实时性、混成性、分布(并发)性、反应性,并分析了与这些特性相关的具体形式化方法。通过对每种形式化方法的数学基础和应用范围的分析和归类,给出了各种方法的优势和不足。分析结果表明:任何形式化方法的应用都具有一定的局限性,这是由模型检验和定理证明的本质所决定的;指出了新方法提出、既有方法拓展以及多方法集成将是列车运行控制系统的形式化领域的方向。 相似文献
48.
基于SPN的越区切换模型分析 总被引:3,自引:1,他引:2
CTCS-3列车运行控制系统是中国列车控制系统(CTCS)的重要组成部分之一,它采用GSM R实现地面一列车间连续、双向的安全信息的无线传输.对于GSM-R而言,移动台的越区切换必然引起通信连接的暂时中断.由于安全数据传输直接影响行车安全,为保证其传输的可靠性,必然要求更短的切换时间和更高的切换成功率.本文研究安全数据通信在越区切换时的传输可靠性,并对越区切换过程进行随机Petri网的建模和分析.给出列车速度与越区切换成功率的关系,以及列车在350km/h的速度下,越区切换时间与越区切换成功率之间的关系.最后,本文将分析结果与CTCS-3需求标准进行了比较,说明其可以满足要求. 相似文献
49.
50.
如果说公交车是一座城市流动的“名片”,那么公交车长则是一座城市的“文明使者”,无论寒冬酷暑、刮风下雨,他们始终不忘初心,用无私和敬业履行着城市“摆渡人”的职责,用真诚和服务温暖着广大乘客及整座城市,用行动和使命诠释一个窗口服务角色——公交人。公交的产品就是为市民提供优质的出行服务,服务是一个全方位系统性的整体工作,需要一套先进的、综合的、可操作性强的管理方式和理念。 相似文献