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

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

فرض کنید r حلقه جابجایی و نوتری و m یک r -مدول متناهیا تولید شده باشد. فرض کنید i ایده آلی از r باشد که توسط عناصر دنباله ای از عناصر تولید میشود. میدانیم مدولهای کوهمولوژی موضعی در حالت کلی با تولید متناهی نیستند. فرض کنیدt بزرگترین اندیسی باشد که مدول کوهمولوژی موضعی با تولید متناهی نیست. آنرا بعد متناهی بودن مدول کوهمولوژی موضعی m نسبت به آن ایده آل گوئیم. در این پایان نامه هد...

در این تحقیق روش d.q. بررسی و مقایسه آن با سایر روش های متعارف همانند اجزاء محدود، تفاوت های محدود و جواب تحلیلی انجام گردیده است . همچنین با در نظر گرفتن تغییر شکل های برشی و تاثیر anisotropy در رفتار صفحات ، فرکانس ها، تغییر مکانها و نیروها مورد بررسی قرار گرفته اند که منجر به نوشتن برنامه کامپیوتری که ذیلا بطور خلاصه معرفی می گردد شده است . برنامه difqalp به زبان visual basic نوشته شده است و...

این رساله در دو بخش تدوین یافته است. بخش اول به توسعه روش تحلیل ایزوژئومتریک برای حل معادلات دیفرانسیل با ضرایب متغیر حاکم بر مسایل یک بعدی، دوبعدی تک متغیره و دوبعدی چند متغیره اختصاص یافته است. لذا در این بخش مفهوم وصله های با خواص متغیر برای اولین بار معرفی شده است که خود سبب ایجاد جامعیت بیشتر روش ایزوژئومتریک در مواجهه با مسائل مختلف می شود؛ از این رو نام ”روش ایزوژئومتریک جامع” برای آن ان...

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

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

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

مدل‌سازی انتشار امواج با استفاده از روش تقاضل متناهی در حیطه فرکانس FDFD (frequency domain finite-difference) در مدل‌سازی‌‌های لرزه‌‌ای چند‌چشمه‌ای (multi-source) و به‌‌ویژه در توموگرافی شکل موج (waveform tomography) کاربرد گسترده‌ای دارد. در این مقاله، مدل‌سازی انتشار امواج در محیط آکوستیکی دوبعدی ناهمگن مورد بررسی قرار می‌گیرد. برای این منظور از تقریب مرتبه دوم معادله موج آکوستیک در حیطه فرکا...