基于改进矩阵束的动态同步相量测量算法

随着现代电网规模不断增大,分布式电源大规模接入,强谐波、高噪声和信号动态多变等问题会降低同步相量测量算法的准确度.为准确测量现代电网同步相量参数,提出一种结合二阶泰勒动态相量模型和改进矩阵束优势的同步相量测量算法,用于动态条件下电力系统同步相量幅值和相角参数精确测量.本文先对算法进行数学推导,然后根据我国同步相量装置检测规范中指定的实验案例对测量准确度进行详细评估.实验结果表明,算法在频率偏差、幅度调制等情景下具有很高的测量精度,符合我国同步相量检测规范要求,具有一定工程应用价值.     

微束等离子选区熔化成形系统设计

设计一种微束等离子选区熔化实验平台，利用SolidWorks软件对各零部件进行三维建模与虚拟装配，实现直角坐标系机器人结构的实验平台实物搭建.在不同工艺参数下，开展单道、单层微束等离子选区熔化实验，采用多项式回归对成形道宽度进行拟合.结果表明，成形电流、成形速度与成形宽度呈正相关分布.在多层金属熔覆实验中，对于厚度为2.40 mm的金属薄板而言，最佳参数为12.0 A的电流、 2.0 mm·s^-1的扫描速度和20%的搭接率.最终得到的多层金属成形效果较好，证实微束等离子选区熔化工艺的可行性.     

多针负电晕放电的甲醛净化试验

为实现高效的甲醛净化效率，采用多针电极进行负极性直流电晕放电，研究其对甲醛的净化特性. 结果表明，增加电极针数能够提高总的电晕电流、加强放电能量、提高甲醛的净化效率. 同时，提高输入电压和减小间距也能够提高甲醛的净化效率. 此外，甲醛易溶于水，电极湿度会影响甲醛的去除效果，湿式状态下甲醛分解速率减缓，净化效率有所降低.     

混合exactly-one约束的模型计数研究

模型计数是求给定命题公式的模型数，是人工智能领域的一个基本问题.在贝叶斯网络、有界模型检测、精确集合覆盖等众多实际问题中，存在许多exactly-one约束.常见的处理方法是将exactly-one约束编码为CNF公式，再调用模型计数器求解.这种方法扩大了命题公式的规模，容易导致求解时间过长.本文分别提出从CNF公式中还原exactly-one约束的ECR算法和处理exactly-one约束的ECP算法.ECR算法能明显提高C2D编译器的求解效率.基于最新的模型计数器ExactMC，本文改进了能识别和单独处理exactly-one约束的模型计数器ECMC.实验结果表明，ECMC的时间效率相比ExactMC有显著提高.