سیستم بازنویسی ترم (trs) یک مدل محاسباتی است که به دلیل قابلیت های خوبی که دارد در تحلیل زبان های تابعی از آن استفاده می شود. یک سیستم بازنویسی ? رابطه ای روی ترم های منطقی مرتبه اول است، بطوریکه برای هر ?? (l, r) شرایط ، l??? و ??ar(l) ? ??ar(r) برقرار باشد. مجموعه ??ar(t)شامل متغیرهای ظاهر شده در ترم t می باشد. پایان پذیری یک ویژگی ضروری برای زبان های تابعی است. سیستم ? پایان پذیر است اگر دن...

تعمیر و نگه داری برای افزایش بهره وری و کاهش زمان از کار افتادن تجهیزات که منجر به کاهش تولید می گردد، یکی از موارد مهم تاثیر گذار در بهره وری و افزایش راندمان یک سیستم صنعتی می باشد. به ویژه در صنعت برق مطالعه و پژوهشهای گوناگونی صورت گرفته است. یکی از روشهای متداول کنونی در صنعت برق بازدید بصری خطوط انتقال و شبکه توزیع می باشد. این روش علاوه بر هزینه و نیاز به نیروی انسانی با تجربه، از دقت نا...