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

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

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

همیشه ما در جستجوی تکنیکی برای تشخیص غیر ساده بودن گروه هستیم. یک روش مناسب برای این کار ساختن همومورفیسمی است که هسته ی آن واقعی و غیربدیهی باشد. یکی از فنون عمل گروه روی مجموعه است که در این حالت همومورفیسمی از گروه g به گروه جایگشتی القا می شود.دو روش کلی دیگر نیز وجود دارد که یکی نظریه ای از نمایش است که در آن همومورفیسمها را از g به گروه خطی عام در نظر می گیریم. سومین تکنیک ساختن همومورفیس...

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

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

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

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

در این تحقیق، اثر جیره­های گلوژنیک و لیپوژنیک همزمان با یک برنامه همزمانی فحلی در جهت کاهش فاصله زایش و بهبود عملکرد شاخص­های تولید­مثلی با استفاده از 90 رأس میش نژاد بلوچی (در سه گروه ) مطالعه شد. میش­های هر گروه به ترتیب از سه جیره با نسبت­های متفاوت از منابع نشاسته و چربی تغذیه شدند. جهت همزمانی فحلی، میش­ها روز 30 آزمایش سیدرگذاری شدند. 14 روز بعد از سیدرگذاری، همزمان با برداشتن سیدر، 400 و...

یکی از شاخه های جدید جبر، جبر ترکیبیاتی است که به ارتباط میان جبر و گراف پرداخته وخواص میان آن ها را بررسی می کند. به مجموعه مقسوم علیه های صفر حلقه گرافی را می توان متناظر کرد که به آن گراف مقسوم علیه صفر می گوییم. در این پایان نامه، به مطالعه گراف خط وابسته به گراف مقسوم علیه صفر حلقه های zn وzn[i] می پردازیم و خواص آن ها را مورد بررسی قرارمی دهیم.