نوشته حاضر ترجمه مقاله زیر است:‎Peter Sarnak‎, ‎What is an Expander?‎, ‎Notices of The American Mathematical Society‎, ‎51 No‎. 7 (2004) 762-763‎پراکندگی یک گراف همراه با همبندی بسیار قوی، ویژگی است که ساختار باسط‌ها را مورد توجه قرار داد. این ساختار تناقض‌گونه موجودیت آن‌ها را نیز تا مدت‌ها انکار می‌کرد. پس از مدتی اگرچه پینسکر(‎‎(pinsker) توانست با یک بحث شمارشی وجود آن‌ها را اثبات کند، اما ه...

چکیده ندارد.

این آزمایش در سال1394 در قالب طرح فاکتوریل و بصورت کاملا تصادفی اجرا شد. میوه ها در 2مرحله و به فاصله  زمانی  15 روزه به سردخانه انتقال داده شدند و پس از بسته بندی به 3دسته و با 3تکرار  تقسیم شدند. و خصوصیات کمی و کیفی شامل جرم تر، مواد جامد محلول، تغییرات درصد ماده خشک، تغییرات وزن جعبه، تغییرات جرم ماده خشک آنها بلافاصله پس از برداشت ارزیابی شد. نتایج بدست آمده نشان داد که طی دوره انبارمانی ب...

تاکنون روش های سراسری متعددی برای حل مسئله طراحی مسیر پیشنهاد شده است که از آن میان روش های گراف پدیداری، دیاگرام ورونویی، درخت چهاروجهی و جبهه موج جایگاه ویژه ای دارند. در این مقاله با ترکیب این چهار روش در یک ساختار واحد، یک الگوریتم طراحی مسیر جدید به نام (hybrid-vqvw) hybrid-visibility-quadtree-voronoi-wavefront ارائه می شود. در این روش در هر فاصله نمونه برداری پس از ساخت چهار مسیر سراسری ر...

در این رساله ابتدا‎ دو‎ دسته نامتناهی از گراف های فولرنی به ترتیب با ‎$‎‎‎10n‎$‎ و ‎$‎‎‎12n‎$‎ راس را در نظر گرفته ، سپس با یک برچسب گذاری مناسب ماتریس مجاورت را محاسبه و ثابت کرده ایم که ماتریس مجاورت دارای خاصیت تقارن مرکزی است. سپس با توجه به ویژگی های این ماتریس ها یک کران پایین و یک کران بالا برای انرژی این دسته فولرن ها بدست آورده ایم. در پرتو این روش و توجه به ماتریس فاصله این دسته فولرن...

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

تاکنون روش‌های سراسری متعددی برای حل مسئله طراحی مسیر پیشنهاد شده است که از آن میان روش‌های گراف پدیداری، دیاگرام ورونویی، درخت چهاروجهی و جبهه موج جایگاه ویژه‌ای دارند. در این مقاله با ترکیب این چهار روش در یک ساختار واحد، یک الگوریتم طراحی مسیر جدید به نام (HYBRID-VQVW) HYBRID-Visibility-QuadTree-Voronoi-WaveFront ارائه می‌شود. در این روش در هر فاصلة نمونه‌برداری پس از ساخت چهار مسیر سراسری ر...

چکیده: وارسی مدل، یک روش خودکار و راهکاری مناسب به­منظور درستی یابی سیستم های نرم افزاری مطمئن است. در این سیستم ها، نمی توان ریسک بروز خطا را حتی در فرآیند تست پذیرفت و لذا لازم است فرآیند درستی یابی، قبل از پیاده سازی و در سطح مدل انجام شود. سیستم های تبدیل گراف، از پرکاربردترین سیستم های مدل­سازی رسمی  و راهکاری مناسب به­منظور مدل­سازی و وارسی سیستم های پیچیده هستند. اما این سیستم ها در فرآی...