基于Petri网的实时数据交换软件异常控制设计与性能分析

来源 :微计算机信息 | 被引量 : 0次 | 上传用户:wangyizhinihao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在航天测控软件系统中,大量存在各种测量数据在软件间进行交换的情况。而数据交换软件的性能又在很大程度上影响着测控软件的质量。在实时测控应用软件运行过程中出现的一些难于查找和确定的问题中,有很多是由数据交换软件引起的。因此,在进行实时测控应用软件设计时,对数据交换软件的性能进行分析是非常必要的。本文首先建立了实时数据交换软件的Petri网模型,然后对模型进行了化简和动态分析,给出了缓冲溢出的异常控制设计,随后采用基于Petri网的方法对数据交换软件的性能进行了定量的分析与讨论。
其他文献
四零四科技推出全新工业等级IEEE802.11q无线产品AirWorks 1100系列,可同时支持AP/Bridge/AP Client三合一功能。AWK-1100可整合应用于以太网络交换器或其余以太网络设备连网系统
为了提高大型机电设备故障诊断装置诊断结果的可靠性,给诊断装置增加了较完善的自检功能.本文重点论叙了诊断装置中的IO板部分、A/D板部分、液体摆调平部分及其相关电路自检
伟大的革命家、思想家、文学家鲁迅,离开我们整整四十一年了。他无限热爱党,无限热爱伟大领袖毛主席,坚决执行、勇敢捍卫毛主席革命路线,为中国人民解放事业生命不息、战斗不止的
本文针对数控技术、交流伺服系统和足底矫形器加工特点进行研究与分析,首次将交流伺服系统的应用与足底矫形器的设计相结合,开发出交流伺服系统新的应用领域.实验证明,达到了
以本科生综合能力培养为目标,构建模块化的综合实验课程体系,通过推动教师科研工作转化为实验教学模块,改革实验教学方法,强化学生学习主体地位,施行单模块连续化运行模拟科
本文介绍了基于DC-DC转换芯片MAX5026和数字电位器DS1805E的输出电压固定型和连续可调型电路设计,给出了完整的电路图,指出了电路设计中应当注意的问题,并对输出电压连续可调
摘要:藏族文化源远流长,藏文书籍作为记录藏文化的主要载体,对于学习传承藏族文化有着重要作用。通过调研藏族大学生藏文阅读意愿,分析其藏文书籍使用状况,以期为藏族青年群体文化传承、民族院校民文资源开发提供参考。  关键词:西藏高校;藏族;藏文书籍  中图分类号:G645.5;H1 文献标识码:A 文章编号:1003-2177(2020)21-0121-02  藏族大学生作为学习传承藏族文
以单片机作为主控芯片,应用RFID射频识别技术区分电子标签的方法,实现识别不同种类书籍的装置。采用C语言编译软件程序并进行测试,通过软硬件联合调试并进行合理的数据分析。通过在不同图书上粘贴不同的电子标签,将图书馆收回的文史类、理工类以及其他类别图书进行分类,可以较方便地区分图书种类,实现图书的智能管理,同时可以降低图书管理人员的劳动强度。
【正】 长期以来,对于《水浒》的评论,存在着两种思想、两条路线的斗争,存在着历史唯心主义的错误倾向。其中一个论点,就是投降是农民起义的必然结局,并把这种论点叫做“历史
为分析近30年淮河入洪泽湖段岸滩的变化趋势,基于1985—2019年间9幅非汛期(10月—次年1月)的遥感图像,对淮河入洪泽湖段的岸滩进行了快速的水边线提取。结果表明:以八段沟为界分为前后两段,30多年间前段洲滩面积缓慢增长了3%,增长速度约0.056km~2/a,平面形态基本稳定,只是大部分洲滩的洲头洲尾有所延伸;后段洲滩的扩张比较明显,面积增长34.55 km~2约占变化前的67%,增长速度为