برای اطمینان از درستی کارکرد فرآیند های صنعتی، نیاز به ابزارهایی هست که وضعیت های نامطلوب عملکرد فرآیند را با دقت و سرعت بالا به راهبر فرآیند نشان دهد. یک روش موثر برای تشخیص و ردیابی عیوب، به کاهش اثر این عیوب، تأمین ایمنی عملیات، کم کردن عدم زمان کارکرد و کاهش هزینه های بازسازی کمک می کند. در حال حاضرbayesian belief networks (bbns) از جمله روش های مورد توجه جهت تعیین و تشخیص عیوب فرآیندها به شمار می-آید. هدف اصلی از این تحقیق، بررسی نحوه کآرایی شبکه bayesian به عنوان ابزاری برای عیب یابی فرآیندهای صنعتی می باشد که بر روی فرآیند معیار (te) tennessee eastman اعمال شده است. در این تحقیق 21 عیب موجود در فرآیند te در نظر گرفته شده می باشد. نتایج بررسی شده در قالب نرخ هشدار اشتباه(false alarm rate) ، نرخ عدم تشخیص (missed detection rate) و نرخ عدم طبقه بندی (misclassification rate) ارائه گردیده شده است. کارایی این روش با دیگر روش های عیب یابی مقایسه شده است. مقایسه نتایج معیار نرخ عدم تشخیص با دیگر روش های آماری، حاکی از این است که روش bbn از توانایی بالایی در مرحله تشخیص عیوب برخوردار می باشد. این در حالی است که این روش در شناسایی عیوب، نسبت به اغلب روش ها عملکرد مناسبی ندارد.

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

