پالایه های بیشین، اول و اول کمین در مشبکه های مانده دار، انجام شده توسط سعید رسولی

مشخصات پژوهش

عنوان	پالايه هاي بيشين، اول و اول كمين در مشبكه هاي مانده دار
نوع پژوهش	مقالات در نشریات
کلیدواژه‌ها	مشبکه های مانده دار پالایه پالایه بیشین پالایه اول پالایه اول کمین
مجله	Soft Computing Journal
شناسه DOI	https://doi.org/10.22052/scj.2023.243375.1032
پژوهشگران	سعید رسولی (نفر اول) ، فرهاد خاکسار حقانی (نفر دوم)

چکیده

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