保证所得 meaning in Chinese

guarantee income

In this paper , a structural methodology for bottom - up synthesis of petri nets for 1c flexible manufacturing systems is presented for the first time . with the help of a guarantying policy of liveness , a live , bounded and reversible final model can be obtained by merging different submodels through what is called autonomy subnet sharing among them . to demonstrate the application of the method , a flexible manufacturing system of integrated circuits is modeled and analyzed using the proposed theory
本文首次提出了一种面向集成电路柔性制造系统的基于共享“自治子网”融合和活性保证策略的“至底向上”的petri网结构化建模方法，在理论上证明了该方法保证所得模型的活性、有界性和可逆性，并且利用该方法与着色petri网结合，对一个集成电路柔性制造系统进行了全面的建模和分析。