چکیده با تحلیل مفهوم حجت از منظر لغت و عبارت های نهج البلاغه مشخص شد این واژه در همان معنای لغوی اش یعنی برهان و استدلال بکار رفته است. در ذیلِ عباراتی که به بیان مصادیق حجت پرداخته، مشخص شد از منظر نهج البلاغه عقل، قرآن، پیامبران، ائمه، عمر انسان و وجود هر یک از مخلوقات حجت های الهی هستند که بیشترین تأکید چه به لحاظ کمی و چه به لحاظ کیفی بر دو مصداق از مصادیق حجت یعنی پیامبر و ائمه? گردیده است. البته حجیت پیامبران و امامان به اعتبار عصمت آن دو است که این مطلب برآمده از حکم عقل و نیز سخنان حضرت است. حجت از نگاه حضرت از دو منظر تکوینی و تشریعی ضرورت دارد. از نظر تکوین آنچه را که فلسفه و عرفان بیان می دارد مبنی بر این که خداوند در مقام غیب مطلق برای ظهور نیازمند واسطه ای است که ظرفیت تجلی تمام اسماء و صفات الهی را دارا باشد حضرت در کلام خود از جمله در این عبارت «فَإِنَّا صَنَائِعُ رَبِّنَا وَ النَّاسُ بَعْدُ صَنَائِعُ لَنَا» «همانا ما دست پرورده و ساخته پروردگار خویشیم و مردم تربیت شدگان و پرورده های مایند.» بدان تصریح می نمایند از آنجا که خداوند به طور مستمر هر یوم در شأنی است و این شأن به افاضه ای از وجود اوست پس وجود واسطه ی فیض برای همیشه و به طور مستمر ضروری است. از نظر تشریع شأن حجت بیان اوامر و نواهی الهی است که در قالب هدایت تشریعی انجام می پذیرد، غیر از بیان اوامر و نواهی توسط امام، شأن حکومت برای امام امری عقلی و تشریعی است که این شأن منوط به خواست مردم است که امام? با عبارت «لَوْ لَا حُضُورُ الْحَاضِرِ وَ قِیَامُ الْحُجَّهِ بوُجُود النَّاصِرِ وَ مَا أَخَذَ اللَّهُ عَلَی الْعُلَمَاءِ أَلَّا یُقَارُّوا عَلَی کِظَّهِ ظَالِمٍ وَ لَا سَغَب مَظْلُومٍ لَأَلْقَیْتُ حَبْلَهَا عَلَی غَارِبهَا» بدان تأکید می کنند. یکی از مباحث مهم درباره ی حجت از منظر نهج البلاغه ویژگی های ائمه به عنوان حجج الهی است که مباحث مطرح در نهج البلاغه ذیل این عناوین مطرح شده است: هدایت گری، الگو بودن، نگاهدارندگانِ تعادل دین، درهای معرفت الهی، عامل عبادت خدا، مرجعیت علمی و غایت انسان بودن. ذیل این عناوین روشن می شود در ائمه خصلت ها و ویژگی هایی از طرف خداوند به ودیعه گذاشته شده که انسان ها برای سیر تکاملی بدان نیازمندند، یعنی تنها با مراجعه به امام است که می توان این خصوصیات را کسب کرد.

بیل مکانیکی از جمله تجهیزاتی است که به منظور حفاری، لایروبی و موارد متنوع دیگری به کار می رود. مدلهای استاندارد بیل مکانیکی توسط شرکتهای تجاری بزرگی در سطح دنیا ساخته می شود. به منظور طراحی بیل مکانیکی جدید یا طراحی مجدد آن یه منظور انجام عملیات خاص نیاز به یک شبیه سازی دقیق سینماتیکی و دینامیکی می باشد تا بتوان رفتار آن را در طی عملیات مورد نظر کنترل نمود. در این تحقیق بر اساس روابط رباتیک یک شبیه سازی کامپیوتری از بیل مکانیکی تهیه شده است که به کمک آن می توان رفتار سینماتیکی و دینامیکی آن را مدل کرد. در بررسی سینماتیکی بیل مکانیکی، موقعیت باکت و وضعیت جکهای هیدرولیکی در هر لحظه کنترل میشود. همچنین می توان حرکت بیل مکانیکی را با استفاده از یک سیستم کنترل از راه دور در اختیار گرفت . در بررسی دینامیکی که از روش نیوتن - اولر استفاده شده است ، با نوشتن معادلات حرکت برای هر کدام از بازوها، علاوه بر بدست آوردن سرعت و شتاب هر بازو، نیروهای وارده به جکها و پین ها بدست آمده است . با این کار نوع پین و جکها در شرایط بحرانی انتخاب شده است . همچنین فرآیند پایداری بیل مکانیکی که در طراحی مجدد آن به ابعاد و ظرفیت های بالاتر، اهمیت زیادی پیدا میکند نیز در بدترین شرایط کاری (هنگام تخلیه و هنگام دوران swing) برای مدلهای مختلف بیل مکانیکی بررسی شده است . بدین منظور پارامترهایی از قبیل ابعاد، وزن، سرعت جکها، سرعت دورانی swing، نوع شنی (under carriage) مورد استفاده و وزنه تعادل (stabilizer) مورد بررسی و بهینه سازی قرار گرفته اند. مقایسه نتایج بدست آمده از شبیه سازی مذکور با مشخصات فنی بیل مکانیکی liebherr r912 و همچنین نرم افزار "working model" صحت و دقت بالای برنامه موجود را به اثبات میرساند.