基于VxWorks的实时多任务程序设计机制分析

实时多任务程序设计是嵌入式系统软件设计的基础.随着嵌入式系统性能的提高和功能的复杂,实时多任务程序设计会越来越复杂.简要介绍VxWorks下实时多任务程序设计机制,通过一个利用实时多任务来实现的通讯模型,重点介绍VxWorks下实时多任务程序设计的关键技术.     

基于通信的列车控制系统中计算机联锁系统故障因素分析

针对CBTC(基于通信的列车控制)系统中计算机联锁系统故障诊断复杂的特点,基于解释结构模型(ISM),从硬件错误、通信错误、比较错误和系统状态错误4个方面进行影响系统运行故障的分析,得到21个故障因子。从系统工程的角度建立了故障影响传播模型,对故障因子做了矩阵化和层次化处理,并排序确定优先级。结果表明,计算机联锁系统故障因子体系是一个四级递阶的结构,划分了导致系统故障的直接原因、间接原因和深层次原因,为隐患重点防治及故障的快速排查提供了理论参考依据。     

基于VisualC++的面向对象结构分析及程序设计

面向对象程序设计技术克服了面向过程结构化程序设计的不足,为功能模块的集成化、可再用及程序扩充的灵活性提供了有利条件.基于Visual C++软件平台,运用面向对象技术采用有限元法进行结构分析,进行面向对象程序设计,达到面向对象程序的实现.通过实例计算,描述程序实现过程.     

结构化程序设计方法与面向对象的程序设计方法的比较

随着计算机的硬件及通讯技术的发展,计算环境发生了深刻的变化.计算环境的变迁和不断增长的软件需求对程序设计方法学提出了一个又一个的挑战,程序设计方法学也在挑战中前进.首先回顾软件工程程序设计方法的发展历史,指出结构化和面向对象是软件工程程序设计方法中的2个核心思想,分析、探讨了结构化程序设计方法与面向对象的方法的区别,并就如何在实践中正确应用给出了一些建议.     

面向对象的演绎数据库

面向对象技术和演绎数据库是数据库技术领域中正在显露头角的两门学科,分别体现了面向对象技术和逻辑程序设计的发展方向。目前,这两个研究领域各自都取得了很大的进展。面向对象数据库的实现主要基于过程性的语言如C、LISP或Smalltalk。而一个逻辑程序设计环境对于演绎数据库系统的开发是非常有用的。为了将来开发出智能数据库系统,我们需要将面向对象、演绎数据库和多媒体技术结合成一个统一的实体。 本文讨论了一个面向对象的演绎数据库系统模型。该系统作为Prolog程序开发环境的扩展,将以上两种技术结合到了同一平台上。     

面向对象的演绎数据库(续)

面向对象技术和演绎数据库是数据库技术领域中正在显露头角的两门学科。分别体现了面向对象技术和逻辑程序设计的发展方向。目前,这两个研究领域各自都取得了很大的进展。面向对象数据库的实现主要基于过程性的语言如C、LISP或Smalltalk。而一个逻辑程序设计环境对于演绎数据库系统的开发是非常有用的。为了将来开发出智能数据库系统,我们需要将面向对象、演绎数据库和多媒体技术结合成一个统一的实体。 本文是上一期的继续,讨论了一个面向对象的演绎数据库系统模型。该系统作为Prolog程序开发环境的扩展,将以上两种技术结合到了同一平台上。     

基于失效日志的CTCS-3级列控车载子系统需求错误所致的失效致因分析

CTCS-3级列控系统的复杂性使得某些需求错误难以发现,从而导致系统失效,需要结合失效事件的日志记录反向分析出需求的错误。本文采用基于模型检查的方法,首先利用时间自动机建立CTCS-3级列控车载子系统需求的模型,同时利用失效事件中的记录数据建立描述失效事件过程的事件模型,然后对系统模型和事件模型的组合模型使用UPPAAL工具进行模型检查,验证不通过给出的反例描述了失效事件中系统的行为,对此进行分析可以找到系统需求中的错误并据此对系统进行修改。本文以CTCS-3级列控系统中列车异常紧急制动的真实事件为例,分析了因为需求不充分而导致的系统失效致因,并对解决方案进行了验证。     

计算桥上无缝线路纵向附加力的后处理程序设计

根据桥上无缝线路梁轨相互作用原理,采用LM算法建立纵向力计算模型,运用面向对象的C++语言,在Visual C++编程平台上进行桥上无缝线路附加力计算的后处理程序设计,给出结果图形和数据的显示及输出等.     

纵向分段式全并联AT牵引供电系统建模与仿真

在分析纵向分段式全并联AT所主接线办案的基础上,针对纵向分段式全并联AT牵引供电系统的结构特点,在MATLAB／Simulink软件平台下,采用模块化设计的方法,建立了牵引变电所模型、牵引网模型、AT所模型和分区所模型,在该基础上搭建了纵向分段式全并联AT牵引供电系统仿真模型,得出了短路故障时牵引变电所、AT所和分区所的阻抗特性。     

