• 查询稿件
  • 获取最新论文
  • 知晓行业信息
官方微信 欢迎关注

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

2002年  第11卷  第10期

显示方式:
一种安全关键软件系统的形式化开发模型
王海峰, 张仲义
2002, 11(10): 10-12.
摘要:
形式化方法的主要研究对象是计算机系统的设计和验证.近年来,形式化方法的研究扩展到计算机应用系统的各个领域,尤其是安全关键系统.论述了形式化方法对安全关键软件系统的作用,提出了一种安全关键软件系统的形式化开发模型(Safety Critical Software Model-SCSM),给出了模型的应用实例.
计算机客货流图处理系统的研究
周全学, 刘伟
2002, 11(10): 13-15.
摘要:
客货流图是铁路运输、计划和客运等核心部门使用的重要的实际资料.阐述了计算机客货流图处理系统的设计.
基于MCS-51的64路数字交叉连接设备的实现
吴凤云, 韩臻
2002, 11(10): 16-18.
摘要:
阐述了MSE064数字交叉连接设备的实现原理、方法,着重介绍了硬件设计过程,给出了软件总体流程.本系统广泛应用于电信、移动通讯行业,具体应用于数字接入网、数据交换业务.
可靠组播传送的一种新方法--丢失校正
李雪明, 罗衡
2002, 11(10): 18-21.
摘要:
在可扩展可靠组播传送机制(SRM,Scalable Reliable Multicast)的基础上,针对其传输中返回每个丢失帧的重传确认帧易产生信息风暴的问题,提出了一种新的丢失补偿的方法,即采用一种著名的EC方法(n,k)来解决丢失矫正的可靠组播传送机制(Erasure-Correction SRM),可以有效地减少状态或信息风暴.
计算机联锁系统在地铁(轻轨)车辆段的应用
窦伟
2002, 11(10): 21-23.
摘要:
提出并分析了计算机联锁系统在地铁(轻轨)车辆段应用中面临的主要问题.如保护进路、试车线控制、股道存车等,给出解决方法.
计算机在住房公积金管理系统中的应用
赵月英, 张艳敏, 王亚兰
2002, 11(10): 24-25.
摘要:
介绍了本单位住房公积金管理系统的应用,并论述了系统的功能、特点及应用效果.
货票信息综合应用系统技术
货票课题组
2002, 11(10): 26-29.
摘要:
介绍了货票信息综合应用系统试点应用范围、目标,要解决的问题,并介绍了分局收入审核系统和路局精密统计系统的主要技术.
技术计划空车调整的数学模型
刘洪涛
2002, 11(10): 29-31.
摘要:
把经济数学和运筹学中的数学方法应用于铁路运输生产技术计划的编制当中,抽象出空车调整的数学模型,并对该模型的理论和实现作了详细的介绍.目前,该方法已经全面应用于铁道部和14个铁路局的技术计划编制工作当中并收到良好的效果.
铁路信号电源监控系统的研究和应用
刘华伶, 范瑜, 李滨, 刘成光, 刘旭
2002, 11(10): 32-34.
摘要:
介绍了一个适合于铁路信号电源的监控系统.该系统可以实现数据采集、数据处理以及数据通信,还可以对设备故障进行监视、报警和记录故障波形.同时,着重讨论了信号电源监控系统的核心元件SPM60的结构和功能.
数据链路协议改进方案及应用与实现
郭玉华, 黄泽华
2002, 11(10): 35-37.
摘要:
讨论了计算机网络的设计与性能分析方法及其在DMIS分局网络的设计与性能评价中的应用.提出了数据链路协议改进方案,减少数据帧处理的平均间隔时间,增大吞吐量,通过对改进方案与原方案进行分析比较,证明了其优越性.
ASP在机关办公自动化网的建设中的应用
王君
2002, 11(10): 37-38.
摘要:
阐述了如何利用ASP进行特殊格式文件的录入传输.