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

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

扩展主题图本体融合策略与算法

针对分布式建立与存储的领域本体主题图在融合过程中的语义与结构重复问题以及冗余信息的判断与消除问题,提出了基于语义词典与语料库相结合的主题图融合算法(TMMC),给出了概念相似度计算以及同义关系、整体部分关系等的处理方法.对本体中概念进行基于HowNet语义词典及其他语义词典的多层次相似度计算,定义概念间不同语义关系的融合规则,针对专业领域本体中大量术语词典未收录的问题,提出基于语料库的概念相似度算法,并对计算机教育专业领域扩展主题图进行了融合实验.实验结果表明,TMMC提高了融合的准确率与查全率.     

基于二维区间Hash链的RFID安全协议

作为未来物联网(IOT)的核心技术之一,无线射频识别(RFID)系统由于设备的局限性而存在许多安全问题.在分析几种典型安全协议核心思想的基础上,提出了基于二维区间(two-dimensional region,TDR)Hash链的安全协议.该协议以区间划分的方式标识各链,从而提高了数据库的检索效率;同时,由于在协议中引入了随机性,RFID系统的安全性得到了进一步增强.     

基于STR非平衡树结构的混合型组密钥管理方案

STR组密钥管理协议因采用非平衡二叉树结构使得密钥更新过程简化,它可以有效降低组密钥管理的通信开销,但这是以高额的计算开销为代价的.提出一种基于STR非平衡密钥树结构的混合分层组密钥管理方案,在继承STR协议低通信开销的特点的同时,该方案显著降低了组密钥管理的计算开销并提高了密钥更新效率.     

蝙蝠葛碱提多糖对Hela细胞增殖的影响

利用蝙蝠葛根提取多糖成分,并应用噻唑蓝还原法(MTT)检测了蝙蝠葛多糖对Hela细胞增殖的抑制作用及细胞毒性作用.结果表明:蝙蝠葛碱提多糖在质量浓度较低时,对Hela细胞的增殖有促进作用,此作用在质量浓度为0.25 mg/mL时达到最大,此时Hela细胞增殖率为149％.随着浓度的进一步加大,Hela细胞的生长逐渐受到...     

北疆大型水工平面闸门的振动测试

针对北疆某大型水利工程中倒虹吸出口2个平面闸门的振动问题,采用防水耐压防腐的三轴振动加速度传感器和INV303数据采集仪器,构成多通道水下振动测试系统,通过改变闸门的开度和流量,对A线1号闸门进行各运行工况下的振动监测,对B线2号闸门进行大流量下的振动监测.测试结果表明:2个闸门、闸墩、闸房等重要部位的振动参数与闸门开...     

全球月平均蒸发数据在流域径流模拟中的适用性

利用分布式水文模型CREST对淮河史灌河流域梅山水库1978-1987年的入库径流过程进行了参数自动率定和验证,对比分析了实测蒸发数据与全球月平均蒸发数据对径流模拟结果的影响程度,同时进行了蒸发影响效果的误差对比实验.结果表明,采用全球月平均蒸发数据来驱动模型,替代模型运行中所需的实测蒸发数据,具有较好的模拟效果,同时...     

基于蚂蚁算法的中国邮路问题

针对中国邮路问题中先寻找奇数度结点,再进行奇数度结点之间路线添加的问题,引入了蚂蚁算法,通过其随机概率选择和最短路线激励策略,有效地解决了结点之间的最短路线的问题,避免了常规方法中必须先进行奇数度结点匹配的问题.算法易于实现,实验仿真表明算法耗时短、效率高.     

N’-[(4,6-二甲氧基)-嘧啶-2-基]-N-[2-(2,4-二氯苯氧丙酰基)]硫脲的结构解析

报道了一个4,6-二甲氧基嘧啶取代的硫脲的分子结构和二维构筑体系.在这个分子中,通过强分子内氢键锁硫脲的3个主要片段促使分子呈现近平面结构;不同类型的弱分子间C-H—S和C-H—O氢键导致分子形成不同类型的二聚单元;这些二聚单元结合分子间的偶极-偶极促使分子呈现不同类型的席状体系;另外,π-π堆积和氯／氯间紧密相互作用导致嘧啶取代的硫脲分子呈现高度有序的交错层的自聚集体系.     

北亚热带次生栎林碳通量及其影响因子研究

以位于江苏句容下蜀的长江三角洲森林生态站栎林为研究对象,采用涡度相关技术进行长期CO2通量观测,得到2007年12月至2008年11月间栎林净碳交换（NEE）的日变化过程：栎林从7:00左右开始吸收CO2, 10:00至14:00期间,对CO2的吸收一直维持在较大量,到17:30左右转化为碳排放。对于栎林NEE与光合有效辐射（PAR）及气温的响应关系分析表明：当光合有效辐射大于5 μmol/(m2·s)时,在不同季节NEE与PAR相关关系不同,NEE的月平均值与冠层月平均温度呈直线相关。