【摘 要】
：
通过引入命题的真实度模糊值、变迁激发概率、可信度等参数,定义了一种新的模糊Petri网,提出一种嵌入式系统的故障传播模型.该模型充分考虑了软硬件紧密关联关系,把嵌入式系统按照功能模块划分子系统,而不是按照传统习惯根据软件系统和硬件系统来划分.通过研究子系统中故障在子模糊Petri网中运动状态,从而推断故障的原因及其传播途径.最后通过实例展示了具体建模方法和故障传播过程,说明了该模型在嵌入式系统故障
【机 构】
：
北京理工大学计算机学院 北京 100081;北京城市学院信息学部 北京 100083 北京理工大学
【出 处】
：
第十四届全国Petri 网理论与应用学术年会
论文部分内容阅读
通过引入命题的真实度模糊值、变迁激发概率、可信度等参数,定义了一种新的模糊Petri网,提出一种嵌入式系统的故障传播模型.该模型充分考虑了软硬件紧密关联关系,把嵌入式系统按照功能模块划分子系统,而不是按照传统习惯根据软件系统和硬件系统来划分.通过研究子系统中故障在子模糊Petri网中运动状态,从而推断故障的原因及其传播途径.最后通过实例展示了具体建模方法和故障传播过程,说明了该模型在嵌入式系统故障传播研究中的有效性.
其他文献
随着电网的不断发展,电力调度自动化、无人值守变电站已广泛投入使用,电网模拟量数据显的尤为重要.本文就变电站运行所需的模拟信号如何采集做出分析，论述了交流电参量的交流采样技术与直流采样技术及其采样算法，以及直流电参量采集的热电偶测温原理及热电阻测温原理。
为满足调度与变电站一体化系统双网架构下的TCP通信,提出一种基于组播的网卡状态监测与TCP通信方法.该方法包括组播报文监测、智能网卡选择、实时状态判断和未知节点过滤.组播报文监测通过接收对方发送的组播报文监测对方网卡状态;智能网卡选择可以根据对方网卡状态和网络流量等信息选择最优网络进行通信;实时状态判断确保在通信过程中网络发生故障后能够及时中断通信;未知节点过滤能够主动拒绝系统外的未知节点发起的通
提出一种适用于智能变电站多功能测控装置的电参量测量算法融合方法.分析了变电站中稳态遥测测量、同步相量测量、电能量计算的需求,比较三种电参量测量的数据采样、运算处理的特点,提炼出三种测量的共性技术.充分考虑了数字化采样的特点及其带来的数据丢点、通道间不同步等异常处理.通过对算法的融合与优化,实现了单装置完成三种测量功能的集成.在智能变电站多功能测控装置中实现并通过了型式试验.
随着吉安地区电网规模的扩大和无人值班变电站的推广,无人值班变电站内直流系统在吉安地区电网的安全稳定运行起着非常重要的作用,本文首先详细分析了影响直流系统中铅酸阀控蓄电池使用寿命的主要因素,并对吉安电网无人值班变电站直流系统运行及维护现状进行了简单的介绍;同时为完善和提高无人值班变电站的自动化程度,指出对无人值班变电站内直流系统实现远程在线监测的必要性和紧迫性,并结合无人值班变电站直流系统设备实际运
在变电站运行管理由传统模式转变为“调控一体化”模式的今天,变电站自动化系统人机界面的个性化给监控值班员和运维人员带来了极大的困扰.通过总结变电站自动化系统人机界面的现状,明确统一人机界面的重点和目标,进而着重对变电站监控画面与图形操作界面进行统一规范,可以有效的消除不同地区、不同厂家变电站自动化系统产品等因素所带来的差异.
故障位置的准确辨识是电网实现快速恢复供电的基础,本文针对常见的单端辐射状配电网,根据故障行波在电网中传递特点,考虑利用全局行波特征实现故障定位.通过GPS对时技术同步监测各个出线末端的电压行波信号,改进小波分析准确获取广域行波波头抵达时刻,在此基础上提出了一种基于时差关系矩阵的配电网故障区段定位方法.该方法首先根据单端辐射状电网行波传播特性及已知的线路的参数分析初始波头到达时差的理论值,然后,根据
目前分布式电源广泛的接入配电网,对配电网潮流有很大影响.针对传统前推回代法无法处理环网以及各种改进算法存在的问题,提出一种基于前推回代法的解决配电网环网的潮流算法.并基于此提出更新循环功率法解决PV恒定型DG并网潮流计算问题,分别阐述了DGs接入点在环网内和环网外两种情况的计算方法,并提出解决小负荷情况下的导纳矩阵处理方法.最后利用IEEE33节点系统进行仿真,通过对比证明该算法能够有效地解决PV
智能小区是智能用电环节的重要内容,也是实现智能用电的重要途径之一,为满足社会经济快速发展的用电需求,促进节能减排、发展低碳经济,需要加强对电力用户的用能管理,以提高电能使用效率.文章重点论述了智能小区融合通信技术、智能小区关键设备、用能管理架构、光纤抄表等关键技术,并提出了基于电价模拟的能效分析算法,结合福州试点案例进行了说明,结果表明,该方法可以有效实现电网与用户之间的信息交互和能效管理,从而指
本文为一种基于配电网三相潮流状态估计计算的算法,针对配电网模型量大,线路图多,拓扑复杂,配网模型维护工作量大,以及量测配置薄弱,缺少大量采集点的电压及功率量测,数据量实时性不强,三相电流不平衡等实际情况,以带量测的配网开关的三相电流作为状态量,将有量测的配网开关视作一个区段边界点,采用吉文斯正交变换法进行数据分析,再结合逐次型估计辨识法、残差搜索法辨识可疑数据的优势和总体型估计辨识法快速处理多个不
业务流程挖掘是为提高流程运行效率和服务质量的一种改进流程模型的方法,现已成为国内外研究的热点.已有的方法大部分是基于Petri网结构性质的分析方法,在构建行为模型时存在局限性.本文提出一种基于Petri网行为轮廓的业务流程挖掘方法,首先构造日志序列的行为序关系,然后提出基于行为轮廓的模型一致性分析测度方法,在此基础上提出业务流程挖掘方法,最后在PROM5.2平台上进行了仿真实验分析,结果显示了该方