南京地铁1号线客流OD矩阵推算与特性分析

以南京地铁1号线为例,充分利用地铁站客流进出数据,运用系统平衡模型与弗雷特法迭代推算得到客流OD矩阵.在系统平衡模型的求解计算过程中,运用数学软件对系数进行求解,提高了系统平衡模型的可操作性.程序设计中引入了相关控制变量,控制OD矩阵的推算精度,提高了算法运算效率.应用统计分析工具对所得数据进行分析,从而得到地铁客流量...     

基于QT的6A系统软件可靠性研究与检测设备开发

通过对机车车载安全防护系统(6A系统)车载软件可靠性需求的分析,构建了6A系统软件可靠性架构。结合QT图形用户界面IDE实现了ARM嵌入式检测设备的开发,从而实现了6A系统软件检测的人机交互,为6A系统软件可靠性提高与维护提供了便携式检测平台。     

新型单元板式无砟轨道布板软件的设计与实现

随着我国高速铁路无砟轨道技术的深入研究、不断实践和理论体系的逐渐完善,目前已开始形成真正意义上的具有我国自主知识产权的新型无砟轨道结构,布板设计是新型单元板式无砟轨道制造和施工的基础。本文就如何利用VC++程序语言编写新型单元板式无砟轨道布板软件进行了详细的介绍,系统阐述了该软件的布板技术、主要模块和主要功能,相关研究成果对铺设新型单元板式无砟轨道具有重要意义。     

数字地图和规划软件在GSM-R网络规划及优化中的应用

本文对数字地图和规划软件做了简要介绍,并针对中国铁路无线通信系统建设的特点,阐述了数字地图和规划软件在 GSM-R 网络规划及优化中的应用。     

21世纪的软件工程教育

作者概述了软件工程发展中存在的一些现象,指出软件工程教育仍没有达到它应该达到的状态.为了改进新千年的软件工程教育,作者提出了一些观点:未来的软件工程师,应认识到软件的发展需要加强管理和改进的手段.下一代的教师应充分了解所教课程的有关理论,把所使用的方法、符号的语法和完整的语义都教给学生.在教学中应教理论和标准,不仅要教程序语言,而且要教怎样编程序.     

铁路软件可靠性增长模型应用研究

分析G-O、Delayed S-shaped、Ohba-Chou及P-N-Z等4个软件可靠性增长模型的特点及适用场景,研究软件失效数据集的可靠性增长趋势分析方法和评价指标,提出一种可靠性增长模型参数计算的优化算法,在理论研究的基础上设计并实现了一款软件可靠性增长模型分析工具(SRGM Tool)。以铁路联锁软件记录的失效数据集为例,研究铁路软件可靠性增长模型应用方法,借助SRGM Tool,运用4种模型对铁路联锁软件进行可靠性评估,根据实验结果,分析并确定了一种适合该软件的可靠性增长模型,验证了方法的有效性,可为铁路软件可靠性分析和故障预测提供参考。     

轮轨外形数据表达方法研究及其数据格式转换

研究了目前常用的轨道交通轮轨外形数据表达方法,并提出相应规定。分析了dxf文件的图形数据储存规律,并提出了解析几何表达的轮轨外形和离散点表达的轮轨外形不同格式数据之间相互转换的方法。通过MATLAB编程,开发了相应转换软件,实现了不失真的轮轨外形数据不同表达方法和不同格式间的转换。     

缺陷分析在软件系统测试中的应用

软件系统测试是在实际运行环境下对计算机系统进行一系列的严格有效的测试来发现软件的潜在缺陷;可以根据缺陷状态来判断测试进展情况,开发人员的编程质量,修正缺陷的进度。通过缺陷的分析,可以完成软件产品质量的评估,确定测试是否达到结束的标准,判定测试是否已满足规定的需求。     

CMD系统地面综合应用软件验证浅析

软件验证是提升软件产品可靠性、使软件满足用户需求的重要方法.按照CMD系统地而综合应用软件的高可靠性要求,阐述了软件验证执行过程与软件验证用例设计方法的两方面内容,回答了如何保证软件验证工作质量的问题.     

微机控制制动软管风水压试验机的研制

采用触摸平板计算机作为用户界面,PLC作为控制单元,利用Indusoft Web Studio 6.1工业组态软件进行编程,实现软管风水压试验机的自动控制与压力曲线实时显示功能。     

无线场强测试系统的软件结构设计与实现

无线场强测试系统的软件结构设计,是各种测试功能是否实现的关键,通过合理的软件设计,将无线通信技术、计算机技术、GPS卫星定位技术、传感器技术、USB总线通信技术和信号分析等技术实现综合运用,并将计算机软硬件技术、数据采集存储技术、单片机编程技术,有机地融合于一体.