ضرب کرونکر دو ماتریس که با ‎$ Aotimes B $‎ نشان داده می‌شود، دارای خواص جالبی است که باعث شده در زمینه‌های مختلف اعم از پردازش سیگنال، پردازش تصویر و همچنین در محاسبات کوانتومی به‌طور گسترده‌ای مورد استفاده قرار گیرد. این ضرب خواصی هم‌چون وارون‌پذیری، تعامد، مثلثی، تقارن و بسیاری از خواص دیگر را حفظ می‌کند. اگر ‎$ A $‎ یک ماتریس صفر و یک و یا ماتریس مجاورت یک گراف باشد، توان‌های کرونکری آن منجر...

گونه های linariagolestanensis وlinaria mazandaranensis از ایران نامگذاری و معرفی می شوند. این گونه ها متعلق به بخش speciosae هستند و با گونه l. genistifolia مقایسه می شوند. گونه l. mazandaranensis با گونه  l. genistifolia در طول پرچم، مهمیز، دم گل، جام، اندازه سلول های پوششی دانه، ضخامت دیواره کپسول، طول و عرض سلول های پوششی کپسول، تزئینا ت سطح کپسول و شکل سلول های پوششی کپسول اختلاف دارد. از ط...

از جمله راه کارهای عملی برای کنترل علف­های هرز، کشت گیاهان پوششی زمستانه مانند گندم و جو می­باشد. به منظور بررسی اثر گیاهان پوششی و مقادیر مختلف نیتروژن بر کنترل علف­های هرز در کشت کلزا، آزمایشی مزرعه­ای به صورت کرت­های خرد شده در قالب طرح بلوک­های کامل تصادفی با سه تکرار در سال زراعی 1393 - 1392 در مزرعه تحقیقاتی دانشکده کشاورزی دانشگاه شیراز اجرا شد. تیمارها شامل سطوح نیتروژن (75 و 150کیلوگرم...

  در این تحقیق با استفاده از دوگانی AdS/CFT به مطالعۀ طولِ پوششی کوارکونیوم­ها در حضورِ تصحیحاتِ ثابتِ جفت شدگی می­پردازیم. اثر این تصحیحات بر طول پوششی زمانی که باد پلاسمایی در جهت عمود بر کوارکونیم می­وزد بررسی می­شود. نشان داده می­شود که طولِ پوششی به ثابتِ جفت­شدگی نیز وابسته است و برای یک سرعتِ ثابت، با کاهش ِ طولِ پوششی هم کاهش می­یابد.

سابقه و هدف: به منظور بررسی تأثیر کاشت گیاهان پوششی زمستانه بر خصوصیات کیفی و درآمد توتون تیپ گرم‏خانه‏ای (K326) آزمایشی به صورت اسپلیت پلات با طرح پایه بلوک‎های کامل تصادفی و در 4 تکرار در مرکز تحقیقات توتون تیرتاش در سال زراعی 1391-1390 انجام شد. گیاهان پوششی شامل (گندم، شبدربرسیم، ماشک گل‏خوشه‏ای و خلر) و مدیریت مالچ شامل (علف‎کش گلیفوسیت، پاراکوات و کف‎بر نمودن گیاهان پوششی) و شاهد (بدون گی...

یکی از مسائل مهم راه آهنها برنامه ریزی حرکت قطارها بخصوص قطارهای مسافری است که بوسیله ترسیم یک گراف مادر انجام میشود. در این گراف, که در واقع یک نمودار زمان – فاصله است و معمولاً توسط افراد باتجربه ترسیم می شود, زمان شروع حرکت و رسیدن قطارها به ایستگاههای بین راه و توقفهای لازم در ایستگاهها بعلاوه محل تلاقی با سایر قطارها که از روبرو در حال حرکت هستند نشان داده میشود. در این مقاله ابتدا یک مدل ...

زمان‎بندی درس های دانشگاه یک مسئلۀ پیچیدۀ بهینه‏سازی است. عوامل زیادی مانند گروه های آموزشی، استادان، اتاق ها و دانشجویان، مسئله را بزرگ و حل آن را دشوار می‎کنند. هر عامل، مجموعه‎ای از محدودیت ها را که معمولاً با هم در تضاد هستند، بر فضای حل تحمیل می کند. اگر درس ها در اتاق های متفاوت و در بازه های زمانی معین به‎گونه ای زمان‎بندی شوند که مجموعه محدودیت ها را برآورده کنند، مسئله حل خواهد شد. در ا...

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

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

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