针对航天嵌入式软件(aerospace embedded software,AES)时序需求复杂带来的时序需求定义不准确问题,提出一种基于MARTE(modeling and analysis of real-time and embedded systems)模型的数据流时序(data flow timing based on MARTE,DF...针对航天嵌入式软件(aerospace embedded software,AES)时序需求复杂带来的时序需求定义不准确问题,提出一种基于MARTE(modeling and analysis of real-time and embedded systems)模型的数据流时序(data flow timing based on MARTE,DFT-MARTE)模型,设计基于该模型的处理点缓存计算算法、时序偏离概率检测算法和时序序列分析算法。处理点缓存计算算法动态更新缓存空间,使后续时序检测正常执行;时序偏离概率检测算法利用多线程并发模拟时序特性,检测需求中时序偏离问题;时序序列分析算法是基于梯度下降算法,拟合时序序列,指导用户优化需求。该模型相比传统数据流模型更适用航天嵌入式软件,利于后续开发和维护,具有极高的应用价值。展开更多
现有通用电力系统仿真软件自动化和智能化程度不高的问题极大影响了安全稳定分析工作的效率。为此,从工程技术人员的实际需求出发,基于电力系统分析综合程序(power system analysis software package,PSASP)设计并开发了电网智能仿真计...现有通用电力系统仿真软件自动化和智能化程度不高的问题极大影响了安全稳定分析工作的效率。为此,从工程技术人员的实际需求出发,基于电力系统分析综合程序(power system analysis software package,PSASP)设计并开发了电网智能仿真计算工具。该工具通过从数据解析与处理、计算功能优化、结果分析自动化3个方面对现有软件进行了优化,提升工作效率。引入达梦数据库系统,实现海量数据的存储、计算、查询和共享。开发了厂站接线图自动绘制功能,可自动实现元件连接关系的可视化展示。开发了运行方式数据自动生成功能,可形成对应海量运行场景的潮流作业数据。开发了静态安全自动分析功能,可进行N-1开断的自动计算和结果的智能分析与展示。最后,以华中电网安全稳定分析为例,验证了智能仿真工具的实用效果。展开更多
文摘针对航天嵌入式软件(aerospace embedded software,AES)时序需求复杂带来的时序需求定义不准确问题,提出一种基于MARTE(modeling and analysis of real-time and embedded systems)模型的数据流时序(data flow timing based on MARTE,DFT-MARTE)模型,设计基于该模型的处理点缓存计算算法、时序偏离概率检测算法和时序序列分析算法。处理点缓存计算算法动态更新缓存空间,使后续时序检测正常执行;时序偏离概率检测算法利用多线程并发模拟时序特性,检测需求中时序偏离问题;时序序列分析算法是基于梯度下降算法,拟合时序序列,指导用户优化需求。该模型相比传统数据流模型更适用航天嵌入式软件,利于后续开发和维护,具有极高的应用价值。
文摘现有通用电力系统仿真软件自动化和智能化程度不高的问题极大影响了安全稳定分析工作的效率。为此,从工程技术人员的实际需求出发,基于电力系统分析综合程序(power system analysis software package,PSASP)设计并开发了电网智能仿真计算工具。该工具通过从数据解析与处理、计算功能优化、结果分析自动化3个方面对现有软件进行了优化,提升工作效率。引入达梦数据库系统,实现海量数据的存储、计算、查询和共享。开发了厂站接线图自动绘制功能,可自动实现元件连接关系的可视化展示。开发了运行方式数据自动生成功能,可形成对应海量运行场景的潮流作业数据。开发了静态安全自动分析功能,可进行N-1开断的自动计算和结果的智能分析与展示。最后,以华中电网安全稳定分析为例,验证了智能仿真工具的实用效果。