جستجوي پيشرفته | کتابخانه مجازی الفبا

چکیده تحقیق:موضوع محیط زیست، یکی از موضوعات مهم و اساسی در زندگی افراد بشر تلقی می‌شود که با توجه به مشکلات زندگی امروزی، حفظ و نگهداری از آن به عنوان ضرورت تلقی می‌گردد و پرداختن به آن برای محافظت بیشتر از محیط زیست و رعایت حقوق عمومی و جلوگیری از تخریب محیط زیست و در نتیجه، عدم تضییع حقوق انسانها می باشد. بخش مهمی از بحران های زیست محیطی، ریشه در نگرش ما نسبت به طبیعت و موجودات زنده دارد. در واقع می توان گفت که بحران های زیست محیطی امروزی، یک بحران اخلاقی است و ضرورت توجّه به اصول اخلاقی را یادآور می شود. از آنجایی که ادیان الهی مروّج اخلاق و دستورات الهی هستند و دین اسلام نیز کامل ترین آنهاست و خداوند کامل ترین دستورات و نقشه زندگی را در کتاب آسمانی قرآن قرار داده است حال می خواهیم بدانیم دیدگاه اسلام در موضوع حفاظت از محیط زیست و آلودگی هوا چیست؟هرچند محیط زیست با مفهوم رایج و متداول آن در عصر حاضر، بحثی کاملاً نو و تازه است که نه در اسلام و نه در هیچ مکتب دیگری سابقه نداشته است؛ امّا می توان قواعد و مقررات مورد نیاز آن را از متون دینی استخراج کرد به طوری که می توان یک مکتب زیست محیطی جامع را ارائه کرد.در این تحقیق از کتاب آسمانی قرآن و کتاب های حدیثی که شامل احادیث نورانی پیامبر(ص) و اهل بیت پاک ایشان است و همچنین از قواعد عقلی و اصولی و کتاب های فقهی و اصولی و حقوقی بهره برده ایم. فصل اول این تحقیق شامل کلیات و مفاهیم و فصل دومشامل بررسی فقهی و همچنین دیدگاه های فقهاء معاصر در رابطه با محیط زیست و فصل سوم هم بررسی قوانین آلودگی محیط زیست و آلودگی هوا و دیدگاه های حقوقدانان و همچنین مسئولیت ناشی از آلودگی محیط زیست و فصل آخر هم نتیجه و خلاصه بحث است.در پایان، ذکر چند نکته ضروری است: اولاً هنوز در باب مسائل فقهی محیط زیست، موضوع شناسی مناسبی صورت نگرفته و با توجه به بروز مشکلات زیاد برای سلامتی بشر، خصوصاً در سالهای اخیر و روشن شدن اهمیت موضوع، مخصوصاً در بحث آلودگی هوا و تخریب جنگلها و مراتع و... ضرورت دارد که محققین و کارشناسان حوزوی و دانشگاهی با موضوع شناسی مناسب، راه را برای صدور فتاوای مراجع معظم تقلید در این زمینه، هموار کنند.ثانیاً از جهت حقوقی نیز یا قوانین ما بازدارنده و متناسب با مشکلات امروزی محیط زیست نیستند و یا به طور صحیح اجرا نمی شوند و یا ضمانت اجرایی ندارند.ثالثاً در موضوع آلودگی هوا با مشکلاتی نظیر تولید زیاد خودرو و عدم رقابت در تولید آن و در نتیجه پائین بودن کیفیت خودرو و بالا بودن میزان مصرف سوخت، بالا بودن عمر خودروها نسبت به دیگر کشورها با وجود کیفیت پائین خودروها، آلاینده بودن کارخانجات صنعتی و... وقرار گرفتن کارخانه ها در مراکز شهرها یا حومه شهرها، مشکل بودن تست میزان آلایندگی از کارگاهها و کارخانه ها و خودروها بصورت مداوم و منظم، مختلف بودن نوع و میزان آلایندگی در کارخانه های مختلف، نبود تصمیم و اراده دولتها در تغییر سوخت خودروها از فسیلی به سوختهای متناسب با محیط زیست، عمل نکردن به مصوبات و قوانین زیست محیطی و یا جامع و بازدارنده نبودن آنها، تغییرات جوّی و پائین آمدن میزان بارندگی ها، تخریب و قطع بی رویه درختان و عدم جایگزینی مناسب، وجود عوامل خارجی نظیر ریزگردها و...؛ روبرو هستیم.واژگان کلیدی : محیط زیست ، آلودگی هوا ، مسئولیت مدنی ، حفاظت ، لاضرر

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

