切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
计算机联锁ATS误操作搜索算法设计
计算机联锁ATS误操作搜索算法设计
来源 :微计算机信息 | 被引量 : 0次 | 上传用户:ORKGJBNLRBKJGWIJG
【摘 要】
:
计算机联锁自动测试系统用模块化的计算机程序代替大部分传统手工测试项目,大大提高了测试效率,降低了测试出错机率。其中对可能的误操作的测试是对联锁系统的安全性有着关键性
【作 者】
:
张函
于拓华
金德鹏
【机 构】
:
清华大学电子工程系
【出 处】
:
微计算机信息
【发表日期】
:
2007年28期
【关键词】
:
计算机联锁
自动测试
算法
时间复杂度
computer interlocking system
ATS
algorithm
time complexit
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
计算机联锁自动测试系统用模块化的计算机程序代替大部分传统手工测试项目,大大提高了测试效率,降低了测试出错机率。其中对可能的误操作的测试是对联锁系统的安全性有着关键性影响的重要部分。本文提出了误操作指令的搜索算法,实现了用较低的时间复杂度搜索得到所有可能的误操作指令,以逐一对其进行测试。
其他文献
PLC在医疗机器人控制系统中的应用
将PLC应用于医疗机器人的控制系统。介绍了PLC的选型,并根据工作要求给出了相应的硬件和软件设计,软件设计中着重介绍了直线步进电机升降控制和点动控制程序。现场实验表明,该机
期刊
可编程序控制器
医疗机器人
控制系统
梯形图
直线步进电机
PLC
medical robot
control system
ladder diagram
基于SNAP的协商过程支持协议设计与实现
资源共享是解决资源短缺、提高整体生产力的有效方法。基于服务水平合同(Service Level Agreement,SLA)的资源买卖属于以市场经济为基础的资源共享环境。由于目前基于SLA的网上
期刊
服务水平合同
服务协商与购置协议
协商过程支持
资源共享
Service Level Agreement
Service Negotiation and Ac
嵌入式实时系统的快速开发框架研究
嵌入式实时开发是当今计算机应用研究的热点,该文结合模型驱动架构的系统无关模型和系统相关模型思想,提出了一种基于平台设计的快速开发嵌入式实时系统的方法:首先采用实时应用
期刊
嵌入式实时系统
实时应用接口
基于平台设计
倒立摆
Embedded Real-Time System
Real-Time Application Inter
全自动锡膏印刷机运动控制系统的研究
以全自动锡膏印刷机为研究对象.提出了基于PLC的印刷机运动控制系统的硬件体系结构,完成了运动控制系统的软件设计,将状态机思想引入于PLC程序的编写中,不仅简化了编程,而且有效保
期刊
锡膏印刷机
运动控制
PLC
状态机
screen printer
motion control
PLC
FSM
基于FA-SVR的丙酮精制产品质量软测量模型
针对某丙酮精制过程,提出采用FA与SVR相结合的方法建立丙酮产品质量的软测量模型。采用因子分析(FA)方法提取辅助变量的特征信息,并消除各变量之间的相关性,然后利用支持向量回归(SVR)建立丙酮产品质量指标的软测量模型。在实际生产过程数据上进行了仿真实验,并与传统的稳健回归分析及神经网络等方法进行了比较,结果表明本方法具有良好的预测效果。
期刊
软测量
支持向量回归
因子分析
丙酮精制
Soft sensor
Support vector regression (SVR)
Factor Analysis
基于嵌入式Linux系统的LCD驱动实现
本文首先介绍Linux系统设备驱动的特点,然后以S3C2410平台为硬件开发环境,实现了Linux2.6.14系统下LCD显示设备的驱动,其中包括如何将LCD驱动程序添加到Linux内核配置系统中
期刊
嵌入式LINUX
S3C2410平台
帧缓存
设备驱动
Embedded Linux
S3C2410 platform
Framebuffer
Devic
基于Modbus协议的电火花控制系统
提出了一套基于Modbus协议的总线控制系统,分析了Modbus协议的特点,介绍了Modbus协议的内容及通信过程,给出了系统的软件实现方法,包括系统流程图及部分校验代码.
期刊
MODBUS
现场总线
电火花
RTU
Modbus
Fieldbus
EDM
RTU
基于DSP的RS码快速编译码算法的实现
平台光纤传输模块通过光纤完成惯导平台系统中的数据传输,其中一些关键数据如平台控制参数等直接影响到平台系统的状态,为了确保平台系统可以安全可靠地工作,必须对控制参数进行纠错,保证其准确性。由于RS码具有强大的纠突发错误和随机错误的能力,被广泛应用于各种差错控制场合。文章设计了基于DSP的RS(15,11)码的快速实现,完成对惯导平台系统中光纤传输的平台控制参数等关键数据的纠错。
期刊
DSP
RS码
平台光纤传输
快速实现
RS Codes
DSP
Optical Fiber Transmission
Fast Implementati
InTouch在锅炉灰渣控制系统中的应用
针对锅炉传统水力除渣方式的诸多不足之处,依据正-负压气力联合除渣方式的特点,提出了应用InTouch软件设计锅炉灰渣处理PLC控制系统的方法,即运用InTouch设计监控系统去监控现场
期刊
INTOUCH
人机界面
PLC
锅炉灰渣
InTouch
MMI(Man Machine Interface)
PLC
ash from boiler
基于DM642平台的PPP协议的实现及应用
本文以TMS320DM642硬件系统为平台,以实现在联通CDMA网络中实时传输H.264视频流为目的,详细讲述了PPP协议的结构及其链路协商的全过程,为在无线网络中利用PPP协议传输数据提
期刊
PPP
CDMA
H.264
LCP
NCP
PPP
CDMA
H.264
LCP
NCP
与本文相关的学术论文