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

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

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

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

این پژوهش با هدف تعیین اثربخشی ترسیم‎‎گری گروهی بر کاهش پرخاشگری دانش­آموزان پسر دارای اختلال نارسایی توجه/ فزون‎کنشی و با طرح­ آزمایشی دوگروهی با پیش­آزمون و پس­آزمون انجام شد. 24 دانش­آموز به صورت نمونه­برداری چندمرحله­ای از بین کل ­دانش­آموزان فزون کنش-پرخاشگر مدارس ابتدایی ناحیه 3 شهر کرمانشاه در سال تحصیلی 94-93 به عنوان گروه نمونه انتخاب و به‎ تصادف در دو گروه آزمایش وکنترل گمارش شدند. اب...

مقدمه: هدف اصلی پژوهش حاضر مقایسه سرعت یادگیری و انتقال اطلاعات در نیمکره های مغز دختران و پسران دانشجو است. روش: در این پژوهش تعداد 60 نفر (30 دختر و 30 پسر) از دانشجویان روان‏شناسی دانشگاه آزاد اسلامی واحد رودهن که در نیمسال اول تحصیلی 1394-1393درس روان‏شناسی تجربی داشتند انتخاب شدند و حجم نمونه را تشکیل دادند. برای سنجش عملکرد نیمکره های مغز در این آزمون از دستگاه ترسیم در آینه استفاده شد تا...

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

مقدمه: روش‌های فرافکن و از جمله آن‌ها آزمون‌های ترسیمی توجه بسیاری از روان‌شناسان و درمانگران را برای شناسایی اختلالات روانی کودکان به خود جلب کرده‌اند. پژوهش حاضر به منظور مقایسه‌ی شاخص‌های ترسیمی آزمون ترسیم خانواده‌ی جنبشی در کودکان عادی و طلاق انجام شد.روش‌کار: حجم نمونه‌ی این پژوهش توصیفی علی-مقایسه‌ای شامل 60 دانش‌آموز پسر (30 فرزند طلاق و 30 فرزند عادی) در شهر بجنورد در فروردین و اردیبهش...

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

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