جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
support@alefbalib.com
نام :
*
*
نام خانوادگی :
*
*
پست الکترونیک :
*
*
*
تلفن :
دورنگار :
آدرس :
بخش :
مدیریت کتابخانه
روابط عمومی
پشتیبانی و فنی
نظرات و پیشنهادات /شکایات
پیغام :
*
*
حروف تصویر :
*
*
ارسال
انصراف
از :
{0}
پست الکترونیک :
{1}
تلفن :
{2}
دورنگار :
{3}
Aaddress :
{4}
متن :
{5}
فارسی |
العربیه |
English
ورود
ثبت نام
در تلگرام به ما بپیوندید
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ...
همه موارد
عنوان
موضوع
پدید آور
جستجو در متن
: جستجو در الفبا
در گوگل
...جستجوی هوشمند
صفحه اصلی کتابخانه
پورتال جامع الفبا
مرور منابع
مرور الفبایی منابع
مرور کل منابع
مرور نوع منبع
آثار پر استناد
متون مرجع
مرور موضوعی
مرور نمودار درختی موضوعات
فهرست گزیده موضوعات
کلام اسلامی
امامت
توحید
نبوت
اسماء الهی
انسان شناسی
علم کلام
جبر و اختیار
خداشناسی
عدل الهی
فرق کلامی
معاد
علم نفس
وحی
براهین خدا شناسی
حیات اخروی
صفات الهی
معجزات
مسائل جدید کلامی
عقل و دین
زبان دین
عقل و ایمان
برهان تجربه دینی
علم و دین
تعلیم آموزه های دینی
معرفت شناسی
کثرت گرایی دینی
شرور(مسأله شر)
سایر موضوعات
اخلاق اسلامی
اخلاق دینی
تاریخ اسلام
تعلیم و تربیت
تفسیر قرآن
حدیث
دفاعیه، ردیه و پاسخ به شبهات
سیره ائمه اطهار علیهم السلام
شیعه-شناسی
عرفان
فلسفه اسلامی
مرور اشخاص
مرور پدیدآورندگان
مرور اعلام
مرور آثار مرتبط با شخصیت ها
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی
مرور مجلات
مرور الفبایی مجلات
مرور کل مجلات
مرور وضعیت انتشار
مرور درجه علمی
مرور زبان اصلی
مرور محل نشر
مرور دوره انتشار
گالری
عکس
فیلم
صوت
متن
چندرسانه ای
جستجو
جستجوی هوشمند در الفبا
جستجو در سایر پایگاهها
جستجو در کتابخانه دیجیتالی تبیان
جستجو در کتابخانه دیجیتالی قائمیه
جستجو در کنسرسیوم محتوای ملی
کتابخانه مجازی ادبیات
کتابخانه مجازی حکمت عرفانی
کتابخانه تخصصی تاریخ اسلام و ایران
کتابخانه تخصصی ادبیات
کتابخانه الکترونیکی شیعه
علم نت
کتابخانه شخصی
مدیریت علاقه مندیها
ارسال اثر
دانشنامه
راهنما
راهنما
مرور
>
مرور کلید واژه ها
>
هستیشناسی
مرتب سازی بر اساس
عنوان
نویسنده
جنس منبع
محل
ناشر
تاریخ تغییر
و به صورت
صعودی
نزولی
وتعداد نمایش
5
10
15
20
30
40
50
فرارداده در صفحه باشد
جستجو
خروجی
چاپ نتایج
Mods
Dublin Core
Marc
MarcIran
Pdf
اکسل
انتخاب همه
13
14
15
16
17
18
19
20
21
22
تعداد رکورد ها : 310
عنوان :
بررسی احوال، افکار و آثار شیخ نجیبالدین رضا زرگر تبریزی
نویسنده:
بهرام شعبانی
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
زبان :
فارسی
کلیدواژههای اصلی :
تشیع
,
معارف اسلامی
,
هستیشناسی
,
سبع المثانی
,
اصطلاحنامه تصوف
,
هنر و علوم انسانی
,
نجیب الدین رضا
,
نورالهدایه
,
خلاصه الحقایق
,
نورالهدایه (کتاب)
,
زرگر اصفهانی، نجیبالدین رضا
,
سبعالمثانی (مثنوی)
چکیده :
شیخ نجیب الدین رضا از اقطاب بزرگ سلسلهی ذهبیه-به ویژه در عصر صفویه- است که با وجود اُمّی بودن، آثار ارزشمندی را از خود به یادگار گذاشته است. مثنوی سبع المثانی او هم چون منشوری عرفانی است که بر اقطاب و خلفای بعد از او تأثیر عمیقی بر جای گذاشته است. تأثیر اندیشههای عرفانی مولانا را در این اثر به ویژه در حکایت بلند «شهروان معتبر» به وضوح میتوان دید. پس از موذن خراسانی نقش شیخ در تبلیغ اندیشههای صوفیانهی اثنی عشری بیبدیل است.شیخ با وجود سلسلهداری، هم در برابر صوفیان بازاری و هم در برابر مدعیان فقر به سختی ایستاد. نورالهدایه حاصل برخورد وی با یکی از همین متشبهان باطل میباشد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
بررسی و تحلیل اصطلاحات، آلات و الحان موسیقی در کلیات صائب
نویسنده:
اکرم بیگی هرچگانی
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
زبان :
فارسی
کلیدواژههای اصلی :
اصطلاح
,
بدیع (اسماء افعال الهی)
,
هستیشناسی
,
شاعر
,
تصویرذهنی
,
آلت موسیقی
,
هنر و علوم انسانی
,
صائب، محمدعلی
,
ملودی
چکیده :
صائب از جمله شاعران مشهور در مضمونپردازي و ابتکار معاني بديع است. تصويرآفرينيهاي بکر و نغز مشخصهي اصلي آثار شعري اوست. در ديوان وي چون ديگر شاعران از اکثر سازهاي رايج ياد شده است. هدف وي از کاربرد واژگان موسيقي، بيان اين هنر نبوده بلکه در بيشتر موارد به مدد موسيقي و اصطلاحات آن با صور ذهني خويش نکات حکمي، اخلاقي، عرفاني، عاشقانه و... را براي خواننده مطرح ساخته است. او گاهي براي بيان اين حقايق، اصطلاحات و ابزار موسيقي را به گونهاي سمبل يا رمز قرار ميدهد تا مقاصد و مفاهيم انتزاعي خويش را مصور سازد. در اين پژوهش به منظور بررسي ميزان آشنايي صائب با هنر موسيقي، مجموعه آلات و اصطلاحات موسيقي را در ديوان وي به همراه شاهد مثالهاي از ابيات او شرح و بررسي نموديم. هر ساز را ابتدا از نظر ساختار و آنگاه نمونههايي از كاربرد آن را مطرح ساختيم و به تصويرآفريني، مضمون پردازي و در مجموع بيان مقاصد شاعر در استفاده از اين آلات پرداختيم. با توجه به بررسيهاي انجام شده در ميان سازها، ني پربسامدترين و ارغنون كم كاربردترين آلات موسيقي به كار رفته در شعر صائباند
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
تکامل خودکار آنتولوژی در محیط چندپیشکاره هوشمند
نویسنده:
رامین محرابی
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
زبان :
فارسی
کلیدواژههای اصلی :
دانش
,
هستیشناسی
,
علوم و علوم کاربردی
,
علوم کامپیوتر، هوش مصنوعی
,
سیستم چندعاملی
,
سیستم هوشمند
,
تکامل خودکار آنتولوژی
,
سیستم چند پیشکاره
,
سیستم خودکار
,
فراورش
چکیده :
در دنیای امروز سرعت چشمگیر رشد علم و دانش، همچنین تغییر شکل داده به مفاهیم در دانش و افزایش روز افزون مفاهیم و ارتباط بین آنها قابل چشمپوشی نیست. در نتیجه نیاز به ساختاری برای نمایش دانش ضروری است. آنتولوژی یک ساختار بنیادی برای مفهوم دانش است که به خوبی مفاهیم و ارتباط بین آنها را نشان میدهد. از آنجاکه مفاهیم و ارتباط بین آنها روز به روز گستردهتر و بیشتر میشوند و در گذر زمان تغییر میپذیرند و همچنین فراگیرتر شدن استفاده از آنتولوژی در حوزههای مختلف تکامل آنتولوژی تبدیل به یک مسئله مهم شده است. با توجه به اهمیت موضوع هدف این پایاننامه ارائه روشی برای تکامل خودکار آنتولوژی است. همچنین نظر به مزایای استفاده از پیشکارهای هوشمند، در این پایاننامه روشی برای تکامل خودکار آنتولوژی در محیط چندپیشکاره هوشمند ارائه است. آنتولوژی به گونهای تکامل مییابد که قابل استفاده باشد. پیشکارهای هوشمند با استفاده از دریافتهایی که از محیط دارند تغییرات را احساس میکنند، سپس تغییرات را روی آنتولوژی اعمال میکنند و آنتولوژیتکامل مییابد. پس از ارزیابی آنتولوژی حاصل، ملاحظه میشود که روش پیشنهادی از دقت قابل قبولی برخوردار است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
ارائه و پیادهسازی سیستمهای خودکار بهمنظور همترازی آنتولوژیها
نویسنده:
آزاده هراتیاننژادی
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
زبان :
فارسی
کلیدواژههای اصلی :
هستیشناسی
,
اجرا
,
علوم و علوم کاربردی
,
علوم کامپیوتر، هوش مصنوعی
,
وب معناشناختی
,
درخت تصمیم
,
ماشین بردار پشتیبانی
,
خودکار سازی
,
همخطی
,
همترازی آنتولوژی
,
درخت تصمیمگیری
,
بردارهای ماشین پشتیبان (svm)
,
نزدیکترین k همسایه
,
الگوریتم K-نزدیکترین همسایه
چکیده :
وبمعنایی با هدف ایجاد ارتباط و تعامل مستقیم ماشینها و بدون دخالت بشر طرح شد، ولی هماکنون با چالش بزرگ تعامل آنتولوژیها روبهرو است. این رساله درپی یافتن تناظر بین موجودیتهای آنتولوژی، با استفاده از روشهای یادگیری ماشین است. بدین ترتیب که، ابتدا معیار شباهت را در سطوح مختلف برای آنتولوژیهای واقعی انتخاب و تولید میکند، و سپس از معروفترین دستهبندی کنندههای تحتنظارت، مثل ماشین بردارهای پشتیان (SVM) ، نزدیکترینk همسایه (KNN)، درخت تصمیمگیری (DT) و روش AdaBoost برای دستهبندی موجودیتها استفاده میکند. البته هر یک از دستهبندیکنندههای مذکور با پارامترهای مناسب تنظیم میشوند. مدل نهایی بدون نیاز به بازخورد کاربر و کاملاً خودکار است. همترازی تنها برمبنای اطلاعات موجود در اسناد OWL است، و نیازی به نمونههای آنتولوژی نیست. از SVM برای کاهش معیارهای مشابهت استفاده شده، و نتایج حاصل از آزمایش مدل، بیانگر انتخاب روش مناسب و تنظیم صحیح پارامترهاست. بهطوریکه قادر به تامین نتایج قابلقبول همراه با کاهش قابلملاحظهی هزینهی محاسباتی است. نتایج حاصل از روش AdaBoost بالاترین کارایی را داراست. نتایج حاکی از میانگین مقدار 92 درصد برای معیار F است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
ایجاد نیمه خودکار فرآیند شبکهای کسب و کار مبتنی بر انتولوژی در سازمانهای مجازی سریع
نویسنده:
علیرضا خشکبارفروشها
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
زبان :
فارسی
کلیدواژههای اصلی :
فناوری اطلاعات
,
کسب و کار
,
هستیشناسی
,
شبکه معنایی
,
علوم و علوم کاربردی
,
فرآیند شبکهای سرویسگرا
,
انتولوژی , تطابق معنایی
,
سازمان مجازی پویا و سریع
,
تولید نیمهخودکار فرآیند شبکهای کسب و کار
,
مبتنی بر خدمات
,
نیم خودکار
,
سازمان مجازی
چکیده :
تغییرات بسیار سریع فضای کسب و کار از یکسو و شرایط ناپایدار بازار از سوی دیگر، موجب شده است تا سازمانها بیش از پیش به دنبال ایجاد همکاریبا یکدیگر جهت دستیابی به فرصتهای جدید باشند. در این میان، سازمانهای مجازی سریع ، به عنوان راهحلی برای ایجاد همکاری بین سازمانها، سالهاست که از سوی موسسات تحقیقاتی و صنعتی مورد تحقیق و بررسی قرار گرفتهاند. علیرغم پژوهشهای وسیع صورت گرفته در این حوزه، عدم وجود چارچوبی نزدیک به معمار سازمان مجازی(که دانش کامپیوتری وسیع نداشته) که نیازمندیهای کلان سازمان مجازی و نیز نیازمندیهای خرد و در سطح کیفیت سرویسهای وب را در برگیرد، به خوبی احساس میگردد. با توجه به اینکه ایجاد سازمان مجازی سریع در گروایجاد سریع فرآیندهای شبکهای کسب و کار است، تحقیق پیشرو بر آن است تا چارچوبی – همراه با ابزارها و روشهای مربوطه – برای ایجاد نیمهخودکار فرآیندهای شبکهای کسب و کار به عنوان سنگبنا و مولفه اصلی سازمانهای مجازی سریع، ارائه نماید. این چارچوب که “چارچوب ایجاد فرآیندهای شبکهای سرویسگرای کسبوکار” نام دارد دارای سه مشخصه خاص است. الف) این چارچوب متناسب و نزدیک به کاربر نهایی (معمار سازمان مجازی یا صاحب فرآیند ) است که دانشی از علوم کامپیوتر ندارد. ب) چارچوب ارائه شده سطوح کلان سازمانی و نیازمندیهای کلان سازمان را در کنار نیازمندیهای خرد در بر میگیرد. پ) این چارچوب با بکارگیری قواعد کسب و کار، فرآیندها را بصورت نیمهخودکار ایجاد مینماید.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
تطابق هست شناسی
نویسنده:
زهرا ایدون
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
زبان :
فارسی
کلیدواژههای اصلی :
هستیشناسی
,
Ontology
,
فنی و مهندسی
,
مهندسی کامپیوتر
,
همخطی
چکیده :
چکیده ندارد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
یک روش آگاه از زمینه برای کشف سرویس در محیطهای محاسبات فراگیر
نویسنده:
مرضیه ایلکا
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
زبان :
فارسی
کلیدواژههای اصلی :
هستیشناسی
,
خدمات
,
منبع
,
علوم و علوم کاربردی
,
شبکه مخابراتی
,
زمینه آگاهی
,
محاسبات فراگیر
,
کشف سرویس
,
سرویس آگاه از زمینه
چکیده :
محيطهاي محاسبات فراگير با داشتن انواع شبکههاي ارتباطي و سيستمهاي کارگزار، محمل مناسبي براي ارائهي انواع سرويسها به کاربران هستند. يکي از مسائل مهم در چنين محيطهايي مسالهي کشف سرويس است. در اکثر روشهاي کشف سرويس که تا کنون ارائه شدهاند، دو مسالهي اساسي عدم وابستگي به گرهاي خاص و توجه به اطلاعات زمينه بهصورت همزمان در نظر گرفته نشده است. از آنجا که در يک محيط محاسبات فراگير، اطلاعات زمينه نقش مهمي در ارائهي سرويس راحتتر به کاربر دارد؛ در اين پاياننامه سعي شده است کليات يک روش کشف سرويس آگاه از زمينه با استفاده از منبعزمينه به عنوان تابلوي تبليغات سرويسها ارائه شود. به اينصورت که اطلاعات سرويسهايي که اخيراً به محيط اضافه شدهاند در منبعزمينه ذخيره ميشوند و منبعزمينه علاوه بر ارسال بستههاي پاسخ، اطلاعات اين سرويسها را نيز تبليغ ميکند. البته در اين ايده منبعزمينه، يک پوشهي سرويس نخواهد بود؛ به اين دليل که روش پيشنهادي بدون وجود منبعزمينه با استفاده از اطلاعاتي که گرهها از محيط دريافت کردهاند نيز قادر به کشف سرويس ميباشد. در ضمن اين روش با گروهبندي سرويسها، به عمليات کشف سرويس سرعت ميبخشد. براي ارزيابي اين روش يک برنامه شبيهساز طراحي شده است که با تعريف اطلاعات محيط و انجام تنظيمات اوليه عمليات کشف سرويس را بر اساس روش پيشنهادي انجام ميدهد. معيارهاي سنجش در اين شبيهساز «تعداد بستههاي توليد شده»، «زمان مورد نياز»، و «کارايي» کشف سرويس است. در مقايسهي نتايج بدست آمده از روش پيشنهادي با ساير روشهاي مشابه مانند روش GSD و روش Pohare و همکارش، بهبود کيفيت معيارهاي سنجش کشف سرويس مشاهده ميشود. کارايي برتر روش پيشنهادي ما صرف هزينه و زمان کمتر به همراه کارايي بالاتر براي رسيدن به نتايج مطلوب ميباشد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
رهیافت اسلامی تأسیسی روابط بین الملل
نویسنده:
حمید امیدی
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
زبان :
فارسی
کلیدواژههای اصلی :
علوم سیاسی
,
متافیزیک
,
هستیشناسی
,
اصطلاحنامه فقه
,
روششناسی(فلسفی)
,
دین اسلام (دامنه ادیان پیشرفته)
,
روابط بینالمللی
چکیده :
این پژوهش در پی آن است تا ساختار فرانظری نظریه اسلامی روابط بین الملل را واکاوی کند.مابعدالطبیعه اسلامی و فقه روابط بین الملل به منزله فرانظریه ی آن می باشند. مابعدالطبیعه اسلامی مبتنی است بر 1- هستی شناسی عام اسلامی؛ متصف به صفت اصالت واقع، که در آن همه چیز بیرون از ذهن و دارای ما بازاء خارجی است. 2- معرفت شناسی؛ شناخت دانش، امکان شناسایی و حدود آن است. علم ما به عالم خارج از طریق منابع معرفتی و متصف به امکان عام. 3- روش شناسی؛ راه شناخت و دستیابی به معرفت از طریق مبادی آنفقه روابط بین الملل برخاسته از فقه سیاسی اسلامی و دانش تأسیسی در پی مومنانه ساختن نظام روابط بین الملل است و با قواعد فقهی به این کار همت می گمارد.ساختار دوگانه مابعدالطبیعی اسلامی و فقه روابط بین الملل مدلولات هستی شناختی، معرفت شناختی، روش شناختی و فقه شناختی خاصی دارد که مهمترین آن ها عبارتند از:1- امت محوری به جای دولت ملت 2- تقسیم هنجاری جهان به دارالاسلام و دارالکفر 3- هنجاری و انتقادی بودن نظریه اسلامی روابط بین الملل 4- تبیینی و تأسیسی بودن نظریه اسلامی روابط بین الملل 5- کثرت گرایی روشی در نظریه پردازی اسلامی روابط بین الملل 6- در میانه ی اثبات گرایی و فرا اثبات گرایی بودن 7- عاملیت و اختیار انسان در نظام بین الملل 8- ارزش محور بودن نظریه اسلامی روابط بین الملل 9- عقلانیت رفتارها در نظام بین الملل 10- تکامل نظریه اسلامی روابط بین الملل و ...
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
طراحی و پیشنهاد بستر مناسب ITدر مدل B2B برای شرکت مخابرات ایران
نویسنده:
اصغر شاملو
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
زبان :
فارسی
کلیدواژههای اصلی :
فناوری اطلاعات
,
مدل کسب و کار
,
هستیشناسی
,
تجارت الکترونیکی
,
علوم و علوم کاربردی
,
مدلِ کسبوکار
,
آنتالوژی مدلِ کسبوکار
,
etom
,
مدلِ کسبوکار b2b
,
شرکت مخابرات ایران
,
کسب و کار الکترونیک
,
تجارت بین بنگاهی
چکیده :
هماکنون چالشی عظیم برای ایجاد مدلهای کسبوکار مبتنی بر استراتژیهای الکترونیکی بهوجود آمده است تا سازمانهای سنتی و با اینرسی زیادرا به سازمانهای پویا و با اینرسی کمتبدیل کند. دستیابی به چنین سازمانهایی، بدون بهرهمندی از طراحی مدلهای موفق و شناخت استانداردهای مربوط به آن صنعت امکانپذیر نیست. البته تاكنون تحقيقات معدودي به طراحي مدل كسبوكار براي كسبوكارهاي آينده و درحال ظهور پرداختهاند. ما در این تحقیق کوشیدهایم تا پس از مرور ادبیات مدلهای کسبوکار، مدل کسبوکار شرکت مخابرات ایران را استخراج، و در ادامه چارچوبی را جهت تحقق مدل کسبوکار B2B شرکت مخابرات ایران، شناسایی و زیرساختهای لازم جهت تحقق آن پیشنهاد نماییم. البته شناسایی استاندارد eTOM را که میتوان از آن بهعنوان ارزشهای قابلارائه شرکتهای مخابراتی نام برد، را لازم دانسته و مورد توجه قرار دادهایم(پیوست). بهاین منظور، در تحقیق حاضر از آنتالوژی BMOکه در رسالة دکترای اُستروالدر (2004) تا دو سطح کسبوکار شرکت مخابرات ایران(وضع موجود و وضع انتظار) بهرهمند، و نقش IT در تقویت هریک از اجزاء تبیین شده است و نیز برای توصیف بلوکهای کسبوکار شرکت مخابرات ایران در مطالعات وضع موجود به شناسایی چالشهای هر بخش بهطور مجزا با توجه به نظر خبرگان و کارشناسان حوزه توجه شده است. و در نهایت به ارائة راهکارهای ممکن برای تحلیل، طراحی و پیادهسازی وضع مورد انتظار و معرفی و پیشنهاد زیرساخت مناسب IT جهت تحقق مدل کسبوکار B2B برای شرکت مخابرات ایران پرداختهایم، تحقیق حاضر کیفی بوده و روششناسی مطالعة موردی بهدلیل ماهیت اکتشافی تحقیق و فراهمآوردن امکان بررسی عمیق و دقیق نسبت به سوژة مورد بررسی انتخاب گردید. بدینترتیب که ابتدا با استفاده از فلسفة راهبردی پژوهش یعنی مصاحبه کیفی با خبرگان، بررسی مدارک و مستندات، انجام مصاحبه با خبرگان دانشگاهی، کارشناسان و مدیران سطوح مختلف شرکت مخابرات ایران اشاره شده است که از مهمترین آن مشارکتهای نظریاین تحقیق بهشمار میآیند. در تحقیق حاضر، برای ایجاد روایی تفاسیر از حلقههای بازخور یعنی مراجعه به مصاحبهشوندهها بهمنظور اطمینان از صحت تفاسیر استفاده شده است. و همچنین بهمنظور دستیابی به پایایی، تلاش شده که در مرحلة تحلیل دادههای حاصل از مصاحبهها، از مقایسه با متون استفاده شود.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
ارائهی راهبردی مبتنی بر فناوری وب معنایی برای تولید نرمافزار
نویسنده:
مرتضی نوروزی
نوع منبع :
رساله تحصیلی , کتابخانه عمومی
وضعیت نشر :
ایرانداک,
زبان :
فارسی
کلیدواژههای اصلی :
فناوری
,
هستیشناسی
,
علوم و علوم کاربردی
,
وب معناشناختی
,
وب معنایی
,
مهندسی نرمافزار
,
روش معنایی سریع تولید
,
فرآیند اس.آر.آ.دی
,
مدیریت توسعه نرمافزار
,
مدیریت نرمافزار
چکیده :
استفاده از فنآوری وب معنایی در مهندسی نرمافزار یکی از راههای غلبه کردن بر مشکلات کنونی مهندسی نرمافزار است؛ بهطوریکه امروزه توجه بسیاری از محققان به این مقوله معطوف شده است و روشهای مختلفی در این راستا ارایه کردهاند. برخی از این روشها هستیشناسی محور بوده و بر تولید کد نرمافزار از مدلهای معنایی متمرکزند و شماری دیگر، مبتنی بر هستیشناسی بوده و از فنآوری وب معنایی بهعنوان ابزار کمکی در فرآیندهای کلاسیک نرمافزار استفاده کردهاند.در این پایاننامه برای تولید سریع نرمافزار، یک روش معنایی جدید با نام SRAD، پیشنهاد شدهاست. در این روش، مدل ایستای دامنه در هستیشناسی دامنه و مدل پویای آن در هستیشناسی برنامه توصیف میشود. هستیشناسی دامنه در حقیقت جایگزینی قدرتمند برای مدل داده است زیرا در این هستیشناسی ضمن اینکه مانند پایگاههای داده، دادههای نرمافزار ذخیره میشود، زمینه برای استفاده از استدلالگرها و موتورهای قواعد نیز مهیا میشود. تمام عملکردهای نرمافزار در هستیشناسی برنامه توصیف و پیادهسازی میشود. میتوان بر اساس چارت عملیاتی سیستم، عملکردهای نرمافزار را در این هستیشناسی بهصورت سلسلهمراتبی توصیف و پیادهسازی کرد. برای پیادهسازی عملکردها در هستیشناسی برنامه، از قواعد وب معنایی بهره گرفته شده است. در حقیقت بدنه یک عملکرد با استفاده از لیست مرتبی از قواعد قابل پیادهسازی است. برای اجرای عملکردهای توصیف شده در هستیشناسی برنامه میتوان از موتورهای قواعد کلاسیک مانند Jess بهره گرفت ولی برای افزایش کارایی، در راستای این پایاننامه، موتور اجرای RE طراحی و پیادهسازی شده است. این موتور ضمن پشتیبانی از انواع اتمهای مختلف، قادر است عملکردهای توصیف شده در هستیشناسی برنامه را با کارایی مطلوب به اجرا در آورد.برخلاف اکثر روشهای موجود که سعی در ایجاد کد نرمافزار دارند، با استفاده از روش SRAD در حقیقت مدلی از نرمافزار ایجاد شده است که قابل اجرا است. بهعبارت دیگر منطق کاری نرمافزار بهجای اینکه در پس کدهای آن نهان شود، در یک مدل رسمی توصیف میشود. چنین مدلی ضمن انتزاعیتر کردن فرآیند تولید، میتواند فرآیند نگهداری نرمافزار را نیز بسیار آسان کند. SRAD روشی معنایی برای تولید سریع نرمافزارهایی است که نگهداری بسیار آسانی دارند.
انتخاب :
مشخصات اثر
ثبت نظر
13
14
15
16
17
18
19
20
21
22
تعداد رکورد ها : 310
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید