作者：肖冰冰,张维勇,毕翔 单位：合肥工业大学 出版：《合肥工业大学学报(自然科学版)》2010年第05期 页数：5页  （PDF与DOC格式可能不同） PDF编号：PDFHEFE2010050100 DOC编号：DOCHEFE2010050109 下载格式：PDF + Word/doc 文字可复制、可编辑

    • 基于规则化描述方法已经在很多安全关键领域得到了应用，为了保证系统的安全性与可靠性，在系统投入使用之前必须进行验证。文章总结了目前采用的各种验证技术和工具，提出了一种能够检验文中给出的各种结构性错误的简单、高效、易于实现自动化的算法，并以皮带运输控制系统为实例进行了验证。

    📙 相关资料

    1. 《基于PLC技术的煤矿皮带运输系统控制改造》PDF+DOC 随着煤炭行业市场的不断低落，煤炭的开挖水平的不断延伸，煤炭输送变得更加艰难，对皮带输送机的运输功能提出更高的要求。为了解决皮带运输机打滑、撕裂、跑偏、堆煤等问题，提高皮带输送机运行的可靠性；同时为了加强皮带运输机的集中控制，减少操作岗位，降低人力成本。本文结合我公司五亩冲矿技改后的皮带运输系统，重点......
    2. 《智能化带式输送机自移机尾的研发》PDF+DOC 智能化带式输送机自移机尾在原有带式输送机自移机尾的基础上，通过结构创新引进PLC自动控制系统，将手动调整自移机尾移动与调偏，转化为控制系统对自移机尾运动过程实施全程监测，并将监测信号反馈给控制中心，由控制系统操作液压缸的活动来实现自移机尾自动前移、自动调偏的智能化过程。...
    3. 《自动化控制技术在煤矿井下皮带运输中的应用分析》PDF+DOC 在煤矿开采生产过程中，利用自动化控制技术能够有效提升生产作业效率，也能够降低人力资源成本，并保证生产作业的安全性。在煤矿开采规模不断扩大的情况下，自动化控制技术愈来愈受到关注，并得到了普及。基于此，本文对自动化控制技术在煤矿井下皮带运输中的应用进行了分析，并提出了相关观点，以供参考。...
    4. 《煤矿胶带输送机综合保护控制系统硬件设计研究》PDF+DOC 为了确保煤矿胶带输送机的安全运输，研究了煤矿胶带输送机综合保护控制系统硬件设计，分析了系统功能，主要由通信技术、单片机技术、测控技术和传感器技术组成，研究了硬件系统结构，主要分析了烟雾传感器、纵撕传感器、温度传感器、张紧传感器、堆煤传感器、跑偏传感器和速度传感器位置安装和选型设计。...
    5. 《基于直接冗余的轮控系统故障诊断及优化配置》PDF+DOC 闭环控制系统中的故障检测与诊断是目前卫星控制工程上急需解决的问题之一。由于故障传播等原因的影响 ，闭环系统中某一执行机构故障会对其它正常执行机构输出造成影响 ，因此很容易产生误判。轮控系统是卫星控制系统长期轨道运行模式中的主要执行部件 ，由于不断作机械运动 ，难免发生故障 ，若不及时处理 ，会给飞行......
    6. 《浅析伊梨永宁煤化主井及石门胶带输送机KTC101控制系统安装与使用》PDF+DOC 永宁煤化主井及石门胶带输送机KTC101通讯控制系统的配置情况、参数设置、安装及系统使用与维护。...
    7. 《带式输送机智能化保护控制系统》PDF+DOC 针对矿井带式输送机出现的打滑、断带、过载、联轴器断等现象，设计了一套带式输送机的监测智能系统，该系统在正常工作时能监测带式输送机运行的速度，输送带张紧力，烟雾，温度等多个参数，以及急停、跑偏、堆煤、撕带传感器的工作状态，并根据这些参数和状态判断带式输送机工作是否正常。...
    8. 《基于LM3S8962单片机的带式输送机控制的硬件设计》PDF+DOC 采用LM3S8962芯片作为带式输送机控制系统的CPU，该系统的应用可以减少体力劳动，在监控端对系统进行故障检测和控制。...
    9. 《智能型带式输送机保护研究》PDF+DOC 以带式输送机为研究对象，在分析带式输送机故障的特点及保护原理的基础上，对原有的监测控制系统进行了改造，实现了基于S7—200型PLC的智能型带式输送机保护控制系统。研究表明，用PLC技术实现带式输送机保护具有智能化及高可靠性优点。...
    10. 《安全传感器提升系统安全》PDF+DOC 集成安全系统，同其他控制系统一样，通常包含了传感器、逻辑单元和制动单元，同时亦集成了I/O端子，并通过网络和软件连接在一起。在传感器功能改进和价格降低的同时，冗余和故障安全系统的设计也降低了安全系统的风险。...

    提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。