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

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

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

روابط بین یک مجموعه ی خودوارون که یک دوتایی (p,i) است به طوری که pیک مجموعه ی ناتهی و i یک زیر مجموعه از جایگشت های خودوارون p است را با گراف ها بیان می کنیم. و رابطه ای که ساختارهای انعکاسی و مجموعه های خودوارون نیمه منظم با هم دارند را بررسی می کنیم. نشان می دهیم متناظر با یک سیستم یه تایی اشتاینر یک شبه گروه نیمه متقارن خودتوان وجود دارد و برعکس از هر شبه گروه نیمه متقارن خودتوان می توان ب...

فرض کنید a,b حلقه های جابجایی یکدار،j ایده آل b و f یک همریختی حلقه ای باشد. زیر حلقه ای از حاصلضرب دکارتی aو b را در نظر بگیریدکه متشکل از تمام زوج های مرتب (a,f(a)+j) به ازای a عضو a و j عضو j باشد. این ساختار ادغام a با b در طول j نسبت به f نامیده می شود و توسط دوآنا، فونتانا و فینوکیارو معرفی شده است.این سه نفر نشان داده اند که با فرض کوهن-مکالی بودن a و متناهی مولد بودن j و مشمول بودن j در...

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

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

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

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