گراف تسلط کلمات دودویی، گرافی است جهت‌دار با مجموعه رئوس تمام کلمات دودویی به طول 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) توانست با یک بحث شمارشی وجود آن‌ها را اثبات کند، اما ه...

چکیده ندارد.

متناظر با هر زوج از اعداد صحیح مثبت ‎ $n‎$‎‎ و‎ $k‎‎geqslant2$ ‎ یک گراف جهت دار مکر‎ر ‎$ ‎gamma(n,k)‎ $‎‎ وجود دارد که مجموعه رئوس آن اعضای مجموعه $ h=‎lbrace0,1,‎‎ldots‎,n-1‎ brace‎‎‎ $ است به طوری که بین دو رأس‎‎ $ a $‎ و $ b $ در ‎$ h $‎ یک یال جهت دار وجود دارد هرگاه $ a‎^{k}‎equiv ‎b‎‏ ‎‎(‎operatorname{mod}:n) $. در ابتدا دو زیرگراف جهت دار $‎gamma‎_{1}‎‎(n,k)$ و $‎g...

این آزمایش در سال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 ارائه می شود. در این روش در هر فاصلة نمونه برداری پس از ساخت چهار مسیر سراسری ر...

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