چکیده: تئوری موضعی سازی و جبر کسرها، ابتدا درنظریه حلقه ها مطرح شد و سپس توسط مدرسه ی رومانی به جبر های منطق اصلی گسترش پیدا کرد. پایان نامه ی حاضر در چهار فصل به نگارش در آمده است، ابتدا پیش نیاز هایی از جبر جامع را که مورد نیاز است بیان می کنیم. ساختار جبرهای موضعی برحسب ضربگرها برای مشبکه های توزیعپذیر کراندار، جبرهای هیلبرت و هرتز، blوmv- جبرها و جبرهای heytingو لوکاسویچ مویسیل در فصل یک ...

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

یکی از چالش­های مطرح در بالین، پیشگیری از آسیب حاد کلیوی به دنبال مداخلات پزشکی در بیماران پرخطر می‌­باشد. از علل اصلی وقوع نارسایی حاد کلیه می­توان به آسیب ایسکمی-پرفیوژن مجدد اشاره نمود. تاکنون مطالعات بسیاری در رابطه با آسیب حاد کلیوی ناشی از ایسکمی-پرفیوژن مجدد انجام شده و در تمامی آن­ها اقداماتی به منظور پیشگیری و یا کاهش این نوع آسیب صورت پذیرفته است. یکی از قوی­ترین این روش­ها، استفاده ا...

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

تعمیم مفهوم ایده آل های اول ار رسته ی حلقه ها به زیر مدول های اول از رسته ی مدولها مولفین مقالات در این مبحث را تهییج کرد تا به تعمیم روابط و قضایای مربوط به ایده آل های اول به زیر مدول های اول بپردازند. در این پایان نامه به بررسی بعضی از این روابط و قضایا می پردازیم. در سراسر این پایان نامه حلقه ها جا به جایی و یکدار و مدول یکانی می باشند.

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

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