混合自动机的多项式phase-portrait近似

抽象近似是验证混合系统安全性的主要方法,模型转换是构造一个可判定的(或半判定的)混合自动机来近似原混合自动机.本文将线性phase-portrait近似推广到多项式phase-portrait近似,叙述了如何自动构造多项式phase-portrait近似自动机及如何精化近似模型.     

有防水涂层的丙纶工业布老化试验研究

通过人工加速气候老化试验，研究了丙纶工业布的防水涂层、阻燃剂对老化性能的形响，为制备耐候、阻燃、防水的丙纶工业布提供了参考。     

暂态量保护开发平台的研究

介绍了一种由高速微机、信号源、高速数据采集卡、虚拟仪器开发语言LabVIEW与CVI构成的暂态量保护软硬件开发平台,一台微机与信号源构成信号波形输出部分,用以输出故障暂态信号;两块采样频率为MHz级的数据采集卡与另一台微机构成暂态量保护部分,用以数据采集和保护计算.EMTP仿真数据和现场实录数据的测试表明,该开发平台可以无畸变地再现故障暂态信号,可以实时地进行数据采集和输电线边界保护的运算,为暂态量保护的原理研究、算法试验、样机研制奠定了基础.     

暂态量保护开发平台的研究

介绍了一种由高速微机、信号源、高速数据采集卡、虚拟仪器开发语言LabVIEW与CVI构成的暂态量保护软硬件开发平台,一台微机与信号源构成信号波形输出部分,用以输出故障暂态信号;两块采样频率为MHz级的数据采集卡与另一台微机构成暂态量保护部分,用以数据采集和保护计算。EMTP仿真数据和现场实录数据的测试表明,该开发平台可以无畸变地再现故障暂态信号,可以实时地进行数据采集和输电线边界保护的运算,为暂态量保护的原理研究、算法试验、样机研制奠定了基础。