SoC自动化验证方法的研究与实现

为解决SoC（System-on-Chip）验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统（LSAVS：LiShan Automatic Verification System）。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。     

一种应用于隔爆试验装置中的新型自动配气系统

针对应用于隔爆试验装置中的传统配气方法存在配气速度慢、系统体积较大的问题,设计了一种基于质量流量法的自动配气系统。该系统采用质量流量控制器精确控制多种不同气体的流量,输出的多种气体经混合装置均匀混合后,由O2分析仪和H2分析仪实时监测混合气体的体积分数。测试结果表明,该配气系统配气速度快、结构简单,配制的多种气体体积分数精度能满足GB 3836.2—2010的要求。     

自动化综采工作面概念探讨

介绍了国内自动化综采工作面的技术现状,并将综采工作面的设备分为生产设备、辅助设备、测控系统;针对目前业内工作面名称混乱的情况,认为"自动化综采工作面"的命名比较恰当;提出了自动化综采工作面技术可划分为综采工作面局部自动化、综采工作面半自动化、综采工作面全自动化、综采工作面智能自动化4个等级并给出了具体特征;介绍了自动化综采工作面的发展途径,指出把自动化综采工作面看成是一台可以自动行走、自动割煤、自动支护、自动装煤、自动运煤的大型机器更符合实用要求。     

ZYBG型矿用瓦斯输送管道自动抑爆装置研制

为了保障瓦斯输送管道的安全性,采用主动抑爆技术研制了ZYBG型矿用瓦斯输送管道自动抑爆装置。该装置利用火焰探测器探测瓦斯爆炸信号,并将信号通过光电转换传输给控制器,控制器对信号进行判定和分析,在爆炸接近防护区间的瞬间快速打开高压抑爆器,释放抑爆介质,熄灭火焰,阻断爆炸的进一步传播。抑爆性能试验结果表明,该抑爆装置能够在5ms内快速捕捉火焰信息,并在35ms内迅速喷洒抑爆介质。     

基于HLA的分布式仿真框架自动生成技术

针对基于HLA仿真应用系统开发中存在的计算模型程序与RTI服务程序的耦合问题,研究了基于共享内存和中断回调技术的解耦方法,进一步采用HLA仿真适配器对RTI服务程序进行封装,从而实现了计算模型程序与RTI底层服务程序的有效隔离。为提高仿真应用程序开发效率,分析了联邦成员中RTI服务程序功能需求,研究实现了仿真适配器自动生成软件。该软件可快速生成基于HLA的联邦成员适配器代码和执行程序,从而构建仿真应用系统分布式仿真框架。     

基于软分区的地区电网自动电压控制系统

介绍贵港地区电网基于软分区的三级自动电压控制（AVC）系统,并对该系统的三级控制原理及区域变电站的控制规则进行说明。     

基于高炉TRT系统控制技术的研究与改进

介绍高炉TRT控制系统的改进,以达到节能、降噪、环保的目的.     

工业液压系统节能控制优化

介绍国内某钢铁厂生产线液压控制系统的节能控制优化工作.     

莱钢2#竖炉自控系统的应 用

针对莱钢2#竖炉存在的问题,对其自控系统进行升级改造,以确保系统稳定运行,提高生产效率。     

300棒材生产线精整区自动控制系统改造

针对300棒材机组半连轧生产线精整设备落后的问题,介绍其自动控制系统的改造方案。