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

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

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

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

روش آنتالپی المان گرین را برای مساله ی استیفن کلاسیک تک فازی با شرط مرزی نیومان به کار می بریم.مشتق زمان هر متغیر وابسته بطور ضمنی یک بار با روش تفاضلات متناهی و یک بار با روش گالرکین المان متناهی تقریب زده میشود و سپس پایداری هر دو روش با روش ون-نیومان بررسی می گردد.

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

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

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

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

فرض کنیم گروه ‎$ a $‎ روی گروه پوچتوان ‎$ g $‎ بوسیله ی اتومورفیسم ها بصورت متباین عمل می کند. فرض کنیم ‎$ chi in irr(g) $‎ کاراکتر تحویل ناپذیری از ‎$ g $‎ باشد که این کاراکتر تحت عمل ‎a‎ پایاست. در این پایان نامه نشان داده می شود که تمام کاراکتر های تحویل ناپذیر ‎$ a $-‎اولیه از یک زیرگروه ‎$ a $‎- پایای ‎$ g $‎ که به ‎$ chi $‎ القا می شوند، دارای درجه برابر هستند. با بکار بردن این نتیجه اطلا...