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

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

浅谈变频器在输煤系统中的应用

在火力发电厂中,变频器已在机、炉等各系统的主要设备电气控制中普遍采用,随着变频技术的不断完善和变频器市场价格日益走低,输煤系统某些设备变频改造的需求日益强烈。文章将详细论述变频器在输煤系统中的应用价值,并解析其在应用过程中的常见故障、应对措施及谐波排除方案,以增强应用的可靠性和提高效率。     

实施创新计划实现自主创新

论证了创新计划坚持以产品创新为核心的必要性,通过模型对广西创新计划的绩效进行了评价,提出了以创新计划实现自主创新的根本途径。     

一种有效地检测权限提升攻击的审计机制

在分析了权限提升攻击一般步骤的基础上,针对其会在系统中留下的攻击痕击,提出了一种新的审计机制,即在每次通过调用系统函数execve执行新的应用程序时,跟踪进程的real userID、effective ID以及saved set user-ID值的变化,从而可以准确地检测出各种针对特权程序的权限提升攻击.     

数据库技术对Web问卷数据缺失校验的优化研究

减少缺失数据是提高“问卷有效率”的重要环节。主要根据统计分析的要求,从技术角度微观地探讨如何在ASP中利用数据库技术防止缺失数据,即通过Recordset对象中nelds集合的字段名（Fields（）．Name）网络问卷表单的对象名（Name）进行关联,优化缺失数据校验程序,设计出更简洁、灵活且不受问卷试题规模影响的校验程序,增强了Web问卷的通用性,提高了“问卷有效率”．达到事半功倍的效果。     

面向农产品安全的关键质量链分析

针对农产品质量安全控制问题,在传统过程能力分析的基础上,将农产品食品链视为一个过程网络,应用PERT/CPM的基本思想,提出了基于质量损失的关键质量链分析评价方法。最后以菠菜产品的种植加工进行了实例分析。     

电子信息专业学生计算机能力培养体系构建研究

从当前电子信息专业学生能力、素质方面的不足,指出当前采用的电子信息专业的课程体系中对计算机能力培养的偏失,结合计算机与电子信息发展的融合趋势和电子信息专业计算机能力培养的特点,归结电子信息专业学生计算机能力培养的4个层次,从而逐步建立较为完善的体系结构.     

一个操作系统不确定性的讲解实例

用一个简洁的C程序,实际演示1 1!=2,到达用程序来证明操作系统不确定性问题.     

遗传进化算法搜索斜坡最小安全系数的研究

介绍了斜坡滑裂面搜索问题和遗传进化算法,并试用遗传进化算法从斜坡任意形状滑裂面组合中搜索最有可能的滑裂面,也就是安全系数最小的滑裂面.作为实例,分析了遗传进化算法在天生桥二级电站首部枢纽进水口右岸滑坡案例中的应用.分析结果表明,在搜索斜坡滑裂面问题上遗传进化算法较其它搜索算法具有准确性和可靠性的优势.     

设计模式指导的软件分簇方法

程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种设计模式指导的分簇方法,该方法采用程序中蕴涵的设计模式信息指导开源软件的分簇,运用"分而治之"的策略辅助程序开发者和维护人员快速、方便地理解代码.首先,采用设计模式检测技术从程序代码中抽取设计模式信息;然后,基于设计模式中角色间的相互关系,利用检测出的设计模式信息指导分簇;最后,对分簇结果可视化,以辅助程序理解.基于以上研究工作,开发了原型工具TasteJ并进行了实例研究,设计并实现了以人工为基准的实验来检验本文提出的软件分簇方法,并通过7个软件分簇度量函数,从统计的角度将其与现有主流软件分簇方法进行分析和比较,实验结果显示出本文所提方法的优势.