摘要：为了提高配电终端设备运行状态诊断的准确性,引用状态序列,设计了一种配电终端设备运维状态诊断技术。首先对设备运维状态数据进行预处理,判断冗余数据价值,并基于SOM神经网络状态数据序列进行拟合,建立设备运维状态分布模型,最后根据HMM模型分析诊断设备运维状态序列,确定配电终端设备运维状态。经过实验分析表明,设计方法在不同干扰条件下,均能准确诊断出设备的运维状态。

摘要：从有限自动机中生成简短、可读性强的正则表达式是计算机理论研究中的一个重大课题.在经典的正则表达式生成算法中,状态序列是影响正则表达式质量的关键因素.为了能够快速高效地找到较优的状态序列,本文以食肉植物算法的理论为核心,并结合其他启发式算法的思想进行设计与优化,提出了一种基于食肉植物算法的状态序列搜索方法.通过实验将此方法与已有的一些使用启发式规则的搜索算法进行了对比,实验结果表明,基于食肉植物算法的状态序列搜索方法优于其他启发式算法,生成的正则表达式长度比起其他启发式算法明显缩短,如跟DM算法相比,长度的缩短幅度可以随着自动机阶数的增加达到20%以上,跟随机序列算法相比,可以把长度缩短多个数量级.

摘要：在智能电网的各种设备安全检测中,需要信号源模拟多种故障信号,重复配置大量试验参数。针对这一需求,设计了一个多功能及操作便捷的信号源系统。该信号源系统能够输出多路可调直流、交流信号,还可配置开入量、开出量信号进行状态序列试验,模拟多种运行故障;利用SQLite存取试验数据,可快速进行多种电气试验,提升检测效率;使用混合熵编码与提升格式的小波变换等算法对录波文件(COMTRADE格式)进行压缩,节省存储空间,较对比算法有更高的压缩比和更低的重构误差。经测试,系统能够实现用户自定义的信号调制,模拟电力系统多种故障信号,在工程现场应用取得了良好的效果。

摘要：基于电力系统实时仿真系统可以实现电压、电流量状态序列的精确控制,适用于电力系统测量控制装置的开发、调试应用。采用模块化设计架构,分别设计了状态序列初始化模块、通道切换模块、信号发生模块及序列精确控制逻辑模块,各模块相互协作实现了状态序列的精确控制。在实时仿真系统中进行建模仿真,试验结果表明,所提出的建模方案是有效可行的。

摘要：随着星载软件复杂度的增加,提高软件测试效率对保证软件质量越来越重要,软件的可测试性设计成为提高软件测试效率的关键手段。文中针对星载软件的可测试性设计提出了四种方法:设计可测试的分层体系结构可将软件故障限制在层次范围内;合约式任务模板可规范任务的输入输出,降低任务间的耦合性;状态序列编码可用于动态指示软件的切换与流向;多任务调度记录与堆栈使用记录可用于静态复现一段时间内软件的详细工作过程。可测试性设计方法应用在某项目的软件研制中,软件测试效率有明显提高,证明方法可行有效。