در این پایان نامه ابتدا به مطالعه اجمالی فضاهای متریک ‍ژئودزیک باانحنای نامثبت موسوم به فضاهای (cat(0 می پردازیم. پس از مطالعه ی برخی ویژگی های این فضاها و مفهوم ?-همگرایی که تعمیمی از همگرایی ضعیف در این فضاهاست به مسئله وجود و ساختار مجموعه ی نقاط ثابت نگاشت های انقباضی در این فضاها توجه می کنیم.در ادامه همگرایی قوی (همگرایی در متر) تکرار هالپرن به نقطه ثابت نگاشت های انقباضی، انقباضی چندمقداری و خانواده ای از نگاشت های انقباضی را نشان می دهیم.

موضوع این رساله مطالعه برخی روش های تکراری در نظریه عملگرهای یکنوا و نظریه نقطه ثابت در فضاهای هیلبرت و آدامار است. در این رساله پس از مروری کوتاه درباره روش های تکراری کلاسیک در تقریب نقطه ثابت یک نگاشت انقباضی مانند روش های تکراری من و هالپرن، روش تکراری هالپرن را برای تقریب نقطه ثابت مشترک یک خانواده از نگاشت های قویا شبه انقباضی در فضای هیلبرت به کار می بریم. سپس کاربردهایی از این طرح تکراری را در به دست آوردن نقطه ثابت مشترک یک خانواده نامتناهی از نگاشت های قطعا شبه انقباضی و همچنین در تقریب صفر عملگری یکنوا و یا تقریب صفر مشترک خانواده ای از عملگرهای یکنوا بیان می کنیم. سپس به مطالعه الگوریتم نقطه پروکسیمال از نوع هالپرن در فضای هیلبرت می پردازیم که در نتیجه همگرایی قوی الگوریتم را با شرایط بهتری روی پارامترها در فضای هیلبرت نتیجه می گیریم. ادامه این رساله به مطالعه عملگرهای یکنوا، حلال، تقریب یوشیدا، نامساوی های تغییراتی و الگوریتم نقطه پروکسیمال در چارچوب کلی تر فضاهای آدامار اختصاص دارد. پس از معرفی مختصری از فضای آدامار و دوگان آنها، عملگرهای یکنوا، حلال و تقریب یوشیدا را در این فضاها تعریف کرده و ویژگی های مختصری از آنها را ثابت می کنیم. سپس الگوریتم نقطه پروکسیمال را در فضای آدامار معرفی کرده و خوش تعریفی دنباله حاصل از این الگوریتم را بررسی می کنیم و نشان می دهیم دنباله تولید شده از نسخه نادقیق این الگوریتم ‎$delta$-‎همگرا به یک صفر عملگر یکنواست. در پایان این رساله، با استفاده از شبه خطی سازی فضای آدامار نوع خاصی از نامساوی تغییراتی که در آن عملگر یکنوا از نوع انقباضی است را در فضای آدامار معرفی می کنیم و به بررسی وجود جواب آن و تقریب جواب با استفاده از الگوریتم نقطه پروکسیمال نادقیق از نوع راکفلر و هالپرن می پردازیم.

چکیده ندارد.

ما کلاس خاصی از نمایشهایی از یک نیمگروه معکوس روی فضای هیلبرت که به این نمایش ها ی سفت گفته میشود را شرح میدهیم این نمایشها روی یک زیرمجموعه از طیف یک نیمشبکه از خودتوانهای حمایت میشوند که به این زیرمجموعه طیف سفت گفته میشود که به طور دقیق نشان داده میشود که زمانی که فیلترها با نیممشخصهها بطور طبیعی یکی گرفته می شوند این طیف بستاری از فضای ابرفیلترها است.بعلاوه نشان داده میشود که این نمایشها با نمایشهایی از جبر گروهواری از جرمها برای کنشی از روی طیف سفت متناظر هستند. ما موردی از نیمگروه های معکوس ویژهای که از نیمگروه وارها ساخته میشوند را بحث می کنیم که این بحث کلیسازی توسط نیمگروههای معکوسی که از گرافهای مرتبه بالاتر ساخته میشود، می باشد. نمایشهای سفت از این نیمگروههای معکوس در تناظری یکبهیک با نمایشهایی از نیمگروهوارها قرار دارند و جبر نیمگروهوار به صورت مدل گروهوار در نظر گرفته میشود.نشان داده می شود گروه واری که از این ساختار بدست می آید همان گروه وار مسیر مرزی است که توسط فرتینگ (farthing)، مولی (muhly)، ویند (yeend) ارائه شده است.

این تحقیق با هدف بررسی وضعیت اندام فوقانی کارگران صنعتی و تغییر فرم آنها از نظر ارگونومی صورت گرفت . در این پژوهش وضعیت جسمانی کارگران و تاثیر نوع کاربرد در بروز ناهنجاری های اندام و تعیین ارتباط بعضی متغییرها نظیر قد، سن، وضعیت بدن حین کار کردن و نوع کار و... با وضعیت بدنی و ناهنجاری مورد بررسی قرار گرفت . بهمین منظور تعداد 159 نفر از کارگران 25 تا 65 ساله کارخانه قرقره زیبا با سابقه کار بیشتر از 10 سال از تعداد 750 نفر به روش تصادفی بعنوان نمونه اماری تحقیق انتخاب شدند. برای بررسی وضعیت بدن و ستون فقرات از دید پهلو و پشت ، آزمون نیویورک مورد استفاده قرار گرفت وبرای توصیف و ارائه اطلاعات جمع آوری شده از روشهای آمار توصیفی که شامل ثبت اطلاعات در جداول و رسم نمودار بود، استفاده شد. برای بررسی ارتباط بین متغیرها از آزمون مجذور کای (x2) و برنامهنرم افزار کامپیوتری spss. win بهره گرفته شده است . نتایج بدستآمده، موارد ذیل را بعنوان عامل بروز تغییرات ساختاری ستون فقرات در جامعه آماری مورد پژوهش تعیین می نماید: 1 - انجام کار بصورت ایستاده 2 - حمل و نقل دستی بار 3 - افزایش سن 4 - عدم قرارگیری دستها در سطح آرنج 5 - افزایش وزن 6 - کسب عادات غلط به هنگام خوابیدن.