免费论文摘要：铁鸟升降架安定性领会

跟着新颖铁鸟体例的日趋搀杂，冗余度的减少，元件的独力作废对体例安定的感化渐渐贬低，而多个元件同声作废的共模妨碍对体例安定的感化变得超过。共模妨碍是搀杂体例中普遍生存的一种关系作废情势[30]，而且，大普遍作废爆发的功夫程序对于体例安定有径直的感化，所以共模性和作废的动静性是感化搀杂体例安定性的要害成分，而保守的安定性领会本领因为不许充溢商量共模妨碍及动静作废的感化，而使得领会截止和如实情景有较大缺点。动静妨碍树经过减少优先与门、功效触发门、贮存门、程序门等功效来扶助刻画搀杂系全部模妨碍和动静作废，然而同声也使得妨碍树的范围有较大幅度减少，为妨碍树领会和计划减少了难度；Petri网模子以接洽搀杂体例的构造构造和动静动作为目的，它着眼于体例中大概爆发的百般状况变革以及变革之间的联系，它是一种可用图形表白的拉拢模子，具备直觉、易懂和容易计划的便宜。本舆论以铁鸟的升降架收放体例安定性领会中的共模妨碍和动静作废题目为接洽东西，从动静妨碍树领会和Petri网模子两个上面举行接洽，试验将共模领会的截止引入到动静妨碍树领会傍边，并接洽了Petri网模子与动静妨碍树领会本领之间的接洽，中心计划了动静论理门向Petri网模子变换的本领。结果以“一个或两个主升降架不许放下或锁定但误引导已放下且锁定"这种作废状况为例，创造保守妨碍树，经过引入功效触发门将共模作废增添到妨碍树模子中，创造动静妨碍树计划出作废率，而且运用软硬件PIPE2将动静妨碍树模子变换为Petri网模子。证领会动静妨碍树和Petri网模子对铁鸟升降架收放体例的体例安定性领会的实用性，而且从模子的刻画本领、直觉水平和领会截止等上面领会了它们比较保守本领的矫正和不及。

来源：半壳优胜鲸鱼幸运星转载请保留出处和链接！

本文链接：http://87cpy.com/200760.html