嵌入式实时系统的软件需求检测

以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该模型的检测方法.由于DEM能将控制流、数据流和时间有效地集成为一体,故提出的检测方法能检测嵌入式实时系统的软件需求的一致性和完全性.该检测方法由3种侧重点不同的检测形式组成,并能在检测过程中提供一些重要的检测信息.分析员可以利用基于该检测方法的工具灵活地对嵌入式实时系统的软件需求进行检测,以提高分析和检测软件需求的效率.

基于光纤传感技术的输电线路在线监测技术的研究

基于光纤传感器技术的输电线路在线监测技术中具有良好的发展前景。本文首先对光纤光栅传感器设计中的性能、温度应力交叉以及系统结构进行分析,然后对锥形光纤传感器的设计做出探究,结合研究结果,提出几点能够让输电线路在线监测中光纤传感技术得以实现的方法。