碳纤维电地暖的智能温控及蓄能系统

碳纤维电地暖相较于其他地暖,在能源的消耗、对环境造成的压力和经济效益等方面具备明显的优势。为了在供暖过程中实现更加节能高效的目标,并同时满足各住户对不同舒适度的要求,我们将模糊PID控制器作为核心,构建智能温度控制及蓄能系统。我们将一个电能表单独与碳纤维电地暖串联,并在发热电缆周围放置精确的温度测量装置和信号转换器,供暖所消耗的电能和发热电缆的实时温度分别由电能表和温度测量装置测定,同时转换为电信号,并经过模糊PID控制器处理,用来动态合理的分配发热电缆的电能,实现在电能的使用上达到“移峰填谷”、节能减排的目的。     

区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.     

气压仪器检定装置的升级改造

文章针对气压检定装置在使用中存在的一些问题,会同厂家对其进行了升级改造。介绍了改造后的气压检定装置的设计原理、软件和硬件设计以及技术指标等,新装置集成了目前先进的计量设备及技术,编写相应的程序软件升级改造而成。可广泛适用于气象部门空盒气压表、自动站气压传感器以及部分数字压力计的计量检定工作,实现气压检定工作的自动化,提高检定数据的准确性和可靠性,并有效提高检定的工作效率。     

矿井通风机倒机过程自适应PID抗饱和控制器设计

针对矿井通风机倒机过程中存在的执行器饱和问题,将变结构PID抗饱和控制与非线性自适应控制相结合,设计了自适应PID抗饱和控制器。基于带死区的投影算法建立矿井通风机倒机过程线性和非线性模型;针对这2个模型,分别设计一个变结构PID抗饱和控制器;计算线性和非线性自适应PID抗饱和控制器在不同状态下的运行评价指标,选择评价指标值较小的控制器用于该状态下的矿井通风机倒机过程控制。仿真结果表明,自适应PID抗饱和控制器能够保证井下传输风量的平稳,很好地解决了执行器饱和问题。     

基于VPN技术的带式输送机控制系统

从设备实际生产角度出发,根据设备使用方对设备远程维护的需求,利用现有的网络技术,设计一种基于VPN技术的带式输送机PLC远程通信系统,通过VPN网络技术将数据传输到设置在公司总部的远程工程师站、公司总部的远程工程师站,通过软件可进行远程诊断程序、修改程序、售后维保等服务,即可节省设备供应商的人力和差旅费等成本,也可降低因设备停机造成的成本损失。     

基于PLC的注塑机机器人控制系统设计

为了提高注塑机的生产效率,降低企业生产成本,提升企业自动化、智能化生产水平,提高企业竞争力,设计了一款基于可编程控制器(PLC)的多轴注塑机机器人控制系统。介绍了控制系统的基本结构及工作流程,分析了机器人控制系统的功能要求。设计了以TK6050ip型触摸屏为上位机,S7-200型PLC为核心的控制系统,并详细介绍了控制系统硬件设计和软件设计。因采用PLC作为控制器核心,使该控制系统具有稳定性高、可编程性强、可移植性等特点,实现了注塑机注塑生产的智能化、自动化。