DFSM简化过程的表达方法研究

文章讨论确定有限状态机(DFSM)简化过程的表示问题,指出传统的线性顺序法存在直观性差、层次不分明、难于理解的不足,提出简化树法,它具有直观、有效的特点。

有限状态机模型测试序列生成算法研究

在测试工程学中,应用测试生成树构建测试序列是相关测试方法的基础步骤,在传统测试生成树的基础上加入约束集的概念,使产生的测试生成树符合生产实际。同时在面向状态识别的测试方法中,考虑约束集对所生成状态区分序列的影响,基于带约束的测试生成树产生相应的特征集、状态识别集和UIO序列,提出或者改进了相应的算法。同时将测试方法扩展到了NFSM的情形下,提出了NFSM模型中前缀序列的生成算法和状态识别集的构建算法;结合状态识别矩阵与有限状态机同步乘积,提出在NFSM模型中的适应性测试方法,扩展了FSM应用于测试理论的完备性。建立了相应的测试方法工具集,实现了上述算法,验证了其可行性。最后给出了下一步的工作。

智能配电网自我认知过程

根据电力系统所面临的挑战、智能电网的智能配电网是智能电网发展的重要方面.对智能电网的研究,主要的是如何让电网具有智能.通过将结构主义、功能主义和行为主义三种方法和谐统一的"机制主义"及人类智能系统模型,完成对"信息→知识→智能"转换过程,把它们统一起来成为完整的人类认知过程,解析和定义智能配电网信息及其转换和自我认知过程.在人类智能系统模型下,重新解释DFSM及其智能系统对智能配电网的重要意义.使得智能配电网在经过自我认知过程后,能够更加方便的对整体和部分进行有效的仿真和模拟,在长期的认知过程循环中逐步建立智能配电网的知识库和策略库,作为智能配电网具有智能化的基础,最终使得智能配电网具有拟人特性和管理、协调、控制、优化、维护自身和被控对象.

如何检查非确定性系统中的失败偏序关系

一般情况下 ,一个协议的说明会有几个不同的协议实现。大多数确定有限状态机 (DFSM )在测试时假定测试的目的是证明被测实现 (IUT :implementationundertest)的行为等价于协议说明中定义的行为。然而 ,在非确定性系统 (NDS)中因为存在非确定性 ,测试时只能证明被测实现 (IUT)与给定的说明是否具有某种实现关系。一般有几种不同层次的“实现”关系 ,一种新的简单的方法 。

基于OpenDSS的智能配电网仿真与模拟平台及其应用

OpenDSS仿真系统为含分布式电源及储能装置的配电网提供仿真分析和规划研究平台,并为智能配电网提供一个开放共享的研究平台。从建模方法、仿真功能和用户自定义扩展应用3个方面介绍了OpenDSS的特点和优势。在建模方法上,该平台考虑了配电网的不对称特性,并提供了丰富的配电网控制模型;在仿真功能上,提供了快速潮流计算功能,并开发了一系列仿真方法;在用户自定义扩展上,基于COM接口,实现了OpenDSS和其他仿真软件的互动。针对上述功能和特点,以及给出的应用实例,希望能够对推动智能配电网快速仿真与模拟技术在中国的应用与发展起到一定的作用。

智能配电网关键技术

首先针对配电网智能化的要求,提出了急需解决的几个问题,然后给出了智能配电网的定义,分析了智能配电网的特征,提出了功能要求。重点探讨了实现智能配电网的几个关键技术,包括配电网自愈控制、分布式发电与智能微网技术、AMI技术、配电网快速仿真与模拟技术,为我国智能配电网的进一步研究及实现提供参考。

确定性有限状态机的最小测试成本迁移覆盖准则

软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错误补充设计测试用例,探测软件中潜在的错误.重点是第1阶段的实现.依据确定性有限状态机和集合划分的理论,提出了确定性有限状态机的最小测试成本迁移覆盖准则,给出了最小测试成本迁移覆盖存在的充分和必要条件,设计了优化迁移覆盖和最小测试成本迁移覆盖的实现算法,并讨论了测试序列集合的有效性问题.在实验中,依据该方法不仅能够获得最小测试成本的测试用例集合,而且同样能够探测出确定性有限状态机中迁移上的错误.

考虑转子谐波电流影响后 双馈电机电磁功率的分析与计算(英文)

有不少文章研究了双馈电机的稳态运行性能,但在研究其性能时考虑谐波电流影响的却较少。该文从该类电机的基本电磁关系出发,提出了基波和谐波的等效电路,给出了谐波电路中参数的计算方法。导出了基波电磁功率、稳定谐波电磁功率及脉动谐波电磁功率的计算公式。文章最后以一个实际的绕线型感应电机用交直交电压型逆变器供给励磁的双馈电机为例,计算了主要谐波的稳定和脉动的电磁功率以及电机总的电磁功率。结果表明,该文给出的分析与计算方法是有效的。

双馈同步电机的功率流分析和效率优化

描述了双馈同步电机 ( DFSM)的基本方程式 ,提出了其定子端、转子端和电机轴之间发生机电能量转换的基本关系 .重点研究了不同转差率下双馈同步电机在发电、电动和电磁制动三种工况下的稳定区域、功率流及其高效区域 .试验结果表明其功率流分析和效率优化是正确的 。

智能配电网自愈控制技术探讨

SDG在智能电网当中是比较关键的环节,对于提高供电质量、效率以及配网、安全性、可靠性作用显著,其中比较关键的技术之一是自愈控制技术。文章对自愈控制技术的内涵以及关键点分别进行了阐述,同时结合顶层设计观念,针对自愈控制系统进行了简单的设计,以供参考。

用于协议一致性测试序列生成的状态规范化算法

这篇论文提出了一种方法，把ＥＦＳＭ描述协议的广泛性和ＦＳＭ测试序列生成方法的成熟性有机的结合起来，较圆满地解决了测试序列的可执行性、观察性、控制性问题，同时兼顾了数据流和控制流的全面测试。这种方法是基于两边靠拢的思想，一方面将非确定性的ＥＦＳＭ向确定性的ＤＦＳＭ规范化，另一方面修改ＦＳＭ的测试序列生成算法，使之能够同时测试数据流，也即能够处理输入、输出原语的参数问题。在本文中讲述了第一步的工作，提出了由ＥＦＳＭ到ＤＦＳＭ的规范化算法和其概念的严格定义，建立了用于算法描述和实现的ＥＦＳＭ向图概念。同时选择了一个较能完全体现ＥＦＳＭ特点的Ｑ．

智能配电网自愈控制技术的内涵及其应用

自愈是智能配电系统的重要特征。智能配电网自愈控制使配电网具有自我感知、自我诊断、自我决策、自我恢复的能力,实现配电网在不同状态下的安全、可靠与经济运行。介绍了智能配电网自愈控制技术的内涵与特征,特别是自愈控制目标和控制技术方式,并以不同技术水平系统的故障处理为例分析了几种典型的自愈控制技术实现方式。最后,详细介绍国家高技术研究发展计划(863计划)"智能配电网自愈控制技术研究与开发"的内容。

配电快速仿真与模拟

文章紧紧围绕着DFSM及其分布式智能系统的几个关键问题展开论述,介绍DFSM的相关概念、研究目标和关键技术问题。