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

یکی از راهکارهای کاهش تلفات در شبکه​های توزیع استفاده از تجدید آرایش فیدرهای فشار متوسط متناسب با سطوح بار مختلف سیستم است. تعداد آرایش​های ممکن یک شبکه­ی توزیع بسیار زیاد است و امکان بررسی تمام آرایش​ها (مخصوصاً در شبکه​های با مقیاس بزرگ) برای یافتن آرایش بهینه به راحتی میسر نیست. در این مقاله یک الگوریتم جدید مبتنی بر نظریه­ی گراف و الگوریتم­های توسعه یافته­ی آن برای تجدید آرایش شبکه​های توزیع...

تاثیر زمان برداشت و نوع پوشش بر برخی شاخص های کمی و کیفی میوه سیب (رد دلیشز) ناصر کاظمی*1، محمد غلامی پرشکوهی، داود محمد زمانی3 چکیده: این پژوهش در سال1394 در قالب طرح فاکتوریل و بصورت کاملا تصادفی اجرا شد. میوه­ها در 2 مرحله و به فاصله زمانی  15 روزه به سردخانه انتقال داده شدند و پس از بسته بندی به 3 دسته و با 3 تکرار  تقسیم شدند. و خصوصیات کمی و کیفی شامل جرم تر، مواد جامد محلول، تغییرات درص...

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

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

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

فرض کنید $g$ یک گروه ناآبلی و $z(g)$ نمایانگر مرکز آن باشد. به این گروه، گراف $ gamma_g$ را به این گونه نسبت می دهیم: $g setminus z(g)$ مجموعه راس های گراف باشد و بین دو راس $x,y$ یال باشد اگر و تنها اگر $xy eq yx$. در این پایان نامه چگونگی تاثیر خواص $gamma _g$ بر گروه $g$ را مورد بررسی قرار داده و سه انگاره اساسی را بررسی خواهیم کرد. در این سه انگاره همواره فرض بر این است که $g$ و $h$ دو گروه...

در برابر رویکرد معرفت شناسی دکارتی که بر پای? تفکیک انسان فاعل ( سوژه ) از جهان عینی ( ابژه ) استوار است، نوگرایی پدیدارشناسی هوسرل ، مرزی بین این دو نمی‌شناسد و فاعل و مفعول را در هم کنشی دیالکتیکی با هم می فهمد. بدین ترتیب « من » دکارتی جهان-آگاه در دید نوگرایی ، موجودی پیراسته و ماندگار و دگرگون ناپذیر و جدا از « غیر » و جهان نیست و هر گونه آگاهی از بن اندیشه‌ور است. « لوییزا لطفا به خانه بر...

انرژی و انرژی لاپلاسین (بدون علامت) کمیت هایی هستند که به ترتیب برحسب مقادیر ویژه و مقادیر ویژه لاپلاسین )بدون علامت ( تعریف می شوند. مقادیر ویژه و مقادیر ویژه لاپلاسین )بدون علامت) گراف g که همان مقادیر ویژه ماتریس مجاورت و ماتریس لاپلاسین (بدون علامت) هستند، اهمیت زیادی در مطالعه ویژگی های گراف دارند. در این پایان نامه سعی بر این است که برخی از کران های انرژی لاپلاسین و لاپلاسین بدون علامت ...