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

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

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

در سالهاي اخير تلاشهاي زيادي براي طراحي روشهاي يادگيري و خودکار سازي فرايند ساخت هستان نگار در جهان انجام شده است. هستان نگارها در زمينه هاي زيادي نظير وب معنايي، جويشگرها، تجارت الکترونيکي، پردازش زبان طبيعي، مهندسي دانش، استخراج و بازيابي اطلاعات، طراحي دادگان، سامانه‌هاي چند کارگزاره و کتابخانه‌هاي ديجيتال و غيره کاربرد دارند. مشکل عمده در ساختن هستان نگارها، اکتساب دانش و زمانبر بودن ساخت آنها براي کاربردهاي مختلف است. بنابراين ساخت خودکار هستان نگار راه حل مناسبي براي چيره شدن بر اين مشکلات است. در دو دهة اخير فعاليت‌هاي زيادي در زمينة يادگيري هستان نگار انجام شده و روش ها، ابزارها و سامانه‌هاي مختلفي نيز ارائه شده که از روشها و الگوريتم هاي رشته‌هاي مختلفي مانند پردازش زبان طبيعي، يادگيري ماشيني، اكتساب دانش، استخراج اطلاعات ، پردازش نمادين و احتمالاتي بهره مي‌‌گيرند. سامانه‌هاي پيشنهاد شده در بسياري از شاخصها، خصيصه‌ها و روشهاي يادگيري از ساير سامانه‌هاي متمايز هستند. در اين رساله روش نويني براي يادگيري هوشمند هستان نگار در تمام سطوح يادگيري ارائه شده که مي توان از آن در کاربردها و حوزه‌هاي مختلف استفاده کرد. در اين روش نيازي به وجود هستان نگارهاي عمومي يا تخصصي اوليه و واژگان معنايي از پيش تعريف شده نبوده و پايگاه دانش اولية آن تنها شامل مجموعه‌اي از متون ورودي است. سامانة يادگيرندة پيشنهادي با شروع از متون ورودي و با استفاده از رهيافت پيشنهادي در اين رساله قادر خواهد بود هستان نگار حوزه‌هاي مختلف را استخراج کند. در اين روش از ترکيبي از روشهاي زباني، آماري، مبتني بر الگو و روشهاي يادگيري ماشين بر اساس روش C-value، شبکه عصبي نظرية تشديد وفقي و شبکة بيز استفاده شده است. از طرفي به منظور مواجهه با عدم قطعيت داده‌ها و غني سازي هستان نگار قطعي، با استفاده از ترکيب شبکة عصبي و نظرية فازي روش نويني براي استخراج هستان نگار فازي پيشنهاد شده است. از اين روش در استخراج هستان نگارهاي قطعي و فازي حوزة فنّاوري اطلاعات استفاده شده است. هستان نگارهاي استخراج شده به منظور جستجوي معنايي اسناد کتابخانة محلي (که در آن اسناد مرتبط با حوزة فنّاوري اطلاعات قرار داده شده) بر اساس رويکرد بسط پرسمان به‌کار برده شده‌اند. نتايج حاصل از پياده‌سازي هستان نگار فازي بيانگر دقت بالاتر حدود 0/07 و نتايج حاصل ازپياده‌سازي هستان نگار قطعي بيانگر دقت بالاتر حدود 05/0 نسبت به روشهاي مبتني بر کليد واژه است. همچنين ميانگين دقت مفاهيم هستان نگار فازي حدود 0/09 و ميانگين دقت مفاهيم هستان نگار قطعي حدود 06/0 نسبت به ميانگين دقت مفاهيم ساير روشهاي مشابه بهبود داشته است.

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

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

