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

امروزه علیرغم وجود روشها و ابزار پیشرفته حمل و نقل و نگهداری میوه و سبزیجات؛ یکی از روش های متداول حمل و نقل و نگهداری میوه استفاده از جعبه های مخصوص حمل و نقل میوه می باشد که به صورت گسترده در صنعت و بازار مورد استفاده می باشد. محصول انباشته شده درون این جعبه ها بر اثر نیروها وتنش های ناشی از انباشتگی، طول مدت انبارداری، تهویه نامطلوب درون جعبه و دیگر عوامل در معرض آسیب دیدگی و خرابی می باشند....

یکی از مسائل مهم دنیای امروز تصمیم گیری در ارتباط با استفاده بهینه از منابع و برنامه ریزی برای تولید و بهره روری بالاتر در صنایع تولیدی است. استفاده از ریاضیات و روش های حاصل از آن در حل مسائل تصمیم-گیری روند چشمگیری داشته است. از جمله این روش ها برنامه ریزی خطی و غیرخطی می باشد که رویکردهای بهینه سازی نیز در آن رعایت می شود. این پژوهش با هدف طراحی و ارائه مدل برنامه ریزی ریاضی برای خوراک، محصو...

بهینه‌سازی شبکه‌های آبیاری تحت فشار به منظور کاهش دادن هزینه‌ها تاکنون تحقیقات بسیاری را به خود اختصاص داده است. در این تحقیقات غالباً بهینه سازی با استفاده از کد های آماده و یا جعبه ابزار های متداول انجام شده است. کد توسعه داده شده در این تحقیق که مبتنی بر بهینه سازی به روش الگوریتم ژنتیک می باشد به هر یک از قطر های موجود در بازار یک عدد صحیح اختصاص می دهد. سپس با انجام عملیات تقاطع، جهش و جایگ...

روش های تحلیل پوششی داده های استادندارد برای ارزیابی کارایی واحد های تصمیم گیرنده به کار برده می شوند و ساختارهای داخلی آن هارابه صورت یک جعبه سیاه در نظر می گیرند. یک زنجیره تأمین شبکه ای از تجهیزات و امکانات توزیع است که عملیات تأمین مواد، تبدیل مواد به محصولات نیم ساخته و نهایی و توزیع محصولات نهایی در بین مشتریان را بر عهده دارد. مدل های dea استاندارد به دلیل وجود اندازه های میانی که این ...

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

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

در این نوشتار، ضمن تشریح مبانی جریال سیال و روش های مدل سازی رفتار هیدرولیک در محیط های سنگی، مطلوب ترین روش برای مدل سازی جریان سیال در محیط ناپیوسته ی سنگی و برای مسائل میدان نزدیک، انتخاب و توسعه داده شده است. بدین منظور، یک کد محاسباتی به نام f n e t f برای ساخت شبکه ی شکستگی مجزا و تحلیل عددی جریان سیال در شبکه ی شکستگی توسعه داده شده است. در ادامه، این کد محاسباتی با استفاده از داده های م...

مقدمه: تا مدت ها پیش تنها اختلالات حرکتی بیماری پارکینسون مورد توجه محققین بود، لیکن اختلالات شناختی و حافظه از علائم غیر حرکتی این بیماری است که قبل از علائم کلینیکال ظاهر می گردند. لذا در این تحقیق تزریق نوروتوکسین 6-هیدروکسی دوپامین ( 6-ohda ) در مناطق متراکم جسم سیاه دو طرف مغز انجام شدکه با توجه به ارتباط عصبی بین جسم سیاه مغز میانی و هیپوکمپ، منجر به استرس اکسیداتیو در هیپوکمپ گردیده متعا...

این مقاله برای بازار سیاه یا دوگانه ارز، مدلی ارائه می دهد. به نظر می رسد نرخ ارز در این بازار، تابعی است رسمی، نرخ تعادلی (غیر قابل مشاهده)، میزان سود حاصل از فعالیت در بازار سیاه و سیست دولت در مورد سطح ذخائر ارزی. این مدل برای ده کشور و برای دوره زمانی 1957 تا 1983 آزمایش می شود. نتیجه آزمایش مؤید ارزش تئوریک مدل است. همچنین این مقاله یک تست کارآئی بازار سیاه ارز به شکل «ضعیف» نیز ارائه می د...