UPFC物理模型中优化消谐PWM控制算法的研究

讨论了已实现了的ＵＰＦＣ物理模型中ＳＰＷＭ技术存在的问题,介绍了消除谐波常用的优化消谐ＰＷＭ算法的原理及求解方法,利用ＵＰＦＣ换流器结构特点,对该算法进行简化并进行了初值选择研究,给出了一种在线快速求解非线性方程组的方法,为该方法在ＵＰＦＣ物理模型中的应用奠定了基础。     

一种多机容错系统的设计与实现

在常规的三模冗余机制基础上,引入令牌环技术设计并实现了一种多机容错系统。该设计使用了总线仲裁。同步通讯、“自表决”机制等关键技术,对一些要求可靠性高。速度快的实时控制领域具有重要意义。     

归并依赖集的二元组集合闭包求解算法

本文给出了归并依赖集的二元组集合、闭包的概念，并给出了求解二元组集合B及其闭包的多项式求解算法。     

F有内部冲突满足P2且无α环模式分解的研究

在数据库模式的无α环分解中,当数据模式R〈W,F〉的FD集F有内部冲突时,无论F是否存在广义左、右部冲突均不存在满足保持FD、无损连接、BCNF和无α环的分解。在某些实际应用中的分解只满足部分条件就够了,在分析F有内部冲突时最小归并依赖集D的特性,给出了归并依赖集满足的条件∑1和∑2,在此基础上,讨论给出了满足P2（保持FD、BCNF）且无α环分解的充要条件和算法,对算法的正确性、可终止性进行了证明,并对算法的时间复杂度给出了分析。     

μXL压榨脱蜡系统

剖析了μXL集散控制系统的特点，及其在压榨脱蜡的生产过程应用中，实现了车间级生产过程的集散控制。各项指标均达到了设计的要求。     

FD环境下满足PS及无α环模式分解问题研究

通过分析在FD集F的最小归并依赖集存在弱左部或弱右部冲突时所具有的性质和特征，讨论并给出了满足PS(保持FD，无损连接且满足SNF)且无α环分解的充要条件和算法，对算法的正确性、可终止性进行了证明，并对算法的时间复杂度给出了分析。     

函数依赖集F有内部冲突的判定问题研究

在讨论数据库模式R(W，F)的无α环分解时，需要判定FD集F是否有内部冲突；在讨论无β，γ环的分解时也需要判定是否有内部冲突．为此，应当首先给出归并依赖集的二元组集合、闭包等概念；分别给出求解二元组集合及其闭包的多项式算法．在此基础上，讨论FD集F有内部冲突时的特征和相关条件，给出相应的有内部冲突的判定定理和算法，对算法进行了证明和分析．     

基于容错机制的并行计算机系统中同步策略

针对基于容错的并行计算机系统的高可靠性和高效性的要求,探讨了多机系统中较难解决的同步策略,从系统上电同步、任务调度同步和表决同步三个方面提出了容错与并行处理系统的同步方案,并在样机上实现。     

含环触发图对应的主动规则集可终止性分析

主动规则集的可终止性是主动数据库规则集的三大重要特征之一．主动规则集可否保证终止将直接影响到系统的应用．由于主动规则间存在依赖关系，通过对依赖关系的分析，给出了规则的触发传递闭包、依赖传递闭包等概念．以此为基础，提出了用规则触发-依赖图（T—DG）方法来分析主动规则集的终止性．特别讨论了判定含环的触发图（TG）对应的主动规则集是否保证终止的方法，给出了相应的判定算法、算法证明及分析．     

基于能量缓冲的优化消谐UPFC物理模型控制技术的研究

详细分析了基于能量缓冲统一潮流控制器物理模中优化消谐PWM方法开关脉冲的产生机理,提出了一种基于工挖机和单片机采用公用RAM技术传递数据的控制系统,解决了电网频率跟踪,相差调控等技术难题。为其物理模型的研究奠定了基础。