时间自动机两种模型的构造互模拟研究

基于时间自动机不同模型的验证被工业界广泛应用，本文形式描述了两种这样的模型，给出了从事件时钟自动机到双向时间自动机的构造方法，证明了二者识别语言之间的包含关系。     

具有深度视觉感的车载红外图像彩色化方法

提出了一种实现具有深度视觉感的车载红外图像彩色化的方法,对车载红外图像采用区域生长分割算法进行景物分类,分为天空、树木和道路,再分别对每一景物估计深度,然后根据得出的深度信息再结合景物的色彩先验知识,实现具有深度视觉感的红外图像彩色化。实验结果显示该方法能够得到较接近真实的深度和色彩视觉效果。     

基于PLC控制的远程故障诊断系统

当今工业控制现场的设备的特点是自动化、复杂化和连续化,为了保证现场人员的人身安全同时为使这些设备的正常、可靠、高效地运行,有必要监测可诊断这些现场的设备。该文基于传统故障诊断理论和现代故障诊断理论,应用故障树分析(FTA)建立了胎面线控制系统的故障诊断模型。     

湿地-水塘-地下灌排改进系统的效应

从湿地、湿地植被、灌排系统和水塘4方面对美国湿地-水塘-地下灌排系统(WRSIS)进行改进,分析改进的WRSIS的效应。结果表明,WRSIS改进系统具有显著的节水、增产和改善水质(减污)的效应,值得在全国范围内示范推广。     

无线数传模块的设计

讨论了基于单片机及nRF401无线数传模块的设计,并重点介绍了其硬件及软件的实现.本设计模块结构简单、数据传输可靠,可广泛应用于无线通信系统.     

不同柱体布局模式下圆柱贴附通风气流组织特性研究

针对大空间建筑中存在的多种圆柱布局模式,研究了单、双及四柱贴附通风气流组织特性。选取14种柱体布局模型,采用流场可视化实验和数值模拟方法研究了圆柱贴附通风的流场形态和气流组织特性,并选取速度场、温度场、头脚温差、吹风感指数和通风效率分析了4种单柱布局模式的通风性能。结果表明:单、双及四柱贴附通风均能在工作区形成类似于置换通风的空气湖气流组织分布;双柱和四柱贴附通风可以简化为单柱通风模式来研究。     

GPS定位技术在赞比亚地质工程测量中的应用

文章论述了赞比亚测量系统大地基准、参考椭球、投影方式等主要特点,利用GPS测量大地点已经获得很高的精度并广泛运用于各种工程中.从工作实际出发,提出了赞比亚工程测量的应对方法,分析了坐标系统建立、作业方法、GPS布网原则、内业处理、精度分析.GPS定位技术在非洲控制测量中的应用大大减轻了野外测量人员的劳动强度,提高了内外业工作效率,而且能获取更高精度的成果,在实践中,GPS定位技术需要构成几何网形和避开不利时段.     

基于1_Wire总线的紧凑型实时温度监测网构建

为了克服某些实时嵌入式控制系统设计中温度监测网构建的难点,在分析1_Wire通信总线协议特点的基础上,提出了一种结构简单的分布式温度监测网构建方法。根据1_Wire总线和DS180B传感器芯片连线简洁和灵活的特性,充分利用某嵌入式实时控制系统中FPGA器件资源余量,由VerilogHDL语言编写的时序逻辑实现1_Wire总线的主机端信号调理和监测数据缓存。在不增加系统控制运算主芯片软硬件开销的情况下,在紧凑使用环境中实现了小型化、高效的多点温度参数巡回监测。测试与试验结果表明,该方案适合在制导舱等空间受限的实时系统中应用。     

LNG点供行业现状及前景展望

受低油价的影响并得益于国家强力推进"煤改气"工程,综合经济性明显的LNG点供项目逐渐成为投资、建设的热点。但由于目前LNG点供项目存在着设计规范和行业标准缺失、违规建设及手续不全等诸多问题,特别是对城市燃气企业特许经营权造成了巨大的冲击,致使地方政府和管道燃气企业对其抱有抵触心态。为此,通过多方走访调研,总结了LNG点供项目商务模式、建设模式、运营模式、投资模式、合同模式、计量模式等方面较为成功的经验,分析了LNG点供项目发展的政策环境,梳理了其发展的制约因素。最后,结合我国油气改革的形势,展望了LNG点供行业的发展前景:(1)LNG气化站设计、建设方面规范缺失的局面有望在近期内得到极大的改善;(2)在目前低油价水平下,LNG点供项目很可能会在更大的范围内普及;(3)从长远来看,管道气仍应是主要的供气方式,LNG点供可作为前者的补充,将目标市场锁定在管道不发达的城镇、农村,以气化居民、工商业用户为主。