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

هدف مقاله مطالعۀ تعداد مرکزسازها در گروههای متناهی است و احکامی دربارۀ گروههای متناهی با n مرکزساز ارائه می شود.

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

.در این مقاله ابتدا به تبیین سیر تاریخی پیدایش توپولوژی زاریسکی روی حلقه های چندجمله ای های با ضرایب مختلط می پردازیم. سپس، برای حلقه جابجایی و یکدار مفروض k، قصد داریم یکی از ساختارهای موجود روی دوگان رسته k-جبرهای متناهی نمایش را که می تواند به روش مشابهی به رسته l، یعنی دوگان رسته ی همه ی c^infinity-حافه های متناهی مولد تعمیم داده شود معرفی می کنیم. آن، سایت زاریسکی است..در این مقاله ابتدا ب...

.در این مقاله ابتدا به تبیین سیر تاریخی پیدایش توپولوژی زاریسکی روی حلقه های چندجمله ای های با ضرایب مختلط می پردازیم. سپس، برای حلقه جابجایی و یکدار مفروض $k$، قصد داریم یکی از ساختارهای موجود روی دوگان رسته $k$-جبرهای متناهی نمایش را که می تواند به روش مشابهی به رسته $L$، یعنی دوگان رسته ی همه ی $C^infty$-حافه های متناهی مولد تعمیم داده شود معرفی می کنیم. آن، سایت زاریسکی است..در این مقاله اب...

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

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

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