带有输出约束的水面船舶实际有限时间控制

考虑带有输出约束的水面船舶系统,提出一种自适应神经网络航迹跟踪实际有限时间控制算法.基于反步法设计有限时间控制律,构造障碍李雅普诺夫函数处理输出约束问题,采用神经网络逼近船舶模型中的不确定信息.在控制算法递推过程中,通过设计一个关于跟踪误差的可微幂函数来避免控制器中的奇异问题.借助李雅普诺夫稳定性分析理论,证明了航迹跟踪误差在有限时间内收敛到有界的邻域内.最后,以一艘1:70的比例模型船作为仿真对象,来验证所提出的航迹跟踪实际有限时间控制算法的有效性.     

COMPSPEN:对形状性质与数据约束进行融合推理的分离逻辑求解器

分离逻辑是经典霍尔逻辑的针对操作指针和动态数据结构的扩展,已经广泛用于对基础软件(比如操作系统内核等)的分析与验证.分离逻辑约束自动求解是提升对操作指针和动态数据结构的程序的验证的自动化程度的重要手段.针对动态数据结构的验证一般同时涉及形状性质(比如单链表、双链表、树等)和数据性质(比如有序性、数据不变性等).主要介绍能对动态数据结构的形状性质与数据约束进行融合推理的分离逻辑求解器COMPSPEN.首先介绍COMPSPEN的理论基础,包括能够同时描述线性动态数据结构的形状性质和数据约束的分离逻辑子集SLID_data、SLID_data的可满足性和蕴涵问题的判定算法.然后,介绍COMPSPEN工具的基本框架.最后,使用COMPSPEN工具进行了实例研究.收集整理了600个测试用例,在这600个测试用例上将COMPSPEN与已有的主流分离逻辑求解器Asterix、S2S、Songbird、SPEN进行了比较.实验结果表明COMPSPEN是唯一能够求解含有集合数据约束的分离逻辑求解器,而且总体来讲,能对线性数据结构上的同时含有形状性质和线性算术数据约...     

基于流形结构的多源自适应迁移学习算法及应用研究

迁移学习是将源域的知识迁移解决目标域问题的方法,能有效解决数据分布不一致的问题.针对多源域迁移时传统方法缺乏对多源域的可迁移性的合理分析和迁移效果的有效处理问题,提出一种基于流形结构的多源自适应迁移学习的方法,旨在提高单源域迁移效果的同时实现多源域的有效迁移.首先,对多源域进行可迁移性分析,选择可迁移的源域;然后,适配边缘分布和条件分布并引入均衡因子得到均衡分布适配,同时利用流形正则化约束数据结构,使单源域的信息使用最大化;最后,通过加权因子对不同源域分类器进行自适应加权,充分利用多源域的信息求解目标域问题.将该算法应用于滚磨光整加工中滚抛磨块的优选,通过建立滚抛磨块的相似度匹配方法,构建基于流形结构的多源自适应迁移学习的滚抛磨块优选模型.大量对比实验表明所提出方法表现更佳,准确率最高至73.44%,可以为滚磨光整中滚抛磨块的选择提供更有效的决策指导.     

多尺度卷积残差网络钢轨伤损检测研究

针对传统钢轨探伤大多依赖人工获取特征信息、工作繁琐且效率低的问题,提出了融合改进残差模块的多尺度卷积网络钢轨表面伤损图像识别模型。该网络模型采用深度可分离卷积代替传统卷积减少模型参数量,加快模型训练速度;运用残差网络模块,避免网络堆叠过深引起的过拟合现象;并利用多尺度卷积取代了传统的单尺度卷积,使得网络加宽以获取更多的特征信息,增强了模型特征信息的提取能力,从而提高了模型的识别精度。通过对三种典型钢轨伤损进行对比试验,本方法检测精度和运算速度优于传统方法。     

基于不确定观测下离散事件系统可诊断性的研究

在实际应用系统中,由于传感器故障、传感器限制和网络中的数据包丢失等原因,事件的可观测值变得不确定,使得观测系统行为变得尤为复杂。针对离散事件系统中,同个事件串可能有多个观测值以及不同状态下同个事件观测值也可能不同的问题,提出一种不确定观测下故障诊断验证的方法。首先对不确定观测的离散事件系统的可诊断性进行形式化,然后构建出用于上述故障诊断验证的验证器;基于验证器提出了系统基于不确定观测下可诊断的充要条件及验证算法;最后,实例说明不确定观测下故障诊断验证算法的应用。与现有研究相比,提出的方法对故障事件的观测值没有约束,可以为0个或多个观测值,使此方法应用的场景更为广泛。     

一种可伸缩封闭式二次端子隔离工具

目前二次屏柜二次端子隔离工作中的问题,很大程度上是由隔离工具的应用局限性导致的。二次端子使用的绝缘胶布在一段时间后因固定性变差而极易脱落,操作过程中误将二次端子标签仪器粘贴,现场工具众多且管理混乱、操作工序繁琐等,这些均可能导致二次端子运行故障,因此必须改良隔离工具,提出一种可伸缩封闭式的二次端子隔离装置,以保障电网的安全稳定运行。     

基于智能可穿戴设备的远程协助及安规培训系统研究

施工作业过程中,现场人员无法直接了解设备内部信息和现场图纸信息,需返回办公室查询,作业质量和效果也无法及时检查确认,增加了施工安全风险.电网企业为了达到安全生产的目的,需要将严格的安全生产制度应用到正常的生产中,因此安规知识培训至关重要.提出了一种基于智能可穿戴设备的工程远程协助及安规培训系统, 通过智能装备搭载智能化安规知识库,实现工程现场的远程协助和现场人员的安规培训,保障了施工作业过程中人员和设备的安全,显著提高了电网施工作业效率与质量,提升了应对复杂作业和突发事件的响应速度与处置能力.     

基于贝叶斯最优最劣和改进物元可拓的特高压输电工程综合效益评价

由于中国能源消费与能源分布格局的不一致性,建设具有远距离、大容量以及低损耗的特高压输电工程具有重要的意义,而对特高压输电工程效益的评估是判断该工程能否实现预期目标、满足工程建设要求的关键。从运行、财务、环境以及社会4个维度构建了特高压输电工程综合效益评估指标体系,提出一种基于贝叶斯最优最劣和改进物元可拓方法的特高压输电工程综合效益评价模型,前者结合贝叶斯理论和最优最劣模型确定各指标的权重,后者通过对传统物元可拓方法进行改进,从而实现对特高压输电工程综合效益的等级评定。通过对某±800 kV特高压直流输电工程实证研究,结果表明该工程的综合效益处于“较好”级别。算例结果证明了该模型用于特高压输电工程综合效益评价的科学性与有效性。     

基于物元可拓的输电线路山火风险评估模型

为了解决现有的输电线路山火风险评估方法中风险指标单一、过于依赖主观经验等问题,提出了一种基于物元可拓的输电线路山火风险评估模型。首先,收集对山火发生概率产生影响的人为、地理、气候以及线路4大类共15个风险指标,构建了输电线路山火灾害风险评估指标体系。然后,将模糊层次分析法和熵权法相结合,形成主观赋值权重与客观计算权重结合的评估指标组合权重。并在此基础上建立物元可拓评估模型,计算风险指标关联度,基于关联度大小确定最终输电线路山火风险等级。最后,通过对南方某省份输电线路工程进行实例分析,对其山火灾害风险等级进行综合评估,为运维管理人员开展差异化的山火防治工作提供了依据。