基于变异技术的程序故障自动化修复方法

结合故障定位技术,提出了一种基于变异的程序故障自动化修复方法,并采用该方法阐释了C程序表达式故障的变异修复机制,研制了C程序故障自动化修复辅助工具。通过对实际故障系统案例的分析,证明了方法的有效性。

煤矿信息系统自动化运维服务平台研究

针对煤矿信息系统运维工作面临的业务系统软硬件结构复杂多样、运维工作繁重、缺乏自动化的监测和故障处置手段等问题,为提升运维质量,设计并研发了煤矿信息系统自动化运维服务平台软件。平台利用运维工具Zabbix实时监测服务器、网络设备、应用程序等资源的运行状态和资源消耗,采用多种告警方式提供故障告警;建立了故障判识和修复策略,实现故障的“主动式”运维;构建了基于Elasticsearch的故障处置方案知识库,智能匹配并推送故障诊断和处理方案,运用移动终端推送故障分析结果与运维任务执行情况。现场应用表明:该平台可有效提升矿井运维人员故障解决效率。

基于虚拟仪器的航天器外热流系统设计

传统的航天器外热流测控系统处理大数据能力差,缺乏自整定PID控制策略和故障定位处理机制,控制周期过长,控制精度差及程序维护性差等;为了解决上述问题,开发了一种基于虚拟仪器的航天器真空热试验外热流系统,使用了多线程低耦合的软件队列处理框架,采用了自顶向下逐步细化的整体分层设计,将各个功能独立模块化编写,方便开发人员并行开发,便捷的应对程控电源和温度采集设备更新带来的软件维护需求;新增故障处理机制,迅速定位并自动修复故障,保证了试验长期运行的稳定性;新增自整定PID算法,解决了航天器热试验过程中存在的非线性、参数时变性和模型不确定性问题,提高了控温精度,减少试验准备时间;软件同时具备试验数据管理和报表生成等功能,温度误差范围为±0.4℃,具有较高工程应用价值。