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

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

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

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

یکی از کاربردهای اساسی قضایای ناتمامیت گودل در فلسفه، نقش آن‌ها در استدلال‌هایی است که بین ذهن انسان از یک طرف و یک الگوریتم (ماشین) یا نظام صوری متناهی از طرف دیگر مقایسه به عمل می‌آورند. دو استدلال متمایز در این زمینه مطرح گشته است. در هر دو استدلال درک صدق جملة گودل توسط انسان، به عنوان ملاکی برای تفوق بر هر ماشینی قلمداد شده است. اما ایرادهایی چند بر هر دو استدلال وارد است. در این مقاله با ...

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

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

یکی از کاربردهای اساسی قضایای ناتمامیت گودل در فلسفه، نقش آن ها در استدلال هایی است که بین ذهن انسان از یک طرف و یک الگوریتم (ماشین) یا نظام صوری متناهی از طرف دیگر مقایسه به عمل می آورند. دو استدلال متمایز در این زمینه مطرح گشته است. در هر دو استدلال درک صدق جمله گودل توسط انسان، به عنوان ملاکی برای تفوق بر هر ماشینی قلمداد شده است. اما ایرادهایی چند بر هر دو استدلال وارد است. در این مقاله با ...

چکیده ندارد.

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