针对航天嵌入式软件(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)模型,设计基于该模型的处理点缓存计算算法、时序偏离概率检测算法和时序序列分析算法。处理点缓存计算算法动态更新缓存空间,使后续时序检测正常执行;时序偏离概率检测算法利用多线程并发模拟时序特性,检测需求中时序偏离问题;时序序列分析算法是基于梯度下降算法,拟合时序序列,指导用户优化需求。该模型相比传统数据流模型更适用航天嵌入式软件,利于后续开发和维护,具有极高的应用价值。展开更多
研究了基于IEC 61970公共信息模型(common information model,CIM)的全景视图、厂站接线图自动生成技术。基于动态图模映射自动关联、最小面积椭圆地理分区算法、厂站布局的释放-压缩算法,在南方电网调度控制中心实现了南方电网110 k V...研究了基于IEC 61970公共信息模型(common information model,CIM)的全景视图、厂站接线图自动生成技术。基于动态图模映射自动关联、最小面积椭圆地理分区算法、厂站布局的释放-压缩算法,在南方电网调度控制中心实现了南方电网110 k V及以上电压等级电网模型的全景拼接基础上自动成图、厂站接线图自动布局成图、地理潮流图自动生成、模型图形的同步更新,并成功应用到EMS等系统,达到了电力系统全景画面集成,提高了电网运行维护效率,为调控中心提供了更为准确、可靠和丰富的电网图形和可视化支持。展开更多
文摘针对航天嵌入式软件(aerospace embedded software,AES)时序需求复杂带来的时序需求定义不准确问题,提出一种基于MARTE(modeling and analysis of real-time and embedded systems)模型的数据流时序(data flow timing based on MARTE,DFT-MARTE)模型,设计基于该模型的处理点缓存计算算法、时序偏离概率检测算法和时序序列分析算法。处理点缓存计算算法动态更新缓存空间,使后续时序检测正常执行;时序偏离概率检测算法利用多线程并发模拟时序特性,检测需求中时序偏离问题;时序序列分析算法是基于梯度下降算法,拟合时序序列,指导用户优化需求。该模型相比传统数据流模型更适用航天嵌入式软件,利于后续开发和维护,具有极高的应用价值。
文摘研究了基于IEC 61970公共信息模型(common information model,CIM)的全景视图、厂站接线图自动生成技术。基于动态图模映射自动关联、最小面积椭圆地理分区算法、厂站布局的释放-压缩算法,在南方电网调度控制中心实现了南方电网110 k V及以上电压等级电网模型的全景拼接基础上自动成图、厂站接线图自动布局成图、地理潮流图自动生成、模型图形的同步更新,并成功应用到EMS等系统,达到了电力系统全景画面集成,提高了电网运行维护效率,为调控中心提供了更为准确、可靠和丰富的电网图形和可视化支持。
