突出煤层掘进工作面综合防突措施研究

为了防止突出煤层巷道掘进期间发生煤与瓦斯突出事故,保证巷道掘进安全,山西新元煤炭有限责任公司通风部防突队通过技术研究,对3#煤层一水平四采区3412进风巷掘进期间,采取"瓦斯预抽+超前卸压+钻孔注水+松动爆破"等联合方法进行综合防突,并对其应用效果进行检验,实践证明取得了显著成效。     

FPSFI:一种基于LLVM架构的驱动错误隔离机制

内核安全维系着应用程序的正常运行,而内核错误却仍被周期性地发现,且多数错误是由模块加载机制将存在问题的设备驱动引入内核所致.基于UVM编译器基础架构,提出FPSFI驱动错误运行时隔离机制,使驱动错误隔离机制分解为涉敏函数注册、驱动错误定位与检测函数的插装等三个模块,有效地阻止了由内核API完整性缺失所导致的权限非法提升以及内存空间被多次释放等常见驱动错误.相比于之前的方法,FPSFI将错误分析与定位实现在编译器后端,减少了人工添加检测代码的工作量,而检测函数的单独实现与编译,使得隔离机制对内核接口的依赖程度有所降低.基于Linux平台的测试结果表明,FPSFI能够有效阻止两类典型的驱动错误;FPSFI对后端编译器改动所造成的时间开销比为18.7％;对网络模块的压力测试结果显示,FPSFI不会显著影响CPU利用率以及TCP吞吐量,UDP吞吐量下降17％.     

结合用户约束文件的高效多FPGA系统分割方法

针对单个现场可编程门阵列(Field Programmable Gate Array,FPGA)可配置逻辑模块(ConfigurableLogic Block,CLB)和输入/输出(I/O)数目受限难以满足大规模复杂电路系统设计需要的问题,提出了一种结合用户约束文件(User Constraint File,UCF)和单个FPGA的EDA(Electronic Design Automation)设计流程,通过部分人为干涉,对多FPGA(multi-FPGA)系统进行分割的方法.应用这种分割方法,可以提高multi-FPGA系统的划分效率,简化设计的复杂度.结果表明:基于这种分割方法的分割工具,结合multi-FPGA系统的硬件结构,可实现一个最多为9芯片multi-FPGA系统的设计和配置.     

基于哈希表的高效存储器内建自修复方法

 现有存储器内建自修复方法要么遍历式地址比较效率低,要么并行地址比较功耗高,都不适用于大故障数存储器.对此,本文提出一种高效的存储器内建自修复方法,该方法对占故障主体的单元故障地址以哈希表形式进行存储,以利用哈希表的快速搜索特性提升地址比较效率.本文方法修复后的存储器在1个时钟周期内即可完成地址比较,修复后存储器性能不受任何影响,与目前广泛采用的基于CAM的方法处于同一水平,但功耗方面却具有明显优势.计算机模拟实验表明,对于512×512×8bits的存储器在同等冗余开销的情况下本文方法修复率相对于ESP方法平均提高了32.25%.     

RFID防碰撞算法的FPGA仿真实现

研究无线射频身份识别(RFID)系统中的防碰撞算法的硬件仿真设计。在介绍防碰撞算法原理的基础上,基于曼彻斯特编码(Manchester)方式,实现了多标签识读过程中的解码和防碰撞算法。利用FPGA对算法进行了仿真,结果表明本方法具有速度上的优越性和技术上的可行性。     

GE公司Discovery 690 PET/CT设备常见故障的维修分析及维护保养

随着医疗设备的不断发展，PET/CT使用已经越来越广泛，特别是近5年的发展，该设备在世界上配置了近200台，其中亚洲配置近25台，在医学影像设备增长中相对较快。其中GE公司生产的型号为GE Discovery 690 PET/CT设备装机量也大幅增加，该设备除了保持原有传统CT及PET的优点外，还改善了单CT机成像不完善的问题，有效地提升了患者医学检查效率，大大节省了患者等待时间以及医护人员的工作时间。当前GE Discovery 690 PET/CT设备，有着采集图像快、图像质量高、分辨率较高、分析精确的特性，深受医疗机构的喜爱。但是，由于PET/CT装机量不断增加，随之而来的维修、维护及保养问题也日渐突出，需要继续解决。本文就型号为GE Discovery 690 PET/CT设备常见的故障进行分析，总结经验，提出建设性的意见及措施，为设备工程维修人员能够借鉴及相应的技术支持。     

基于SCADA数据驱动的风电机组状态监测

监测控制与数据采集 (SCADA)系统广泛部署于各大风场的风电机组上,其采集的 SCADA 数据可用于风电机组的状态监测.为了更有效地捕获SCADA 数据中的空间关联性,可以改进Inceptionv１方法建立１D_Inception v１模型提取SCADA 数据中的空间多尺度特征,以更准确地对风电机组进行状态监测.实验结果表明,该模型提供了一种端到端的数据驱动方法,可以直接从SCADA 原始数据中学习空间关联性,给出故障诊断结果,相较于传统方法有着更高的准确率.使用基于１D_Inceptionv１模型的数据驱动方法,可以及时、准确地对风电机组进行状态监测, 降低风电机组的运行和维护成本。     

液氮喷雾式食品流态化速冻装置的研制

该文介绍了一种新型的液氮喷雾式食品流态化速冻装置,该系统以液氮为冷源,取代了传统庞大的制冷装置,并将液氮喷淋预冻和流态化速冻两种方法有机结合,实现了食品的快速冻结,提高了冻品品质     

A radiation-hardened SOl-based FPGA

A radiation-hardened SRAM-based field programmable gate array VS1000 is designed and fabricated with a 0.5μm partial-depletion silicon-on-insulator logic process at the CETC 58th Institute.The new logic cell （LC）,with a multi-mode based on 3-input look-up-table（LUT）,increases logic density about 12%compared to a traditional 4-input LUT.The logic block（LB）,consisting of 2 LCs,can be used in two functional modes:LUT mode and distributed read access memory mode.The hierarchical routing channel block and switch block can significantly improve the flexibility and routability of the routing resource.The VS1000 uses a CQFP208 package and contains 392 reconfigurable LCs,112 reconfigurable user I/Os and IEEE 1149.1 compatible with boundary-scan logic for testing and programming.The function test results indicate that the hardware and software cooperate successfully and the VS1000 works correctly.Moreover,the radiation test results indicate that the VS1000 chip has total dose tolerance of 100 krad（Si）,a dose rate survivability of 1.5×10¹¹rad（Si）/s and a neutron fluence immunity of 1×10¹⁴ n/cm².     

用于FPGA的多层次集成设计系统的设计与实现

针对当前现场可编程门阵列(field programmable gate array,FPGA)领域,电子设计自动化(electronic design automation,EDA)工具集成度不够高、不具备用户自主设计FPGA芯片的功能等问题,设计并实现一套完整的FPGA多层次集成设计系统(versatile design system,VDS).该系统包括高度集成的设计开发环境和FPGA芯片级到系统级的设计与验证工具,为设计、应用和验证自主研发的FPGA芯片提供了一个有效平台.VDS的显著特点在于提供了全自动芯片生成功能,使用户能根据自身需要灵活控制芯片的规模和功能,快速开发一系列的适应不同应用的FPGA.借助VDS成功设计出两款FPGA芯片,通过对FPGA进行电路设计以及对芯片和应用进行仿真与验证,证明了VDS的有效可行.