计算思维在《C语言程序设计》教学中的研究与实践

文章简要说明了当前C语言程序设计课程教学中存在的问题,介绍了计算思维的概念和特征,提出了在C程序设计课程中强化计算思维的方法和训练,即实践操作和思维多样化等。最后总结了对学生的计算思维能力的培养研究和实践,将是一个长期的过程。     

一种重叠视域多摄像机环境下的运动目标匹配SHFSM算法

针对重叠视域下多摄像机间目标匹配问题,提出了一种基于色度特征信息的色度特征区间集合匹配算法.通过分析目标颜色色度分量对光照强度的不变性,依据色度分量直方图定义了色度特征区间,并证明了其相关特性.该算法首先获取目标色度特征区间集合,并依据区间内特征信息像素的数量对特征区间进行排序,最后采用模糊匹配原理对排序的色度特征区间集合进行匹配.实验结果表明,算法匹配正确率可达95％,通过与经典算法对比体现了其准确率高、可靠性强的优点.     

一种新型的永磁同步电机转矩脉动抑制方法

针对永磁同步电机运行过程中气隙磁场畸变和逆变器非线性因素导致的永磁电机电磁转矩脉动问题，提出了一种基于谐振调节器和谐波注入抑制永磁电机转矩脉动的方法。分析了永磁电机在运行过程中产生的谐波数学模型，设计了基于谐振调节器的前馈控制环节、谐波提取算法和谐波电压注入算法。最后在Simulink仿真实验平台上进行了仿真分析，成功的抑制了电机中的电流谐波含量，减小了电流的失真度，改善了电机输出转矩的平滑性，验证了谐振调节器前馈控制和谐波注入抑制算法的正确性和可行性。     

基于神经网络和证据理论的滚动轴承故障预测方法

传统的故障预测方法难以对不同工况下的滚动轴承故障进行有效预测,为此,提出了一种基于BP神经网络和DS证据理论的滚动轴承故障预测方法。首先采用擅长于处理非平稳信号的小波包分解对多个传感器采集的原始振动数据进行特征分析,然后对BP神经网络的结构和参数进行优化设置并使用多个BP神经网络分别进行故障预测模型训练,最后利用DS证据理论将多个神经网络得到的预测结果进行融合并输出最终预测结果。实验结果表明,该方法能对不同工况下的滚动轴承故障进行有效预测,故障预测平均准确率达96.37%;且与相关文献提出的方法相比,所提出的方法得到的滚动轴承故障预测准确率有所提升。     

直流偏磁时变压器铁芯的力学特性分析

直流偏磁导致变压器局部过热,振动和噪声加剧,严重时可能损坏变压器。结合能量守恒原理,推导得到铁芯磁致伸缩与直流偏磁电流间的关系模型。基于所建立的数学模型,分析了直流偏磁引发的硅钢片的形变。以单相三柱变压器旁柱上最外层的硅钢片为对象进行了仿真研究,仿真结果证实了所推导模型的正确性,且表明磁致伸缩引发的铁芯形变是变压器振动加剧的关键因素。     

直流偏磁和剩磁同时作用下保护用电流互感器的暂态特性研究

电力系统中电磁式电流互感器的暂态特性关系系统的安全稳定运行,通过建立直流偏磁条件下电流互感器的等效电路模型,利用基本电磁关系方程导出了剩磁和偏磁对保护用CT起始饱和时间和暂态饱和系数影响的定量数值关系.分析表明,直流偏磁将加速保护用CT的饱和,且偏磁电流越大互感器饱和越快.同时,剩磁与偏磁共同作用使得暂态饱和系数增大,如不考虑其变化,选择的CT可能不能满足偏磁条件下系统对CT的要求.通过仿真验证了理论分析结果的正确性.该研究为保护用CT的选择、继电保护的整定提供了参考依据.     

产生证明责任验证Object—Z规格说明的行为子类型继承

Object-Z是形式规格说明语言Z的面向对象扩充,具有面向对象特点,适合描述大型面向对象软件规格说明.行为子类型继承是一种子类型继承,子类型对象拥有其超类对象的行为与属性,如果行为子类型对象替代其超类型对象时,运行时不会出错,经过验证过的形式规格说明不必再验证.本文对Object-Z定义了行为子类型继承,尤其我们系统地提出一个实现行为子类型继承和对规格说明产生相关证明责任的方法,其中这些证明责任可以判定形式规格说明是否按照其行为子类型方法进行开发的.最后,充分利用定理证明器Z/EVES来分析与验证所产生的证明责任.     

一种基于有向图的工作流测试方法

已有工作流测试方法在测试完备性和充分性方面存在不足。针对此问题文章对有向图工作流模型进行扩展,提出了一种新的工作流测试方法,设计并实现了其算法。该方法能够自动生成完备且充分的测试路径和测试用例。实例验证该方法有效。