PLC程序测试与验证的研究进展

可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。     

火车站经济圈建设问题研究

火车是目前交通运输能力最强的交通工具之一,火车的运输能力使火车站周边经济能够迅速繁荣起来.如何通过火车站的效益带动周边经济,实现火车站经济圈增长对于我国社会经济具有重要的促进作用.本文在相关理论的基础上,分析了我国现行发展状况下火车站经济圈建设的必要性与意义,同时制定了符合我国实际的发展对策.     

工程建设投资项目的前期管理工作

<正>工程建设投资管理是一个动态的过程,一般可分为前期管理阶段(包括可行性研究阶段、设计阶段和开工准备阶段等)、工程建设阶段(包括施工建设、竣工验收及资料归档管理等)和项目运营阶段。     

仿生纳米材料对沥青与集料界面黏附性的影响研究

<正>随着我国交通量的不断增长,许多高速公路出现了早期破坏现象,尤其是在水的作用下沥青与集料之间的黏结力较弱导致的界面破坏,加剧了车辙、疲劳裂缝、松散和坑槽等路面病害的出现。因此,从不同的角度和材料方面认识并提高沥青与集料之间的黏结力具有重要意义。一、研究的可行性分析仿生学是指模仿生物建造技术装置的科学,是在20世纪中期才出现的一门边缘科学。仿生学主要研究生物体的结构、功能和     

经济研究课题的选择

经济研究成败的关键是选择课题。经济课题的选择须根据客观需要与具体的内容和条件相适应。可采用浏览捕捉、追溯验证等方法进行选择。     

基于SAVI的IPv6校园网源地址验证方案及其实现

接入网源地址验证技术SAVI是实现网络端系统IP地址一级的细粒度的源地址验证技术.基于SAVI技术,研究并实现了IPv6校园网的源地址验证方案.在校园网IPv6试验网的测试应用中,该方案有效实现了真实源地址验证,可从源头上保证接入网络的安全性.     

基于GIS的农村居民点撤并可行性研究

村镇体系规划的成功实施主要取决于农居点的合理撤并.本文针对农居点撤并中的耕作出行阻力因素,根据空间距离统计构建了基于GIS的定量分析模型,并对规划行为的负面效应进行微观描述.本文以张家港常阴沙管理区的农居点撤并规划为例进行实证研究,研究表明村镇农居点的空间结构调整将对农村居民耕作出行造成巨大的影响,本文在总结计量模型特征的基础上为进一步完善村镇体系规划的可行性研究提供了相关建议.     

基于精确标识对象Petri网模型的检测方法

精确标识PNO要求一个对象实例既不能同时出现在多个库所,也不能在一个托肯中出现多次,SMV是一个功能强大的符号化模型检验工具.本文提出了将精确标识PNO模型转换成相应SMV程序的算法,并通过列车运行区域模型(TOPNO)演示了具体的转换过程.通过该转换算法不仅能有效地解决精确标识PNO活性、安全性等属性的检测问题,还能验证与模型中对象相关的属性.     

基于FPGA的IP仿真验证平台

IP（集成电路知识产权芯核）的仿真和硬件验证是IP开发中不可缺少的环节．文中基于FPGA（现场可编程门阵列）开发了一个IP仿真验证平台,并使用PCI（外部设备互连）总线来测试IP．用户只要将自已设计的IP插入所开发的仿真验证平台,就可以方便地对IP进行测试．文中还对所设计的平台进行了软件仿真,以验证其功能,并在载有Xilinx Spartan-3 600E FPGA的PCI插卡上进行上板调试．结果表明,所建立的基于FPGA的IP仿真验证平台可以对IP进行有效的仿真和验证,并具有良好的稳定性和实用价值．     

超分辨率复原技术中基于分级块匹配的运动估计

超分辨率复原技术中的运动补偿(或图像配准)是超分辨率复原过程中的首要环节.运动补偿的基本前提是运动估计问题.运动估计的方法中,在基于多目标场景的平移运动中多采用分级块匹配的方法.本文着重介绍了分级块匹配的方法极其可信度验证,并将其优缺点做了简单对比.