电网调度数据随报随收RPA程序的设计与实现

针对地区电网调度制作日报表每天都要在夜间收集大量所辖发电厂和大用户报送的数据这一工作特点,结合多年从事电网调度工作的经验,采用Windows版微信(或i国网)作为接收平台,运用按键精灵和大漠插件、LazyOffice办公插件为开发工具,设计开发用于地区电网调度数据随报随收的机器人流程自动化(RPA)程序,介绍该系统的设计思路和数据随报随收的流程及实现细节。为避免携带病毒和保证数据安全,保存在外网电脑上的传递文件采用纯文本密文格式。实际应用结果表明,本程序可有效降低调度员手动记录数据次数,提高工作效率,为电网调度工作提供一定参考。

基于插桩和布尔逻辑的运行时程序验证框架

针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA。定义一种用于描述运行时程序性质和规范的动态逻辑语言RPAL,实现自动化插桩以收集运行时程序状态信息,设计一个支持高效验证的句子调度算法。实验结果表明,结合合适的谓词扩展,RPA可以有效地验证和分析软件逻辑,发现潜在的软件错误。