قضیهی مایهیل- نرود یکی از قضایای اساسی در نظریهی زبانها و اتوماتا است و برای اثبات همارزی اتوماتاها و زبانهای آنها استفاده میشود. اهمیت این قضیه موجب شده تا پژوهشگران تلاش نمایند آن را روی اتوماتاهای مختلف گسترش دهند و به نوعی در زمینهی بهینه سازی مدلهای محاسبا أکثر
قضیهی مایهیل- نرود یکی از قضایای اساسی در نظریهی زبانها و اتوماتا است و برای اثبات همارزی اتوماتاها و زبانهای آنها استفاده میشود. اهمیت این قضیه موجب شده تا پژوهشگران تلاش نمایند آن را روی اتوماتاهای مختلف گسترش دهند و به نوعی در زمینهی بهینه سازی مدلهای محاسباتی گام بردارند. در این مقاله، به توسعهی مفهوم همنهشتی در اتوماتای فازی عمومی بر پایهی این قضیه میپردازیم. بدین منظور، ابتدا با استفاده از مفهوم همنهشتی راست فازی روی یک تکوارهی آزاد، اتوماتای فازی عمومی القا شده توسط همنهشتی راست فازی را تعریف میکنیم. در ادامه، با استفاده از مفهوم زبان شناسایی شده توسط یک اتوماتا، نشان میدهیم که در این اتوماتای القا شده یک زبان قابل شناسایی است، اگر و تنها اگر توسیعی از همنهشتی راست فازی روی تکوارهی آزاد باشد. در نتیجه، این زبان شناسایی شده با زبان بخش صریح اتوماتای فوق یکسان است. همچنین، همنهشتی راست فازی نرود و همنهشتی فازی مایهیل متناظر با یک اتوماتای فازی عمومی ماگزیمال-مینیمال را تعریف میکنیم و نشان میدهیم زبان شناسایی شده بوسیلهی اتوماتای فازی عمومی ماگزیمال-مینیمال با زبان شناسایی شده بوسیلهی اتوماتای فازی عمومی ماگزیمال-مینیمال القا شده توسط همنهشتی راست فازی نرود یکسان است. در پایان، با ارائهی مثالهایی مفاهیم فوق را روشن میسازیم.
تفاصيل المقالة
فرض کنیم R یک حلقه همراه با درونریختیσ، F∪{0} یک تکوار آزاد تولید شده توسط U={u_1,…,u_t} همراه با صفر و M یک تکوار خارج قسمتی از F باشد، به طوری که عددی طبیعی مانند n موجود باشد که داشته باشیم M^n=0. دراین مقاله شرایطی را برای حلقه R بیان میکنیم که ت أکثر
فرض کنیم R یک حلقه همراه با درونریختیσ، F∪{0} یک تکوار آزاد تولید شده توسط U={u_1,…,u_t} همراه با صفر و M یک تکوار خارج قسمتی از F باشد، به طوری که عددی طبیعی مانند n موجود باشد که داشته باشیم M^n=0. دراین مقاله شرایطی را برای حلقه R بیان میکنیم که تحت آن حلقه تکوار R*M شبه آرمنداریز گردد و به کمک آن ردههای بزرگی از حلقههای شبه آرمنداریز غیر نیم اول را ارائه میکنیم.فرض کنیم R یک حلقه همراه با درونریختیσ، F∪{0} یک تکوار آزاد تولید شده توسط U={u_1,…,u_t} همراه با صفر و M یک تکوار خارج قسمتی از F باشد، به طوری که عددی طبیعی مانند n موجود باشد که داشته باشیم M^n=0. دراین مقاله شرایطی را برای حلقه R بیان میکنیم که تحت آن حلقه تکوار R*M شبه آرمنداریز گردد و به کمک آن ردههای بزرگی از حلقههای شبه آرمنداریز غیر نیم اول را ارائه میکنیم.
تفاصيل المقالة
در این مقاله مفهوم C_v-انژکتیوی از S-سیستم های روی تکواره ها را مورد مطالعه قرار میدهیم. رفتار این نوع انژکتیوی را نسبت به حاصلضرب، هم حاصلضرب و جمعوند مستقیم بررسی میکنیم. همچنین تکواره هایی را مشخص میکنیم که در آن همهی S-سیستم ها C_v-انژکتیو هستند و نتیجه میگیریم أکثر
در این مقاله مفهوم C_v-انژکتیوی از S-سیستم های روی تکواره ها را مورد مطالعه قرار میدهیم. رفتار این نوع انژکتیوی را نسبت به حاصلضرب، هم حاصلضرب و جمعوند مستقیم بررسی میکنیم. همچنین تکواره هایی را مشخص میکنیم که در آن همهی S-سیستم ها C_v-انژکتیو هستند و نتیجه میگیریم روی چنین تکواره هایی S-سیستم های دوری، وایتال انژکتیو خواهند بود. کلاس S-سیستم هایی که C_v-انژکتیو هستند را مشخص کرده و با استفاده از مفهوم C_v-انژکتیوی شرایطی را بررسی میکنیم که در آن همهی S‎‎‏-سیستم های پروژکتیو‏، انژکتیو هستند. همچنین بررسی میکنیم که در تکواره های برگشت پذیر چپ S-سیستم های C_v-انژکتیو شامل صفر C-انژکتیو هستند. نشان میدهیم اگر هر ‎ S‎‎‏-سیستم ‎C_v ‎‎‏-انژکتیو وایتال انژکتیو باشد آنگاه تکواره S ‎‏تکواره برگشت ‎‎‏پذیر چپ است. در ادامه با استفاده از مفهوم پوشش انژکتیو وایتال، کلاس S‎‎‏-سیستم های ‎C_v ‎‎‏-انژکتیو را مشخص میکنیم. علاوه برآن مفهوم M_v-انژکتیوی را تعریف کرده و شرایطی را مطالعه میکنیم که تحت آن هر S ‎‎‏-سیستم خارج قسمتی ازS‎‎‏-سیستم ‎ M_v‎‎‏-انژکتیو‏، M_v‎‎‏-انژکتیو است و با توجه به این مطلب نشان می دهیم که هرS‎‎‏-سیستم خارج قسمتی ازS‎‎‏-سیستم ‏وایتال انژکتیو ضعیف‏، ‎وایتال انژکتیو ضعیف است.
تفاصيل المقالة
در پژوهش حاضر، تنوع گونهای زنبور های پارازیتوئید بالاخانوادههای Chalcidoidea و Ichneumonoidea (Hymenoptera) در برخی مزارع برنج و اراضی اطراف آن ها در استانهای مازندران و گیلان مورد مطالعه قرار گرفت. در مجموع 39 گونه زنبور پارازیتوئید از دو استان مزبور جمعآوری و شناس أکثر
در پژوهش حاضر، تنوع گونهای زنبور های پارازیتوئید بالاخانوادههای Chalcidoidea و Ichneumonoidea (Hymenoptera) در برخی مزارع برنج و اراضی اطراف آن ها در استانهای مازندران و گیلان مورد مطالعه قرار گرفت. در مجموع 39 گونه زنبور پارازیتوئید از دو استان مزبور جمعآوری و شناسایی شدند. پارازیتوئید های جمعآوری شده متعلق به خانوادههای Chalcididae (2 گونه از 2 جنس)، Encyrtidae (5 گونه از 5 جنس)، Eulophidae (4 گونه از 4 جنس)، Mymaridae (1 گونه)، Trichogrammatidae (2 گونه از 1 جنس)، Braconidae (15 گونه از 13 جنس) و Ichneumonidae (10 گونه از 10 جنس) بودند؛ سه گونه شامل Cerchysiella planiscutellum (Mercet, 1921)، Ginsiana carpetana (Mercet, 1921) و Pediobius brachycerus (Thomson, 1878) برای اولین بار از فون ایران گزارش شدند. نتایج حاصل نشان داد که فون غنی و ارزشمندی از زنبور های پارازیتوئید در شالیزار های شمال کشور وجود دارد که در صورت حمایت میتوانند نقش کارآمدی در کنترل آفات مختلف مزارع برنج داشته باشند.
تفاصيل المقالة
سند
Sanad is a platform for managing Azad University publications