عدم توانایی مدل استاندارد کیهان شناسی در توجیه بعضی داده های رصدی در سال های اخیر، از قبیل انبساط شتابدار کیهان تبدیل به یکی از اساسی ترین مشکلات پیش روی کیهان شناسان و فیزیک دانان شده است و اعتبار این مدل را زیر سوال برده است. در حال حاضر، طیف وسیعی از کیهان شناسان به بررسی روش های مختلف برای توضیح این مسائل می‏پردازند.در این پایان نامه ، ابتدا مروری بر چند رهیافت مهم در میان روش های موجود می کنیم: وارد کردن ثابت کیهان‏شناسی در معادلات اینشتین، فرض وجود میدان نرده‏ ای کوئینتسنس به عنوان مولد انرژی تاریک وگرانش تصحیح یافته. هدف این پایان نامه، مطالعه تفصیلی شیوه آخر است که با نام گرانش تصحیح یافته‏ (f(R شناخته می شود و به شیوه ای بنیادین قصد تغییر گرانش اینشتینی و جایگزینی آن با نظریه ای کلی تر را دارد. نظریه‏ی گرانش(f(R در رویکرد متریکی و پالاتینی بررسی می‏ شود. سپس فضای متقارن کروی در گرانش تعمیم‏یافته و چند روش متدوال برای بدست آوردن جواب‏های این فضا را معرفی و به طور مفصل بررسی می‏ کنیم. همچنین به بررسی سازگاری جواب‏های فضای متقارن کروی در گرانش تصحیح یافته‏ (f(R می‎‏پردازیم.

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

آنتولوژی به عنوان یک روش برای از بین بردن ناهمگنی اطلاعات ارائه شده‌است. در یک حوزه ممکن است چندین آنتولوژی که از دیدگاههای متفاوت ایجاد شده‌اند، وجود داشته باشد که سبب ناهمگنی در یک حوزه خاص می‌شوند. جهت از بین بردن نا‏همگنی‏ها از فرآیند هم تراز سازییا تطابق آنتولوژی‌ها استفاده می‌شود. از آنجا که هنگام هم‌ترازسازی آنتولوژی‌ها سعی بر رفع همه انواع ناهمگنی‌های موجود بین دو آنتولوژی ورودی است پس باید روشی اتخاذ گردد تا به کمک آن بتوان نتایج هم ترازسازی انواع روشهای رفع ناهمگنی بین دو آنتولوژی ورودی را کنار هم گردآوری نمود. به مرحله گردآوری نتایج انواع روشهای ناهمگنی، مرحله جمع‌آوری شباهت‌ها گویند.در این تحقیق در ابتدا یک سیستم هم‌ترازسازی آنتولوژی‌ها با استفاده از سه روش رفع ناهمگنی بین آنتولوژی‌ها پیاده‌سازی شده است. این سیستم برای انواع زبان‌های بیان آنتولوژی‌ها یعنیOWLو RDF قابل استفاده است. در سیستم ارائه شده از سه تطابق‌یاب استفاده شده است. دو تطابق‌یاب از ویژگیهای رشته‌ای اجزای آنتولوژی‌ها استفاده می‌نمایند. یکی از این تطابق‌یاب‌ها ISUB است که از فرم رشته‌ای موجودیت‌های دو آنتولوژی استفاده می‌کند و دیگریVDOC است که قبل از آغاز فرآیند محاسبه شباهت بین رشته‌ها، ابتدا یکسری عملیات پیش پردازش از قبیل حذف حروف اضافه و ربط را انجام می‌دهد و سپس براساس روش‌های بازیابی اطلاعات، میزان شباهت دو رشته را محاسبه می‌نماید.سومین تطابق‌یاب پیاده سازی شده، GMO است که از ساختار سلسله مراتبی دو آنتولوژی ورودی جهت محاسبه میزان شباهت موجودیت‌های دو آنتولوژی بهره می‌گیرد. پس از محاسبه شباهت توسط انواع تطابق‌یاب‌های مختلف، در مرحله جمع‌آوری شباهت‌های انواع تطابق‌یاب‌ها، روشی ارائه شده است که برخلاف سایر روش‌های موجود، فرآیند جمع‌آوری شباهت‌ها را براساس هر دو آنتولوژی و برای هر جفت موجودیت دو آنتولوژی بطور جداگانه انجام می‌دهد که یک روش تطبیقی و مطلع از ساختار است.ارزیابی کار انجام شده برای بررسی روش جمع‌آوری شباهت‌های ارائه شده بوسیله‌ی آنتولوژی‌های مسابقه جهانیتطابق آنتولوژی‌ها یعنیOAEI 2009 صورت گرفته است که حاوییک سری آنتولوژی‌های استاندارد جهت مقایسه انواع سیستم‌های هم ترازسازی آنتولوژی‌ها می‌باشد. مقایسه نتایج سیستم ارائه شده با سیستم‌های جِرُمی سوئیت و نگاشت توسط جمع مورچه‌ها، بهبود دقت تشخیص هم ترازی‌های بین دو آنتولوژی توسط سیستم را نشان می‌دهد.

هدف از این پایان نامه بررسی تکنیک های آموزش الکترونیک و ارائه مدل سیستم آموزش الکترونیک بر مبنای پایگاه دانش و پیاده سازی مدل پیشنهادی با استفاده از تکنولوژی های موجود است. در این تحقیق پس از بررسی مفاهیم آموزش الکترونیک و دیدگاه های رایج به بررسی نقش استاندارد سازی در این حوزه پرداخته و با معرفی مفاهیم دانش و پایگاه دانش از آنتولوژی (هستانه) به عنوان روشی برای نگهداری دانش یاد میکنیم و در ادامه به بررسی جایگاه آنتولوژی در سیستم های آموزش الکترونیک پرداخته. در فصول آخر پایان نامه یک مدل کاملا کاربردی برای پیاده سازی سیستم آموزش الکترونیک بر مبنای پایگاه دانش ارائه می گردد و در فصل پایانی به معرفی نسخه پیاده سازی شده آن سیستم بر مبنای تکنولوژی های قابل دسترس می پردازیم.

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