گراف تسلط کلمات دودویی، گرافی است جهت‌دار با مجموعه رئوس تمام کلمات دودویی به طول n که با نماد (Γ_n ) ⃗ نشان داده می‌شود، برای هر رأس دلخواه w=w_1 w_2⋯w_n از آن قرار می‌دهیم B_1 (w)={1≤i≤n|w_i=1} و دو رأس v و w را با پیکان جهت‌دار v→w به هم وصل می‌کنیم هرگاه داشته باشیم B_1 (w)⊆B_1 (v). در این مقاله، به مطالعه و محاسبه برخی پارامترهای این گراف می‌پردازیم؛ به عنوان مثال، پس از محاسبه فاصله هر دو ...

نوشته حاضر ترجمه مقاله زیر است:‎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 ارائه می شود. در این روش در هر فاصله نمونه برداری پس از ساخت چهار مسیر سراسری ر...

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

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

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

در این مقاله به مطالعه و بررسی مسایل مکان یابی 2- مرکز ناخوشایند پشتیبان روی گراف های درختی پرداخته می شود. هدف پیدا کردن بهترین مکان روی مجموعه راسی درخت داده شده جهت تاسیس دو سرویس دهنده ی ناخوشایند می باشد به طوری که نزدیک‏ترین فاصله ی مورد انتظار بین مشتریان موجود و سرویس دهنده های فعال ماکزیمم گردد با فرض آنکه هر سرویس دهنده ممکن است با یک احتمال مشخص از ارایه ی خدمات قصور نموده و در این ص...

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