ایده اصلی وب معنایی، ایجاد فراداده‌هایی است که داده را شرح می‌دهند تا کامپیوترها را قادر به پردازش معنی اشیا کنند. هدف از وب معنایی این است که ماشین‌ها نیز همانند انسان‌ها سندها را درک کرده و تفسیر کنند. یکی از مولفه‌های اصلی وب معنایی، آنتولوژی است، که نسبت به سایر مولفه‌ها از قدرت بیان بیشتری برخوردار است. آنتولوژی، مجموعه‌ای از واژگان مشترک را برای محققانی تعریف می‌کند که نیاز به اشتراک‌گذاری اطلاعات در یک دامنه دارند. امروزه استفاده از آنتولوژی در وب افزایش یافته است. بسیاری از آنتولوژی‌های معروف، اندازه بزرگی دارند. اندازه بزرگ این آنتولوژی‌ها باعث کاهش سرعت و کارایی در استفاده‌مجدد، استنتاج، نگهداری و هماهنگی سیستم‌های توزیع‌شده می‌شود. راه‌حل این مساله، پیمانه‌‌ای کردن آنتولوژی می‌باشد. پیمانه‌ای کردن آنتولوژی، بخش مهمی از مهندسی آنتولوژی است که برای کاهش پیچیدگی و اندازه آنتولوژی، یا آن را به کل قطعات تشکیل‌دهنده می‌شکند (تقسیم‌بندی آنتولوژی) و یا اینکه فقط بخش کوچکی از آن را استخراج می‌کند (استخراج پیمانه). هدف از این پژوهش ارائه رهیافتی برای پیمانه‌ای کردن آنتولوژی به پیمانه‌هایی درست، کامل و متصل به هم است، به صورتی که کاربر بتواند بر اساس نیازهای برنامه کاربردی تنظیماتی را در پیمانه‌ای کردن اعمال کند.رهیافت ارائه‌شده در این پژوهش روی تقسیم‌بندی آنتولوژی تمرکز دارد. برای داشتن قطعه‌های کامل، ابتدا یک استنتاج مقدماتی روی آنتولوژی انجام شده و سپس حاصل آن به Pato، که ابزاری برای تقسیم‌بندی است، داده می‌شود. به دلیل انجام استنتاج مقدماتی، نتیجه تقسیم‌بندی، پیمانه‌هایی مرتبط و نیمه‌کامل است. بنابراین، قضایای کامل‌کننده به آن‌ها اضافه می‌شود. سپس پیمانه‌ها توسط زبان آنتولوژی پیمانه‌ای P-DL به هم متصل می‌شوند. به این ترتیب، پیمانه‌های حاصل، پیمانه‌هایی متصل و کامل با اندازه مناسب هستند. هرچند استنتاج روی آنتولوژی‌های بزرگ عملی وقت‌گیر است، اما فقط یکبار صورت می‌گیرد و در عوض مزایای زیادی به همراه دارد که توسط دیگر روش‌ها تامین نمی‌شوند. برای ضمانتِ این ادعا، روش ارائه‌شده و روش‌های قبلی به صورت تئوری و عملی ارزیابی شده و نشان داده می‌شود که این روش باعث می‌شود که آنتولوژی به‌طور متعادلی بخش‌بندی شود و پیمانه‌های حاصل مانند یک آنتولوژی خودشمول، توسط ابزارهای زیادی استفاده شوند.