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

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

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 311
رویکردی سارتری به گوریل پشمالوی یوجین اونیل
نویسنده:
مریم مرادی
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
چکیده :
گوریل پشمالوی یوجین انیل را می توان به عنوان یک نمایشنامه ی فلسفی در نظر گرفت. ینک قهرمان داستان، در حاشیه جامعه زندگی می کند. او سعی می کند که هویت واقعی خود را بیابد تا بر اساس آن امیدها و آرزوهایش را دنبال کند، اما در نهایت به ورطه ی نا امیدی و یاس سقوط می کند. مسئله ای که ینک با آن رو به رو می شود، مسئله ای است که انسان در هستی شناسی سارتردر طول زندگی خود با آن رو به رو می شود. اگرچه این نمایشنامه محصول بخش اول از زندگی انیل به عنوان یک نویسنده است، یعنی زودتر از زمانی که هستی شناسی به عنوان یک جنبش مستقل و متحد فلسفی، فرهنگی و ادبی به طور سراسری شناخته شد، اما می توان گفت که این نمایشنامه یکی از آثاری است که منعکس کننده ی جهان بینی هستی شناسانه، به خصوص هستی شناسی سارتر می باشد. تحقیق حاضر به گونه ای جامع به بررسی نمایشنامه ی گوریل پشمالو در سایه ی هستی شناسی سارتر می پردازد که در آن مفاهیم کلی هستی شناسی سارتر به طور جداگانه برای مطالعه ی نمایشنامه به کار برده شده اند.
کشف وب سرویس معنایی بر مبنای انطباق توانایی‌ها، ورودی‌ها و خروجی‌ها
نویسنده:
فرهاد ضمیری زراعتی
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
چکیده :
با ظهور معماری سرویس گرا، وب سرویس ها محبوبیت بسیاری یافتند. بعلت موجود بودن تعداد زیادی از وب سرویس ها، یافتن وب سرویس متناسب با نیازهای کاربر چالشی عظیم می باشد. این امر نیاز به برقراری یک فرایند مورد اعتماد و موثر کشف وب سرویس را تضمین می کند. امروزه تحقیقات بسیاری برای طراحی روش هایی به منظور افزایش میزان دقت کشف وب سرویس انجام می گیرد که بهترین سرویس را تطبیق نماید. نتایج فرایند کشف سرویس، سرویس هایی است که تا اندازه ای نیاز های کاربر را ارضا می نمایند. در نظر گرفتن رابطه معنایی میان کلمات استفاده شده در توصیف سرویس و همچنین پارامترهای ورودی و خروجی می تواند منجر به دقت در کشف وب سرویس شود. علاوه بر پارامترهای ورودی و خروجی، پارامترهای دیگری نیز در توصیف سرویس وجود دارند که استفاده از آنها منجر به بالا بردن دقت کشف وب سرویس ها می شود. این پارامترها پیش شرط و اثر نام دارند. این تحقیق الگوریتمی برای کشف وب سرویس معنایی براساس مقایسه میان پارامترهای ورودی، خروجی، پیش شرط، و اثر درخواست و سرویس، ارائه می دهد.در بیشتر روش های کشف وب سرویس، پنج درجه تطبیق در نظر گرفته می شود که عبارتند از : Exact، PlugIn، Subsume، Intersect، Fail. در الگوریتم حاضر به جای درجه Fail درجه تطبیق جدیدی به نام Substitute در نظرگرفته شده که سرویس جایگزین درخواست را ارائه می کند. همچنین در این الگوریتم برای تعیین میزان شباهت میان مفاهیم روشی بر مبنای درخت سلسله مراتب آنتولوژی در نظر گرفته شده که میزان دوری و نزدیکی مفاهیم به یکدیگر را تشخیص می دهد. الگوریتم ارائه شده از یک سیستم امتیاز دهی براساس میزان شباهت مفاهیم و ویژگی های آنها به یکدیگر استفاده می کند. این سیستم به هر یک از زوج مفاهیم که با یکدیگر مقایسه می شوند، براساس روش تعیین مشابهت ذکر شده، امتیازی نسبت داده و امتیاز نهایی سرویس را براساس میانگین امتیاز مفاهیم محاسبه می کند. امتیاز محاسبه شده برای هر سرویس همراه با درجه تطبیقی که برای سرویس محاسبه شده است به کاربر ارائه می شود.برای ارزیابی الگوریتم ارائه شده از مجموعه داده ای متشکل از 100 وب سرویس معنایی و 20 پرس و جو استفاده شده است. نتایج به سه معیار Precision/Recall، F1، و میانگین زمان پاسخ با سه الگوریتم کشف وب سرویس دیگر مقایسه شده اند. الگوریتم ارائه شده دارای دقت بالاتری از سه الگوریتم مورد مقایسه می باشد. اما از نظر میانگین زمان پاسخ با توجه به اینکه علاوه بر ورودی و خروجی، از مقایسه پیش شرط و اثر نیز برای کشف وب سرویس معنایی استفاده می کند، دارای میانگین زمان پاسخ بالاتری نسبت به دیگر الگوریتم های مورد مقایسه می باشد. در مجموع، دقت کشف وب سرویس معنایی با الگوریتم ارائه شده پیشرفت قابل ملاحظه ای را نسبت به روش های مرسوم کشف وب سرویس نشان می دهد.
استخراج قوانین مرتبط با نگارش پرس‌وجوهای SPARQL با استفاده از Log پرس وجوهای پایانه های SPARQL
نویسنده:
سعید شفیعی حسن آبادی
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
چکیده :
با گسترش روزافزون حجم داده‌ها و اطلاعات در وب معنایی، تولید پرس‌وجوهای ساخت‌یافته بر فراز وب معنایی نیز با استقبال چشم‌گیر توسعه‌دهندگان روبرو شده است. بااین‌حال تولید پرس‌وجوی ساخت‌یافته برای افرادی که با هستان‌شناس تعریف‌شده بر بسترِمجموعه داده های موجودآشنایی ندارند می‌تواند فرایندی پیچیده باشد. از سویی دیگر، در سمت منابعِ دربرگیرنده‌یِ داده‌های وب معنایی، تنها داده‌ها و ساختارهای سلسله‌مراتبی تعریف‌شده‌اندو دراین‌بین عدم وجود الگویی برای چگونگی ساخت و چینش پرس‌وجوهایSPARQL کاربران انسانی تازه‌کار را با مشکل مواجه می‌کند. در سال‌های اخیر،در این راستا سیستم‌هایی باهدف یاری کاربران در استفاده از وب معنایی و ساخت این پرس‌وجوها تولیدشده‌است. سیستم‌های پرسش‌وپاسخ، سیستم‌های بسط پرس‌وجو و سیستم‌هایی با واسط گرافیکی جهت نگارش پرس‌وجوهایSPARQLازجمله این موارد هستند.در این پایان‌نامه با تمرکز روی ساختارو چینش پرس‌وجوهای SPARQL،گونه‌ای از قالب‌های کلی مرتبط با ساختار نگارشی این پرس‌وجوهابررسی می‌گردد. با استفاده ازاین قالب‌ها،با پردازش پرس‌وجوهای پیشین ارسال‌شده به‌سوی پایانه‌ها وبه‌کارگیری روش‌های یادگیری ماشین (قوانین انجمنی ترتیبی)،قوانینی استخراج می‌گردندکه بیانگر الگوی تعریف پرس‌وجوهایکاربران پیشین می‌باشند.کاربرد این قوانین کمک به کاربران آتی در تولید پرس‌وجوهای SPARQL است.نتایج حاصل از ارزیابی این قالب از قوانین بیانگر قابلیت و کارایی این قوانین جهت یاری‌رساندن به کاربران انسانیاست. روی هر پایانه‌ی بخصوصی، در بازه‌های زمانی متفاوت،بر اساس این قالب‌هامی‌توان به دانشی دست‌ یافت که کاربرد این دانش در سیستم‌های یاری‌گر کاربر جهت تولید مستقیم این پرس‌وجوها بروی آن پایانه است.برای ارزیابی این‌گونه از قوانین به فرم خودکار در ابندا روی پرس‌وجوهای بخش آزمایش (پرس‌وجوهای از پیش نگارش شده)کاندیدهای پیشنهادی مطرح می‌گردند.در ادامه این کاندیدها با پرس‌وجوی نگارش شده‌ی کاربرپیشین مقایسه شده و به‌این‌ترتیب دقت پیشنهادهای ارائه‌شده گردآوری می‌گردد. در این پژوهش پرس‌وجوهای موجود در Log پایانه‌ی DBpedia در سال 2012 انتخاب‌شده است. برای معیار ارزیابی در این پژوهش از پارامتر دقت برای صحت کاندیدهای پیشنهادی استفاده‌شده است.
خوشه‌بندی موجودیت‌ها در داده‌های پیوندی
نویسنده:
انسیه داوودی جم
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
چکیده :
وب معنایی شامل قرار دادن داده‌ها روی وب و ساختن ارتباطات به گونه‌ای است که انسان و ماشین بتوانند محتوای وب داده را کاوشنمایند. هدف وب معنایی افزایش توانایی ماشین‌ها در دسترسی به منابع موجود در وب، پردازشو بکارگیریآن‌ها می‌باشد. با توجه به رشد گسترده‌ی داده‌های پیوندی و افزایش مجموعه داده‌ها در چند سال اخیر، نیاز به ابزاری برای کشف پیوند در مقیاس وسیع احساس می‌شود. ابزارهای کنونی برای کشف پیوند مجبور به مقایسه‌ی تمامی موجودیت‌ها در مجموعه داده‌ها هستند. با خوشه بندی موجودیت‌ها، می‌توان قبل از ایجاد پیوند و بر اساس نوع پیوند تعداد مقایسه‌ها بین موجودیت‌ها را کاهش داد. یکی از مهم‌ترین اتصالات معنادار در وب داده، شناسایی و اتصال موجودیت‌هایی است که به یک موجودیت یکسان اشاره می‌کنند ولی دارای شناسه‌های یکتای منبع متفاوت هستند و در مجموعه داده‌های مختلفی قرار دارند. در این تحقیق یک مدل به منظور شناسایی وایجاد خوشه‌هایی با موجودیت‌های همانند در وب داده ارائه شده است. مدل ارائه شده قابل بکارگیری روی مجموعه داده‌ها با دامنه‌های متفاوت است. این روش می‌تواند به عنوان یک مولفه در ابزارهای کشف پیوند مانند ابزار silk استفاده شده و سبب بهبود پبچیدگی زمانیوافزایش دقت کشف پیوند شود.مدل پیشنهادی دارای دو ماژول اصلی است: 1.
به کارگیری رویکرد فازی در تطابق آنتولوژی و ارزیابی کاربردی آن
نویسنده:
الهام علی قارداش
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
چکیده :
هستی شناسی مدلی برای نمایش یک دامنه است و برای استدلال درمورد اشیا و روابط بین آنها در همان دامنه به کار می‌رود. هستی شناسی معمولا شامل مفاهیم، روابط بین مفاهیم، نمونه‌ها و ویژگی‌های مفاهیم است. در سالیان گذشته تعداد هستی شناسی‌های موجود به شدت افزایش یافته است. وجود این سطح از تنوع، مسئله ادغام و استفاده مجدد از اطلاعات را مطرح می‌نماید. اگرچه که با بررسی دقیق‌تر هستی شناسی‌ها می‌بینیم که بسیاری از آنها با یکدیگر دارای همپوشانی هستند، اما استفاده از چهارچوب‌های کاری متفاوت، زبان‌های متنوع، و از همه مهمتر زوایای دید مختلف برای توسعه و ایجاد آنها باعث می‌شود تا کشف این شباهت‌ها و به طور کلی روابط بین مفاهیم مطرح شده در هریک از آنها ساده نباشد. آنچه به عنوان راه حل برای این مشکل مطرح می‌شود، تطابق هستی شناسی است. اصل این کار بر کشف مطابقت‌های بین مفاهیم و روابط آنها در هستی شناسی‌های مختلف و ایجاد نگاشت بین آنها استوار است. در این مطالعه استفاده از استنتاج فازی در کنار هستی شناسی سطح بالای وردنت در تطابق، امکان سنجی شده و نتایج حاکی از این است که استنتاج فازی می‌تواند به عنوان گزینه‌ای برای روش‌های تطابق در نظر گرفته شود.
بررسی استعاره‌های مفهومی در عبهر العاشقین
نویسنده:
زهرا خدادادی
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
چکیده :
عبهرالعاشقین، متنی عرفانی و سرشار از مفاهیم انتزاعی است. در پژوهش حاضر این مفاهیم با توجّه به رویکرد جدید «لیکاف» و «جانسون» به استعاره مورد بررسی قرار گرفته اند. این پژوهش در سه فصل تنظیم شده است. در فصل نخست، ضمن بیان سیر مطالعۀ استعاره در غرب، ساختار نظریّۀ معاصر استعاره نیز بیان شده است. در فصل دوّم، در ابتدا استعاره‌های شناختی عبهرالعاشقین در قالب دسته‌بندی ارائه شده از سوی «لیکاف» و «جانسون» معرّفی شده، و سپساین استعاره‌ها با توجّه به اصول ارائه شده از سوی «یاکل» توصیف شده است. در فصل سوّم، به ارتباط میان این استعاره ها اشاره شده و نیز نظام استعاری متن مورد بررسی قرار گرفته است.یافته‌های ما نشان می-دهد که در این متن با سه دسته استعارۀ هستی شناختی، جهتی و ساختاری مواجه هستیم. این استعاره‌ها بر اساس انسجام معنایی موجود در عبهرالعاشقین در ارتباط با یکدیگر قرار گرفته، مجموعه‌ای از شبکه‌های استعاری را به وجود می‌آورند که بر اساس مدل‌های شناختی نظام‌مند و منسجمی شکل یافته اند.
بررسی ماهیت و الگوی جذابیت در پیام رسانی دینی با تاکید بر سینما
نویسنده:
حوریه بزرگ
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
چکیده :
سینما از جمله قالب‌های نوظهور هنر تکنولوژیک است که در بستر اندیشه‌ای مدرنیته به ظهور رسید و به سبب جذابیت‌های ویژه‌ی خود توانست به سرعت در تمام جوامع رخنه کرده و از مخاطبان روزافزونی برخوردار شود. بهره‌گیری از این مدیوم با هدف پیام‌رسانی دینی به سبب تقابل اندیشه‌ای اسلام و مدرنیته با چالش‌های جدی روبروست؛ مسئله جذابیت یکی از مهم‌ترین این چالش‌هاست. تحقیق حاضر، در گام نخست با گزینش رهیافت حکمت اسلامی به بررسی ماهیت جذابیت ودر گام دوم با تامل و بازاندیشی در حکمت هنر اسلامی به بیان الگوی جذابیت در پیام‌رسانی هنری پرداخته است. در گام نهایی تلاش شده است، مبتنی بر مبانی مطرح شده، ماهیت و الگوی جذابیت در پیام‌رسانی از طریق سینما طرح گردد. نتایج پژوهش بیانگر آن است که مبتنی بر حکمت اسلامی، جذابیت همان وصول به زیبایی و ادراک آن است که بسته به سیر انفسی فرد و بستر فرهنگی جامعه متغیر و دارای مراتب است. بعلاوه، بر پایه مبانی حکمت هنر اسلامی، در فرایند جذب و انجذاب هنری، ما با عناصر سه‌گانه هنرمند، اثر هنری و مخاطب روبروییم. به میزانی که هنرمند بسته به سیر انفسی خویش و در نسبت با بستر فرهنگی جامعه توان ادراک و صعود از زیبایی‌های حسی به زیبایی-های معقول را داشته باشد اثر هنری از میزان جذابیت بیشتری برخوردار خواهد بود. جذابیت اثر هنری برای مخاطب نیز بسته به سیر انفسی‌او، بستر فرهنگی جامعه و میزان تعالی اثر هنریاست. فرآیند جذب و انجذاب هنری، در باب هنر سینما نیز قابل تعمیم است که این امر در نسبت با مولفه‌های سه‌گانه ارتباط ماهوی تصویر سینمایی با جهان دیدنی، حرکت و الزامات آن و تبدیل تصویر به نماد به مثابه‌ی مولفه‌های جذابیت در عالم سینماییمورد بررسی قرار گرفته است.
طرح و تبیین مبانی هستی شناسی معرفت حجمی در مقابل معرفت‌های درختی و ریزوماتیک و دلالت‌های آن برای تدریس
نویسنده:
تحسیم الیاسی
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
چکیده :
اگر در یک طبقه بندی کلان رویکردهای موجود معرفتی را در دو طبقه ی درختی و ریزوماتیک قرار دهیم امتداد چون ویژگی مشترک رویکردهای موجود نمایان می شود چنان که در رویکرد درختی امتداد در طول است و در رویکرد ریزومی در عرض. این این پایان نامه در صدد ارائه ی رویکرد جدید به معرفت با عنوان معرفت حجمی است که ویژگی عمده ی آن عدم امتداد و به تمام حاضر بودن چون یک حجم است. این رویکرد برخاسته از هستی شناسی ویژه ای است که قائل به ئحدت هستی و هستنده است. در معرفت حجمی شدن ذاتی هستی است، هست- نیست است، کوانتوم است؛ چون از هستی سخ رود، از هستنده سخن است، و چون از هستنده بگوید از هستی گفته است. رابطه ی هستنده و هستی، رابطه ی جزء و کل نیست؛ چرا که هستی قابل تجزیه به اجزا نمی باشد. هستی امری زیبا شناختی است، شاهکار هنری است، راز است، و رازآلودگی اش در تجلی است. فروکاست هستی و انسان به مسأله برای وضوح بخشی و شفافیت، دغدغه ی رویکرد های امتدادی است. رویکرد حجمی، هستی را در رازبودگی، در فروبسته ماندن چون راز می یابد. در چنین رویکردی، فاصله ای بین انسان، هستی و معرفت وجود ندارد. ابژه ای وجود ندارد، بل، هر چیز ماهیتی ابژکتیو- سوبژکتیو دارد. دورگه بودن عالم سبب می شود هر کس در عالم خویش زیست کند. لذا، یک عرصه ی عمومی برای به اشتراک گذاشتن مفاهیم یا هر چیز دیگر وجود ندارد. عالم، در یک کلان تئوری شخصی می عالمد. مفهوم کلی بین الاذهانی جایی در رویکرد حجمی ندارد. فرد خود یک نوع است و اقتضای ویژه ای دارد. در این رویکرد «کلی» ناضر به این معناست که هر احساس، ادراک و تصمیمی تبلور کلیت انسان است. نمی توان هر احساس ، ادراک و تصمیمی داشت، این سه برخاسته از ضرورت وجودی اند. ضرورتی که جبری اجتناب ناپزیر تحمیل می کند. یکی شدن هستی و انسان به سبب در عالم بودگی انسان و در انسان بودگی عالم دوآلیسم متافیزیکی را بر نمی تابئ؛ دوآلیسمی که در پوست و گوشت اندیشه رسوخ کرده و بنیادی ترین سنگ بنای رویکردهای امتدادی است. زبان چون یک نظام نشانه ای از عمده تریبن دست آویزهای متافیزیک برای سیطره بر انسان است. نظام نشانه ای با ارجاعات بی پایان منجر به خلق دنیایی مجازی شده و دست انسان را از عالم و امر واقع کوتاه می کند. برای مقابله با نظام ارجاعی، رویکرد حجمی هنر را توصیه می کند و دلالت های تربیتی و تدریس را از منظری زیباشناختی مطرح می سازد.
محاسبه میزان شباهت میان موجودیت‌های آنتولوژی‌ها
نویسنده:
محمدمهدی کیخا
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
چکیده :
آنتولوژی به عنوان یک روش برای از بین بردن ناهمگنی اطلاعات ارائه شده‌است. در یک حوزه ممکن است چندین آنتولوژی که از دیدگاههای متفاوت ایجاد شده‌اند، وجود داشته باشد که سبب ناهمگنی در یک حوزه خاص می‌شوند. جهت از بین بردن نا‏همگنی‏ها از فرآیند هم تراز سازییا تطابق آنتولوژی‌ها استفاده می‌شود. از آنجا که هنگام هم‌ترازسازی آنتولوژی‌ها سعی بر رفع همه انواع ناهمگنی‌های موجود بین دو آنتولوژی ورودی است پس باید روشی اتخاذ گردد تا به کمک آن بتوان نتایج هم ترازسازی انواع روشهای رفع ناهمگنی بین دو آنتولوژی ورودی را کنار هم گردآوری نمود. به مرحله گردآوری نتایج انواع روشهای ناهمگنی، مرحله جمع‌آوری شباهت‌ها گویند.در این تحقیق در ابتدا یک سیستم هم‌ترازسازی آنتولوژی‌ها با استفاده از سه روش رفع ناهمگنی بین آنتولوژی‌ها پیاده‌سازی شده است. این سیستم برای انواع زبان‌های بیان آنتولوژی‌ها یعنیOWLو RDF قابل استفاده است. در سیستم ارائه شده از سه تطابق‌یاب استفاده شده است. دو تطابق‌یاب از ویژگیهای رشته‌ای اجزای آنتولوژی‌ها استفاده می‌نمایند. یکی از این تطابق‌یاب‌ها ISUB است که از فرم رشته‌ای موجودیت‌های دو آنتولوژی استفاده می‌کند و دیگریVDOC است که قبل از آغاز فرآیند محاسبه شباهت بین رشته‌ها، ابتدا یکسری عملیات پیش پردازش از قبیل حذف حروف اضافه و ربط را انجام می‌دهد و سپس براساس روش‌های بازیابی اطلاعات، میزان شباهت دو رشته را محاسبه می‌نماید.سومین تطابق‌یاب پیاده سازی شده، GMO است که از ساختار سلسله مراتبی دو آنتولوژی ورودی جهت محاسبه میزان شباهت موجودیت‌های دو آنتولوژی بهره می‌گیرد. پس از محاسبه شباهت توسط انواع تطابق‌یاب‌های مختلف، در مرحله جمع‌آوری شباهت‌های انواع تطابق‌یاب‌ها، روشی ارائه شده است که برخلاف سایر روش‌های موجود، فرآیند جمع‌آوری شباهت‌ها را براساس هر دو آنتولوژی و برای هر جفت موجودیت دو آنتولوژی بطور جداگانه انجام می‌دهد که یک روش تطبیقی و مطلع از ساختار است.ارزیابی کار انجام شده برای بررسی روش جمع‌آوری شباهت‌های ارائه شده بوسیله‌ی آنتولوژی‌های مسابقه جهانیتطابق آنتولوژی‌ها یعنیOAEI 2009 صورت گرفته است که حاوییک سری آنتولوژی‌های استاندارد جهت مقایسه انواع سیستم‌های هم ترازسازی آنتولوژی‌ها می‌باشد. مقایسه نتایج سیستم ارائه شده با سیستم‌های جِرُمی سوئیت و نگاشت توسط جمع مورچه‌ها، بهبود دقت تشخیص هم ترازی‌های بین دو آنتولوژی توسط سیستم را نشان می‌دهد.
ارائه‌ی راهبردی مبتنی بر فناوری وب معنایی برای تولید نرم‌افزار
نویسنده:
مرتضی نوروزی
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
چکیده :
استفاده از فن‌آوری وب معنایی در مهندسی نرم‌افزار یکی از راه‌های غلبه کردن بر مشکلات کنونی مهندسی نرم‌افزار است؛ به‌طوری‌که امروزه توجه بسیاری از محققان به این مقوله معطوف شده است و روش‌های مختلفی در این راستا ارایه کرده‌اند. برخی از این روش‌ها هستی‌شناسی محور بوده و بر تولید کد نرم‌افزار از مدل‌های معنایی متمرکزند و شماری دیگر، مبتنی بر هستی‌شناسی بوده و از فن‌آوری وب معنایی به‌عنوان ابزار کمکی در فرآیند‌های کلاسیک نرم‌افزار استفاده کرده‌اند.در این پایان‌نامه برای تولید سریع نرم‌افزار، یک روش معنایی جدید با نام SRAD، پیشنهاد شده‌است. در این روش، مدل ایستای دامنه در هستی‌شناسی دامنه و مدل پویای آن در هستی‌شناسی برنامه توصیف می‌شود. هستی‌شناسی دامنه در حقیقت جایگزینی قدرتمند برای مدل داده است زیرا در این هستی‌شناسی ضمن اینکه مانند پایگاه‌های داده، داده‌های نرم‌افزار ذخیره می‌شود، زمینه برای استفاده از استدلال‌گرها و موتورهای قواعد نیز مهیا می‌شود. تمام عملکردهای نرم‌افزار در هستی‌شناسی برنامه توصیف و پیاده‌سازی می‌شود. می‌توان بر اساس چارت عملیاتی سیستم، عملکردهای نرم‌افزار را در این هستی‌شناسی به‌صورت سلسله‌مراتبی توصیف و پیاده‌سازی کرد. برای پیاده‌سازی عملکردها در هستی‌شناسی برنامه، از قواعد وب معنایی بهره گرفته شده است. در حقیقت بدنه یک عملکرد با استفاده از لیست مرتبی از قواعد قابل پیاده‌سازی است. برای اجرای عملکردهای توصیف شده در هستی‌شناسی برنامه می‌توان از موتور‌های قواعد کلاسیک مانند Jess بهره گرفت ولی برای افزایش کارایی، در راستای این پایان‌نامه، موتور اجرای RE طراحی و پیاده‌سازی شده است. این موتور ضمن پشتیبانی از انواع اتم‌های مختلف، قادر است عملکردهای توصیف شده در هستی‌شناسی برنامه را با کارایی مطلوب به اجرا در آورد.برخلاف اکثر روش‌های موجود که سعی در ایجاد کد نرم‌افزار دارند، با استفاده از روش SRAD در حقیقت مدلی از نرم‌افزار ایجاد شده است که قابل اجرا است. به‌عبارت دیگر منطق کاری نرم‌افزار به‌جای اینکه در پس کد‌های آن نهان شود، در یک مدل رسمی توصیف می‌شود. چنین مدلی ضمن انتزاعی‌تر کردن فرآیند تولید، می‌تواند فرآیند نگهداری نرم‌افزار را نیز بسیار آسان کند. SRAD روشی معنایی برای تولید سریع نرم‌افزارهایی است که نگهداری بسیار آسانی دارند.
  • تعداد رکورد ها : 311