نام پژوهشگر: منیژه قیصری گودرزی

کران های قابلیت اعتماد سیستم های منسجم با مولفه های مستقل
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه لرستان - دانشکده علوم پایه 1392
  منیژه قیصری گودرزی   محمد حسین پورسعید

سال های اخیر، حوزه ی قابلیت اعتماد سیستم های منسجم توجه بسیاری از پژوهشگران را به سوی خود جلب کرده است. در این تحقیق یک کران پایین با استفاده از مسیر های مینیمال و یک کران بالا با استفاده از قطع کننده های مینیمال برای قابلیت اعتماد سیستم های منسجم در حالتی که مولفه ها مستقل (نه الزاما مشابه) هستند به دست آورده شده است. تلفیق این کران ها با کران های ایزاری و پروشان (1963) زمینه ی ارایه ی برخی از قضایای حدی را برای قابلیت اعتماد سیستم های منسجم بزرگ و در حالت کلی فراهم می کند.